default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIlias Tachmazidis
Person information
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j14]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)- [i7]Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou:
Benchmarking Defeasible Reasoning with Large Language Models - Initial Experiments and Future Directions. CoRR abs/2410.12509 (2024) - 2023
- [c23]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 - [e1]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
- [j13]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) - [j12]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) - [c22]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 - 2021
- [j11]Tianhua Chen, Grigoris Antoniou, Marios Adamou, Ilias Tachmazidis, Pan Su:
Automatic Diagnosis of Attention Deficit Hyperactivity Disorder Using Machine Learning. Appl. Artif. Intell. 35(9): 657-669 (2021) - [j10]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) - [j9]Ilias Tachmazidis, Tianhua Chen, Marios Adamou, Grigoris Antoniou:
A hybrid AI approach for supporting clinical diagnosis of attention deficit hyperactivity disorder (ADHD) in adults. Health Inf. Sci. Syst. 9(1): 1 (2021) - [c21]Sotiris Batsakis, Marios Adamou, Ilias Tachmazidis, Grigoris Antoniou, Thanasis Kehagias:
Data-Driven Decision Support for Autism Diagnosis using Machine Learning. MEDES 2021: 30-34 - 2020
- [j8]Michael J. Maher, Ilias Tachmazidis, Grigoris Antoniou, Stephen J. Wade, Long Cheng:
Rethinking Defeasible Reasoning: A Scalable Approach. Theory Pract. Log. Program. 20(4): 552-586 (2020) - [j7]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) - [c20]Sotirios Batsakis, Ilias Tachmazidis, George Baryannis, Grigoris Antoniou:
Semantic Artificial Neural Networks. ESWC (Satellite Events) 2020: 39-44 - [i6]Michael J. Maher, Ilias Tachmazidis, Grigoris Antoniou, Stephen J. Wade, Long Cheng:
Rethinking Defeasible Reasoning: A Scalable Approach. CoRR abs/2001.00406 (2020) - [i5]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
- [c19]Michalis Georgiou, Ilias Tachmazidis, Grigoris Antoniou:
Hypercat JSON-LD: A Semantically Enriched Catalogue Format for IoT. WIMS 2019: 13:1-13:12 - 2018
- [j6]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) - [j5]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) - [c18]Sotiris Batsakis, George Baryannis, Guido Governatori, Ilias Tachmazidis, Grigoris Antoniou:
Legal Representation and Reasoning in Practice: A Critical Comparison. JURIX 2018: 31-40 - [c17]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 - [i4]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
- [j4]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) - [j3]Long Cheng, Ilias Tachmazidis, Spyros Kotoulas, Grigoris Antoniou:
Design and evaluation of small-large outer joins in cloud computing environments. J. Parallel Distributed Comput. 110: 2-15 (2017) - [j2]Sotiris Batsakis, Euripides G. M. Petrakis, Ilias Tachmazidis, Grigoris Antoniou:
Temporal representation and reasoning in OWL 2. Semantic Web 8(6): 981-1000 (2017) - [c16]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 - [c15]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 - [i3]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
- [c14]Ilias Tachmazidis, John Davies, Sotiris Batsakis, Grigoris Antoniou, Alistair Duke, Sandra Stincic Clarke:
Hypercat RDF: Semantic Enrichment for IoT. JIST 2016: 273-286 - 2015
- [b1]Ilias Tachmazidis:
Large-scale reasoning with nonmonotonic and imperfect knowledge through mass parallelization. University of Huddersfield, UK, 2015 - [c13]Federico Cerutti, Ilias Tachmazidis, Mauro Vallati, Sotirios Batsakis, Massimiliano Giacomin, Grigoris Antoniou:
Exploiting Parallelism for Hard Problems in Abstract Argumentation. AAAI 2015: 1475-1481 - [c12]Sotiris Batsakis, Ilias Tachmazidis, Grigoris Antoniou:
Representing Time for the Semantic Web. MIWAI 2015: 3-15 - 2014
- [j1]Ilias Tachmazidis, Grigoris Antoniou, Wolfgang Faber:
Efficient Computation of the Well-Founded Semantics over Big Data. Theory Pract. Log. Program. 14(4-5): 445-459 (2014) - [c11]Sotiris Batsakis, Grigoris Antoniou, Ilias Tachmazidis:
Reasoning over Spatial Orientation Relations Using Rules. ADBIS (2) 2014: 123-134 - [c10]Sotiris Batsakis, Grigoris Antoniou, Ilias Tachmazidis:
Integrated Representation of Temporal Intervals and Durations for the Semantic Web. ADBIS (2) 2014: 147-158 - [c9]Ilias Tachmazidis, Long Cheng, Spyros Kotoulas, Grigoris Antoniou, Tomas E. Ward:
Massively Parallel Reasoning under the Well-Founded Semantics Using X10. ICTAI 2014: 162-169 - [c8]Sotiris Batsakis, Grigoris Antoniou, Ilias Tachmazidis:
Integrated Representation of Spatial Topological and Size Relations for the Semantic Web. MIWAI 2014: 208-219 - [c7]Grigoris Antoniou, Sotiris Batsakis, Ilias Tachmazidis:
Large-Scale Reasoning with (Semantic) Data. WIMS 2014: 1:1-1:3 - [c6]Sotiris Batsakis, Grigoris Antoniou, Ilias Tachmazidis:
Representing and Reasoning over Topological Relations in OWL. WIMS 2014: 29:1-29:10 - [i2]Ilias Tachmazidis, Grigoris Antoniou, Wolfgang Faber:
Efficient Computation of the Well-Founded Semantics over Big Data. CoRR abs/1405.2590 (2014) - [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
- [c5]Ilias Tachmazidis, Grigoris Antoniou:
Computing the Stratified Semantics of Logic Programs over Big Data through Mass Parallelization. RuleML 2013: 188-202 - [c4]Grigoris Antoniou, Jeff Z. Pan, Ilias Tachmazidis:
Large-Scale Complex Reasoning with Semantics: Approaches and Challenges. WISE Workshops 2013: 1-10 - 2012
- [c3]Ilias Tachmazidis, Grigoris Antoniou, Giorgos Flouris, Spyros Kotoulas, Lee McCluskey:
Large-scale Parallel Stratified Defeasible Reasoning. ECAI 2012: 738-743 - [c2]Ilias Tachmazidis, Grigoris Antoniou, Giorgos Flouris, Spyros Kotoulas:
Towards Parallel Nonmonotonic Reasoning with Billions of Facts. KR 2012 - [c1]Ilias Tachmazidis, Grigoris Antoniou, Giorgos Flouris, Spyros Kotoulas:
Scalable Nonmonotonic Reasoning over RDF Data Using MapReduce. SSWS+HPCSW@ISWC 2012: 75-90
Coauthor Index
aka: Sotirios Batsakis
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-11-25 23:43 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
