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
BibTeX
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
BibTeX
Jianyang Zhou
: Introduction to the constraint language NCL. 71-103
BibTeX
Kewen Wang
: Argumentation-based abduction in disjunctive logic programming. 105-141
BibTeX
Andy Heaton
,
Muhamed Abo-Zaed
,
Michael Codish
,
Andy King
: A simple polynomial groundness analysis for logic programs. 143-156
BibTeX
Copyright ©
Sun May 17 00:10:08 2009 by
Michael Ley
(
ley@uni-trier.de
)