161. Horn clauses as an intermediate representation for program analysis and transformation*. Issue 4 (3rd September 2015) Authors: GANGE, GRAEME; NAVAS, JORGE A.; SCHACHTE, PETER; SØNDERGAARD, HARALD; STUCKEY, PETER J. Editors: Eiter, Thomas; Toni, Francesca Journal: Theory and practice of logic programming Issue: Volume 15:Issue 4/5(2015) Page Start: 526 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
162. Human Robot Collaborative Assembly Planning: An Answer Set Programming Approach. Issue 6 (November 2020) Authors: Rizwan, Momina; Patoglu, Volkan; Erdem, Esra Journal: Theory and practice of logic programming Issue: Volume 20:Issue 6(2020) Page Start: 1006 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
163. Hybrid ASP-based Approach to Pattern Mining. Issue 4 (18th January 2019) Authors: PARAMONOV, SERGEY; STEPANOVA, DARIA; MIETTINEN, PAULI Journal: Theory and practice of logic programming Issue: Volume 19:Issue 4(2019) Page Start: 505 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
164. Hybrid conditional planning using answer set programming. Issue 5 (22nd August 2017) Authors: YALCINER, IBRAHIM FARUK; NOUMAN, AHMED; PATOGLU, VOLKAN; ERDEM, ESRA Editors: Rocha, Ricardo; Cao Son, Tran Journal: Theory and practice of logic programming Issue: Volume 17:Issue 5/6(2017) Page Start: 1027 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
165. Hybrid metabolic network completion. Issue 1 (9th November 2018) Authors: FRIOUX, CLÉMENCE; SCHAUB, TORSTEN; SCHELLHORN, SEBASTIAN; SIEGEL, ANNE; WANKO, PHILIPP Journal: Theory and practice of logic programming Issue: Volume 19:Issue 1(2019) Page Start: 83 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
166. I-DLV-sr: A Stream Reasoning System based on I-DLV. Issue 5 (23rd September 2021) Authors: CALIMERI, FRANCESCO; MANNA, MARCO; MASTRIA, ELENA; MORELLI, MARIA CONCETTA; PERRI, SIMONA; ZANGARI, JESSICA Journal: Theory and practice of logic programming Issue: Volume 21:Issue 5(2021) Page Start: 610 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
167. Implementing a Library for Probabilistic Programming Using Non-strict Non-determinism. Issue 1 (2nd July 2019) Authors: DYLUS, SANDRA; CHRISTIANSEN, JAN; TEEGEN, FINN Journal: Theory and practice of logic programming Issue: Volume 20:Issue 1(2020) Page Start: 147 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
168. Implementing WordNet Measures of Lexical Semantic Similarity in a Fuzzy Logic Programming System. Issue 2 (3rd March 2021) Authors: JULIÁN-IRANZO, PASCUAL; SÁENZ-PÉREZ, FERNANDO Journal: Theory and practice of logic programming Issue: Volume 21:Issue 2(2021) Page Start: 264 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
169. Improved answer-set programming encodings for abstract argumentation. Issue 4 (3rd September 2015) Authors: GAGGL, SARAH A.; MANTHEY, NORBERT; RONCA, ALESSANDRO; WALLNER, JOHANNES P.; WOLTRAN, STEFAN Editors: Eiter, Thomas; Toni, Francesca Journal: Theory and practice of logic programming Issue: Volume 15:Issue 4/5(2015) Page Start: 434 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
170. Improving adherence to heart failure management guidelines via abductive reasoning*. Issue 5 (23rd August 2017) Authors: CHEN, ZHUO; SALAZAR, ELMER; MARPLE, KYLE; GUPTA, GOPAL; TAMIL, LAKSHMAN; CHEERAN, DANIEL; DAS, SANDEEP; AMIN, ALPESH Editors: Rocha, Ricardo; Cao Son, Tran Journal: Theory and practice of logic programming Issue: Volume 17:Issue 5/6(2017) Page Start: 764 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗