Intelligent AgentsSpringer-Verlag, 1995 - Artificial intelligence |
Contents
B van Linder W van der Hoek and J J Ch Meyer | 32 |
Semantical Considerations on Some Primitives for Agent Specification | 49 |
A Logic for | 65 |
Copyright | |
23 other sections not shown
Other editions - View all
Common terms and phrases
AAAI abstract achieve actions activity agent architecture agent communication language agent modeling Agent Theories algorithm application approach Autonomous Agents axioms behavior belief revision cognitive commitments Computer Science Conference on Artificial conflict considered constraints cooperation defined deontic logic described Distributed Artificial Intelligence domain dynamic editors environment example execution Figure formal formalisation formula framework function goal sketch Hugin implementation Intelligent Agents intentions interaction INTERRAP J. P. Müller Knowledge Representation KQML layer Markov chain motivated Multi-Agent Systems Nash equilibrium node notion operator paper path payoff perform planner planning problem procedure Proceedings programming proposed proposition protocols rational ReActalk reactive reasoning represented robot rules satisfied scenario semantics sequencer shared simulation situation skill Smallville software agents specification Springer-Verlag strategy structure Tambe task temporal logic Wooldridge Workshop on Agent Yggdrasil