default search action

combined dblp search
author search
venue search
publication search

ask others

Sotiris Batsakis

Sotirios Batsakis

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2011
[b1]
- view
  - electronic edition via handle.net
  - no references & citations available
- export record
  dblp key:
  - phd/gr/Batsakis11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/gr/Batsakis11
Sotirios Batsakis:
SOWL: a framework for handling spatio-temporal information in OWL. Technical University of Crete, Greece, 2011

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ail/RobaldoBCCFGMPPSTZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ail/RobaldoBCCFGMPPSTZ24
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)
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/eswa/MantleBA24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eswa/MantleBA24
Matthew Mantle, Sotirios Batsakis, Grigoris Antoniou:
Querying large-scale knowledge graphs using Qualitative Spatial Reasoning. Expert Syst. Appl. 258: 125115 (2024)
2023
[j15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/hisas/PapadakisBBAHA23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/hisas/PapadakisBBAHA23
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)
2022
[j14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/digital/BatsakisATJTAK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/digital/BatsakisATJTAK22
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]
- view
  - electronic edition @ collegepublications.co.uk (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/flap/AntoniouABBCGRS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/flap/AntoniouABBCGRS22
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)
2021
[j12]
- view
  - electronic edition @ collegepublications.co.uk (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/flap/AntoniouBBGILRS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/flap/AntoniouBBGILRS21
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/AlvianoBB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/AlvianoBB21
Mario Alviano, Sotiris Batsakis, George Baryannis:
Modal Logic S5 Satisfiability in Answer Set Programming. Theory Pract. Log. Program. 21(5): 527-542 (2021)
2020
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/BaryannisTBAA020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/BaryannisTBAA020
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)
2019
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/kbs/MantleBA19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/kbs/MantleBA19
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ker/AntoniouBMPQTUZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ker/AntoniouBMPQTUZ18
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/BaryannisTBA18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/BaryannisTBA18
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)
2017
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/ijait/BatsakisTA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijait/BatsakisTA17
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]
- view
  authority control:
- export record
  dblp key:
  - journals/semweb/BatsakisPTA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/semweb/BatsakisPTA17
Sotiris Batsakis, Euripides G. M. Petrakis, Ilias Tachmazidis, Grigoris Antoniou:
Temporal representation and reasoning in OWL 2. Semantic Web 8(6): 981-1000 (2017)
2016
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/jodsn/StravoskoufosPM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jodsn/StravoskoufosPM16
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)
2014
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/ijait/PreventisPB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijait/PreventisPB14
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]
- view
  - electronic edition @ tmrfindia.org (archived)
  - no references & citations available
- export record
  dblp key:
  - journals/ijcsa/ErmolayevBKTA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijcsa/ErmolayevBKTA14
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)
2009
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/dke/BatsakisPM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dke/BatsakisPM09
Sotiris Batsakis, Euripides G. M. Petrakis, Evangelos E. Milios:
Improving the performance of focused web crawlers. Data Knowl. Eng. 68(10): 1001-1013 (2009)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/icassp/ChenBP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icassp/ChenBP23
Yuzhou Chen, Sotiris Batsakis, H. Vincent Poor:
Higher-Order Spatio-Temporal Neural Networks for Covid-19 Forecasting. ICASSP 2023: 1-5
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/iscc/BatsakisPTCAA23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscc/BatsakisPTCAA23
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ruleml/AntoniouB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/AntoniouB23
Grigoris Antoniou, Sotiris Batsakis:
Defeasible Reasoning with Large Language Models - Initial Experiments and Future Directions. RuleML+RR (Companion) 2023
2022
[c30]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cilc/RobaldoBCCFGMPS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/RobaldoBCCFGMPS22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/AlvianoBB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/AlvianoBB22
Mario Alviano, Sotiris Batsakis, George Baryannis:
Modal Logic S5 in Answer Set Programming with Lazy Creation of Worlds. LPNMR 2022: 16-28
2021
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/iisa/BatsakisA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iisa/BatsakisA21
Sotirios Batsakis, Grigoris Antoniou:
Reasoning over Bayesian Networks using Semantic Artificial Neural Networks. IISA 2021: 1-4
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/medes/BatsakisATAK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/medes/BatsakisATAK21
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
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/esws/BatsakisTBA20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esws/BatsakisTBA20
Sotirios Batsakis, Ilias Tachmazidis, George Baryannis, Grigoris Antoniou:
Semantic Artificial Neural Networks. ESWC (Satellite Events) 2020: 39-44
2018
[c25]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/jurix/BatsakisBGTA18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jurix/BatsakisBGTA18
Sotiris Batsakis, George Baryannis, Guido Governatori, Ilias Tachmazidis, Grigoris Antoniou:
Legal Representation and Reasoning in Practice: A Critical Comparison. JURIX 2018: 31-40
[c24]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/semweb/TachmazidisBDDA18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/TachmazidisBDDA18
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
2017
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/esws/TachmazidisBDDV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esws/TachmazidisBDDV17
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/semweb/TachmazidisDBDA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/TachmazidisDBDA17
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
2016
[c21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/iclp/BrentonFB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/BrentonFB16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/jist/TachmazidisDBAD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jist/TachmazidisDBAD16
Ilias Tachmazidis, John Davies, Sotiris Batsakis, Grigoris Antoniou, Alistair Duke, Sandra Stincic Clarke:
Hypercat RDF: Semantic Enrichment for IoT. JIST 2016: 273-286
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/micai/MantleBA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/micai/MantleBA16
Matthew Mantle, Sotirios Batsakis, Grigoris Antoniou:
Large Scale Reasoning Using Allen's Interval Algebra. MICAI (2) 2016: 29-41
2015
[c18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/CeruttiTVBGA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/CeruttiTVBGA15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/miwai/BatsakisTA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/miwai/BatsakisTA15
Sotiris Batsakis, Ilias Tachmazidis, Grigoris Antoniou:
Representing Time for the Semantic Web. MIWAI 2015: 3-15
2014
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/adbis/BatsakisAT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adbis/BatsakisAT14
Sotiris Batsakis, Grigoris Antoniou, Ilias Tachmazidis:
Reasoning over Spatial Orientation Relations Using Rules. ADBIS (2) 2014: 123-134
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/adbis/BatsakisAT14a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adbis/BatsakisAT14a
Sotiris Batsakis, Grigoris Antoniou, Ilias Tachmazidis:
Integrated Representation of Temporal Intervals and Durations for the Semantic Web. ADBIS (2) 2014: 147-158
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/ictai/AnagnostopoulosPB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictai/AnagnostopoulosPB14
Eleftherios Anagnostopoulos, Euripides G. M. Petrakis, Sotiris Batsakis:
CHRONOS: Improving the Performance of Qualitative Temporal Reasoning in OWL. ICTAI 2014: 309-315
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/miwai/BatsakisAT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/miwai/BatsakisAT14
Sotiris Batsakis, Grigoris Antoniou, Ilias Tachmazidis:
Integrated Representation of Spatial Topological and Size Relations for the Semantic Web. MIWAI 2014: 208-219
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/wims/AntoniouBT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wims/AntoniouBT14
Grigoris Antoniou, Sotiris Batsakis, Ilias Tachmazidis:
Large-Scale Reasoning with (Semantic) Data. WIMS 2014: 1:1-1:3
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/wims/BatsakisAT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wims/BatsakisAT14
Sotiris Batsakis, Grigoris Antoniou, Ilias Tachmazidis:
Representing and Reasoning over Topological Relations in OWL. WIMS 2014: 29:1-29:10
2013
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/kes/AnagnostopoulosBP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kes/AnagnostopoulosBP13
Eleftherios Anagnostopoulos, Sotiris Batsakis, Euripides G. M. Petrakis:
CHRONOS: A Reasoning Engine for Qualitative Temporal Information in OWL. KES 2013: 70-77
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/Batsakis13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/Batsakis13
Sotiris Batsakis:
Reasoning over 2D and 3D Directional Relations in OWL: A Rule-Based Approach. RuleML 2013: 37-51
2012
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/ictai/PreventisMPB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictai/PreventisMPB12
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ictai/ChristodoulouPB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictai/ChristodoulouPB12
George Christodoulou, Euripides G. M. Petrakis, Sotiris Batsakis:
Qualitative Spatial Reasoning Using Topological and Directional Information in OWL. ICTAI 2012: 596-602
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/BatsakisP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/BatsakisP12
Sotiris Batsakis, Euripides G. M. Petrakis:
Imposing Restrictions over Temporal Properties in OWL: A Rule-Based Approach. RuleML 2012: 240-247
2011
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/kes/BatsakisSP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kes/BatsakisSP11
Sotiris Batsakis, Kostas Stravoskoufos, Euripides G. M. Petrakis:
Temporal Reasoning for Supporting Temporal Queries in OWL 2.0. KES (1) 2011: 558-567
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/BatsakisP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/BatsakisP11
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]
- view
  authority control:
- export record
  dblp key:
  - conf/i-semantics/BatsakisP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/i-semantics/BatsakisP10
Sotiris Batsakis, Euripides G. M. Petrakis:
SOWL: spatio-temporal representation, reasoning and querying over the semantic web. I-SEMANTICS 2010
2009
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/ssd/BaratisPBMP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssd/BaratisPBMP09
Evdoxios Baratis, Euripides G. M. Petrakis, Sotiris Batsakis, Nikolaos Maris, Nikos Papadakis:
TOQL: Temporal Ontology Querying Language. SSTD 2009: 338-354
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/ssd/BaratisMPBP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssd/BaratisMPBP09
Evdoxios Baratis, Nikolaos Maris, Euripides G. M. Petrakis, Sotiris Batsakis, Nikos Papadakis:
The TOQL System. SSTD 2009: 450-454

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2023
[e3]
- view
- export record
  dblp key:
  - conf/iclp/2023w
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/2023w
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]
2016
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/icteri/2015s
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/2015s
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
[e1]
- view
- export record
  dblp key:
  - conf/icteri/2015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/2015
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]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2021
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2108-04194
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-04194
Mario Alviano, Sotiris Batsakis, George Baryannis:
Modal Logic S5 Satisfiability in Answer Set Programming. CoRR abs/2108.04194 (2021)
2020
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2008-01519
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-01519
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)
2018
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1804-07088
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1804-07088
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
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/TachmazidisBDDV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/TachmazidisBDDV17
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)
2014
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/CeruttiTVBGA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CeruttiTVBGA14
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)

Coauthor Index

see FAQ

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.