Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-Terms.

Published in: AISC (2002)

Keyphrases

function symbols
logic programs
first order logic
pattern matching
knuth bendix
horn clauses
co occurrence
logic programming
sequence analysis
conditional probabilities
sequence patterns
sequence alignment
non binary
answer set programming
variable selection
decision trees
normal form
lightweight
pairwise