Torsten Schaub
5 أوراق في مجموعة PaperMetrix
أوراق هذا المؤلف
-
Clingcon: The Next Generation
2017 · arXiv (Cornell University)
We present the third generation of the constraint answer set system clingcon, combining Answer Set Programming (ASP) with finite domain constraint processing (CP). While its predecessors rely on a black-box approach to hybrid solving by …
-
Towards a Semantics for Hybrid ASP systems
2021 · arXiv (Cornell University)
Over the last decades the development of ASP has brought about an expressive modeling language powered by highly performant systems. At the same time, it gets more and more difficult to provide semantic underpinnings capturing …
-
On the Semantics of Hybrid ASP Systems Based on Clingo
2023 · Algorithms
Over the last decades, the development of Answer Set Programming (ASP) has brought about an expressive modeling language powered by highly performant systems. At the same time, it gets more and more difficult to provide …
-
ANTHEM 2.0: Automated Reasoning for Answer Set Programming
2025 · Theory and Practice of Logic Programming
Abstract ANTHEM 2.0 is a tool to aid in the verification of logic programs written in an expressive fragment of CLINGO ’s input language named MINI-GRINGO, which includes arithmetic operations and simple choice rules but …
-
Compiling Metric Temporal Answer Set Programming
2025 · arXiv (Cornell University)
We develop a computational approach to Metric Answer Set Programming (ASP) to allow for expressing quantitative temporal constrains, like durations and deadlines. A central challenge is to maintain scalability when dealing with fine-grained timing constraints, …