
MultiContext Systems: Dynamics and Evolution (PrePrint of "Multicontext systems in dynamic environments")
MultiContext Systems (MCS) model in Computational Logic distributed sys...
read it

A System for Explainable Answer Set Programming
We present xclingo, a tool for generating explanations from ASP programs...
read it

Temporal Answer Set Programming
We present an overview on Temporal Logic Programming under the perspecti...
read it

Towards Metric Temporal Answer Set Programming
We elaborate upon the theoretical foundations of a metric temporal exten...
read it

eclingo: A solver for Epistemic Logic Programs
We describe eclingo, a solver for epistemic logic programs under Gelfond...
read it

Modular Answer Set Programming as a Formal Specification Language
In this paper, we study the problem of formal verification for Answer Se...
read it

A Uniform Treatment of Aggregates and Constraints in Hybrid ASP
Characterizing hybrid ASP solving in a generic way is difficult since on...
read it

Implementing Dynamic Answer Set Programming
We introduce an implementation of an extension of Answer Set Programming...
read it

An ASP semantics for Constraints involving Conditional Aggregates
We elaborate upon the formal foundations of hybrid Answer Set Programmin...
read it

A RuleBased System for Explainable DonorPatient Matching in Liver Transplantation
In this paper we present webliver, a rulebased system for decision sup...
read it

Revisiting Explicit Negation in Answer Set Programming
A common feature in Answer Set Programming is the use of a second negati...
read it

Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning
Dynamic Epistemic Logic (DEL) is a family of multimodal logics that has ...
read it

Founded World Views with Autoepistemic Equilibrium Logic
Defined by Gelfond in 1991 (G91), epistemic specifications (or programs)...
read it

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...
read it

Splitting Epistemic Logic Programs
Epistemic logic programs constitute an extension of the stable models se...
read it

Functional ASP with Intensional Sets: Application to GelfondZhang Aggregates
In this paper, we propose a variant of Answer Set Programming (ASP) with...
read it

Temporal Answer Set Programming on Finite Traces
In this paper, we introduce an alternative approach to Temporal Answer S...
read it

Temporal Logic Programs with Variables
In this note we consider the problem of introducing variables in tempora...
read it

Equilibrium Graphs
In this paper we present an extension of Peirce's existential graphs to ...
read it

Enablers and Inhibitors in Causal Justifications of Logic Programs
To appear in Theory and Practice of Logic Programming (TPLP). In this pa...
read it

Causal Graph Justifications of Logic Programs
In this work we propose a multivalued extension of logic programs under...
read it

An Algebra of Causal Chains
In this work we propose a multivalued extension of logic programs under...
read it

A Logical Charaterisation of Ordered Disjunction
In this paper we consider a logical treatment for the ordered disjunctio...
read it

Alternative Characterizations for Strong Equivalence of Logic Programs
In this work we present additional results related to the property of st...
read it

PAL: Pertinence Action Language
The current document contains a brief description of a system for Reason...
read it
Pedro Cabalar
is this you? claim profile