1. 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) ↗
2. Editorial: 29th International conference on logic programming special issue – ADDENDUM. Issue 1 (10th August 2017) Authors: LAMMA, EVELINA; SWIFT, TERRANCE Journal: Theory and practice of logic programming Issue: Volume 18:Issue 1(2018) Page Start: 121 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Incremental Tabling in Support of Knowledge Representation and Reasoning. Issue 4 (21st July 2014) Authors: SWIFT, TERRANCE; Leuschel, Michael; Schrijvers, Tom Journal: Theory and practice of logic programming Issue: Volume 14:Issue 4/5(2014) Page Start: 553 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗