Computing Extensions of Terminological Default Theories.
Franz BaaderBernhard HollunderPublished in: ECAI Workshop on Knowledge Representation and Reasoning (1992)
Keyphrases
- default theories
- default logic
- autoepistemic logic
- knowledge base
- default reasoning
- revision operators
- nonmonotonic reasoning
- answer set programming
- nonmonotonic logics
- logic programming
- default rules
- fixed point
- classical logic
- knowledge representation
- database
- fuzzy sets
- database systems
- artificial intelligence
- machine learning