Default Theories that Always Have Extensions.

Christos H. Papadimitriou Martha Sideri

Published in: Artif. Intell. (1994)

Keyphrases

default theories
default logic
default reasoning
answer set programming
nonmonotonic reasoning
nonmonotonic logics
autoepistemic logic
logic programming
revision operators
default rules
machine learning
image segmentation
high level
state space
desirable properties
classical logic