Subject: 005.115 - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Subject 005.115

821. When you must forget: Beyond strong persistence when forgetting in answer set programming*. Issue 5 (30th August 2017)

Authors:: GONÇALVES, RICARDO; KNORR, MATTHIAS; LEITE, JOÃO; WOLTRAN, STEFAN
Editors:: Rocha, Ricardo; Cao Son, Tran
Journal:: Theory and practice of logic programming
Issue:: Volume 17:Issue 5/6(2017)
Page Start:: 837
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

822. White-box Induction From SVM Models: Explainable AI with Logic Programming. Issue 5 (September 2020)

Authors:: SHAKERIN, FARHAD; GUPTA, GOPAL
Journal:: Theory and practice of logic programming
Issue:: Volume 20:Issue 5(2020)
Page Start:: 656
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

823. ΑCheck: A mechanized metatheory model checker*. Issue 3 (22nd May 2017)

Authors:: CHENEY, JAMES; MOMIGLIANO, ALBERTO
Journal:: Theory and practice of logic programming
Issue:: Volume 17:Issue 3(2017)
Page Start:: 311
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

824. ℋ-Colouring Dichotomy in Proof Complexity. (24th April 2021)

Authors:: Gaysin, Azza
Journal:: Journal of logic and computation
Issue:: Volume 31:Number 5(2021)
Page Start:: 1206
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗