Termination and Divergence Are Undecidable Under a Maximum Progress Multi-step Semantics for LinCa.

Mila E. Majster-Cederbaum Christoph Minnameier

Published in: ICTAC (2006)

Keyphrases

multi step
rewrite systems
lower bounding
active rules
knn
k nearest neighbor
single step
sufficient conditions
distance computation
logic programming
operational semantics
term rewriting
np complete
integrity constraints
datalog programs
principal component analysis
tumor classification
support vector machine