1 | -- | 63 | Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz. A Transformation-based implementation for CLP with qualification and proximity |
65 | -- | 116 | Adrián Riesco, Juan Rodríguez-Hortalá. Singular and plural functions for functional logic programming |
117 | -- | 135 | Francesco Calimeri, Giovambattista Ianni, Francesco Ricca. The third open answer set programming competition |
137 | -- | 140 | Jouko 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 |