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
4
, Issue
4
337
--
338
Shoichi Noguchi
.
Toward a Highly Intelligent Communication
339
--
363
Ian Toyn
,
Colin Runciman
.
Adapting Combinator and SEC Machines to Display Snapshots of Functional Computations
365
--
381
Masato Takeichi
.
Inserting Injection Operations to Denotational Specifications
383
--
399
Ulf Nilsson
.
AID: An Alternative Implementation of DCGs
401
--
444
Ikuo Takeuchi
,
Hiroshi G. Okuno
,
Nobuyasu Ohsato
.
A List Processing Language TAO with Multiple Programming Paradigms
Volume
4
, Issue
3
223
--
224
Setsuo Ohsuga
.
Artificial Intelligence as New Gneration Computing Technology
225
--
244
Dik Lun Lee
.
ALTEP - A Cellular Processor for High-Speed Pattern Matching
245
--
272
Kay-Ulrich Felgentreu
,
Wolfram-Manfred Lippe
.
Low Cost Environment Changing in a Shallow Binding System
273
--
285
J. Rohmer
,
R. Lescoeur
,
Jean-Marc Kerisit
.
The Alexander Method - A Technique for The Processing of Recursive Axioms in Deductive Databases
287
--
304
Maarten H. van Emden
,
Masaru Ohki
,
Akikazu Takeuchi
.
Spreadsheets with Incremental Queries as a User Interface for Logic Programming
305
--
319
Takashi Yokomori
.
Logic Program Forms
321
--
329
Gianfranco Rossi
.
Uses of Prolog in Implementation of Expert Systems
Volume
4
, Issue
2
113
--
114
Yutaka Ohno
.
Evolutional Multiplication of Software Environments
115
--
132
Wolfgang Bibel
.
A Deductive Solution for Plan Generation
133
--
152
T. Y. Chen
,
Jean-Louis Lassez
,
Graeme S. Port
.
Maximal Unifiable Subsets and Minimal Nonunifiable Subsets
153
--
187
Paul J. Voda
.
Computation of Full Logic Programs Using One-Variable Environments
189
--
209
Anthony J. Kusalik
.
Specification and Initialization of a Logic Computer System
211
--
216
Ehud Y. Shapiro
,
Shmuel Safra
.
Multiway Merge with Constant Delay in Concurrent Prolog
Volume
4
, Issue
1
3
--
4
Kazuhiro Fuchi
.
Toward a New Age of Computing: Succeeding to the Editor-in-Chief
5
--
33
Zahran Halim
.
A Data-Driven Machine for OR-Parallel Evaluation of Logic Programs
35
--
50
Luis FariƱas del Cerro
.
MOLOG: A System That Extends PROLOG with Modal Logic
51
--
66
Yukio Kaneda
,
Naoyuki Tamura
,
Koichi Wada
,
Hideo Matsuda
,
Shumin Kuo
,
Sadao Maekawa
.
Sequential Prolog Machine PEK
67
--
95
Robert A. Kowalski
,
Marek J. Sergot
.
A Logic-based Calculus of Events
97
--
105
Akira Yamamoto
,
Hozumi Tanaka
.
Translating Production Rules into a Forward Reasoning Prolog Program