A compositional reasoning system for executing nonmonotonic theories of reasoning.
Joeri EngelfrietJan TreurPublished in: Int. J. Intell. Syst. (2003)
Keyphrases
- causal reasoning
- reasoning systems
- automated reasoning
- knowledge base
- formal models
- reasoning process
- reasoning and decision making
- default rules
- computational properties
- reasoning tasks
- qualitative reasoning
- knowledge processing
- probabilistic logic
- analogical reasoning
- probabilistic knowledge
- knowledge representation
- artificial intelligence