Computing Circumscription of Horn Theories.

Published in: ECAI (1988)

Keyphrases

horn theories
canonical representation
functional dependencies
multi dimensional
machine learning
default logic
management system
logic programs
integrity constraints
answer sets
autoepistemic logic
general logic programs