Journal: New Generation Comput.

Volume 11, Issue 3

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

Volume 11, Issue 2

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

Volume 11, Issue 1

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