Metric temporal equilibrium logic over timed traces

DOI10.1017/S1471068424000139MaRDI QIDQ6656458zbMATH OpenFDO

Authors Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann

Publication date 3 January 2025

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/S1471068424000139

zbMATH Keywords

answer set programmingequilibrium logicmetric temporal logicnonmonotonic reasoning

Mathematics Subject Classification ID

Temporal logic (03B44) Logic programming (68N17) Logic in artificial intelligence (68T27)

Cites work

• \textit{telingo} = ASP + time
• A new logical characterisation of stable models and answer sets
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 2207163 (Why is no real title available?)
• LARS: a logic-based framework for analytic reasoning over streams
• Logic Programming
• Metric dynamic equilibrium logic
• Metric temporal answer set programming over timed traces
• On the decidability and complexity of Metric Temporal Logic over finite words
• Quantified Equilibrium Logic and Foundations for Answer Set Programs
• Temporal answer set programming on finite traces
• Temporal equilibrium logic: a survey
• Towards dynamic answer set programming over finite traces
• Towards metric temporal answer set programming

This page was built for publication: Metric temporal equilibrium logic over timed traces

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