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 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