Bart Bogaerts

ORCID

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 89

Top Venues

CoRR

Theory Pract. Log. Program.

IJCAI

Artif. Intell.

Katholieke Universiteit Leuven, Belgium (PHD)

Education History

Katholieke Universiteit Leuven, Belgium

PHD

Publications

Jesse Heyninck, Ofer Arieli, Bart Bogaerts
Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming. Artif. Intell. 331 (2024)
Pierre Carbonnelle, Gottfried Schenner, Maurice Bruynooghe, Bart Bogaerts, Marc Denecker
Using Symmetries to Lift Satisfiability Checking. AAAI (2024)
Bart Bogaerts, Maxime Jakubowski, Jan Van den Bussche
Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests. Log. Methods Comput. Sci. 20 (1) (2024)
Bart Bogaerts, Bas Ketsman, Younes Zeboudj, Heba Aamer, Ruben Taelman, Ruben Verborgh
Distributed Subweb Specifications for Traversing the Web. Theory Pract. Log. Program. 24 (2) (2024)
Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche
Executable First-Order Queries in the Logic of Information Flows. Log. Methods Comput. Sci. 20 (2) (2024)
Jeremias Berg, Bart Bogaerts, Jakob Nordström, Andy Oertel, Tobias Paxian, Dieter Vandesande
Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability. CP (2024)
Bart Bogaerts, Luís Cruz-Filipe
Approximation Fixpoint Theory in Coq - With an Application to Logic Programming. Logics and Type Systems in Theory and Practice (2024)
Simon Marynissen, Bart Bogaerts, Marc Denecker
Embedding justification theory in approximation fixpoint theory. Artif. Intell. 331 (2024)
Linde Vanbesien, Samuele Pollaci, Bart Bogaerts, Marc Denecker
Towards a Unifying View on Monotone Constructive Definitions. ISAIM (2024)
Bart Bogaerts, Maxime Jakubowski, Jan Van den Bussche
Postulates for Provenance: Instance-based provenance for first-order logic. Proc. ACM Manag. Data 2 (2) (2024)
Emilio Gamba, Bart Bogaerts, Tias Guns
Efficiently Explaining CSPs with Unsatisfiable Subset Optimization. J. Artif. Intell. Res. 78 (2023)
Emilio Gamba, Bart Bogaerts, Tias Guns
Efficiently Explaining CSPs with Unsatisfiable Subset Optimization (extended algorithms and examples). CoRR (2023)
Pierre Carbonnelle, Gottfried Schenner, Maurice Bruynooghe, Bart Bogaerts, Marc Denecker
Using Symmetries to Lift Satisfiability Checking. CoRR (2023)
Jesse Heyninck, Bart Bogaerts
Non-deterministic Approximation Operators: Ultimate Operators, Semi-equilibrium Semantics, and Aggregates. Theory Pract. Log. Program. 23 (4) (2023)
Bart Bogaerts, Stephan Gocht, Ciaran McCreesh, Jakob Nordström
Certified Dominance and Symmetry Breaking for Combinatorial Optimisation. J. Artif. Intell. Res. 77 (2023)
Jesse Heyninck, Bart Bogaerts
Non-deterministic approximation operators: ultimate operators, semi-equilibrium semantics and aggregates (full version). CoRR (2023)
Pierre Carbonnelle, Joost Vennekens, Bart Bogaerts, Marc Denecker
Interactive Model Expansion in an Observable Environment. CoRR (2023)
Pierre Carbonnelle, Joost Vennekens, Marc Denecker, Bart Bogaerts
Interactive Model Expansion in an Observable Environment. Theory Pract. Log. Program. 23 (4) (2023)
Ignace Bleukx, Jo Devriendt, Emilio Gamba, Bart Bogaerts, Tias Guns
Simplifying Step-Wise Explanation Sequences. CP (2023)
Jeremias Berg, Bart Bogaerts, Jakob Nordström, Andy Oertel, Dieter Vandesande
Certified Core-Guided MaxSAT Solving. CADE (2023)
Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche
Inputs, Outputs, and Composition in the Logic of Information Flows. ACM Trans. Comput. Log. 24 (4) (2023)
Marcos Cramer, Samuele Pollaci, Bart Bogaerts
Mathematical Foundations for Joining Only Knowing and Common Knowledge. KR (2023)
Marcos Cramer, Pieter Van Hertum, Bart Bogaerts, Marc Denecker
Distributed Autoepistemic Logic: Semantics, Complexity, and Applications to Access Control. CoRR (2023)
Bart Bogaerts, Bas Ketsman, Younes Zeboudj, Heba Aamer, Ruben Taelman, Ruben Verborgh
Distributed Subweb Specifications for Traversing the Web. CoRR (2023)
Marcos Cramer, Samuele Pollaci, Bart Bogaerts
Mathematical Foundations for Joining Only Knowing and Common Knowledge (Extended Version). CoRR (2023)
Bart Bogaerts, Balder ten Cate, Brett McLean, Jan Van den Bussche
Preservation theorems for Tarski's relation algebra. CoRR (2023)
Simon Marynissen, Jesse Heyninck, Bart Bogaerts, Marc Denecker
On Nested Justification Systems (full version). CoRR (2022)
Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche
Executable First-Order Queries in the Logic of Information Flows. CoRR (2022)
Simon Marynissen, Jesse Heyninck, Bart Bogaerts, Marc Denecker
On Nested Justification Systems. Theory Pract. Log. Program. 22 (5) (2022)
Simon Marynissen, Bart Bogaerts
Tree-Like Justification Systems are Consistent. ICLP Technical Communications / Doctoral Consortium (2022)
Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche
Inputs, Outputs, and Composition in the Logic of Information Flows. CoRR (2022)
Luciano Caroprese, Ester Zumpano, Bart Bogaerts
Computing Abductive Explanations. IEEE Intell. Syst. 37 (6) (2022)
Bart Bogaerts, Maxime Jakubowski, Jan Van den Bussche
Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests. CoRR (2022)
Bart Bogaerts, Stephan Gocht, Ciaran McCreesh, Jakob Nordström
Certified Symmetry and Dominance Breaking for Combinatorial Optimisation. AAAI (2022)
Daimy Van Caudenberg, Bart Bogaerts
Symmetry and Dominance Breaking for Pseudo-Boolean Optimization. BNAIC/BENELEARN (2022)
Bart Bogaerts, Maxime Jakubowski, Jan Van den Bussche
Expressiveness of SHACL Features. ICDT (2022)
Dieter Vandesande, Wolf De Wulf, Bart Bogaerts
QMaxSATpb: A Certified MaxSAT Solver. LPNMR (2022)
Bart Bogaerts, Stephan Gocht, Ciaran McCreesh, Jakob Nordström
Certified Symmetry and Dominance Breaking for Combinatorial Optimisation. CoRR (2022)
Jesse Heyninck, Ofer Arieli, Bart Bogaerts
Non-Deterministic Approximation Fixpoint Theory and Its Application in Disjunctive Logic Programming. CoRR (2022)
Bart Bogaerts, Maxime Jakubowski, Jan Van den Bussche
SHACL: A Description Logic in Disguise. LPNMR (2022)
Bart Bogaerts, Emilio Gamba, Tias Guns
A framework for step-wise explaining how to solve constraint satisfaction problems. Artif. Intell. 300 (2021)
Simon Marynissen, Bart Bogaerts, Marc Denecker
On the Relation Between Approximation Fixpoint Theory and Justification Theory. IJCAI (2021)
Bart Bogaerts, Maxime Jakubowski, Jan Van den Bussche
SHACL: A Description Logic in Disguise. CoRR (2021)
Emilio Gamba, Bart Bogaerts, Tias Guns
Efficiently Explaining CSPs with Unsatisfiable Subset Optimization. IJCAI (2021)
Bart Bogaerts, Maxime Jakubowski
Fixpoint Semantics for Recursive SHACL. ICLP Technical Communications (2021)
Bart Bogaerts, Luís Cruz-Filipe
Stratification in Approximation Fixpoint Theory and Its Application to Active Integrity Constraints. ACM Trans. Comput. Log. 22 (1) (2021)
Bart Bogaerts, Bas Ketsman, Younes Zeboudj, Heba Aamer, Ruben Taelman, Ruben Verborgh
Link Traversal with Distributed Subweb Specifications. RuleML+RR (2021)
Emilio Gamba, Bart Bogaerts, Tias Guns
Efficiently Explaining CSPs with Unsatisfiable Subset Optimization. CoRR (2021)
Bart Bogaerts, Emilio Gamba, Tias Guns
A framework for step-wise explaining how to solve constraint satisfaction problems. CoRR (2020)
Wolf De Wulf, Bart Bogaerts
LP2PB: Translating Answer Set Programs into Pseudo-Boolean Theories. ICLP Technical Communications (2020)
Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche
Inputs, Outputs, and Composition in the Logic of Information Flows. KR (2020)
Simon Marynissen, Bart Bogaerts, Marc Denecker
Exploiting Game Theory for Analysing Justifications. CoRR (2020)
Simon Marynissen, Bart Bogaerts, Marc Denecker
Exploiting Game Theory for Analysing Justifications. Theory Pract. Log. Program. 20 (6) (2020)
Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche
Executable First-Order Queries in the Logic of Information Flows. ICDT (2020)
Bart Bogaerts, Emilio Gamba, Jens Claes, Tias Guns
Step-Wise Explanations of Constraint Satisfaction Problems. ECAI (2020)
Bart Bogaerts, Esra Erdem, Amelia Harrison
Guest editorial: special issue on answer set programming and other computing paradigms. Ann. Math. Artif. Intell. 86 (1-3) (2019)
Jens Claes, Bart Bogaerts, Rocsildes Canoy, Emilio Gamba, Tias Guns
ZebraTutor: Explaining How to Solve Logic Grid Puzzles. BNAIC/BENELEARN (2019)
Bart Bogaerts
Weighted Abstract Dialectical Frameworks through the Lens of Approximation Fixpoint Theory. AAAI (2019)
Marc Denecker, Bart Bogaerts, Joost Vennekens
Explaining Actual Causation in Terms of Possible Causal Processes. JELIA (2019)
Bart Bogaerts, Luís Cruz-Filipe
Fixpoint semantics for active integrity constraints. Artif. Intell. 255 (2018)
Bart Bogaerts, Antonius Weinzierl
Exploiting Justifications for Lazy Grounding of Answer Set Programs. IJCAI (2018)
Bart Bogaerts, Joost Vennekens, Marc Denecker
Safe inductions and their applications in knowledge representation. Artif. Intell. 259 (2018)
Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe
Symmetric Explanation Learning: Effective Dynamic Symmetry Handling for SAT. SAT (2017)
Marc Denecker, Bart Bogaerts, Joost Vennekens
A Logical Study of Some Common Principles of Inductive Definition and its Implications for Knowledge Representation. CoRR (2017)
Bart Bogaerts, Luís Cruz-Filipe
Semantics for Active Integrity Constraints Using Approximation Fixpoint Theory. IJCAI (2017)
Bart Bogaerts, Joost Vennekens, Marc Denecker
Safe Inductions: An Algebraic Study. IJCAI (2017)
Bart Bogaerts, Eugenia Ternovska, David G. Mitchell
Propagators and Solvers for the Algebra of Modular Systems. LPAR (2017)
Pieter Van Hertum, Marcos Cramer, Bart Bogaerts, Marc Denecker
Distributed Autoepistemic Logic and its Application to Access Control. IJCAI (2016)
Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker
Improved Static Symmetry Breaking for SAT. SAT (2016)
Bart Bogaerts, Joost Vennekens, Marc Denecker
On Well-Founded Set-Inductions and Locally Monotone Operators. ACM Trans. Comput. Log. 17 (4) (2016)
Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker
On Local Domain Symmetry for Model Expansion. CoRR (2016)
Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker
On local domain symmetry for model expansion. Theory Pract. Log. Program. 16 (5-6) (2016)
Joachim Jansen, Jo Devriendt, Bart Bogaerts, Gerda Janssens, Marc Denecker
Implementing a Relevance Tracker Module. CoRR (2016)
Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi
Stable-Unstable Semantics: Beyond NP with Normal Logic Programs. CoRR (2016)
Bart Bogaerts, Eugenia Ternovska, David G. Mitchell
Propagators and Solvers for the Algebra of Modular Systems. CoRR (2016)
Bart Bogaerts, Joachim Jansen, Broes De Cat, Gerda Janssens, Maurice Bruynooghe, Marc Denecker
Bootstrapping Inference in the IDP Knowledge Base System. New Gener. Comput. 34 (3) (2016)
Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi
Declarative Solver Development: Case Studies. KR (2016)
Joachim Jansen, Bart Bogaerts, Jo Devriendt, Gerda Janssens, Marc Denecker
Relevance for SAT(ID). IJCAI (2016)
Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi
Stable-unstable semantics: Beyond NP with normal logic programs. Theory Pract. Log. Program. 16 (5-6) (2016)
Jo Devriendt, Bart Bogaerts
BreakID: Static Symmetry Breaking for ASP (System Description). CoRR (2016)
Ingmar Dasseville, Matthias van der Hallen, Bart Bogaerts, Gerda Janssens, Marc Denecker
A Compositional Typed Higher-Order Logic with Definitions. ICLP (Technical Communications) (2016)
Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi
SAT-to-SAT in QBFEval 2016. QBF@SAT (2016)
Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi
Solving QBF Instances with Nested SAT Solvers. AAAI Workshop: Beyond NP (2016)
Bart Bogaerts, Guy Van den Broeck
Knowledge compilation of logic programs using approximation fixpoint theory. Theory Pract. Log. Program. 15 (4-5) (2015)
Maurice Bruynooghe, Hendrik Blockeel, Bart Bogaerts, Broes De Cat, Stef De Pooter, Joachim Jansen, Anthony Labarre, Jan Ramon, Marc Denecker, Sicco Verwer
. Theory Pract. Log. Program. 15 (6) (2015)
Bart Bogaerts, Joost Vennekens, Marc Denecker
Grounded Fixpoints. AAAI (2015)
Bart Bogaerts, Guy Van den Broeck
Knowledge Compilation of Logic Programs Using Approximation Fixpoint Theory. CoRR (2015)
Bart Bogaerts, Joost Vennekens, Marc Denecker
Grounded fixpoints and their applications in knowledge representation. Artif. Intell. 224 (2015)
Bart Bogaerts, Joost Vennekens, Marc Denecker
Partial Grounded Fixpoints. IJCAI (2015)
Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche
Inference in the FO(C) Modelling Language. ECAI (2014)
Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche
FO(C): A Knowledge Representation Language of Causality. CoRR (2014)
Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche
Inference in the FO(C) Modelling Language. CoRR (2014)
Broes De Cat, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker
Predicate Logic as a Modelling Language: The IDP System. CoRR (2014)
Bart Bogaerts, Joachim Jansen, Maurice Bruynooghe, Broes De Cat, Joost Vennekens, Marc Denecker
Simulating Dynamic Systems Using Linear Time Calculus Theories. Theory Pract. Log. Program. 14 (4-5) (2014)
Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche
FO(C) and Related Modelling Paradigms. CoRR (2014)
Bart Bogaerts, Joachim Jansen, Maurice Bruynooghe, Broes De Cat, Joost Vennekens, Marc Denecker
Simulating dynamic systems using Linear Time Calculus theories. CoRR (2014)
Broes De Cat, Bart Bogaerts, Jo Devriendt, Marc Denecker
Model Expansion in the Presence of Function Symbols Using Constraint Programming. ICTAI (2013)
Maurice Bruynooghe, Hendrik Blockeel, Bart Bogaerts, 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)
Pieter Van Hertum, Joost Vennekens, Bart Bogaerts, Jo Devriendt, Marc Denecker
The effects of buying a new car: an extension of the IDP Knowledge Base System. Theory Pract. Log. Program. 13 (4-5-Online-Supplement) (2013)
Jo Devriendt, Bart Bogaerts, Broes De Cat, Marc Denecker, Christopher Mears
Symmetry Propagation: Improved Dynamic Symmetry Breaking in SAT. ICTAI (2012)

Bart Bogaerts.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Bart Bogaerts