E1AR0002@SMUVM1.BITNET.UUCP (08/26/87)
AI at Upcoming Conferences Fifth International Workshop on Database Machines October 6-8, 1987, Karuizawa, Japan ICM3: Design and Evaluation of an Inference Crunching Machine J. C. Syre, J. Noye et. al (ECRC, FRG) Knowledge Base Machine Based on Parallel Kernel Language H. Itoh, T. Takewaki, (ICOT, Japan) KEV-A - A Kermenl for Bubba W. K. Wilkinsont (Bell Communications Research), H. Boral (MCC) A Stream-Oriented Approach to Parallel Processing for Deductive Databases Y. Kiyoki, K. Kato, N. Yamaguchi, T. Masuda University of Tsukuba, Japan DDC: A Deductive Database Machine R. Gonzalez-Rubio, J. Rohmer, A. Bradier, B. Bergsten (Bull sa Centre dde Recherche, France) An Inference Model and a Tree-Structured Multicomputer System for Large Data-Intensive Logic Bases G. Z. Qadah (Northwestern University) Knowledge-Based System for Conceptual Schema Design on a Multi-Model Databse Machine E. Ozkarahan (Arizona State Univer., USA), A. Bayle (Honeywell Bull) An Algebraic Deductive Database Managing a Mass of Rule Clauses T. Ohmori, H. Tanaka, University of Tokyo Japan A Shared Memory ARchitecture for MAJI Production System Machine J. Miyazaki, H. Amano, K. Takeda, H. Aiso (Keio Univ., Japan) A Real Time Production System Architecture Using 3-D VLSI Technology S. Fujita, R. Aibara, T. Ae (Hiroshima Univ., Japan) Architectural Evaluation of a Semantic Network Machine T. Furuya, T. Niguchi, H. Kusumoto, K. Handa, A. Kokubu (ETL, Japan) A Superimposed Code Scheme for Deductive Databases M. Wada, H. Yamazaki, S. Yamashita, N. Miyazaki, Y. Morita, H. Iotoh (Oki and ICOT of Japan) An Architecture for Very Large Rule Bases Based on Surrogate Files D. Shin, P. B. Berra (Syracuse Univ., USA) A Simulation STudy of a Knowledge Base Machine Architecture H. Sakai, S. Shibayama Implementing Parallel Prolog System on Multiprocessor System PARK H. Matsuda (Kobe Univ., Japan), K. Kohata (Okayama Univ. of Science, Japan), T. Masuo, Y. Kaneda, S. Maekawa (Kobe University) Search Strategy for Prolog Data Bases G. B. Sabbatel, W. Dang (INPG, France) The Unification Processor by Pipeline Method M. Tanabe, H. Aiso (Keio Univ., Japan)