CAT: The Copying Approach to Tabling.

Bart Demoen Konstantinos Sagonas

Published in: PLILP/ALP (1998)

Keyphrases

logic programming
logic programming language
logic programs
model checking
practical problems
artificial intelligence
answer set programming
machine learning
constraint satisfaction
data mining
expert systems
constraint logic programming
knowledge representation