Ilias Tachmazidis
Ilias Tachmazidis
Senior Lecturer at University of Huddersfield
Geverifieerd e-mailadres voor hud.ac.uk - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Temporal representation and reasoning in OWL 2
S Batsakis, EGM Petrakis, I Tachmazidis, G Antoniou
Semantic Web 8 (6), 981-1000, 2017
382017
Large-scale parallel stratified defeasible reasoning
I Tachmazidis, G Antoniou, G Flouris, S Kotoulas, TL McCluskey
IOS Press 242, 738-743, 2012
322012
Design and evaluation of small–large outer joins in cloud computing environments
L Cheng, I Tachmazidis, S Kotoulas, G Antoniou
Journal of Parallel and Distributed Computing 110, 2-15, 2017
232017
Towards parallel nonmonotonic reasoning with billions of facts
I Tachmazidis, G Antoniou, G Flouris, S Kotoulas
thirteenth international conference on the principles of knowledge …, 2012
232012
Efficient computation of the well-founded semantics over big data
I Tachmazidis, G Antoniou, W Faber
Theory and Practice of Logic Programming 14 (4-5), 445-459, 2014
162014
Computing the stratified semantics of logic programs over big data through mass parallelization
I Tachmazidis, G Antoniou
International Workshop on Rules and Rule Markup Languages for the Semantic …, 2013
142013
Scalable Nonmonotonic Reasoning over RDF Data Using MapReduce.
I Tachmazidis, G Antoniou, G Flouris, S Kotoulas
SSWS+ HPCSW@ ISWC, 75-90, 2012
142012
A Hypercat-enabled semantic Internet of Things data hub
I Tachmazidis, S Batsakis, J Davies, A Duke, M Vallati, G Antoniou, ...
European Semantic Web Conference, 125-137, 2017
122017
Hypercat RDF: semantic enrichment for IoT
I Tachmazidis, J Davies, S Batsakis, G Antoniou, A Duke, SS Clarke
Joint International Semantic Technology Conference, 273-286, 2016
122016
Exploiting parallelism for hard problems in abstract argumentation
F Cerutti, I Tachmazidis, M Vallati, S Batsakis, M Giacomin, G Antoniou
Proceedings of The Twenty-Ninth AAAI Conference on Artificial Intelligence …, 2015
92015
A survey of large-scale reasoning on the Web of data
G Antoniou, S Batsakis, R Mutharaju, JZ Pan, G Qi, I Tachmazidis, ...
The Knowledge Engineering Review 33, 2018
82018
Integrated representation of temporal intervals and durations for the semantic web
S Batsakis, G Antoniou, I Tachmazidis
New Trends in Database and Information Systems II, 147-158, 2015
72015
Representing time and space for the semantic web
S Batsakis, I Tachmazidis, G Antoniou
International Journal on Artificial Intelligence Tools 26 (03), 1750015, 2017
62017
A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming
G Baryannis, I Tachmazidis, S Batsakis, G Antoniou, M Alviano, T Sellis, ...
Theory and Practice of Logic Programming 18 (3-4), 355-371, 2018
52018
Large-scale reasoning with (semantic) data
G Antoniou, S Batsakis, I Tachmazidis
Proceedings of the 4th International Conference on Web Intelligence, Mining …, 2014
52014
Representing and reasoning over topological relations in OWL
S Batsakis, G Antoniou, I Tachmazidis
Proceedings of the 4th International Conference on Web Intelligence, Mining …, 2014
52014
Legal Representation and Reasoning in Practice: A Critical Comparison.
S Batsakis, G Baryannis, G Governatori, I Tachmazidis, G Antoniou
JURIX, 31-40, 2018
42018
Legal reasoning and big data: opportunities and challenges
G Antoniou, G Baryannis, S Batsakis, G Governatori, L Robaldo, ...
Legal Reasoning and Big Data: Opportunities and Challenges, 2018
42018
A hypercat-enabled semantic internet of things data hub: Technical report
I Tachmazidis, S Batsakis, J Davies, A Duke, M Vallati, G Antoniou, ...
arXiv preprint arXiv:1703.00391, 2017
42017
Massively parallel reasoning under the well-founded semantics using X10
I Tachmazidis, L Cheng, S Kotoulas, G Antoniou, TE Ward
2014 IEEE 26th International Conference on Tools with Artificial …, 2014
42014
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20