×
Author ID: batsakis.sotiris Recent zbMATH articles by "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

Publications by Year

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

Citations by Year