The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Theofrastos Mantadelis" ( http://dblp.L3S.de/Authors/Theofrastos_Mantadelis )

  Author page on DBLP  Author page in RDF  Community of Theofrastos Mantadelis in ASPL-2

Publication years (Num. hits)
2010-2015 (16) 2016-2019 (9)
Publication types (Num. hits)
article(9) inproceedings(15) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 26 publication records. Showing 25 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Jorge Oliveira, Francesco Renna, Theofrastos Mantadelis, Miguel T. Coimbra Adaptive Sojourn Time HSMM for Heart Sound Segmentation. Search on Bibsonomy IEEE J. Biomedical and Health Informatics The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Stefano Bistarelli, Theofrastos Mantadelis A Possible World View and a Normal Form for the Constellation Semantics. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Theofrastos Mantadelis, Stefano Bistarelli A Preliminary Report on Probabilistic Attack Normal Form for Constellation Semantics. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Stefano Bistarelli, Theofrastos Mantadelis, Francesco Santini 0001, Carlo Taticchi Probabilistic Argumentation Frameworks with MetaProbLog and ConArg. Search on Bibsonomy ICTAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Stefano Bistarelli, Theofrastos Mantadelis, Francesco Santini 0001, Carlo Taticchi Using MetaProbLog and ConArg to compute Probabilistic Argumentation Frameworks. Search on Bibsonomy AI³@AI*IA The full citation details ... 2018 DBLP  BibTeX  RDF
1Theofrastos Mantadelis, Ricardo Rocha 0001 Using Iterative Deepening for Probabilistic Logic Inference. Search on Bibsonomy PADL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jorge Oliveira, Theofrastos Mantadelis, Francesco Renna, Pedro Gomes, Miguel Tavares Coimbra On modifying the temporal modeling of HSMMs for pediatric heart sound segmentation. Search on Bibsonomy SiPS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jorge Oliveira, Theofrastos Mantadelis, Miguel T. Coimbra Why should you model time when you use Markov models for heart sound analysis. Search on Bibsonomy EMBC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Lukas Navickas, Agnieszka Olszewska, Theofrastos Mantadelis CLASS: Contemplative landscape automated scoring system. Search on Bibsonomy MED The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Joana Côrte-Real, Theofrastos Mantadelis, Inês de Castro Dutra, Ricardo Rocha 0001 SkILL - a Stochastic Inductive Logic Learner. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Joana Côrte-Real, Theofrastos Mantadelis, Inês de Castro Dutra, Ricardo Rocha 0001, Elizabeth S. Burnside SkILL - A Stochastic Inductive Logic Learner. Search on Bibsonomy ICMLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Theofrastos Mantadelis, Jorge Oliveira, Miguel Tavares Coimbra Most Probable Explanation for MetaProbLog and Its Application in Heart Sound Segmentation. Search on Bibsonomy PLP@ICLP The full citation details ... 2015 DBLP  BibTeX  RDF
1Theofrastos Mantadelis, Dimitar Sht. Shterionov, Gerda Janssens Compacting Boolean Formulae for Inference in Probabilistic Logic Programming. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Koosha Paridel, Theofrastos Mantadelis, Ansar-Ul-Haque Yasar, Davy Preuveneers, Gerda Janssens, Yves Vanrompay, Yolande Berbers Analyzing the efficiency of context-based grouping on collaboration in VANETs with large-scale simulation. Search on Bibsonomy J. Ambient Intelligence and Humanized Computing The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Theofrastos Mantadelis, Ricardo Rocha 0001, Paulo Moura Tabling, Rational Terms, and Coinduction Finally Together! Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Theofrastos Mantadelis, Ricardo Rocha 0001, Paulo Moura Tabling, Rational Terms, and Coinduction Finally Together! Search on Bibsonomy TPLP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Dimitar Sht. Shterionov, Theofrastos Mantadelis, Gerda Janssens Pattern-Based Compaction for ProbLog Inference. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  BibTeX  RDF
1Theofrastos Mantadelis Efficient Algorithms for Prolog Based Probabilistic Logic Programming (Efficiënte algoritmen voor prolog gebaseerd probabilistisch logisch programmeren). (PDF / PS) Search on Bibsonomy 2012   RDF
1Theofrastos Mantadelis, Gerda Janssens Nesting Probabilistic Inference Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Theofrastos Mantadelis, Koosha Paridel, Gerda Janssens, Yves Vanrompay, Yolande Berbers Analysing a Publish/Subscribe System for Mobile Ad Hoc Networks with ProbLog. Search on Bibsonomy PADL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Dimitar Sht. Shterionov, Angelika Kimmig, Theofrastos Mantadelis, Gerda Janssens DNF Sampling for ProbLog Inference Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Theofrastos Mantadelis, Gerda Janssens Variable Compression in ProbLog. Search on Bibsonomy LPAR (Yogyakarta) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Theofrastos Mantadelis, Gerda Janssens Dedicated Tabling for a Probabilistic Setting. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Maurice Bruynooghe, Theofrastos Mantadelis, Angelika Kimmig, Bernd Gutmann, Joost Vennekens, Gerda Janssens, Luc De Raedt ProbLog Technology for Inference in a Probabilistic First Order Logic. Search on Bibsonomy ECAI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Theofrastos Mantadelis, Ricardo Rocha 0001, Angelika Kimmig, Gerda Janssens Preprocessing Boolean Formulae for BDDs in a Probabilistic Context. Search on Bibsonomy JELIA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #25 of 25 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license