Theofrastos Mantadelis

发表

A simplified fast interface for the use of CUDD for Binary Decision Diagrams

Bart Demoen, Gerda Janssens, Theofrastos Mantadelis, 2008 .

Probabilistic Argumentation Frameworks with MetaProbLog and ConArg

Stefano Bistarelli, Francesco Santini, Carlo Taticchi, 2018, 2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI).

On modifying the temporal modeling of HSMMs for pediatric heart sound segmentation

Miguel Tavares Coimbra, Francesco Renna, Theofrastos Mantadelis, 2017, 2017 IEEE International Workshop on Signal Processing Systems (SiPS).

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).

A Possible World View and a Normal Form for the Constellation Semantics

Stefano Bistarelli, Theofrastos Mantadelis, 2019, JELIA.

Variable Compression in ProbLog

Gerda Janssens, Theofrastos Mantadelis, 2010, LPAR.

Compacting Boolean Formulae for Inference in Probabilistic Logic Programming

Gerda Janssens, Theofrastos Mantadelis, Dimitar Sht. Shterionov, 2015, LPNMR.

Pattern-Based Compaction for ProbLog Inference

Gerda Janssens, Theofrastos Mantadelis, Dimitar Sht. Shterionov, 2013, Theory Pract. Log. Program..

Why should you model time when you use Markov models for heart sound analysis

Miguel Tavares Coimbra, Theofrastos Mantadelis, Jorge Oliveira, 2016, 2016 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC).

Nesting Probabilistic Inference pdf

Gerda Janssens, Theofrastos Mantadelis, 2011, ArXiv.

DNF Sampling for ProbLog Inference pdf

Gerda Janssens, Angelika Kimmig, Theofrastos Mantadelis, 2010, ICLP 2010.

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

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

Adaptive Sojourn Time HSMM for Heart Sound Segmentation

Francesco Renna, Theofrastos Mantadelis, Miguel Coimbra, 2019, IEEE Journal of Biomedical and Health Informatics.

A Preliminary Report on Probabilistic Attack Normal Form for Constellation Semantics pdf

Stefano Bistarelli, Theofrastos Mantadelis, 2018, ArXiv.

Dedicated Tabling for a Probabilistic Setting

Gerda Janssens, Theofrastos Mantadelis, 2010, ICLP.

Analysing a Publish/Subscribe System for Mobile Ad Hoc Networks with ProbLog

Gerda Janssens, Yolande Berbers, Theofrastos Mantadelis, 2011, PADL.

Variable compression in ProbLog (technical report)

Gerda Janssens, Theofrastos Mantadelis, 2010 .

Using MetaProbLog and ConArg to compute Probabilistic Argumentation Frameworks

Stefano Bistarelli, Francesco Santini, Carlo Taticchi, 2018, AI³@AI*IA.

Analyzing the efficiency of context-based grouping on collaboration in VANETs with large-scale simulation

Gerda Janssens, Yolande Berbers, Ansar-Ul-Haque Yasar, 2014, J. Ambient Intell. Humaniz. Comput..

Tabling relevant parts of SLD proofs for ground goals in a probabilistic setting

Gerda Janssens, Theofrastos Mantadelis, 2009 .

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

Theofrastos Mantadelis, 2012 .

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).

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 .

ProbLog Technology for Inference in a Probabilistic First Order Logic

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

Probabilistic abstract argumentation frameworks, a possible world view

Stefano Bistarelli, Theofrastos Mantadelis, 2020, Int. J. Approx. Reason..

Using Iterative Deepening for Probabilistic Logic Inference

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