default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNew Generation Computing, Volume 9
Volume 9, Number 1, 1991
- Hidehiko Tanaka:
Preface: The Dawn of New Information World through Knowledge Processing. 1-3 - David Poole:
Compiling a Default Reasoning System into Prolog. 3-38 - John Dinsmore:
Logic Based Processing of Semantically Complex Natural Language Discourse. 39-68 - Wlodzimierz Drabent
, Maurizio Martelli:
Strict Completion of Logic Programs. 69-80 - Q. S. Gao, L. H. Li:
The Principle of Selecten Jumping Searching and C, Co, C* Algorithms. 81-104
Volume 9, Number 2, 1991
- Derek R. Brough:
Grammar-Related Transformations of Logic Programs. 115-134 - L. Husheng:
Preliminary Arrangements of Arguments in Lazy Evaluation. 135-148 - Akira Matsumoto:
Locally Parallel Cache Design Based on KL1 Memory Access Characteristics. 149-170 - David Bolton:
An Operational Semantics for Paragon: A Design Notation for Parallel Architectures. 171-197
Volume 9, Numbers 3/4, 1991
- Mark Korsloot, Hans M. Mulder:
Sequential Architecture Models for Prolog: A Performance Comparison. 201-220 - Andrew Taylor:
High Performance Prolog on a RISC. 221-232 - Manuel V. Hermenegildo, K. J. Greene:
The &-Prolog System: Exploiting Independent And-Parallelism. 233-256 - Pascal Van Hentenryck, Thierry Le Provost:
Incremental Search in Constraint Logic Programming. 257-276 - Oded Shmueli, Shalom Tsur:
Logical Diagnosis of LDL Programs. 277-304 - John P. Gallagher, Maurice Bruynooghe:
The Derivation of an Algorithm for Program Specialisation. 305-334 - Krzysztof R. Apt, Marc Bezem:
Acyclic Programs. 335-364 - Michael Gelfond, Vladimir Lifschitz:
Classical Negation in Logic Programs and Disjunctive Databases. 365-386 - Robert A. Kowalski, Fariba Sadri:
Logic Programs with Exceptions. 387-400 - Teodor C. Przymusinski:
Stable Semantics for Disjunctive Programs. 401-424 - François Fages:
A New Fixpoint Semantics for General Logic Programs Compared with the Well-Founded and the Stable Model Semantics. 425-444 - Jean-Marc Andreoli, Remo Pareschi:
Linear Ojects: Logical Processes with Built-in Inheritance. 445-474 - Hideyuki Nakashima:
New Models for Software Architecture Project. 475-477
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 2025-10-22 02:18 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:
