New Generation Computing
, Volume 3, 1985
Volume 3, Number 1, 1985
Gordon Bell
: On Declaring and Reaching the Fifth Generation by 1990. 1-2
BibTeX
Takayasu Ito
: A Step Towards Complementary Programming. 3-13
BibTeX
Noriyoshi Ito
,
Hajime Shimizu
,
Masasuke Kishi
,
Eiji Kuno
,
Kazuaki Rokusawa
: Data-flow Based Execution Mechanisms of Parallel and Concurrent Prolog. 15-41
BibTeX
John S. Conery
,
Dennis F. Kibler
: AND Parallelism and Nondeterminism in Logic Programs. 43-70
BibTeX
Paul J. Voda
: A View of Programming Languages as Symbiosis of Meaning and Computations. 71-100
BibTeX
W. F. Clocksin
: Design and Simulation of a Sequential Prolog Machine. 101-120
BibTeX
Akira Kikuchi
: Opening of the International Conference on Fifth Generation Computer Systems 1984. 121-124
BibTeX
Volume 3, Number 2, 1985
Hajime Enomoto
: Knowledge and Service. 129-130
BibTeX
Kohei Noshita
,
Teruo Hikita
: The BC-chain Method for Representing Combinators in Linear Space. 131-144
BibTeX
Akikazu Takeuchi
,
Koichi Furukawa
: Bounded Buffer Communication in Concurrent Prolog. 145-155
BibTeX
J. Ross Quinlan
: Internal Consistency in Plausible Reasoning Systems. 157-180
BibTeX
David F. Bailsford
,
R. James Duckworth
: The MUSE Machine - an Architecture for Structured Data Flow Computation. 181-195
BibTeX
Rikio Onai
,
Moritoshi Aso
,
Hajime Shimizu
,
Kanae Masuda
,
Akira Matsumoto
: Architecture of a Reduction-Based Parallel Inference Machine: PIM-R. 197-228
BibTeX
Volume 3, Number 3, 1985
Bernard A. Galler
: A View of Artificial Intelligence. 235-236
BibTeX
Esen A. Ozkarahan
: Evolution and Implementation of the RAP Database Machine. 237-271
BibTeX
Gerald Gazdar
,
Geoffrey K. Pullum
: Computationally Relavant Properties of Natural Languages and Thier Grammar. 271-306
BibTeX
Yuzuru Tanaka
: A VLSI Algorithm for Sorting Variable-Length Character Strings. 307-328
BibTeX
Volume 3, Number 4, 1985
Toshiyuki Sakai
: Intelligent Sensor. 339-340
BibTeX
Fumio Mizoguchi
,
Koichi Furukawa
: Guest Editors' Preface. 341-344
BibTeX
Stanley J. Rosenschein
: Formal Theories of Knowledge in AI and Robotics. 345-357
BibTeX
Kenneth A. Bowen
: Meta-Level Programming and Knowledge Representation. 359-383
BibTeX
Randy Goebel
: The Design and Implementation of DLOG, a Prolog-based Knowledge Representation System. 385-401
BibTeX
Setsuo Ohsuga
,
Hiroyuki Yamauchi
: Multi-Layer Logic - A Predicate Logic Including Data Structure as Knowledge Representation Language. 403-439
BibTeX
Kuniaki Mukai
,
Hideki Yasukawa
: Complex Indeterminates in Prolog and its Application of Discorse Models. 441-466
BibTeX
Yoav Shoham
: Ten Requirements for a Theory of Change. 467-477
BibTeX
Mitsuru Ishizuka
,
Naoki Kanai
: Prolog-ELP Incorporating Fuzzy Logic. 479-486
BibTeX
Copyright ©
Sun May 17 00:15:26 2009 by
Michael Ley
(
ley@uni-trier.de
)