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

Ano de publicación: 2007

Volume: 5

Número: 3

Páxinas: 435-458

Tipo: Artigo

DOI: 10.1016/J.JAL.2006.03.004 GOOGLE SCHOLAR lock_openAcceso aberto editor
Fonte de datos: Scopus