Bart Bogaerts

132 papers A* 21A 10B 8Misc 1Journal 73Unranked 12
YearRankTypeTitle / Venue / Authors
2026 A* conf
Certified Branch-and-Bound MaxSAT Solving.
AAAI
Dieter Vandesande, Jordi Coll, Bart Bogaerts
2026 A* conf
Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach.
AAAI
Hannes Ihalainen, Dieter Vandesande, André Schidler, Jeremias Berg, Bart Bogaerts, Matti Järvisalo
2026 A* conf
Faster Certified Symmetry Breaking Using Orders with Auxiliary Variables.
AAAI
Markus Anders, Bart Bogaerts, Benjamin Bogø, Arthur Gontier, Wietze Koops, Ciaran McCreesh, Magnus O. Myreen, Jakob Nordström, Andy Oertel, Adrian Rebola-Pardo, Yong Kiam Tan
2026 A* conf
Preference Elicitation for Step-Wise Explanations in Logic Puzzles.
AAAI
Marco Foschini, Marianne Defresne, Emilio Gamba, Bart Bogaerts, Tias Guns
2026 A* conf
Using Certifying Constraint Solvers for Generating Step-wise Explanations.
AAAI
Ignace Bleukx, Maarten Flippo, Bart Bogaerts, Emir Demirovic, Tias Guns
2025 J jnl
Approximation Fixpoint Theory with Refined Approximation Spaces.
CoRR
Linde Vanbesien, Bart Bogaerts, Marc Denecker
2025 J jnl
Certified Branch-and-Bound MaxSAT Solving (Extended Version).
CoRR
Dieter Vandesande, Jordi Coll, Bart Bogaerts
2025 — conf
Certifying Pareto-Optimality in Multi Objective Maximum Satisfiability.
TACAS (2)
Christoph Jabs, Jeremias Berg, Bart Bogaerts, Matti Järvisalo
2025 J jnl
Certifying Pareto-Optimality in Multi-Objective Maximum Satisfiability.
CoRR
Christoph Jabs, Jeremias Berg, Bart Bogaerts, Matti Järvisalo
2025 J jnl
Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach.
CoRR
Hannes Ihalainen, Dieter Vandesande, André Schidler, Jeremias Berg, Bart Bogaerts, Matti Järvisalo
2025 A* conf
Exploiting Symmetries in MUS Computation.
AAAI
Ignace Bleukx, Hélène Verhaeghe, Bart Bogaerts, Tias Guns
2025 J jnl
Faster Certified Symmetry Breaking Using Orders With Auxiliary Variables.
CoRR
Markus Anders, Bart Bogaerts, Benjamin Bogø, Arthur Gontier, Wietze Koops, Ciaran McCreesh, Magnus O. Myreen, Jakob Nordström, Andy Oertel, Adrian Rebola-Pardo, Yong Kiam Tan
2025 — conf
Incremental SAT-Based Enumeration of Solutions to the Yang-Baxter Equation.
TACAS (2)
Daimy Van Caudenberg, Bart Bogaerts, Leandro Vendramin
2025 J jnl
Incremental SAT-Based Enumeration of Solutions to the Yang-Baxter Equation.
CoRR
Daimy Van Caudenberg, Bart Bogaerts, Leandro Vendramin
2025 J jnl
Preference Elicitation for Step-Wise Explanations in Logic Puzzles.
CoRR
Marco Foschini, Marianne Defresne, Emilio Gamba, Bart Bogaerts, Tias Guns
2025 A conf
Symmetric Core Learning for Pseudo-Boolean Optimization by Implicit Hitting Sets.
CP
Hannes Ihalainen, Jeremias Berg, Matti Järvisalo, Bart Bogaerts
2025 J jnl
The Possible Asylum.
Am. Math. Mon.
Bart Bogaerts
2025 J jnl
Using Certifying Constraint Solvers for Generating Step-wise Explanations.
CoRR
Ignace Bleukx, Maarten Flippo, Bart Bogaerts, Emir Demirovic, Tias Guns
2024 J jnl
A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory (Extended Version).
CoRR
Samuele Pollaci, Babis Kostopoulos, Marc Denecker, Bart Bogaerts
2024 B conf
A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory.
LPNMR
Samuele Pollaci, Babis Kostopoulos, Marc Denecker, Bart Bogaerts
2024 — conf
Approximation Fixpoint Theory in Coq - With an Application to Logic Programming.
Logics and Type Systems in Theory and Practice
Bart Bogaerts, Luís Cruz-Filipe
2024 A conf
Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability.
CP
Jeremias Berg, Bart Bogaerts, Jakob Nordström, Andy Oertel, Tobias Paxian, Dieter Vandesande
2024 J jnl
Distributed Subweb Specifications for Traversing the Web.
Theory Pract. Log. Program.
Bart Bogaerts, Bas Ketsman, Younes Zeboudj, Heba Aamer, Ruben Taelman, Ruben Verborgh
2024 J jnl
Embedding justification theory in approximation fixpoint theory.
Artif. Intell.
Simon Marynissen, Bart Bogaerts, Marc Denecker
2024 J jnl
Executable First-Order Queries in the Logic of Information Flows.
Log. Methods Comput. Sci.
Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche
2024 J jnl
Exploiting Symmetries in MUS Computation (Extended version).
CoRR
Ignace Bleukx, Hélène Verhaeghe, Bart Bogaerts, Tias Guns
2024 J jnl
Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests.
Log. Methods Comput. Sci.
Bart Bogaerts, Maxime Jakubowski, Jan Van den Bussche
2024 J jnl
Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming.
Artif. Intell.
Jesse Heyninck, Ofer Arieli, Bart Bogaerts
2024 J jnl
Postulates for Provenance: Instance-based provenance for first-order logic.
Proc. ACM Manag. Data
Bart Bogaerts, Maxime Jakubowski, Jan Van den Bussche
2024 J jnl
Preservation theorems for Tarski's relation algebra.
Log. Methods Comput. Sci.
Bart Bogaerts, Balder ten Cate, Brett McLean, Jan Van den Bussche
2024 J jnl
The Stable Model Semantics for Higher-Order Logic Programming.
CoRR
Bart Bogaerts, Angelos Charalambidis, Giannos Chatziagapis, Babis Kostopoulos, Samuele Pollaci, Panos Rondogiannis
2024 J jnl
The Stable Model Semantics for Higher-Order Logic Programming.
Theory Pract. Log. Program.
Bart Bogaerts, Angelos Charalambidis, Giannos Chatziagapis, Babis Kostopoulos, Samuele Pollaci, Panos Rondogiannis
2024 Misc conf
Towards a Unifying View on Monotone Constructive Definitions.
ISAIM
Linde Vanbesien, Samuele Pollaci, Bart Bogaerts, Marc Denecker
2024 A* conf
Using Symmetries to Lift Satisfiability Checking.
AAAI
Pierre Carbonnelle, Gottfried Schenner, Maurice Bruynooghe, Bart Bogaerts, Marc Denecker
2023 A conf
Certified Core-Guided MaxSAT Solving.
CADE
Jeremias Berg, Bart Bogaerts, Jakob Nordström, Andy Oertel, Dieter Vandesande
2023 J jnl
Certified Dominance and Symmetry Breaking for Combinatorial Optimisation.
J. Artif. Intell. Res.
Bart Bogaerts, Stephan Gocht, Ciaran McCreesh, Jakob Nordström
2023 J jnl
Distributed Autoepistemic Logic: Semantics, Complexity, and Applications to Access Control.
CoRR
Marcos Cramer, Pieter Van Hertum, Bart Bogaerts, Marc Denecker
2023 J jnl
Distributed Subweb Specifications for Traversing the Web.
CoRR
Bart Bogaerts, Bas Ketsman, Younes Zeboudj, Heba Aamer, Ruben Taelman, Ruben Verborgh
2023 J jnl
Efficiently Explaining CSPs with Unsatisfiable Subset Optimization (extended algorithms and examples).
CoRR
Emilio Gamba, Bart Bogaerts, Tias Guns
2023 J jnl
Efficiently Explaining CSPs with Unsatisfiable Subset Optimization.
J. Artif. Intell. Res.
Emilio Gamba, Bart Bogaerts, Tias Guns
2023 J jnl
Inputs, Outputs, and Composition in the Logic of Information Flows.
ACM Trans. Comput. Log.
Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche
2023 J jnl
Interactive Model Expansion in an Observable Environment.
CoRR
Pierre Carbonnelle, Joost Vennekens, Bart Bogaerts, Marc Denecker
2023 J jnl
Interactive Model Expansion in an Observable Environment.
Theory Pract. Log. Program.
Pierre Carbonnelle, Joost Vennekens, Marc Denecker, Bart Bogaerts
2023 J jnl
Mathematical Foundations for Joining Only Knowing and Common Knowledge (Extended Version).
CoRR
Marcos Cramer, Samuele Pollaci, Bart Bogaerts
2023 A* conf
Mathematical Foundations for Joining Only Knowing and Common Knowledge.
KR
Marcos Cramer, Samuele Pollaci, Bart Bogaerts
2023 J jnl
Non-deterministic Approximation Operators: Ultimate Operators, Semi-equilibrium Semantics, and Aggregates.
Theory Pract. Log. Program.
Jesse Heyninck, Bart Bogaerts
2023 J jnl
Non-deterministic approximation operators: ultimate operators, semi-equilibrium semantics and aggregates (full version).
CoRR
Jesse Heyninck, Bart Bogaerts
2023 J jnl
Preservation theorems for Tarski's relation algebra.
CoRR
Bart Bogaerts, Balder ten Cate, Brett McLean, Jan Van den Bussche
2023 A conf
Simplifying Step-Wise Explanation Sequences.
CP
Ignace Bleukx, Jo Devriendt, Emilio Gamba, Bart Bogaerts, Tias Guns
2023 J jnl
Using Symmetries to Lift Satisfiability Checking.
CoRR
Pierre Carbonnelle, Gottfried Schenner, Maurice Bruynooghe, Bart Bogaerts, Marc Denecker
2022 A* conf
Certified Symmetry and Dominance Breaking for Combinatorial Optimisation.
AAAI
Bart Bogaerts, Stephan Gocht, Ciaran McCreesh, Jakob Nordström
2022 J jnl
Certified Symmetry and Dominance Breaking for Combinatorial Optimisation.
CoRR
Bart Bogaerts, Stephan Gocht, Ciaran McCreesh, Jakob Nordström
2022 J jnl
Computing Abductive Explanations.
IEEE Intell. Syst.
Luciano Caroprese, Ester Zumpano, Bart Bogaerts
2022 J jnl
Executable First-Order Queries in the Logic of Information Flows.
CoRR
Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche
2022 J jnl
Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests.
CoRR
Bart Bogaerts, Maxime Jakubowski, Jan Van den Bussche
2022 A conf
Expressiveness of SHACL Features.
ICDT
Bart Bogaerts, Maxime Jakubowski, Jan Van den Bussche
2022 J jnl
Inputs, Outputs, and Composition in the Logic of Information Flows.
CoRR
Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche
2022 J jnl
Non-Deterministic Approximation Fixpoint Theory and Its Application in Disjunctive Logic Programming.
CoRR
Jesse Heyninck, Ofer Arieli, Bart Bogaerts
2022 J jnl
On Nested Justification Systems (full version).
CoRR
Simon Marynissen, Jesse Heyninck, Bart Bogaerts, Marc Denecker
2022 J jnl
On Nested Justification Systems.
Theory Pract. Log. Program.
Simon Marynissen, Jesse Heyninck, Bart Bogaerts, Marc Denecker
2022 B conf
QMaxSATpb: A Certified MaxSAT Solver.
LPNMR
Dieter Vandesande, Wolf De Wulf, Bart Bogaerts
2022 B conf
SHACL: A Description Logic in Disguise.
LPNMR
Bart Bogaerts, Maxime Jakubowski, Jan Van den Bussche
2022 — conf
Symmetry and Dominance Breaking for Pseudo-Boolean Optimization.
BNAIC/BENELEARN
Daimy Van Caudenberg, Bart Bogaerts
2022 — conf
Tree-Like Justification Systems are Consistent.
ICLP Technical Communications / Doctoral Consortium
Simon Marynissen, Bart Bogaerts
2021 J jnl
A framework for step-wise explaining how to solve constraint satisfaction problems.
Artif. Intell.
Bart Bogaerts, Emilio Gamba, Tias Guns
2021 A* conf
Efficiently Explaining CSPs with Unsatisfiable Subset Optimization.
IJCAI
Emilio Gamba, Bart Bogaerts, Tias Guns
2021 J jnl
Efficiently Explaining CSPs with Unsatisfiable Subset Optimization.
CoRR
Emilio Gamba, Bart Bogaerts, Tias Guns
2021 — conf
Fixpoint Semantics for Recursive SHACL.
ICLP Technical Communications
Bart Bogaerts, Maxime Jakubowski
2021 B conf
Link Traversal with Distributed Subweb Specifications.
RuleML+RR
Bart Bogaerts, Bas Ketsman, Younes Zeboudj, Heba Aamer, Ruben Taelman, Ruben Verborgh
2021 A* conf
On the Relation Between Approximation Fixpoint Theory and Justification Theory.
IJCAI
Simon Marynissen, Bart Bogaerts, Marc Denecker
2021 — ed.
Proceedings 37th International Conference on Logic Programming (Technical Communications), ICLP Technical Communications 2021, Porto (virtual event), 20-27th September 2021.
ICLP Technical Communications
Andrea Formisano, Yanhong Annie Liu, Bart Bogaerts, Alex Brik, Verónica Dahl, Carmine Dodaro, Paul Fodor, Gian Luca Pozzato, Joost Vennekens, Neng-Fa Zhou
2021 J jnl
SHACL: A Description Logic in Disguise.
CoRR
Bart Bogaerts, Maxime Jakubowski, Jan Van den Bussche
2021 J jnl
Stratification in Approximation Fixpoint Theory and Its Application to Active Integrity Constraints.
ACM Trans. Comput. Log.
Bart Bogaerts, Luís Cruz-Filipe
2020 J jnl
A framework for step-wise explaining how to solve constraint satisfaction problems.
CoRR
Bart Bogaerts, Emilio Gamba, Tias Guns
2020 — ed.
Artificial Intelligence and Machine Learning - 31st Benelux AI Conference, BNAIC 2019, and 28th Belgian-Dutch Machine Learning Conference, BENELEARN 2019, Brussels, Belgium, November 6-8, 2019, Revised Selected Papers
BNAIC/BENELEARN (Selected Papers)
Bart Bogaerts, Gianluca Bontempi, Pierre Geurts, Nick Harley, Bertrand Lebichot, Tom Lenaerts, Gilles Louppe
2020 A conf
Executable First-Order Queries in the Logic of Information Flows.
ICDT
Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche
2020 J jnl
Exploiting Game Theory for Analysing Justifications.
CoRR
Simon Marynissen, Bart Bogaerts, Marc Denecker
2020 J jnl
Exploiting Game Theory for Analysing Justifications.
Theory Pract. Log. Program.
Simon Marynissen, Bart Bogaerts, Marc Denecker
2020 A* conf
Inputs, Outputs, and Composition in the Logic of Information Flows.
KR
Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche
2020 — conf
LP2PB: Translating Answer Set Programs into Pseudo-Boolean Theories.
ICLP Technical Communications
Wolf De Wulf, Bart Bogaerts
2020 A conf
Step-Wise Explanations of Constraint Satisfaction Problems.
ECAI
Bart Bogaerts, Emilio Gamba, Jens Claes, Tias Guns
2019 B conf
Explaining Actual Causation in Terms of Possible Causal Processes.
JELIA
Marc Denecker, Bart Bogaerts, Joost Vennekens
2019 J jnl
Guest editorial: special issue on answer set programming and other computing paradigms.
Ann. Math. Artif. Intell.
Bart Bogaerts, Esra Erdem, Amelia Harrison
2019 — ed.
Proceedings 35th International Conference on Logic Programming (Technical Communications), ICLP 2019 Technical Communications, Las Cruces, NM, USA, September 20-25, 2019.
ICLP Technical Communications
Bart Bogaerts, Esra Erdem, Paul Fodor, Andrea Formisano, Giovambattista Ianni, Daniela Inclezan, Germán Vidal, Alicia Villanueva, Marina De Vos, Fangkai Yang
2019 — ed.
Proceedings of the 31st Benelux Conference on Artificial Intelligence (BNAIC 2019) and the 28th Belgian Dutch Conference on Machine Learning (Benelearn 2019), Brussels, Belgium, November 6-8, 2019.
BNAIC/BENELEARN
Katrien Beuls, Bart Bogaerts, Gianluca Bontempi, Pierre Geurts, Nick Harley, Bertrand Lebichot, Tom Lenaerts, Gilles Louppe, Paul Van Eecke
2019 A* conf
Weighted Abstract Dialectical Frameworks through the Lens of Approximation Fixpoint Theory.
AAAI
Bart Bogaerts
2019 — conf
ZebraTutor: Explaining How to Solve Logic Grid Puzzles.
BNAIC/BENELEARN
Jens Claes, Bart Bogaerts, Rocsildes Canoy, Emilio Gamba, Tias Guns
2018 A* conf
Exploiting Justifications for Lazy Grounding of Answer Set Programs.
IJCAI
Bart Bogaerts, Antonius Weinzierl
2018 J jnl
Fixpoint semantics for active integrity constraints.
Artif. Intell.
Bart Bogaerts, Luís Cruz-Filipe
2018 — ch.
Predicate logic as a modeling language: the IDP system.
Declarative Logic Programming
Broes De Cat, Bart Bogaerts, Maurice Bruynooghe, Gerda Janssens, Marc Denecker
2018 J jnl
Safe inductions and their applications in knowledge representation.
Artif. Intell.
Bart Bogaerts, Joost Vennekens, Marc Denecker
2017 J jnl
A Logical Study of Some Common Principles of Inductive Definition and its Implications for Knowledge Representation.
CoRR
Marc Denecker, Bart Bogaerts, Joost Vennekens
2017 — ed.
Proceedings of the 10th Workshop on Answer Set Programming and Other Computing Paradigms co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, ASPOCP@LPNMR 2017, Espoo, Finland, July 3, 2017.
ASPOCP@LPNMR
Bart Bogaerts, Amelia Harrison
2017 B conf
Propagators and Solvers for the Algebra of Modular Systems.
LPAR
Bart Bogaerts, Eugenia Ternovska, David G. Mitchell
2017 A* conf
Safe Inductions: An Algebraic Study.
IJCAI
Bart Bogaerts, Joost Vennekens, Marc Denecker
2017 A* conf
Semantics for Active Integrity Constraints Using Approximation Fixpoint Theory.
IJCAI
Bart Bogaerts, Luís Cruz-Filipe
2017 A conf
Symmetric Explanation Learning: Effective Dynamic Symmetry Handling for SAT.
SAT
Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe
2016 — conf
A Compositional Typed Higher-Order Logic with Definitions.
ICLP (Technical Communications)
Ingmar Dasseville, Matthias van der Hallen, Bart Bogaerts, Gerda Janssens, Marc Denecker
2016 J jnl
Bootstrapping Inference in the IDP Knowledge Base System.
New Gener. Comput.
Bart Bogaerts, Joachim Jansen, Broes De Cat, Gerda Janssens, Maurice Bruynooghe, Marc Denecker
2016 J jnl
BreakID: Static Symmetry Breaking for ASP (System Description).
CoRR
Jo Devriendt, Bart Bogaerts
2016 A* conf
Declarative Solver Development: Case Studies.
KR
Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi
2016 A* conf
Distributed Autoepistemic Logic and its Application to Access Control.
IJCAI
Pieter Van Hertum, Marcos Cramer, Bart Bogaerts, Marc Denecker
2016 J jnl
Implementing a Relevance Tracker Module.
CoRR
Joachim Jansen, Jo Devriendt, Bart Bogaerts, Gerda Janssens, Marc Denecker
2016 A conf
Improved Static Symmetry Breaking for SAT.
SAT
Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker
2016 J jnl
On Local Domain Symmetry for Model Expansion.
CoRR
Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker
2016 J jnl
On Well-Founded Set-Inductions and Locally Monotone Operators.
ACM Trans. Comput. Log.
Bart Bogaerts, Joost Vennekens, Marc Denecker
2016 J jnl
On local domain symmetry for model expansion.
Theory Pract. Log. Program.
Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker
2016 J jnl
Propagators and Solvers for the Algebra of Modular Systems.
CoRR
Bart Bogaerts, Eugenia Ternovska, David G. Mitchell
2016 A* conf
Relevance for SAT(ID).
IJCAI
Joachim Jansen, Bart Bogaerts, Jo Devriendt, Gerda Janssens, Marc Denecker
2016 — conf
SAT-to-SAT in QBFEval 2016.
QBF@SAT
Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi
2016 — conf
Solving QBF Instances with Nested SAT Solvers.
AAAI Workshop: Beyond NP
Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi
2016 J jnl
Stable-Unstable Semantics: Beyond NP with Normal Logic Programs.
CoRR
Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi
2016 J jnl
Stable-unstable semantics: Beyond NP with normal logic programs.
Theory Pract. Log. Program.
Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi
2015 A* conf
Grounded Fixpoints.
AAAI
Bart Bogaerts, Joost Vennekens, Marc Denecker
2015 J jnl
Grounded fixpoints and their applications in knowledge representation.
Artif. Intell.
Bart Bogaerts, Joost Vennekens, Marc Denecker
2015 — —
Groundedness in Logics with a Fixpoint Semantics; Gegrondheid in logicas met een vaste-puntssemantiek.
Bart Bogaerts
2015 J jnl
Knowledge Compilation of Logic Programs Using Approximation Fixpoint Theory.
CoRR
Bart Bogaerts, Guy Van den Broeck
2015 J jnl
Knowledge compilation of logic programs using approximation fixpoint theory.
Theory Pract. Log. Program.
Bart Bogaerts, Guy Van den Broeck
2015 A* conf
Partial Grounded Fixpoints.
IJCAI
Bart Bogaerts, Joost Vennekens, Marc Denecker
2015 J jnl
Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with
Theory Pract. Log. Program.
Maurice Bruynooghe, Hendrik Blockeel, Bart Bogaerts, Broes De Cat, Stef De Pooter, Joachim Jansen, Anthony Labarre, Jan Ramon, Marc Denecker, Sicco Verwer
2014 J jnl
FO(C) and Related Modelling Paradigms.
CoRR
Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche
2014 J jnl
FO(C): A Knowledge Representation Language of Causality.
CoRR
Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche
2014 A conf
Inference in the FO(C) Modelling Language.
ECAI
Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche
2014 J jnl
Inference in the FO(C) Modelling Language.
CoRR
Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche
2014 J jnl
Predicate Logic as a Modelling Language: The IDP System.
CoRR
Broes De Cat, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker
2014 J jnl
Simulating Dynamic Systems Using Linear Time Calculus Theories.
Theory Pract. Log. Program.
Bart Bogaerts, Joachim Jansen, Maurice Bruynooghe, Broes De Cat, Joost Vennekens, Marc Denecker
2014 J jnl
Simulating dynamic systems using Linear Time Calculus theories.
CoRR
Bart Bogaerts, Joachim Jansen, Maurice Bruynooghe, Broes De Cat, Joost Vennekens, Marc Denecker
2013 B conf
Model Expansion in the Presence of Function Symbols Using Constraint Programming.
ICTAI
Broes De Cat, Bart Bogaerts, Jo Devriendt, Marc Denecker
2013 J jnl
Predicate Logic as a Modeling Language: Modeling and Solving some Machine Learning and Data Mining Problems with IDP3.
CoRR
Maurice Bruynooghe, Hendrik Blockeel, Bart Bogaerts, Broes De Cat, Stef De Pooter, Joachim Jansen, Anthony Labarre, Jan Ramon, Marc Denecker, Sicco Verwer
2013 J jnl
The effects of buying a new car: an extension of the IDP Knowledge Base System.
Theory Pract. Log. Program.
Pieter Van Hertum, Joost Vennekens, Bart Bogaerts, Jo Devriendt, Marc Denecker
2012 — conf
Modeling Machine Learning and Data Mining Problems with FO(·).
ICLP (Technical Communications)
Hendrik Blockeel, Bart Bogaerts, Maurice Bruynooghe, Broes De Cat, Stef De Pooter, Marc Denecker, Anthony Labarre, Jan Ramon, Sicco Verwer
2012 B conf
Symmetry Propagation: Improved Dynamic Symmetry Breaking in SAT.
ICTAI
Jo Devriendt, Bart Bogaerts, Broes De Cat, Marc Denecker, Christopher Mears