research
∙
08/30/2023
Generalizing Level Ranking Constraints for Monotone and Convex Aggregates
In answer set programming (ASP), answer sets capture solutions to search...
share
research
∙
07/13/2023
Short Boolean Formulas as Explanations in Practice
We investigate explainability via short Boolean formulas in the data mod...
research
∙
06/08/2023
Capturing (Optimal) Relaxed Plans with Stable and Supported Models of Logic Programs
We establish a novel relation between delete-free planning, an important...
research
∙
09/03/2022
Explainability via Short Formulas: the Case of Propositional Logic with Implementation
We conceptualize explainability in terms of logic and formula size, givi...
research
∙
06/23/2022
plingo: A system for probabilistic reasoning in clingo based on lpmln
We present plingo, an extension of the ASP system clingo with various pr...
research
∙
08/07/2021
Solution Enumeration by Optimality in Answer Set Programming
Given a combinatorial search problem, it may be highly useful to enumera...
research
∙
03/06/2020
Boosting Answer Set Optimization with Weighted Comparator Networks
Answer set programming (ASP) is a paradigm for modeling knowledge intens...
research
∙
09/03/2019
Allen's Interval Algebra Makes the Difference
Allen's Interval Algebra constitutes a framework for reasoning about tem...
research
∙
07/13/2017
Clingo goes Linear Constraints over Reals and Integers
The recent series 5 of the ASP system clingo provides generic means to e...
research
∙
08/05/2016
Stable-Unstable Semantics: Beyond NP with Normal Logic Programs
Standard answer set programming (ASP) targets at solving search problems...
research
∙
01/15/2014
Modularity Aspects of Disjunctive Stable Models
Practically all programming languages allow the programmer to split a pr...
research
∙
08/30/2011