%A T. Moto-oka
%A et al
%T Challenge for knowledge information processing systems
(preliminary report on fifth generation computer systems)
%J Proceedings of the 1981 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D October 1981
%K fgcs fgcs81 logic
%P 3-89

%A H. Karatsu
%T What is required of the fifth generation computer
- social needs and its impact
%J Proceedings of the 1981 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D October 1981
%K fgcs fgcs81 logic
%P 93-106

%A K. Fuchi
%T Aiming for knowledge information processing systems
%J Proceedings of the 1981 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D October 1981
%K fgcs fgcs81 logic
%P 107-120

%A H. Aiso
%T Fifth generation computer architecture
%J Proceedings of the 1981 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D October 1981
%K fgcs fgcs81 logic
%P 121-127

%A K. Furukawa
%A et al
%T Problem solving and inference mechanisms
%J Proceedings of the 1981 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D October 1981
%K fgcs fgcs81 logic
%P 131-138

%A M. Suwa
%A et al
%T Knowledge base mechanisms
%J Proceedings of the 1981 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D October 1981
%K fgcs fgcs81 logic
%P 139-146

%A Ho. Tanaka
%A et al
%T Intelligent man-machine interface
%J Proceedings of the 1981 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D October 1981
%K fgcs fgcs81 logic
%P 147-158

%A T. Yokoi
%A et al
%T Logic programming and a dedicated high-performance personal computer
%J Proceedings of the 1981 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D October 1981
%K fgcs fgcs81 logic
%P 159-164

%A S. Uchida
%A et al
%T New architectures for inference mechanisms
%J Proceedings of the 1981 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D October 1981
%K fgcs fgcs81 logic
%P 167-178

%A M. Amamiya
%A et al
%T New architectures for knowledge base mechanisms
%J Proceedings of the 1981 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D October 1981
%K fgcs fgcs81 logic
%P 179-188

%A K. Sakamura
%A et al
%T VLSI and system architecture - the development of system 5G
%J Proceedings of the 1981 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D October 1981
%K fgcs fgcs81 logic
%P 189-208

%A H. Tanaka
%A et al
%T The preliminary research of data flow machine and data base machine
as the basic architecture of fifth generation computer systems
%J Proceedings of the 1981 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D October 1981
%K fgcs fgcs81 logic
%P 209-219

%A E.A. Feigenbaum
%T Innovation and symbol manipulation
in the fifth generation computer systems
%J Proceedings of the 1981 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D October 1981
%K fgcs fgcs81 logic
%P 223-226

%A W. Bibel
%T Logical program synthesis
%J Proceedings of the 1981 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D October 1981
%K fgcs fgcs81 logic
%P 227-236

%A G. Kahn
%T The scope of symbolic computation
%J Proceedings of the 1981 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D October 1981
%K fgcs fgcs81 logic
%P 237-242

%A B.H. McCormick
%A et al
%T A cognitive architecture for computer vision
%J Proceedings of the 1981 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D October 1981
%K fgcs fgcs81 logic
%P 245-264

%A P.C. Treleaven
%T Fifth generation computer architecture analysis
%J Proceedings of the 1981 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D October 1981
%K fgcs fgcs81 logic
%P 265-276

%A J. Allen
%T Algorithms, architecture, and technology
%J Proceedings of the 1981 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D October 1981
%K fgcs fgcs81 logic
%P 277-281

%A Kazuyiko Kawanobe
%T Current status and future plans
of the fifth generation computer systems project
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 3-17

%A Kunio Murakami
%A Takeo Kakuta
%A Rikio Onai
%T Architectures and hardware systems:
parallel inference machine and knowledge base machine
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 18-36

%A Koichi Furukawa
%A Toshio Yokoi
%T Basic software system
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 37-57

%A Shunichi Uchida
%A Toshio Yokoi
%T Sequential inference machine: SIM - progress report
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 58-69

%A Toshio Yokoi
%A Shunichi Uchida
%Q ICOT Third Laboratory
%T Sequential inference machine: SIM - its programming and operating system
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 70-81

%A Alain Colmerauer
%T Equations and inequations on finite and infinite trees
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 85-99

%A Rod Burstall
%T Programming with modules as typed functional programming
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 103-112

%A Yuzuru Tanaka
%T MPDC: massive parallel architecture for very large databases
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 113-137

%A Daniel G. Bobrow
%T If Prolog is the answer, what is the question ?
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 138-145

%A D.R. Brough
%A Adrian Walker
%T Some practical properties of logic programming interpreters
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 149-156
%K loop detection

%A Masahiko Sato
%A Takafumi Sakurai
%T Qute: a functional language based on unification
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 157-165

%A Alan Bundy
%T Incidence calculus: a mechanism for probabilistic reasoning
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 166-174

%A Joxan Jaffar
%A Jean-Louis Lassez
%A Michael J. Maher
%T A theory of complete logic programs with equality
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 175-184

%A Atsushi Togashi
%A Shoichi Noguchi
%T A program transformation from equational programs into logic programs
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 185-194

%A Taisuke Sato
%A Hisao Tamaki
%T Transformational logic program synthesis
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 195-201

%A Alberto Martelli
%A Gianfranco Rossi
%T Efficient unification with infinite terms in logic programming
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 202-209

%A Norbert Heck
%A Jurgen Avenhaus
%T Automatic implementation of abstract data types
specified by the logic programming language
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 210-219

%A C.A.R. Hoare
%A A.W. Roscoe
%T Programs as executable predicates
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 220-228

%A Kazuhiro Fuchi
%T Logical derivation of a Prolog interpreter
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 229-234

%A Hiroto Yasuura
%T On parallel computational complexity of unification
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 235-243

%A David Scott Warren
%T Database updates in pure Prolog
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 244-253

%A Luis Farinas del\ Cerro
%A Ewa Orlowska
%T DAL: a logic for data analysis
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 254-261

%A Shimon Cohen
%T Multi-version structures in Prolog
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 265-274

%A Pentti Vataja
%A Esko Ukkonen
%T Finding temporary terms in Prolog programs
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 275-282

%A Luis Moniz Pereira
%A Roger Nasr
%T Delta-Prolog: a distributed logic programming language
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 283-291

%A Takashi Chilayama
%T Unique features of ESP
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 292-298

%A Keith Clark
%A Steve Gregory
%T Notes on systems programming in PARLOG
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 299-306

%A Yoav Shoham
%A Drew V. McDermott
%T Directed relations an inversion of Prolog programs
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 307-316

%A Kazunori Ueda
%A Takashi Chikayama
%T Efficient stream/array processing in logic programming languages
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 317-326

%A Hideyuki. Nakashima
%A Satoru Tomura
%A Kazunori Ueda
%T What is a variable in Prolog ?
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 327-332

%A Takashi Yokomori
%T A note on the set abstraction in logic programming language
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 333-340

%A Paul J. Voda
%A Benjamin Yu
%T RF-Maple: A logic programming language with functions, types and concurrency
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 341-347

%A Kenneth. M. Kahn
%A Mats Carlsson
%T The compilation of Prolog programs without the use of a Prolog compiler
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 348-355

%A Antonio Porto
%T Two-level Prolog
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 356-360

%A Mehmet Dincbas
%A Jean-Pierre Le\ Pape
%T Metacontrol of logic programs in METALOG
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 361-370

%A H. Diel
%T Concurrent data access architecture
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 373-382

%A Hajumi Mori
%A Keiko Mitsumoto
%A Tomoyuki Fujita
%A Satoshi Goto
%T Knowledge-based VLSI routing system - WIREX -
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 383-388

%A Norihisa Suzuki
%A Koichi Kubota
%A Takashi Aoki
%T Sword 32: a bytecode emulating microprocessor for object-oriented languages
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 389-397

%A Kazuo Taki
%A Minoru Yokota
%A Akira Yamamoto
%A Hiroshi Hishikawa
%A Shunichi Uchida
%A Hiroshi Nakashima
%A Akitoshi Mitsuishi
%T Hardware design and implementation
of the Personal Sequential Inference Machine (PSI)
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 398-409

%A Minoru Yokota
%A Akira Yamamoto
%A Kazuo Taki
%A Hiroshi Hishikawa
%A Shunichi Uchida
%A Katzuto Nakajima
%A Masaki Mitsui
%T A microprogrammed interpreter for the Personal Sequential Inference Machine
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 410-418

%A Hiroshi Sakai
%A Kazuhide Iwata
%A Shigeo Kamiya
%A Masaaki Abe
%A Akio Tanaka
%A Shigeki Shibayama
%A Kunio Murakami
%T Design and implementation of the relational database engine
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 419-426

%A Shigeki Shibayama
%A Takeo Kakuta
%A Nobuyoshi Miyazaki
%A Haruo Yokota
%A Kunio Murakami
%T Query processing flow on RDBM Delta's functionally-distributed architecture
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 427-435

%A Andy Lowry
%A Stephen Taylor
%A Salvatore J. Stolfo
%T LPS algorithms
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 436-448

%A Daniel P. Miranker
%T Performance estimates for the DADO machine: a comparison of TREAT and RETE
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 449-457

%A Ehud Shapiro
%T Systolic programming: a paradigm of parallel processing
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 458-470

%A Doug DeGroot
%T Restricted AND-parallelism
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 471-478

%A Tohru Moto-oka
%A Hidehiko Tanaka
%A Hitoshi Aida
%A Keiji Hirata
%A Tstutomu Maruyama
%T The architecture of a Parallel Inference Engine - PIE -
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 479-488

%A J.I. Kim
%A S.R. Maeng
%A J.W. Cho
%T A relational dataflow database machine based on hierarchical ring network
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 489-496

%A Werner Dilger
%A Hans-Albert Schneider
%T ASSIP-T. a theorem proving machine
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 497-506

%A Ryuzo Hasegawa
%A Makoto Amamiya
%T Parallel execution of logic programs based on dataflow concept
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 507-516

%A Lubomir Bic
%T A data-driven model for parallel interpretation of logic programs
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 517-523

%A Yoshinori Yamaguchi
%A Kenji Toda
%A Jayanta Herath
%A Toshitsugu Yuba
%T EM-3: a Lisp-based data-driven machine
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 524-532

%A David May
%A Roger Shepherd
%T The transputer implementation of occam
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 533-541

%A Naoyuki Tamura
%A Koichi Wada
%A Hideo Matsuda
%A Yukio Kaneda
%A Sadao Maekawa
%T Sequential Prolog machine PEK
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 542-550

%A Andrzej Ciepielewski
%A Seif Haridi
%T Execution of bagof on the OR-parallel token machine
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 551-560

%A Fumihiro Maruyama
%A Tamio Mano
%A Kazushi Hayashi
%A Taeko Kakuda
%A Nobuaki Kawato
%A Takao Uehara
%T Prolog-based expert system for logic design
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 563-571

%A Masahiro Fujita
%A Hidehiko Tanaka
%A Tohru Moto-oka
%T Specifying hardware in temporal logic
& efficient synthesis of state-diagrams using Prolog
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 572-581

%A Hiroshi Motoda
%A Naoyuki Yamada
%A Kenichi Yoshida
%T A knowledge based system for plant diagnosis
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 582-588

%A Michael D. Poe
%T Control of heuristic search
in a Prolog-based microcode synthesis expert system
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 589-595

%A Dan D. Kogan
%A Michael J. Freiling
%T SIDUR - a structuring formalism for knowledge information processing systems
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 596-605

%A Fumio Mizoguchi
%A Hayato Ohwada
%A Yoshinori Katayama
%T LOOKS: knowledge representation system
for designing expert systems in a logic programming framework
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 606-612

%A Koichi Furukawa
%A Akikazu Takeuchi
%A Susumu Kunifuji
%A Hideki Yasukawa
%A Masaru Ohki
%A Kazunori Ueda
%T Mandala: a logic based knowledge programming system
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 613-622

%A Mario Tokoro
%A Yutaka Ishikawa
%T An object-oriented approach to knowledge systems
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 623-631

%A Gian Piero Zarri
%T Intelligent information retrieval:
an interesting application area for the new generation computer systems
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 632-642

%A Yutaka Ogawa
%A Kenichi Shima
%A Toshiharu Sugawara
%A Shigeru Takagi
%T Knowledge representation and inference environment:
KRINE, - an approach to integration of frame, Prolog and graphics
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 643-651

%A Brigitte Grau
%T Stalking "coherence" in the topical jungle
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 652-659

%A Kuniaki Uehara
%A Ryo Ochitani
%A Osamu Mikami
%A Junichi Toyoda
%T Steps toward an actor-oriented integrated parser
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 660-668

%A Veronica Dahl
%T More on gapping grammars
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 669-677

%A Harvey Abramson
%T Definite clause translation grammars
and the logical specification of data types as unambiguous context free grammars
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 678-685

%A Jordan B. Pollack
%A David L. Waltz
%T Parallel interpretation of natural language
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 686-691

%A Henry J. Kohoutek
%T Quality issues in new generation computing
%J Proceedings of the 1984 International Conference on
Fifth Generation Computer Systems
%C Tokyo, Japan
%D November 1984
%K fgcs fgcs84 logic
%P 695-702