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

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
• Chandrabose Aravindan, Phan Minh Dung: On the Correctness of Unfold/Fold Transformation of Normal and Extended Logic Programs. 201-217
• Michael Hanus: Analysis of Residuating Logic Programs. 219-245