| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ofer Arieli, Maurice Bruynooghe, Marc Denecker, Bert Van Nuffelen |
Coherent Integration of Databases by Abductive Logic Programming  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Bernd Gutmann, Ingo Thon, Angelika Kimmig, Maurice Bruynooghe, Luc De Raedt |
The Magic of Logical Inference in Probabilistic Programming |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Bernd Gutmann, Ingo Thon, Angelika Kimmig, Maurice Bruynooghe, Luc De Raedt |
The magic of logical inference in probabilistic programming. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Denecker, Joost Vennekens, Hanne Vlaeminck, Johan Wittocx, Maurice Bruynooghe |
Answer Set Programming's Contributions to Classical Logic - An Analysis of ASP Methodology. |
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Denecker, Alvaro Cortés-Calabuig, Maurice Bruynooghe, Ofer Arieli |
Towards a logical reconstruction of a theory for locally closed databases. |
ACM Trans. Database Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kristien Van Loon, Fabián Güiza, Geert Meyfroidt, Jean-Marie Aerts, Jan Ramon, Hendrik Blockeel, Maurice Bruynooghe, Greta Van den Berghe, Daniel Berckmans |
Prediction of Clinical Conditions after Coronary Bypass Surgery using Dynamic Data Analysis. |
J. Medical Systems |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daan Fierens, Jan Ramon, Hendrik Blockeel, Maurice Bruynooghe |
A comparison of pruning criteria for probability trees. |
Machine Learning |
2010 |
DBLP BibTeX RDF |
|
| 1 | Johan Wittocx, Marc Denecker, Maurice Bruynooghe |
Constraint Propagation for Extended First-Order Logic |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Joost Vennekens, Marc Denecker, Maurice Bruynooghe |
FO(ID) as an extension of DL with rules. |
Ann. Math. Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Verdoolaege, Martin Palkovic, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor |
Experience with Widening Based Equivalence Checking in Realistic Multimedia Systems. |
J. Electronic Testing |
2010 |
DBLP BibTeX RDF |
|
| 1 | Maurice Bruynooghe, Theofrastos Mantadelis, Angelika Kimmig, Bernd Gutmann, Joost Vennekens, Gerda Janssens, Luc De Raedt |
ProbLog Technology for Inference in a Probabilistic First Order Logic. |
ECAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost Vennekens, Maurice Bruynooghe, Marc Denecker |
Embracing Events in Causal Modelling: Interventions and Counterfactuals in CP-Logic. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hanne Vlaeminck, Johan Wittocx, Joost Vennekens, Marc Denecker, Maurice Bruynooghe |
An Approximative Inference Method for Solving THERE EXISTS FOR ALL SO Satisfiability Problems. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost Vennekens, Marc Denecker, Maurice Bruynooghe |
CP-logic: A Language of Causal Probabilistic Events and Its Relation to Logic Programming |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Joost Vennekens, Marc Denecker, Maurice Bruynooghe |
CP-logic: A language of causal probabilistic events and its relation to logic programming. |
TPLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Verdoolaege, Martin Palkovic, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor |
Experience with widening based equivalence checking in realistic multimedia systems. |
HLDVT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kristien Van Loon, Fabián Güiza, Geert Meyfroidt, Jean-Marie Aerts, Jan Ramon, Hendrik Blockeel, Maurice Bruynooghe, Greet Vanden Berghe, Daniel Berckmans |
Dynamic Data Analysis and Data Mining for Prediction of Clinical Stability. |
MIE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Verdoolaege, Gerda Janssens, Maurice Bruynooghe |
Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Pilozzi, Tom Schrijvers, Maurice Bruynooghe |
A Transformational Approach for Proving Properties of the CHR Constraint Store. |
LOPSTR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Ramon, Tom Croonenborghs, Daan Fierens, Hendrik Blockeel, Maurice Bruynooghe |
Generalized ordering-search for learning directed probabilistic logical models. |
Machine Learning |
2008 |
DBLP DOI BibTeX RDF |
Probabilistic logical models, Ordering-search, Bayesian networks |
| 1 | Stefan Raeymaekers, Maurice Bruynooghe, Jan Van den Bussche |
Learning ( k , l )-contextual tree languages for information extraction from web pages. |
Machine Learning |
2008 |
DBLP DOI BibTeX RDF |
Information extraction, Wrapper induction, Tree languages |
| 1 | Daan Fierens, Jan Ramon, Maurice Bruynooghe, Hendrik Blockeel |
Learning directed probabilistic logical models: ordering-search versus structure-search. |
Ann. Math. Artif. Intell. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68T05, 68T27, 68T37 |
| 1 | Stefan Raeymaekers, Maurice Bruynooghe |
Sub Node Extraction with Tree Based Wrappers. |
ECAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Verdoolaege, Maurice Bruynooghe |
Algorithms for Weighted Counting over Parametric Polytopes: A Survey and a Practical Comparison. |
ITSL |
2008 |
DBLP BibTeX RDF |
|
| 1 | Maarten Mariën, Johan Wittocx, Marc Denecker, Maurice Bruynooghe |
SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions. |
SAT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe |
Accuracy and Efficiency of Fixpoint Methods for Approximate Query Answering in Locally Complete Databases. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Tom Schrijvers, Maurice Bruynooghe, John P. Gallagher |
From Monomorphic to Polymorphic Well-Typings and Beyond. |
LOPSTR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Leander Schietgat, Jan Ramon, Maurice Bruynooghe, Hendrik Blockeel |
An Efficiently Computable Graph-Based Metric for the Classification of Small Molecules. |
Discovery Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Verdoolaege, Rachid Seghir, Kristof Beyls, Vincent Loechner, Maurice Bruynooghe |
Counting Integer Points in Parametric Polytopes Using Barvinok's Rational Functions. |
Algorithmica |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Vanbroekhoven, Gerda Janssens, Maurice Bruynooghe, Francky Catthoor |
A practical dynamic single assignment transformation. |
ACM Trans. Design Autom. Electr. Syst. |
2007 |
DBLP DOI BibTeX RDF |
reaching definitions, parallelization, Data flow analysis, arrays, single assignment |
| 1 | Jan Ramon, Daan Fierens, Fabián Güiza, Geert Meyfroidt, Hendrik Blockeel, Maurice Bruynooghe, Greet Vanden Berghe |
Mining data from intensive care patients. |
Advanced Engineering Informatics |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice Bruynooghe, Michael Codish, John P. Gallagher, Samir Genaim, Wim Vanhoof |
Termination analysis of logic programs through combination of type-based norms. |
ACM Trans. Program. Lang. Syst. |
2007 |
DBLP DOI BibTeX RDF |
program analysis, Abstract interpretation, dataflow analysis, termination analysis, global analysis, groundness analysis |
| 1 | K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens |
Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Ofer Arieli, Marc Denecker, Maurice Bruynooghe |
Distance semantics for database repair. |
Ann. Math. Artif. Intell. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68T37, 68P15, 68T30 |
| 1 | Nikolay Pelov, Marc Denecker, Maurice Bruynooghe |
Well-founded and stable semantics of logic programs with aggregates. |
TPLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Croonenborghs, Jan Ramon, Hendrik Blockeel, Maurice Bruynooghe |
Online Learning and Exploiting Relational Models in Reinforcement Learning. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Daan Fierens, Jan Ramon, Maurice Bruynooghe, Hendrik Blockeel |
Learning Directed Probabilistic Logical Models: Ordering-Search Versus Structure-Search. |
ECML |
2007 |
DBLP DOI BibTeX RDF |
probabilistic logical models, probability trees, Bayesian networks, inductive logic programming, structure learning, statistical relational learning |
| 1 | Tom Croonenborghs, Kurt Driessens, Maurice Bruynooghe |
Learning Relational Options for Inductive Transfer in Relational Reinforcement Learning. |
ILP |
2007 |
DBLP DOI BibTeX RDF |
Relational Reinforcement Learning, Transfer Learning, Options |
| 1 | Daan Fierens, Jan Ramon, Maurice Bruynooghe, Hendrik Blockeel |
Learning Directed Probabilistic Logical Models Using Ordering-Search. |
ILP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe |
Approximate Query Answering in Locally Closed Databases. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Leander Schietgat, Jan Ramon, Maurice Bruynooghe |
A Polynomial-time Metric for Outerplanar Graphs. |
MLG |
2007 |
DBLP BibTeX RDF |
|
| 1 | Raymond Kosala, Hendrik Blockeel, Maurice Bruynooghe, Jan Van den Bussche |
Information extraction from structured documents using k-testable tree automaton inference. |
Data Knowl. Eng. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Maurice Bruynooghe |
Computational methods for database repair by signed formulae. |
Ann. Math. Artif. Intell. |
2006 |
DBLP DOI BibTeX RDF |
62T37, 68U35, 68T30, AMS subject classifications 68P15 |
| 1 | Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe |
Representation of Partial Knowledge and Query Answering in Locally Complete Databases. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan Wittocx, Joost Vennekens, Maarten Mariën, Marc Denecker, Maurice Bruynooghe |
Predicate Introduction Under Stable and Well-Founded Semantics. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ofer Arieli, Marc Denecker, Maurice Bruynooghe |
Distance-Based Repairs of Databases. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost Vennekens, Marc Denecker, Maurice Bruynooghe |
Representing Causal Information About a Probabilistic Process. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Schrijvers, Maurice Bruynooghe |
Polymorphic algebraic data type reconstruction. |
PPDP |
2006 |
DBLP DOI BibTeX RDF |
polymorphic recursion, type definition, type reconstruction, parametric polymorphism, algebraic data type |
| 1 | Jan Ramon, Tom Croonenborghs, Daan Fierens, Hendrik Blockeel, Maurice Bruynooghe |
Generalized Ordering-Search for Learning Directed Probabilistic Logical Models. |
ILP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolay Pelov, Marc Denecker, Maurice Bruynooghe |
Well-founded and Stable Semantics of Logic Programs with Aggregates |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Daan Fierens, Hendrik Blockeel, Maurice Bruynooghe, Jan Ramon |
Logical Bayesian Networks and Their Relation to Other Probabilistic Logical Models. |
BNAIC |
2005 |
DBLP BibTeX RDF |
|
| 1 | Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Bert Van Nuffelen, Maurice Bruynooghe |
On the Local Closed-World Assumption of Data-Sources. |
BNAIC |
2005 |
DBLP BibTeX RDF |
|
| 1 | Maarten Mariën, Rudradeb Mitra, Marc Denecker, Maurice Bruynooghe |
Satisfiability Checking for PC(ID). |
LPAR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Raeymaekers, Maurice Bruynooghe, Jan Van den Bussche |
Learning (k, l)-Contextual Tree Languages for Information Extraction. |
ECML |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Daan Fierens, Jan Ramon, Hendrik Blockeel, Maurice Bruynooghe |
A Comparison of Approaches for Learning Probability Trees. |
ECML |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens |
Verification of Source Code Transformations by Program Equivalence Checking. |
CC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Verdoolaege, Kristof Beyls, Maurice Bruynooghe, Francky Catthoor |
Experiences with Enumeration of Integer Projections of Parametric Polytopes. |
CC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Bert Van Nuffelen, Maurice Bruynooghe |
On the Local Closed-World Assumption of Data-Sources. |
LPNMR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Bert Van Nuffelen, Ofer Arieli, Alvaro Cortés-Calabuig, Maurice Bruynooghe |
An ID-Logic Formalization of the Composition of Autonomous Databases. |
LPNMR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Vanbroekhoven, Gerda Janssens, Maurice Bruynooghe, Francky Catthoor |
Transformation to Dynamic Single Assignment Using a Simple Data Flow Analysis. |
APLAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens |
Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code. |
DATE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Daan Fierens, Hendrik Blockeel, Maurice Bruynooghe, Jan Ramon |
Logical Bayesian Networks and Their Relation to Other Probabilistic Logical Models. |
ILP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice Bruynooghe, John P. Gallagher, Wouter Van Humbeeck |
Inference of Well-Typings for Logic Programs with Application to Termination Analysis. |
SAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Croonenborghs, Karl Tuyls, Jan Ramon, Maurice Bruynooghe |
Multi-agent Relational Reinforcement Learning. |
LAMAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Struyf, Jan Ramon, Maurice Bruynooghe, Sofie Verbaeten, Hendrik Blockeel |
Compact Representation of Knowledge Bases in Inductive Logic Programming. |
Machine Learning |
2004 |
DBLP DOI BibTeX RDF |
scalability, efficiency, knowledge bases, Inductive Logic Programming, compact representation |
| 1 | Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Maurice Bruynooghe |
Coherent Integration of Databases by Abductive Logic Programming. |
J. Artif. Intell. Res. (JAIR) |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice Bruynooghe |
Enhancing a search algorithm to perform intelligent backtracking. |
TPLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel, Jesper Jørgensen, Wim Vanhoof, Maurice Bruynooghe |
Offline specialisation in Prolog using a hand-written compiler generator. |
TPLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Bert Van Nuffelen, Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe |
Data Integration Using ID-Logic. |
CAiSE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost Vennekens, Sofie Verbaeten, Maurice Bruynooghe |
Logic Programs with Annotated Disjunctions. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Verdoolaege, Rachid Seghir, Kristof Beyls, Vincent Loechner, Maurice Bruynooghe |
Analytical computation of Ehrhart polynomials: enabling more compiler analyses and optimizations. |
CASES |
2004 |
DBLP DOI BibTeX RDF |
Barvinok's decomposition, Ehrhart polynomial, parametric polytope, quasi-polynomial, signed unimodular decomposition, polyhedral model, compiler analysis |
| 1 | Nikolay Pelov, Marc Denecker, Maurice Bruynooghe |
Partial Stable Models for Logic Programs with Aggregates. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Maurice Bruynooghe |
Database Repair by Signed Formulae. |
FoIKS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice Bruynooghe (eds.) |
Logic Based Program Synthesis and Transformation, 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers |
LOPSTR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Michael Leuschel, Stephen-John Craig, Maurice Bruynooghe, Wim Vanhoof |
Specialising Interpreters Using Offline Partial Deduction. |
Program Development in Computational Logic |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Wim Vanhoof, Maurice Bruynooghe, Michael Leuschel |
Binding-Time Analysis for Mercury. |
Program Development in Computational Logic |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice Bruynooghe, Kung-Kiu Lau (eds.) |
Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development |
Program Development in Computational Logic |
2004 |
DBLP BibTeX RDF |
|
| 1 | Joost Vennekens, Sofie Verbaeten, Maurice Bruynooghe |
Logic programs with annotated disjunctions. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens |
An Automatic Verification Technique for Loop and Data Reuse Transformations based on Geometric Modeling of Programs. |
J. UCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Maurice Bruynooghe |
Enhancing a Search Algorithm to Perform Intelligent Backtracking |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | Raymond Kosala, Maurice Bruynooghe, Jan Van den Bussche, Hendrik Blockeel |
Information Extraction from Web Documents Based on Local Unranked Tree Automaton Inference. |
IJCAI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Sven Verdoolaege, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor |
Multi-dimentsional Incremetal Loops Fusion for Data Locality. |
ASAP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolay Pelov, Marc Denecker, Maurice Bruynooghe |
Translation of Aggregate Programs to Normal Logic Programs. |
Answer Set Programming |
2003 |
DBLP BibTeX RDF |
|
| 1 | K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens |
Geometric Model Checking: An Automatic Verification Technique for Loop and Data Reuse Transformations. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel, Jesper Jørgensen, Wim Vanhoof, Maurice Bruynooghe |
Offline Specialisation in Prolog Using a Hand-Written Compiler Generator |
CoRR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Michael Leuschel, Maurice Bruynooghe |
Logic program specialisation through partial deduction: Control issues |
CoRR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Michael Leuschel, Maurice Bruynooghe |
Logic program specialisation through partial deduction: Control issues. |
TPLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice Bruynooghe, Kung-Kiu Lau |
Special Issue on Program Development, Guest Editors' Introduction. |
TPLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond Kosala, Jan Van den Bussche, Maurice Bruynooghe, Hendrik Blockeel |
Information Extraction in Structured Documents Using Tree Automata Induction. |
PKDD |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Pieter Bekaert, Bert Van Nuffelen, Maurice Bruynooghe, David Gilis, Marc Denecker |
On the Transformation of Object-Oriented Conceptual Models to Logical Theories. |
ER |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice Bruynooghe, Luís Moniz Pereira, Jörg H. Siekmann, Maarten H. van Emden |
A Portrait of a Scientist as a Computational Logician. |
Computational Logic: Logic Programming and Beyond |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice Bruynooghe, Michael Codish, Samir Genaim, Wim Vanhoof |
Reuse of Results in Termination Analysis of Typed Logic Programs. |
SAS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Wim Vanhoof, Remko Tronçon, Maurice Bruynooghe |
A Fixed Point Semantics for Logic Programs Extended with Cuts. |
LOPSTR |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Remko Tronçon, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor |
Storage Size Reduction by In-place Mapping of Arrays. |
VMCAI |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Maurice Bruynooghe |
Repairing Inconsistent Databases: A Model-Theoretic Approach and Abductive Reasoning. |
Paraconsistent Computational Logic |
2002 |
DBLP BibTeX RDF |
|
| 1 | Jan Ramon, Maurice Bruynooghe |
A polynomial time computable metric between point sets. |
Acta Inf. |
2001 |
DBLP BibTeX RDF |
|
| 1 | Nancy Mazur, Peter Ross, Gerda Janssens, Maurice Bruynooghe |
Practical Aspects for a Working Compile Time Garbage Collection System for Mercury |
CoRR |
2001 |
DBLP BibTeX RDF |
|
| 1 | Marc Denecker, Maurice Bruynooghe, V. Wiktor Marek |
Logic programming revisited: Logic programs as inductive definitions. |
ACM Trans. Comput. Log. |
2001 |
DBLP DOI BibTeX RDF |
epistemological foundations, inductive definitions |
| 1 | Maurice Bruynooghe, Wim Vanhoof, Michael Codish |
Pos(T): Analyzing Dependencies in Typed Logic Programs. |
Ershov Memorial Conference |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Ofer Arieli, Bert Van Nuffelen, Marc Denecker, Maurice Bruynooghe |
Coherent Composition of Distributed Knowledge-Bases Through Abduction. |
LPAR |
2001 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")