Sfoglia per Autore
Mostrati risultati da 1 a 2 di 2
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.
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. |
Mostrati risultati da 1 a 2 di 2
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