Edit Profile (opens in new tab) Batsakis, Sotiris Co-Author Distance Author ID: batsakis.sotiris Published as: Batsakis, Sotiris Documents Indexed: 6 Publications since 2016 Co-Authors: 10 Co-Authors with 6 Joint Publications 195 Co-Co-Authors all top 5 Co-Authors 0 single-authored 4 Alviano, Mario 4 Baryannis, George 2 Antoniou, Grigoris 2 Tachmazidis, Ilias 1 Brenton, Christopher 1 Faber, Wolfgang 1 Matsatsinis, Nikolaos F. 1 Papadakis, Emmanuel N. 1 Sellis, Timos K. 1 Tsai, Pei-Wei Serials 3 Theory and Practice of Logic Programming Fields 6 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 4 Publications have been cited 15 times in 8 Documents Cited by ▼ Year ▼ A trajectory calculus for qualitative spatial reasoning using answer set programming. Zbl 1451.68252 Baryannis, George; Tachmazidis, Ilias; Batsakis, Sotiris; Antoniou, Grigoris; Alviano, Mario; Sellis, Timos; Tsai, Pei-Wei 6 2018 Answer set programming for qualitative spatio-temporal reasoning: methods and experiments. Zbl 1428.68282 Brenton, Christopher; Faber, Wolfgang; Batsakis, Sotiris 6 2016 A generalised approach for encoding and reasoning with qualitative theories in answer set programming. Zbl 1468.68218 Baryannis, George; Tachmazidis, Ilias; Batsakis, Sotiris; Antoniou, Grigoris; Alviano, Mario; Papadakis, Emmanuel 2 2020 Modal logic S5 satisfiability in answer set programming. Zbl 1522.68714 Alviano, Mario; Batsakis, Sotiris; Baryannis, George 1 2021 Modal logic S5 satisfiability in answer set programming. Zbl 1522.68714 Alviano, Mario; Batsakis, Sotiris; Baryannis, George 1 2021 A generalised approach for encoding and reasoning with qualitative theories in answer set programming. Zbl 1468.68218 Baryannis, George; Tachmazidis, Ilias; Batsakis, Sotiris; Antoniou, Grigoris; Alviano, Mario; Papadakis, Emmanuel 2 2020 A trajectory calculus for qualitative spatial reasoning using answer set programming. Zbl 1451.68252 Baryannis, George; Tachmazidis, Ilias; Batsakis, Sotiris; Antoniou, Grigoris; Alviano, Mario; Sellis, Timos; Tsai, Pei-Wei 6 2018 Answer set programming for qualitative spatio-temporal reasoning: methods and experiments. Zbl 1428.68282 Brenton, Christopher; Faber, Wolfgang; Batsakis, Sotiris 6 2016 all cited Publications top 5 cited Publications all top 5 Cited by 15 Authors 4 Batsakis, Sotiris 3 Alviano, Mario 3 Baryannis, George 2 Izmirlioglu, Yusuf 1 Antoniou, Grigoris 1 Brenton, Christopher 1 Erdem, Esra 1 Faber, Wolfgang 1 Gonçalves, Ricardo 1 Heyninck, Jesse 1 Knorr, Matthias 1 Leite, João 1 Papadakis, Emmanuel N. 1 Schneider, Patrik 1 Tachmazidis, Ilias Cited in 1 Serial 3 Theory and Practice of Logic Programming Cited in 2 Fields 8 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) Citations by Year