81. CASP solutions for planning in hybrid domains. Issue 4 (4th July 2017) Authors: BALDUCCINI, MARCELLO; MAGAZZENI, DANIELE; MARATEA, MARCO; LEBLANC, EMILY C. Journal: Theory and practice of logic programming Issue: Volume 17:Issue 4(2017) Page Start: 591 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
82. Causal Graph Justifications of Logic Programs*. Issue 4 (21st July 2014) Authors: CABALAR, PEDRO; FANDINNO, JORGE; FINK, MICHAEL; Leuschel, Michael; Schrijvers, Tom Journal: Theory and practice of logic programming Issue: Volume 14:Issue 4/5(2014) Page Start: 603 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
83. Cautious reasoning in ASP via minimal models and unsatisfiable cores. Issue 3 (10th August 2018) Authors: ALVIANO, MARIO; DODARO, CARMINE; JÄRVISALO, MATTI; MARATEA, MARCO; PREVITI, ALESSANDRO Editors: Dal Palu, Alessandro; Tarau, Paul Journal: Theory and practice of logic programming Issue: Volume 18:Issue 3/4(2018) Page Start: 319 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
84. Certified Graph View Maintenance with Regular Datalog. Issue 3 (10th August 2018) Authors: BONIFATI, ANGELA; DUMBRAVA, STEFANIA; ARIAS, EMILIO JESÚS GALLEGO Editors: Dal Palu, Alessandro; Tarau, Paul Journal: Theory and practice of logic programming Issue: Volume 18:Issue 3/4(2018) Page Start: 372 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
85. Characterization of logic program revision as an extension of propositional revision*. Issue 1 (13th August 2015) Authors: SCHWIND, NICOLAS; INOUE, KATSUMI Journal: Theory and practice of logic programming Issue: Volume 16:Issue 1(2016) Page Start: 111 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
86. Characterizing and extending answer set semantics using possibility theory. Issue 1 (January 2015) Authors: BAUTERS, KIM; SCHOCKAERT, STEVEN; DE COCK, MARTINE; VERMEIR, DIRK Journal: Theory and practice of logic programming Issue: Volume 15:Issue 1(2015) Page Start: 79 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
87. Characterizing Boundedness in Chase Variants. Issue 1 (4th January 2021) Authors: DELIVORIAS, STATHIS; LECLÈRE, MICHEL; MUGNIER, MARIE-LAURE; ULLIANA, FEDERICO Journal: Theory and practice of logic programming Issue: Volume 21:Issue 1(2021) Page Start: 51 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
88. Checking termination of bottom-up evaluation of logic programs with function symbols*. Issue 6 (November 2015) Authors: CALAUTTI, MARCO; GRECO, SERGIO; SPEZZANO, FRANCESCA; TRUBITSYNA, IRINA Journal: Theory and practice of logic programming Issue: Volume 15:Issue 6(2015) Page Start: 854 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
89. Claspfolio 2: Advances in Algorithm Selection for Answer Set Programming. Issue 4 (21st July 2014) Authors: HOOS, HOLGER; LINDAUER, MARIUS; SCHAUB, TORSTEN; Leuschel, Michael; Schrijvers, Tom Journal: Theory and practice of logic programming Issue: Volume 14:Issue 4/5(2014) Page Start: 569 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
90. Clingcon: The next generation*. Issue 4 (28th June 2017) Authors: BANBARA, MUTSUNORI; KAUFMANN, BENJAMIN; OSTROWSKI, MAX; SCHAUB, TORSTEN Journal: Theory and practice of logic programming Issue: Volume 17:Issue 4(2017) Page Start: 408 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗