Search Results for author: Philipp Wanko

Found 7 papers, 2 papers with code

Towards a Semantics for Hybrid ASP systems

no code implementations6 Aug 2021 Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko

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?!

1 code implementation15 Aug 2020 Roland Kaminski, Javier Romero, Torsten Schaub, Philipp Wanko

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

1 code implementation19 Mar 2020 Dirk Abels, Julian Jordi, Max Ostrowski, Torsten Schaub, Ambra Toletti, Philipp Wanko

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

no code implementations9 Mar 2020 Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko

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

no code implementations17 Feb 2020 Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko

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

no code implementations7 May 2019 Philipp Wanko

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

no code implementations13 Jul 2017 Tomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko

The recent series 5 of the ASP system clingo provides generic means to enhance basic Answer Set Programming (ASP) with theory reasoning capabilities.

Cannot find the paper you are looking for? You can Submit a new open access paper.