1. A Transformation-based implementation for CLP with qualification and proximity*. Issue 1 (25th April 2012) Authors: CABALLERO, R.; RODRÍGUEZ-ARTALEJO, M.; ROMERO-DÍAZ, C. A. Journal: Theory and practice of logic programming Issue: Volume 14:Issue 1(2014) Page Start: 1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Rewriting and narrowing for constructor systems with call-time choice semantics1. Issue 2 (30th October 2012) Authors: LÓPEZ-FRAGUAS, FRANCISCO J.; MARTIN-MARTIN, ENRIQUE; RODRÍGUEZ-HORTALÁ, JUAN; SÁNCHEZ-HERNÁNDEZ, JAIME Journal: Theory and practice of logic programming Issue: Volume 14:Issue 2(2014) Page Start: 165 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Singular and plural functions for functional logic programming. Issue 1 (17th May 2012) Authors: RIESCO, ADRIÁN; RODRÍGUEZ-HORTALÁ, JUAN Journal: Theory and practice of logic programming Issue: Volume 14:Issue 1(2014) Page Start: 65 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. The third open answer set programming competition. Issue 1 (6th September 2012) Authors: CALIMERI, FRANCESCO; IANNI, GIOVAMBATTISTA; RICCA, FRANCESCO Journal: Theory and practice of logic programming Issue: Volume 14:Issue 1(2014) Page Start: 117 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Tractable answer-set programming with weight constraints: bounded treewidth is not enough*. Issue 2 (17th July 2012) Authors: PICHLER, REINHARD; RÜMMELE, STEFAN; SZEIDER, STEFAN; WOLTRAN, STEFAN Journal: Theory and practice of logic programming Issue: Volume 14:Issue 2(2014) Page Start: 141 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Transforming floundering into success. Issue 2 (30th October 2012) Authors: NAISH, LEE Journal: Theory and practice of logic programming Issue: Volume 14:Issue 2(2014) Page Start: 215 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗