Login / Signup
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