Search Results for author:
Found 8 papers, 2 papers with code
Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report
We present alternative approaches to routing and scheduling in Answer Set Programming (ASP), and explore them in the context of Multi-agent Path Finding.
Towards a Semantics for Hybrid ASP systems
Over the last decades the development of ASP has brought about an expressive modeling language powered by highly performant systems.
How to build your own ASP-based system?!
This is arguably due to its attractive modeling-grounding-solving workflow that provides an easy approach to problem solving, even for laypersons outside computer science.
Train Scheduling with Hybrid Answer Set Programming
We present a solution to real-world train scheduling problems, involving routing, scheduling, and optimization, based on Answer Set Programming (ASP).
A Uniform Treatment of Aggregates and Constraints in Hybrid ASP
Characterizing hybrid ASP solving in a generic way is difficult since one needs to abstract from specific theories.
An ASP semantics for Constraints involving Conditional Aggregates
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 variables.
Design Space Exploration via Answer Set Programming Modulo Theories
The design of embedded systems, that are ubiquitously used in mobile devices and cars, is becoming continuously more complex such that efficient system-level design methods are becoming crucial.
Clingo goes Linear Constraints over Reals and Integers
The recent series 5 of the ASP system clingo provides generic means to enhance basic Answer Set Programming (ASP) with theory reasoning capabilities.
