From ProbLog to First Order Logic: A First Exploration. - Joost Vennekens; Angelika Kimmig; Theofrastos Mantadelis; Bernd Gutmann; Luc De Raedt; Maurice Bruynooghe (MLG/SRL@ILP, 2009)

ProbLog Technology for Inference in a Probabilistic First Order Logic. - Maurice Bruynooghe; Theofrastos Mantadelis; Angelika Kimmig; Bernd Gutmann; Joost Vennekens; Gerda Janssens; Luc De Raedt (ECAI, 2010)

Dedicated Tabling for a Probabilistic Setting. - Theofrastos Mantadelis; Gerda Janssens (ICLP (Technical Communications), 2010)

Preprocessing Boolean Formulae for BDDs in a Probabilistic Context. - Theofrastos Mantadelis; Ricardo Rocha 001; Angelika Kimmig; Gerda Janssens (JELIA, 2010)

Variable Compression in ProbLog. - Theofrastos Mantadelis; Gerda Janssens (LPAR (Yogyakarta), 2010)

DNF Sampling for ProbLog Inference - Dimitar Sht. Shterionov; Angelika Kimmig; Theofrastos Mantadelis; Gerda Janssens (CoRR, 2010)

Analysing a Publish/Subscribe System for Mobile Ad Hoc Networks with ProbLog. - Theofrastos Mantadelis; Koosha Paridel; Gerda Janssens; Yves Vanrompay; Yolande Berbers (PADL, 2011)

Nesting Probabilistic Inference - Theofrastos Mantadelis; Gerda Janssens (CoRR, 2011)

Efficient Algorithms for Prolog Based Probabilistic Logic Programming (Efficiënte algoritmen voor prolog gebaseerd probabilistisch logisch programmeren). - Theofrastos Mantadelis (2012)

Pattern-Based Compaction for ProbLog Inference. - Dimitar Sht. Shterionov; Theofrastos Mantadelis; Gerda Janssens (Theory Pract. Log. Program., 2013)

Analyzing the efficiency of context-based grouping on collaboration in VANETs with large-scale simulation. - Koosha Paridel; Theofrastos Mantadelis; Ansar-Ul-Haque Yasar; Davy Preuveneers; Gerda Janssens; Yves Vanrompay; Yolande Berbers (J. Ambient Intell. Humaniz. Comput., 2014)

Tabling, Rational Terms, and Coinduction Finally Together! - Theofrastos Mantadelis; Ricardo Rocha 001; Paulo Moura (Theory Pract. Log. Program., 2014)

Most Probable Explanation for MetaProbLog and Its Application in Heart Sound Segmentation. - Theofrastos Mantadelis; Jorge Oliveira 002; Miguel Tavares Coimbra (PLP@ICLP, 2015)

SkILL - A Stochastic Inductive Logic Learner. - Joana Côrte-Real; Theofrastos Mantadelis; Inês de Castro Dutra; Ricardo Rocha 001; Elizabeth S. Burnside (ICMLA, 2015)

Compacting Boolean Formulae for Inference in Probabilistic Logic Programming. - Theofrastos Mantadelis; Dimitar Sht. Shterionov; Gerda Janssens (LPNMR, 2015)

SkILL - a Stochastic Inductive Logic Learner. - Joana Côrte-Real; Theofrastos Mantadelis; Inês de Castro Dutra; Ricardo Rocha 001 (CoRR, 2015)

Why should you model time when you use Markov models for heart sound analysis. - Jorge Oliveira 002; Theofrastos Mantadelis; Miguel T. Coimbra (EMBC, 2016)

CLASS: Contemplative landscape automated scoring system. - Lukas Navickas; Agnieszka Olszewska; Theofrastos Mantadelis (MED, 2016)

Using Iterative Deepening for Probabilistic Logic Inference. - Theofrastos Mantadelis; Ricardo Rocha 001 (PADL, 2017)

On modifying the temporal modeling of HSMMs for pediatric heart sound segmentation. - Jorge Oliveira 002; Theofrastos Mantadelis; Francesco Renna; Pedro Gomes; Miguel Tavares Coimbra (SiPS, 2017)

Using MetaProbLog and ConArg to compute Probabilistic Argumentation Frameworks. - Stefano Bistarelli; Theofrastos Mantadelis; Francesco Santini 001; Carlo Taticchi (AI³@AI*IA, 2018)

Probabilistic Argumentation Frameworks with MetaProbLog and ConArg. - Stefano Bistarelli; Theofrastos Mantadelis; Francesco Santini 001; Carlo Taticchi (ICTAI, 2018)

A Preliminary Report on Probabilistic Attack Normal Form for Constellation Semantics. - Theofrastos Mantadelis; Stefano Bistarelli (CoRR, 2018)

A Possible World View and a Normal Form for the Constellation Semantics. - Stefano Bistarelli; Theofrastos Mantadelis (JELIA, 2019)

Adaptive Sojourn Time HSMM for Heart Sound Segmentation. - Jorge Oliveira 002; Francesco Renna; Theofrastos Mantadelis; Miguel T. Coimbra (IEEE J. Biomed. Health Informatics, 2019)

Probabilistic abstract argumentation frameworks, a possible world view. - Theofrastos Mantadelis; Stefano Bistarelli (Int. J. Approx. Reason., 2020)

Advancing Mental Health with Immersive Virtual Reality: Benefits, Challenges, and Emerging Trends. - Christos Gkoumas; Leonidas Bourikas; Theofrastos Mantadelis; Eirini Karakasidou (ISMAR-Adjunct, 2024)