1. 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) ↗
2. 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) ↗
3. 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) ↗
4. 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) ↗
5. 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) ↗
6. 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) ↗
7. 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) ↗
8. Constraint Answer Set Programming without Grounding. Issue 3 (10th August 2018) Authors: ARIAS, JOAQUIN; CARRO, MANUEL; SALAZAR, ELMER; MARPLE, KYLE; GUPTA, GOPAL Editors: Dal Palu, Alessandro; Tarau, Paul Journal: Theory and practice of logic programming Issue: Volume 18:Issue 3/4(2018) Page Start: 337 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Constraint-Based Inference in Probabilistic Logic Programs. Issue 3 (10th August 2018) Authors: NAMPALLY, ARUN; ZHANG, TIMOTHY; RAMAKRISHNAN, C. R. Editors: Dal Palu, Alessandro; Tarau, Paul Journal: Theory and practice of logic programming Issue: Volume 18:Issue 3/4(2018) Page Start: 638 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Experimenting with robotic intra-logistics domains. Issue 3 (10th August 2018) Authors: GEBSER, MARTIN; OBERMEIER, PHILIPP; OTTO, THOMAS; SCHAUB, TORSTEN; SABUNCU, ORKUNT; NGUYEN, VAN; SON, TRAN CAO Editors: Dal Palu, Alessandro; Tarau, Paul Journal: Theory and practice of logic programming Issue: Volume 18:Issue 3/4(2018) Page Start: 502 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗