231. MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations. Issue 5 (26th September 2022) Authors: LANZINGER, MATTHIAS; SFERRAZZA, STEFANO; GOTTLOB, GEORG Journal: Theory and practice of logic programming Issue: Volume 22:Issue 5(2022) Page Start: 678 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
232. Non-monotonic spatial reasoning with answer set programming modulo theories*†. Issue 2 (30th August 2016) Authors: WAŁĘGA, PRZEMYSŁAW ANDRZEJ; SCHULTZ, CARL; BHATT, MEHUL Journal: Theory and practice of logic programming Issue: Volume 17:Issue 2(2017) Page Start: 205 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
233. Nonground Abductive Logic Programming with Probabilistic Integrity Constraints. Issue 5 (27th September 2021) Authors: BELLODI, ELENA; GAVANELLI, MARCO; ZESE, RICCARDO; LAMMA, EVELINA; RIGUZZI, FABRIZIO Journal: Theory and practice of logic programming Issue: Volume 21:Issue 5(2021) Page Start: 557 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
234. Omission-based Abstraction for Answer Set Programs – ERRATUM. Issue 2 (9th March 2021) Authors: SARIBATUR, ZEYNEP G.; EITER, THOMAS Journal: Theory and practice of logic programming Issue: Volume 21:Issue 2(2021) Page Start: 292 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
235. Omission-Based Abstraction for Answer Set Programs. Issue 2 (9th March 2021) Authors: SARIBATUR, ZEYNEP G.; EITER, THOMAS Journal: Theory and practice of logic programming Issue: Volume 21:Issue 2(2021) Page Start: 145 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
236. On Cascade Products of Answer Set Programs. Issue 4 (21st July 2014) Authors: ANTIĆ, CHRISTIAN; Leuschel, Michael; Schrijvers, Tom Journal: Theory and practice of logic programming Issue: Volume 14:Issue 4/5(2014) Page Start: 711 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
237. On Correctness and Completeness of an n Queens Program. Issue 1 (14th January 2022) Authors: DRABENT, WŁODZIMIERZ Journal: Theory and practice of logic programming Issue: Volume 22:Issue 1(2022) Page Start: 37 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
238. On definite program answers and least Herbrand models. Issue 4 (3rd May 2016) Authors: DRABENT, WŁODZIMIERZ Journal: Theory and practice of logic programming Issue: Volume 16:Issue 4(2016) Page Start: 498 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
239. On equivalence of infinitary formulas under the stable model semantics. Issue 1 (January 2015) Authors: HARRISON, AMELIA; LIFSCHITZ, VLADIMIR; TRUSZCZYNSKI, MIROSLAW Journal: Theory and practice of logic programming Issue: Volume 15:Issue 1(2015) Page Start: 18 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
240. On local domain symmetry for model expansion. Issue 5 (14th October 2016) Authors: DEVRIENDT, JO; BOGAERTS, BART; BRUYNOOGHE, MAURICE; DENECKER, MARC Editors: Carro, Manuel; King, Andy Journal: Theory and practice of logic programming Issue: Volume 16:Issue 5/6(2016) Page Start: 636 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗