Theofrastos Mantadelis

28 papers A 1B 4C 3Journal 10Unranked 9
YearRankTypeTitle / Venue / Authors
2024 — conf
Advancing Mental Health with Immersive Virtual Reality: Benefits, Challenges, and Emerging Trends.
ISMAR-Adjunct
Christos Gkoumas, Leonidas Bourikas, Theofrastos Mantadelis, Eirini Karakasidou
2020 J jnl
Probabilistic abstract argumentation frameworks, a possible world view.
Int. J. Approx. Reason.
Theofrastos Mantadelis, Stefano Bistarelli
2019 B conf
A Possible World View and a Normal Form for the Constellation Semantics.
JELIA
Stefano Bistarelli, Theofrastos Mantadelis
2019 J jnl
Adaptive Sojourn Time HSMM for Heart Sound Segmentation.
IEEE J. Biomed. Health Informatics
Jorge Oliveira, Francesco Renna, Theofrastos Mantadelis, Miguel T. Coimbra
2018 J jnl
A Preliminary Report on Probabilistic Attack Normal Form for Constellation Semantics.
CoRR
Theofrastos Mantadelis, Stefano Bistarelli
2018 B conf
Probabilistic Argumentation Frameworks with MetaProbLog and ConArg.
ICTAI
Stefano Bistarelli, Theofrastos Mantadelis, Francesco Santini, Carlo Taticchi
2018 — conf
Using MetaProbLog and ConArg to compute Probabilistic Argumentation Frameworks.
AI³@AI*IA
Stefano Bistarelli, Theofrastos Mantadelis, Francesco Santini, Carlo Taticchi
2017 — conf
On modifying the temporal modeling of HSMMs for pediatric heart sound segmentation.
SiPS
Jorge Oliveira, Theofrastos Mantadelis, Francesco Renna, Pedro Gomes, Miguel Tavares Coimbra
2017 C conf
Using Iterative Deepening for Probabilistic Logic Inference.
PADL
Theofrastos Mantadelis, Ricardo Rocha
2016 — conf
CLASS: Contemplative landscape automated scoring system.
MED
Lukas Navickas, Agnieszka Olszewska, Theofrastos Mantadelis
2016 — conf
Why should you model time when you use Markov models for heart sound analysis.
EMBC
Jorge Oliveira, Theofrastos Mantadelis, Miguel T. Coimbra
2015 B conf
Compacting Boolean Formulae for Inference in Probabilistic Logic Programming.
LPNMR
Theofrastos Mantadelis, Dimitar Sht. Shterionov, Gerda Janssens
2015 — conf
Most Probable Explanation for MetaProbLog and Its Application in Heart Sound Segmentation.
PLP@ICLP
Theofrastos Mantadelis, Jorge Oliveira, Miguel Tavares Coimbra
2015 C conf
SkILL - A Stochastic Inductive Logic Learner.
ICMLA
Joana Côrte-Real, Theofrastos Mantadelis, Inês de Castro Dutra, Ricardo Rocha, Elizabeth S. Burnside
2015 J jnl
SkILL - a Stochastic Inductive Logic Learner.
CoRR
Joana Côrte-Real, Theofrastos Mantadelis, Inês de Castro Dutra, Ricardo Rocha
2014 J jnl
Analyzing the efficiency of context-based grouping on collaboration in VANETs with large-scale simulation.
J. Ambient Intell. Humaniz. Comput.
Koosha Paridel, Theofrastos Mantadelis, Ansar-Ul-Haque Yasar, Davy Preuveneers, Gerda Janssens, Yves Vanrompay, Yolande Berbers
2014 J jnl
Tabling, Rational Terms, and Coinduction Finally Together!
CoRR
Theofrastos Mantadelis, Ricardo Rocha, Paulo Moura
2014 J jnl
Tabling, Rational Terms, and Coinduction Finally Together!
Theory Pract. Log. Program.
Theofrastos Mantadelis, Ricardo Rocha, Paulo Moura
2013 J jnl
Pattern-Based Compaction for ProbLog Inference.
Theory Pract. Log. Program.
Dimitar Sht. Shterionov, Theofrastos Mantadelis, Gerda Janssens
2012 — —
Efficient Algorithms for Prolog Based Probabilistic Logic Programming (Efficiënte algoritmen voor prolog gebaseerd probabilistisch logisch programmeren).
Theofrastos Mantadelis
2011 C conf
Analysing a Publish/Subscribe System for Mobile Ad Hoc Networks with ProbLog.
PADL
Theofrastos Mantadelis, Koosha Paridel, Gerda Janssens, Yves Vanrompay, Yolande Berbers
2011 J jnl
Nesting Probabilistic Inference
CoRR
Theofrastos Mantadelis, Gerda Janssens
2010 J jnl
DNF Sampling for ProbLog Inference
CoRR
Dimitar Sht. Shterionov, Angelika Kimmig, Theofrastos Mantadelis, Gerda Janssens
2010 — conf
Dedicated Tabling for a Probabilistic Setting.
ICLP (Technical Communications)
Theofrastos Mantadelis, Gerda Janssens
2010 B conf
Preprocessing Boolean Formulae for BDDs in a Probabilistic Context.
JELIA
Theofrastos Mantadelis, Ricardo Rocha, Angelika Kimmig, Gerda Janssens
2010 A conf
ProbLog Technology for Inference in a Probabilistic First Order Logic.
ECAI
Maurice Bruynooghe, Theofrastos Mantadelis, Angelika Kimmig, Bernd Gutmann, Joost Vennekens, Gerda Janssens, Luc De Raedt
2010 — conf
Variable Compression in ProbLog.
LPAR (Yogyakarta)
Theofrastos Mantadelis, Gerda Janssens
2009 — conf
From ProbLog to First Order Logic: A First Exploration.
MLG/SRL@ILP
Joost Vennekens, Angelika Kimmig, Theofrastos Mantadelis, Bernd Gutmann, Luc De Raedt, Maurice Bruynooghe