Login / Signup
On Reasoning by Default.
Raymond Reiter
Published in:
TINLAP (1978)
Keyphrases
</>
default rules
nonmonotonic inference
knowledge base
default reasoning
case study
image sequences
qualitative reasoning
formal models
databases
knowledge representation
meta level
reasoning tasks
reasoning process
consistency checking
model based reasoning
commonsense reasoning