3729 search results - page 81 / 746 » On Formal Modeling of Agent Computations |
AAAI
2006
15 years 1 months ago
2006
The Situation Calculus and the Fluent Calculus are successful action formalisms that share many concepts. But until now there is no formal relation between the two calculi that wo...
204
click to vote
POPL
2008
ACM
16 years 6 days ago
2008
ACM
Models will play a central role in the representation, storage, manipulation, and communication of knowledge in systems biology. Models capable of fulfilling such a role will like...
137
click to vote
NSPW
1998
ACM
15 years 4 months ago
1998
ACM
Object-based programming is becoming more and more popular and is currently conquering the world of distributed programming models. In object-based systems access control is often...
IFIPTCS
2000
15 years 3 months ago
2000
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...
129
click to vote
ARGMAS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. One of the most difficult problems in multiagent systems involves representing knowledge and beliefs of agents in dynamic environments. New perceptions modify an agent’...