Metric Temporal Equilibrium Logic over Timed Traces

  1. Becker, A.
  2. Cabalar, P.
  3. Diéguez, M.
  4. Schaub, T.
  5. Schuhmann, A.
Revista:
Theory and Practice of Logic Programming

ISSN: 1475-3081 1471-0684

Año de publicación: 2024

Volumen: 24

Número: 3

Páginas: 425-452

Tipo: Artículo

DOI: 10.1017/S1471068424000139 GOOGLE SCHOLAR lock_openAcceso abierto editor