Login / Signup
On Solving the Equality Problem in Theories Defined by Horn Clauses.
E. Paul
Published in:
Theor. Comput. Sci. (1986)
Keyphrases
</>
horn clauses
fixpoint
function symbols
first order logic
conceptual clustering
database queries
logic programs
inductive logic programming
inference rules
feature selection
reinforcement learning
natural language
pairwise