Turbo-charging Lemmas on demand with don't care reasoning.
Aina NiemetzMathias PreinerArmin BierePublished in: FMCAD (2014)
Keyphrases
- health care
- reasoning systems
- proof procedure
- reasoning process
- long term
- knowledge representation
- knowledge representation and reasoning
- automated reasoning
- reasoning tasks
- rule based reasoning
- theorem prover
- qualitative reasoning
- electric vehicles
- analogical reasoning
- model based reasoning
- reasoning mechanisms
- data sets
- logical framework
- spatial reasoning
- meta level
- semantic web
- cloud computing
- information systems