Semi-partitioned Horn Clauses: A Tractable Logic of Types.

Published in: AIMSA (2010)

Keyphrases

horn clauses
conceptual clustering
first order logic
lattice theory
inference rules
database queries
logic programs
inductive logic programming
modal logic
machine learning
artificial intelligence
natural language
np hard
knowledge representation
software engineering
default theories