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

Any de publicació: 2007

Volum: 5

Número: 3

Pàgines: 435-458

Tipus: Article

DOI: 10.1016/J.JAL.2006.03.004 GOOGLE SCHOLAR lock_openAccés obert editor
Font de les dades: Scopus