Bart Bogaerts

According to our database1, Bart Bogaerts authored at least 48 papers between 2012 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Exploiting Game Theory for Analysing Justifications.
Theory Pract. Log. Program., 2020

LP2PB: Translating Answer Set Programs into Pseudo-Boolean Theories.
Proceedings of the Proceedings 36th International Conference on Logic Programming (Technical Communications), 2020

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

Inputs, Outputs, and Composition in the Logic of Information Flows.
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Executable First-Order Queries in the Logic of Information Flows.
Proceedings of the 23rd International Conference on Database Theory, 2020

Step-Wise Explanations of Constraint Satisfaction Problems.
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.
Ann. Math. Artif. Intell., 2019

Explaining Actual Causation in Terms of Possible Causal Processes.
Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

ZebraTutor: Explaining How to Solve Logic Grid Puzzles.
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.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018
Fixpoint semantics for active integrity constraints.
Artif. Intell., 2018

Safe inductions and their applications in knowledge representation.
Artif. Intell., 2018

Exploiting Justifications for Lazy Grounding of Answer Set Programs.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Predicate logic as a modeling language: the IDP system.
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.
CoRR, 2017

Symmetric Explanation Learning: Effective Dynamic Symmetry Handling for SAT.
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.
Proceedings of the LPAR-21, 2017

Semantics for Active Integrity Constraints Using Approximation Fixpoint Theory.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Safe Inductions: An Algebraic Study.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016
On local domain symmetry for model expansion.
Theory Pract. Log. Program., 2016

Stable-unstable semantics: Beyond NP with normal logic programs.
Theory Pract. Log. Program., 2016

On Well-Founded Set-Inductions and Locally Monotone Operators.
ACM Trans. Comput. Log., 2016

Bootstrapping Inference in the IDP Knowledge Base System.
New Gener. Comput., 2016

Implementing a Relevance Tracker Module.
CoRR, 2016

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

Improved Static Symmetry Breaking for SAT.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016

SAT-to-SAT in QBFEval 2016.
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.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Relevance for SAT(ID).
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Distributed Autoepistemic Logic and its Application to Access Control.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

A Compositional Typed Higher-Order Logic with Definitions.
Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016

Solving QBF Instances with Nested SAT Solvers.
Proceedings of the Beyond NP, 2016

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

Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with <i>IDP3</i>.
Theory Pract. Log. Program., 2015

Knowledge compilation of logic programs using approximation fixpoint theory.
Theory Pract. Log. Program., 2015

Grounded fixpoints and their applications in knowledge representation.
Artif. Intell., 2015

Partial Grounded Fixpoints.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

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

2014
Simulating Dynamic Systems Using Linear Time Calculus Theories.
Theory Pract. Log. Program., 2014

Predicate Logic as a Modelling Language: The IDP System.
CoRR, 2014

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

FO(C) and Related Modelling Paradigms.
CoRR, 2014

Inference in the FO(C) Modelling Language.
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.
Theory Pract. Log. Program., 2013

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

Model Expansion in the Presence of Function Symbols Using Constraint Programming.
Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

2012
Symmetry Propagation: Improved Dynamic Symmetry Breaking in SAT.
Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

Modeling Machine Learning and Data Mining Problems with FO(·).
Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012


  Loading...