Past-Present Temporal Programs over Finite Traces

  1. Cabalar, P.
  2. Diéguez, M.
  3. Laferrière, F.
  4. Schaub, T.
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: 9783031436185

Año de publicación: 2023

Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Proceedings

Volumen: 14281 LNAI

Páginas: 787-795

Tipo: Aportación congreso

DOI: 10.1007/978-3-031-43619-2_53 GOOGLE SCHOLAR

Objetivos de desarrollo sostenible

Fuente de los datos: Scopus