Order-Sorted Termination: The Unsorted Way.

Peter Csaba Ölveczky Olav Lysne

Published in: ALP (1996)

Keyphrases

order sorted
predicate logic
machine learning
artificial intelligence
termination analysis
orders of magnitude
active rules
term rewriting
rewrite systems
databases
data mining
knowledge base
high level
data model