Journal of Logic Programming, Volume 24

Volume 24, Number 1&2, July/August 1995

• Verónica Dahl: Special Issue: Computational Linguistics and Logic Programming. 1-2 BibTeX
• Stuart M. Shieber, Yves Schabes, Fernando C. N. Pereira: Principles and Implementation of Deductive Parsing. 3-36 BibTeX
• Rolf Backofen: A Complete Axiomatization of a Theory with Feature and Arity Constraints. 37-71 BibTeX
• David B. Searls: String Variable Grammar: A Logic Grammar Formalism for the Biological Language of DNA. 73-102 BibTeX
• Paulo Quaresma, José Gabriel Lopes: Unified Logic Programming Approach to the Abduction of Plans and Intentions in Information-Seeking Dialogues. 103-119 BibTeX
• Solange Coupet-Grimal, Olivier Ridoux: On the Use of Advanced Logic Programming Languages in Computational Linguistics. 121-159 BibTeX

Volume 24, Number 3, September 1995

• Weidong Chen, Terrance Swift, David Scott Warren: Efficient Top-Down Computation of Queries under the Well-Founded Semantics. 161-199 BibTeX
• Chandrabose Aravindan, Phan Minh Dung: On the Correctness of Unfold/Fold Transformation of Normal and Extended Logic Programs. 201-217 BibTeX
• Michael Hanus: Analysis of Residuating Logic Programs. 219-245 BibTeX