321. 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) ↗
322. 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) ↗
323. Specifying and Verbalising Answer Set Programs in Controlled Natural Language. Issue 3 (10th August 2018) Authors: SCHWITTER, ROLF Editors: Dal Palu, Alessandro; Tarau, Paul Journal: Theory and practice of logic programming Issue: Volume 18:Issue 3/4(2018) Page Start: 691 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
324. Splitting Epistemic Logic Programs. Issue 3 (5th May 2021) Authors: CABALAR, PEDRO; FANDINNO, JORGE; FARIÑAS DEL CERRO, LUIS Journal: Theory and practice of logic programming Issue: Volume 21:Issue 3(2021) Page Start: 296 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
325. Stable models for infinitary formulas with extensional atoms. Issue 5 (14th October 2016) Authors: HARRISON, AMELIA; LIFSCHITZ, VLADIMIR Editors: Carro, Manuel; King, Andy Journal: Theory and practice of logic programming Issue: Volume 16:Issue 5/6(2016) Page Start: 771 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
326. Stable-unstable semantics: Beyond NP with normal logic programs. Issue 5 (14th October 2016) Authors: BOGAERTS, BART; JANHUNEN, TOMI; TASHARROFI, SHAHAB Editors: Carro, Manuel; King, Andy Journal: Theory and practice of logic programming Issue: Volume 16:Issue 5/6(2016) Page Start: 570 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
327. Stepwise debugging of answer-set programs*. Issue 1 (17th October 2017) Authors: OETSCH, JOHANNES; PÜHRER, JÖRG; TOMPITS, HANS Journal: Theory and practice of logic programming Issue: Volume 18:Issue 1(2018) Page Start: 30 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
328. Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective. Issue 5 (1st September 2022) Authors: CHARALAMBIDIS, ANGELOS; NOMIKOS, CHRISTOS; RONDOGIANNIS, PANOS Journal: Theory and practice of logic programming Issue: Volume 22:Issue 5(2022) Page Start: 708 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
329. Structure learning of probabilistic logic programs by searching the clause space. Issue 2 (March 2015) Authors: BELLODI, ELENA; RIGUZZI, FABRIZIO Journal: Theory and practice of logic programming Issue: Volume 15:Issue 2(2015) Page Start: 169 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
330. SUNNY-CP and the MiniZinc challenge*. Issue 1 (10th August 2017) Authors: AMADINI, ROBERTO; GABBRIELLI, MAURIZIO; MAURO, JACOPO Journal: Theory and practice of logic programming Issue: Volume 18:Issue 1(2018) Page Start: 81 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗