Herbrand's Theorem and Equational Reasoning: Problems and Solutions.

Anatoli Degtyarev Yuri Gurevich Andrei Voronkov

Published in: Bull. EATCS (1996)

Keyphrases

reasoning problems
decision procedures
theorem proving
horn clauses
description logics
logic programming
logic programs
reasoning tasks
first order logic
special case
artificial intelligence
knowledge representation
theorem prover
data model
computational complexity
bayesian networks
knowledge base