751. The strength of SCT soundness. (22nd February 2018) Authors: Frittaion, Emanuele; Pelupessy, Florian; Steila, Silvia; Yokoyama, Keita Journal: Journal of logic and computation Issue: Volume 28:Number 6(2018) Page Start: 1217 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
752. The third open answer set programming competition. Issue 1 (6th September 2012) Authors: CALIMERI, FRANCESCO; IANNI, GIOVAMBATTISTA; RICCA, FRANCESCO Journal: Theory and practice of logic programming Issue: Volume 14:Issue 1(2014) Page Start: 117 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
753. The unreasonable effectiveness of Nonstandard Analysis. (20th February 2020) Authors: Sanders, Sam Journal: Journal of logic and computation Issue: Volume 30:Number 1(2020) Page Start: 459 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
754. Ticker: A system for incremental ASP-based stream reasoning*. Issue 5 (23rd August 2017) Authors: BECK, HARALD; EITER, THOMAS; FOLIE, CHRISTIAN Editors: Rocha, Ricardo; Cao Son, Tran Journal: Theory and practice of logic programming Issue: Volume 17:Issue 5/6(2017) Page Start: 744 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
755. Timed soft concurrent constraint programs: An interleaved and a parallel approach. Issue 6 (November 2015) Authors: BISTARELLI, STEFANO; GABBRIELLI, MAURIZIO; MEO, MARIA CHIARA; SANTINI, FRANCESCO Journal: Theory and practice of logic programming Issue: Volume 15:Issue 6(2015) Page Start: 743 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
756. TLP volume 13 issue 1 Cover and Back matter. Issue 1 (9th January 2013) Journal: Theory and practice of logic programming Issue: Volume 13:Issue 1(2013) Page Start: b1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
757. TLP volume 13 issue 1 Cover and Front matter. Issue 1 (9th January 2013) Journal: Theory and practice of logic programming Issue: Volume 13:Issue 1(2013) Page Start: f1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
758. TLP volume 13 issue 6 Cover and Back matter. Issue 6 (15th November 2013) Journal: Theory and practice of logic programming Issue: Volume 13:Issue 6(2013) Page Start: b1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
759. TLP volume 13 issue 6 Cover and Front matter. Issue 6 (15th November 2013) Journal: Theory and practice of logic programming Issue: Volume 13:Issue 6(2013) Page Start: f1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
760. TLP volume 14 issue 1 Cover and Back matter. Issue 1 (23rd December 2013) Journal: Theory and practice of logic programming Issue: Volume 14:Issue 1(2014) Page Start: b1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗