New Generation Computing, Volume 9

Volume 9, Number 1, 1991

• H. 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 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
  
• H. Nakashima:
  New Models for Software Architecture Project. 475-477
  

Last update Wed May 22 18:09:12 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page