New Generation Computing, Volume 9

Volume 9, Number 1, 1991

H. Tanaka: Preface: The Dawn of New Information World through Knowledge Processing. 1-3 BibTeX
David Poole: Compiling a Default Reasoning System into Prolog. 3-38 BibTeX
John Dinsmore: Logic Based Processing of Semantically Complex Natural Language Discourse. 39-68 BibTeX
Wlodzimierz Drabent, Maurizio Martelli: Strict Completion of Logic Programs. 69-80 BibTeX
Q. S. Gao, L. H. Li: The Principle of Selecten Jumping Searching and C, Co, C* Algorithms. 81- BibTeX

Derek R. Brough: Grammar-Related Transformations of Logic Programs. 115-134 BibTeX
L. Husheng: Preliminary Arrangements of Arguments in Lazy Evaluation. 135-148 BibTeX
Akira Matsumoto: Locally Parallel Cache Design Based on KL1 Memory Access Characteristics. 149-170 BibTeX
David Bolton: An Operational Semantics for Paragon: A Design Notation for Parallel Architectures. 171- BibTeX

Mark Korsloot, Hans Mulder: Sequential Architecture Models for Prolog: A Performance Comparison. 201-220 BibTeX
Andrew Taylor: High Performance Prolog on a RISC. 221-232 BibTeX
Manuel V. Hermenegildo, K. J. Greene: The &-Prolog System: Exploiting Independent And-Parallelism. 233-256 BibTeX
Pascal Van Hentenryck, Thierry Le Provost: Incremental Search in Constraint Logic Programming. 257-276 BibTeX
Oded Shmueli, Shalom Tsur: Logical Diagnosis of LDL Programs. 277-304 BibTeX
John P. Gallagher, Maurice Bruynooghe: The Derivation of an Algorithm for Program Specialisation. 305-334 BibTeX
Krzysztof R. Apt, Marc Bezem: Acyclic Programs. 335-364 BibTeX
Michael Gelfond, Vladimir Lifschitz: Classical Negation in Logic Programs and Disjunctive Databases. 365-386 BibTeX
Robert A. Kowalski, Fariba Sadri: Logic Programs with Exceptions. 387-400 BibTeX
Teodor C. Przymusinski: Stable Semantics for Disjunctive Programs. 401-424 BibTeX
François Fages: A New Fixpoint Semantics for General Logic Programs Compared with the Well-Founded and the Stable Model Semantics. 425-444 BibTeX
Jean-Marc Andreoli, Remo Pareschi: Linear Ojects: Logical Processes with Built-in Inheritance. 445-474 BibTeX
H. Nakashima: New Models for Software Architecture Project. 475- BibTeX