Login / Signup
Verification of Behavior Trees using Linear Constrained Horn Clauses.
Thomas Henn
Marcus Völker
Stefan Kowalewski
Minh Trinh
Oliver Petrovic
Christian Brecher
Published in:
FMICS (2022)
Keyphrases
</>
horn clauses
inference rules
first order logic
conceptual clustering
decision trees
logic programs
inductive logic programming
linear functions
model checking
database queries
knowledge base
relational databases
tree structure
function symbols