Theofrastos Mantadelis

According to our database, Theofrastos Mantadelis authored at least 26 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Advancing Mental Health with Immersive Virtual Reality: Benefits, Challenges, and Emerging Trends.

Christos Gkoumas, Leonidas Bourikas, Theofrastos Mantadelis, Eirini Karakasidou

Proceedings of the IEEE International Symposium on Mixed and Augmented Reality Adjunct, 2024

2020

Probabilistic abstract argumentation frameworks, a possible world view.

Theofrastos Mantadelis, Stefano Bistarelli

Int. J. Approx. Reason., 2020

2019

Adaptive Sojourn Time HSMM for Heart Sound Segmentation.

Jorge Oliveira, Francesco Renna, Theofrastos Mantadelis, Miguel T. Coimbra

IEEE J. Biomed. Health Informatics, 2019

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

Stefano Bistarelli, Theofrastos Mantadelis

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

2018

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

Theofrastos Mantadelis, Stefano Bistarelli

CoRR, 2018

Probabilistic Argumentation Frameworks with MetaProbLog and ConArg.

Stefano Bistarelli, Theofrastos Mantadelis, Francesco Santini, Carlo Taticchi

Proceedings of the IEEE 30th International Conference on Tools with Artificial Intelligence, 2018

Using MetaProbLog and ConArg to compute Probabilistic Argumentation Frameworks.

Stefano Bistarelli, Theofrastos Mantadelis, Francesco Santini, Carlo Taticchi

Proceedings of the 2nd Workshop on Advances In Argumentation In Artificial Intelligence, 2018

2017

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

Jorge Oliveira, Theofrastos Mantadelis, Francesco Renna, Pedro Gomes, Miguel Tavares Coimbra

Proceedings of the 2017 IEEE International Workshop on Signal Processing Systems, 2017

Using Iterative Deepening for Probabilistic Logic Inference.

Theofrastos Mantadelis, Ricardo Rocha

Proceedings of the Practical Aspects of Declarative Languages, 2017

2016

CLASS: Contemplative landscape automated scoring system.

Lukas Navickas, Agnieszka Olszewska, Theofrastos Mantadelis

Proceedings of the 24th Mediterranean Conference on Control and Automation, 2016

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

Jorge Oliveira, Theofrastos Mantadelis, Miguel T. Coimbra

Proceedings of the 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2016

2015

SkILL - a Stochastic Inductive Logic Learner.

Joana Côrte-Real, Theofrastos Mantadelis, Inês de Castro Dutra, Ricardo Rocha

CoRR, 2015

Compacting Boolean Formulae for Inference in Probabilistic Logic Programming.

Theofrastos Mantadelis, Dimitar Sht. Shterionov, Gerda Janssens

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

SkILL - A Stochastic Inductive Logic Learner.

Joana Côrte-Real, Theofrastos Mantadelis, Inês de Castro Dutra, Ricardo Rocha, Elizabeth S. Burnside

Proceedings of the 14th IEEE International Conference on Machine Learning and Applications, 2015

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

Theofrastos Mantadelis, Jorge Oliveira, Miguel Tavares Coimbra

Proceedings of the 2nd International Workshop on Probabilistic Logic Programming co-located with 31st International Conference on Logic Programming (ICLP 2015), 2015

2014

Tabling, Rational Terms, and Coinduction Finally Together!

Theofrastos Mantadelis, Ricardo Rocha, Paulo Moura

Theory Pract. Log. Program., 2014

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

2013

Pattern-Based Compaction for ProbLog Inference.

Dimitar Sht. Shterionov, Theofrastos Mantadelis, Gerda Janssens

Theory Pract. Log. Program., 2013

2012

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

Theofrastos Mantadelis

PhD thesis, 2012

2011

Nesting Probabilistic Inference

Theofrastos Mantadelis, Gerda Janssens

CoRR, 2011

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

Theofrastos Mantadelis, Koosha Paridel, Gerda Janssens, Yves Vanrompay, Yolande Berbers

Proceedings of the Practical Aspects of Declarative Languages, 2011

2010

DNF Sampling for ProbLog Inference

Dimitar Sht. Shterionov, Angelika Kimmig, Theofrastos Mantadelis, Gerda Janssens

CoRR, 2010

Variable Compression in ProbLog.

Theofrastos Mantadelis, Gerda Janssens

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

Preprocessing Boolean Formulae for BDDs in a Probabilistic Context.

Theofrastos Mantadelis, Ricardo Rocha, Angelika Kimmig, Gerda Janssens

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

Dedicated Tabling for a Probabilistic Setting.

Theofrastos Mantadelis, Gerda Janssens

Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010

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

Proceedings of the ECAI 2010, 2010