Decision Procedures for BDI Logics.
Anand S. RaoMichael P. GeorgeffPublished in: J. Log. Comput. (1998)
Keyphrases
- decision procedures
- modal logic
- agent architecture
- theorem proving
- automated reasoning
- reasoning problems
- mental states
- inference rules
- multi agent
- temporal logic
- multi agent systems
- model theoretic
- bdi agents
- conjunctive queries
- default logic
- operational semantics
- database systems
- situation calculus
- data sources
- search algorithm
- database
- quantified boolean formulas