Tabling, Rational Terms, and Coinduction Finally Together!

Theofrastos Mantadelis Ricardo Rocha Paulo Moura

Published in: Theory Pract. Log. Program. (2014)

Keyphrases

database systems
preprocessing
databases
genetic algorithm
decision trees
face recognition
reinforcement learning
logic programming
background knowledge