81. Abstract gringo. Issue 4 (3rd September 2015) Authors: GEBSER, MARTIN; HARRISON, AMELIA; KAMINSKI, ROLAND; LIFSCHITZ, VLADIMIR; SCHAUB, TORSTEN Editors: Eiter, Thomas; Toni, Francesca Journal: Theory and practice of logic programming Issue: Volume 15:Issue 4/5(2015) Page Start: 449 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
82. Abstract interpretation of temporal concurrent constraint programs. Issue 3 (10th February 2014) Authors: FALASCHI, MORENO; OLARTE, CARLOS; PALAMIDESSI, CATUSCIA Journal: Theory and practice of logic programming Issue: Volume 15:Issue 3(2015) Page Start: 312 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
83. Abstract Solvers for Computing Cautious Consequences of ASP programs. Issue 5 (September 2019) Authors: AMENDOLA, GIOVANNI; DODARO, CARMINE; MARATEA, MARCO Journal: Theory and practice of logic programming Issue: Volume 19:Issue 5/6(2019) Page Start: 740 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
84. AC-KBO revisited*†. Issue 2 (8th June 2015) Authors: YAMADA, AKIHISA; WINKLER, SARAH; HIROKAWA, NAO; MIDDELDORP, AART Journal: Theory and practice of logic programming Issue: Volume 16:Issue 2(2016) Page Start: 163 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
85. Accelerating LTL satisfiability checking by SAT solvers. (12th April 2018) Authors: Li, Jianwen; Pu, Geguang; Zhang, Lijun; Vardi, Moshe Y; He, Jifeng Journal: Journal of logic and computation Issue: Volume 28:Number 6(2018) Page Start: 1011 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
86. Access-based intuitionistic knowledge. (7th January 2021) Authors: Lewitzka, Steffen Journal: Journal of logic and computation Issue: Volume 31:Number 2(2021) Page Start: 473 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
87. Accumulative knowledge under bounded resources. (13th February 2015) Authors: Jamroga, Wojciech; Tabatabaei, Masoud Journal: Journal of logic and computation Issue: Volume 28:Number 3(2018) Page Start: 581 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
88. Achievements in answer set programming*. Issue 5 (30th August 2017) Authors: LIFSCHITZ, VLADIMIR Editors: Rocha, Ricardo; Cao Son, Tran Journal: Theory and practice of logic programming Issue: Volume 17:Issue 5/6(2017) Page Start: 961 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
89. Action language ℬ𝒞+. (5th September 2015) Authors: Babb, Joseph; Lee, Joohyung Journal: Journal of logic and computation Issue: Volume 30:Number 4(2020) Page Start: 899 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
90. Action-Centered Information Retrieval. Issue 2 (9th March 2020) Authors: BALDUCCINI, MARCELLO; LEBLANC, EMILY C. Journal: Theory and practice of logic programming Issue: Volume 20:Issue 2(2020) Page Start: 249 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗