Lead Researcher of A.I. for Mentally Healthy Cities Research Program
Scientific Board Member
Computer Science and Artificial intelligence
Theofrastos Mantadelis earned his Ph.D. from the Katholieke Universiteit Leuven, where he specialized in "Efficient Algorithms for Prolog-based Probabilistic Logic Programming."
He has been conducting research in the field of artificial intelligence since 2008. During his academic career, he has worked at the Katholieke Universiteit Leuven, the University of Porto, the University of Perugia, and the Open University of Cyprus.
He is currently an Assistant Professor at CTL Eurocollege in Cyprus.
Publications
Book
ProbLog technology for inference in a probabilistic first order logic, 2010, DOI: 10.3233/978-1-60750-606-5-719, EID:2-s2.0-77956045292, Contributors: Bruynooghe, M.; Mantadelis, T.; Kimmig, A.; Gutmann, B.; Vennekens, J.; Janssens, G.; De Raedt, L.
Variable compression in ProbLog, 2010, DOI:10.1007/978-3-642-16242-8-36, EID:2-s2.0-78449258440, Contributors: Mantadelis, T.; Janssens, G.
Conference paper/poster
"A Possible World View and a Normal Form for the Constellation Semantics, Logics in Artificial Intelligence," 2019, DOI: 10.1007/978-3-030-19570-0_4, Part of ISBN: 9783030195694.
"Using MetaProbLog and ConArg to compute Probabilistic Argumentation Frameworks," Proceedings of the 2nd Workshop on Advances In Argumentation In Artificial Intelligence, co-located with XVII International Conference of the Italian Association for Artificial Intelligence, AI\(^3\)@AI*IA 2018, 20-23 November 2018, Trento, Italy, 2018, URI: http://ceur-ws.org/Vol-2296/AI3-2018\_paper\_2.pdf.
Probabilistic Argumentation Frameworks with MetaProbLog and ConArg, 2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI), 2018, DOI: 10.1109/ictai.2018.00107.
"Using Iterative Deepening for Probabilistic Logic Inference," Practical Aspects of Declarative Languages, 2017, DOI: 10.1007/978-3-319-51676-9_14 , Part of ISBN: 9783319516752.
"On modifying the temporal modeling of HSMMs for pediatric heart sound segmentation," 2017 IEEE International Workshop on Signal Processing Systems (SiPS), 2017, DOI: 10.1109/sips.2017.8110004.
"Why should you model time when you use Markov models for heart sound analysis," 2016 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), 2016, DOI: 10.1109/embc.2016.7591470.
"CLASS: Contemplative landscape automated scoring system," 2016 24th Mediterranean Conference on Control and Automation (MED), 2016, DOI: 10.1109/med.2016.7535987.
"Compacting Boolean Formulae for Inference in Probabilistic Logic Programming," Logic Programming and Nonmonotonic Reasoning, 2015, DOI: 10.1007/978-3-319-23264-5_35, Part of ISBN: 9783319232638.
"SkILL - A Stochastic Inductive Logic Learner," 2015 IEEE 14th International Conference on Machine Learning and Applications (ICMLA), 2015, DOI: 10.1109/icmla.2015.159.
"Analysing a Publish/Subscribe System for Mobile Ad Hoc Networks with ProbLog," Practical Aspects of Declarative Languages, 2011, DOI: 10.1007/978-3-642-18378-2_5, Part of ISBN: 9783642183775.
"DNF sampling for ProbLog inference," 2010, EID:2-s2.0-84886643653, Contributors: Shterionov, D.S.; Kimmig, A.; Mantadelis, T.; Janssens, G.
"Preprocessing Boolean Formulae for BDDs in a Probabilistic Context," Logics in Artificial Intelligence, 2010, DOI: 10.1007/978-3-642-15675-5_23, Part of ISBN: 9783642156748.
"Variable Compression in ProbLog," Logic for Programming, Artificial Intelligence, and Reasoning, 2010, DOI: 10.1007/978-3-642-16242-8_36, Part of ISBN: 9783642162411.
Journal articles
"Probabilistic abstract argumentation frameworks, a possible world view," International Journal of Approximate Reasoning, 2020, DOI: 10.1016/j.ijar.2019.12.006, Part of ISSN: 0888-613X.
"Adaptive Sojourn Time HSMM for Heart Sound Segmentation," IEEE Journal of Biomedical and Health Informatics, 2019, DOI: 10.1109/jbhi.2018.2841197, Part of ISSN: 2168-2194.
"Analyzing the efficiency of context-based grouping on collaboration in VANETs with large-scale simulation," Journal of Ambient Intelligence and Humanized Computing, 2014, DOI: 10.1007/s12652-012-0115-1, Part of ISSN: 1868-5137.
"Tabling, Rational Terms, and Coinduction Finally Together!," Theory and Practice of Logic Programming, 2014, DOI: 10.1017/s147106841400012x, Part of ISSN: 1471-0684.
"Dedicated Tabling for a Probabilistic Setting," Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany, 2010, DOI: 10.4230/LIPICS.ICLP.2010.124.