Journal: TPLP

Volume 14, Issue 1

1 -- 63Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz. A Transformation-based implementation for CLP with qualification and proximity
65 -- 116Adrián Riesco, Juan Rodríguez-Hortalá. Singular and plural functions for functional logic programming
117 -- 135Francesco Calimeri, Giovambattista Ianni, Francesco Ricca. The third open answer set programming competition
137 -- 140Jouko Väänänen. Independence-Friendly Logic: A Game-Theoretic Approach, Allen L. Mann, Gabriel Sandu and Merlijn Sevenster, Cambridge University Press, 2011. Paperback, ISBN 9780521149341, 216 pp