Automatic inference of specifications using matching logic.
María AlpuenteMarco A. FeliúAlicia VillanuevaPublished in: PEPM (2013)
Keyphrases
- delay insensitive
- logical inference
- abductive reasoning
- matching algorithm
- inference mechanism
- deductive reasoning
- bayesian inference
- logic programming
- matching process
- bounded model checking
- asynchronous circuits
- high level
- image matching
- pattern matching
- shape matching
- semi automatic
- knowledge representation
- relational structures
- logical formulas
- transition systems
- theorem proving
- model checker
- predicate logic
- formal language
- automated reasoning
- inference engine
- graph matching
- fully automatic
- keypoints
- expert systems
- object recognition
- bayesian networks