171. In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming. Issue 1 (25th February 2019) Authors: BRY, FRANÇOIS Journal: Theory and practice of logic programming Issue: Volume 20:Issue 1(2020) Page Start: 99 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
172. Inconsistency Proofs for ASP: The ASP - DRUPE Format. Issue 5 (September 2019) Authors: ALVIANO, MARIO; DODARO, CARMINE; FICHTE, JOHANNES K.; HECHER, MARKUS; PHILIPP, TOBIAS; RATH, JAKOB Journal: Theory and practice of logic programming Issue: Volume 19:Issue 5/6(2019) Page Start: 891 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
173. Incremental and Iterative Learning of Answer Set Programs from Mutually Distinct Examples. Issue 3 (10th August 2018) Authors: MITRA, ARINDAM; BARAL, CHITTA Editors: Dal Palu, Alessandro; Tarau, Paul Journal: Theory and practice of logic programming Issue: Volume 18:Issue 3/4(2018) Page Start: 623 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
174. Incremental and Modular Context-sensitive Analysis. Issue 2 (19th March 2021) Authors: GARCIA-CONTRERAS, ISABEL; MORALES, JOSÉ F.; HERMENEGILDO, MANUEL V. Journal: Theory and practice of logic programming Issue: Volume 21:Issue 2(2021) Page Start: 196 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
175. Incremental Answer Set Programming with Overgrounding. Issue 5 (September 2019) Authors: CALIMERI, FRANCESCO; IANNI, GIOVAMBATTISTA; PACENZA, FRANCESCO; PERRI, SIMONA; ZANGARI, JESSICA Journal: Theory and practice of logic programming Issue: Volume 19:Issue 5/6(2019) Page Start: 957 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
176. Incremental maintenance of overgrounded logic programs with tailored simplifications. Issue 5 (September 2020) Authors: Ianni, Giovambattista; Pacenza, Francesco; Zangari, Jessica Journal: Theory and practice of logic programming Issue: Volume 20:Issue 5(2020) Page Start: 719 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
177. Incremental Tabling in Support of Knowledge Representation and Reasoning. Issue 4 (21st July 2014) Authors: SWIFT, TERRANCE; Leuschel, Michael; Schrijvers, Tom Journal: Theory and practice of logic programming Issue: Volume 14:Issue 4/5(2014) Page Start: 553 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
178. Inference and learning in probabilistic logic programs using weighted Boolean formulas. Issue 3 (15th April 2014) Authors: FIERENS, DAAN; VAN DEN BROECK, GUY; RENKENS, JORIS; SHTERIONOV, DIMITAR; GUTMANN, BERND; THON, INGO; JANSSENS, GERDA; DE RAEDT, LUC Journal: Theory and practice of logic programming Issue: Volume 15:Issue 3(2015) Page Start: 358 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
179. Infinite probability computation by cyclic explanation graphs. Issue 6 (November 2014) Authors: SATO, TAISUKE; MEYER, PHILIPP Journal: Theory and practice of logic programming Issue: Volume 14:Issue 6(2014) Page Start: 909 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
180. Inlining External Sources in Answer Set Programs. Issue 3 (11th February 2019) Authors: REDL, CHRISTOPH Journal: Theory and practice of logic programming Issue: Volume 19:Issue 3(2019) Page Start: 360 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗