Computation of Closures of Nonmonotonic Inference Relations Induced by Conditional Knowledge Bases.
Steven KutschChristoph BeierlePublished in: ECSQARU (2019)
Keyphrases
- nonmonotonic inference
- nonmonotonic reasoning
- knowledge base
- conditional logic
- logic programming
- belief revision
- semantic relations
- knowledge sources
- default logic
- knowledge acquisition
- knowledge based systems
- default reasoning
- domain experts
- background knowledge
- expressive power
- partial order
- object oriented
- knowledge representation