TACHMAZIDIS, ILIAS
TACHMAZIDIS, ILIAS
Dipartimento di Matematica e Informatica
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.001 secondi).
A Generalised approach for encoding and reasoning with qualitative theories in answer set programming
2020-01-01 Baryannis, G.; Tachmazidis, I.; Batsakis, S.; Antoniou, G.; Alviano, M.; Papadakis, E.
A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming
2018-01-01 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
2024-01-01 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
| 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-2024 | 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 |