Reasoning about evolving nonmonotonic knowledge bases.
Thomas EiterMichael FinkGiuliana SabbatiniHans TompitsPublished in: ACM Trans. Comput. Log. (2005)
Keyphrases
- knowledge base
- logic programming
- closed world reasoning
- probabilistic knowledge
- description logics
- nonmonotonic reasoning
- default reasoning
- spatial reasoning
- tableau calculus
- truth maintenance systems
- qualitative reasoning
- knowledge based systems
- belief base
- knowledge representation
- belief revision
- minimal models
- default logic
- logic programs
- reasoning process
- expert systems
- meta knowledge
- knowledge acquisition
- domain experts
- formal theory
- dl lite
- semantic network
- modal logic
- multiple inheritance
- knowledge representation languages
- wordnet