Bertrand Russell, Herbrand's Theorem, and the Assignment Statement.

Published in: AISC (1998)

Keyphrases

logic programs
logic programming
first order logic
multiscale
learning algorithm
nash equilibrium
von neumann
statistical relational learning
information retrieval
cooperative
graphical models
intuitionistic logic