Compilation of Conditional Knowledge Bases for Computing C-Inference Relations.
Christoph BeierleSteven KutschKai SauerwaldPublished in: FoIKS (2018)
Keyphrases
- knowledge base
- inference engine
- description logics
- inference process
- knowledge based systems
- bayesian networks
- expert systems
- random field model
- probabilistic inference
- inference mechanism
- representing knowledge
- dynamic bayesian networks
- knowledge representation languages
- semantic network
- semantic relations
- wordnet
- logic programming
- knowledge acquisition
- knowledge representation
- nonmonotonic inference
- decomposable negation normal form
- belief base
- temporal relations
- bayesian inference
- random fields
- belief networks