Login / Signup
Decidability of All Minimal Models (Revised Version - 2012)
Vincent Padovani
Published in:
CoRR (2012)
Keyphrases
</>
revised version
minimal models
propositional logic
logic programs
nonmonotonic reasoning
description logics
autoepistemic logic
default logic
query answering
knowledge base
fixpoint
decision procedures
model theoretic
belief revision
answer sets
truth maintenance systems
artificial intelligence