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

✍ Scribed by C.V. Damásio; J. Medina; M. Ojeda-Aciego

• Publisher: Elsevier Science
• Year: 2007
• Tongue: English
• Weight: 310 KB
• Volume: 5
• Category: Article
• ISSN: 1570-8683
• DOI: 10.1016/j.jal.2006.03.004