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