Metric dynamic equilibrium logic

DOI10.1080/11663081.2023.2244365MaRDI QIDQ6080575

Anna Schuhmann, Torsten Schaub, Unnamed Author, Martín Diéguez, Luis Fariñas del Cerro, Pedro Cabalar

Publication date: 30 October 2023

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

zbMATH Keywords

linear temporal logicanswer set programmingequilibrium logicmetric temporal logiclinear dynamic logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Towards dynamic answer set programming over finite traces
• \textit{telingo} = ASP + time
• Metric temporal answer set programming over timed traces
• Temporal Equilibrium Logic: A First Approach
• Temporal Answer Set Programming on Finite Traces
• Temporal equilibrium logic: a survey
• Temporal Equilibrium Logic with past operators
• Towards Metric Temporal Answer Set Programming
• Logic Programming

This page was built for publication: Metric dynamic equilibrium logic