Journal: Theory and practice of logic programming - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Journal Theory and practice of logic programming

11. 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) ↗

12. 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) ↗

13. 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) ↗

14. 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) ↗

15. 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) ↗

16. 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) ↗

17. 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) ↗

18. 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) ↗

19. 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) ↗

20. A model building framework for answer set programming with external computations*. Issue 4 (13th August 2015)

Authors:: EITER, THOMAS; FINK, MICHAEL; IANNI, GIOVAMBATTISTA; KRENNWALLNER, THOMAS; REDL, CHRISTOPH; SCHÜLLER, PETER
Journal:: Theory and practice of logic programming
Issue:: Volume 16:Issue 4(2016)
Page Start:: 418
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗