“Sometimes” and “not never” revisited: on branching versus linear time temporal logic
Journal of the ACM (JACM) - The MIT Press scientific computation series
Intention is choice with commitment
Artificial Intelligence
Knowledge and common knowledge in a distributed environment
Journal of the ACM (JACM)
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Artificial Intelligence
Agent theories, architectures, and languages: a survey
ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
This is MYWORLD: the logic of an agent-oriented DAI testbed
ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
Integrated control and coordinated behavior: a case for agent models
ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
A domain theory for task oriented negotiation
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Hi-index | 0.00 |
Mental attributes of agents are investigated in a framework of transition systems and abstract languages. The mental attitudes are related to beliefs, desires/goals and intentions/plans which are known from so-called BDI-architectures. Actions and events are more stressed than states. This allows the consideration of global and individual aspects of belief, desire, intentions etc. in a simple unified formalism.