Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax.
Alberto CiaffaglioneLuigi LiquoriMarino MiculanPublished in: MERLIN (2003)
Keyphrases
- higher order
- high level
- proof procedure
- natural images
- pairwise
- predicate calculus
- lambda calculus
- high order
- knowledge base
- low order
- case based reasoner
- automated theorem proving
- reasoning systems
- natural language
- reasoning tasks
- qualitative spatial
- qualitative spatial reasoning
- low level
- production rules
- image segmentation
- automated reasoning
- proof theoretic
- markov random field
- reasoning mechanisms
- reasoning problems
- artificial intelligence
- computer algebra
- type checking
- conditional random fields
- case based reasoning
- consistency checking
- higher level
- spatial reasoning
- propositional logic