Computing Extensions of Default Theories.

François Lévy

Published in: ECSQARU (1991)

Keyphrases

default theories
default logic
nonmonotonic reasoning
autoepistemic logic
default rules
default reasoning
answer set programming
revision operators
nonmonotonic logics
logic programming
classical logic
logical equivalence
database
data management
relational databases
knowledge base
machine learning