Journal of Logic Programming, Volume 18
Volume 18, Number 1, January 1994
Kerima Benkerimi, John C. Shepherdson: Partial Deduction of Updateable Definite Logic Programs. 1-26- Kenneth A. Ross: On Negation in HiLog. 27-53
- Jonas Barklund, Andreas Hamfelt: Hierarchical Representation of Legal Knowledge with Metaprogramming in Logic. 55-80
- Eberhard Bertsch: On the Relationship between Indexed Grammars and Logic Programs. 81-98
Volume 18, Number 2, February 1994
- Saumya K. Debray, Raghu Ramakrishnan: Abstract Interpretation of Logic Programs using Magic Transformations. 149-176
Volume 18, Number 3, April 1994
- Katsumi Inoue: Hypothetical Reasoning in Logic Programs. 191-227
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team