On Constructing Fibred Tableaux for BDI Logics.
Vineet PadmanabhanGuido GovernatoriPublished in: PRICAI (2006)
Keyphrases
- modal logic
- decision procedures
- sequent calculi
- inference rules
- multi agent
- agent architecture
- multi agent systems
- mental states
- expressive power
- classical logic
- conditional logic
- nonmonotonic logics
- temporal logic
- agent systems
- epistemic logic
- databases
- autonomous agents
- situation calculus
- sequent calculus
- propositional dynamic logic
- agent oriented programming