![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Sotiris Batsakis
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j16]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): 505-555 (2024) - 2023
- [j15]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): 52 (2023) - [c33]Yuzhou Chen, Sotiris Batsakis, H. Vincent Poor
:
Higher-Order Spatio-Temporal Neural Networks for Covid-19 Forecasting. ICASSP 2023: 1-5 - [c32]Sotirios Batsakis
, Emmanuel Papadakis
, Ilias Tachmazidis
, Tianhua Chen
, Grigoris Antoniou
, Marios Adamou:
Neuro Intel: A System for Clinical Diagnosis of Attention Deficit Hyperactivity Disorder (ADHD) Using Artificial Intelligence. ISCC 2023: 1-6 - [c31]Grigoris Antoniou, Sotiris Batsakis:
Defeasible Reasoning with Large Language Models - Initial Experiments and Future Directions. RuleML+RR (Companion) 2023 - [e3]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:
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. CEUR Workshop Proceedings 3437, CEUR-WS.org 2023 [contents] - 2022
- [j14]Sotirios Batsakis, Marios Adamou, Ilias Tachmazidis, Sarah Jones, Sofya Titarenko, Grigoris Antoniou, Thanasis Kehagias:
Data-Driven Decision Support for Adult Autism Diagnosis Using Machine Learning. Digit. 2(2): 224-243 (2022) - [j13]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): 1155-1170 (2022) - [c30]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: 1-16 - [c29]Mario Alviano, Sotiris Batsakis, George Baryannis:
Modal Logic S5 in Answer Set Programming with Lazy Creation of Worlds. LPNMR 2022: 16-28 - 2021
- [j12]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): 911-940 (2021) - [j11]Mario Alviano
, Sotiris Batsakis, George Baryannis
:
Modal Logic S5 Satisfiability in Answer Set Programming. Theory Pract. Log. Program. 21(5): 527-542 (2021) - [c28]Sotirios Batsakis, Grigoris Antoniou:
Reasoning over Bayesian Networks using Semantic Artificial Neural Networks. IISA 2021: 1-4 - [c27]Sotiris Batsakis, Marios Adamou, Ilias Tachmazidis, Grigoris Antoniou, Thanasis Kehagias:
Data-Driven Decision Support for Autism Diagnosis using Machine Learning. MEDES 2021: 30-34 - [i5]Mario Alviano, Sotiris Batsakis, George Baryannis:
Modal Logic S5 Satisfiability in Answer Set Programming. CoRR abs/2108.04194 (2021) - 2020
- [j10]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): 687-702 (2020) - [c26]Sotirios Batsakis, Ilias Tachmazidis, George Baryannis, Grigoris Antoniou:
Semantic Artificial Neural Networks. ESWC (Satellite Events) 2020: 39-44 - [i4]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 abs/2008.01519 (2020)
2010 – 2019
- 2019
- [j9]Matthew Mantle
, Sotirios Batsakis, Grigoris Antoniou:
Large scale distributed spatio-temporal reasoning using real-world knowledge graphs. Knowl. Based Syst. 163: 214-226 (2019) - 2018
- [j8]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: e21 (2018) - [j7]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): 355-371 (2018) - [c25]Sotiris Batsakis, George Baryannis
, Guido Governatori
, Ilias Tachmazidis, Grigoris Antoniou:
Legal Representation and Reasoning in Practice: A Critical Comparison. JURIX 2018: 31-40 - [c24]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: 64-71 - [i3]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 abs/1804.07088 (2018) - 2017
- [j6]Sotiris Batsakis
, Ilias Tachmazidis, Grigoris Antoniou:
Representing Time and Space for the Semantic Web. Int. J. Artif. Intell. Tools 26(3): 1750015:1-1750015:30 (2017) - [j5]Sotiris Batsakis, Euripides G. M. Petrakis
, Ilias Tachmazidis, Grigoris Antoniou:
Temporal representation and reasoning in OWL 2. Semantic Web 8(6): 981-1000 (2017) - [c23]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: 125-137 - [c22]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 - [i2]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 abs/1703.00391 (2017) - 2016
- [j4]Konstantinos Stravoskoufos, Euripides G. M. Petrakis
, Nikolaos Mainas, Sotirios Batsakis
, Vasilis Samoladas:
SOWL QL: Querying Spatio-Temporal Ontologies in OWL. J. Data Semant. 5(4): 249-269 (2016) - [c21]Christopher Brenton, Wolfgang Faber
, Sotiris Batsakis:
Answer Set Programming for Qualitative Spatio-Temporal Reasoning: Methods and Experiments. ICLP (Technical Communications) 2016: 4:1-4:15 - [c20]Ilias Tachmazidis, John Davies, Sotiris Batsakis, Grigoris Antoniou, Alistair Duke, Sandra Stincic Clarke:
Hypercat RDF: Semantic Enrichment for IoT. JIST 2016: 273-286 - [c19]Matthew Mantle
, Sotirios Batsakis, Grigoris Antoniou:
Large Scale Reasoning Using Allen's Interval Algebra. MICAI (2) 2016: 29-41 - [e2]Vitaliy Yakovyna
, Heinrich C. Mayr, Mykola S. Nikitchenko
, Grygoriy Zholtkevych, Aleksander Spivakovsky
, Sotiris Batsakis
:
Information and Communication Technologies in Education, Research, and Industrial Applications - 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers. Communications in Computer and Information Science 594, Springer 2016, ISBN 978-3-319-30245-4 [contents] - 2015
- [c18]Federico Cerutti, Ilias Tachmazidis, Mauro Vallati, Sotirios Batsakis, Massimiliano Giacomin, Grigoris Antoniou:
Exploiting Parallelism for Hard Problems in Abstract Argumentation. AAAI 2015: 1475-1481 - [c17]Sotiris Batsakis
, Ilias Tachmazidis
, Grigoris Antoniou
:
Representing Time for the Semantic Web. MIWAI 2015: 3-15 - [e1]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:
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. CEUR Workshop Proceedings 1356, CEUR-WS.org 2015 [contents] - 2014
- [j3]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) - [j2]Vadim Ermolayev, Sotiris Batsakis, Natalya Keberle, Olga Tatarintseva, Grigoris Antoniou:
Ontologies of Time: Review and Trends. Int. J. Comput. Sci. Appl. 11(3): 57-115 (2014) - [c16]Sotiris Batsakis
, Grigoris Antoniou
, Ilias Tachmazidis
:
Reasoning over Spatial Orientation Relations Using Rules. ADBIS (2) 2014: 123-134 - [c15]Sotiris Batsakis
, Grigoris Antoniou
, Ilias Tachmazidis
:
Integrated Representation of Temporal Intervals and Durations for the Semantic Web. ADBIS (2) 2014: 147-158 - [c14]Eleftherios Anagnostopoulos, Euripides G. M. Petrakis
, Sotiris Batsakis
:
CHRONOS: Improving the Performance of Qualitative Temporal Reasoning in OWL. ICTAI 2014: 309-315 - [c13]Sotiris Batsakis, Grigoris Antoniou, Ilias Tachmazidis:
Integrated Representation of Spatial Topological and Size Relations for the Semantic Web. MIWAI 2014: 208-219 - [c12]Grigoris Antoniou
, Sotiris Batsakis
, Ilias Tachmazidis
:
Large-Scale Reasoning with (Semantic) Data. WIMS 2014: 1:1-1:3 - [c11]Sotiris Batsakis
, Grigoris Antoniou
, Ilias Tachmazidis
:
Representing and Reasoning over Topological Relations in OWL. WIMS 2014: 29:1-29:10 - [i1]Federico Cerutti, Ilias Tachmazidis, Mauro Vallati, Sotiris Batsakis, Massimiliano Giacomin, Grigoris Antoniou:
Exploiting Parallelism for Hard Problems in Abstract Argumentation: Technical Report. CoRR abs/1411.2800 (2014) - 2013
- [c10]Eleftherios Anagnostopoulos, Sotiris Batsakis
, Euripides G. M. Petrakis
:
CHRONOS: A Reasoning Engine for Qualitative Temporal Information in OWL. KES 2013: 70-77 - [c9]Sotiris Batsakis:
Reasoning over 2D and 3D Directional Relations in OWL: A Rule-Based Approach. RuleML 2013: 37-51 - 2012
- [c8]Alexandros Preventis, Polyxeni Marki, Euripides G. M. Petrakis
, Sotiris Batsakis
:
CHRONOS: A Tool for Handling Temporal Ontologies in Protégé. ICTAI 2012: 460-467 - [c7]George Christodoulou, Euripides G. M. Petrakis
, Sotiris Batsakis
:
Qualitative Spatial Reasoning Using Topological and Directional Information in OWL. ICTAI 2012: 596-602 - [c6]Sotiris Batsakis
, Euripides G. M. Petrakis
:
Imposing Restrictions over Temporal Properties in OWL: A Rule-Based Approach. RuleML 2012: 240-247 - 2011
- [b1]Sotirios Batsakis:
SOWL: a framework for handling spatio-temporal information in OWL. Technical University of Crete, Greece, 2011 - [c5]Sotiris Batsakis
, Kostas Stravoskoufos, Euripides G. M. Petrakis
:
Temporal Reasoning for Supporting Temporal Queries in OWL 2.0. KES (1) 2011: 558-567 - [c4]Sotiris Batsakis
, Euripides G. M. Petrakis
:
SOWL: A Framework for Handling Spatio-temporal Information in OWL 2.0. RuleML Europe 2011: 242-249 - 2010
- [c3]Sotiris Batsakis
, Euripides G. M. Petrakis
:
SOWL: spatio-temporal representation, reasoning and querying over the semantic web. I-SEMANTICS 2010
2000 – 2009
- 2009
- [j1]Sotiris Batsakis
, Euripides G. M. Petrakis
, Evangelos E. Milios
:
Improving the performance of focused web crawlers. Data Knowl. Eng. 68(10): 1001-1013 (2009) - [c2]Evdoxios Baratis, Euripides G. M. Petrakis
, Sotiris Batsakis
, Nikolaos Maris, Nikos Papadakis:
TOQL: Temporal Ontology Querying Language. SSTD 2009: 338-354 - [c1]Evdoxios Baratis, Nikolaos Maris, Euripides G. M. Petrakis
, Sotiris Batsakis
, Nikos Papadakis:
The TOQL System. SSTD 2009: 450-454
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-07 21:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint