A Decidable Constraint Diagram Reasoning System.
Gem StapletonJohn HowseJohn TaylorPublished in: J. Log. Comput. (2005)
Keyphrases
- knowledge representation
- reasoning process
- constraint solving
- polynomial hierarchy
- diagrammatic reasoning
- knowledge base
- linear constraints
- reasoning systems
- neural network
- artificial intelligence
- case based reasoning
- first order logic
- state transition
- qualitative reasoning
- automated reasoning
- model based reasoning