Extracting Herbrand trees in classical realizability using forcing.

Published in: CSL (2013)

Keyphrases

logic programs
logic programming
decision trees
first order logic
tree structure
tree structures
automatically extracting
tree models
databases
genetic algorithm
image sequences
association rules
horn clauses
tree nodes