Extending Horn Clause Theories by Reflection Principles.

Stefania Costantini Pierangelo Dell'Acqua Gaetano Aurelio Lanzarone

Published in: JELIA (1994)

Keyphrases

horn clauses
first order logic
inference rules
inductive logic programming
logic programs
theoretical framework
database queries
cognitive psychology
fundamental principles
neural network
learning algorithm
learning theories
data mining
domain knowledge
specular reflection
cognitive models