Journal of Logic Programming, Volume 45

Volume 45, Numbers 1-3, September 2000

• Konstantinos F. Sagonas, Terrance Swift, David Scott Warren:
  An abstract machine for efficiently computing queries to well-founded models. 1-41
  
• José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski:
  Dynamic updates of non-monotonic knowledge bases. 43-70
  
• Jianyang Zhou:
  Introduction to the constraint language NCL. 71-103
  
• Kewen Wang:
  Argumentation-based abduction in disjunctive logic programming. 105-141
  
• Andy Heaton, Muhamed Abo-Zaed, Michael Codish, Andy King:
  A simple polynomial groundness analysis for logic programs. 143-156
  

Last update Fri May 24 20:35:49 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page