Metric Temporal Equilibrium Logic over Timed Traces

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

ISSN: 1475-3081 1471-0684

Year of publication: 2024

Volume: 24

Issue: 3

Pages: 425-452

Type: Article

DOI: 10.1017/S1471068424000139 GOOGLE SCHOLAR lock_openOpen access editor