Horn Clause Contraction Functions.

James P. Delgrande Renata Wassermann

Published in: J. Artif. Intell. Res. (2013)

Keyphrases

horn clauses
logic programs
inference rules
first order logic
belief change
neural network
search engine
high level
feature space
pairwise
logic programming
belief revision
database queries
concept formation