On Finding Extensions of Default Theories.

Christos H. Papadimitriou Martha Sideri

Published in: ICDT (1992)

Keyphrases

default theories
default logic
nonmonotonic logics
default rules
nonmonotonic reasoning
autoepistemic logic
revision operators
default reasoning
answer set programming
logic programming
classical logic
knowledge base
dynamic programming