Keyword:qualitative reasoning

Publications
A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming George Baryannis, Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou, Mario Alviano, Timos Sellis and Pei-Wei Tsai EasyChair Preprint 208
The qSafe Project – Developing a Tool for Current Practice in Functional Safety Analysis Florian Grigoleit, Sebastian Holei, Andreas Pleuss, Robert Reiser, Julian Rhein, Peter Struss and Jana von Wedel In:28th International Workshop on Principles of Diagnosis (DX'17)