Tabling, Rational Terms, and Coinduction Finally Together!

Theofrastos Mantadelis Ricardo Rocha Paulo Moura

Published in: CoRR (2014)

Keyphrases

data mining
machine learning
decision making
co occurrence
search engine
image sequences