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. A Linear Logic Programming Language for Concurrent Programming over Graph Structures. Issue 4 (21st July 2014) Authors: CRUZ, FLAVIO; ROCHA, RICARDO; GOLDSTEIN, SETH COPEN; PFENNING, FRANK; Leuschel, Michael; Schrijvers, Tom Journal: Theory and practice of logic programming Issue: Volume 14:Issue 4/5(2014) Page Start: 493 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. A Measure of Arbitrariness in Abductive Explanations. Issue 4 (21st July 2014) Authors: CAROPRESE, LUCIANO; TRUBITSYNA, IRINA; Truszczyński, Mirosław; Zumpano, Ester; Leuschel, Michael; Schrijvers, Tom Journal: Theory and practice of logic programming Issue: Volume 14:Issue 4/5(2014) Page Start: 665 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. A Module System for Domain-Specific Languages. Issue 4 (21st July 2014) Authors: JACKSON, ETHAN K.; Leuschel, Michael; Schrijvers, Tom Journal: Theory and practice of logic programming Issue: Volume 14:Issue 4/5(2014) Page Start: 771 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. A multi-engine approach to answer-set programming*. Issue 6 (November 2014) Authors: MARATEA, MARCO; PULINA, LUCA; RICCA, FRANCESCO Journal: Theory and practice of logic programming Issue: Volume 14:Issue 6(2014) Page Start: 841 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. A Proof Theoretic Study of Soft Concurrent Constraint Programming. Issue 4 (21st July 2014) Authors: PIMENTEL, ELAINE; OLARTE, CARLOS; NIGAM, VIVEK; Leuschel, Michael; Schrijvers, Tom Journal: Theory and practice of logic programming Issue: Volume 14:Issue 4/5(2014) Page Start: 649 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. A proof-theoretic semantic analysis of dynamic epistemic logic. (3rd November 2014) Authors: Frittella, Sabine; Greco, Giuseppe; Kurz, Alexander; Palmigiano, Alessandra; Sikimić, Vlasta Journal: Journal of logic and computation Issue: Volume 26:Number 6(2016:Dec.) Page Start: 1961 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Abstract Diagnosis for tccp using a Linear Temporal Logic. Issue 4 (21st July 2014) Authors: COMINI, MARCO; TITOLO, LAURA; VILLANUEVA, ALICIA; Leuschel, Michael; Schrijvers, Tom Journal: Theory and practice of logic programming Issue: Volume 14:Issue 4/5(2014) Page Start: 787 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Abstract interpretation of temporal concurrent constraint programs. Issue 3 (10th February 2014) Authors: FALASCHI, MORENO; OLARTE, CARLOS; PALAMIDESSI, CATUSCIA Journal: Theory and practice of logic programming Issue: Volume 15:Issue 3(2015) Page Start: 312 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. An ER-based framework for declarative web programming*. Issue 3 (May 2014) Authors: HANUS, MICHAEL; KOSCHNICKE, SVEN Journal: Theory and practice of logic programming Issue: Volume 14:Issue 3(2014) Page Start: 269 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗