Hornlog: A Graph-Based Interpreter for General Horn Clauses.

Jean H. Gallier Stan Raatz

Published in: J. Log. Program. (1987)

Keyphrases

knowledge representation
first order logic
horn clauses
logic programming
special case
natural language
natural language processing
programming language
inference rules
co occurrence
conceptual clustering
high level
reinforcement learning
prior knowledge
low level
graph model