On Minimal Models.

Francicleber Martins Ferreira Ana Teresa C. Martins

Published in: Log. J. IGPL (2007)

Keyphrases

fixpoint
minimal models
logic programs
stable models
nonmonotonic reasoning
relational databases
autoepistemic logic
decision trees
propositional logic
default reasoning