research
∙
08/30/2023
Explanations for Answer Set Programming
The paper presents an enhancement of xASP, a system that generates expla...
share
research
∙
07/12/2023
Rethinking Answer Set Programming Templates
In imperative programming, the Domain-Driven Design methodology helps in...
research
∙
04/29/2023
A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality
In this paper we investigate the relationships between a multipreferenti...
research
∙
03/08/2023
Complexity and scalability of defeasible reasoning in 1 many-valued weighted knowledge bases
Weighted knowledge bases for description logics with typicality under a ...
research
∙
12/14/2022
Many-valued Argumentation, Conditionals and a Probabilistic Semantics for Gradual Argumentation
In this paper we propose a general approach to define a many-valued pref...
research
∙
06/24/2022
Generative Datalog with Stable Negation
Extending programming languages with stochastic behaviour such as probab...
research
∙
02/19/2022
ValAsp: a tool for data validation in Answer Set Programming
The development of complex software requires tools promoting fail-fast a...
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
∙
09/07/2021
The pyglaf argumentation reasoner (ICCMA2021)
The pyglaf reasoner takes advantage of circumscription to solve computat...
research
∙
08/09/2021
Modal Logic S5 Satisfiability in Answer Set Programming
Modal logic S5 has attracted significant attention and has led to severa...
research
∙
08/04/2020
A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming
Qualitative reasoning involves expressing and deriving knowledge based o...
research
∙
03/21/2020
Large-scale Ontological Reasoning via Datalog
Reasoning over OWL 2 is a very expensive task in general, and therefore ...
research
∙
07/24/2019
Inconsistency Proofs for ASP: The ASP-DRUPE Format
Answer Set Programming (ASP) solvers are highly-tuned and complex proced...
research
∙
07/19/2019
Enhancing magic sets with an application to ontological reasoning
Magic sets are a Datalog to Datalog rewriting technique to optimize quer...
research
∙
04/23/2018
Shared aggregate sets in answer set programming
Aggregates are among the most frequently used linguistic extensions of a...
research
∙
04/23/2018
Cautious reasoning in ASP via minimal models and unsatisfiable cores
Answer Set Programming (ASP) is a logic-based knowledge representation f...
research
∙
04/19/2018
A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming
Spatial information is often expressed using qualitative terms such as n...
research
∙
07/05/2017
Model enumeration in propositional circumscription via unsatisfiable core analysis
Many practical problems are characterized by a preference relation over ...
research
∙
05/14/2014
Anytime Computation of Cautious Consequences in Answer Set Programming
Query answering in Answer Set Programming (ASP) is usually solved by com...
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
∙
04/28/2014
Preliminary Report on WASP 2.0
Answer Set Programming (ASP) is a declarative programming paradigm. The ...
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
