The Substitutional Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning.
Alan M. FrischPublished in: Artif. Intell. (1991)
Keyphrases
- main contribution
- logical framework
- neural network
- knowledge representation
- spatial reasoning
- abductive logic programming
- knowledge base
- theoretical framework
- inference rules
- taxonomic reasoning
- databases
- model based reasoning
- model construction
- description logics
- reinforcement learning
- case study
- website
- artificial intelligence
- real world