#### Filter Results:

- Full text PDF available (11)

#### Publication Year

2008

2019

- This year (5)
- Last 5 years (16)
- Last 10 years (30)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Luc De Raedt, Bart Demoen, +10 authors Joost Vennekens
- 2008

This paper reports on our work towards the development of a probabilistic logic programming environment intended as a target language in which other probabilistic languages can be compiled, thereby… (More)

- Theofrastos Mantadelis, Gerda Janssens
- ICLP
- 2010

ProbLog is a probabilistic framework that extends Prolog with probabilistic facts. To compute the probability of a query, the complete SLD proof tree of the query is collected as a sum of products.… (More)

- Joana Côrte-Real, Theofrastos Mantadelis, Inês de Castro Dutra, Ricardo Rocha
- IEEE 14th International Conference on Machine…
- 2015

Probabilistic Inductive Logic Programming (PILP) is a relatively unexplored area of Statistical Relational Learning which extends classic Inductive Logic Programming (ILP). Within this scope, we… (More)

- Theofrastos Mantadelis, Gerda Janssens
- ArXiv
- 2011

When doing inference in ProbLog, a probabilistic extension of Prolog, we extend SLD resolution with some additional bookkeeping. This additional information is used to compute the probabilistic… (More)

- Maurice Bruynooghe, Theofrastos Mantadelis, +4 authors Luc De Raedt
- ECAI
- 2010

We introduce First Order ProbLog, an extension of first order logic with soft constraints where formulas are guarded by probabilistic facts. The paper defines a semantics for FOProbLog, develops a… (More)

- Theofrastos Mantadelis, Ricardo Rocha, Paulo Moura
- TPLP
- 2014

Tabling is a commonly used technique in logic programming for avoiding cyclic behavior of logic programs and enabling more declarative program definitions. Furthermore, tabling often improves… (More)

- Theofrastos Mantadelis, Gerda Janssens
- LPAR
- 2010

In order to compute the probability of a query, ProbLog represents the proofs of the query as disjunctions of conjunctions, for which a Reduced Ordered Binary Decision Diagram (ROBDD) is computed.… (More)

- Koosha Paridel, Theofrastos Mantadelis, +4 authors Yolande Berbers
- J. Ambient Intelligence and Humanized Computing
- 2014