Linear Reasoning. A New Form of the Herbrand-Gentzen Theorem.

Published in: J. Symb. Log. (1957)

Keyphrases

horn clauses
logic programs
logic programming
closed form
reasoning tasks
graphical representation
model based reasoning
knowledge base
case study
linear systems
linear model
consistency checking
reasoning systems
reasoning process
data sets
knowledge representation
machine learning