BDI: A New Decidable First-order Clause Class.

Manuel Lamotte-Schubert Christoph Weidenbach

Published in: LPAR (short papers) (2013)

Keyphrases

first order logic
function free horn
multi agent
horn clauses
search space
agent architecture
multi agent systems
expressive power
theorem prover
inductive inference
mental states
function symbols
polynomial size