research
∙
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...
share
research
∙
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...
research
∙
05/20/2023
Interactive Model Expansion in an Observable Environment
Many practical problems can be understood as the search for a state of a...
research
∙
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...
research
∙
05/08/2023
Preservation theorems for Tarski's relation algebra
We investigate a number of semantically defined fragments of Tarski's al...
research
∙
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...
research
∙
02/28/2023
Distributed Subweb Specifications for Traversing the Web
Link Traversal-based Query Processing (ltqp), in which a sparql query is...
research
∙
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...
research
∙
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...
research
∙
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...
research
∙
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...
research
∙
08/05/2022
Tree-Like Justification Systems are Consistent
Justification theory is an abstract unifying formalism that captures sem...
research
∙
05/09/2022
On Nested Justification Systems (full version)
Justification theory is a general framework for the definition of semant...
research
∙
03/23/2022
Certified Symmetry and Dominance Breaking for Combinatorial Optimisation
Symmetry and dominance breaking can be crucial for solving hard combinat...
research
∙
09/17/2021
Fixpoint Semantics for Recursive SHACL
SHACL is a W3C-proposed language for expressing structural constraints o...
research
∙
09/15/2021
Proceedings 37th International Conference on Logic Programming (Technical Communications)
ICLP is the premier international event for presenting research in logic...
research
∙
08/13/2021
SHACL: A Description Logic in Disguise
SHACL is a W3C-proposed language for expressing structural constraints o...
research
∙
05/25/2021
Efficiently Explaining CSPs with Unsatisfiable Subset Optimization
We build on a recently proposed method for explaining solutions of const...
research
∙
09/22/2020
LP2PB: Translating Answer Set Programs into Pseudo-Boolean Theories
Answer set programming (ASP) is a well-established knowledge representat...
research
∙
08/04/2020
Exploiting Game Theory for Analysing Justifications
Justification theory is a unifying semantic framework. While it has its ...
research
∙
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...
research
∙
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 ...
research
∙
08/05/2016
Stable-Unstable Semantics: Beyond NP with Normal Logic Programs
Standard answer set programming (ASP) targets at solving search problems...
research
∙
06/27/2016
Propagators and Solvers for the Algebra of Modular Systems
To appear in the proceedings of LPAR 21. Solving complex problems can ...
research
∙
05/08/2014