Follow
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
582008
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
442018
Dedicated tabling for a probabilistic setting
T Mantadelis, G Janssens
Technical Communications of the 26th International Conference on Logic …, 2010
382010
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
302010
Probabilistic abstract argumentation frameworks, a possible world view
T Mantadelis, S Bistarelli
International Journal of Approximate Reasoning 119, 204-219, 2020
262020
Analyzing the efficiency of context-based grouping on collaboration in VANETs with large-scale simulation
K Paridel, T Mantadelis, AUH Yasar, D Preuveneers, G Janssens, ...
Journal of Ambient Intelligence and Humanized Computing 5 (4), 475-490, 2014
212014
Nesting probabilistic inference
T Mantadelis, G Janssens
arXiv preprint arXiv:1112.3785, 2011
212011
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
152015
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
142018
DNF sampling for ProbLog inference
DS Shterionov, A Kimmig, T Mantadelis, G Janssens
arXiv preprint arXiv:1009.3798, 2010
112010
Preprocessing boolean formulae for bdds in a probabilistic context
T Mantadelis, R Rocha, A Kimmig, G Janssens
Logics in Artificial Intelligence: 12th European Conference, JELIA 2010 …, 2010
102010
Tabling, rational terms, and coinduction finally together!
T Mantadelis, R Rocha, P Moura
Theory and Practice of Logic Programming 14 (4-5), 429-443, 2014
92014
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
Using iterative deepening for probabilistic logic inference
T Mantadelis, R Rocha
Practical Aspects of Declarative Languages: 19th International Symposium …, 2017
82017
CLASS: Contemplative landscape automated scoring system
L Navickas, A Olszewska, T Mantadelis
2016 24th Mediterranean Conference on Control and Automation (MED), 1180-1185, 2016
72016
On modifying the temporal modeling of HSMMs for pediatric heart sound segmentation
J Oliveira, T Mantadelis, F Renna, P Gomes, M Coimbra
2017 IEEE International Workshop on Signal Processing Systems (SiPS), 1-6, 2017
62017
Compacting boolean formulae for inference in probabilistic logic programming
T Mantadelis, D Shterionov, G Janssens
Logic Programming and Nonmonotonic Reasoning: 13th International Conference …, 2015
52015
Efficient algorithms for prolog based probabilistic logic programming
T Mantadelis
PhD thesis, Informatics Section, Department of Computer Science, Faculty of …, 2012
52012
Using MetaProbLog and ConArg to compute Probabilistic Argumentation Frameworks.
S Bistarelli, T Mantadelis, F Santini, C Taticchi
AI³@ AI* IA, 6-10, 2018
42018
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
The system can't perform the operation now. Try again later.
Articles 1–20