Reasoning with Continuations
Matthias FelleisenDaniel P. FriedmanEugene E. KohlbeckerBruce F. DubaPublished in: LICS (1986)
Keyphrases
- reasoning systems
- meta level
- reasoning tasks
- logical framework
- qualitative reasoning
- approximate reasoning
- knowledge base
- search algorithm
- knowledge processing
- analogical reasoning
- model based reasoning
- reasoning about actions
- formal models
- fuzzy reasoning
- reasoning mechanism
- logical reasoning
- fuzzy description logics
- conflicting information
- multi agent decision making
- consistency checking
- computational properties
- databases
- reasoning process
- automated reasoning
- spatial reasoning
- default reasoning
- production rules
- knowledge representation
- data structure
- computer vision