New Generation Computing, Volume 3, 1985

Volume 3, Number 1, 1985

Gordon Bell: On Declaring and Reaching the Fifth Generation by 1990. 1-2
Takayasu Ito: A Step Towards Complementary Programming. 3-13
Noriyoshi Ito, Hajime Shimizu, Masasuke Kishi, Eiji Kuno, Kazuaki Rokusawa: Data-flow Based Execution Mechanisms of Parallel and Concurrent Prolog. 15-41
John S. Conery, Dennis F. Kibler: AND Parallelism and Nondeterminism in Logic Programs. 43-70
Paul J. Voda: A View of Programming Languages as Symbiosis of Meaning and Computations. 71-100
W. F. Clocksin: Design and Simulation of a Sequential Prolog Machine. 101-120
Akira Kikuchi: Opening of the International Conference on Fifth Generation Computer Systems 1984. 121-124

Hajime Enomoto: Knowledge and Service. 129-130
Kohei Noshita, Teruo Hikita: The BC-chain Method for Representing Combinators in Linear Space. 131-144
Akikazu Takeuchi, Koichi Furukawa: Bounded Buffer Communication in Concurrent Prolog. 145-155
J. Ross Quinlan: Internal Consistency in Plausible Reasoning Systems. 157-180
David F. Bailsford, R. James Duckworth: The MUSE Machine - an Architecture for Structured Data Flow Computation. 181-195
Rikio Onai, Moritoshi Aso, Hajime Shimizu, Kanae Masuda, Akira Matsumoto: Architecture of a Reduction-Based Parallel Inference Machine: PIM-R. 197-228

Bernard A. Galler: A View of Artificial Intelligence. 235-236
Esen A. Ozkarahan: Evolution and Implementation of the RAP Database Machine. 237-271
Gerald Gazdar, Geoffrey K. Pullum: Computationally Relavant Properties of Natural Languages and Thier Grammar. 271-306
Yuzuru Tanaka: A VLSI Algorithm for Sorting Variable-Length Character Strings. 307-328

Toshiyuki Sakai: Intelligent Sensor. 339-340
Fumio Mizoguchi, Koichi Furukawa: Guest Editors' Preface. 341-344
Stanley J. Rosenschein: Formal Theories of Knowledge in AI and Robotics. 345-357
Kenneth A. Bowen: Meta-Level Programming and Knowledge Representation. 359-383
Randy Goebel: The Design and Implementation of DLOG, a Prolog-based Knowledge Representation System. 385-401
Setsuo Ohsuga, Hiroyuki Yamauchi: Multi-Layer Logic - A Predicate Logic Including Data Structure as Knowledge Representation Language. 403-439
Kuniaki Mukai, Hideki Yasukawa: Complex Indeterminates in Prolog and its Application of Discorse Models. 441-466
Yoav Shoham: Ten Requirements for a Theory of Change. 467-477
Mitsuru Ishizuka, Naoki Kanai: Prolog-ELP Incorporating Fuzzy Logic. 479-486