341. The dlvhex system for knowledge representation: recent advances (system description)*. Issue 5 (14th October 2016) Authors: REDL, CHRISTOPH Editors: Carro, Manuel; King, Andy Journal: Theory and practice of logic programming Issue: Volume 16:Issue 5/6(2016) Page Start: 866 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
342. The Expressive Power of Higher-Order Datalog. Issue 5 (September 2019) Authors: CHARALAMBIDIS, ANGELOS; NOMIKOS, CHRISTOS; RONDOGIANNIS, PANOS Journal: Theory and practice of logic programming Issue: Volume 19:Issue 5/6(2019) Page Start: 925 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
343. The External Interface for Extending WASP. Issue 2 (10th March 2020) Authors: DODARO, CARMINE; RICCA, FRANCESCO Journal: Theory and practice of logic programming Issue: Volume 20:Issue 2(2020) Page Start: 225 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
344. The intricacies of three-valued extensional semantics for higher-order logic programs. Issue 5 (23rd August 2017) Authors: RONDOGIANNIS, PANOS; SYMEONIDOU, IOANNA Editors: Rocha, Ricardo; Cao Son, Tran Journal: Theory and practice of logic programming Issue: Volume 17:Issue 5/6(2017) Page Start: 974 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
345. The KB paradigm and its application to interactive configuration*. Issue 1 (1st July 2016) Authors: VAN HERTUM, PIETER; DASSEVILLE, INGMAR; JANSSENS, GERDA; DENECKER, MARC Journal: Theory and practice of logic programming Issue: Volume 17:Issue 1(2017) Page Start: 91 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
346. 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) ↗
347. 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) ↗
348. 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) ↗
349. 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) ↗
350. 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) ↗