291. Random logic programs: Linear model. Issue 6 (November 2015) Authors: WANG, KEWEN; WEN, LIAN; MU, KEDIAN Journal: Theory and practice of logic programming Issue: Volume 15:Issue 6(2015) Page Start: 818 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
292. Range-based argumentation semantics as two-valued models. Issue 1 (3rd May 2016) Authors: OSORIO, MAURICIO; NIEVES, JUAN CARLOS Journal: Theory and practice of logic programming Issue: Volume 17:Issue 1(2017) Page Start: 75 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
293. Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming. Issue 6 (November 2020) Authors: Izmirlioglu, Yusuf; Erdem, Esra Journal: Theory and practice of logic programming Issue: Volume 20:Issue 6(2020) Page Start: 942 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
294. Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures. Issue 5 (September 2021) Authors: BOZZATO, LORIS; EITER, THOMAS; KIESEL, RAFAEL Journal: Theory and practice of logic programming Issue: Volume 21:Issue 5(2021) Page Start: 593 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
295. Reasoning on with Defeasibility in ASP. Issue 2 (3rd March 2022) Authors: BOZZATO, LORIS; EITER, THOMAS; SERAFINI, LUCIANO Journal: Theory and practice of logic programming Issue: Volume 22:Issue 2(2022) Page Start: 254 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
296. Redundant Sudoku rules. Issue 3 (May 2014) Authors: DEMOEN, BART; GARCIA DE LA BANDA, MARIA Journal: Theory and practice of logic programming Issue: Volume 14:Issue 3(2014) Page Start: 363 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
297. Refactoring the Whitby Intelligent Tutoring System for Clean Architecture. Issue 6 (November 2021) Authors: BROWN, PAUL S.; DIMITROVA, VANIA; HART, GLEN; COHN, ANTHONY G.; MOURA, PAULO Journal: Theory and practice of logic programming Issue: Volume 21:Issue 6(2021) Page Start: 818 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
298. Relating Two Dialects of Answer Set Programming. Issue 5 (September 2019) Authors: HARRISON, AMELIA; LIFSCHITZ, VLADIMIR Journal: Theory and practice of logic programming Issue: Volume 19:Issue 5/6(2019) Page Start: 1006 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
299. Representing hybrid automata by action language modulo theories*. Issue 5 (23rd August 2017) Authors: LEE, JOOHYUNG; LONEY, NIKHIL; MENG, YUNSONG Editors: Rocha, Ricardo; Cao Son, Tran Journal: Theory and practice of logic programming Issue: Volume 17:Issue 5/6(2017) Page Start: 924 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
300. Resource Analysis driven by (Conditional) Termination Proofs. Issue 5 (September 2019) Authors: ALBERT, ELVIRA; BOFILL, MIQUEL; BORRALLERAS, CRISTINA; MARTIN-MARTIN, ENRIQUE; RUBIO, ALBERT Journal: Theory and practice of logic programming Issue: Volume 19:Issue 5/6(2019) Page Start: 722 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗