Reasoning with Minimal Models: Efficient Algorithms and Applications.

Rachel Ben-Eliyahu-Zohary Luigi Palopoli

Published in: Artif. Intell. (1997)

Keyphrases

minimal models
propositional logic
truth maintenance systems
knowledge base
logic programs
nonmonotonic reasoning
autoepistemic logic
knowledge representation
default logic
decision trees
association rules
automated reasoning