311. 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) ↗
312. Semantics of templates in a compositional framework for building logics. Issue 4 (3rd September 2015) Authors: DASSEVILLE, INGMAR; VAN DER HALLEN, MATTHIAS; JANSSENS, GERDA; DENECKER, MARC Editors: Eiter, Thomas; Toni, Francesca Journal: Theory and practice of logic programming Issue: Volume 15:Issue 4/5(2015) Page Start: 681 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
313. Shape Neutral Analysis of Graph-based Data-structures. Issue 3 (10th August 2018) Authors: DUCK, GREGORY J.; JAFFAR, JOXAN; YAP, ROLAND H. C. Editors: Dal Palu, Alessandro; Tarau, Paul Journal: Theory and practice of logic programming Issue: Volume 18:Issue 3/4(2018) Page Start: 470 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
314. Shared aggregate sets in answer set programming. Issue 3 (10th August 2018) Authors: ALVIANO, MARIO; DODARO, CARMINE; MARATEA, MARCO Editors: Dal Palu, Alessandro; Tarau, Paul Journal: Theory and practice of logic programming Issue: Volume 18:Issue 3/4(2018) Page Start: 301 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
315. Simulating Dynamic Systems Using Linear Time Calculus Theories. Issue 4 (21st July 2014) Authors: BOGAERTS, BART; JANSEN, JOACHIM; BRUYNOOGHE, MAURICE; DE CAT, BROES; VENNEKENS, JOOST; DENECKER, MARC; Leuschel, Michael; Schrijvers, Tom Journal: Theory and practice of logic programming Issue: Volume 14:Issue 4/5(2014) Page Start: 477 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
316. Singular and plural functions for functional logic programming. Issue 1 (17th May 2012) Authors: RIESCO, ADRIÁN; RODRÍGUEZ-HORTALÁ, JUAN Journal: Theory and practice of logic programming Issue: Volume 14:Issue 1(2014) Page Start: 65 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
317. Solution Enumeration by Optimality in Answer Set Programming. Issue 6 (10th November 2021) Authors: PAJUNEN, JUKKA; JANHUNEN, TOMI Journal: Theory and practice of logic programming Issue: Volume 21:Issue 6(2021) Page Start: 750 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
318. Solving Advanced Argumentation Problems with Answer Set Programming. Issue 3 (15th May 2020) Authors: BREWKA, GERHARD; DILLER, MARTIN; HEISSENBERGER, GEORG; LINSBICHLER, THOMAS; WOLTRAN, STEFAN Journal: Theory and practice of logic programming Issue: Volume 20:Issue 3(2020) Page Start: 391 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
319. Solving distributed constraint optimization problems using logic programming*†. Issue 4 (27th June 2017) Authors: LE, TIEP; SON, TRAN CAO; PONTELLI, ENRICO; YEOH, WILLIAM Journal: Theory and practice of logic programming Issue: Volume 17:Issue 4(2017) Page Start: 634 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
320. Solving Horn Clauses on Inductive Data Types Without Induction – ERRATUM. Issue 4 (27th May 2019) Authors: DE ANGELIS, EMANUELE; FIORAVANTI, FABIO; PETTOROSSI, ALBERTO; PROIETTI, MAURIZIO Journal: Theory and practice of logic programming Issue: Volume 19:Issue 4(2019) Page Start: 629 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗