Die Tragik des Jacques Herbrand - Historische Notiz.

Friedrich L. Bauer

Published in: Inform. Spektrum (1990)

Keyphrases

logic programs
first order logic
logic programming
statistical relational learning
horn clauses
function symbols
inductive logic programming
answer set programming
machine learning
learning algorithm
social networks
data structure
knowledge representation
software engineering
description logics