Bart Bogaerts

According to our database, Bart Bogaerts authored at least 85 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Distributed Subweb Specifications for Traversing the Web.

Bart Bogaerts, Bas Ketsman, Younes Zeboudj, Heba Aamer, Ruben Taelman, Ruben Verborgh

Theory Pract. Log. Program., March, 2024

Postulates for Provenance: Instance-based provenance for first-order logic.

Bart Bogaerts, Maxime Jakubowski, Jan Van den Bussche

Proc. ACM Manag. Data, 2024

Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests.

Bart Bogaerts, Maxime Jakubowski, Jan Van den Bussche

Log. Methods Comput. Sci., 2024

Executable First-Order Queries in the Logic of Information Flows.

Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche

Log. Methods Comput. Sci., 2024

Preservation theorems for Tarski's relation algebra.

Bart Bogaerts, Balder ten Cate, Brett McLean, Jan Van den Bussche

Log. Methods Comput. Sci., 2024

A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory (Extended Version).

Samuele Pollaci, Babis Kostopoulos, Marc Denecker, Bart Bogaerts

CoRR, 2024

The Stable Model Semantics for Higher-Order Logic Programming.

Bart Bogaerts, Angelos Charalambidis, Giannos Chatziagapis, Babis Kostopoulos, Samuele Pollaci, Panos Rondogiannis

CoRR, 2024

Embedding justification theory in approximation fixpoint theory.

Simon Marynissen, Bart Bogaerts, Marc Denecker

Artif. Intell., 2024

Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming.

Jesse Heyninck, Ofer Arieli, Bart Bogaerts

Artif. Intell., 2024

A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory.

Samuele Pollaci, Babis Kostopoulos, Marc Denecker, Bart Bogaerts

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2024

Towards a Unifying View on Monotone Constructive Definitions.

Linde Vanbesien, Samuele Pollaci, Bart Bogaerts, Marc Denecker

Proceedings of the Artificial Intelligence and Image Analysis, 2024

Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability.

Jeremias Berg, Bart Bogaerts, Jakob Nordström, Andy Oertel, Tobias Paxian, Dieter Vandesande

Proceedings of the 30th International Conference on Principles and Practice of Constraint Programming, 2024

Approximation Fixpoint Theory in Coq - With an Application to Logic Programming.

Bart Bogaerts, Luís Cruz-Filipe

Proceedings of the Logics and Type Systems in Theory and Practice, 2024

Using Symmetries to Lift Satisfiability Checking.

Pierre Carbonnelle, Gottfried Schenner, Maurice Bruynooghe, Bart Bogaerts, Marc Denecker

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Inputs, Outputs, and Composition in the Logic of Information Flows.

Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche

ACM Trans. Comput. Log., October, 2023

Non-deterministic Approximation Operators: Ultimate Operators, Semi-equilibrium Semantics, and Aggregates.

Jesse Heyninck, Bart Bogaerts

Theory Pract. Log. Program., July, 2023

Interactive Model Expansion in an Observable Environment.

Pierre Carbonnelle, Joost Vennekens, Marc Denecker, Bart Bogaerts

Theory Pract. Log. Program., July, 2023

Efficiently Explaining CSPs with Unsatisfiable Subset Optimization.

Emilio Gamba, Bart Bogaerts, Tias Guns

J. Artif. Intell. Res., 2023

Certified Dominance and Symmetry Breaking for Combinatorial Optimisation.

Bart Bogaerts, Stephan Gocht, Ciaran McCreesh, Jakob Nordström

J. Artif. Intell. Res., 2023

Mathematical Foundations for Joining Only Knowing and Common Knowledge (Extended Version).

Marcos Cramer, Samuele Pollaci, Bart Bogaerts

CoRR, 2023

Distributed Autoepistemic Logic: Semantics, Complexity, and Applications to Access Control.

Marcos Cramer, Pieter Van Hertum, Bart Bogaerts, Marc Denecker

CoRR, 2023

Non-deterministic approximation operators: ultimate operators, semi-equilibrium semantics and aggregates (full version).

Jesse Heyninck, Bart Bogaerts

CoRR, 2023

Efficiently Explaining CSPs with Unsatisfiable Subset Optimization (extended algorithms and examples).

Emilio Gamba, Bart Bogaerts, Tias Guns

CoRR, 2023

Mathematical Foundations for Joining Only Knowing and Common Knowledge.

Marcos Cramer, Samuele Pollaci, Bart Bogaerts

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

Simplifying Step-Wise Explanation Sequences.

Ignace Bleukx, Jo Devriendt, Emilio Gamba, Bart Bogaerts, Tias Guns

Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023

Certified Core-Guided MaxSAT Solving.

Jeremias Berg, Bart Bogaerts, Jakob Nordström, Andy Oertel, Dieter Vandesande

Proceedings of the Automated Deduction - CADE 29, 2023

2022

On Nested Justification Systems.

Simon Marynissen, Jesse Heyninck, Bart Bogaerts, Marc Denecker

Theory Pract. Log. Program., 2022

Computing Abductive Explanations.

Luciano Caroprese, Ester Zumpano, Bart Bogaerts

IEEE Intell. Syst., 2022

Tree-Like Justification Systems are Consistent.

Simon Marynissen, Bart Bogaerts

Proceedings of the Proceedings 38th International Conference on Logic Programming, 2022

On Nested Justification Systems (full version).

Simon Marynissen, Jesse Heyninck, Bart Bogaerts, Marc Denecker

CoRR, 2022

QMaxSATpb: A Certified MaxSAT Solver.

Dieter Vandesande, Wolf De Wulf, Bart Bogaerts

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

SHACL: A Description Logic in Disguise.

Bart Bogaerts, Maxime Jakubowski, Jan Van den Bussche

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

Expressiveness of SHACL Features.

Bart Bogaerts, Maxime Jakubowski, Jan Van den Bussche

Proceedings of the 25th International Conference on Database Theory, 2022

Symmetry and Dominance Breaking for Pseudo-Boolean Optimization.

Daimy Van Caudenberg, Bart Bogaerts

Proceedings of the Artificial Intelligence and Machine Learning, 2022

Certified Symmetry and Dominance Breaking for Combinatorial Optimisation.

Bart Bogaerts, Stephan Gocht, Ciaran McCreesh, Jakob Nordström

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Stratification in Approximation Fixpoint Theory and Its Application to Active Integrity Constraints.

Bart Bogaerts, Luís Cruz-Filipe

ACM Trans. Comput. Log., 2021

Fixpoint Semantics for Recursive SHACL.

Bart Bogaerts, Maxime Jakubowski

Proceedings of the Proceedings 37th International Conference on Logic Programming (Technical Communications), 2021

A framework for step-wise explaining how to solve constraint satisfaction problems.

Bart Bogaerts, Emilio Gamba, Tias Guns

Artif. Intell., 2021

Link Traversal with Distributed Subweb Specifications.

Bart Bogaerts, Bas Ketsman, Younes Zeboudj, Heba Aamer, Ruben Taelman, Ruben Verborgh

Proceedings of the Rules and Reasoning - 5th International Joint Conference, 2021

On the Relation Between Approximation Fixpoint Theory and Justification Theory.

Simon Marynissen, Bart Bogaerts, Marc Denecker

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

2020

Exploiting Game Theory for Analysing Justifications.

Simon Marynissen, Bart Bogaerts, Marc Denecker

Theory Pract. Log. Program., 2020

LP2PB: Translating Answer Set Programs into Pseudo-Boolean Theories.

Wolf De Wulf, Bart Bogaerts

Proceedings of the Proceedings 36th International Conference on Logic Programming (Technical Communications), 2020

Step-Wise Explanations of Constraint Satisfaction Problems.

Bart Bogaerts, Emilio Gamba, Jens Claes, Tias Guns

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

2019

Guest editorial: special issue on answer set programming and other computing paradigms.

Bart Bogaerts, Esra Erdem, Amelia Harrison

Ann. Math. Artif. Intell., 2019

Explaining Actual Causation in Terms of Possible Causal Processes.

Marc Denecker, Bart Bogaerts, Joost Vennekens

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

ZebraTutor: Explaining How to Solve Logic Grid Puzzles.

Jens Claes, Bart Bogaerts, Rocsildes Canoy, Emilio Gamba, Tias Guns

Proceedings of the 31st Benelux Conference on Artificial Intelligence (BNAIC 2019) and the 28th Belgian Dutch Conference on Machine Learning (Benelearn 2019), 2019

Weighted Abstract Dialectical Frameworks through the Lens of Approximation Fixpoint Theory.

Bart Bogaerts

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Fixpoint semantics for active integrity constraints.

Bart Bogaerts, Luís Cruz-Filipe

Artif. Intell., 2018

Safe inductions and their applications in knowledge representation.

Bart Bogaerts, Joost Vennekens, Marc Denecker

Artif. Intell., 2018

Exploiting Justifications for Lazy Grounding of Answer Set Programs.

Bart Bogaerts, Antonius Weinzierl

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Predicate logic as a modeling language: the IDP system.

Broes De Cat, Bart Bogaerts, Maurice Bruynooghe, Gerda Janssens, Marc Denecker

Proceedings of the Declarative Logic Programming: Theory, Systems, and Applications, 2018

2017

A Logical Study of Some Common Principles of Inductive Definition and its Implications for Knowledge Representation.

Marc Denecker, Bart Bogaerts, Joost Vennekens

CoRR, 2017

Symmetric Explanation Learning: Effective Dynamic Symmetry Handling for SAT.

Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017

Propagators and Solvers for the Algebra of Modular Systems.

Bart Bogaerts, Eugenia Ternovska, David G. Mitchell

Proceedings of the LPAR-21, 2017

Semantics for Active Integrity Constraints Using Approximation Fixpoint Theory.

Bart Bogaerts, Luís Cruz-Filipe

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Safe Inductions: An Algebraic Study.

Bart Bogaerts, Joost Vennekens, Marc Denecker

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016

On local domain symmetry for model expansion.

Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker

Theory Pract. Log. Program., 2016

Stable-unstable semantics: Beyond NP with normal logic programs.

Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi

Theory Pract. Log. Program., 2016

On Well-Founded Set-Inductions and Locally Monotone Operators.

Bart Bogaerts, Joost Vennekens, Marc Denecker

ACM Trans. Comput. Log., 2016

Bootstrapping Inference in the IDP Knowledge Base System.

Bart Bogaerts, Joachim Jansen, Broes De Cat, Gerda Janssens, Maurice Bruynooghe, Marc Denecker

New Gener. Comput., 2016

Implementing a Relevance Tracker Module.

Joachim Jansen, Jo Devriendt, Bart Bogaerts, Gerda Janssens, Marc Denecker

CoRR, 2016

BreakID: Static Symmetry Breaking for ASP (System Description).

Jo Devriendt, Bart Bogaerts

CoRR, 2016

Improved Static Symmetry Breaking for SAT.

Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016

SAT-to-SAT in QBFEval 2016.

Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi

Proceedings of the 4th International Workshop on Quantified Boolean Formulas (QBF 2016) co-located with 19th International Conference on Theory and Applications of Satisfiability Testing (SAT 2016), 2016

Declarative Solver Development: Case Studies.

Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Relevance for SAT(ID).

Joachim Jansen, Bart Bogaerts, Jo Devriendt, Gerda Janssens, Marc Denecker

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Distributed Autoepistemic Logic and its Application to Access Control.

Pieter Van Hertum, Marcos Cramer, Bart Bogaerts, Marc Denecker

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

A Compositional Typed Higher-Order Logic with Definitions.

Ingmar Dasseville, Matthias van der Hallen, Bart Bogaerts, Gerda Janssens, Marc Denecker

Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016

Solving QBF Instances with Nested SAT Solvers.

Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi

Proceedings of the Beyond NP, 2016

2015

Groundedness in Logics with a Fixpoint Semantics; Gegrondheid in logicas met een vaste-puntssemantiek.

Bart Bogaerts

PhD thesis, 2015

Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with <i>IDP3</i>.

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., 2015

Knowledge compilation of logic programs using approximation fixpoint theory.

Bart Bogaerts, Guy Van den Broeck

Theory Pract. Log. Program., 2015

Grounded fixpoints and their applications in knowledge representation.

Bart Bogaerts, Joost Vennekens, Marc Denecker

Artif. Intell., 2015

Partial Grounded Fixpoints.

Bart Bogaerts, Joost Vennekens, Marc Denecker

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Grounded Fixpoints.

Bart Bogaerts, Joost Vennekens, Marc Denecker

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Simulating Dynamic Systems Using Linear Time Calculus Theories.

Bart Bogaerts, Joachim Jansen, Maurice Bruynooghe, Broes De Cat, Joost Vennekens, Marc Denecker

Theory Pract. Log. Program., 2014

Predicate Logic as a Modelling Language: The IDP System.

Broes De Cat, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker

CoRR, 2014

FO(C): A Knowledge Representation Language of Causality.

Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche

CoRR, 2014

FO(C) and Related Modelling Paradigms.

Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche

CoRR, 2014

Inference in the FO(C) Modelling Language.

Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

2013

The effects of buying a new car: an extension of the IDP Knowledge Base System.

Pieter Van Hertum, Joost Vennekens, Bart Bogaerts, Jo Devriendt, Marc Denecker

Theory Pract. Log. Program., 2013

Predicate Logic as a Modeling Language: Modeling and Solving some Machine Learning and Data Mining Problems with IDP3.

Maurice Bruynooghe, Hendrik Blockeel, Bart Bogaerts, Broes De Cat, Stef De Pooter, Joachim Jansen, Anthony Labarre, Jan Ramon, Marc Denecker, Sicco Verwer

CoRR, 2013

Model Expansion in the Presence of Function Symbols Using Constraint Programming.

Broes De Cat, Bart Bogaerts, Jo Devriendt, Marc Denecker

Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

2012

Symmetry Propagation: Improved Dynamic Symmetry Breaking in SAT.

Jo Devriendt, Bart Bogaerts, Broes De Cat, Marc Denecker, Christopher Mears

Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

Modeling Machine Learning and Data Mining Problems with FO(·).

Hendrik Blockeel, Bart Bogaerts, Maurice Bruynooghe, Broes De Cat, Stef De Pooter, Marc Denecker, Anthony Labarre, Jan Ramon, Sicco Verwer

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012