23 citations · 26 across the 9 of their papers we have counts for
4 papers · 1 filter
How to build your own ASP-based system?!
Roland Kaminski, Javier Romero, Torsten Schaub +1
Answer Set Programming (ASP) has become a popular and quite sophisticated approach to declarative problem solving. This is arguably due to its attractive modeling-grounding-solving…
Train Scheduling with Hybrid Answer Set Programming
Dirk Abels, Julian Jordi, Max Ostrowski +3
We present a solution to real-world train scheduling problems, involving routing, scheduling, and optimization, based on Answer Set Programming (ASP). To this end, we pursue a hybr…
A Uniform Treatment of Aggregates and Constraints in Hybrid ASP
Pedro Cabalar, Jorge Fandinno, Torsten Schaub +1
Characterizing hybrid ASP solving in a generic way is difficult since one needs to abstract from specific theories. Inspired by lazy SMT solving, this is usually addressed by treat…
An ASP semantics for Constraints involving Conditional Aggregates
Pedro Cabalar, Jorge Fandinno, Torsten Schaub +1
We elaborate upon the formal foundations of hybrid Answer Set Programming (ASP) and extend its underlying logical framework with aggregate functions over constraint values and vari…