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

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

ISSN: 1570-8683

Year of publication: 2007

Volume: 5

Issue: 3

Pages: 435-458

Type: Article

DOI: 10.1016/J.JAL.2006.03.004 GOOGLE SCHOLAR lock_openOpen access editor

Sustainable development goals

Data source: Scopus