Knuth-Bendix Completion of Horn Clause Programs for Restricted Linear Resolution and Paramodulation.

Hubert Bertling

Published in: CTRS (1990)

Keyphrases

knuth bendix
horn clauses
function symbols
inference rules
first order logic
fixpoint
logic programs
theorem proving
term rewriting
inductive logic programming
theorem prover
database queries
database
modal logic
knowledge representation
high level
databases
text classification
general purpose