#### Filter Results:

- Full text PDF available (172)

#### Publication Year

1980

2016

#### Publication Type

#### Co-author

#### Publication Venue

#### Data Set Used

#### Key Phrases

Learn More

- Joost Vennekens, Sofie Verbaeten, Maurice Bruynooghe
- ICLP
- 2004

Current literature offers a number of different approaches to what could generally be called " probabilistic logic programming ". These are usually based on Horn clauses. Here, we introduce a new formalism, Logic Programs with Annotated Disjunctions, based on disjunctive logic programs. In this formalism, each of the disjuncts in the head of a clause is… (More)

- Maurice Bruynooghe
- J. Log. Program.
- 1991

- Joost Vennekens, Marc Denecker, Maurice Bruynooghe
- TPLP
- 2009

This papers develops a logical language for representing probabilistic causal laws. Our interest in such a language is twofold. First, it can be motivated as a fundamental study of the representation of causal knowledge. Causality has an inherent dynamic aspect, which has been studied at the semantical level by Shafer in his framework of probability trees.… (More)

- Luc De Raedt, Maurice Bruynooghe
- Machine Learning
- 1992

The available concept-learners only partially fulfill the needs imposed by the learning apprentice generation of learners. We present a novel approach to interactive concept-learning and constructive induction that better fits the requirements imposed by the learning apprentice paradigm. The approach is incorporated in the system Clint-Cia, which integrates… (More)

- Nikolay Pelov, Marc Denecker, Maurice Bruynooghe
- LPNMR
- 2004

We introduce a family of partial stable model semantics for logic programs with arbitrary aggregate relations. The semantics are parametrized by the interpretation of aggregate relations in three-valued logic. Any semantics in this family satisfies two important properties: (i) it extends the partial stable semantics for normal logic programs and (ii) total… (More)

- Nikolay Pelov, Marc Denecker, Maurice Bruynooghe
- Answer Set Programming
- 2003

We define a translation of aggregate programs to normal logic programs which preserves the set of partial stable models. We then define the classes of definite and stratified aggregate programs and show that the translation of such programs are, respectively, definite and stratified logic programs. Consequently these two classes of programs have a single… (More)

- Gerda Janssens, Maurice Bruynooghe
- J. Log. Program.
- 1992

- John P. Gallagher, Maurice Bruynooghe
- ICLP
- 1990

- Marc Denecker, Maurice Bruynooghe, Victor W. Marek
- ACM Trans. Comput. Log.
- 2001

Logic programming has been introduced as programming in the Horn clause subset of first-order logic. This view breaks down for the negation as failure inference rule. To overcome the problem, one line of research has been to view a logic program as a set of iff-definitions. A second approach was to identify a unique <i>canonical, preferred</i>, or… (More)

Designers often apply manual or semi-automatic loop and data transformations on array- and loop-intensive programs to improve performance. It is crucial that such transformations preserve the functionality of the program. This article presents an automatic method for constructing equivalence proofs for the class of static affine programs. The equivalence… (More)