Dr Theofrastos Mantadelis

Assistant Professor in the
Computing Field

 Contact details

	25736501
	25736629
	t.mantadelis@ctleuro.ac.cy

Brief description
Theofrastos Mantadelis gained his Ph.D from the Katholieke Universiteit of Leuven. Since 2008, he has been doing research in the field of Artificial Intelligence and more specifically in Logic programming, optimisations, statistical relational learning, compilation of graphical models, complexity theory, satisfaction problems, abstract argumentation frameworks and recommendation systems. He has worked for the Katholieke Universiteit of Leuven, University of Porto, University of Perugia and the Open University of Cyprus. He has been involved in several European projects and has published over 30 articles in international journals and conferences. His work has been published in international journals including, International Journal of Approximate Reasoning, Journal of Theory and Practice of Logic Programming, Journal of Ambient Intelligence and Humanized Computing and Journal of Biomedical and Health Informatics. Additionally, his work has been presented in international conferences such as, European Conference on Artificial Intelligence, International Conference on Logic Programming, International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Lately he is interested in the application of Artificial Intelligence in agriculture and has founded the portal dimetra.eu. 

ACADEMIC QUALIFICATIONS 

2008 – 2012: PhD in Computer Science, Katholieke Universiteit of Leuven, Belgium,

Thesis: Efficient Algorithms for Prolog-Based Probabilistic Logic Programming

2006 – 2007: MSc in Artificial Intelligence, Katholieke Universiteit of Leuven, Belgium,

Thesis: Software Security through Targeted Diversification

2000 – 2005: BEngg in Electronic Calculating Systems Engineering, Polytechnic University of Piraeus, Greece,

Thesis: Digital Image Treatment, Abstraction of Noise with Wavelets 

EMPLOYMENT HISTORY 

9/2023 – present: Assistant Professor (Ctl Eurocollege, Cyprus)

10/2021 – 5/2023: Assistant Professor (Ledra College, Cyprus)

2018 – present: Research Associate (Maastricht School of Management (MSM), Netherlands)

10/2012 – 1/2020: Senior Researcher (Post-Doc)

1/2019 – 1/2020: Open University of Cyprus & RISE: Research center for Interactive media Smart systems and Emerging technologies, Cyprus.

11/2017 – 1/2019: University of Perugia, Italy.

11/2013 – 6/2017: University of Porto, Portugal.

10/2012 – 4/2013: Katholieke Universiteit of Leuven, Belgium.

4/2008 – 10/2012: Junior Researcher (PhD) (Katholieke Universiteit of Leuven, Belgium) 

SCHOLARSHIPS / PROJECTS AWARDED

Argumentation for ChatBot 4.0,

Computational and Persuasion Aspects in Argumentation (ComPAARg)

SIBILA (NORTE-07-124-FEDER-000059)

Concurrency in Probabilistic Logic Programming (AE2015-0063)

Concurrency and Optimizations in Probabilistic Logic Programming (SMILeS-PL02024)

GOA/08/008 Probabilistic Logic Learning 

PUBLISHED PAPERS, ABSTRACTS AND ARTICLES

C. Gkoumas, L. Bourikas, T. Mantadelis and E. Karakasidou, "Advancing Mental Health with Immersive Virtual Reality: Benefits, Challenges, and Emerging Trends," 2024 IEEE International Symposium on Mixed and Augmented Reality Adjunct (ISMAR-Adjunct), Bellevue, WA, USA, 2024, pp. 273-280, doi: 10.1109/ISMAR-Adjunct64951.2024.00064. https://ieeexplore.ieee.org/document/10765141

https://www.computer.org/csdl/proceedings/ismar-adjunct/2024/22lD2906I2A

IJAR 2020: Mantadelis T., Bistarelli S. - Probabilistic Abstract Argumentation Frameworks, A Possible World View

JELIA 2019: Bistarelli S., Mantadelis T. - A Possible World View and a Normal Form for the Constellation Semantics.

JBHI 2018: Jorge Oliveira, Francesco Renna, Theofrastos Mantadelis, Miguel Coimbra – Adaptive Sojourn Time HSMM for Heart Sound Segmentation.

PADL 2017: Mantadelis T., Rocha R. – Using Iterative Deepening for Probabilistic Logic Inference.

EMBC 2016: Oliveira J., Mantadelis T., Coimbra M. – Why should you model time when you use Markov Models for heart sound analysis.

LPNMR 2015: Mantadelis T., Shterionov D., Janssens G. – Compacting Boolean Formulae for Inference in Probabilistic Logic Programming.

TPLP 2014: Mantadelis T., Rocha R., Moura P. – Tabling, Rational Terms, and Coinduction Finally Together!

ICLP 2013: Shterionov D., Mantadelis T., Janssens G. – Pattern-Based Compaction for ProbLog Inference.

JAIHC 2012: Paridel K., Mantadelis T., Yasar A., Preuveneers D., Janssens G., Vanrompay Y., Berbers Y. – Analyzing the efficiency of context-based grouping on collaboration in VANETs with large-scale simulation.