Metric Temporal Answer Set Programming over Timed Traces

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

ISSN: 1611-3349,  0302-9743

ISBN: 9783031157066

Año de publicación: 2022

Volumen: 13416 LNAI

Páginas: 117-130

Tipo: Aportación congreso

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

Objetivos de desarrollo sostenible

Fuente de los datos: Scopus