Journal of Logic Programming, Volume 27

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 update Mon May 20 18:04:49 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page