Bart Bogaerts | DeepAI

DeepAI AI Chat

Featured Co-authors

Carmine Dodaro
26 publications
Marc Denecker
25 publications
Jan Van den Bussche
25 publications
Tias Guns
23 publications
Joost Vennekens
23 publications
Esra Erdem
21 publications
Fangkai Yang
19 publications
Balder ten Cate
15 publications
Germán Vidal
13 publications
Tomi Janhunen
12 publications
Andrea Formisano
11 publications

∙ 06/05/2023

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

Common knowledge and only knowing capture two intuitive and natural noti...

0 Marcos Cramer, et al. ∙

∙ 06/05/2023

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

In this paper we define and study a multi-agent extension of autoepistem...

0 Marcos Cramer, et al. ∙

∙ 05/20/2023

Interactive Model Expansion in an Observable Environment

Many practical problems can be understood as the search for a state of a...

0 Pierre Carbonnelle, et al. ∙

∙ 05/18/2023

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

Approximation fixpoint theory (AFT) is an abstract and general algebraic...

0 Jesse Heyninck, et al. ∙

∙ 05/08/2023

Preservation theorems for Tarski's relation algebra

We investigate a number of semantically defined fragments of Tarski's al...

0 Bart Bogaerts, et al. ∙

∙ 03/21/2023

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

We build on a recently proposed method for stepwise explaining solutions...

0 Emilio Gamba, et al. ∙

∙ 02/28/2023

Distributed Subweb Specifications for Traversing the Web

Link Traversal-based Query Processing (ltqp), in which a sparql query is...

0 Bart Bogaerts, et al. ∙

∙ 12/07/2022

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

SHACL is a W3C-proposed schema language for expressing structural constr...

0 Bart Bogaerts, et al. ∙

∙ 11/30/2022

Non-Deterministic Approximation Fixpoint Theory and Its Application in Disjunctive Logic Programming

Approximation fixpoint theory (AFT) is an abstract and general algebraic...

0 Jesse Heyninck, et al. ∙

∙ 10/01/2022

Executable First-Order Queries in the Logic of Information Flows

The logic of information flows (LIF) has recently been proposed as a gen...

0 Heba Aamer, et al. ∙

∙ 09/14/2022

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

The logic of information flows (LIF) is a general framework in which tas...

0 Heba Aamer, et al. ∙

∙ 08/05/2022

Tree-Like Justification Systems are Consistent

Justification theory is an abstract unifying formalism that captures sem...

0 Simon Marynissen, et al. ∙

∙ 05/09/2022

On Nested Justification Systems (full version)

Justification theory is a general framework for the definition of semant...

0 Simon Marynissen, et al. ∙

∙ 03/23/2022

Certified Symmetry and Dominance Breaking for Combinatorial Optimisation

Symmetry and dominance breaking can be crucial for solving hard combinat...

0 Bart Bogaerts, et al. ∙

∙ 09/17/2021

Fixpoint Semantics for Recursive SHACL

SHACL is a W3C-proposed language for expressing structural constraints o...

0 Bart Bogaerts, et al. ∙

∙ 09/15/2021

Proceedings 37th International Conference on Logic Programming (Technical Communications)

ICLP is the premier international event for presenting research in logic...

0 Andrea Formisano, et al. ∙

∙ 08/13/2021

SHACL: A Description Logic in Disguise

SHACL is a W3C-proposed language for expressing structural constraints o...

0 Bart Bogaerts, et al. ∙

∙ 05/25/2021

Efficiently Explaining CSPs with Unsatisfiable Subset Optimization

We build on a recently proposed method for explaining solutions of const...

0 Emilio Gamba, et al. ∙

∙ 09/22/2020

LP2PB: Translating Answer Set Programs into Pseudo-Boolean Theories

Answer set programming (ASP) is a well-established knowledge representat...

0 Wolf De Wulf, et al. ∙

∙ 08/04/2020

Exploiting Game Theory for Analysing Justifications

Justification theory is a unifying semantic framework. While it has its ...

0 Simon Marynissen, et al. ∙

∙ 06/11/2020

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

We explore the problem of step-wise explaining how to solve constraint s...

0 Bart Bogaerts, et al. ∙

∙ 09/17/2019

Proceedings 35th International Conference on Logic Programming (Technical Communications)

Since the first conference held in Marseille in 1982, ICLP has been the ...

0 Bart Bogaerts, et al. ∙

∙ 08/05/2016

Stable-Unstable Semantics: Beyond NP with Normal Logic Programs

Standard answer set programming (ASP) targets at solving search problems...

0 Bart Bogaerts, et al. ∙

∙ 06/27/2016

Propagators and Solvers for the Algebra of Modular Systems

To appear in the proceedings of LPAR 21. Solving complex problems can ...

0 Bart Bogaerts, et al. ∙

∙ 05/08/2014

FO(C): A Knowledge Representation Language of Causality

Cause-effect relations are an important part of human knowledge. In real...

0 Bart Bogaerts, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world