A Strong Version of Herbrand's Theorem for Introvert Sentences.

Published in: J. Symb. Log. (1998)

Keyphrases

logic programs
logic programming
natural language
first order logic
databases
high level
text summarization
horn clauses
database
learning algorithm
knowledge base
inductive logic programming
linguistic features
syntactic analysis