Heterogeneous Active Agents, I: Semantics.
Thomas EiterV. S. SubrahmanianGeorge PickPublished in: Artif. Intell. (1999)
Keyphrases
- multi agent
- multi agent systems
- dynamic logic
- multiple agents
- agent oriented programming language
- multiagent systems
- intelligent agents
- highly dynamic
- agent communication
- logical framework
- decision making
- autonomous agents
- epistemic logic
- agent systems
- communicative acts
- agent model
- cooperative
- resource allocation
- agent technology
- single agent
- formal semantics
- mobile agents
- coalition formation
- dynamic environments
- agent architecture
- multiple autonomous
- software agents
- learning agents
- decision theoretic
- logic programming
- artificial agents
- distributed search
- action selection
- operational semantics
- agent programming
- semantic information
- kripke models
- alternating time temporal logic