1. A goal-directed implementation of query answering for hybrid MKNF knowledge bases. Issue 2 (March 2014) Authors: GOMES, ANA SOFIA; ALFERES, JOSÉ JÚLIO; SWIFT, TERRANCE Journal: Theory and practice of logic programming Issue: Volume 14:Issue 2(2014) Page Start: 239 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. TLP volume 14 issue 2 Cover and Back matter. Issue 2 (4th March 2014) Journal: Theory and practice of logic programming Issue: Volume 14:Issue 2(2014) Page Start: b1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. TLP volume 14 issue 2 Cover and Front matter. Issue 2 (4th March 2014) Journal: Theory and practice of logic programming Issue: Volume 14:Issue 2(2014) Page Start: f1 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) ↗