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 BibTeX
• Laura Giordano, Alberto Martelli, Maria Luisa Sapino: Extending Negation As Failure by Abduction: A Three-Valued Stable Model Semantics. 31-67 BibTeX
• Elena Marchiori: On Termination of General Logic Programs w.r.t. Constructive Negation. 69-89 BibTeX

Volume 26, Number 2, February 1996

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

Volume 26, Number 3, March 1996

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