An Experiment on Tabled Evaluation for Hidden Predicates

Pedro Cabalar (1) , Martin Dieguez (2, 3, 4, 5, 6)

1 Universidade da Coruña
2 Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
3 ENIB - École Nationale d'Ingénieurs de Brest
4 CERV - Centre Européen de Réalité Virtuelle
5 IRIT-LILaC - Logique, Interaction, Langue et Calcul
6 UDC - University of A Coruña

Domaines: Logique [math.LO]; Intelligence artificielle [cs.AI]; Logique en informatique [cs.LO]

Pedro Cabalar, Martin Dieguez. An Experiment on Tabled Evaluation for Hidden Predicates. 1st Workshop on Grounding and Transformations for Theories with Variables (GTTV'11@LPNMR 2013), May 2011, Vancouver, Canada. ⟨hal-01892996⟩