11. A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming. Issue 5 (September 2020) Authors: BARYANNIS, GEORGE; TACHMAZIDIS, ILIAS; BATSAKIS, SOTIRIS; ANTONIOU, GRIGORIS; ALVIANO, MARIO; PAPADAKIS, EMMANUEL Journal: Theory and practice of logic programming Issue: Volume 20:Issue 5(2020) Page Start: 687 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
12. A goal-directed implementation of query answering for hybrid MKNF knowledge bases. Issue 2 (March 2014) Authors: GOMES, ANA SOFIA; ALFERES, JOSÉ JÚLIO; SWIFT, TERRANCE Journal: Theory and practice of logic programming Issue: Volume 14:Issue 2(2014) Page Start: 239 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
13. A linear algebraic approach to datalog evaluation. Issue 3 (22nd May 2017) Authors: SATO, TAISUKE Journal: Theory and practice of logic programming Issue: Volume 17:Issue 3(2017) Page Start: 244 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
14. A Linear Logic Programming Language for Concurrent Programming over Graph Structures. Issue 4 (21st July 2014) Authors: CRUZ, FLAVIO; ROCHA, RICARDO; GOLDSTEIN, SETH COPEN; PFENNING, FRANK; Leuschel, Michael; Schrijvers, Tom Journal: Theory and practice of logic programming Issue: Volume 14:Issue 4/5(2014) Page Start: 493 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
15. A Logic Framework for P2P Deductive Databases. Issue 1 (19th June 2019) Authors: CAROPRESE, LUCIANO; ZUMPANO, ESTER Journal: Theory and practice of logic programming Issue: Volume 20:Issue 1(2020) Page Start: 1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
16. A logic programming approach to predict effective compiler settings for embedded software. Issue 4 (3rd September 2015) Authors: BLACKMORE, CRAIG; RAY, OLIVER; EDER, KERSTIN Editors: Eiter, Thomas; Toni, Francesca Journal: Theory and practice of logic programming Issue: Volume 15:Issue 4/5(2015) Page Start: 481 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
17. A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification. Issue 6 (November 2020) Authors: COSTABILE, ROBERTA; CATALANO, GELSOMINA; CUTERI, BERNARDO; CONCETTA MORELLI, MARIA; LEONE, NICOLA; MANNA, MARCO Journal: Theory and practice of logic programming Issue: Volume 20:Issue 6(2020) Page Start: 864 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
18. A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders. Issue 1 (2nd January 2021) Authors: CALIMERI, FRANCESCO; CAUTERUCCIO, FRANCESCO; CINELLI, LUCA; MARZULLO, ALDO; STAMILE, CLAUDIO; TERRACINA, GIORGIO; DURAND-DUBIEF, FRANÇOISE; SAPPEY-MARINIER, DOMINIQUE Journal: Theory and practice of logic programming Issue: Volume 21:Issue 1(2021) Page Start: 80 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
19. A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction. Issue 5 (23rd September 2021) Authors: CHARALAMBIDIS, ANGELOS; RONDOGIANNIS, PANOS; TROUMPOUKIS, ANTONIS Journal: Theory and practice of logic programming Issue: Volume 21:Issue 5(2021) Page Start: 629 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
20. A Measure of Arbitrariness in Abductive Explanations. Issue 4 (21st July 2014) Authors: CAROPRESE, LUCIANO; TRUBITSYNA, IRINA; Truszczyński, Mirosław; Zumpano, Ester; Leuschel, Michael; Schrijvers, Tom Journal: Theory and practice of logic programming Issue: Volume 14:Issue 4/5(2014) Page Start: 665 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗