|
|
|
|
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 |
| 1 | Broes De Cat, Bart Bogaerts 0001, Maurice Bruynooghe, Gerda Janssens, Marc Denecker |
Predicate logic as a modeling language: the IDP system.  |
Declarative Logic Programming  |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jo Devriendt, Bart Bogaerts 0001, Maurice Bruynooghe |
Symmetric Explanation Learning: Effective Dynamic Symmetry Handling for SAT. |
SAT |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Mostafa Haghir Chehreghani, Maurice Bruynooghe |
Mining rooted ordered trees under subtree homeomorphism. |
Data Min. Knowl. Discov. |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Bogaerts 0001, Joachim Jansen, Broes De Cat, Gerda Janssens, Maurice Bruynooghe, Marc Denecker |
Bootstrapping Inference in the IDP Knowledge Base System. |
New Generation Comput. |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice Bruynooghe, Marc Denecker, Miroslaw Truszczynski |
First Order Logic with Inductive Definitions for Model-Based Problem Solving. |
AI Magazine |
2016 |
DBLP BibTeX RDF |
|
| 1 | Jo Devriendt, Bart Bogaerts 0001, Maurice Bruynooghe, Marc Denecker |
On Local Domain Symmetry for Model Expansion. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
| 1 | San Tu Pham, Jo Devriendt, Maurice Bruynooghe, Patrick De Causmaecker |
A MIP Backend for the IDP System. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Jo Devriendt, Bart Bogaerts 0001, Maurice Bruynooghe, Marc Denecker |
On local domain symmetry for model expansion. |
TPLP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jo Devriendt, Bart Bogaerts 0001, Maurice Bruynooghe, Marc Denecker |
Improved Static Symmetry Breaking for SAT. |
SAT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Broes De Cat, Marc Denecker, Maurice Bruynooghe, Peter J. Stuckey |
Lazy Model Expansion: Interleaving Grounding with Search. |
J. Artif. Intell. Res. |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice 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. |
TPLP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Mostafa Haghir Chehreghani, Maurice Bruynooghe |
Mining Rooted Ordered Trees under Homeomorphism. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Bart Bogaerts 0001, Joachim Jansen, Maurice Bruynooghe, Broes De Cat, Joost Vennekens, Marc Denecker |
Simulating dynamic systems using Linear Time Calculus theories. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Broes De Cat, Bart Bogaerts 0001, Maurice Bruynooghe, Marc Denecker |
Predicate Logic as a Modelling Language: The IDP System. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Broes De Cat, Marc Denecker, Peter J. Stuckey, Maurice Bruynooghe |
Lazy Model Expansion: Interleaving Grounding with Search. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Bart Bogaerts 0001, Joachim Jansen, Maurice Bruynooghe, Broes De Cat, Joost Vennekens, Marc Denecker |
Simulating Dynamic Systems Using Linear Time Calculus Theories. |
TPLP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan Wittocx, Marc Denecker, Maurice Bruynooghe |
Constraint Propagation for First-Order Logic and Inductive Definitions. |
ACM Trans. Comput. Log. |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Leander Schietgat, Jan Ramon, Maurice Bruynooghe |
A polynomial-time maximum common subgraph algorithm for outerplanar graphs and its application to chemoinformatics. |
Ann. Math. Artif. Intell. |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice 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. |
CoRR |
2013 |
DBLP BibTeX RDF |
|
| 1 | Broes De Cat, Maurice Bruynooghe |
Detection and exploitation of functional dependencies for model generation. |
TPLP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Jelle 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. |
ACML |
2013 |
DBLP BibTeX RDF |
|
| 1 | Hanne Vlaeminck, Joost Vennekens, Marc Denecker, Maurice Bruynooghe |
An approximative inference method for solving ∃∀SO satisfiability problems. |
J. Artif. Intell. Res. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Verdoolaege, Gerda Janssens, Maurice Bruynooghe |
Equivalence checking of static affine programs using widening to handle recurrences. |
ACM Trans. Program. Lang. Syst. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Denecker, Maurice Bruynooghe, Joost Vennekens |
Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs. |
Correct Reasoning |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hendrik 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(·). |
ICLP (Technical Communications) |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hanne Vlaeminck, Joost Vennekens, Maurice Bruynooghe, Marc Denecker |
Ordered Epistemic Logic: Semantics, Complexity and Applications. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 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 | Geert 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. |
BMC Med. Inf. & Decision Making |
2011 |
DBLP DOI 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 | 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 | Daan Fierens, Jan Ramon, Hendrik Blockeel, Maurice Bruynooghe |
A comparison of pruning criteria for probability trees. |
Machine Learning |
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 DOI BibTeX RDF |
|
| 1 | Johan Wittocx, Marc Denecker, Maurice Bruynooghe |
Constraint Propagation for Extended First-Order Logic |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Kristien 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. |
J. Medical Systems |
2010 |
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 | 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 | 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, Maurice Bruynooghe, Marc Denecker |
Embracing Events in Causal Modelling: Interventions and Counterfactuals in CP-Logic. |
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, Gerda Janssens, Maurice Bruynooghe |
Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences. |
CAV |
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, 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. |
MIE |
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 | 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 | 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 | 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 | Stefan Raeymaekers, Maurice Bruynooghe |
Sub Node Extraction with Tree Based Wrappers. |
ECAI |
2008 |
DBLP DOI 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 | Sven Verdoolaege, Maurice Bruynooghe |
Algorithms for Weighted Counting over Parametric Polytopes: A Survey and a Practical Comparison. |
ITSL |
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 | 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 | 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 | 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 | Jan Ramon, Daan Fierens, Fabian Güiza Grandas, Geert Meyfroidt, Hendrik Blockeel, Maurice Bruynooghe, Greta Van den Berghe |
Mining data from intensive care patients. |
Advanced Engineering Informatics |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolay Pelov, Marc Denecker, Maurice Bruynooghe |
Well-founded and stable semantics of logic programs with aggregates. |
TPLP |
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 | 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 | Daan Fierens, Jan Ramon, Maurice Bruynooghe, Hendrik Blockeel |
Learning Directed Probabilistic Logical Models Using Ordering-Search. |
ILP |
2007 |
DBLP DOI BibTeX RDF |
|
| 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: 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, Jan Ramon, Hendrik Blockeel, Maurice Bruynooghe |
Online Learning and Exploiting Relational Models in Reinforcement Learning. |
IJCAI |
2007 |
DBLP 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 | 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 | 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 | 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 | 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 | Nikolay Pelov, Marc Denecker, Maurice Bruynooghe |
Well-founded and Stable Semantics of Logic Programs with Aggregates |
CoRR |
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 | Tom Croonenborghs, Karl Tuyls, Jan Ramon, Maurice Bruynooghe |
Multi-agent Relational Reinforcement Learning. |
LAMAS |
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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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. |
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 | Joost Vennekens, Sofie Verbaeten, Maurice Bruynooghe |
Logic programs with annotated disjunctions. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Joost Vennekens, Sofie Verbaeten, Maurice Bruynooghe |
Logic Programs with Annotated Disjunctions. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolay Pelov, Marc Denecker, Maurice Bruynooghe |
Partial Stable Models for Logic Programs with Aggregates. |
LPNMR |
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 | 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 |
Displaying result #1 - #100 of 240 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license