Journal: New Generation Comput.

Volume 3, Issue 4

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

Volume 3, Issue 3

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

Volume 3, Issue 2

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

Volume 3, Issue 1

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