research
∙
08/06/2021
Towards a Semantics for Hybrid ASP systems
Over the last decades the development of ASP has brought about an expres...
share
research
∙
08/15/2020
How to build your own ASP-based system?!
Answer Set Programming (ASP) has become a popular and quite sophisticate...
research
∙
03/19/2020
Train Scheduling with Hybrid Answer Set Programming
We present a solution to real-world train scheduling problems, involving...
research
∙
03/09/2020
A Uniform Treatment of Aggregates and Constraints in Hybrid ASP
Characterizing hybrid ASP solving in a generic way is difficult since on...
research
∙
02/17/2020
An ASP semantics for Constraints involving Conditional Aggregates
We elaborate upon the formal foundations of hybrid Answer Set Programmin...
research
∙
05/07/2019
Design Space Exploration via Answer Set Programming Modulo Theories
The design of embedded systems, that are ubiquitously used in mobile dev...
research
∙
08/13/2018
Hybrid Metabolic Network Completion
Metabolic networks play a crucial role in biology since they capture all...
research
∙
07/13/2017