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

• Ritu Chadha, David A. Plaisted:
  Correctness of Unification Without Occur Check in Prolog. 99-122
  
• Christoph Beierle, Gregor Meyer:
  Run-Time Type Computations in the Warren Abstract Machine. 123-148
  
• Saumya K. Debray, Raghu Ramakrishnan:
  Abstract Interpretation of Logic Programs using Magic Transformations. 149-176
  
• Krzysztof R. Apt, Kees Doets:
  A New Definition of SNDNF-Resolution. 177-190
  

Volume 18, Number 3, April 1994

• Katsumi Inoue:
  Hypothetical Reasoning in Logic Programs. 191-227
  
• Gert Smolka, Ralf Treinen:
  Records for Logic Programming. 229-258
  

Last update Sat May 26 06:43:13 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page