Theofrastos Mantadelis


AuthID: R-006-M1K

Publicações Confirmadas: 19



11
TÍTULO: Pattern-Based Compaction for ProbLog Inference
AUTORES: Dimitar Sht. Shterionov; Theofrastos Mantadelis ; Gerda Janssens;
PUBLICAÇÃO: 2013, FONTE: Theory Pract. Log. Program., VOLUME: 13, NÚMERO: 4-5-Online-Supplement
INDEXADO EM: DBLP
12
TÍTULO: Efficient Algorithms for Prolog Based Probabilistic Logic Programming (Efficiënte algoritmen voor prolog gebaseerd probabilistisch logisch programmeren) PDF
AUTORES: Theofrastos Mantadelis ;
PUBLICAÇÃO: 2012, FONTE: base-search.net (ftunivleuven:oai:lirias.kuleuven.be:123456789/362695)
INDEXADO EM: DBLP
NO MEU: DBLP
13
TÍTULO: Analysing a Publish/Subscribe System for Mobile Ad Hoc Networks with ProbLog
AUTORES: Theofrastos Mantadelis ; Koosha Paridel; Gerda Janssens; Yves Vanrompay; Yolande Berbers;
PUBLICAÇÃO: 2011, FONTE: PADL
INDEXADO EM: DBLP CrossRef: 1
14
TÍTULO: Nesting Probabilistic Inference
AUTORES: Theofrastos Mantadelis ; Gerda Janssens;
PUBLICAÇÃO: 2011, FONTE: CoRR, VOLUME: abs/1112.3785
INDEXADO EM: DBLP
15
TÍTULO: Dedicated Tabling for a Probabilistic Setting
AUTORES: Theofrastos Mantadelis ; Gerda Janssens;
PUBLICAÇÃO: 2010, FONTE: ICLP (Technical Communications)
INDEXADO EM: DBLP
16
TÍTULO: DNF Sampling for ProbLog Inference
AUTORES: Dimitar Sht. Shterionov; Angelika Kimmig; Theofrastos Mantadelis ; Gerda Janssens;
PUBLICAÇÃO: 2010, FONTE: CoRR, VOLUME: abs/1009.3798
INDEXADO EM: DBLP
17
TÍTULO: Preprocessing Boolean Formulae for BDDs in a Probabilistic Context
AUTORES: Mantadelis, T ; Rocha, R ; Kimmig, A; Janssens, G;
PUBLICAÇÃO: 2010, FONTE: 12th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, VOLUME: 6341
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
18
TÍTULO: ProbLog Technology for Inference in a Probabilistic First Order Logic
AUTORES: Maurice Bruynooghe; Theofrastos Mantadelis ; Angelika Kimmig; Bernd Gutmann; Joost Vennekens; Gerda Janssens; Luc De Raedt;
PUBLICAÇÃO: 2010, FONTE: ECAI
INDEXADO EM: DBLP
19
TÍTULO: Variable Compression in ProbLog
AUTORES: Theofrastos Mantadelis ; Gerda Janssens;
PUBLICAÇÃO: 2010, FONTE: LPAR (Yogyakarta)
INDEXADO EM: DBLP CrossRef: 1
Página 2 de 2. Total de resultados: 19.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service