AarXiv7 Oct 2026

Computational methods for Dynamic Answer Set Programming

Authors not listed by the archive

Abstract

Abstract page for arXiv paper 2502.09228: Computational methods for Dynamic Answer Set Programming

§ The Valyu brief

The paper, in five minutes

Read from the full text via Valyu Contents

The paper extends Answer Set Programming with dynamic, temporal, and metric logic features to better model and solve industrial dynamic problems.

What’s new

i.Extension of Answer Set Programming to support dynamic domains
ii.Integration of dynamic, temporal, and metric logic concepts into ASP
iii.Development of robust systems for modeling complex industrial problems such as scheduling, routing, and production sequencing

How they did it

§ The Valyu brief

Reading the full paper and taking notes. This takes a few seconds…

§ Ask this paper

Valyu reads the full text and answers from what the paper actually says.

§ Related work in other archives