Metric Temporal Answer Set Programming over Timed Traces

  1. Cabalar, P.
  2. Diéguez, M.
  3. Schaub, T.
  4. Schuhmann, A.
Book Series:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ISSN: 1611-3349,  0302-9743

ISBN: 9783031157066

Year of publication: 2022

Volume: 13416 LNAI

Pages: 117-130

Type: Conference paper

DOI: 10.1007/978-3-031-15707-3_10 GOOGLE SCHOLAR

Sustainable development goals

Data source: Scopus