Proximity-Based Unification with Arity Mismatch.

Temur Kutsia Cleo Pau

Published in: UNIF (2020)

Keyphrases

function symbols
logic programs
higher order
equational theories
logic programming
answer set programming
first order logic
non binary
knuth bendix
machine learning
pairwise
information retrieval systems
theorem proving
multiscale
special case
three dimensional
metadata
proximity measures
learning algorithm