Pedro Cabalar

Towards a Semantics for Hybrid ASP systems

2021 · arXiv (Cornell University)

Over the last decades the development of ASP has brought about an expressive modeling language powered by highly performant systems. At the same time, it gets more and more difficult to provide semantic underpinnings capturing …

On the Semantics of Hybrid ASP Systems Based on Clingo

2023 · Algorithms

Over the last decades, the development of Answer Set Programming (ASP) has brought about an expressive modeling language powered by highly performant systems. At the same time, it gets more and more difficult to provide …

Compiling Metric Temporal Answer Set Programming

2025 · arXiv (Cornell University)

We develop a computational approach to Metric Answer Set Programming (ASP) to allow for expressing quantitative temporal constrains, like durations and deadlines. A central challenge is to maintain scalability when dealing with fine-grained timing constraints, …