BDI: a new decidable clause class.

Manuel Lamotte-Schubert Christoph Weidenbach

Published in: J. Log. Comput. (2017)

Keyphrases

multi agent
agent architecture
multi agent systems
database
first order logic
horn clauses
datalog programs
plan existence