Keyphrases
- default theories
- default rules
- default logic
- default reasoning
- answer set programming
- nonmonotonic logics
- autoepistemic logic
- reasoning tasks
- proof theory
- knowledge representation
- nonmonotonic reasoning
- knowledge base
- commonsense reasoning
- knowledge representation and reasoning
- logic programming
- revision operators
- classical logic
- fixed point
- probability distribution
- machine learning