Sfoglia per Autore
Mostrati risultati da 1 a 3 di 3
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
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.
Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies
2023-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 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 | |
| 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. | |
| 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 |
Mostrati risultati da 1 a 3 di 3
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile