Volume 22, Number 1, January 1995

• 
  Manuel V. Hermenegildo, Francesca Rossi: Strict and Nonstrict Independent And-Parallelism in Logic Programs: Correctness, Efficiency, and Compile-Time Conditions. 1-45
• 
  Bern Martens, Danny De Schreye: Why Untyped Nonground Metaprogramming Is Not (Much Of) A Problem. 47-99

Volume 22, Number 2, February 1995

• 
  Piero A. Bonatti: Autoepistemic Logics as a Unifying Framework for the Semantics of Logic Programs. 91-149, (preliminary version: ICLP 1992: 417-430)
• 
  Phan Minh Dung: An Argumentation-Theoretic Foundations for Logic Programming. 151-171, (short version: ICLP 1991: 3-17)

Volume 22, Number 3, March 1995

• 
  Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier: Type Analysis of Prolog Using Type Graphs. 179-209, (short version: PLDI 1994: 337-348)
• 
  Jia-Huai You, Li-Yan Yuan: On the Equivalence of Semantics for Normal Logic Programs. 211-222
• 
  María Alpuente, Moreno Falaschi, Ferdinando Manzo: Analyses of Unsatisfiability for Equational Logic Programming. 223-254

last updated on Sat May 18 06:23:59 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page