Metric temporal equilibrium logic over timed traces

DOI10.1017/S1471068424000139MaRDI QIDQ6656458

Martín Diéguez, Anna Schuhmann, Pedro Cabalar, Torsten Schaub, Author name not available (Why is that?)

Publication date: 3 January 2025

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

zbMATH Keywords

nonmonotonic reasoninganswer set programmingequilibrium logicmetric temporal logic

Mathematics Subject Classification ID

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

Cites Work

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

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)