A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming

George Baryannis, Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou, Mario Alviano, Emmanuel Papadakis

Research output: Contribution to journal › Article › peer-review

8 Citations (Scopus)

8 Citations
1 Article

1 results

2018
A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming
Baryannis, G., Tachmazidis, I., Batsakis, S., Antoniou, G., Alviano, M., Sellis, T. & Tsai, P. W., 1 Jul 2018, In: Theory and Practice of Logic Programming. 18, 3-4, p. 355-371 17 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File
16 Citations (Scopus)