Herbrand's Fundamental Theorem: The Historical Facts and their Streamlining.

Claus-Peter Wirth

Published in: CoRR (2014)

Keyphrases

logic programs
logic programming
knowledge base
statistical relational learning
first order logic
historical data
background knowledge
horn clauses
website
data structure
information extraction
graphical models
historical manuscripts
data sets
domain knowledge
feature selection
computer vision
information retrieval