%A Kazuhiro Fuchi
%T The direction the FGCS project will take
%J New Generation Computing
%K ngc
%V 1
%N 1
%D 1983
%P 3-10
%K logic programming, knowledge engineering, artificial intelligence

%A Takashi Chikayama
%T ESP - Extended Self-contained Prolog -
as a preliminary kernel language of fifth generation computers
%J New Generation Computing
%K ngc
%V 1
%N 1
%D 1983
%P 11-24
%K KL0, sequential inference machines

%A Ehud Y. Shapiro
%A Akikazu Takeuchi
%T Object oriented programming in Concurrent Prolog
%J New Generation Computing
%K ngc
%V 1
%N 1
%D 1983
%P 25-48
%K incomplete messages

%A Hideyuki Nakashima
%A Norihisa Suzuki
%T Data abstraction in Prolog/KR
%J New Generation Computing
%K ngc
%V 1
%N 1
%D 1983
%P 49-62
%K NPO, generator, CPO, abstract data object, synchronisation

%A Masaru Kitsuregawa
%A Hidehiko Tanaka
%A Tohru Moto-oka
%T Application of hash to data base machine and its architecture
%J New Generation Computing
%K ngc
%V 1
%N 1
%D 1983
%P 63-74
%K dynamic clustering, efficient join

%A Shunichi Uchida
%A Minoru Yokota
%A Akira Yamamoto
%A Kazuo Taki
%A Hiroshi Nishikawa
%T Outline of the Personal Sequential Inference machine: PSI
%J New Generation Computing
%K ngc
%V 1
%N 1
%D 1983
%P 75-80
%K KL0, logic programming, fifth generation
%X (short note)

%A Takashi Hattori
%A Toshio Yokoi
%T Basic constructs of the SIM operating system
%J New Generation Computing
%K ngc
%V 1
%N 1
%D 1983
%P 81-85
%K SIMPOS, KL0, logic programming, fifth generation
%X (short note)

%A Hitoshi Aida
%A Hidehiko Tanaka
%A Tohru Moto-oka
%T A Prolog extension for handling negative knowledge
%J New Generation Computing
%K ngc
%V 1
%N 1
%D 1983
%P 87-92
%K termination, default knowledge
%X (short note)

%A Hisao Tamaki
%A Taisuke Sato
%T Program transformation through meta-shifting
%J New Generation Computing
%K ngc
%V 1
%N 1
%D 1983
%P 93-98
%K control optimisation
%X (short note)

%A Fumio Mizoguchi
%T Prolog based expert system
%J New Generation Computing
%K ngc
%V 1
%N 1
%D 1983
%P 99-104
%K aplicot, reactor fault diagnosis expert system
%X (short note)

%A John A. Robinson
%T Logic programming - past, present and future
%J New Generation Computing
%K ngc
%V 1
%N 2
%D 1983
%P 107-124
%K history, philosophy

%A Minoru Yokota
%A Akira Yamamato
%A Kazuo Taki
%A Hiroshi Nishikawa
%A Shunichi Uchida
%T The design and implementation of the
Personal Sequential Inference machine: PSI
%J New Generation Computing
%K ngc
%V 1
%N 2
%D 1983
%P 125-144
%K fifth generation, KL0, performance, architecture

%A Yudeki Matsumoto
%A Hozumi Tanaka
%A Hideki Hirakawa
%A Hideo Miyoshi
%A Hideki Yasukawa
%T BUP: a bottom-up parser embedded in Prolog
%J New Generation Computing
%K ngc
%V 1
%N 2
%D 1983
%P 145-158
%K definite clause grammar, DCG, context free grammar, parser generator

%A Mitsuru Ishizuka
%T Inference methods based on extended Dempster and Shafer's
theory for problems with uncertainty/fuzziness
%J New Generation Computing
%K ngc
%V 1
%N 2
%D 1983
%P 159-168
%K combination relation, fuzzy subset, rational inference

%A Koichi Furukawa
%A Reiji Nakajima
%A Akinori Yonezawa
%T Modularisation and abstraction in logic programming
%J New Generation Computing
%K ngc
%V 1
%N 2
%D 1983
%P 169-178
%K parameterisation, structuring knowledge, software engineering

%A Hozumi Tanaka
%A Hitoshi Isahara
%A Hideki Yasukawa
%T An English-Japanese machine translation system
using the active dictionary
%J New Generation Computing
%K ngc
%V 1
%N 2
%D 1983
%P 179-186
%K machine translation, semantic analysis of natural language

%A Takao Uehara
%A Nobuaki Kawato
%T Logic circuit synthesis using Prolog
%J New Generation Computing
%K ngc
%V 1
%N 2
%D 1983
%P 187-194
%K CAD, logic design, expert system, integrated circuits

%A Masahiro Fujita
%A Hidehiko Tanaka
%A Tohru Moto-oka
%T Temporal logic based hardware description and
its verification with Prolog
%J New Generation Computing
%K ngc
%V 1
%N 2
%D 1983
%P 195-204
%K hierarchical specification, decision procedure

%A Hozumi Hamada
%T URR: universal representation of real numbers
%J New Generation Computing
%K ngc
%V 1
%N 2
%D 1983
%P 205-210
%K bisection method on real number intervals

%A Harvey Abramson
%T A prological definition of HASL, a purely functional language
with unification based conditional binding expressions
%J New Generation Computing
%K ngc
%V 2
%N 1
%D 1983
%P 3-36
%K SASL, normal order reduction machine, definite clause grammar, DCG
functional programming, sublanguage, combinatory logic

%A Atsuhiro Goto
%A Hidehiko Tanaka
%A Tohru Moto-oka
%T Highly Parallel Inference Engine PIE
- goal rewriting model and machine architecture
%J New Generation Computing
%K ngc
%V 2
%N 1
%D 1984
%P 37-58
%K parallel inference machine, proof diagrams, architecture

%A Masami Hagiya
%A Takafumi Sakurai
%T Foundation of logic programming based on inductive inference
%J New Generation Computing
%K ngc
%V 2
%N 1
%D 1984
%P 59-78
%K logic programming, inductive definition, least fixpoint semantics
negation as failure, verification, synthesis

%A Akira Fusoaka
%A Hirohisa Seki
%A Kuzuko Takahashi
%T Description and reasoning of VLSI circuit in temporal logic
%J New Generation Computing
%K ngc
%V 2
%N 1
%D 1984
%P 79-90
%K design verification, hardware specification, VLSI design
automated reasoning

%A Hiroshi Maruyama
%A Akinori Yonezawa
%T A Prolog-based natural language front-end system
%J New Generation Computing
%K ngc
%V 2
%N 1
%D 1984
%P 91-100
%K natural language processing, parsing and understanding
quantification, definite clause grammar, DCG, domain independence
syntactic features

%A Makato Amamiya
%A Ryuzo Hasegawa
%T Dataflow computing and eager and lazy evaluations
%J New Generation Computing
%K ngc
%V 2
%N 2
%D 1984
%P 105-130
%K demand driven, eager/lazy evaluation, list/stream processing

%A Shigeki Shibayama
%A Takeo Kakuta
%A Nobuyoshi Miyazaki
%A Haruo Yokota
%A Kunio Murakami
%T A relational database machine with large semiconductor
disk and hardware relational algebra processor
%J New Generation Computing
%K ngc
%V 2
%N 2
%D 1984
%P 131-155
%K logic programming, design, implementation, disk cache

%A Anthony J. Kusalik
%T Bounded wait-merge in Shapiro's Concurrent Prolog
%J New Generation Computing
%K ngc
%V 2
%N 2
%D 1984
%P 157-170
%K logic programming, systems programming, computational model

%A Setsuo Arikawa
%A Takeshi Shinohara
%T A run-time efficient realisation of
Aho-Corasick pattern matching machines
%J New Generation Computing
%K ngc
%V 2
%N 2
%D 1984
%P 171-186
%K sorting, searching, time space trade-off

%A Eugenio Oliveira
%T Developing expert system builders in logic programming
%J New Generation Computing
%K ngc
%V 2
%N 2
%D 1984
%P 187-194
%K Prolog, knowledge acquisition, inference mechanism

%A Akihiko Konagaya
%A Mamoru Umemura
%T Knowledge information processing language: ShapeUp
%J New Generation Computing
%K ngc
%V 2
%N 2
%D 1984
%P 195-202
%K Prolog, logic programming, string matching

%A Joxan Jaffar
%T Efficient unification over infinite terms
%J New Generation Computing
%K ngc
%V 2
%N 3
%D 1984
%P 207-219
%K unification, first-order terms, infinite terms

%A Ehud Y. Shapiro
%A Colin Mierowsky
%T Fair, biased and self-balancing merge operators:
their specification and implementation in Concurrent Prolog
%J New Generation Computing
%K ngc
%V 2
%N 3
%D 1984
%P 221-240
%K logic programming, parallel programming, stream communication
Concurrent Prolog, merge operators

%A Yuzuru Tanaka
%T A multiport page-memory architecture
and a multiport disk-cache system
%J New Generation Computing
%K ngc
%V 2
%N 3
%D 1984
%P 241-260
%K memory architecture, shared memory, disk cache, multiprocessor
database machine

%A Tetsuo Ida
%A Jiro Tanaka
%T Functional programming with streams - part II
%J New Generation Computing
%K ngc
%V 2
%N 3
%D 1984
%P 261-275
%K functional programming, stream, program transformation

%A Hiroshi Yasuhara
%A Kazuhiko Nitadori
%T ORBIT: a parallel computing model of Prolog
%J New Generation Computing
%K ngc
%V 2
%N 3
%D 1984
%P 277-288
%K Prolog machine, parallel machine, OR parallel, process bundle
B-parallel

%A Anthony J. Kusalik
%T Serialization of process reduction in Concurrent Prolog
%J New Generation Computing
%K ngc
%V 2
%N 3
%D 1984
%P 289-298
%K sequential computation, process synchronisation, sequential AND
logic programming

%A David A. Plaisted
%T The occur-check problem in Prolog
%J New Generation Computing
%K ngc
%V 2
%N 4
%D 1984
%P 309-322
%K logic programming, occur check, unification, Prolog

%A Evan Tick
%A David H. D. Warren
%T Towards a pipelined Prolog processor
%J New Generation Computing
%K ngc
%V 2
%N 4
%D 1984
%P 323-345
%K Prolog, architecture, microcode, instruction set, pipelining

%A Matts Carlsson
%T On implementing Prolog in functional programming
%J New Generation Computing
%K ngc
%V 2
%N 4
%D 1984
%P 347-359
%K continuations, interpreters, logic programming, Prolog

%A David S. Warren
%T Efficient Prolog memory management for flexible control strategies
%J New Generation Computing
%K ngc
%V 2
%N 4
%D 1984
%P 361-369
%K Prolog implementation, OR parallelism, sharing, association lists

%A Mark E. Stickel
%T A Prolog technology theorem prover
%J New Generation Computing
%K ngc
%V 2
%N 4
%D 1984
%P 371-383
%K theorem proving, model elimination, resolution, Prolog

%A Tazio Miyachi
%A Susumu Kunifuji
%A Hajime Kitakami
%A Koichi Furukawa
%A Akikazu Takeuchi
%A Haruo Yokota
%T A knowledge assimilation method for logic databases
%J New Generation Computing
%K ngc
%V 2
%N 4
%D 1984
%P 385-404
%K data bases, amalgamation, meta-inference, constraint, Prolog

%A Takayasu Ito
%T A step towards complementary programming
%J New Generation Computing
%K ngc
%V 3
%N 1
%D 1985
%P 3-14
%K program development methodology, semantics based programming
program derivation specification verification

%A Noriyoshi Ito
%A Hajime Shimizu
%A Masasuke Kishi
%A Eiji Kuno
%A Kazuaki Rokusawa
%T Data-flow based execution mechanisms
of parallel and concurrent Prolog
%J New Generation Computing
%K ngc
%V 3
%N 1
%D 1985
%P 15-41
%K parallel processing, data flow model, unification, nondeterminism
logic programming language

%A John S. Conery
%A Dennis F. Kibler
%T AND parallelism and nondeterminism in logic programs
%J New Generation Computing
%K ngc
%V 3
%N 1
%D 1985
%P 43-70
%K process model, OR parallelism, intelligent backtracking

%A Paul J. Voda
%T A view of programming languages
as a symbiosis of meaning and computations
%J New Generation Computing
%K ngc
%V 3
%N 1
%D 1985
%P 71-100
%K semantics of programming languages, operational semantics
functional languages, logic programming, formal theories

%A William F. Clocksin
%T Design and simulation of a sequential Prolog machine
%J New Generation Computing
%K ngc
%V 3
%N 1
%D 1985
%P 101-120
%K Prolog-X, Prolog, ZIP, sequential inference machine
compiler, virtual machine

%A Kohei Noshita
%A Teruo Hikita
%T The BC-chain method for representing combinators in linear space
%J New Generation Computing
%K ngc
%V 3
%N 2
%D 1985
%P 131-144
%K functional programming, lambda expressions, normal order reduction
space complexity, Turner combinators

%A Akikazu Takekuchi
%A Koichi Furukawa
%T Bounded buffer communication in Concurrent Prolog
%J New Generation Computing
%K ngc
%V 3
%N 2
%D 1985
%P 145-155
%K logic programming, parallel programming, stream

%A J. Ross Quinlan
%T Internal consistency in plausible reasoning systems
%J New Generation Computing
%K ngc
%V 3
%N 2
%D 1985
%P 157-180
%K probabilistic reasoning, inexact reasoning, consistency

%A David F. Brailsford
%A R. James Duckworth
%T The MUSE machine -
an architecture for structured data flow computation
%J New Generation Computing
%K ngc
%V 3
%N 2
%D 1985
%P 181-195
%K dataflow, parallel computation

%A Rikio Onai
%A Moritoshi Aso
%A Hajime Shimizu
%A Kanae Masuda
%A Akira Matsumoto
%T Architecture of a reduction-based parallel inference machine: PIM-R
%J New Generation Computing
%K ngc
%V 3
%N 2
%D 1985
%P 197-228
%K Prolog, Concurrent Prolog, OR parallelism, AND parallelism

%A Bernard A. Galler
%T A view of artificial intelligence
%J New Generation Computing
%K ngc
%V 3
%N 3
%D 1985
%P 235-236

%A Esen A. Ozkarahan
%T Evolution and implementations of the RAP database machine
%J New Generation Computing
%K ngc
%V 3
%N 3
%D 1985
%P 237-271
%K computer architecture, database machines/computers
parallel/associative architectures, relational databases
data partitioning

%A Gerald Gazdar
%A Geoffrey K. Pullum
%T Computationally relevant properties
of natural languages and their grammars
%J New Generation Computing
%K ngc
%V 3
%N 3
%D 1985
%P 273-306
%K syntax, parsing, grammar, natural language, morphology
formal language theory, features

%A Yuzuru Tanaka
%T A VLSI algorithm for sorting variable-length character strings
%J New Generation Computing
%K ngc
%V 3
%N 3
%D 1985
%P 307-328
%K sorting, string processing, parallel processing, VLSI algorithm

%A Toshiyuki Sakai
%T Intelligent sensor
%J New Generation Computing
%K ngc
%V 3
%N 4
%D 1985
%P 339-340

%A Styanley J. Rosenschein
%T Formal theories of knowledge in AI and robotics
%J New Generation Computing
%K ngc
%V 3
%N 4
%D 1985
%P 345-357
%K knowledge representation, epistemic logic, automata theory

%A Kenneth A. Bowen
%T Meta-level programming and knowledge representation
%J New Generation Computing
%K ngc
%V 3
%N 4
%D 1985
%P 359-383
%K logic programming, meta-level inference, knowledge representation
demo predicate

%A Randy Goebel
%T The design and implementation of DLOG,
a Prolog-based knowledge representation system
%J New Generation Computing
%K ngc
%V 3
%N 4
%D 1985
%P 385-401
%K knowledge models, knowledge representation, logic programming
knowledge representation systems

%A Setsuo Ohsuga
%A Hiroyuki Yamauchi
%T Multi-layer logic - a predicate logic including data structure
as knowledge representation language
%J New Generation Computing
%K ngc
%V 3
%N 4
%D 1985
%P 403-439
%K predicate logic, conceptual modeling, hierarchical abstraction

%A Kuniaki Mukai
%A Hideki Yasukawa
%T Complex indeterminates in Prolog
and its application to discourse models
%J New Generation Computing
%K ngc
%V 3
%N 4
%D 1985
%P 441-466
%K logic programming, natural language processing, situation semantics
unification, parameterized type

%A Yoav Shoham
%T Ten requirements for a theory of change
%J New Generation Computing
%K ngc
%V 3
%N 4
%D 1985
%P 467-477
%K time, causation, frame problems, benchmarks

%A Mitsuru Ishizuka
%A Naoki Kanai
%T Prolog-ELF incorporating fuzzy logic
%J New Generation Computing
%K ngc
%V 3
%N 4
%D 1985
%P 479-486
%K extended Prolog, fuzzy set, uncertainty, fuzzy logical database

%A Zahran Halim
%T A data-driven machine for OR-parallel evaluation of logic programs
%J New Generation Computing
%K ngc
%V 4
%N 1
%D 1986
%P 5-33
%K data-driven architecture, logic programming, parallel machines
database

%A Luis Farinas del\ Cerro
%T MOLOG: a system that extends Prolog with modal logic
%J New Generation Computing
%K ngc
%V 4
%N 1
%D 1986
%P 35-50
%K theorem proving, logic programming, modal resolution, problem solving

%A Yukio Kaneda
%A Naoyuki Tamura
%A Koichi Wada
%A Hideo Matsuda
%A Shumin Kuo
%A Sadao Maekawa
%T Sequential Prolog machine PEK
%J New Generation Computing
%K ngc
%V 4
%N 1
%D 1986
%P 51-66
%K microprogram, personal workstation

%A Robert Kowalski
%A Marek Sergot
%T A logic-based calculus of events
%J New Generation Computing
%K ngc
%V 4
%N 1
%D 1986
%P 67-95
%K event calculus, logic programming, Prolog, temporal logic
database updates, default reasoning

%A Akira Yamamoto
%A Hozumi Tanaka
%T Translating production rules into a forward reasoning Prolog program
%J New Generation Computing
%K ngc
%V 4
%N 1
%D 1986
%P 97-105
%K production system, expert system

%A Yutaka Ohno
%T Evolution multiplication of software environments
%J New Generation Computing
%K ngc
%V 4
%N 2
%D 1986
%P 113-114

%A Wolfgang Bibel
%T A deductive solution for plan generation
%J New Generation Computing
%K ngc
%V 4
%N 2
%D 1986
%P 115-132
%K intellectics, artificial intelligence, robotics, problem solving
frame problem, automated theorem proving, connection method

%A T.Y. Chen
%A J-L. Lassez
%A G.S. Port
%T Maximal unifiable subsets and minimal non-unifiable subsets
%J New Generation Computing
%K ngc
%V 4
%N 2
%D 1986
%P 133-152
%K unification, bactracking, resolution

%A Paul J. Voda
%T Computation of full logic programs using one-variable environments
%J New Generation Computing
%K ngc
%V 4
%N 2
%D 1986
%P 153-187
%K formal semantics, formal theories

%A Anthony J. Kusalik
%T Specification and initialization of a logic computer system
%J New Generation Computing
%K ngc
%V 4
%N 2
%D 1986
%P 189-209
%K models, operating systems, logic inference machines
Concurrent Prolog

%A Ehud Shapiro
%A Shmuel Safra
%T Multiway merge with constant delay in Concurrent Prolog
%J New Generation Computing
%K ngc
%V 4
%N 2
%D 1986
%P 211-216
%K stream merging, copy avoidance

%A Setsuo Ohsuga
%T Artificial intelligence as new generation computing technology
%J New Generation Computing
%K ngc
%V 4
%N 3
%D 1986
%P 223-224

%A Dik Lun Lee
%T ALTEP - a cellular processor for high-speed pattern matching
%J New Generation Computing
%K ngc
%V 4
%N 3
%D 1986
%P 225-244
%K associative linear text processor

%A K.-U. Felgentreu
%A W.-M. Lippe
%T Low cost environment changing in a shallow binding system
%J New Generation Computing
%K ngc
%V 4
%N 3
%D 1986
%P 245-272

%A J. Rohmer
%A R. Lescoeur
%A J.M. Kerisit
%T The Alexander method -
a technique for the processing of recursive axioms in deductive databases
%J New Generation Computing
%K ngc
%V 4
%N 3
%D 1986
%P 273-285

%A M.H. van\ Emden
%A Masaru Ohki
%A Akikazu Takeuchi
%T Spreadsheets with incremental queries
as a user interface for logic programming
%J New Generation Computing
%K ngc
%V 4
%N 3
%D 1986
%P 287-304

%A Takashi Yokomori
%T Logic program forms
%J New Generation Computing
%K ngc
%V 4
%N 3
%D 1986
%P 305-319

%A Gianfranco Rossi
%T Uses of Prolog in implementation of expert systems
%J New Generation Computing
%K ngc
%V 4
%N 3
%D 1986
%P 321-329

%A Shinji Tomita
%A Kiyoshi Shibayama
%A Haruo Niimi
%T Report on the 13th Annual International Symposium on Computer Architecture
%J New Generation Computing
%K ngc
%V 4
%N 3
%D 1986
%P 331-333
%K isca isca13

%A Katsumi Nitta
%T Report on the Logic Programming Conference '86
%J New Generation Computing
%K ngc
%V 4
%N 3
%D 1986
%P 334-335

%A Shoichi Noguchi
%T Toward a highly intelligent communication
%J New Generation Computing
%K ngc
%V 4
%N 4
%D 1986
%P 337-338

%A Ian Toyn
%A Colin Runciman
%T Adapting combinator and SECD machines
to display snapshots of functional computations
%J New Generation Computing
%K ngc
%V 4
%N 4
%D 1986
%P 339-363

%A Masato Takeuchi
%T Inserting injection operations to denotational specifications
%J New Generation Computing
%K ngc
%V 4
%N 4
%D 1986
%P 365-381

%A Ulf Nilsson
%T AID: an alternative implementation of DCGs
%J New Generation Computing
%K ngc
%V 4
%N 4
%D 1986
%P 383-399

%A Ikuo Takeuchi
%A Hiroshi Okuno
%A Nobuyasu Ohsato
%T A list processing language TAO with multiple programming paradigms
%J New Generation Computing
%K ngc
%V 4
%N 4
%D 1986
%P 401-444

%A Taisuke Sato
%T Report on the Third International Conference on Logic Programming
%J New Generation Computing
%K ngc
%V 4
%N 4
%D 1986
%P 445-446

%A Kazuhiro Fuchi
%A Koichi Furukawa
%T The role of logic programming in the fifth generation computer project
%J New Generation Computing
%K ngc
%V 5
%N 1
%D 1987
%P 3-28

%A Kazunori Ueda
%T Making exhaustive search programs deterministic
%J New Generation Computing
%K ngc
%V 5
%N 1
%D 1987
%P 29-44

%A Michael Codish
%A Ehud Shapiro
%T Compiling OR-parallelism into AND-parallelism
%J New Generation Computing
%K ngc
%V 5
%N 1
%D 1987
%P 45-61

%A Yuji Matsumoto
%T A parallel parsing system for natural language analysis
%J New Generation Computing
%K ngc
%V 5
%N 1
%D 1987
%P 63-78

%A Rong Yang
%A Hideo Aiso
%T P-Prolog: a parallel logic language based on exclusive relation
%J New Generation Computing
%K ngc
%V 5
%N 1
%D 1987
%P 79-95

%A Peter Kursawe
%T How to invent a Prolog machine
%J New Generation Computing
%K ngc
%V 5
%N 1
%D 1987
%P 97-114

%A Kazuhisa Kawai
%A Riichiro Mizoguchi
%A Osamu Kakusho
%A Jun'ichi Toyoda
%T A framework for ICAI systems
based on inductive inference and logic programming
%J New Generation Computing
%K ngc
%V 5
%N 1
%D 1987
%P 115-129

%A J.W. Lloyd
%T Declarative error diagnosis
%J New Generation Computing
%K ngc
%V 5
%N 2
%D 1987
%P 133-154

%A Man-chung Chan
%T The recursive resolution method for modal logic
%J New Generation Computing
%K ngc
%V 5
%N 2
%D 1987
%P 155-183

%A Stephen Taylor
%A Evyatar Av-Ron
%A Ehud Shapiro
%T A layered method for process and code mapping
%J New Generation Computing
%K ngc
%V 5
%N 2
%D 1987
%P 185-205