Creating new Program Proofs by Combining Abductive and Deductive Reasoning.

Kuruvilla George Aiyankovil Diarmuid O'Donoghue Rosemary Monahan

Published in: ICCC (2021)

Keyphrases

deductive reasoning
computer programs
knowledge base
knowledge representation
theorem proving
explanation based learning
databases
neural network
data mining
case study
data structure
logic programming
theorem prover
equational theories