Decomposing Minimal Models.

Rachel Ben-Eliyahu-Zohary Fabrizio Angiulli Fabio Fassetti Luigi Palopoli

Published in: KnowProS@IJCAI (2016)

Keyphrases

minimal models
propositional logic
logic programs
autoepistemic logic
nonmonotonic reasoning
logic programming
stable models
default logic
truth maintenance systems
fixpoint
knowledge base
general purpose
first order logic
belief revision
modal logic
machine learning
answer set programming