Extracting Herbrand disjunctions by functional interpretation.

Philipp Gerhardy Ulrich Kohlenbach

Published in: Arch. Math. Log. (2005)

Keyphrases

logic programs
logic programming
first order logic
functional analysis
databases
horn clauses
data mining
automatic extraction
automatically extracted
semantic interpretation
statistical relational learning
xml documents
object recognition
multi agent
information retrieval
automatically extracting
function symbols