Theofrastos Mantadelis

ORCID

Publication Activity (10 Years)

Years Active: 2010-2020
Publications (10 Years): 10

Top Venues

CoRR

Theory Pract. Log. Program.

AI³@AI*IA

MED

Katholieke Universiteit Leuven, Belgium (PHD)

Education History

Katholieke Universiteit Leuven, Belgium

PHD

Publications

Theofrastos Mantadelis, Stefano Bistarelli
Probabilistic abstract argumentation frameworks, a possible world view. Int. J. Approx. Reason. 119 (2020)
Stefano Bistarelli, Theofrastos Mantadelis
A Possible World View and a Normal Form for the Constellation Semantics. JELIA (2019)
Jorge Oliveira, Francesco Renna, Theofrastos Mantadelis, Miguel T. Coimbra
Adaptive Sojourn Time HSMM for Heart Sound Segmentation. IEEE J. Biomed. Health Informatics 23 (2) (2019)
Stefano Bistarelli, Theofrastos Mantadelis, Francesco Santini, Carlo Taticchi
Using MetaProbLog and ConArg to compute Probabilistic Argumentation Frameworks. AI³@AI*IA (2018)
Theofrastos Mantadelis, Stefano Bistarelli
A Preliminary Report on Probabilistic Attack Normal Form for Constellation Semantics. CoRR (2018)
Stefano Bistarelli, Theofrastos Mantadelis, Francesco Santini, Carlo Taticchi
Probabilistic Argumentation Frameworks with MetaProbLog and ConArg. ICTAI (2018)
Theofrastos Mantadelis, Ricardo Rocha
Using Iterative Deepening for Probabilistic Logic Inference. PADL (2017)
Jorge Oliveira, Theofrastos Mantadelis, Francesco Renna, Pedro Gomes, Miguel Tavares Coimbra
On modifying the temporal modeling of HSMMs for pediatric heart sound segmentation. SiPS (2017)
Lukas Navickas, Agnieszka Olszewska, Theofrastos Mantadelis
CLASS: Contemplative landscape automated scoring system. MED (2016)
Jorge Oliveira, Theofrastos Mantadelis, Miguel T. Coimbra
Why should you model time when you use Markov models for heart sound analysis. EMBC (2016)
Theofrastos Mantadelis, Dimitar Sht. Shterionov, Gerda Janssens
Compacting Boolean Formulae for Inference in Probabilistic Logic Programming. LPNMR (2015)
Joana Côrte-Real, Theofrastos Mantadelis, Inês de Castro Dutra, Ricardo Rocha
SkILL - a Stochastic Inductive Logic Learner. CoRR (2015)
Theofrastos Mantadelis, Jorge Oliveira, Miguel Tavares Coimbra
Most Probable Explanation for MetaProbLog and Its Application in Heart Sound Segmentation. PLP@ICLP (2015)
Joana Côrte-Real, Theofrastos Mantadelis, Inês de Castro Dutra, Ricardo Rocha, Elizabeth S. Burnside
SkILL - A Stochastic Inductive Logic Learner. ICMLA (2015)
Koosha Paridel, Theofrastos Mantadelis, Ansar-Ul-Haque Yasar, Davy Preuveneers, Gerda Janssens, Yves Vanrompay, Yolande Berbers
Analyzing the efficiency of context-based grouping on collaboration in VANETs with large-scale simulation. J. Ambient Intell. Humaniz. Comput. 5 (4) (2014)
Theofrastos Mantadelis, Ricardo Rocha, Paulo Moura
Tabling, Rational Terms, and Coinduction Finally Together! Theory Pract. Log. Program. 14 (4-5) (2014)
Theofrastos Mantadelis, Ricardo Rocha, Paulo Moura
Tabling, Rational Terms, and Coinduction Finally Together! CoRR (2014)
Dimitar Sht. Shterionov, Theofrastos Mantadelis, Gerda Janssens
Pattern-Based Compaction for ProbLog Inference. Theory Pract. Log. Program. 13 (4-5-Online-Supplement) (2013)
Theofrastos Mantadelis, Koosha Paridel, Gerda Janssens, Yves Vanrompay, Yolande Berbers
Analysing a Publish/Subscribe System for Mobile Ad Hoc Networks with ProbLog. PADL (2011)
Theofrastos Mantadelis, Gerda Janssens
Nesting Probabilistic Inference CoRR (2011)
Theofrastos Mantadelis, Gerda Janssens
Variable Compression in ProbLog. LPAR (Yogyakarta) (2010)
Dimitar Sht. Shterionov, Angelika Kimmig, Theofrastos Mantadelis, Gerda Janssens
DNF Sampling for ProbLog Inference CoRR (2010)
Maurice Bruynooghe, Theofrastos Mantadelis, Angelika Kimmig, Bernd Gutmann, Joost Vennekens, Gerda Janssens, Luc De Raedt
ProbLog Technology for Inference in a Probabilistic First Order Logic. ECAI (2010)
Theofrastos Mantadelis, Gerda Janssens
Dedicated Tabling for a Probabilistic Setting. ICLP (Technical Communications) (2010)
Theofrastos Mantadelis, Ricardo Rocha, Angelika Kimmig, Gerda Janssens
Preprocessing Boolean Formulae for BDDs in a Probabilistic Context. JELIA (2010)

Theofrastos Mantadelis.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Theofrastos Mantadelis