research
∙
05/17/2023
An efficient solver for ASP(Q)
Answer Set Programming with Quantifiers ASP(Q) extends Answer Set Progra...
share
research
∙
09/17/2021
Aggregate Semantics for Propositional Answer Set Programs
Answer Set Programming (ASP) emerged in the late 1990ies as a paradigm f...
research
∙
08/17/2021
Thirty years of Epistemic Specifications
The language of epistemic specifications and epistemic logic programs ex...
research
∙
08/11/2021
Determining ActionReversibility in STRIPS Using Answer Set and Epistemic Logic Programming
In the context of planning and reasoning about actions and change, we ca...
research
∙
11/11/2019
ASP-Core-2 Input Language Format
Standardization of solver input languages has been a main driver for the...
research
∙
07/25/2019
On Uniform Equivalence of Epistemic Logic Programs
Epistemic Logic Programs (ELPs) extend Answer Set Programming (ASP) with...
research
∙
11/12/2018
Strong Equivalence for Epistemic Logic Programs Made Easy (Extended Version)
Epistemic Logic Programs (ELPs), that is, Answer Set Programming (ASP) e...
research
∙
07/21/2017
On the Computation of Paracoherent Answer Sets
Answer Set Programming (ASP) is a well-established formalism for nonmono...
research
∙
12/22/2016
Solving Set Optimization Problems by Cardinality Optimization via Weak Constraints with an Application to Argumentation
Optimization - minimization or maximization - in the lattice of subsets ...
research
∙
05/11/2014
Efficient Computation of the Well-Founded Semantics over Big Data
Data originating from the Web, sensor readings and social media result i...
research
∙
05/06/2014
Semantics and Compilation of Answer Set Programming with Generalized Atoms
Answer Set Programming (ASP) is logic programming under the stable model...
research
∙
01/18/2014
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates
Logic programs with aggregates (LPA) are one of the major linguistic ext...
research
∙
12/20/2013
Properties of Answer Set Programming with Convex Generalized Atoms
In recent years, Answer Set Programming (ASP), logic programming under t...
research
∙
01/08/2013
Translating NP-SPEC into ASP
NP-SPEC is a language for specifying problems in NP in a declarative way...
research
∙
10/08/2012
Disjunctive Datalog with Existential Quantifiers: Semantics, Decidability, and Complexity Issues
Datalog is one of the best-known rule-based languages, and extensions of...
research
∙
04/27/2012
Magic Sets for Disjunctive Datalog Programs
In this paper, a new technique for the optimization of (partially) bound...
research
∙
12/04/2011
Strong Equivalence of Qualitative Optimization Problems
We introduce the framework of qualitative optimization problems (or, sim...
research
∙
11/04/2002
The DLV System for Knowledge Representation and Reasoning
This paper presents the DLV system, which is widely considered the state...
research
∙
03/08/2000