Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal 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
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-22 20:56 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
