Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2304.14778
Cited By
v1
v2 (latest)
Metric Temporal Equilibrium Logic over Timed Traces
28 April 2023
Arvid Becker
Pedro Cabalar
Martín Diéguez
Torsten Schaub
Anna Schuhmann
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Metric Temporal Equilibrium Logic over Timed Traces"
2 / 2 papers shown
Title
Compiling Metric Temporal Answer Set Programming
Arvid Becker
Pedro Cabalar
Martín Diéguez
J. Romero
Susana Hahn
Torsten Schaub
25
0
0
09 Jun 2025
Metric Dynamic Equilibrium Logic
Arvid Becker
Pedro Cabalar
Martín Diéguez
L. Fariñas del Cerro
Torsten Schaub
Anna Schuhmann
30
0
0
19 Jan 2024
1
