Reasoning with Time and Chance (Extended Abstract).
Daniel LehmannSaharon ShelahPublished in: ICALP (1983)
Keyphrases
- extended abstract
- reasoning tasks
- reasoning process
- knowledge representation
- conflicting information
- automated reasoning
- reasoning systems
- reasoning problems
- reasoning mechanism
- reasoning mechanisms
- default reasoning
- spatial reasoning
- qualitative reasoning
- learning algorithm
- proof theory
- logical reasoning
- approximate reasoning
- model based reasoning
- analogical reasoning
- knowledge processing
- qualitative models
- computational properties
- real time
- meta level
- inference engine
- multiscale
- information systems
- artificial intelligence
- data mining
- real world
- data sets