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 BibTeX
• Yi-Dong Shen: Verifying Local Stratifiability of Logic Programs and Databases. 23-46 BibTeX
• Maurice Bruynooghe, Danny De Schreye, Bern Martens: A General Criterion for Avoiding Infinite Unfolding during Partial Deduction. 47-79 BibTeX
• Khayri A. M. Ali, Roland Karlsson, Shyam Mudambi: Performance of Muse on Switch-Based Multiprocessor Machines. 81-103 BibTeX

Volume 11, Number 2, 1993

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

Volume 11, Number 3, 4, 1993

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