Meta-programming for linear-time temporal answer set programming

DOI10.1017/S1471068426100568MaRDI QIDQ7406156zbMATH OpenFDO

Authors Susana Hahn, Amadé Nemes, Javier Romero, Torsten Schaub

Publication date 2026

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1017/S1471068426100568

zbMATH Keywords

answer set programminglinear-time temporal logicmeta-programming

Mathematics Subject Classification ID

Logic programming (68N17)

Cites work

• \textit{clingcon}: the next generation
• \textit{telingo} = ASP + time
• Answer set programming
• Automata-Based Computation of Temporal Equilibrium Models
• Bounded LTL model checking with stable models
• Complex optimization in answer set programming
• Equilibrium logic
• GOLOG: A logic programming language for dynamic domains
• How to build your own ASP-based system?!
• Linear-time temporal answer set programming
• Metric temporal equilibrium logic over timed traces
• Propositional dynamic logic of regular programs
• Temporal logic programs with variables
• Towards answer set programming with sorts

This page was built for publication: Meta-programming for linear-time temporal answer set programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7406156)