HERBRAND's Fundamental Theorem in the Eyes of JEAN VAN HEIJENOORT.

Claus-Peter Wirth

Published in: Logica Universalis (2012)

Keyphrases

logic programs
logic programming
first order logic
facial features
statistical relational learning
eye gaze
horn clauses
computer vision
gaze direction
neural network
machine learning
decision trees
knowledge representation
function symbols
mouse clicks