On Fibring Semantics for BDI Logics.
Guido GovernatoriVineet PadmanabhanAbdul SattarPublished in: JELIA (2002)
Keyphrases
- modal logic
- epistemic logic
- nonmonotonic logics
- conditional logic
- propositional dynamic logic
- proof theory
- modal operators
- kripke models
- dynamic logic
- multi agent systems
- decision procedures
- expressive power
- multi agent
- operational semantics
- default logic
- valued semantics
- temporal logic
- inference rules
- formal semantics
- higher order logic
- valued logic
- default reasoning
- classical logic
- agent architecture
- proof theoretic
- agent programming
- model theoretic
- intuitionistic logic
- logic programming
- computational properties
- conceptual model
- semantic information
- belief revision
- consistent query answering
- reasoning about actions
- knowledge base
- mental states
- agent oriented programming