Observational Logic for Composition of Agents.
Zoran MajkicPublished in: Artificial Intelligence and Pattern Recognition (2007)
Keyphrases
- multi agent systems
- dynamic logic
- multi agent
- logical framework
- alternating time temporal logic
- epistemic logic
- autonomous agents
- multiagent systems
- software agents
- intelligent agents
- mobile agents
- cooperative
- multiple agents
- coalition logic
- artificial agents
- dynamic environments
- normative systems
- distributed agents
- classical logic
- logic programming
- agent systems
- agent behavior
- automated reasoning
- web service composition
- agent architecture
- asynchronous circuits
- agent model
- agent technology
- resource allocation
- electronic commerce
- reasoning process
- agent based simulation
- learning agents
- action selection
- logic programs
- multi agent planning
- artificial intelligence