Representational Reasoning and Verification.
Gavin J. DohertyJosé Creissac CamposMichael D. HarrisonPublished in: Formal Aspects Comput. (2000)
Keyphrases
- multiple representations
- reasoning systems
- knowledge representation
- model checking
- knowledge base
- model based reasoning
- reasoning process
- reasoning tasks
- automated reasoning
- spatial reasoning
- resource bounded
- formal methods
- meta level
- model based diagnosis
- knowledge based systems
- information retrieval
- data sets
- face verification
- default reasoning
- production rules
- knowledge representation and reasoning
- formal models
- analogical reasoning
- domain knowledge
- artificial intelligence