691. Steps and traces. (23rd August 2021) Authors: Rot, Jurriaan; Jacobs, Bart; Levy, Paul Blain Journal: Journal of logic and computation Issue: Volume 31:Number 6(2021) Page Start: 1482 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
692. Stepwise debugging of answer-set programs*. Issue 1 (17th October 2017) Authors: OETSCH, JOHANNES; PÜHRER, JÖRG; TOMPITS, HANS Journal: Theory and practice of logic programming Issue: Volume 18:Issue 1(2018) Page Start: 30 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
693. Stit logic of justification announcements: a completeness result. (16th May 2018) Authors: Olkhovikov, Grigory K Journal: Journal of logic and computation Issue: Volume 28:Number 6(2018) Page Start: 1031 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
694. Stochastic sharing calculus for reasoning about social networks. (2nd April 2022) Authors: Aman, Bogdan; Ciobanu, Gabriel Journal: Journal of logic and computation Issue: Volume 32:Number 6(2022) Page Start: 1048 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
695. Strategic coalitions in stochastic games. (17th May 2021) Authors: Naumov, Pavel; Ros, Kevin Journal: Journal of logic and computation Issue: Volume 31:Number 7(2021) Page Start: 1845 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
696. Strict computability models over categories and presheaves. (9th November 2022) Authors: Petrakis, Iosif Journal: Journal of logic and computation Issue: Volume 32:Number 8(2022) Page Start: 1815 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
697. Strictly join irreducible varieties of residuated lattices. (27th September 2021) Authors: Aglianò, Paolo; Ugolini, Sara Journal: Journal of logic and computation Issue: Volume 32:Number 1(2022) Page Start: 32 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
698. Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective. Issue 5 (1st September 2022) Authors: CHARALAMBIDIS, ANGELOS; NOMIKOS, CHRISTOS; RONDOGIANNIS, PANOS Journal: Theory and practice of logic programming Issue: Volume 22:Issue 5(2022) Page Start: 708 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
699. Strong jump inversion. (7th September 2018) Authors: Calvert, W; Frolov, A; Harizanov, V; Knight, J; McCoy, C; Soskova, A; Vatev, S Journal: Journal of logic and computation Issue: Volume 28:Number 7(2018) Page Start: 1499 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
700. Structure learning of probabilistic logic programs by searching the clause space. Issue 2 (March 2015) Authors: BELLODI, ELENA; RIGUZZI, FABRIZIO Journal: Theory and practice of logic programming Issue: Volume 15:Issue 2(2015) Page Start: 169 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗