New Generation Computing, Volume 11

Volume 11, Number 1, 1992

• Antonio Brogi, Evelina Lamma, Paola Mello:
  Compositional Model-Theoretic Semantics for Logic Programs. 1-21
  
• Yi-Dong Shen:
  Verifying Local Stratifiability of Logic Programs and Databases. 23-46
  
• Maurice Bruynooghe, Danny De Schreye, Bern Martens:
  A General Criterion for Avoiding Infinite Unfolding during Partial Deduction. 47-79
  
• Khayri A. M. Ali, Roland Karlsson, Shyam Mudambi:
  Performance of Muse on Switch-Based Multiprocessor Machines. 81-103
  

Volume 11, Number 2, 1993

• Y. J. Jiang:
  On the Autoepistemic Reconstruction of Logic Programming. 107-124
  
• Kim Marriott, Harald Søndergaard:
  Difference-List Transformation for Prolog. 125-157
  
• Toyoaki Nishida, Kenji Mizutani, Shuji Doshita:
  Automated Analysis of Qualitative Behaviors of Piecewise Linear Ordinary Differential Equations. 159-177
  
• Rita Loogen:
  Relating the Implementation Techniques of Functional and Functional Logic Languages. 179-215
  
• Shunichi Uchida, Ryuzo Hasegawa, Kazumasa Yokota, Takashi Chikayama, Katsumi Nitta, Akira Aiba:
  Outline of the FGCS Fallow-on Project. 217-222
  

Volume 11, Number 3, 4, 1993

• William J. Dally:
  A Universal Parallel Computer Architecture. 227-249, (Invited)
  
• Kentaro Shimada, Hanpei Koike, Hidehiko Tanaka:
  UNIRED II: The High Performance Inference Processor for the Parallel Inference Machine PIE64. 251-269
  
• Evan Tick, X. Zhong:
  A Compile-Time Granularity Analysis Algorithm and its Performance Evaluation. 271-295
  
• Gopal Gupta, Manuel V. Hermenegildo, Vítor Santos Costa:
  And-Or Parallel Prolog: A Recomputation Based Approach. 297-321
  
• Kazunori Ueda, Masao Morita:
  Message-Oriented Parallel Implementation of Moded Flat GHC. 323-341
  
• Ivan Bratko:
  Applications of Machine Learning: Towards Knowledge Synthesis. 343-360, (Invited)
  
• Setsuo Arikawa, Satoru Miyano, Ayumi Shinohara, Satoru Kuhara, Yasuhito Mukouchi, Takeshi Shinohara:
  A Machine Discovery from Amino Acid Sequences by Decision Trees over Regular Patterns. 361-375
  
• David Poole:
  Logic Programming, Abduction and Probability - A Top-Down Anytime Algorithm for Estimating Prior and Posterior Probabilities. 377-400
  
• Yoshihiko Ohta, Katsumi Inoue:
  Incorporating Top-Down Information into Bottom-Up Hypothetical Reasoning. 401-421
  
• Katsumi Nitta, Yoshihisa Ohtake, Shigeru Maeda, Masayuki Ono, Hiroshi Ohsaki, Kiyokazu Sakane:
  HELIC-II: Legal Reasoning System on the Parallel Inference Machine. 423-448
  
• Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap:
  Projecting CLP (R) Constraints. 449-469
  

Last update Thu May 23 19:19:32 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page