A Compositional Reasoning System for Executing Nonmonotonic Theories of Reasoning.
Joeri EngelfrietJan TreurPublished in: ECSQARU-FAPR (1997)
Keyphrases
- causal reasoning
- reasoning systems
- knowledge base
- default rules
- multi context systems
- formal models
- reasoning process
- reasoning and decision making
- reasoning mechanisms
- automated reasoning
- knowledge representation and reasoning
- default reasoning
- model based reasoning
- logic programming
- artificial intelligence
- reasoning tasks
- probabilistic logic
- computational properties
- defeasible logic
- nonmonotonic reasoning
- probabilistic knowledge
- probabilistic reasoning
- semantic web