E-LIB Suche - Ergebnisse für: Batsakis, Sotiris

1

Compliance checking on first-order knowledge with conflicti..:

Robaldo, Livio ; Batsakis, Sotiris ; Calegari, Roberta...
Artificial Intelligence and Law. 32 (2023) 2 - p. 505-555 , 2023

Link: https://doi.org/10.1007/..

2

ADHD-KG: a knowledge graph of attention deficit hyperactivi..:

Papadakis, Emmanuel ; Baryannis, George ; Batsakis, Sotiris...
Health Information Science and Systems. 11 (2023) 1 - p. , 2023

Link: https://doi.org/10.1007/..

3

Diagnosing attention-deficit hyperactivity disorder (ADHD) ..:

Chen, Tianhua ; Tachmazidis, Ilias ; Batsakis, Sotiris...
Frontiers in Psychiatry. 14 (2023) - p. , 2023

Link: https://doi.org/10.3389/..

4

Higher-Order Spatio-Temporal Neural Networks for Covid-19 F..:

, In: ICASSP 2023 - 2023 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP),

Chen, Yuzhou ; Batsakis, Sotiris ; Poor, H. Vincent - p. 1-5 , 2023

Link: https://doi.org/10.1109/..

5

Modal Logic S5 in Answer Set Programming with Lazy Creation..:

, In: Logic Programming and Nonmonotonic Reasoning; Lecture Notes in Computer Science,

Alviano, Mario ; Batsakis, Sotiris ; Baryannis, George - p. 16-28 , 2022

Link: https://doi.org/10.1007/..

6

Knowledge-Based Artificial Intelligence: Methods and Applic..:

, In: Encyclopedia of Data Science and Machine Learning,

Batsakis, Sotiris ; Matsatsinis, Nikolaos - p. 3029-3041 , 2022

Link: https://doi.org/10.4018/..

7

Modal Logic S5 Satisfiability in Answer Set Programming:

ALVIANO, MARIO ; BATSAKIS, SOTIRIS ; BARYANNIS, GEORGE
Theory and Practice of Logic Programming. 21 (2021) 5 - p. 527-542 , 2021

Link: https://doi.org/10.1017/..

8

Data-Driven Decision Support for Autism Diagnosis using Mac..:

, In: Proceedings of the 13th International Conference on Management of Digital EcoSystems,

Batsakis, Sotiris ; Adamou, Marios ; Tachmazidis, Ilias.. - p. 30-34 , 2021

Link: https://dl.acm.org/doi/1..

9

A Generalised Approach for Encoding and Reasoning with Qual..:

BARYANNIS, GEORGE ; TACHMAZIDIS, ILIAS ; BATSAKIS, SOTIRIS...
Theory and Practice of Logic Programming. 20 (2020) 5 - p. 687-702 , 2020

Link: https://doi.org/10.1017/..

10

Enabling the use of a planning agent for urban traffic mana..:

Antoniou, Grigoris ; Batsakis, Sotiris ; Davies, John...
Transportation Research Part C: Emerging Technologies. 98 (2019) - p. 284-297 , 2019

Link: https://doi.org/10.1016/..

11

A survey of large-scale reasoning on the Web of data:

Antoniou, Grigoris ; Batsakis, Sotiris ; Mutharaju, Raghava...
The Knowledge Engineering Review. 33 (2018) - p. , 2018

Link: https://doi.org/10.1017/..

12

A Trajectory Calculus for Qualitative Spatial Reasoning Usi..:

BARYANNIS, GEORGE ; TACHMAZIDIS, ILIAS ; BATSAKIS, SOTIRIS...
Theory and Practice of Logic Programming. 18 (2018) 3-4 - p. 355-371 , 2018

Link: https://doi.org/10.1017/..

13

Representing and Reasoning over Topological Relations in OW:

, In: Proceedings of the 4th International Conference on Web Intelligence, Mining and Semantics (WIMS14),

Batsakis, Sotiris ; Antoniou, Grigoris ; Tachmazidis, Ilias - p. 1-10 , 2014

Link: https://dl.acm.org/doi/1..

14

Large-Scale Reasoning with (Semantic) Data:

, In: Proceedings of the 4th International Conference on Web Intelligence, Mining and Semantics (WIMS14),

Antoniou, Grigoris ; Batsakis, Sotiris ; Tachmazidis, Ilias - p. 1-3 , 2014

Link: https://dl.acm.org/doi/1..

15

CHRONOS: A Reasoning Engine for Qualitative Temporal Inform..:

Anagnostopoulos, Eleftherios ; Batsakis, Sotiris ; Petrakis, Euripides G.M.
Procedia Computer Science. 22 (2013) - p. 70-77 , 2013

Link: https://doi.org/10.1016/..