1. A concurrent constraint programming interpretation of access permissions. Issue 2 (10th April 2018) Authors: OLARTE, CARLOS; PIMENTEL, ELAINE; RUEDA, CAMILO Journal: Theory and practice of logic programming Issue: Volume 18:Issue 2(2018) Page Start: 252 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. A datalog-based computational model for coordination-free, data-parallel systems. Issue 5 (5th September 2018) Authors: INTERLANDI, MATTEO; TANCA, LETIZIA Journal: Theory and practice of logic programming Issue: Volume 18:Issue 5/6(2018) Page Start: 874 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. A Probabilistic Extension of Action Language ${\cal BC}$+}$. Issue 3 (10th August 2018) Authors: LEE, JOOHYUNG; WANG, YI Editors: Dal Palu, Alessandro; Tarau, Paul Journal: Theory and practice of logic programming Issue: Volume 18:Issue 3/4(2018) Page Start: 607 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. A review of literature on parallel constraint solving. Issue 5 (2nd August 2018) Authors: GENT, IAN P.; MIGUEL, IAN; NIGHTINGALE, PETER; MCCREESH, CIARAN; PROSSER, PATRICK; MOORE, NEIL C. A.; UNSWORTH, CHRIS Journal: Theory and practice of logic programming Issue: Volume 18:Issue 5/6(2018) Page Start: 725 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming. Issue 3 (10th August 2018) Authors: BARYANNIS, GEORGE; TACHMAZIDIS, ILIAS; BATSAKIS, SOTIRIS; ANTONIOU, GRIGORIS; ALVIANO, MARIO; SELLIS, TIMOS; TSAI, PEI-WEI Editors: Dal Palu, Alessandro; Tarau, Paul Journal: Theory and practice of logic programming Issue: Volume 18:Issue 3/4(2018) Page Start: 355 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. An ASP Methodology for Understanding Narratives about Stereotypical Activities. Issue 3 (10th August 2018) Authors: INCLEZAN, DANIELA; ZHANG, QINGLIN; BALDUCCINI, MARCELLO; ISRANEY, ANKUSH Editors: Dal Palu, Alessandro; Tarau, Paul Journal: Theory and practice of logic programming Issue: Volume 18:Issue 3/4(2018) Page Start: 535 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. An iterative approach to precondition inference using constrained Horn clauses. Issue 3 (10th August 2018) Authors: KAFLE, BISHOKSAN; GALLAGHER, JOHN P.; GANGE, GRAEME; SCHACHTE, PETER; SØNDERGAARD, HARALD; STUCKEY, PETER J. Editors: Dal Palu, Alessandro; Tarau, Paul Journal: Theory and practice of logic programming Issue: Volume 18:Issue 3/4(2018) Page Start: 553 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs. Issue 3 (10th August 2018) Authors: CHARALAMBIDIS, ANGELOS; RONDOGIANNIS, PANOS; SYMEONIDOU, IOANNA Editors: Dal Palu, Alessandro; Tarau, Paul Journal: Theory and practice of logic programming Issue: Volume 18:Issue 3/4(2018) Page Start: 421 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Cautious reasoning in ASP via minimal models and unsatisfiable cores. Issue 3 (10th August 2018) Authors: ALVIANO, MARIO; DODARO, CARMINE; JÄRVISALO, MATTI; MARATEA, MARCO; PREVITI, ALESSANDRO Editors: Dal Palu, Alessandro; Tarau, Paul Journal: Theory and practice of logic programming Issue: Volume 18:Issue 3/4(2018) Page Start: 319 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Certified Graph View Maintenance with Regular Datalog. Issue 3 (10th August 2018) Authors: BONIFATI, ANGELA; DUMBRAVA, STEFANIA; ARIAS, EMILIO JESÚS GALLEGO Editors: Dal Palu, Alessandro; Tarau, Paul Journal: Theory and practice of logic programming Issue: Volume 18:Issue 3/4(2018) Page Start: 372 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗