Spatial Reasoning about String Loops and Holes in Temporal ASP

  1. Cabalar, Pedro
  2. Santos, Paulo E.
Libro:
KR2020: PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING
  1. Calvanese, D (coord.)
  2. Erdem, E (coord.)
  3. Thielscher, M (coord.)

ISBN: 978-0-9992411-7-2

Año de publicación: 2020

Páginas: 182-192

Congreso: 17th International Conference on Principles of Knowledge Representation and Reasoning (KR and R)

Tipo: Aportación congreso

GOOGLE SCHOLAR
Fuente de los datos: WoS