Decision Procedures for BDI Logics.

Anand S. Rao Michael P. Georgeff

Published 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