Author/Creator: KNORR, MATTHIAS - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator KNORR, MATTHIAS

1. A Syntactic Operator for Forgetting that Satisfies Strong Persistence. Issue 5 (September 2019)

Authors:: BERTHOLD, MATTI; GONÇALVES, RICARDO; KNORR, MATTHIAS; LEITE, JOÃO
Journal:: Theory and practice of logic programming
Issue:: Volume 19:Issue 5/6(2019)
Page Start:: 1038
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

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