Automated Reasoning and Natural Proofs for Programs Manipulating Data Structures.
Parthasarathy MadhusudanPublished in: FSTTCS (2012)
Keyphrases
- automated reasoning
- theorem proving
- theorem prover
- data structure
- decision procedures
- reasoning systems
- knowledge representation
- automated verification
- inference rules
- computer programs
- first order logic
- probabilistic reasoning
- reasoning tasks
- knowledge representation and reasoning
- propositional satisfiability
- machine learning
- pairwise
- natural language
- search algorithm
- knowledge base