661. Semantic code browsing*. Issue 5 (14th October 2016) Authors: GARCÍA-CONTRERAS, ISABEL; MORALES, JOSÉ F.; HERMENEGILDO, MANUEL V. Editors: Carro, Manuel; King, Andy Journal: Theory and practice of logic programming Issue: Volume 16:Issue 5/6(2016) Page Start: 721 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
662. Semantic data management in P2P systems driven by self-esteem. (7th February 2022) Authors: Caroprese, Luciano; Zumpano, Ester Journal: Journal of logic and computation Issue: Volume 32:Number 5(2022) Page Start: 871 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
663. Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge. Issue 4 (18th January 2019) Authors: CALVANESE, DIEGO; MONTALI, MARCO; DUMAS, MARLON; MAGGI, FABRIZIO M. Journal: Theory and practice of logic programming Issue: Volume 19:Issue 4(2019) Page Start: 536 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
664. Semantics of templates in a compositional framework for building logics. Issue 4 (3rd September 2015) Authors: DASSEVILLE, INGMAR; VAN DER HALLEN, MATTHIAS; JANSSENS, GERDA; DENECKER, MARC Editors: Eiter, Thomas; Toni, Francesca Journal: Theory and practice of logic programming Issue: Volume 15:Issue 4/5(2015) Page Start: 681 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
665. Semirings of Evidence. (24th February 2021) Authors: Baur, Michael; Studer, Thomas Journal: Journal of logic and computation Issue: Volume 31:Number 8(2021) Page Start: 2084 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
666. Sette's calculus P1 and some hierarchies of paraconsistent systems. (2nd June 2020) Authors: Ciuciura, Janusz Journal: Journal of logic and computation Issue: Volume 30:Number 5(2020) Page Start: 1109 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
667. Seventh ASPOCP International Workshop on 'Answer Set Programming and Other Computing Paradigms'. (5th September 2015) Authors: Inclezan, Daniela; Maratea, Marco Journal: Journal of logic and computation Issue: Volume 30:Number 4(2020) Page Start: 835 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
668. Shape Neutral Analysis of Graph-based Data-structures. Issue 3 (10th August 2018) Authors: DUCK, GREGORY J.; JAFFAR, JOXAN; YAP, ROLAND H. C. Editors: Dal Palu, Alessandro; Tarau, Paul Journal: Theory and practice of logic programming Issue: Volume 18:Issue 3/4(2018) Page Start: 470 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
669. Shapely monads and analytic functors. (2nd November 2017) Authors: Garner, Richard; Hirschowitz, Tom Journal: Journal of logic and computation Issue: Volume 28:Number 1(2018) Page Start: 33 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
670. Shared aggregate sets in answer set programming. Issue 3 (10th August 2018) Authors: ALVIANO, MARIO; DODARO, CARMINE; MARATEA, MARCO Editors: Dal Palu, Alessandro; Tarau, Paul Journal: Theory and practice of logic programming Issue: Volume 18:Issue 3/4(2018) Page Start: 301 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗