Theofrastos Mantadelis
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
9
Active years
2010–2024
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ISMAR | Advancing Mental Health with Immersive Virtual Reality: Benefits, Challenges, and Emerging Trends. | Christos Gkoumas, Leonidas Bourikas, Theofrastos Mantadelis, Eirini Karakasidou |
| 2019 | JELIA | A Possible World View and a Normal Form for the Constellation Semantics. | Stefano Bistarelli, Theofrastos Mantadelis |
| 2018 | ICTAI | Probabilistic Argumentation Frameworks with MetaProbLog and ConArg. | Stefano Bistarelli, Theofrastos Mantadelis, Francesco Santini, Carlo Taticchi |
| 2017 | PADL | Using Iterative Deepening for Probabilistic Logic Inference. | Theofrastos Mantadelis, Ricardo Rocha |
| 2015 | ICLP | Most Probable Explanation for MetaProbLog and Its Application in Heart Sound Segmentation. | Theofrastos Mantadelis, Jorge Oliveira, Miguel Tavares Coimbra |
| 2015 | ICMLA | SkILL - A Stochastic Inductive Logic Learner. | Joana Crte-Real, Theofrastos Mantadelis, Ins de Castro Dutra, Ricardo Rocha, Elizabeth S. Burnside |
| 2015 | LPNMR | Compacting Boolean Formulae for Inference in Probabilistic Logic Programming. | Theofrastos Mantadelis, Dimitar Sht. Shterionov, Gerda Janssens |
| 2011 | PADL | Analysing a Publish/Subscribe System for Mobile Ad Hoc Networks with ProbLog. | Theofrastos Mantadelis, Koosha Paridel, Gerda Janssens, Yves Vanrompay, Yolande Berbers |
| 2010 | ECAI | 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 |
| 2010 | ICLP | Dedicated Tabling for a Probabilistic Setting. | Theofrastos Mantadelis, Gerda Janssens |
| 2010 | JELIA | Preprocessing Boolean Formulae for BDDs in a Probabilistic Context. | Theofrastos Mantadelis, Ricardo Rocha, Angelika Kimmig, Gerda Janssens |
| 2010 | LPAR | Variable Compression in ProbLog. | Theofrastos Mantadelis, Gerda Janssens |