A Fibred Belief Logic for Multi-agent Systems.
Chuchang LiuMaris A. OzolsMehmet A. OrgunPublished in: Australian Conference on Artificial Intelligence (2005)
Keyphrases
- multi agent systems
- computational logic
- coalition logic
- modal operators
- normative systems
- epistemic logic
- probability theory
- truth values
- logic programming
- logical framework
- multi agent
- autonomous agents
- classical logic
- belief functions
- software agents
- agent architecture
- belief revision
- agent systems
- intelligent agents
- dynamic logic
- bounded model checking
- computational properties
- multi valued
- coalition formation
- agent technology
- trust model
- modal logic
- game theory
- agent oriented
- defeasible logic
- automated reasoning
- formal theory
- multi agent reinforcement learning
- truth maintenance systems
- proof theory
- temporal logic
- cooperative