Global Modal Logics for Multiagent Systems: A Logical Fibering Approach.
Johann EdtmayrPublished in: EUROCAST (2005)
Keyphrases
- multiagent systems
- modal logic
- temporal logic
- inference rules
- decision procedures
- autonomous agents
- dynamic logic
- multi agent
- nonmonotonic logics
- multiagent architecture
- multiagent planning
- multi agent systems
- coalition formation
- robotic soccer
- epistemic logic
- distributed artificial intelligence
- multiagent reinforcement learning
- design methodologies
- default logic
- situation calculus
- cooperative
- logical framework
- model checking