1. A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming. Issue 5 (September 2020) Authors: BARYANNIS, GEORGE; TACHMAZIDIS, ILIAS; BATSAKIS, SOTIRIS; ANTONIOU, GRIGORIS; ALVIANO, MARIO; PAPADAKIS, EMMANUEL Journal: Theory and practice of logic programming Issue: Volume 20:Issue 5(2020) Page Start: 687 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming. Issue 3 (10th August 2018) Authors: BARYANNIS, GEORGE; TACHMAZIDIS, ILIAS; BATSAKIS, SOTIRIS; ANTONIOU, GRIGORIS; ALVIANO, MARIO; SELLIS, TIMOS; TSAI, PEI-WEI Editors: Dal Palu, Alessandro; Tarau, Paul Journal: Theory and practice of logic programming Issue: Volume 18:Issue 3/4(2018) Page Start: 355 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Modal Logic S5 Satisfiability in Answer Set Programming. Issue 5 (September 2021) Authors: ALVIANO, MARIO; BATSAKIS, SOTIRIS; BARYANNIS, GEORGE Journal: Theory and practice of logic programming Issue: Volume 21:Issue 5(2021) Page Start: 527 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗