Sequent forms of Herbrand theorem and their applications.

Alexander V. Lyaletski

Published in: Ann. Math. Artif. Intell. (2006)

Keyphrases

logic programs
first order logic
logic programming
inference rules
databases
case study
search algorithm
computer vision
information systems