671. 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) ↗
672. 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) ↗
673. Solovay functions and paradoxes. (24th March 2021) Authors: Hsiung, Ming Journal: Journal of logic and computation Issue: Volume 31:Number 8(2021) Page Start: 2107 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
674. 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) ↗
675. 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) ↗
676. 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) ↗
677. 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) ↗
678. Solving Horn Clauses on Inductive Data Types Without Induction. Issue 3 (10th August 2018) Authors: DE ANGELIS, EMANUELE; FIORAVANTI, FABIO; PETTOROSSI, ALBERTO; PROIETTI, MAURIZIO Editors: Dal Palu, Alessandro; Tarau, Paul Journal: Theory and practice of logic programming Issue: Volume 18:Issue 3/4(2018) Page Start: 452 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
679. 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) ↗
680. Some results on relation algebra reducts: Residuated and semilattice-ordered semigroups. (7th November 2022) Authors: Rogozin, Daniel Journal: Journal of logic and computation Issue: Volume 32:Number 8(2022) Page Start: 1839 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗