1. An event calculus production rule system for reasoning in dynamic and uncertain domains. Issue 3 (7th March 2016) Authors: PATKOS, THEODORE; PLEXOUSAKIS, DIMITRIS; CHIBANI, ABDELGHANI; AMIRAT, YACINE Journal: Theory and practice of logic programming Issue: Volume 16:Issue 3(2016) Page Start: 325 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. The rationale behind the concept of goal. Issue 3 (31st March 2016) Authors: GOVERNATORI, GUIDO; OLIVIERI, FRANCESCO; SCANNAPIECO, SIMONE; ROTOLO, ANTONINO; CRISTANI, MATTEO Journal: Theory and practice of logic programming Issue: Volume 16:Issue 3(2016) Page Start: 296 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Solving stable matching problems using answer set programming. Issue 3 (7th March 2016) Authors: DE CLERCQ, SOFIE; SCHOCKAERT, STEVEN; DE COCK, MARTINE; NOWE, ANN Journal: Theory and practice of logic programming Issue: Volume 16:Issue 3(2016) Page Start: 247 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Introduction to the special issue on the International Web Rule Symposia 2012–2014. Issue 3 (7th March 2016) Authors: BIKAKIS, ANTONIS; FODOR, PAUL; GIURCA, ADRIAN; MORGENSTERN, LEORA Journal: Theory and practice of logic programming Issue: Volume 16:Issue 3(2016) Page Start: 243 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Using linear constraints for logic program termination analysis. Issue 3 (31st March 2016) Authors: CALAUTTI, MARCO; GRECO, SERGIO; MOLINARO, CRISTIAN; TRUBITSYNA, IRINA Journal: Theory and practice of logic programming Issue: Volume 16:Issue 3(2016) Page Start: 353 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Programming in logic without logic programming. Issue 3 (16th March 2016) Authors: KOWALSKI, ROBERT; SADRI, FARIBA Journal: Theory and practice of logic programming Issue: Volume 16:Issue 3(2016) Page Start: 269 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Hybrid ASP-based Approach to Pattern Mining. Issue 4 (18th January 2019) Authors: PARAMONOV, SERGEY; STEPANOVA, DARIA; MIETTINEN, PAULI Journal: Theory and practice of logic programming Issue: Volume 19:Issue 4(2019) Page Start: 505 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Property-Based Testing for Spark Streaming. Issue 4 (19th February 2019) Authors: RIESCO, A.; RODRÍGUEZ-HORTALÁ, J. Journal: Theory and practice of logic programming Issue: Volume 19:Issue 4(2019) Page Start: 574 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Optimizing Answer Set Computation via Heuristic-Based Decomposition. Issue 4 (28th February 2019) Authors: CALIMERI, FRANCESCO; PERRI, SIMONA; ZANGARI, JESSICA Journal: Theory and practice of logic programming Issue: Volume 19:Issue 4(2019) Page Start: 603 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge. Issue 4 (18th January 2019) Authors: CALVANESE, DIEGO; MONTALI, MARCO; DUMAS, MARLON; MAGGI, FABRIZIO M. Journal: Theory and practice of logic programming Issue: Volume 19:Issue 4(2019) Page Start: 536 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗