New Insights on the Intuitionistic Interpretation of Default Logic.
Pedro CabalarDavid LorenzoPublished in: ECAI (2004)
Keyphrases
- default logic
- classical logic
- default theories
- logic programming
- nonmonotonic reasoning
- default reasoning
- default rules
- nonmonotonic logics
- autoepistemic logic
- linear logic
- fixed point
- modal logic
- extended logic programs
- high level
- commonsense reasoning
- data mining
- theorem prover
- logic programs
- state space
- database systems
- artificial intelligence
- truth maintenance systems
- databases