Logic, Reasoning, and Knowledge
Open access
Peer reviewed
Scollr summary
What this paper is about
This work develops a computational approach to Metric Answer Set Programming to express quantitative temporal constrains, such as durations and deadlines, and effectively decouples metric ASP from the granularity of time, resulting in a solution that is independent of time precision.
Full abstract
Read the full abstract
Abstract We develop a computational approach to Metric Answer Set Programming (ASP) to express quantitative temporal constrains, such as durations and deadlines. We investigate two specific fragments: plain metric logic programs, restricted to local temporal constraints, and general metric logic programs, which allow for arbitrary metric formulas. A central challenge in this context is maintaining scalability when dealing with fine-grained timing constraints, which can significantly exacerbate grounding bottleneck of ASP. To address this issue, we propose translations of both fragments into standard ASP and ASP extended with difference constraints, a simplified form of linear constraints, and prove their correctness and completeness. Our implementation, realized via meta-encodings, effectively decouples metric ASP from the granularity of time, resulting in a solution that is independent of time precision.
Direct answer
What can I do from this paper page?
Use this page to scan "Implementing Metric Temporal Answer Set Programming" quickly: start with the summary and abstract, then check the authors, source, topics, and related papers. From here, open Scollr to follow Logic, Reasoning, and Knowledge research, save the paper, or map adjacent work.
Research areas
Follow related topics
Citation
BibTeX
@article{Hahn2026Implementing,
title = {Implementing Metric Temporal Answer Set Programming},
author = {Susana Hahn and Arvid Becker and Pedro Cabalar and Martín Diéguez and Javier Romero and Torsten H. Schaub},
journal = {Theory and Practice of Logic Programming},
year = {2026},
doi = {10.1017/s1471068426100714},
url = {https://doi.org/10.1017/s1471068426100714}
}FAQ
Using this paper in a discovery workflow
How do I find related work for this paper?
Use the related papers and topic links on this page as starting points. In Scollr, you can also open the paper and build a literature map around its references, citing papers, and related work.
How can I keep up with new Logic, Reasoning, and Knowledge research papers?
Follow Logic, Reasoning, and Knowledge research in Scollr. New papers from the topic flow into a personalized feed, and you can save useful studies to revisit later.
Can I cite this paper from this page?
This page includes a static BibTeX block for Implementing Metric Temporal Answer Set Programming. Always verify the DOI, source, and publication details against the publisher record before submitting a manuscript.
Follow this research in Scollr
Follow the topics and authors behind this paper, save useful studies, and build a literature map when you are ready to go deeper.
Get the app