Journal of Logic Programming
, Volume 30
Volume 30, Number 1, January 1997
Juergen Haas
,
Bharat Jayaraman
: From Context-Free to Definite-Clause Grammars: A Type-Theoretic Approach. 1-23
BibTeX
Zheng Lin
: Parallel Execution of Logic Programs by Load Sharing. 25-51
BibTeX
Michael Codish
,
Moreno Falaschi
,
Kim Marriott
,
William H. Winsborough
: A Confluent Semantic Basis for the Analysis of Concurrent Constraint Logic Programs. 53-81
BibTeX
Chitta Baral
: Embedding Revision Programs in Logic Programming Situation Calculus. 83-97
BibTeX
Volume 30, Number 2, February 1997
Hassan Aït-Kaci
,
Andreas Podelski
,
Seth Copen Goldstein
: Order Sorted Feature Theory Unification. 99-124
BibTeX
Teodor C. Przymusinski
,
Hudson Turner
: Update by Means of Inference Rules. 125-143
BibTeX
Paul Tarau
,
Koenraad De Bosschere
,
Bart Demoen
: On Delphi Lemmas and other Memoing Techniques for Deterministic Logic Programs. 145-163
BibTeX
Heinrich Herre
,
Gerd Wagner
: Stable Models Are Generated by a Stabel Chain. 165-177
BibTeX
Volume 30, Number 3, March 1997
Raymond T. Ng
,
Xiaomei Tian
: Incremental Algorithms for Optimizing Model Computation Based on Partial Instantiation. 179-204
BibTeX
Christopher P. Higgins
: On Integrating Objects and Relations Using Multimethods. 205-221
BibTeX
Paulo Jorge de Sousa Azevedo
: Magic Sets with Full Sharing. 223-237
BibTeX
Kung-Kiu Lau
,
Mario Ornaghi
: The Relationship Between Logic Programs and Specifications - The Subset Example Revisited. 239-257
BibTeX
Copyright ©
Sun May 17 00:10:06 2009 by
Michael Ley
(
ley@uni-trier.de
)