91. Clingo goes linear constraints over reals and integers*. Issue 5 (11th September 2017) Authors: JANHUNEN, TOMI; KAMINSKI, ROLAND; OSTROWSKI, MAX; SCHELLHORN, SEBASTIAN; WANKO, PHILIPP; SCHAUB, TORSTEN Editors: Rocha, Ricardo; Cao Son, Tran Journal: Theory and practice of logic programming Issue: Volume 17:Issue 5/6(2017) Page Start: 872 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
92. CLP(H): Constraint logic programming for hedges*. Issue 2 (16th April 2015) Authors: DUNDUA, BESIK; FLORIDO, MÁRIO; KUTSIA, TEMUR; MARIN, MIRCEA Journal: Theory and practice of logic programming Issue: Volume 16:Issue 2(2016) Page Start: 141 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
93. Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper). Issue 5 (14th October 2016) Authors: DODARO, CARMINE; GASTEIGER, PHILIP; LEONE, NICOLA; MUSITSCH, BENJAMIN; RICCA, FRANCESCO; SHCHEKOTYKHIN, KOSTYANTYN Editors: Carro, Manuel; King, Andy Journal: Theory and practice of logic programming Issue: Volume 16:Issue 5/6(2016) Page Start: 653 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
94. Combining decidability paradigms for existential rules. Theory and Practice of Logic Programming - CORRIGENDUM. Issue 1 (16th March 2015) Authors: GOTTLOB, GEORG; MANNA, MARCO; PIERIS, ANDREAS Journal: Theory and practice of logic programming Issue: Volume 16:Issue 1(2016) Page Start: 139 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
95. Completing the Picture: Complexity of Graded Modal Logics with Converse. Issue 4 (27th July 2021) Authors: BEDNARCZYK, BARTOSZ; KIEROŃSKI, EMANUEL; WITKOWSKI, PIOTR Journal: Theory and practice of logic programming Issue: Volume 21:Issue 4(2021) Page Start: 493 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
96. Complexity and compilation of GZ-aggregates in answer set programming. Issue 4 (3rd September 2015) Authors: ALVIANO, MARIO; LEONE, NICOLA Editors: Eiter, Thomas; Toni, Francesca Journal: Theory and practice of logic programming Issue: Volume 15:Issue 4/5(2015) Page Start: 574 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
97. Complexity of super-coherence problems in ASP*. Issue 3 (May 2014) Authors: ALVIANO, MARIO; FABER, WOLFGANG; WOLTRAN, STEFAN Journal: Theory and practice of logic programming Issue: Volume 14:Issue 3(2014) Page Start: 339 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
98. Compositional Specification in Rewriting Logic. Issue 1 (9th October 2019) Authors: MARTÍN, ÓSCAR; VERDEJO, ALBERTO; MARTÍ-OLIET, NARCISO Journal: Theory and practice of logic programming Issue: Volume 20:Issue 1(2020) Page Start: 44 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
99. Computing LPMLN using ASP and MLN solvers*. Issue 5 (30th August 2017) Authors: LEE, JOOHYUNG; TALSANIA, SAMIDH; WANG, YI Editors: Rocha, Ricardo; Cao Son, Tran Journal: Theory and practice of logic programming Issue: Volume 17:Issue 5/6(2017) Page Start: 942 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
100. Concolic Testing in CLP. Issue 5 (September 2020) Authors: MESNARD, FRED; PAYET, ÉTIENNE; VIDAL, GERMÁN Journal: Theory and practice of logic programming Issue: Volume 20:Issue 5(2020) Page Start: 671 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗