Many Minimal Models.

Published in: J. Symb. Log. (1996)

Keyphrases

minimal models
propositional logic
logic programs
nonmonotonic reasoning
autoepistemic logic
fixpoint
default logic
stable models
knowledge base
answer sets
model theoretic
general purpose
logic programming
belief revision
modal logic
answer set programming