research
∙
07/24/2023
Past-present temporal programs over finite traces
Extensions of Answer Set Programming with language constructs from tempo...
share
research
∙
04/28/2023
Metric Temporal Equilibrium Logic over Timed Traces
In temporal extensions of Answer Set Programming (ASP) based on linear-t...
research
∙
09/28/2021
Explainable Machine Larning for liver transplantation
In this work, we present a flexible method for explaining, in human read...
research
∙
09/04/2021
Automata for dynamic answer set solving: Preliminary report
We explore different ways of implementing temporal constraints expressed...
research
∙
08/06/2021
Towards a Semantics for Hybrid ASP systems
Over the last decades the development of ASP has brought about an expres...
research
∙
06/12/2021
Multi-Context Systems: Dynamics and Evolution (Pre-Print of "Multi-context systems in dynamic environments")
Multi-Context Systems (MCS) model in Computational Logic distributed sys...
research
∙
09/22/2020
A System for Explainable Answer Set Programming
We present xclingo, a tool for generating explanations from ASP programs...
research
∙
09/14/2020
Temporal Answer Set Programming
We present an overview on Temporal Logic Programming under the perspecti...
research
∙
08/05/2020
Towards Metric Temporal Answer Set Programming
We elaborate upon the theoretical foundations of a metric temporal exten...
research
∙
08/05/2020
eclingo: A solver for Epistemic Logic Programs
We describe eclingo, a solver for epistemic logic programs under Gelfond...
research
∙
08/05/2020
Modular Answer Set Programming as a Formal Specification Language
In this paper, we study the problem of formal verification for Answer Se...
research
∙
03/09/2020
A Uniform Treatment of Aggregates and Constraints in Hybrid ASP
Characterizing hybrid ASP solving in a generic way is difficult since on...
research
∙
02/17/2020
Implementing Dynamic Answer Set Programming
We introduce an implementation of an extension of Answer Set Programming...
research
∙
02/17/2020
An ASP semantics for Constraints involving Conditional Aggregates
We elaborate upon the formal foundations of hybrid Answer Set Programmin...
research
∙
09/18/2019
A Rule-Based System for Explainable Donor-Patient Matching in Liver Transplantation
In this paper we present web-liver, a rule-based system for decision sup...
research
∙
07/26/2019
Revisiting Explicit Negation in Answer Set Programming
A common feature in Answer Set Programming is the use of a second negati...
research
∙
05/25/2019
Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning
Dynamic Epistemic Logic (DEL) is a family of multimodal logics that has ...
research
∙
02/20/2019
Founded World Views with Autoepistemic Equilibrium Logic
Defined by Gelfond in 1991 (G91), epistemic specifications (or programs)...
research
∙
02/16/2019
Heuristics, Answer Set Programming and Markov Decision Process for Solving a Set of Spatial Puzzles
Spatial puzzles composed of rigid objects, flexible strings and holes of...
research
∙
12/20/2018
Splitting Epistemic Logic Programs
Epistemic logic programs constitute an extension of the stable models se...
research
∙
05/02/2018
Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates
In this paper, we propose a variant of Answer Set Programming (ASP) with...
research
∙
04/26/2018
Temporal Answer Set Programming on Finite Traces
In this paper, we introduce an alternative approach to Temporal Answer S...
research
∙
09/19/2016
Temporal Logic Programs with Variables
In this note we consider the problem of introducing variables in tempora...
research
∙
09/07/2016
Equilibrium Graphs
In this paper we present an extension of Peirce's existential graphs to ...
research
∙
02/22/2016
Enablers and Inhibitors in Causal Justifications of Logic Programs
To appear in Theory and Practice of Logic Programming (TPLP). In this pa...
research
∙
09/25/2014
Causal Graph Justifications of Logic Programs
In this work we propose a multi-valued extension of logic programs under...
research
∙
12/20/2013
An Algebra of Causal Chains
In this work we propose a multi-valued extension of logic programs under...
research
∙
11/22/2010
A Logical Charaterisation of Ordered Disjunction
In this paper we consider a logical treatment for the ordered disjunctio...
research
∙
07/09/2002
Alternative Characterizations for Strong Equivalence of Logic Programs
In this work we present additional results related to the property of st...
research
∙
03/09/2000