On a Generalisation of Herbrand's Theorem.

Matthias Baaz Georg Moser

Published in: CSL (2001)

Keyphrases

logic programs
logic programming
first order logic
horn clauses
von neumann
digital topology
real time
databases
machine learning
image sequences
mobile robot
statistical relational learning
database
information retrieval
web services
information extraction