Transformation Rules for First-Order Probabilistic Conditional Logic Yielding Parametric Uniformity.
Ruth JanningChristoph BeierlePublished in: KI (2011)
Keyphrases
- conditional logic
- transformation rules
- default reasoning
- belief revision
- probabilistic logic
- nonmonotonic reasoning
- modal logic
- knowledge representation and reasoning
- bayesian networks
- metamodel
- probabilistic reasoning
- model driven
- logic programming
- default logic
- natural language
- probabilistic model
- belief networks
- service oriented
- temporal logic
- sound and complete axiomatization