Computing the Stratified Minimal Models Semantic.

Mauricio Osorio Angel Marín George Juan Carlos Nieves

Published in: LA-NMR (2009)

Keyphrases

minimal models
nonmonotonic reasoning
natural language
high level
logic programs
propositional logic
decision trees
general purpose
artificial intelligence
association rules
logic programming
fixed point
default logic
autoepistemic logic