Personal information

Activities

Employment (1)

University of Huddersfield: Huddersfield, Kirklees, GB

Employment
Source: Self-asserted source
ILIAS TACHMAZIDIS

Works (15)

Exploiting parallelism for hard problems in abstract argumentation

Proceedings of the National Conference on Artificial Intelligence
2015 | Conference paper
EID:

2-s2.0-84959898756

Contributors: Cerutti, F.; Tachmazidis, I.; Vallati, M.; Batsakis, S.; Giacomin, M.; Antoniou, G.
Source: Self-asserted source
ILIAS TACHMAZIDIS via Scopus - Elsevier

Integrated Representation of Temporal Intervals and Durations for the Semantic Web

Advances in Intelligent Systems and Computing
2015 | Book
EID:

2-s2.0-84906692397

Contributors: Batsakis, S.; Antoniou, G.; Tachmazidis, I.
Source: Self-asserted source
ILIAS TACHMAZIDIS via Scopus - Elsevier

Massively Parallel Reasoning under the Well-Founded Semantics Using X10

Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI
2015 | Conference paper
EID:

2-s2.0-84946547871

Contributors: Tachmazidis, I.; Cheng, L.; Kotoulas, S.; Antoniou, G.; Ward, T.E.
Source: Self-asserted source
ILIAS TACHMAZIDIS via Scopus - Elsevier

Reasoning over Spatial Orientation Relations Using Rules

Advances in Intelligent Systems and Computing
2015 | Book
EID:

2-s2.0-84906673351

Contributors: Batsakis, S.; Antoniou, G.; Tachmazidis, I.
Source: Self-asserted source
ILIAS TACHMAZIDIS via Scopus - Elsevier

Representing time for the semantic web

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2015 | Book
EID:

2-s2.0-84952327518

Contributors: Batsakis, S.; Tachmazidis, I.; Antoniou, G.
Source: Self-asserted source
ILIAS TACHMAZIDIS via Scopus - Elsevier

Efficient computation of the well-founded semantics over big data

Theory and Practice of Logic Programming
2014 | Journal article
EID:

2-s2.0-84904606010

Contributors: Tachmazidis, I.; Antoniou, G.; Faber, W.
Source: Self-asserted source
ILIAS TACHMAZIDIS via Scopus - Elsevier

Integrated representation of spatial topological and size relations for the semantic web

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2014 | Book
EID:

2-s2.0-84911901533

Contributors: Batsakis, S.; Antoniou, G.; Tachmazidis, I.
Source: Self-asserted source
ILIAS TACHMAZIDIS via Scopus - Elsevier

Large-scale complex reasoning with semantics: Approaches and challenges

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2014 | Book
EID:

2-s2.0-84927521621

Contributors: Antoniou, G.; Pan, J.Z.; Tachmazidis, I.
Source: Self-asserted source
ILIAS TACHMAZIDIS via Scopus - Elsevier

Large-scale reasoning with (semantic) data

ACM International Conference Proceeding Series
2014 | Conference paper
EID:

2-s2.0-84903625045

Contributors: Antoniou, G.; Batsakis, S.; Tachmazidis, I.
Source: Self-asserted source
ILIAS TACHMAZIDIS via Scopus - Elsevier

Representing and reasoning over topological relations in OWL

ACM International Conference Proceeding Series
2014 | Conference paper
EID:

2-s2.0-84903625042

Contributors: Batsakis, S.; Antoniou, G.; Tachmazidis, I.
Source: Self-asserted source
ILIAS TACHMAZIDIS via Scopus - Elsevier

Using Hadoop to implement a semantic method of assessing the quality of research medical datasets

ACM International Conference Proceeding Series
2014 | Conference paper
EID:

2-s2.0-84985911894

Contributors: Bonner, S.; Kureshi, I.; Antoniou, G.; Corsair, D.; Moss, L.; Tachmazidis, I.
Source: Self-asserted source
ILIAS TACHMAZIDIS via Scopus - Elsevier

Computing the stratified semantics of logic programs over big data through mass parallelization

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2013 | Book
EID:

2-s2.0-84880989849

Contributors: Tachmazidis, I.; Antoniou, G.
Source: Self-asserted source
ILIAS TACHMAZIDIS via Scopus - Elsevier

Large-scale parallel stratified defeasible reasoning

Frontiers in Artificial Intelligence and Applications
2012 | Book
EID:

2-s2.0-84878790110

Contributors: Tachmazidis, I.; Antoniou, G.; Flouris, G.; Kotoulas, S.; McCluskey, L.
Source: Self-asserted source
ILIAS TACHMAZIDIS via Scopus - Elsevier

Scalable nonmonotonic reasoning over RDF data using MapReduce

CEUR Workshop Proceedings
2012 | Conference paper
EID:

2-s2.0-84892651101

Contributors: Tachmazidis, I.; Antoniou, G.; Flouris, G.; Kotoulas, S.
Source: Self-asserted source
ILIAS TACHMAZIDIS via Scopus - Elsevier

Towards parallel nonmonotonic reasoning with billions of facts

13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012
2012 | Conference paper
EID:

2-s2.0-84893366675

Contributors: Tachmazidis, I.; Antoniou, G.; Flouris, G.; Kotoulas, S.
Source: Self-asserted source
ILIAS TACHMAZIDIS via Scopus - Elsevier