Philipp Wanko

TL;DR: This work addresses the challenge with the fifth generation of the ASP system clingo and its grounding and solving components by equipping them with well-defined generic interfaces facilitating the manifold integration efforts.

TL;DR: This work introduces a general declarative framework for incorporating domain-specific heuristics into ASP solving by extending the first-order modeling language of ASP by a distinguished heuristic predicate.

TL;DR: In this article, the authors introduce extensions to clingo with difference and linear constraints over integers and reals, respectively, and realize them in complementary ways, and empirically evaluate the resulting clingo derivatives on common language fragments and contrast them to related ASP systems.

TL;DR: It is indispensable to equip Answer Set Programming with means for an easy integration into software environments and for adding complementary forms of reasoning to make ASP fit for real world applications.

TL;DR: This work exemplarily shows how the hybrid ASP system clingo[DL] can be used to tackle demanding planning-and-scheduling problems, and investigates how to boost performance by combining distinct ASP solving techniques, such as approximation, heuristic, and optimization strategies.