#### Filter Results:

- Full text PDF available (15)

#### Publication Year

2000

2016

- This year (0)
- Last 5 years (13)
- Last 10 years (16)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Broes de Cat, Bart Bogaerts, Jo Devriendt, Marc Denecker
- 2013 IEEE 25th International Conference on Tools…
- 2013

The traditional approach to Model Expansion (MX) is to reduce the theory to a propositional language and apply a search algorithm to the resulting theory. Function symbols are typically replaced by predicate symbols representing the graph of the function, an operation that blows up the reduced theory. In this paper, we present an improved approach to handle… (More)

- Marij Veugelers, Broes de Cat, +9 authors Guido David
- Human molecular genetics
- 2000

Simpson-Golabi-Behmel syndrome (SGBS) is an X-linked syndrome characterized by pre- and postnatal overgrowth (gigantism), which clinically resembles the autosomal Beckwith-Wiedemann syndrome (BWS). Deletions and translocations involving the glypican-3 gene ( GPC3 ) have been shown to be associated with SGBS. Occasionally, these deletions also include the… (More)

- Maurice Bruynooghe, Hendrik Blockeel, +7 authors Sicco Verwer
- TPLP
- 2015

This paper provides a gentle introduction to problem solving with the IDP3 system. The core of IDP3 is a finite model generator that supports first order logic enriched with types, inductive definitions, aggregates and partial functions. It offers its users a modeling language that is a slight extension of predicate logic and allows them to solve a wide… (More)

- Johan Wittocx, Broes de Cat, Marc Denecker
- INAP
- 2009

In many real-life computational search problems, one is not only interested in finding a solution, but also in maintaining it under varying circumstances. E.g., in the area of network configuration, an initial configuration of a computer network needs to be obtained, as well as a new configuration when one of the machines in the network breaks down.… (More)

- Broes de Cat, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker
- ArXiv
- 2014

With the technology of the time, Kowalski’s seminal 1974 paper Predicate Logic as a Programming Language was a breakthrough for the use of logic in computer science. It introduced two fundamental ideas: on the declarative side, the use of the Horn clause logic fragment of classical logic, which was soon extended with negation as failure, on the procedural… (More)

- Broes de Cat, Marc Denecker, Peter J. Stuckey, Maurice Bruynooghe
- J. Artif. Intell. Res.
- 2015

Finding satisfying assignments for the variables involved in a set of constraints can be cast as a (bounded) model generation problem: search for (bounded) models of a theory in some logic. The state-of-the-art approach for bounded model generation for rich knowledge representation languages like Answer Set Programming (ASP) and FO(·) and a CSP modeling… (More)

- Broes de Cat, Marc Denecker, Peter J. Stuckey
- ICLP
- 2012

Ground-and-solve methods used in state-of-the-art Answer Set Programming and model expansion systems proceed by rewriting the problem specification into a ground format and afterwards applying search. A disadvantage of such approaches is that the rewriting step blows up the original specification for large input domains and is unfeasible in case of infinite… (More)

- Broes de Cat, Maurice Bruynooghe
- TPLP
- 2013

- Maurice Bruynooghe, Broes de Cat, +21 authors Manfred Jaeger
- 2009

We report on two exercises in modeling, inference and learning with seven statistical relational learning systems and use this as a basis for a simple and preliminary comparison between these systems.

Dynamic systems play a central role in fields such as planning, verification, and databases. Fragmented throughout these fields, we find a multitude of languages to formally specify dynamic systems and a multitude of systems to reason on such specifications. Often, such systems are bound to one specific language and one specific inference task. It is… (More)