12 citations · 23 across the 7 of their papers we have counts for
8 papers
Finding Bugs with Specification-Based Testing is Easy!
Janice Chin, David Pearce
Automated specification-based testing has a long history with several notable tools having emerged. For example, QuickCheck for Haskell focuses on testing against user-provided pro…
Revisiting Explicit Negation in Answer Set Programming
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno +3
A common feature in Answer Set Programming is the use of a second negation, stronger than default negation and sometimes called explicit, strong or classical negation. This explici…
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…
On the complexity of Temporal Equilibrium Logic
Laura Bozzelli, David Pearce
Temporal Equilibrium Logic (TEL) is a promising framework that extends the knowledge representation and reasoning capabilities of Answer Set Programming with temporal operators in…
Interpolable Formulas in Equilibrium Logic and Answer Set Programming
Dov Gabbay, David Pearce, Agustín Valverde
Interpolation is an important property of classical and many non-classical logics that has been shown to have interesting applications in computer science and AI. Here we study the…
Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case
Dov Gabbay, David Pearce, Agustí n Valverde
Interpolation is an important property of classical and many non classical logics that has been shown to have interesting applications in computer science and AI. Here we study the…