61. Anytime Computation of Cautious Consequences in Answer Set Programming. Issue 4 (21st July 2014) Authors: ALVIANO, MARIO; DODARO, CARMINE; RICCA, FRANCESCO; Leuschel, Michael; Schrijvers, Tom Journal: Theory and practice of logic programming Issue: Volume 14:Issue 4/5(2014) Page Start: 755 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
62. Applying Constraint Logic Programming to SQL Semantic Analysis. Issue 5 (September 2019) Authors: SÁENZ-PÉREZ, FERNANDO Journal: Theory and practice of logic programming Issue: Volume 19:Issue 5/6(2019) Page Start: 808 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
63. Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs. Issue 3 (10th August 2018) Authors: CHARALAMBIDIS, ANGELOS; RONDOGIANNIS, PANOS; SYMEONIDOU, IOANNA Editors: Dal Palu, Alessandro; Tarau, Paul Journal: Theory and practice of logic programming Issue: Volume 18:Issue 3/4(2018) Page Start: 421 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
64. ASP ($\mathcal A \mathcal C$): Answer Set Programming with Algebraic Constraints. Issue 6 (November 2020) Authors: EITER, THOMAS; KIESEL, RAFAEL Journal: Theory and practice of logic programming Issue: Volume 20:Issue 6(2020) Page Start: 895 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
65. ASP for minimal entailment in a rational extension of SROEL. Issue 5 (14th October 2016) Authors: GIORDANO, LAURA; DUPRÉ, DANIELE THESEIDER Editors: Carro, Manuel; King, Andy Journal: Theory and practice of logic programming Issue: Volume 16:Issue 5/6(2016) Page Start: 738 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
66. ASP-Core-2 Input Language Format. Issue 2 (20th March 2020) Authors: CALIMERI, FRANCESCO; FABER, WOLFGANG; GEBSER, MARTIN; IANNI, GIOVAMBATTISTA; KAMINSKI, ROLAND; KRENNWALLNER, THOMAS; LEONE, NICOLA; MARATEA, MARCO; RICCA, FRANCESCO; SCHAUB, TORSTEN Journal: Theory and practice of logic programming Issue: Volume 20:Issue 2(2020) Page Start: 294 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
67. Aspeed: Solver scheduling via answer set programming1. Issue 1 (January 2015) Authors: HOOS, HOLGER; KAMINSKI, ROLAND; LINDAUER, MARIUS; SCHAUB, TORSTEN Journal: Theory and practice of logic programming Issue: Volume 15:Issue 1(2015) Page Start: 117 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
68. ASPeRiX, a first-order forward chaining approach for answer set computing*. Issue 3 (16th January 2017) Authors: LEFÈVRE, CLAIRE; BÉATRIX, CHRISTOPHER; STÉPHAN, IGOR; GARCIA, LAURENT Journal: Theory and practice of logic programming Issue: Volume 17:Issue 3(2017) Page Start: 266 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
69. Assertion-based analysis via slicing with ABETS* (system description). Issue 5 (14th October 2016) Authors: ALPUENTE, M.; FRECHINA, F.; SAPIÑA, J.; BALLIS, D. Editors: Carro, Manuel; King, Andy Journal: Theory and practice of logic programming Issue: Volume 16:Issue 5/6(2016) Page Start: 515 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
70. Backjumping is Exception Handling. Issue 2 (16th March 2021) Authors: ROBBINS, ED; KING, ANDY; HOWE, JACOB M. Journal: Theory and practice of logic programming Issue: Volume 21:Issue 2(2021) Page Start: 125 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗