Journal of Logic Programming, Volume 26

Volume 26, Number 1, January 1996

• David B. Kemp, Peter J. Stuckey:
  Optimizing Bottom-Up Evaluation of Constraint Queries. 1-30
  
• Laura Giordano, Alberto Martelli, Maria Luisa Sapino:
  Extending Negation As Failure by Abduction: A Three-Valued Stable Model Semantics. 31-67
  
• Elena Marchiori:
  On Termination of General Logic Programs w.r.t. Constructive Negation. 69-89
  

Volume 26, Number 2, February 1996

• Leon Sterling:
  Guest Editor's Introduction Special Issue: Applications of Logic Programming. 91-92
  
• Peter Hammond, Marek J. Sergot:
  Computer Support for Protocol-Based Treatment of Cancer. 93-111
  
• Catherine Meadows:
  The NRL Protocol Analyzer: An Overview. 113-131
  
• Martin J. Dürst:
  Prolog for Structured Character Description and Font Design. 133-146
  
• Tomas Axling, Seif Haridi:
  A Tool for Developing Interactive Configuration Applications. 147-168
  
• Cristina Ruggieri, Mirko Sancassani, Nenna Dore, Francesco Russo, Ugo Manfredi:
  Intelligent Data Retrieval in Prolog: An Illuminating Idea. 169-198
  
• Ulrich Bieker, Andreas Neumann:
  Using Logic Programming and Coroutining for Electronic CAD. 199-215
  
• Patrice Boizumault, Yan Delon, Laurent Péridy:
  Constraint Logic Programming for Examination Timetabling. 217-233
  

Volume 26, Number 3, March 1996

• James H. Andrews, Verónica Dahl, Fred Popowich:
  Characterizing Logic Grammars: A Substructural Logic Approach. 235-283
  
• Weidong Chen, Jinghong Zeng:
  Nondeterminism Through Well-Founded Choice. 285-309
  

Last update Thu May 23 19:09:41 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page