121. Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming. Issue 5 (27th September 2021) Authors: FABER, WOLFGANG; MORAK, MICHAEL; CHRPA, LUKÁŠ Journal: Theory and practice of logic programming Issue: Volume 21:Issue 5(2021) Page Start: 646 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
122. Disjunctive answer set solvers via templates. Issue 4 (17th December 2015) Authors: BROCHENIN, REMI; MARATEA, MARCO; LIERLER, YULIYA Journal: Theory and practice of logic programming Issue: Volume 16:Issue 4(2016) Page Start: 465 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
123. Domain-Independent Cost-Optimal Planning in ASP. Issue 5 (September 2019) Authors: SPIES, DAVID; YOU, JIA-HUAI; HAYWARD, RYAN Journal: Theory and practice of logic programming Issue: Volume 19:Issue 5/6(2019) Page Start: 1124 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
124. Dual-normal logic programs – the forgotten class. Issue 4 (3rd September 2015) Authors: FICHTE, JOHANNES K.; TRUSZCZYŃSKI, MIROSŁAW; WOLTRAN, STEFAN Editors: Eiter, Thomas; Toni, Francesca Journal: Theory and practice of logic programming Issue: Volume 15:Issue 4/5(2015) Page Start: 495 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
125. Dynamic Consistency Checking in Goal-Directed Answer Set Programming. Issue 4 (21st July 2014) Authors: MARPLE, KYLE; GUPTA, GOPAL; Leuschel, Michael; Schrijvers, Tom Journal: Theory and practice of logic programming Issue: Volume 14:Issue 4/5(2014) Page Start: 415 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
126. Eclingo : A Solver for Epistemic Logic Programs. Issue 6 (November 2020) Authors: Cabalar, Pedro; Fandinno, Jorge; Garea, Javier; Romero, Javier; Schaub, Torsten Journal: Theory and practice of logic programming Issue: Volume 20:Issue 6(2020) Page Start: 834 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
127. Editorial: 29th International conference on logic programming special issue – ADDENDUM. Issue 1 (10th August 2017) Authors: LAMMA, EVELINA; SWIFT, TERRANCE Journal: Theory and practice of logic programming Issue: Volume 18:Issue 1(2018) Page Start: 121 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
128. Efficient algebraic effect handlers for Prolog. Issue 5 (14th October 2016) Authors: SALEH, AMR HANY; SCHRIJVERS, TOM Editors: Carro, Manuel; King, Andy Journal: Theory and practice of logic programming Issue: Volume 16:Issue 5/6(2016) Page Start: 884 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
129. Efficient Computation of the Well-Founded Semantics over Big Data. Issue 4 (21st July 2014) Authors: TACHMAZIDIS, ILIAS; ANTONIOU, GRIGORIS; FABER, WOLFGANG; Leuschel, Michael; Schrijvers, Tom Journal: Theory and practice of logic programming Issue: Volume 14:Issue 4/5(2014) Page Start: 445 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
130. Efficient Knowledge Compilation Beyond Weighted Model Counting. Issue 4 (3rd July 2022) Authors: KIESEL, RAFAEL; TOTIS, PIETRO; KIMMIG, ANGELIKA Journal: Theory and practice of logic programming Issue: Volume 22:Issue 4(2022) Page Start: 505 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗