Theofrastos Mantadelis


AuthID: R-006-M1K

Confirmed Publications: 19



11
TITLE: Pattern-Based Compaction for ProbLog Inference PDF
AUTHORS: Dimitar Sht. Shterionov; Theofrastos Mantadelis ; Gerda Janssens;
PUBLISHED: 2013, SOURCE: TPLP, VOLUME: 13, ISSUE: 4-5-Online-Supplement
INDEXED IN: DBLP
IN MY: DBLP
12
TITLE: Efficient Algorithms for Prolog Based Probabilistic Logic Programming (Efficiënte algoritmen voor prolog gebaseerd probabilistisch logisch programmeren) PDF
AUTHORS: Theofrastos Mantadelis ;
PUBLISHED: 2012, SOURCE: base-search.net (ftunivleuven:oai:lirias.kuleuven.be:123456789/362695)
INDEXED IN: DBLP
IN MY: DBLP
13
TITLE: Analysing a Publish/Subscribe System for Mobile Ad Hoc Networks with ProbLog
AUTHORS: Theofrastos Mantadelis ; Koosha Paridel; Gerda Janssens; Yves Vanrompay; Yolande Berbers;
PUBLISHED: 2011, SOURCE: Practical Aspects of Declarative Languages - 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings, VOLUME: 6539
INDEXED IN: DBLP CrossRef
IN MY: DBLP
14
TITLE: Nesting Probabilistic Inference PDF
AUTHORS: Theofrastos Mantadelis ; Gerda Janssens;
PUBLISHED: 2011, SOURCE: CoRR, VOLUME: abs/1112.3785
INDEXED IN: DBLP arXiv
IN MY: DBLP
15
TITLE: Dedicated Tabling for a Probabilistic Setting
AUTHORS: Theofrastos Mantadelis ; Gerda Janssens;
PUBLISHED: 2010, SOURCE: Technical Communications of the 26th International Conference on Logic Programming, ICLP 2010, July 16-19, 2010, Edinburgh, Scotland, UK, VOLUME: 7
INDEXED IN: DBLP
IN MY: DBLP
16
TITLE: DNF Sampling for ProbLog Inference PDF
AUTHORS: Dimitar Sht. Shterionov; Angelika Kimmig; Theofrastos Mantadelis ; Gerda Janssens;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1009.3798
INDEXED IN: DBLP arXiv
IN MY: DBLP
17
TITLE: Preprocessing Boolean Formulae for BDDs in a Probabilistic Context
AUTHORS: Theofrastos Mantadelis ; Ricardo Rocha ; Angelika Kimmig; Gerda Janssens;
PUBLISHED: 2010, SOURCE: 12th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, VOLUME: 6341
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: DBLP
18
TITLE: ProbLog Technology for Inference in a Probabilistic First Order Logic
AUTHORS: Maurice Bruynooghe; Theofrastos Mantadelis ; Angelika Kimmig; Bernd Gutmann; Joost Vennekens; Gerda Janssens; Luc De Raedt;
PUBLISHED: 2010, SOURCE: ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings, VOLUME: 215
INDEXED IN: DBLP
IN MY: DBLP
19
TITLE: Variable Compression in ProbLog
AUTHORS: Theofrastos Mantadelis ; Gerda Janssens;
PUBLISHED: 2010, SOURCE: Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings, VOLUME: 6397
INDEXED IN: DBLP CrossRef
IN MY: DBLP
Page 2 of 2. Total results: 19.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service