1. $\textsf{M}\textsf{T}\textsf{L}$-algebras as rotations of basic hoops. (5th March 2019) Authors: Aglianò, Paolo; Ugolini, Sara Journal: Journal of logic and computation Issue: Volume 29:Number 5(2019) Page Start: 763 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. 3coSoKu and its declarative modeling. (18th January 2022) Authors: Rizzo, Nicola; Dovier, Agostino Journal: Journal of logic and computation Issue: Volume 32:Number 2(2022) Page Start: 307 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. A Case for Stale Synchronous Distributed Model for Declarative Recursive Computation. Issue 5 (September 2019) Authors: DAS, ARIYAM; ZANIOLO, CARLO Journal: Theory and practice of logic programming Issue: Volume 19:Issue 5/6(2019) Page Start: 1056 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. A comparative analysis and improvement of MaxSAT encodings for coalition structure generation under MC-nets. (30th July 2019) Authors: Liao, Xiaojuan; Koshimura, Miyuki Journal: Journal of logic and computation Issue: Volume 29:Number 6(2019) Page Start: 913 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. A Comparative Study of Some Central Notions of ASPIC+ and DeLP. Issue 3 (10th May 2020) Authors: GARCÍA, ALEJANDRO J.; PRAKKEN, HENRY; SIMARI, GUILLERMO R. Journal: Theory and practice of logic programming Issue: Volume 20:Issue 3(2020) Page Start: 358 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. A comprehensive account of the burden of persuasion in abstract argumentation. (27th January 2023) Authors: Kampik, Timotheus; Gabbay, Dov; Sartor, Giovanni Journal: Journal of logic and computation Issue: Volume 33:Number 2(2023) Page Start: 257 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. A concurrent constraint programming interpretation of access permissions. Issue 2 (10th April 2018) Authors: OLARTE, CARLOS; PIMENTEL, ELAINE; RUEDA, CAMILO Journal: Theory and practice of logic programming Issue: Volume 18:Issue 2(2018) Page Start: 252 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps. (17th January 2022) Authors: Giordano, Laura; Gliozzi, Valentina; Theseider DuprÉ, Daniele Journal: Journal of logic and computation Issue: Volume 32:Number 2(2022) Page Start: 178 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. A cut-free labelled sequent calculus for dynamic epistemic logic. (17th February 2020) Authors: Nomura, Shoshin; Ono, Hiroakira; Sano, Katsuhiko Journal: Journal of logic and computation Issue: Volume 30:Number 1(2020) Page Start: 321 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. A datalog-based computational model for coordination-free, data-parallel systems. Issue 5 (5th September 2018) Authors: INTERLANDI, MATTEO; TANCA, LETIZIA Journal: Theory and practice of logic programming Issue: Volume 18:Issue 5/6(2018) Page Start: 874 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗