53 citations · 128 across the 16 of their papers we have counts for
5 papers · 1 filter
Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory
Linde Vanbesien, Maurice Bruynooghe, Marc Denecker
Aggregates provide a concise way to express complex knowledge. The problem of selecting an appropriate formalisation of aggregates for answer set programming (ASP) remains unsettle…
A MIP Backend for the IDP System
San Pham, Jo Devriendt, Maurice Bruynooghe +1
The IDP knowledge base system currently uses MiniSAT(ID) as its backend Constraint Programming (CP) solver. A few similar systems have used a Mixed Integer Programming (MIP) solver…
Coherent Integration of Databases by Abductive Logic Programming
O. Arieli, M. Bruynooghe, M. Denecker +1
We introduce an abductive method for a coherent integration of independent data-sources. The idea is to compute a list of data-facts that should be inserted to the amalgamated data…
Enhancing a Search Algorithm to Perform Intelligent Backtracking
Maurice Bruynooghe
This paper illustrates how a Prolog program, using chronological backtracking to find a solution in some search space, can be enhanced to perform intelligent backtracking. The enha…
Logic Programming for Describing and Solving Planning Problems
Maurice Bruynooghe
A logic programming paradigm which expresses solutions to problems as stable models has recently been promoted as a declarative approach to solving various combinatorial and search…