Nested Guarded Horn Clauses.

Moreno Falaschi Maurizio Gabbrielli Giorgio Levi Masaki Murakami

Published in: Int. J. Found. Comput. Sci. (1990)

Keyphrases

horn clauses
first order logic
inference rules
conceptual clustering
logic programs
inductive logic programming
database queries
lattice theory
hierarchical structure
machine learning
artificial intelligence
knowledge base
prior knowledge
knowledge representation