Sotiris Batsakis

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 25

Top Topics

Answer Set Programming

Temporal Reasoning

Top Venues

Theory Pract. Log. Program.

Publications

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
Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies. Artif. Intell. Law 32 (2) (2024)
Yuzhou Chen, Sotiris Batsakis, H. Vincent Poor
Higher-Order Spatio-Temporal Neural Networks for Covid-19 Forecasting. ICASSP (2023)
Grigoris Antoniou, Sotiris Batsakis
Defeasible Reasoning with Large Language Models - Initial Experiments and Future Directions. RuleML+RR (Companion) (2023)
Emmanuel Papadakis, George Baryannis, Sotiris Batsakis, Marios Adamou, Zhisheng Huang, Grigoris Antoniou
ADHD-KG: a knowledge graph of attention deficit hyperactivity disorder. Health Inf. Sci. Syst. 11 (1) (2023)
Mario Alviano, Sotiris Batsakis, George Baryannis
Modal Logic S5 in Answer Set Programming with Lazy Creation of Worlds. LPNMR (2022)
Livio Robaldo, Sotiris Batsakis, Roberta Calegari, Francesco Calimeri, Megumi Fujita, Guido Governatori, Maria Concetta Morelli, Giuseppe Pisano, Ken Satoh, Ilias Tachmazidis
Taking stock of available technologies for compliance checking on first-order knowledge. CILC (2022)
Grigoris Antoniou, Katie Atkinson, George Baryannis, Sotiris Batsakis, Luigo Di Caro, Guido Governatori, Livio Robaldo, Giovanni Siragusa, Ilias Tachmazidis
Explainable Reasoning with Legal Big Data: A Layered Framework. FLAP 9 (4) (2022)
Mario Alviano, Sotiris Batsakis, George Baryannis
Modal Logic S5 Satisfiability in Answer Set Programming. Theory Pract. Log. Program. 21 (5) (2021)
Sotiris Batsakis, Marios Adamou, Ilias Tachmazidis, Grigoris Antoniou, Thanasis Kehagias
Data-Driven Decision Support for Autism Diagnosis using Machine Learning. MEDES (2021)
Mario Alviano, Sotiris Batsakis, George Baryannis
Modal Logic S5 Satisfiability in Answer Set Programming. CoRR (2021)
Grigoris Antoniou, George Baryannis, Sotiris Batsakis, Guido Governatori, Mohammad Badiul Islam, Qing Liu, Livio Robaldo, Giovanni Siragusa, Ilias Tachmazidis
Large-scale Legal Reasoning with Rules and Databases. FLAP 8 (4) (2021)
George Baryannis, Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou, Mario Alviano, Emmanuel Papadakis
A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming. Theory Pract. Log. Program. 20 (5) (2020)
George Baryannis, Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou, Mario Alviano, Emmanuel Papadakis
A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming. CoRR (2020)
George Baryannis, Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou, Mario Alviano, Timos Sellis, Pei-Wei Tsai
A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming. CoRR (2018)
Grigoris Antoniou, Sotiris Batsakis, Raghava Mutharaju, Jeff Z. Pan, Guilin Qi, Ilias Tachmazidis, Jacopo Urbani, Zhangquan Zhou
A survey of large-scale reasoning on the Web of data. Knowl. Eng. Rev. 33 (2018)
Sotiris Batsakis, George Baryannis, Guido Governatori, Ilias Tachmazidis, Grigoris Antoniou
Legal Representation and Reasoning in Practice: A Critical Comparison. JURIX (2018)
Ilias Tachmazidis, Sotiris Batsakis, John Davies, Alistair Duke, Grigoris Antoniou, Sandra Stincic Clarke
Optimizing a Semantically Enriched Hypercat-enabled Internet of Things Data Hub. SSN@ISWC (2018)
George Baryannis, Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou, Mario Alviano, Timos Sellis, Pei-Wei Tsai
A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming. Theory Pract. Log. Program. 18 (3-4) (2018)
Ilias Tachmazidis, Sotiris Batsakis, John Davies, Alistair Duke, Mauro Vallati, Grigoris Antoniou, Sandra Stincic Clarke
A Hypercat-Enabled Semantic Internet of Things Data Hub. ESWC (2) (2017)
Sotiris Batsakis, Ilias Tachmazidis, Grigoris Antoniou
Representing Time and Space for the Semantic Web. Int. J. Artif. Intell. Tools 26 (3) (2017)
Ilias Tachmazidis, Sotiris Batsakis, John Davies, Alistair Duke, Mauro Vallati, Grigoris Antoniou, Sandra Stincic Clarke
A Hypercat-enabled Semantic Internet of Things Data Hub: Technical Report. CoRR (2017)
Sotiris Batsakis, Euripides G. M. Petrakis, Ilias Tachmazidis, Grigoris Antoniou
Temporal representation and reasoning in OWL 2. Semantic Web 8 (6) (2017)
Ilias Tachmazidis, John Davies, Sotiris Batsakis, Alistair Duke, Grigoris Antoniou, Sandra Stincic Clarke
A Semantically Enriched Hypercat-enabled Internet of Things Data Hub. ISWC (Posters, Demos & Industry Tracks) (2017)
Christopher Brenton, Wolfgang Faber, Sotiris Batsakis
Answer Set Programming for Qualitative Spatio-Temporal Reasoning: Methods and Experiments. ICLP (Technical Communications) (2016)
Ilias Tachmazidis, John Davies, Sotiris Batsakis, Grigoris Antoniou, Alistair Duke, Sandra Stincic Clarke
Hypercat RDF: Semantic Enrichment for IoT. JIST (2016)
Sotiris Batsakis, Ilias Tachmazidis, Grigoris Antoniou
Representing Time for the Semantic Web. MIWAI (2015)
Eleftherios Anagnostopoulos, Euripides G. M. Petrakis, Sotiris Batsakis
CHRONOS: Improving the Performance of Qualitative Temporal Reasoning in OWL. ICTAI (2014)
Grigoris Antoniou, Sotiris Batsakis, Ilias Tachmazidis
Large-Scale Reasoning with (Semantic) Data. WIMS (2014)
Alexandros Preventis, Euripides G. M. Petrakis, Sotiris Batsakis
CHRONOS Ed: A Tool for Handling Temporal Ontologies in Protégé. Int. J. Artif. Intell. Tools 23 (4) (2014)
Sotiris Batsakis, Grigoris Antoniou, Ilias Tachmazidis
Reasoning over Spatial Orientation Relations Using Rules. ADBIS (2) (2014)
Sotiris Batsakis, Grigoris Antoniou, Ilias Tachmazidis
Representing and Reasoning over Topological Relations in OWL. WIMS (2014)
Vadim Ermolayev, Sotiris Batsakis, Natalya Keberle, Olga Tatarintseva, Grigoris Antoniou
Ontologies of Time: Review and Trends. Int. J. Comput. Sci. Appl. 11 (3) (2014)
Sotiris Batsakis, Grigoris Antoniou, Ilias Tachmazidis
Integrated Representation of Spatial Topological and Size Relations for the Semantic Web. MIWAI (2014)
Federico Cerutti, Ilias Tachmazidis, Mauro Vallati, Sotiris Batsakis, Massimiliano Giacomin, Grigoris Antoniou
Exploiting Parallelism for Hard Problems in Abstract Argumentation: Technical Report. CoRR (2014)
Sotiris Batsakis, Grigoris Antoniou, Ilias Tachmazidis
Integrated Representation of Temporal Intervals and Durations for the Semantic Web. ADBIS (2) (2014)
Eleftherios Anagnostopoulos, Sotiris Batsakis, Euripides G. M. Petrakis
CHRONOS: A Reasoning Engine for Qualitative Temporal Information in OWL. KES (2013)
Sotiris Batsakis
Reasoning over 2D and 3D Directional Relations in OWL: A Rule-Based Approach. RuleML (2013)
Sotiris Batsakis, Euripides G. M. Petrakis
Imposing Restrictions over Temporal Properties in OWL: A Rule-Based Approach. RuleML (2012)
Alexandros Preventis, Polyxeni Marki, Euripides G. M. Petrakis, Sotiris Batsakis
CHRONOS: A Tool for Handling Temporal Ontologies in Protégé. ICTAI (2012)
George Christodoulou, Euripides G. M. Petrakis, Sotiris Batsakis
Qualitative Spatial Reasoning Using Topological and Directional Information in OWL. ICTAI (2012)
Sotiris Batsakis, Kostas Stravoskoufos, Euripides G. M. Petrakis
Temporal Reasoning for Supporting Temporal Queries in OWL 2.0. KES (1) (2011)
Sotiris Batsakis, Euripides G. M. Petrakis
SOWL: A Framework for Handling Spatio-temporal Information in OWL 2.0. RuleML Europe (2011)
Sotiris Batsakis, Euripides G. M. Petrakis
SOWL: spatio-temporal representation, reasoning and querying over the semantic web. I-SEMANTICS (2010)
Evdoxios Baratis, Euripides G. M. Petrakis, Sotiris Batsakis, Nikolaos Maris, Nikos Papadakis
TOQL: Temporal Ontology Querying Language. SSTD (2009)
Sotiris Batsakis, Euripides G. M. Petrakis, Evangelos E. Milios
Improving the performance of focused web crawlers. Data Knowl. Eng. 68 (10) (2009)
Evdoxios Baratis, Nikolaos Maris, Euripides G. M. Petrakis, Sotiris Batsakis, Nikos Papadakis
The TOQL System. SSTD (2009)