HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:qualitative reasoning

Papers
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 no. 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)
Copyright © 2012-2023 easychair.org. All rights reserved.