Past-present temporal programs over finite traces
From MaRDI portal
Publication:6545583
DOI10.1007/978-3-031-43619-2_53MaRDI QIDQ6545583
Torsten Schaub, Francois Laferriere, Pedro Cabalar, Martín Diéguez
Publication date: 29 May 2024
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A generalization of the Lin-Zhao theorem
- \textit{telingo} = ASP + time
- On the Expressiveness of Temporal Equilibrium Logic
- Loop Formulas for Splitable Temporal Logic Programs
- Temporal Answer Set Programming on Finite Traces
- Tight logic programs
- Engineering an Incremental ASP Solver
- A new logical characterisation of stable models and answer sets
This page was built for publication: Past-present temporal programs over finite traces
