default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheofrastos Mantadelis
Person information
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c16]Christos Gkoumas, Leonidas Bourikas, Theofrastos Mantadelis, Eirini Karakasidou:
Advancing Mental Health with Immersive Virtual Reality: Benefits, Challenges, and Emerging Trends. ISMAR-Adjunct 2024: 273-280- 2020
- [j5]Theofrastos Mantadelis
, Stefano Bistarelli:
Probabilistic abstract argumentation frameworks, a possible world view. Int. J. Approx. Reason. 119: 204-219 (2020)
2010 – 2019
- 2019
- [j4]Jorge Oliveira, Francesco Renna, Theofrastos Mantadelis, Miguel T. Coimbra:
Adaptive Sojourn Time HSMM for Heart Sound Segmentation. IEEE J. Biomed. Health Informatics 23(2): 642-649 (2019) - [c15]Stefano Bistarelli, Theofrastos Mantadelis:
A Possible World View and a Normal Form for the Constellation Semantics. JELIA 2019: 58-68 - 2018
- [c14]Stefano Bistarelli, Theofrastos Mantadelis, Francesco Santini, Carlo Taticchi:
Using MetaProbLog and ConArg to compute Probabilistic Argumentation Frameworks. AI³@AI*IA 2018: 6-10 - [c13]Stefano Bistarelli, Theofrastos Mantadelis, Francesco Santini, Carlo Taticchi:
Probabilistic Argumentation Frameworks with MetaProbLog and ConArg. ICTAI 2018: 675-679 - [i5]Theofrastos Mantadelis, Stefano Bistarelli:
A Preliminary Report on Probabilistic Attack Normal Form for Constellation Semantics. CoRR abs/1810.00771 (2018) - 2017
- [c12]Theofrastos Mantadelis, Ricardo Rocha:
Using Iterative Deepening for Probabilistic Logic Inference. PADL 2017: 198-213 - [c11]Jorge Oliveira, Theofrastos Mantadelis, Francesco Renna, Pedro Gomes, Miguel Tavares Coimbra:
On modifying the temporal modeling of HSMMs for pediatric heart sound segmentation. SiPS 2017: 1-6 - 2016
- [c10]Jorge Oliveira, Theofrastos Mantadelis, Miguel T. Coimbra:
Why should you model time when you use Markov models for heart sound analysis. EMBC 2016: 3449-3452 - [c9]Lukas Navickas, Agnieszka Olszewska, Theofrastos Mantadelis:
CLASS: Contemplative landscape automated scoring system. MED 2016: 1180-1185 - 2015
- [c8]Theofrastos Mantadelis, Jorge Oliveira, Miguel Tavares Coimbra:
Most Probable Explanation for MetaProbLog and Its Application in Heart Sound Segmentation. PLP@ICLP 2015: 39-45 - [c7]Joana Côrte-Real, Theofrastos Mantadelis, Inês de Castro Dutra, Ricardo Rocha, Elizabeth S. Burnside:
SkILL - A Stochastic Inductive Logic Learner. ICMLA 2015: 555-558 - [c6]Theofrastos Mantadelis, Dimitar Sht. Shterionov, Gerda Janssens:
Compacting Boolean Formulae for Inference in Probabilistic Logic Programming. LPNMR 2015: 425-438 - [i4]Joana Côrte-Real, Theofrastos Mantadelis, Inês de Castro Dutra, Ricardo Rocha:
SkILL - a Stochastic Inductive Logic Learner. CoRR abs/1506.00893 (2015) - 2014
- [j3]Koosha 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. J. Ambient Intell. Humaniz. Comput. 5(4): 475-490 (2014) - [j2]Theofrastos Mantadelis, Ricardo Rocha, Paulo Moura:
Tabling, Rational Terms, and Coinduction Finally Together! Theory Pract. Log. Program. 14(4-5): 429-443 (2014) - [i3]Theofrastos Mantadelis, Ricardo Rocha, Paulo Moura:
Tabling, Rational Terms, and Coinduction Finally Together! CoRR abs/1405.2794 (2014) - 2013
- [j1]Dimitar Sht. Shterionov, Theofrastos Mantadelis, Gerda Janssens:
Pattern-Based Compaction for ProbLog Inference. Theory Pract. Log. Program. 13(4-5-Online-Supplement) (2013) - 2012
- [b1]Theofrastos Mantadelis:
Efficient Algorithms for Prolog Based Probabilistic Logic Programming (Efficiënte algoritmen voor prolog gebaseerd probabilistisch logisch programmeren). Katholieke Universiteit Leuven, Belgium, 2012 - 2011
- [c5]Theofrastos Mantadelis, Koosha Paridel, Gerda Janssens, Yves Vanrompay, Yolande Berbers:
Analysing a Publish/Subscribe System for Mobile Ad Hoc Networks with ProbLog. PADL 2011: 34-37 - [i2]Theofrastos Mantadelis, Gerda Janssens:
Nesting Probabilistic Inference. CoRR abs/1112.3785 (2011) - 2010
- [c4]Maurice Bruynooghe, Theofrastos Mantadelis, Angelika Kimmig, Bernd Gutmann, Joost Vennekens, Gerda Janssens, Luc De Raedt:
ProbLog Technology for Inference in a Probabilistic First Order Logic. ECAI 2010: 719-724 - [c3]Theofrastos Mantadelis, Gerda Janssens:
Dedicated Tabling for a Probabilistic Setting. ICLP (Technical Communications) 2010: 124-133 - [c2]Theofrastos Mantadelis, Ricardo Rocha, Angelika Kimmig, Gerda Janssens:
Preprocessing Boolean Formulae for BDDs in a Probabilistic Context. JELIA 2010: 260-272 - [c1]Theofrastos Mantadelis, Gerda Janssens:
Variable Compression in ProbLog. LPAR (Yogyakarta) 2010: 504-518 - [i1]Dimitar Sht. Shterionov, Angelika Kimmig, Theofrastos Mantadelis, Gerda Janssens:
DNF Sampling for ProbLog Inference. CoRR abs/1009.3798 (2010)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-11 21:42 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
