401. Web-STAR: A Visual Web-based IDE for a Story Comprehension System. Issue 2 (14th November 2018) Authors: RODOSTHENOUS, CHRISTOS T.; MICHAEL, LOIZOS Editors: Schulz, Claudia; Ellmauthaler, Stefan Journal: Theory and practice of logic programming Issue: Volume 19:Issue 2(2019) Page Start: 317 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
402. Well-founded operators for normal hybrid MKNF knowledge bases. Issue 5 (4th September 2017) Authors: JI, JIANMIN; LIU, FANGFANG; YOU, JIA-HUAI Editors: Rocha, Ricardo; Cao Son, Tran Journal: Theory and practice of logic programming Issue: Volume 17:Issue 5/6(2017) Page Start: 889 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
403. 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) ↗
404. 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) ↗
405. Α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) ↗