Herbrand Sequent Extraction.

Stefan Hetzl Alexander Leitsch Daniel Weller Bruno Woltzenlogel Paleo

Published in: AISC/MKM/Calculemus (2008)

Keyphrases

logic programs
modal logic
automatic extraction
information retrieval
inference rules
information extraction
automatically extracting
knowledge extraction
logic programming
database systems
databases
artificial neural networks
fixed point
high level
data sets
automatically extracted
real time