Using Modelica Programs for Deriving Propositional Horn Clause Abduction Problems.

Bernhard Peischl Ingo Pill Franz Wotawa

Published in: KI (2016)

Keyphrases

horn clauses
first order logic
strips planning
database
machine learning
search engine
logic programs