Reasoning with Conditional Axioms.
Emmanuel KounalisMichaël RusinowitchPublished in: Ann. Math. Artif. Intell. (1995)
Keyphrases
- knowledge base
- nonmonotonic inference
- knowledge representation
- conditional logic
- reasoning systems
- qualitative reasoning
- cp nets
- knowledge representation and reasoning
- spatial reasoning
- nonmonotonic reasoning
- first order logic
- database
- reasoning process
- computational properties
- random field model
- automated reasoning
- logic programming
- neural network
- data sets