741. The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them. Issue 6 (November 2020) Authors: Komendantskaya, Ekaterina; Rozplokhas, Dmitry; Basold, Henning Journal: Theory and practice of logic programming Issue: Volume 20:Issue 6(2020) Page Start: 990 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
742. The P-Box CDF-Intervals: A Reliable Constraint Reasoning with Quantifiable Information. Issue 4 (21st July 2014) Authors: SAAD, AYA; FRÜHWIRTH, THOM; GERVET, CARMEN; Leuschel, Michael; Schrijvers, Tom Journal: Theory and practice of logic programming Issue: Volume 14:Issue 4/5(2014) Page Start: 461 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
743. The power of modal separation logics. (19th December 2019) Authors: Demri, Stéphane; Fervari, Raul Journal: Journal of logic and computation Issue: Volume 29:Number 8(2019) Page Start: 1139 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
744. The power of non-ground rules in Answer Set Programming. Issue 5 (14th October 2016) Authors: BICHLER, MANUEL; MORAK, MICHAEL; WOLTRAN, STEFAN Editors: Carro, Manuel; King, Andy Journal: Theory and practice of logic programming Issue: Volume 16:Issue 5/6(2016) Page Start: 552 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
745. The pragmatic proof: Hypermedia API composition and execution. Issue 1 (7th March 2016) Authors: VERBORGH, RUBEN; ARNDT, DÖRTHE; VAN HOECKE, SOFIE; DE ROO, JOS; MELS, GIOVANNI; STEINER, THOMAS; GABARRO, JOAQUIM Journal: Theory and practice of logic programming Issue: Volume 17:Issue 1(2017) Page Start: 1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
746. The Probabilistic Description Logic. Issue 4 (11th July 2021) Authors: BOTHA, LEONARD; MEYER, THOMAS; PEÑALOZA, RAFAEL Journal: Theory and practice of logic programming Issue: Volume 21:Issue 4(2021) Page Start: 404 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
747. The probabilistic logic of communication and change. (7th January 2016) Authors: Achimescu, Andreea; Baltag, Alexandru; Sack, Joshua Journal: Journal of logic and computation Issue: Volume 29:Number 7(2019) Page Start: 1015 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
748. The rationale behind the concept of goal. Issue 3 (31st March 2016) Authors: GOVERNATORI, GUIDO; OLIVIERI, FRANCESCO; SCANNAPIECO, SIMONE; ROTOLO, ANTONINO; CRISTANI, MATTEO Journal: Theory and practice of logic programming Issue: Volume 16:Issue 3(2016) Page Start: 296 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
749. The rise and fall of semantic rule updates based on SE-models*. Issue 6 (November 2014) Authors: SLOTA, MARTIN; LEITE, JOÃO Journal: Theory and practice of logic programming Issue: Volume 14:Issue 6(2014) Page Start: 869 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
750. The Seventh Answer Set Programming Competition: Design and Results. Issue 2 (31st March 2020) Authors: GEBSER, MARTIN; MARATEA, MARCO; RICCA, FRANCESCO Journal: Theory and practice of logic programming Issue: Volume 20:Issue 2(2020) Page Start: 176 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗