Termination of logic programs with imperfect information: applications and query procedure

  1. Damásio, C.V.
  2. Medina, J.
  3. Ojeda-Aciego, M.
Revista:
Journal of Applied Logic

ISSN: 1570-8683

Año de publicación: 2007

Volumen: 5

Número: 3

Páginas: 435-458

Tipo: Artículo

DOI: 10.1016/J.JAL.2006.03.004 GOOGLE SCHOLAR lock_openAcceso abierto editor
Fuente de los datos: Scopus