A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming

George Baryannis, Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou, Mario Alviano, Timos Sellis, Pei Wei Tsai

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

14 Citations (Scopus)

14 Citations
1 Article

1 results

2020
A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming
Baryannis, G., Tachmazidis, I., Batsakis, S., Antoniou, G., Alviano, M. & Papadakis, E., 1 Sep 2020, In: Theory and Practice of Logic Programming. 20, 5, p. 687-702 16 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File
7 Citations (Scopus)