Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/ismar/GkoumasBMK24
AU - Gkoumas, Christos
AU - Bourikas, Leonidas
AU - Mantadelis, Theofrastos
AU - Karakasidou, Eirini
TI - Advancing Mental Health with Immersive Virtual Reality: Benefits, Challenges, and Emerging Trends.
BT - IEEE International Symposium on Mixed and Augmented Reality Adjunct, ISMAR 2024, Bellevue, WA, USA, October 21-25, 2024
SP - 273
EP - 280
PY - 2024//
DO - 10.1109/ISMAR-ADJUNCT64951.2024.00064
UR - https://doi.org/10.1109/ISMAR-Adjunct64951.2024.00064
ER -
TY - JOUR
ID - DBLP:journals/ijar/MantadelisB20
AU - Mantadelis, Theofrastos
AU - Bistarelli, Stefano
TI - Probabilistic abstract argumentation frameworks, a possible world view.
JO - Int. J. Approx. Reason.
VL - 119
SP - 204
EP - 219
PY - 2020//
DO - 10.1016/J.IJAR.2019.12.006
UR - https://doi.org/10.1016/j.ijar.2019.12.006
ER -
TY - JOUR
ID - DBLP:journals/titb/OliveiraRMC19
AU - Oliveira, Jorge
AU - Renna, Francesco
AU - Mantadelis, Theofrastos
AU - Coimbra, Miguel T.
TI - Adaptive Sojourn Time HSMM for Heart Sound Segmentation.
JO - IEEE J. Biomed. Health Informatics
VL - 23
IS - 2
SP - 642
EP - 649
PY - 2019//
DO - 10.1109/JBHI.2018.2841197
UR - https://doi.org/10.1109/JBHI.2018.2841197
UR - https://www.wikidata.org/entity/Q89555873
ER -
TY - CPAPER
ID - DBLP:conf/jelia/BistarelliM19
AU - Bistarelli, Stefano
AU - Mantadelis, Theofrastos
TI - A Possible World View and a Normal Form for the Constellation Semantics.
BT - Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings
SP - 58
EP - 68
PY - 2019//
DO - 10.1007/978-3-030-19570-0_4
UR - https://doi.org/10.1007/978-3-030-19570-0_4
ER -
TY - CPAPER
ID - DBLP:conf/aiia/BistarelliM0T18
AU - Bistarelli, Stefano
AU - Mantadelis, Theofrastos
AU - Santini, Francesco
AU - Taticchi, Carlo
TI - Using MetaProbLog and ConArg to compute Probabilistic Argumentation Frameworks.
BT - Proceedings of the 2nd Workshop on Advances In Argumentation In Artificial Intelligence, co-located with XVII International Conference of the Italian Association for Artificial Intelligence, AI³@AI*IA 2018, 20-23 November 2018, Trento, Italy
SP - 6
EP - 10
PY - 2018//
UR - https://ceur-ws.org/Vol-2296/AI3-2018_paper_2.pdf
ER -
TY - CPAPER
ID - DBLP:conf/ictai/BistarelliM0T18
AU - Bistarelli, Stefano
AU - Mantadelis, Theofrastos
AU - Santini, Francesco
AU - Taticchi, Carlo
TI - Probabilistic Argumentation Frameworks with MetaProbLog and ConArg.
BT - IEEE 30th International Conference on Tools with Artificial Intelligence, ICTAI 2018, 5-7 November 2018, Volos, Greece.
SP - 675
EP - 679
PY - 2018//
DO - 10.1109/ICTAI.2018.00107
UR - https://doi.org/10.1109/ICTAI.2018.00107
UR - https://doi.ieeecomputersociety.org/10.1109/ICTAI.2018.00107
ER -
TY - Informal or Other Publication
ID - DBLP:journals/corr/abs-1810-00771
AU - Mantadelis, Theofrastos
AU - Bistarelli, Stefano
TI - A Preliminary Report on Probabilistic Attack Normal Form for Constellation Semantics.
JO - CoRR
VL - abs/1810.00771
PY - 2018//
UR - http://arxiv.org/abs/1810.00771
ER -
TY - CPAPER
ID - DBLP:conf/padl/MantadelisR17
AU - Mantadelis, Theofrastos
AU - Rocha, Ricardo
TI - Using Iterative Deepening for Probabilistic Logic Inference.
BT - Practical Aspects of Declarative Languages - 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings
SP - 198
EP - 213
PY - 2017//
DO - 10.1007/978-3-319-51676-9_14
UR - https://doi.org/10.1007/978-3-319-51676-9_14
ER -
TY - CPAPER
ID - DBLP:conf/sips/OliveiraMRGC17
AU - Oliveira, Jorge
AU - Mantadelis, Theofrastos
AU - Renna, Francesco
AU - Gomes, Pedro
AU - Coimbra, Miguel Tavares
TI - On modifying the temporal modeling of HSMMs for pediatric heart sound segmentation.
BT - 2017 IEEE International Workshop on Signal Processing Systems, SiPS 2017, Lorient, France, October 3-5, 2017
SP - 1
EP - 6
PY - 2017//
DO - 10.1109/SIPS.2017.8110004
UR - https://doi.org/10.1109/SiPS.2017.8110004
ER -
TY - CPAPER
ID - DBLP:conf/embc/OliveiraMC16
AU - Oliveira, Jorge
AU - Mantadelis, Theofrastos
AU - Coimbra, Miguel T.
TI - Why should you model time when you use Markov models for heart sound analysis.
BT - 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2016, Orlando, FL, USA, August 16-20, 2016
SP - 3449
EP - 3452
PY - 2016//
DO - 10.1109/EMBC.2016.7591470
UR - https://doi.org/10.1109/EMBC.2016.7591470
UR - https://www.wikidata.org/entity/Q47943826
ER -
TY - CPAPER
ID - DBLP:conf/med/NavickasOM16
AU - Navickas, Lukas
AU - Olszewska, Agnieszka
AU - Mantadelis, Theofrastos
TI - CLASS: Contemplative landscape automated scoring system.
BT - 24th Mediterranean Conference on Control and Automation, MED 2016, Athens, Greece, June 21-24, 2016
SP - 1180
EP - 1185
PY - 2016//
DO - 10.1109/MED.2016.7535987
UR - https://doi.org/10.1109/MED.2016.7535987
ER -
TY - CPAPER
ID - DBLP:conf/iclp/MantadelisOC15
AU - Mantadelis, Theofrastos
AU - Oliveira, Jorge
AU - Coimbra, Miguel Tavares
TI - Most Probable Explanation for MetaProbLog and Its Application in Heart Sound Segmentation.
BT - Proceedings of the 2nd International Workshop on Probabilistic Logic Programming co-located with 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31st, 2015.
SP - 39
EP - 45
PY - 2015//
UR - https://ceur-ws.org/Vol-1413/paper-03.pdf
ER -
TY - CPAPER
ID - DBLP:conf/icmla/Corte-RealMDRB15
AU - Côrte-Real, Joana
AU - Mantadelis, Theofrastos
AU - Dutra, Inês de Castro
AU - Rocha, Ricardo
AU - Burnside, Elizabeth S.
TI - SkILL - A Stochastic Inductive Logic Learner.
BT - 14th IEEE International Conference on Machine Learning and Applications, ICMLA 2015, Miami, FL, USA, December 9-11, 2015
SP - 555
EP - 558
PY - 2015//
DO - 10.1109/ICMLA.2015.159
UR - https://doi.org/10.1109/ICMLA.2015.159
ER -
TY - CPAPER
ID - DBLP:conf/lpnmr/MantadelisSJ15
AU - Mantadelis, Theofrastos
AU - Shterionov, Dimitar Sht.
AU - Janssens, Gerda
TI - Compacting Boolean Formulae for Inference in Probabilistic Logic Programming.
BT - Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings
SP - 425
EP - 438
PY - 2015//
DO - 10.1007/978-3-319-23264-5_35
UR - https://doi.org/10.1007/978-3-319-23264-5_35
ER -
TY - Informal or Other Publication
ID - DBLP:journals/corr/Corte-RealMDR15
AU - Côrte-Real, Joana
AU - Mantadelis, Theofrastos
AU - Dutra, Inês de Castro
AU - Rocha, Ricardo
TI - SkILL - a Stochastic Inductive Logic Learner.
JO - CoRR
VL - abs/1506.00893
PY - 2015//
UR - http://arxiv.org/abs/1506.00893
ER -
TY - JOUR
ID - DBLP:journals/jaihc/ParidelMYPJVB14
AU - Paridel, Koosha
AU - Mantadelis, Theofrastos
AU - Yasar, Ansar-Ul-Haque
AU - Preuveneers, Davy
AU - Janssens, Gerda
AU - Vanrompay, Yves
AU - Berbers, Yolande
TI - Analyzing the efficiency of context-based grouping on collaboration in VANETs with large-scale simulation.
JO - J. Ambient Intell. Humaniz. Comput.
VL - 5
IS - 4
SP - 475
EP - 490
PY - 2014//
DO - 10.1007/S12652-012-0115-1
UR - https://doi.org/10.1007/s12652-012-0115-1
ER -
TY - JOUR
ID - DBLP:journals/tplp/MantadelisRM14
AU - Mantadelis, Theofrastos
AU - Rocha, Ricardo
AU - Moura, Paulo
TI - Tabling, Rational Terms, and Coinduction Finally Together!
JO - Theory Pract. Log. Program.
VL - 14
IS - 4-5
SP - 429
EP - 443
PY - 2014//
DO - 10.1017/S147106841400012X
UR - https://doi.org/10.1017/S147106841400012X
ER -
TY - Informal or Other Publication
ID - DBLP:journals/corr/MantadelisRM14
AU - Mantadelis, Theofrastos
AU - Rocha, Ricardo
AU - Moura, Paulo
TI - Tabling, Rational Terms, and Coinduction Finally Together!
JO - CoRR
VL - abs/1405.2794
PY - 2014//
UR - http://arxiv.org/abs/1405.2794
ER -
TY - JOUR
ID - DBLP:journals/tplp/ShterionovMJ13
AU - Shterionov, Dimitar Sht.
AU - Mantadelis, Theofrastos
AU - Janssens, Gerda
TI - Pattern-Based Compaction for ProbLog Inference.
JO - Theory Pract. Log. Program.
VL - 13
IS - 4-5-Online-Supplement
PY - 2013//
UR - http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013017.pdf
ER -
TY - THES
ID - DBLP:phd/basesearch/Mantadelis12
AU - Mantadelis, Theofrastos
TI - Efficient Algorithms for Prolog Based Probabilistic Logic Programming (Efficiënte algoritmen voor prolog gebaseerd probabilistisch logisch programmeren).
PY - 2012//
UR - https://lirias.kuleuven.be/handle/123456789/362695
UR - https://lirias.kuleuven.be/bitstream/123456789/362695/1/thesis.pdf
UR - https://www.base-search.net/Record/a86803740bd6c2342ec4261c3ca80854239c8c45a8294ba30687740b2c98a04c
ER -
TY - CPAPER
ID - DBLP:conf/padl/MantadelisPJVB11
AU - Mantadelis, Theofrastos
AU - Paridel, Koosha
AU - Janssens, Gerda
AU - Vanrompay, Yves
AU - Berbers, Yolande
TI - Analysing a Publish/Subscribe System for Mobile Ad Hoc Networks with ProbLog.
BT - Practical Aspects of Declarative Languages - 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings
SP - 34
EP - 37
PY - 2011//
DO - 10.1007/978-3-642-18378-2_5
UR - https://doi.org/10.1007/978-3-642-18378-2_5
ER -
TY - Informal or Other Publication
ID - DBLP:journals/corr/abs-1112-3785
AU - Mantadelis, Theofrastos
AU - Janssens, Gerda
TI - Nesting Probabilistic Inference
JO - CoRR
VL - abs/1112.3785
PY - 2011//
UR - http://arxiv.org/abs/1112.3785
ER -
TY - CPAPER
ID - DBLP:conf/ecai/BruynoogheMKGVJR10
AU - Bruynooghe, Maurice
AU - Mantadelis, Theofrastos
AU - Kimmig, Angelika
AU - Gutmann, Bernd
AU - Vennekens, Joost
AU - Janssens, Gerda
AU - Raedt, Luc De
TI - ProbLog Technology for Inference in a Probabilistic First Order Logic.
BT - ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings
SP - 719
EP - 724
PY - 2010//
DO - 10.3233/978-1-60750-606-5-719
UR - https://doi.org/10.3233/978-1-60750-606-5-719
ER -
TY - CPAPER
ID - DBLP:conf/iclp/MantadelisJ10
AU - Mantadelis, Theofrastos
AU - Janssens, Gerda
TI - Dedicated Tabling for a Probabilistic Setting.
BT - Technical Communications of the 26th International Conference on Logic Programming, ICLP 2010, July 16-19, 2010, Edinburgh, Scotland, UK
SP - 124
EP - 133
PY - 2010//
DO - 10.4230/LIPICS.ICLP.2010.124
UR - https://doi.org/10.4230/LIPIcs.ICLP.2010.124
ER -
TY - CPAPER
ID - DBLP:conf/jelia/MantadelisRKJ10
AU - Mantadelis, Theofrastos
AU - Rocha, Ricardo
AU - Kimmig, Angelika
AU - Janssens, Gerda
TI - Preprocessing Boolean Formulae for BDDs in a Probabilistic Context.
BT - Logics in Artificial Intelligence - 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings
SP - 260
EP - 272
PY - 2010//
DO - 10.1007/978-3-642-15675-5_23
UR - https://doi.org/10.1007/978-3-642-15675-5_23
ER -
TY - CPAPER
ID - DBLP:conf/lpar/MantadelisJ10
AU - Mantadelis, Theofrastos
AU - Janssens, Gerda
TI - Variable Compression in ProbLog.
BT - Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
SP - 504
EP - 518
PY - 2010//
DO - 10.1007/978-3-642-16242-8_36
UR - https://doi.org/10.1007/978-3-642-16242-8_36
ER -
TY - Informal or Other Publication
ID - DBLP:journals/corr/abs-1009-3798
AU - Shterionov, Dimitar Sht.
AU - Kimmig, Angelika
AU - Mantadelis, Theofrastos
AU - Janssens, Gerda
TI - DNF Sampling for ProbLog Inference
JO - CoRR
VL - abs/1009.3798
PY - 2010//
UR - http://arxiv.org/abs/1009.3798
ER -
