Reasoning about Evolving Nonmonotonic Knowledge Bases.
Thomas EiterMichael FinkGiuliana SabbatiniHans TompitsPublished in: LPAR (2001)
Keyphrases
- knowledge base
- logic programming
- closed world reasoning
- description logics
- default reasoning
- probabilistic knowledge
- nonmonotonic reasoning
- multiple inheritance
- belief base
- knowledge representation
- spatial reasoning
- default reasoning from conditional knowledge bases
- tableau calculus
- nonmonotonic logics
- defeasible logic
- knowledge based systems
- logic programs
- expert systems
- default logic
- answer set programming
- qualitative reasoning
- modal logic
- autoepistemic logic
- meta knowledge
- machine learning
- neural network