sign in · help · news · about ·

BibSonomy :: author :: Bruynooghe ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(210)

<< < 1 | 2 | 3 > >>

Integrity Constraints and Interactive Concept-Learning.
Luc De Raedt, Maurice Bruynooghe, and Bern Martens ML, page 394-398. Morgan Kaufmann, (1991)
to dblp by dblp on Dec 23, 2011, 12:00 AM
URL | BibTeX
Answer Set Programming's Contributions to Classical Logic - An Analysis of ASP Methodology.
Marc Denecker, Joost Vennekens, Hanne Vlaeminck, Johan Wittocx, and Maurice Bruynooghe Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, volume 6565 of Lecture Notes in Computer Science, page 12-32. Springer, (2011)
to dblp by dblp on Dec 12, 2011, 12:00 AM
URL | BibTeX
CP-logic: A Language of Causal Probabilistic Events and Its Relation to Logic Programming
Joost Vennekens, Marc Denecker, and Maurice Bruynooghe CoRR (2009)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
A Comparison of Logic Programming Approaches for Representation and Solving of Constraint Satisfaction Problems
Nikolay Pelov, Emmanuel De Mot, and Maurice Bruynooghe CoRR (2000)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code
K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, and Gerda Janssens CoRR (2007)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog
Nikolay Pelov, and Maurice Bruynooghe CoRR (2000)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Enhancing a Search Algorithm to Perform Intelligent Backtracking
Maurice Bruynooghe CoRR (2003)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
A Polyvariant Binding-Time Analysis for Off-line Partial Deduction
Maurice Bruynooghe, Michael Leuschel, and Konstantinos F. Sagonas CoRR (2000)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Logic Programming for Describing and Solving Planning Problems
Maurice Bruynooghe CoRR (2000)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Coherent Integration of Databases by Abductive Logic Programming
Ofer Arieli, Maurice Bruynooghe, Marc Denecker, and Bert Van Nuffelen CoRR (2011)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Practical Aspects for a Working Compile Time Garbage Collection System for Mercury
Nancy Mazur, Peter Ross, Gerda Janssens, and Maurice Bruynooghe CoRR (2001)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
Offline Specialisation in Prolog Using a Hand-Written Compiler Generator
Michael Leuschel, Jesper Jørgensen, Wim Vanhoof, and Maurice Bruynooghe CoRR (2002)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Detecting Unsolvable Queries for Definite Logic Programs
Maurice Bruynooghe, Henk Vandecasteele, D. Andre de Waal, and Marc Denecker CoRR (2000)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
The Magic of Logical Inference in Probabilistic Programming
Bernd Gutmann, Ingo Thon, Angelika Kimmig, Maurice Bruynooghe, and Luc De Raedt CoRR (2011)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
Constraint Propagation for Extended First-Order Logic
Johan Wittocx, Marc Denecker, and Maurice Bruynooghe CoRR (2010)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Logic program specialisation through partial deduction: Control issues
Michael Leuschel, and Maurice Bruynooghe CoRR (2002)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
Well-founded and Stable Semantics of Logic Programs with Aggregates
Nikolay Pelov, Marc Denecker, and Maurice Bruynooghe CoRR (2005)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Experience with widening based equivalence checking in realistic multimedia systems.
Sven Verdoolaege, Martin Palkovic, Maurice Bruynooghe, Gerda Janssens, and Francky Catthoor HLDVT, page 122-129. IEEE, (2009)
to dblp by dblp on Dec 4, 2011, 12:00 AM
URL | BibTeX
Deriving Descriptions of Possible Values of Program Variables by Means of Abstract Interpretation.
Gerda Janssens, and Maurice Bruynooghe J. Log. Program. 13(2&3):205-258 (1992)
to dblp by dblp on Dec 1, 2011, 12:00 AM
URL | BibTeX
Guest Editor's Introduction.
Maurice Bruynooghe, Saumya K. Debray, Manuel V. Hermenegildo, and Michael J. Maher J. Log. Program. (1994)
to dblp by dblp on Dec 1, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100

a gripper