23 citations · 88 across the 36 of their papers we have counts for
3 papers · 2 filters
Splitting Epistemic Logic Programs
Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
Epistemic logic programs constitute an extension of the stable models semantics to deal with new constructs called subjective literals. Informally speaking, a subjective literal al…
Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates
Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro +1
In this paper, we propose a variant of Answer Set Programming (ASP) with evaluable functions that extends their application to sets of objects, something that allows a fully logica…
Temporal Answer Set Programming on Finite Traces
Pedro Cabalar, Roland Kaminski, Torsten Schaub +1
In this paper, we introduce an alternative approach to Temporal Answer Set Programming that relies on a variation of Temporal Equilibrium Logic (TEL) for finite traces. This approa…