Sotiris Batsakis

55 papers B 7C 2Misc 2Journal 19Unranked 23
YearRankTypeTitle / Venue / Authors
2025 — conf
Medical Information Retrieval in Natural Language Using LLMs for SPARQL Query Generation.
IISA
Charalampos Doulaverakis, Giannis Vassiliou, Stavroula Chatzinikolaou, Sotiris Batsakis, Nikolaos Papadakis, Grigoris Antoniou
2025 — conf
SPARQL Query Generation Using LLMs for Medical Information Retrieval.
ESWC (Satellite Events)
Charalampos Doulaverakis, Giannis Vassiliou, Sotiris Batsakis, Nikos Papadakis, Georgia Eirini Trouli, Grigoris Antoniou
2024 — conf
AI-Based Models for Predicting the Risk of Developing Diabetes.
IISA
Sotiris Batsakis, Bakhtiar Amen, Grigoris Antoniou, Steven Howard, Paul Rhys-Vivian, Gemma Gardner
2024 — conf
AI-Based Suicide Risk Assessment.
IISA
Pavlos Charonyktakis, Grigoris Antoniou, Marios Adamou, Michael Doyle, Sotiris Batsakis, Ioannis Tsamardinos
2024 J jnl
Benchmarking Defeasible Reasoning with Large Language Models - Initial Experiments and Future Directions.
CoRR
Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou
2024 J jnl
Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies.
Artif. Intell. Law
Livio Robaldo, Sotiris Batsakis, Roberta Calegari, Francesco Calimeri, Megumi Fujita, Guido Governatori, Maria Concetta Morelli, Francesco Pacenza, Giuseppe Pisano, Ken Satoh, Ilias Tachmazidis, Jessica Zangari
2024 — conf
Model Checking with Large Language Models - Initial Experiments and Future Directions.
IISA
Sotiris Batsakis, Ilias Tachmazidis, Matthew Mantle, Nikolaos Papadakis, Grigoris Antoniou
2023 J jnl
ADHD-KG: a knowledge graph of attention deficit hyperactivity disorder.
Health Inf. Sci. Syst.
Emmanuel Papadakis, George Baryannis, Sotiris Batsakis, Marios Adamou, Zhisheng Huang, Grigoris Antoniou
2023 — conf
Defeasible Reasoning with Large Language Models - Initial Experiments and Future Directions.
RuleML+RR (Companion)
Grigoris Antoniou, Sotiris Batsakis
2023 Misc conf
Higher-Order Spatio-Temporal Neural Networks for Covid-19 Forecasting.
ICASSP
Yuzhou Chen, Sotiris Batsakis, H. Vincent Poor
2023 — ed.
Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), London, United Kingdom, July 9th and 10th, 2023.
ICLP Workshops
Joaquín Arias, Sotiris Batsakis, Wolfgang Faber, Gopal Gupta, Francesco Pacenza, Emmanuel Papadakis, Livio Robaldo, Kilian Rückschloß, Elmer Salazar, Zeynep G. Saribatur, Ilias Tachmazidis, Felix Weitkämper, Adam Z. Wyner
2022 J jnl
Explainable Reasoning with Legal Big Data: A Layered Framework.
FLAP
Grigoris Antoniou, Katie Atkinson, George Baryannis, Sotiris Batsakis, Luigo Di Caro, Guido Governatori, Livio Robaldo, Giovanni Siragusa, Ilias Tachmazidis
2022 B conf
Modal Logic S5 in Answer Set Programming with Lazy Creation of Worlds.
LPNMR
Mario Alviano, Sotiris Batsakis, George Baryannis
2022 — conf
Taking stock of available technologies for compliance checking on first-order knowledge.
CILC
Livio Robaldo, Sotiris Batsakis, Roberta Calegari, Francesco Calimeri, Megumi Fujita, Guido Governatori, Maria Concetta Morelli, Giuseppe Pisano, Ken Satoh, Ilias Tachmazidis
2021 C conf
Data-Driven Decision Support for Autism Diagnosis using Machine Learning.
MEDES
Sotiris Batsakis, Marios Adamou, Ilias Tachmazidis, Grigoris Antoniou, Thanasis Kehagias
2021 J jnl
Large-scale Legal Reasoning with Rules and Databases.
FLAP
Grigoris Antoniou, George Baryannis, Sotiris Batsakis, Guido Governatori, Mohammad Badiul Islam, Qing Liu, Livio Robaldo, Giovanni Siragusa, Ilias Tachmazidis
2021 J jnl
Modal Logic S5 Satisfiability in Answer Set Programming.
CoRR
Mario Alviano, Sotiris Batsakis, George Baryannis
2021 J jnl
Modal Logic S5 Satisfiability in Answer Set Programming.
Theory Pract. Log. Program.
Mario Alviano, Sotiris Batsakis, George Baryannis
2020 J jnl
A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming.
CoRR
George Baryannis, Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou, Mario Alviano, Emmanuel Papadakis
2020 J jnl
A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming.
Theory Pract. Log. Program.
George Baryannis, Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou, Mario Alviano, Emmanuel Papadakis
2018 J jnl
A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming.
CoRR
George Baryannis, Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou, Mario Alviano, Timos Sellis, Pei-Wei Tsai
2018 J jnl
A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming.
Theory Pract. Log. Program.
George Baryannis, Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou, Mario Alviano, Timos Sellis, Pei-Wei Tsai
2018 J jnl
A survey of large-scale reasoning on the Web of data.
Knowl. Eng. Rev.
Grigoris Antoniou, Sotiris Batsakis, Raghava Mutharaju, Jeff Z. Pan, Guilin Qi, Ilias Tachmazidis, Jacopo Urbani, Zhangquan Zhou
2018 C conf
Legal Representation and Reasoning in Practice: A Critical Comparison.
JURIX
Sotiris Batsakis, George Baryannis, Guido Governatori, Ilias Tachmazidis, Grigoris Antoniou
2018 — conf
Optimizing a Semantically Enriched Hypercat-enabled Internet of Things Data Hub.
SSN@ISWC
Ilias Tachmazidis, Sotiris Batsakis, John Davies, Alistair Duke, Grigoris Antoniou, Sandra Stincic Clarke
2017 — conf
A Hypercat-Enabled Semantic Internet of Things Data Hub.
ESWC (2)
Ilias Tachmazidis, Sotiris Batsakis, John Davies, Alistair Duke, Mauro Vallati, Grigoris Antoniou, Sandra Stincic Clarke
2017 J jnl
A Hypercat-enabled Semantic Internet of Things Data Hub: Technical Report.
CoRR
Ilias Tachmazidis, Sotiris Batsakis, John Davies, Alistair Duke, Mauro Vallati, Grigoris Antoniou, Sandra Stincic Clarke
2017 — conf
A Semantically Enriched Hypercat-enabled Internet of Things Data Hub.
ISWC (Posters, Demos & Industry Tracks)
Ilias Tachmazidis, John Davies, Sotiris Batsakis, Alistair Duke, Grigoris Antoniou, Sandra Stincic Clarke
2017 J jnl
Representing Time and Space for the Semantic Web.
Int. J. Artif. Intell. Tools
Sotiris Batsakis, Ilias Tachmazidis, Grigoris Antoniou
2017 J jnl
Temporal representation and reasoning in OWL 2.
Semantic Web
Sotiris Batsakis, Euripides G. M. Petrakis, Ilias Tachmazidis, Grigoris Antoniou
2016 — conf
Answer Set Programming for Qualitative Spatio-Temporal Reasoning: Methods and Experiments.
ICLP (Technical Communications)
Christopher Brenton, Wolfgang Faber, Sotiris Batsakis
2016 — conf
Hypercat RDF: Semantic Enrichment for IoT.
JIST
Ilias Tachmazidis, John Davies, Sotiris Batsakis, Grigoris Antoniou, Alistair Duke, Sandra Stincic Clarke
2016 — ed.
Information and Communication Technologies in Education, Research, and Industrial Applications - 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers
ICTERI (Revised Selected Papers)
Vitaliy Yakovyna, Heinrich C. Mayr, Mykola S. Nikitchenko, Grygoriy Zholtkevych, Aleksander Spivakovsky, Sotiris Batsakis
2015 Misc ed.
Proceedings of the 11th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, Lviv, Ukraine, May 14-16, 2015.
ICTERI
Sotiris Batsakis, Heinrich C. Mayr, Vitaliy Yakovyna, Mykola S. Nikitchenko, Grygoriy Zholtkevych, Vyacheslav S. Kharchenko, Hennadiy Kravtsov, Vitaliy Kobets, Vladimir S. Peschanenko, Vadim Ermolayev, Yuriy Bobalo, Aleksander Spivakovsky
2015 — conf
Representing Time for the Semantic Web.
MIWAI
Sotiris Batsakis, Ilias Tachmazidis, Grigoris Antoniou
2014 J jnl
CHRONOS Ed: A Tool for Handling Temporal Ontologies in Protégé.
Int. J. Artif. Intell. Tools
Alexandros Preventis, Euripides G. M. Petrakis, Sotiris Batsakis
2014 B conf
CHRONOS: Improving the Performance of Qualitative Temporal Reasoning in OWL.
ICTAI
Eleftherios Anagnostopoulos, Euripides G. M. Petrakis, Sotiris Batsakis
2014 J jnl
Exploiting Parallelism for Hard Problems in Abstract Argumentation: Technical Report.
CoRR
Federico Cerutti, Ilias Tachmazidis, Mauro Vallati, Sotiris Batsakis, Massimiliano Giacomin, Grigoris Antoniou
2014 — conf
Integrated Representation of Spatial Topological and Size Relations for the Semantic Web.
MIWAI
Sotiris Batsakis, Grigoris Antoniou, Ilias Tachmazidis
2014 — conf
Integrated Representation of Temporal Intervals and Durations for the Semantic Web.
ADBIS (2)
Sotiris Batsakis, Grigoris Antoniou, Ilias Tachmazidis
2014 — conf
Large-Scale Reasoning with (Semantic) Data.
WIMS
Grigoris Antoniou, Sotiris Batsakis, Ilias Tachmazidis
2014 J jnl
Ontologies of Time: Review and Trends.
Int. J. Comput. Sci. Appl.
Vadim Ermolayev, Sotiris Batsakis, Natalya Keberle, Olga Tatarintseva, Grigoris Antoniou
2014 — conf
Reasoning over Spatial Orientation Relations Using Rules.
ADBIS (2)
Sotiris Batsakis, Grigoris Antoniou, Ilias Tachmazidis
2014 — conf
Representing and Reasoning over Topological Relations in OWL.
WIMS
Sotiris Batsakis, Grigoris Antoniou, Ilias Tachmazidis
2013 B conf
CHRONOS: A Reasoning Engine for Qualitative Temporal Information in OWL.
KES
Eleftherios Anagnostopoulos, Sotiris Batsakis, Euripides G. M. Petrakis
2013 — conf
Reasoning over 2D and 3D Directional Relations in OWL: A Rule-Based Approach.
RuleML
Sotiris Batsakis
2012 B conf
CHRONOS: A Tool for Handling Temporal Ontologies in Protégé.
ICTAI
Alexandros Preventis, Polyxeni Marki, Euripides G. M. Petrakis, Sotiris Batsakis
2012 — conf
Imposing Restrictions over Temporal Properties in OWL: A Rule-Based Approach.
RuleML
Sotiris Batsakis, Euripides G. M. Petrakis
2012 B conf
Qualitative Spatial Reasoning Using Topological and Directional Information in OWL.
ICTAI
George Christodoulou, Euripides G. M. Petrakis, Sotiris Batsakis
2011 — conf
SOWL: A Framework for Handling Spatio-temporal Information in OWL 2.0.
RuleML Europe
Sotiris Batsakis, Euripides G. M. Petrakis
2011 — conf
Temporal Reasoning for Supporting Temporal Queries in OWL 2.0.
KES (1)
Sotiris Batsakis, Kostas Stravoskoufos, Euripides G. M. Petrakis
2010 — conf
SOWL: spatio-temporal representation, reasoning and querying over the semantic web.
I-SEMANTICS
Sotiris Batsakis, Euripides G. M. Petrakis
2009 J jnl
Improving the performance of focused web crawlers.
Data Knowl. Eng.
Sotiris Batsakis, Euripides G. M. Petrakis, Evangelos E. Milios
2009 B conf
TOQL: Temporal Ontology Querying Language.
SSTD
Evdoxios Baratis, Euripides G. M. Petrakis, Sotiris Batsakis, Nikolaos Maris, Nikos Papadakis
2009 B conf
The TOQL System.
SSTD
Evdoxios Baratis, Nikolaos Maris, Euripides G. M. Petrakis, Sotiris Batsakis, Nikos Papadakis