Login / Signup
On Solving the Equality Problem in Theories Defined by Horn Clauses.
E. Paul
Published in:
European Conference on Computer Algebra (2) (1985)
Keyphrases
</>
horn clauses
fixpoint
function symbols
first order logic
inductive logic programming
inference rules
conceptual clustering
databases
logic programs
high level
domain knowledge
context aware
background knowledge
boolean formula