Explicit negation in linear-dynamic equilibrium logic

  1. Aguado, F.
  2. Cabalar, P.
  3. Fandinno, J.
  4. Pérez, G.
  5. Vidal, C.
Colección de libros:
Frontiers in Artificial Intelligence and Applications

ISSN: 0922-6389

ISBN: 9781643681009

Año de publicación: 2020

Volumen: 325

Páginas: 569-576

Tipo: Aportación congreso

DOI: 10.3233/FAIA200140 GOOGLE SCHOLAR
Fuente de los datos: Scopus