Theofrastos Mantadelis
Theofrastos Mantadelis
Unknown affiliation
No verified email
Title
Cited by
Cited by
Year
Towards digesting the alphabet-soup of statistical relational learning
L De Raedt, B Demoen, D Fierens, B Gutmann, G Janssens, A Kimmig, ...
NIPS* 2008 Workshop Probabilistic Programming, Date: 2008/12/13-2008/12/13 …, 2008
532008
Dedicated tabling for a probabilistic setting
T Mantadelis, G Janssens
Technical Communications of the 26th International Conference on Logic …, 2010
332010
Problog technology for inference in a probabilistic first order logic
M Bruynooghe, T Mantadelis, A Kimmig, B Gutmann, J Vennekens, ...
ECAI 2010-19th European Conference on Artificial Intelligence 215, 719-724, 2010
222010
Analyzing the efficiency of context-based grouping on collaboration in VANETs with large-scale simulation
K Paridel, T Mantadelis, D Preuveneers, G Janssens, Y Vanrompay, ...
Journal of Ambient Intelligence and Humanized Computing 5 (4), 475-490, 2014
202014
Nesting probabilistic inference
T Mantadelis, G Janssens
arXiv preprint arXiv:1112.3785, 2011
182011
Adaptive sojourn time HSMM for heart sound segmentation
J Oliveira, F Renna, T Mantadelis, M Coimbra
IEEE journal of biomedical and health informatics 23 (2), 642-649, 2018
122018
SkILL-a stochastic inductive logic learner
J Côrte-Real, T Mantadelis, I Dutra, R Roha, E Burnside
2015 IEEE 14th International Conference on Machine Learning and Applications …, 2015
122015
Probabilistic argumentation frameworks with metaproblog and conarg
S Bistarelli, T Mantadelis, F Santini, C Taticchi
2018 IEEE 30th International Conference on Tools with Artificial …, 2018
112018
DNF sampling for ProbLog inference
DS Shterionov, A Kimmig, T Mantadelis, G Janssens
arXiv preprint arXiv:1009.3798, 2010
102010
Tabling, Rational Terms, and Coinduction Finally Together!
T Mantadelis, R Rocha, P Moura
arXiv preprint arXiv:1405.2794, 2014
92014
Preprocessing boolean formulae for bdds in a probabilistic context
T Mantadelis, R Rocha, A Kimmig, G Janssens
European Workshop on Logics in Artificial Intelligence, 260-272, 2010
92010
Tabling relevant parts of SLD proofs for ground goals in a probabilistic setting
T Mantadelis, G Janssens
International Colloquium on Implementation of Constraint and LOgic …, 2009
92009
Probabilistic abstract argumentation frameworks, a possible world view
T Mantadelis, S Bistarelli
International Journal of Approximate Reasoning 119, 204-219, 2020
62020
Using iterative deepening for probabilistic logic inference
T Mantadelis, R Rocha
International Symposium on Practical Aspects of Declarative Languages, 198-213, 2017
62017
CLASS: Contemplative landscape automated scoring system
L Navickas, A Olszewska, T Mantadelis
2016 24th Mediterranean Conference on Control and Automation (MED), 1180-1185, 2016
62016
Compacting boolean formulae for inference in probabilistic logic programming
T Mantadelis, D Shterionov, G Janssens
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2015
52015
Efficient algorithms for prolog based probabilistic logic programming
T Mantadelis
PhD thesis, Informatics Section, Department of Computer Science, Faculty of …, 2012
52012
Why should you model time when you use Markov models for heart sound analysis
J Oliveira, T Mantadelis, M Coimbra
2016 38th Annual International Conference of the IEEE Engineering in …, 2016
32016
Variable compression in ProbLog
T Mantadelis, G Janssens
International Conference on Logic for Programming Artificial Intelligence …, 2010
32010
A possible world view and a normal form for the constellation semantics
S Bistarelli, T Mantadelis
European Conference on Logics in Artificial Intelligence, 58-68, 2019
22019
The system can't perform the operation now. Try again later.
Articles 1–20