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

Author/Creator BARYANNIS, GEORGE

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