The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Maurice Bruynooghe" ( http://dblp.L3S.de/Authors/Maurice_Bruynooghe )

URL (Homepage):  http://www.cs.kuleuven.ac.be/~maurice/  Author page on DBLP  Author page in RDF  Community of Maurice Bruynooghe in ASPL-2

Publication years (Num. hits)
1980-1988 (19) 1989-1990 (16) 1991-1992 (23) 1993-1994 (21) 1995-1998 (15) 1999-2001 (23) 2002-2003 (18) 2004-2005 (29) 2006-2007 (21) 2008-2009 (15) 2010-2012 (19) 2013-2016 (19) 2017-2018 (2)
Publication types (Num. hits)
article(91) incollection(6) inproceedings(138) proceedings(5)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 49 occurrences of 39 keywords

Results
Found 241 publication records. Showing 240 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Broes De Cat, Bart Bogaerts 0001, Maurice Bruynooghe, Gerda Janssens, Marc Denecker Predicate logic as a modeling language: the IDP system. Search on Bibsonomy Declarative Logic Programming The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jo Devriendt, Bart Bogaerts 0001, Maurice Bruynooghe Symmetric Explanation Learning: Effective Dynamic Symmetry Handling for SAT. Search on Bibsonomy SAT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mostafa Haghir Chehreghani, Maurice Bruynooghe Mining rooted ordered trees under subtree homeomorphism. Search on Bibsonomy Data Min. Knowl. Discov. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bart Bogaerts 0001, Joachim Jansen, Broes De Cat, Gerda Janssens, Maurice Bruynooghe, Marc Denecker Bootstrapping Inference in the IDP Knowledge Base System. Search on Bibsonomy New Generation Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Maurice Bruynooghe, Marc Denecker, Miroslaw Truszczynski First Order Logic with Inductive Definitions for Model-Based Problem Solving. Search on Bibsonomy AI Magazine The full citation details ... 2016 DBLP  BibTeX  RDF
1Jo Devriendt, Bart Bogaerts 0001, Maurice Bruynooghe, Marc Denecker On Local Domain Symmetry for Model Expansion. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1San Tu Pham, Jo Devriendt, Maurice Bruynooghe, Patrick De Causmaecker A MIP Backend for the IDP System. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Jo Devriendt, Bart Bogaerts 0001, Maurice Bruynooghe, Marc Denecker On local domain symmetry for model expansion. Search on Bibsonomy TPLP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jo Devriendt, Bart Bogaerts 0001, Maurice Bruynooghe, Marc Denecker Improved Static Symmetry Breaking for SAT. Search on Bibsonomy SAT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Broes De Cat, Marc Denecker, Maurice Bruynooghe, Peter J. Stuckey Lazy Model Expansion: Interleaving Grounding with Search. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Maurice Bruynooghe, Hendrik Blockeel, Bart Bogaerts 0001, Broes De Cat, Stef De Pooter, Joachim Jansen, Anthony Labarre, Jan Ramon, Marc Denecker, Sicco Verwer Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mostafa Haghir Chehreghani, Maurice Bruynooghe Mining Rooted Ordered Trees under Homeomorphism. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Bart Bogaerts 0001, Joachim Jansen, Maurice Bruynooghe, Broes De Cat, Joost Vennekens, Marc Denecker Simulating dynamic systems using Linear Time Calculus theories. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Broes De Cat, Bart Bogaerts 0001, Maurice Bruynooghe, Marc Denecker Predicate Logic as a Modelling Language: The IDP System. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Broes De Cat, Marc Denecker, Peter J. Stuckey, Maurice Bruynooghe Lazy Model Expansion: Interleaving Grounding with Search. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Bart Bogaerts 0001, Joachim Jansen, Maurice Bruynooghe, Broes De Cat, Joost Vennekens, Marc Denecker Simulating Dynamic Systems Using Linear Time Calculus Theories. Search on Bibsonomy TPLP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Johan Wittocx, Marc Denecker, Maurice Bruynooghe Constraint Propagation for First-Order Logic and Inductive Definitions. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Leander Schietgat, Jan Ramon, Maurice Bruynooghe A polynomial-time maximum common subgraph algorithm for outerplanar graphs and its application to chemoinformatics. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Maurice Bruynooghe, Hendrik Blockeel, Bart Bogaerts 0001, Broes De Cat, Stef De Pooter, Joachim Jansen, Anthony Labarre, Jan Ramon, Marc Denecker, Sicco Verwer Predicate Logic as a Modeling Language: Modeling and Solving some Machine Learning and Data Mining Problems with IDP3. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Broes De Cat, Maurice Bruynooghe Detection and exploitation of functional dependencies for model generation. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jelle Van Eyck, Jan Ramon, Fabian Güiza Grandas, Geert Meyfroidt, Maurice Bruynooghe, Greta Van den Berghe Guided Monte Carlo Tree Search for Planning in Learned Environments. Search on Bibsonomy ACML The full citation details ... 2013 DBLP  BibTeX  RDF
1Hanne Vlaeminck, Joost Vennekens, Marc Denecker, Maurice Bruynooghe An approximative inference method for solving ∃∀SO satisfiability problems. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Sven Verdoolaege, Gerda Janssens, Maurice Bruynooghe Equivalence checking of static affine programs using widening to handle recurrences. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Marc Denecker, Maurice Bruynooghe, Joost Vennekens Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs. Search on Bibsonomy Correct Reasoning The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Hendrik Blockeel, Bart Bogaerts 0001, Maurice Bruynooghe, Broes De Cat, Stef De Pooter, Marc Denecker, Anthony Labarre, Jan Ramon, Sicco Verwer Modeling Machine Learning and Data Mining Problems with FO(·). Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Hanne Vlaeminck, Joost Vennekens, Maurice Bruynooghe, Marc Denecker Ordered Epistemic Logic: Semantics, Complexity and Applications. Search on Bibsonomy KR The full citation details ... 2012 DBLP  BibTeX  RDF
1Ofer Arieli, Maurice Bruynooghe, Marc Denecker, Bert Van Nuffelen Coherent Integration of Databases by Abductive Logic Programming Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Bernd Gutmann, Ingo Thon, Angelika Kimmig, Maurice Bruynooghe, Luc De Raedt The Magic of Logical Inference in Probabilistic Programming Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Geert Meyfroidt, Fabian Güiza Grandas, Dominiek Cottem, Wilfried De Becker, Kristien Van Loon, Jean-Marie Aerts, Daniel Berckmans, Jan Ramon, Maurice Bruynooghe, Greta Van den Berghe Computerized prediction of intensive care unit discharge after cardiac surgery: development and validation of a Gaussian processes model. Search on Bibsonomy BMC Med. Inf. & Decision Making The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Bernd Gutmann, Ingo Thon, Angelika Kimmig, Maurice Bruynooghe, Luc De Raedt The magic of logical inference in probabilistic programming. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Marc Denecker, Joost Vennekens, Hanne Vlaeminck, Johan Wittocx, Maurice Bruynooghe Answer Set Programming's Contributions to Classical Logic - An Analysis of ASP Methodology. Search on Bibsonomy Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Joost Vennekens, Marc Denecker, Maurice Bruynooghe FO(ID) as an extension of DL with rules. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Daan Fierens, Jan Ramon, Hendrik Blockeel, Maurice Bruynooghe A comparison of pruning criteria for probability trees. Search on Bibsonomy Machine Learning The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Sven Verdoolaege, Martin Palkovic, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor Experience with Widening Based Equivalence Checking in Realistic Multimedia Systems. Search on Bibsonomy J. Electronic Testing The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Johan Wittocx, Marc Denecker, Maurice Bruynooghe Constraint Propagation for Extended First-Order Logic Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Kristien Van Loon, Fabian Güiza Grandas, 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. Search on Bibsonomy J. Medical Systems The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Marc Denecker, Alvaro Cortés-Calabuig, Maurice Bruynooghe, Ofer Arieli Towards a logical reconstruction of a theory for locally closed databases. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Maurice Bruynooghe, Theofrastos Mantadelis, Angelika Kimmig, Bernd Gutmann, Joost Vennekens, Gerda Janssens, Luc De Raedt ProbLog Technology for Inference in a Probabilistic First Order Logic. Search on Bibsonomy ECAI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Hanne Vlaeminck, Johan Wittocx, Joost Vennekens, Marc Denecker, Maurice Bruynooghe An Approximative Inference Method for Solving THERE EXISTS FOR ALL SO Satisfiability Problems. Search on Bibsonomy JELIA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Joost Vennekens, Maurice Bruynooghe, Marc Denecker Embracing Events in Causal Modelling: Interventions and Counterfactuals in CP-Logic. Search on Bibsonomy JELIA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Joost Vennekens, Marc Denecker, Maurice Bruynooghe CP-logic: A Language of Causal Probabilistic Events and Its Relation to Logic Programming Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Joost Vennekens, Marc Denecker, Maurice Bruynooghe CP-logic: A language of causal probabilistic events and its relation to logic programming. Search on Bibsonomy TPLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Sven Verdoolaege, Gerda Janssens, Maurice Bruynooghe Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences. Search on Bibsonomy CAV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Sven Verdoolaege, Martin Palkovic, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor Experience with widening based equivalence checking in realistic multimedia systems. Search on Bibsonomy HLDVT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Kristien Van Loon, Fabian Güiza Grandas, Geert Meyfroidt, Jean-Marie Aerts, Jan Ramon, Hendrik Blockeel, Maurice Bruynooghe, Greta Van den Berghe, Daniel Berckmans Dynamic Data Analysis and Data Mining for Prediction of Clinical Stability. Search on Bibsonomy MIE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Paolo Pilozzi, Tom Schrijvers, Maurice Bruynooghe A Transformational Approach for Proving Properties of the CHR Constraint Store. Search on Bibsonomy LOPSTR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Daan Fierens, Jan Ramon, Maurice Bruynooghe, Hendrik Blockeel Learning directed probabilistic logical models: ordering-search versus structure-search. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68T05, 68T27, 68T37
1Jan Ramon, Tom Croonenborghs, Daan Fierens, Hendrik Blockeel, Maurice Bruynooghe Generalized ordering-search for learning directed probabilistic logical models. Search on Bibsonomy Machine Learning The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Probabilistic logical models, Ordering-search, Bayesian networks
1Stefan Raeymaekers, Maurice Bruynooghe, Jan Van den Bussche Learning ( k , l )-contextual tree languages for information extraction from web pages. Search on Bibsonomy Machine Learning The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Information extraction, Wrapper induction, Tree languages
1Leander Schietgat, Jan Ramon, Maurice Bruynooghe, Hendrik Blockeel An Efficiently Computable Graph-Based Metric for the Classification of Small Molecules. Search on Bibsonomy Discovery Science The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Stefan Raeymaekers, Maurice Bruynooghe Sub Node Extraction with Tree Based Wrappers. Search on Bibsonomy ECAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Maarten Mariën, Johan Wittocx, Marc Denecker, Maurice Bruynooghe SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions. Search on Bibsonomy SAT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe Accuracy and Efficiency of Fixpoint Methods for Approximate Query Answering in Locally Complete Databases. Search on Bibsonomy KR The full citation details ... 2008 DBLP  BibTeX  RDF
1Sven Verdoolaege, Maurice Bruynooghe Algorithms for Weighted Counting over Parametric Polytopes: A Survey and a Practical Comparison. Search on Bibsonomy ITSL The full citation details ... 2008 DBLP  BibTeX  RDF
1Tom Schrijvers, Maurice Bruynooghe, John P. Gallagher From Monomorphic to Polymorphic Well-Typings and Beyond. Search on Bibsonomy LOPSTR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ofer Arieli, Marc Denecker, Maurice Bruynooghe Distance semantics for database repair. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68T37, 68P15, 68T30
1Sven Verdoolaege, Rachid Seghir, Kristof Beyls, Vincent Loechner, Maurice Bruynooghe Counting Integer Points in Parametric Polytopes Using Barvinok's Rational Functions. Search on Bibsonomy Algorithmica The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Peter Vanbroekhoven, Gerda Janssens, Maurice Bruynooghe, Francky Catthoor A practical dynamic single assignment transformation. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF reaching definitions, parallelization, Data flow analysis, arrays, single assignment
1K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Jan Ramon, Daan Fierens, Fabian Güiza Grandas, Geert Meyfroidt, Hendrik Blockeel, Maurice Bruynooghe, Greta Van den Berghe Mining data from intensive care patients. Search on Bibsonomy Advanced Engineering Informatics The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Nikolay Pelov, Marc Denecker, Maurice Bruynooghe Well-founded and stable semantics of logic programs with aggregates. Search on Bibsonomy TPLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Maurice Bruynooghe, Michael Codish, John P. Gallagher, Samir Genaim, Wim Vanhoof Termination analysis of logic programs through combination of type-based norms. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF program analysis, Abstract interpretation, dataflow analysis, termination analysis, global analysis, groundness analysis
1Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe Approximate Query Answering in Locally Closed Databases. Search on Bibsonomy AAAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Leander Schietgat, Jan Ramon, Maurice Bruynooghe A Polynomial-time Metric for Outerplanar Graphs. Search on Bibsonomy MLG The full citation details ... 2007 DBLP  BibTeX  RDF
1Daan Fierens, Jan Ramon, Maurice Bruynooghe, Hendrik Blockeel Learning Directed Probabilistic Logical Models Using Ordering-Search. Search on Bibsonomy ILP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Tom Croonenborghs, Kurt Driessens, Maurice Bruynooghe Learning Relational Options for Inductive Transfer in Relational Reinforcement Learning. Search on Bibsonomy ILP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Relational Reinforcement Learning, Transfer Learning, Options
1Daan Fierens, Jan Ramon, Maurice Bruynooghe, Hendrik Blockeel Learning Directed Probabilistic Logical Models: Ordering-Search Versus Structure-Search. Search on Bibsonomy ECML The full citation details ... 2007 DBLP  DOI  BibTeX  RDF probabilistic logical models, probability trees, Bayesian networks, inductive logic programming, structure learning, statistical relational learning
1Tom Croonenborghs, Jan Ramon, Hendrik Blockeel, Maurice Bruynooghe Online Learning and Exploiting Relational Models in Reinforcement Learning. Search on Bibsonomy IJCAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Maurice Bruynooghe Computational methods for database repair by signed formulae. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF 62T37, 68U35, 68T30, AMS subject classifications 68P15
1Raymond Kosala, Hendrik Blockeel, Maurice Bruynooghe, Jan Van den Bussche Information extraction from structured documents using k-testable tree automaton inference. Search on Bibsonomy Data Knowl. Eng. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe Representation of Partial Knowledge and Query Answering in Locally Complete Databases. Search on Bibsonomy LPAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Johan Wittocx, Joost Vennekens, Maarten Mariën, Marc Denecker, Maurice Bruynooghe Predicate Introduction Under Stable and Well-Founded Semantics. Search on Bibsonomy ICLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Tom Schrijvers, Maurice Bruynooghe Polymorphic algebraic data type reconstruction. Search on Bibsonomy PPDP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF polymorphic recursion, type definition, type reconstruction, parametric polymorphism, algebraic data type
1Jan Ramon, Tom Croonenborghs, Daan Fierens, Hendrik Blockeel, Maurice Bruynooghe Generalized Ordering-Search for Learning Directed Probabilistic Logical Models. Search on Bibsonomy ILP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ofer Arieli, Marc Denecker, Maurice Bruynooghe Distance-Based Repairs of Databases. Search on Bibsonomy JELIA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Joost Vennekens, Marc Denecker, Maurice Bruynooghe Representing Causal Information About a Probabilistic Process. Search on Bibsonomy JELIA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Nikolay Pelov, Marc Denecker, Maurice Bruynooghe Well-founded and Stable Semantics of Logic Programs with Aggregates Search on Bibsonomy CoRR The full citation details ... 2005 DBLP  BibTeX  RDF
1Maarten Mariën, Rudradeb Mitra, Marc Denecker, Maurice Bruynooghe Satisfiability Checking for PC(ID). Search on Bibsonomy LPAR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Tom Croonenborghs, Karl Tuyls, Jan Ramon, Maurice Bruynooghe Multi-agent Relational Reinforcement Learning. Search on Bibsonomy LAMAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code. Search on Bibsonomy DATE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens Verification of Source Code Transformations by Program Equivalence Checking. Search on Bibsonomy CC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Sven Verdoolaege, Kristof Beyls, Maurice Bruynooghe, Francky Catthoor Experiences with Enumeration of Integer Projections of Parametric Polytopes. Search on Bibsonomy CC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Peter Vanbroekhoven, Gerda Janssens, Maurice Bruynooghe, Francky Catthoor Transformation to Dynamic Single Assignment Using a Simple Data Flow Analysis. Search on Bibsonomy APLAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Bert Van Nuffelen, Maurice Bruynooghe On the Local Closed-World Assumption of Data-Sources. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Bert Van Nuffelen, Ofer Arieli, Alvaro Cortés-Calabuig, Maurice Bruynooghe An ID-Logic Formalization of the Composition of Autonomous Databases. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Bert Van Nuffelen, Maurice Bruynooghe On the Local Closed-World Assumption of Data-Sources. Search on Bibsonomy BNAIC The full citation details ... 2005 DBLP  BibTeX  RDF
1Daan Fierens, Hendrik Blockeel, Maurice Bruynooghe, Jan Ramon Logical Bayesian Networks and Their Relation to Other Probabilistic Logical Models. Search on Bibsonomy BNAIC The full citation details ... 2005 DBLP  BibTeX  RDF
1Maurice Bruynooghe, John P. Gallagher, Wouter Van Humbeeck Inference of Well-Typings for Logic Programs with Application to Termination Analysis. Search on Bibsonomy SAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Daan Fierens, Hendrik Blockeel, Maurice Bruynooghe, Jan Ramon Logical Bayesian Networks and Their Relation to Other Probabilistic Logical Models. Search on Bibsonomy ILP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Stefan Raeymaekers, Maurice Bruynooghe, Jan Van den Bussche Learning (k, l)-Contextual Tree Languages for Information Extraction. Search on Bibsonomy ECML The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Daan Fierens, Jan Ramon, Hendrik Blockeel, Maurice Bruynooghe A Comparison of Approaches for Learning Probability Trees. Search on Bibsonomy ECML The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Jan Struyf, Jan Ramon, Maurice Bruynooghe, Sofie Verbaeten, Hendrik Blockeel Compact Representation of Knowledge Bases in Inductive Logic Programming. Search on Bibsonomy Machine Learning The full citation details ... 2004 DBLP  DOI  BibTeX  RDF scalability, efficiency, knowledge bases, Inductive Logic Programming, compact representation
1Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Maurice Bruynooghe Coherent Integration of Databases by Abductive Logic Programming. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Maurice Bruynooghe Enhancing a search algorithm to perform intelligent backtracking. Search on Bibsonomy TPLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Michael Leuschel, Jesper Jørgensen, Wim Vanhoof, Maurice Bruynooghe Offline specialisation in Prolog using a hand-written compiler generator. Search on Bibsonomy TPLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Joost Vennekens, Sofie Verbaeten, Maurice Bruynooghe Logic programs with annotated disjunctions. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Joost Vennekens, Sofie Verbaeten, Maurice Bruynooghe Logic Programs with Annotated Disjunctions. Search on Bibsonomy ICLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Nikolay Pelov, Marc Denecker, Maurice Bruynooghe Partial Stable Models for Logic Programs with Aggregates. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Bert Van Nuffelen, Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe Data Integration Using ID-Logic. Search on Bibsonomy CAiSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Sven Verdoolaege, Rachid Seghir, Kristof Beyls, Vincent Loechner, Maurice Bruynooghe Analytical computation of Ehrhart polynomials: enabling more compiler analyses and optimizations. Search on Bibsonomy CASES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Barvinok's decomposition, Ehrhart polynomial, parametric polytope, quasi-polynomial, signed unimodular decomposition, polyhedral model, compiler analysis
Displaying result #1 - #100 of 240 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license