381. Top-down and Bottom-up Evaluation Procedurally Integrated. Issue 3 (10th August 2018) Authors: WARREN, DAVID S. Editors: Dal Palu, Alessandro; Tarau, Paul Journal: Theory and practice of logic programming Issue: Volume 18:Issue 3/4(2018) Page Start: 706 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
382. Towards Metric Temporal Answer Set Programming. Issue 5 (September 2020) Authors: CABALAR, PEDRO; DIÉGUEZ, MARTÍN; SCHAUB, TORSTEN; SCHUHMANN, ANNA Journal: Theory and practice of logic programming Issue: Volume 20:Issue 5(2020) Page Start: 783 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
383. Tractable answer-set programming with weight constraints: bounded treewidth is not enough*. Issue 2 (17th July 2012) Authors: PICHLER, REINHARD; RÜMMELE, STEFAN; SZEIDER, STEFAN; WOLTRAN, STEFAN Journal: Theory and practice of logic programming Issue: Volume 14:Issue 2(2014) Page Start: 141 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
384. Train Scheduling with Hybrid Answer Set Programming. Issue 3 (27th May 2021) Authors: ABELS, DIRK; JORDI, JULIAN; OSTROWSKI, MAX; SCHAUB, TORSTEN; TOLETTI, AMBRA; WANKO, PHILIPP Journal: Theory and practice of logic programming Issue: Volume 21:Issue 3(2021) Page Start: 317 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
385. Transformation-Enabled Precondition Inference. Issue 6 (23rd November 2021) Authors: KAFLE, BISHOKSAN; GANGE, GRAEME; STUCKEY, PETER J.; SCHACHTE, PETER; SØNDERGAARD, HARALD Journal: Theory and practice of logic programming Issue: Volume 21:Issue 6(2021) Page Start: 700 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
386. Transforming floundering into success. Issue 2 (30th October 2012) Authors: NAISH, LEE Journal: Theory and practice of logic programming Issue: Volume 14:Issue 2(2014) Page Start: 215 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
387. Translating LPOD and CR-Prolog2 into standard answer set programs. Issue 3 (10th August 2018) Authors: LEE, JOOHYUNG; YANG, ZHUN Editors: Dal Palu, Alessandro; Tarau, Paul Journal: Theory and practice of logic programming Issue: Volume 18:Issue 3/4(2018) Page Start: 589 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
388. Tree dimension in verification of constrained Horn clauses. Issue 2 (11th May 2018) Authors: KAFLE, BISHOKSAN; GALLAGHER, JOHN P.; GANTY, PIERRE Journal: Theory and practice of logic programming Issue: Volume 18:Issue 2(2018) Page Start: 224 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
389. Truth versus information in logic programming. Issue 6 (November 2014) Authors: NAISH, LEE; SØNDERGAARD, HARALD Journal: Theory and practice of logic programming Issue: Volume 14:Issue 6(2014) Page Start: 803 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
390. Unfolding for CHR programs. Issue 3 (8th October 2013) Authors: GABBRIELLI, MAURIZIO; MEO, MARIA CHIARA; TACCHELLA, PAOLO; WIKLICKY, HERBERT Journal: Theory and practice of logic programming Issue: Volume 15:Issue 3(2015) Page Start: 264 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗