Theofrastos Mantadelis

Using Iterative Deepening for Probabilistic Logic Inference

Ricardo Rocha, Theofrastos Mantadelis, Ricardo Rocha, 2017, PADL.

Preprocessing Boolean Formulae for BDDs in a Probabilistic Context

Angelika Kimmig, Ricardo Rocha, Gerda Janssens, 2010, JELIA.

From ProbLog to first order logic: A first exploration

L. D. Raedt, M. Bruynooghe, Angelika Kimmig, 2009 .

Pattern-Based Compaction for ProbLog Inference (Extended Abstract)

Gerda Janssens, Theofrastos Mantadelis, D. Shterionov, 2013 .

ProbLog Technology for Inference in a Probabilistic First Order Logic

Luc De Raedt, Gerda Janssens, Maurice Bruynooghe, 2010, ECAI.

SkILL - A Stochastic Inductive Logic Learner

Ricardo Rocha, Elizabeth S. Burnside, Joana Côrte-Real, 2015, 2015 IEEE 14th International Conference on Machine Learning and Applications (ICMLA).

Towards digesting the alphabet-soup of statistical relational learning

Luc De Raedt, Wannes Meert, Bart Demoen, 2008 .

CLASS: Contemplative landscape automated scoring system

Theofrastos Mantadelis, Lukas Navickas, Agnieszka Olszewska, 2016, 2016 24th Mediterranean Conference on Control and Automation (MED).

Most Probable Explanation for MetaProbLog and Its Application in Heart Sound Segmentation

Miguel Tavares Coimbra, Theofrastos Mantadelis, Jorge Oliveira, 2015, PLP@ICLP.

Under Consideration for Publication in Theory and Practice of Logic Programming 1 Tabling, Rational Terms, and Coinduction Finally Together!

Ricardo Rocha, Theofrastos Mantadelis, Paulo Moura, 2022 .