Theofrastos Mantadelis

Orcid: 0000-0002-9188-7764

According to our database1, Theofrastos Mantadelis authored at least 25 papers between 2010 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Probabilistic abstract argumentation frameworks, a possible world view.
Int. J. Approx. Reason., 2020

2019
Adaptive Sojourn Time HSMM for Heart Sound Segmentation.
IEEE J. Biomed. Health Informatics, 2019

A Possible World View and a Normal Form for the Constellation Semantics.
Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

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

Probabilistic Argumentation Frameworks with MetaProbLog and ConArg.
Proceedings of the IEEE 30th International Conference on Tools with Artificial Intelligence, 2018

Using MetaProbLog and ConArg to compute Probabilistic Argumentation Frameworks.
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.
Proceedings of the 2017 IEEE International Workshop on Signal Processing Systems, 2017

Using Iterative Deepening for Probabilistic Logic Inference.
Proceedings of the Practical Aspects of Declarative Languages, 2017

2016
CLASS: Contemplative landscape automated scoring system.
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.
Proceedings of the 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2016

2015
SkILL - a Stochastic Inductive Logic Learner.
CoRR, 2015

Compacting Boolean Formulae for Inference in Probabilistic Logic Programming.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

SkILL - A Stochastic Inductive Logic Learner.
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.
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!
Theory Pract. Log. Program., 2014

Analyzing the efficiency of context-based grouping on collaboration in VANETs with large-scale simulation.
J. Ambient Intell. Humaniz. Comput., 2014

2013
Pattern-Based Compaction for ProbLog Inference.
Theory Pract. Log. Program., 2013

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

2011
Nesting Probabilistic Inference
CoRR, 2011

Analysing a Publish/Subscribe System for Mobile Ad Hoc Networks with ProbLog.
Proceedings of the Practical Aspects of Declarative Languages, 2011

2010
DNF Sampling for ProbLog Inference
CoRR, 2010

Variable Compression in ProbLog.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

Preprocessing Boolean Formulae for BDDs in a Probabilistic Context.
Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

Dedicated Tabling for a Probabilistic Setting.
Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010

ProbLog Technology for Inference in a Probabilistic First Order Logic.
Proceedings of the ECAI 2010, 2010


  Loading...