241. On relation between constraint answer set programming and satisfiability modulo theories*. Issue 4 (28th June 2017) Authors: LIERLER, YULIYA; SUSMAN, BENJAMIN Journal: Theory and practice of logic programming Issue: Volume 17:Issue 4(2017) Page Start: 559 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
242. On Signings and the Well-Founded Semantics. Issue 1 (20th January 2022) Authors: MAHER, MICHAEL J. Journal: Theory and practice of logic programming Issue: Volume 22:Issue 1(2022) Page Start: 115 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
243. On Termination, Confluence and Consistent CHR-based Type Inference. Issue 4 (21st July 2014) Authors: DUCK, GREGORY J.; HAEMMERLÉ, RÉMY; SULZMANN, MARTIN; Leuschel, Michael; Schrijvers, Tom Journal: Theory and practice of logic programming Issue: Volume 14:Issue 4/5(2014) Page Start: 619 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
244. On the Equivalence Between Abstract Dialectical Frameworks and Logic Programs. Issue 5 (September 2019) Authors: ALCÂNTARA, JOÃO; SÁ, SAMY; ACOSTA-GUADARRAMA, JUAN Journal: Theory and practice of logic programming Issue: Volume 19:Issue 5/6(2019) Page Start: 941 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
245. On the Implementation of an Or-Parallel Prolog System for Clusters of Multicores. Issue 5 (14th October 2016) Authors: SANTOS, JÕAO; ROCHA, RICARDO Editors: Carro, Manuel; King, Andy Journal: Theory and practice of logic programming Issue: Volume 16:Issue 5/6(2016) Page Start: 899 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
246. On the Semantics of Abstract Argumentation Frameworks: A Logic Programming Approach. Issue 5 (September 2020) Authors: Alfano, Gianvincenzo; Greco, Sergio; Parisi, Francesco; Trubitsyna, Irina Journal: Theory and practice of logic programming Issue: Volume 20:Issue 5(2020) Page Start: 703 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
247. On Uniform Equivalence of Epistemic Logic Programs. Issue 5 (September 2019) Authors: FABER, WOLFGANG; MORAK, MICHAEL; WOLTRAN, STEFAN Journal: Theory and practice of logic programming Issue: Volume 19:Issue 5/6(2019) Page Start: 826 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
248. Online Event Recognition from Moving Vehicles: Application Paper. Issue 5 (September 2019) Authors: TSILIONIS, EFTHIMIS; KOUTROUMANIS, NIKOLAOS; NIKITOPOULOS, PANAGIOTIS; DOULKERIDIS, CHRISTOS; ARTIKIS, ALEXANDER Journal: Theory and practice of logic programming Issue: Volume 19:Issue 5/6(2019) Page Start: 841 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
249. Online learning of event definitions. Issue 5 (14th October 2016) Authors: KATZOURIS, NIKOS; ARTIKIS, ALEXANDER; PALIOURAS, GEORGIOS Editors: Carro, Manuel; King, Andy Journal: Theory and practice of logic programming Issue: Volume 16:Issue 5/6(2016) Page Start: 817 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
250. OnlineSPARC: A Programming Environment for Answer Set Programming. Issue 2 (14th November 2018) Authors: MARCOPOULOS, ELIAS; ZHANG, YUANLIN Editors: Schulz, Claudia; Ellmauthaler, Stefan Journal: Theory and practice of logic programming Issue: Volume 19:Issue 2(2019) Page Start: 262 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗