Sorted multi-adjoint logic programs: Termination results and applications

  1. Damásio, C.V.
  2. Medina, J.
  3. Ojeda-Aciego, M.
Actas:
Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

ISSN: 0302-9743

ISBN: 9783540232421

Año de publicación: 2004

Volumen: 3229

Páginas: 252-265

Tipo: Aportación congreso

DOI: 10.1007/978-3-540-30227-8_23 GOOGLE SCHOLAR

Objetivos de desarrollo sostenible

Fuente de los datos: Scopus