Volume 27, Number 1, April 1996

• 
  Pascal Van Hentenryck: In Memoriam: Paris C. Kanellakis. 1-3
• 
  Francesco Buccafurri, Nicola Leone, Pasquale Rullo: Stable Models and Their Computation for Logic Programming with Inheritance and True Negation. 5-43
• 
  Gopal Gupta, Vítor Santos Costa: Cuts and Side-Effects in And-Or Parallel Prolog. 45-71
• 
  Natraj Arni, Sergio Greco, Domenico Saccà: Matching of Bounded Set Terms in the Logic Language LDL++. 73-87

Volume 27, Number 2, May 1996

• 
  Wlodzimierz Drabent: Completeness of SLDNF-Resolution for Nonfloundering Queries. 89-106
• 
  Katsumi Inoue, Chiaki Sakama: A Fixpoint Characterization of Abductive Logic Programs. 107-136
• 
  Agostino Cortesi, Gilberto Filé, William H. Winsborough: Optimal Groundness Analysis Using Propositional Logic. 137-167
• 
  Weidong Chen: Extending Prolog with Nonmonotonic Reasoning. 169-183

Volume 27, Number 3, June 1996

• 
  Philippe Codognet, Daniel Diaz: Compiling Constraints in clp(FD). 185-226
• 
  Philippe Devienne, Patrick Lebègue, Anne Parrain, Jean-Christophe Routier, Jörg Würtz: Smallest Horn Clause Programs. 227-267

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