Lectures on Jacques Herbrand as a Logician

Claus-Peter Wirth Jörg H. Siekmann Christoph Benzmüller Serge Autexier

Published in: CoRR (2009)

Keyphrases

logic programs
logic programming
distance learning
first order logic
horn clauses
active learning
information retrieval
higher education
statistical relational learning
data sets
function symbols
machine learning
inference rules
lecture videos