Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations.
Christoph BeierleSteven KutschKai SauerwaldPublished in: Ann. Math. Artif. Intell. (2019)
Keyphrases
- nonmonotonic inference
- nonmonotonic reasoning
- knowledge base
- conditional logic
- logic programming
- default reasoning
- belief revision
- knowledge representation
- description logics
- knowledge acquisition
- wordnet
- reasoning process
- semantic relations
- background knowledge
- machine learning
- knowledge based systems
- knowledge representation and reasoning
- programming language
- artificial intelligence