Computing answers in default logic.
Ramiro A. de T. GuerreiroAndrea SilvaMarco Antonio CasanovaPublished in: TAI (1989)
Keyphrases
- default logic
- default theories
- default reasoning
- logic programming
- autoepistemic logic
- nonmonotonic reasoning
- nonmonotonic logics
- default rules
- modal logic
- classical logic
- fixed point
- extended logic programs
- database
- natural language
- databases
- truth maintenance systems
- logic programs
- relational databases
- image segmentation
- machine learning