Tableaux and Complexity Bounds for a Multiagent Justification Logic with Interacting Justifications.
Antonis AchilleosPublished in: EUMAS (2014)
Keyphrases
- complexity bounds
- modal logic
- multi agent
- decision procedures
- query containment
- automated reasoning
- worst case
- sequent calculi
- constraint networks
- multiagent systems
- temporal logic
- logic programming
- truth maintenance systems
- probabilistic reasoning
- inference rules
- autonomous agents
- answer sets
- functional dependencies
- relational databases