Extracting Herbrand trees from Coq

Published in: CoRR (2013)

Keyphrases

logic programs
first order logic
logic programming
theorem prover
decision trees
formal methods
horn clauses
tree structure
automatic extraction
databases
real world
genetic algorithm
artificial intelligence
automatically extracted
statistical relational learning
automatically extracting