Computing Minimal Models by Partial Instantiation.

Vadim Kagan Anil Nerode V. S. Subrahmanian

Published in: Theor. Comput. Sci. (1996)

Keyphrases

minimal models
propositional logic
logic programs
nonmonotonic reasoning
machine learning
default logic
decision trees
high level
model checking
finite state machines
autoepistemic logic