Horn Extended Feature Structures: Fast Unification With Negation And Limited Disjunction.

Stephen J. Hegner

Published in: EACL (1991)

Keyphrases

theorem proving
horn clauses
np hard
deductive databases
logic programs
database
real time
neural network
machine learning
learning algorithm
feature vectors
image features
propositional logic
complex structures
geometric features