151. FOLASP: FO(·) as Input Language for Answer Set Solvers. Issue 6 (November 2021) Authors: VAN DESSEL, KYLIAN; DEVRIENDT, JO; VENNEKENS, JOOST Journal: Theory and practice of logic programming Issue: Volume 21:Issue 6(2021) Page Start: 785 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
152. FOLD-RM: A Scalable, Efficient, and Explainable Inductive Learning Algorithm for Multi-Category Classification of Mixed Data. Issue 5 (1st September 2022) Authors: WANG, HUADUO; SHAKERIN, FARHAD; GUPTA, GOPAL Journal: Theory and practice of logic programming Issue: Volume 22:Issue 5(2022) Page Start: 658 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
153. Founded (Auto)Epistemic Equilibrium Logic Satisfies Epistemic Splitting. Issue 5 (September 2019) Authors: FANDINNO, JORGE Journal: Theory and practice of logic programming Issue: Volume 19:Issue 5/6(2019) Page Start: 671 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
154. From Logic to Functional Logic Programs. Issue 4 (4th July 2022) Authors: HANUS, MICHAEL Journal: Theory and practice of logic programming Issue: Volume 22:Issue 4(2022) Page Start: 538 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
155. Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates. Issue 3 (10th August 2018) Authors: CABALAR, PEDRO; FANDINNO, JORGE; FARIÑAS DEL CERRO, LUIS; PEARCE, DAVID Editors: Dal Palu, Alessandro; Tarau, Paul Journal: Theory and practice of logic programming Issue: Volume 18:Issue 3/4(2018) Page Start: 390 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
156. Fuzzy answer set computation via satisfiability modulo theories. Issue 4 (3rd September 2015) Authors: ALVIANO, MARIO; PEÑALOZA, RAFAEL Editors: Eiter, Thomas; Toni, Francesca Journal: Theory and practice of logic programming Issue: Volume 15:Issue 4/5(2015) Page Start: 588 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
157. GEM: A distributed goal evaluation algorithm for trust management. Issue 3 (May 2014) Authors: TRIVELLATO, DANIEL; ZANNONE, NICOLA; ETALLE, SANDRO Journal: Theory and practice of logic programming Issue: Volume 14:Issue 3(2014) Page Start: 293 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
158. Generating explanations for biomedical queries. Issue 1 (January 2015) Authors: ERDEM, ESRA; OZTOK, UMUT Journal: Theory and practice of logic programming Issue: Volume 15:Issue 1(2015) Page Start: 35 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
159. Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation. Issue 6 (November 2021) Authors: LEHTONEN, TUOMO; WALLNER, JOHANNES P.; JӒRVISALO, MATTI Journal: Theory and practice of logic programming Issue: Volume 21:Issue 6(2021) Page Start: 717 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
160. Here and There with Arithmetic. Issue 6 (23rd November 2021) Authors: LIFSCHITZ, VLADIMIR Journal: Theory and practice of logic programming Issue: Volume 21:Issue 6(2021) Page Start: 735 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗