41. Towards Metric Temporal Answer Set Programming. Issue 5 (September 2020) Authors: CABALAR, PEDRO; DIÉGUEZ, MARTÍN; SCHAUB, TORSTEN; SCHUHMANN, ANNA Journal: Theory and practice of logic programming Issue: Volume 20:Issue 5(2020) Page Start: 783 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
42. Verifying Tight Logic Programs with anthem and vampire. Issue 5 (September 2020) Authors: FANDINNO, JORGE; LIFSCHITZ, VLADIMIR; LÜHNE, PATRICK; SCHAUB, TORSTEN Journal: Theory and practice of logic programming Issue: Volume 20:Issue 5(2020) Page Start: 735 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
43. 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) ↗