TACHMAZIDIS, ILIAS

TACHMAZIDIS, ILIAS  

Dipartimento di Matematica e Informatica  

Mostra records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.008 secondi).
Titolo Data di pubblicazione Autore(i) File
A Generalised approach for encoding and reasoning with qualitative theories in answer set programming 1-gen-2020 Baryannis, G.; Tachmazidis, I.; Batsakis, S.; Antoniou, G.; Alviano, M.; Papadakis, E.
A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming 1-gen-2018 George, Baryannis; Tachmazidis, Ilias; Sotiris, Batsakis; Grigoris, Antoniou; Alviano, Mario; Timos, Sellis; Pei-Wei, Tsai
Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies 1-gen-2023 Robaldo, Livio; Batsakis, Sotiris; Calegari, Roberta; Calimeri, Francesco; Fujita, Megumi; Governatori, Guido; Morelli, MARIA CONCETTA; Pacenza, Francesco; Pisano, Giuseppe; Satoh, Ken; Tachmazidis, Ilias; Zangari, Jessica