![](https://dblp.uni-trier.de./img/logo.320x120.png)
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
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
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.