Integrated Reasoning and Proof Choice Point Selection in the Jahob System - Mechanisms for Program Survival.
Martin C. RinardPublished in: CADE (2009)
Keyphrases
- reasoning mechanisms
- proof theory
- knowledge base
- logical rules
- expert systems
- mathematical proofs
- proof theoretic
- knowledge representation
- theorem proving
- automated reasoning
- proof planning
- automated theorem proving
- static analysis
- computer programs
- machine learning
- genetic algorithm
- artificial intelligence
- decision making
- default reasoning
- proof procedure
- data mining
- recursive programs
- deductive reasoning
- domain knowledge
- test cases
- analogical reasoning
- sample points
- reasoning systems
- design choices
- logical framework
- reasoning process
- neural network
- selection algorithm
- theorem prover