23 citations · 88 across the 36 of their papers we have counts for
3 papers · 2 filters
Bound-Founded Semantics for Answer Set Programming with Difference Constraints: Preliminary Report
Pedro Cabalar, Jorge Fandinno, Nicolas Rühling +3
While the integration of linear constraints has significantly expanded the reach of Answer Set Programming (ASP), existing hybrid solvers often rely on disparate semantic underpinn…
FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints
Jorge Fandinno, Pedro Cabalar, Philipp Wanko +1
Constraint Answer Set Programming (CASP) is a hybrid paradigm that enriches Answer Set Programming (ASP) with numerical constraint processing, a crucial requirement for many real-w…
Implementing Metric Temporal Answer Set Programming
Arvid Becker, Pedro Cabalar, Martin Diéguez +3
We develop a computational approach to Metric Answer Set Programming (ASP) to allow for expressing quantitative temporal constraints, like durations and deadlines. A central challe…