FGCS'88 PROCEEDINGS |
|
| COVER |
|
Table of Contents
Volume 3
|
|
ARCHITECTURE |
|
| SUBMITTED PAPERS |
|
| Parallel Prolog Systems |
|
The Aurora Or-Parallel Prolog System |
819 |
E. Lusk, R. Butler, T. Disz, R. Olson, R. Overbeek, R. Stevens, D.
H. D, Warren,
A. Calderwood, P. Szeredi, S. Haridi, P. Brand, M. Carlsson, A. Ciepielewski
and Hausman |
|
| Cut and Side-Effects in Or-Parallel Prolog |
831 |
| B. Hausman, A. Ciepielewski and Calderwood |
|
| The Parallel ECRC Prolog System PEPSys: An Overview and Evaluation Results |
841 |
U. Baron, J. Chassin de Kergommeaux, M. Hailperin, M. Ratcliffe,
P. Robert, J-C. Syre
and H. Westphal |
|
| Performance of AND-Parallel Execution of Logic Programs on a Shared-Memory
Multiprocessor |
851 |
| Y-J. Lin and V. Kumar |
|
| |
|
| Parallel Architectures(1) |
|
| Design of an Efficient Dataflow Architecture Without Data Flow |
861 |
| G. R. Gao, R. Tio and H. H. J. Hum |
|
| Cell and Ensemble Architecture for the Rewrite Rule Machine |
869 |
| S. Leinwand, J. A. Goguen and T. Winkler |
|
| A VLSI Building Block for Massively Parallel Computation |
879 |
| A. Asthana, B. Mathews, C.J. Briggs and M. R. Cravatts |
|
| Multiport Memory Architectures |
887 |
| Y. Tanaka |
|
| |
|
| Parallel Architectures(2) |
|
| Unification-Based Query Language for Relational Knowledge Bases and Its
Parallel Execution |
896 |
| H. Monoi, Y. Morita, H. Itoh, T. Takewaki, H. Sakai and S. Shibayama |
|
| A New External Reference Management and Distributed Unification for KL1 |
904 |
| N. Ichiyoshi, K. Rokusawa, K. Nakajima and Inamura |
|
| Parallelism in the PESA I Multiprocessor |
914 |
| F. Schreiner and Zimmermann |
|
| |
|
| Implementation Techniques for Inference Machines |
|
| A Light-Weight Prolog Garbage Collector |
922 |
| H. Touati and T. Hama |
|
| A Wide Instruction Word Architecture for Parallel Execution of Logic Programs
Coded in BSL |
931 |
| K. Ebcioglu and M. Kumar |
|
| |
|
| INVITED PAPER |
|
| Data Diffusion Machine - A Scalable Shared Virtual Memory Multiprocessor |
943 |
| D. H. D. Warren and S. Haridi |
|
| |
|
| SUBMITTED PAPERS |
|
| Parallel Inference Machines |
|
| Macro-Call Instruction for the Efficient KL1 Implementation on PIM |
953 |
| T. Shinogi, K. Kumon, A. Hattori, A. Goto, Y. Kimura and T. Chikayama |
|
| CARMEL-2: A Second Generation VLSI Architecture for Flat Concurrent Prolog |
962 |
| A. Harsat and R. Ginosar |
|
| Multi-Context Processing and Data Balancing Mechanism of the Parallel Inference
Machine PIE64 |
970 |
| H. Koike and Tanaka |
|
| A Load Balancing Mechanism for Large Scale Multiprocessor Systems and Its
Implementation |
978 |
| Y. Takeda, H. Nakashima, K. Masuda, T. Chikayama and Taki |
|
| |
|
| Scheduling for Parallel Machines |
|
| Load-Dispatching Strategy on Parallel Inference Machines |
987 |
| M. Sugie, M. Yoneyama, N. Ido and T. Tarui |
|
| Compile-Time Granularity Analysis for Parallel Logic Programming Languages |
994 |
| E. Tick |
|
| A Highly Parallel Chess Program |
1001 |
| E. W. Felten and S. W. Otto |
|
| |
|
| SPECIAL SESSION |
|
| Parallelism in AI |
|
| Artifitial Intelligence Related Research on the Connection Machine |
1010 |
| D. L. Waltz and C. Stanfill |
|
| Artificial Intelligence and Neural Computing |
1025 |
| Y. Anzai |
|
| |
|
| SUBMITTED PAPERS |
|
| Implementation Model for Parallel Logic Languages |
|
| Massively Parallel Implementation of Flat GHC on the Connection Machine |
1031 |
| M. Nilsson and H. Tanaka |
|
| KL1 in Condition Graphs on a Connection Machine |
1041 |
| J. Barklund, N. Hagner and M. Wafin |
|
| A Parallel Implementation of GHC |
1051 |
| J. R. W. Glauert and G. A. Papadopoulos |
|
| LogDf: A Data-Driven Abstract Machine Model for Parallel Execution of Logic
Programs |
1059 |
| P. Biswas and C-C. Tseng |
|
| |
|
APPLICATIONS |
|
| SUBMITTED PAPERS |
|
| Graphics and Music |
|
| Toward Intelligent Interfaces for Graphic Design Applications |
1073 |
| H. Liberman |
|
| How to Realize Jazz Feelings - A Logic Programming Approach - |
1081 |
| K. Hirata, T. Aoyagi and H. Konaka |
|
| |
|
| INVITED PAPER |
|
| Multiple Reasoning Styles in Logic Programming |
1089 |
| H. Gallaire |
|
| |
|
| SUBMITTED PAPERS |
|
| Natural Language (1) |
|
| Direct Memory Access Translation for Speech Input - A Massively Parallel
Network of Episodic/ Thematic and Phonological Memory |
1100 |
| H. Tomabechi, T. Mitamura and Tomita |
|
| Overview of the Core Language Engine |
1108 |
| H. Alshawi, D. M. Carter, J. van Eijck, R. C. Moore, D. B. Moran
and S. G. Pulman |
|
| Projections and Semantic Description in Lexical-Functional Grammar |
1116 |
| P-K. Halvorsen and R. M. Kaplan |
|
| ADAM: An Extension of Situation Semantics for Practical Use |
1123 |
| C. Numaoka and M. Tokoro |
|
| |
|
| Natuaral Language (2) |
|
| Preference Judgement in Comprehending Conversational Sentences Using Multi-Paradigm
World Knowledge |
1133 |
| T. Ukita, K. Sumita, S. Kinoshita, H. Sano and S. Amano |
|
| A Multi-Target Machine Translation System |
1141 |
| M. C. McCord |
|
| The Design of Post-Analysis in the JETS Japanese/English Machine Translation
System |
1150 |
| D. E. Johnson |
|
| |
|
| Knowledge Representation |
|
| The Knowledge Dictionary: A Relational Tool for the Maintenance of Expert
Systems |
1159 |
| B. Jansen and P. Compton |
|
| Knowledge Representation with Abstractive Layers for Information Retrieval |
1168 |
| T. Koguchi, H. Kondo, M. Oba and H. Itoh |
|
| CHEMILOG - A Logic Programming Language/System for Chemical Information
Processing - |
1176 |
| T. Akutsu and S. Ohsuga |
|
| |
|
| Qualitative Reasoning |
|
| A Symbolic Framework for Qualitative Kinematics |
1184 |
| B. Faltings |
|
| An Examination for Applicability of FGHC: The Experience of Designing Qualitative
Reasoning System |
1193 |
| H. Ohwada and F. Mizoguchi |
|
| Methods for Partition of Target Systems in Qualitative Reasoning |
1201 |
| K. Sakane, M. Ohki, J. Sawamoto and Y. Fujii |
|
| Sphinx - A Hybrid Knowledge Representation System |
1211 |
| S. Han and J. W. Cho |
|
| |
|
| SPECIAL SESSION |
|
| New Paradigms of Knowledge Acquisition |
|
| Knowledge Acquisition Techniques and Tools: Current Research Strategies
and Approaches |
1221 |
| J. H. Boose |
|
| Comments on Knowledge Acquisition and Learning |
1236 |
| S. Kunifuji (responder) |
|
| When Will Machines Learn ? |
1239 |
| D. B. Lenat |
|
| A Next-Generation Knowledge-Base from the Viewpoint of Extending Logic
Framework |
1246 |
| M. Ishizuka (responder) |
|
| |
|
| SIBMITTED PAPER |
|
| Knowledge Acquisition |
|
| Knowledge Acquisition by Observation |
1250 |
| H. Taki |
|
| Validation in a Knowledge Acquisition System with Multiple Experts |
1259 |
| M. L. G. Shaw |
|
| Applying Explanation-Based Generalization to Natural-Language Processing |
1267 |
| M. Rayner |
|
| |
|
| Knowledge Maintenance |
|
| Problem Solving with Hypothetical Reasoning |
1275 |
| K. Inoue |
|
| Representing Knowledge for Logic-Based Diagnosis |
1282 |
| D. Poole |
|
| A Human Strategy-Based Troubleshooting Expert System for Switching Systems |
1291 |
| S. Wada, Y. Koseki and T. Nishida |
|
| co-LODEX: A Cooperative Expert System for Logic Design |
1299 |
| F. Maruyama, T. Kakuda, Y. Matsunaga, Y. Minoda, S. Sawada and N.
Kawato |
|
| |
|
| AUTHORS INDEX |
i |
