FGCS'92 PROCEEDINGS
COVER
CONTENTS OF VOLUME 2
FOUNDATIONS
Reasoning about Programs
Logic Program Synthesis from First Order Logic Specifications	463
Tadashi Kawamura
Sound and Complete Partial Deduction with Unfolding Based on Well-Founded Measures	473
Bern Martens, Danny De Schreye and Maurice Bruynooghe
A Framework for Analyzing the Termination of Definite Logic Programs with respect to Call Patterns	481
Danny De Schreye, Kristof Verschaetse and Maurice Bruynooghe
Automatic Verification of GHC-Programs: Termination	489
Lutz Plumer
Analogy
Analogical Generalization	497
Takenao Ohkawa, Toshiaki Mori, Noboru Babaguchi and Yoshikazu Tezuka
Logical Structure of Analogy: Preliminary Report	505
Jun Arima
Abduction (1)
Consistency-Based and Abductive Diagnoses as Generalised Stable Models	514
Chris Preist and Kave Eshghi
A Forward-Chaining Hypothetical Reasoner Based on Upside-Down Meta-Interpretation	522
Yoshihiko Ohta and Katsumi Inoue
Logic Programming, Abduction and Probability	530
David Poole
Abduction (2)
Abduction in Logic Programming with Equality	539
P. T. Cox, E. Knill and T. Pietrzykowski
Hypothetico-Deductive Reasoning	546
Chris Evans and Antonios C. Kakas
Acyclic Disjunctive Logic Programs with Abductive Procedure as Proof Procedure	555
Phan Minh Dung
Semantics of Logic Programs
Adding Closed World Assumptions to Well Founded Semantics	562
Luis Moniz Pereira, Jose J. Alferes and Joaquim N. Aparicio
Contributions to the Semantics of Open Logic Programs	570
A. Bossi, M. Gabbrielli, G. Levi and M. C. Meo
A Generalized Semantics for Constraint Logic Programs	581
Roberto Giacobazzi, Saumya K. Debray and Giorgio Levi
Extended Well-Founded Semantics for Paraconsistent Logic Programs	592
Chiaki Sakuma
Invited Paper
Formalizing Database Evolution in the Situation Calculus	600
Raymond Reiter
Machine Learning
Learning Missing Clauses by Inverse Resolution	610
Peter Idestam-Almquist
A Machine Discovery from Amino Acid Sequences by Decision Trees over Regular Patterns	618
Setsuo Arikawa, Satoru Kuhara, Satoru Miyano, Yasuhito Mukouchi, Ayumi Shinohara and Takeshi Shinohara
Efficient Induction of Version Spaces through Constrained Language Shift	626
Claudio Carpineto
Theorem Proving
Theorem Proving Engine and Strategy Description Language	634
Massimo Bruschi
A New Algorithm for Subsumption Test	643
Byeong Man Kim, Sang Ho Lee, Seung Ryoul Maeng and Jung Wan Cho
On The Duality of Abduction and Model Generation	650
Marc Denecker and Danny De Schreye
Functional Programming and Constructive Logic
Defining Concurrent Processes Constructively	658
Yukihide Takayama
Realizability Interpretation of Coinductive Definitions and Program Synthesis with Streams	666
Makoto Tatsuta
MLOG: A Strongly Typed Confluent Functional Language with Logical Variables	674
Vincent Poirriez
A New Perspective on Integrating Functional and Logic Languages	682
John Darlington, Y1-ke Guo and Helen Pull
Temporal Reasoning
A Mechanism for Reasoning about Time and Belief	694
Hideki Isozaki and Yoav Shoham
Dealing with Time Granularity in the Event Calculus	702
Angelo Montanari, Enrico Maim, Emanuele Ciapessoni and Elena Ratto
ARCHITECTURES & SOFTWARE
Hardware Architecture and Evaluation
UNIRED II: The High Performance Inference Processor for the Parallel Inference Machine PIE64	715
Kentaro Shimada, Hanpei Koike and Hidehiko Tanaka
Hardware Implementation of Dynamic Load Balancing in the Parallel Inference Machine PIM/c	723
T. Nakagawa, N. Ido, T. Tarui, M. Asaie and M. Sugie
Evaluation of the EM-4 Highly Parallel Computer using a Game Tree Searching Problem	731
Yuetsu Kodama, Shuichi Sakai and Yoshinori Yamaguchi
OR-Parallel Speedups in a Knowledge Based System: on Muse and Aurora	739
Khayri A. M. Ali and Roland Karlsson
Invited Paper
A Universal Parallel Computer Architecture	746
William J. Dally
AND-Parallelism and OR-Parallelism
An Automatic Translation Scheme from Prolog to the Andorra Kernel Language	759
Francisco Bueno and Manuel Hermenegildo
Recomputation based Implementations of And-Or Parallel Prolog	770
Gopal Gupta and Manual V. Hermenegildo
Estimating the Inherent Parallelism in Prolog Programs	783
David C. Sehr and Laxmikant V. Kale
Implementation Techniques
Implementing Streams on Parallel Machines with Distributed Memory	791
koichi Konishi, Tsutomu Maruyama, Akihiko Konagaya, Kaoru Yoshida and Takashi Chikayama
Message-Oriented Parallel Implementation of Moded Flat GHC	799
Kazunori Ueda and Masao Morita
Towards an Efficient Compile-Time Granularity Analysis Algorithm	809
X. Zhong, E. Tick, S. Duvvuru, L. Hansen, A. V. S. Sastry and R. Sundararajan
Providing Iteration and Concurrency in Logic Programs through Bounded Quantifications	817
Jonas Barklund and Hakan Millroth
Extension of Logic Programming
An Implementation for a Higher Level Logic Programming Language	825
Anthony S. K. Cheng and Ross A. Paterson
Implementing Prolog Extensions: a Parallel Inference Machine	833
Jean-Marc Alliot, Andreas Herzig and Mamede Lima-Marques
Parallel Constraint Solving in Andorra-I	843
Steve Gregory and Rong Yang
A Parallel Execution of Functional Logic Language with Lazy Evaluation	851
Jong H. Nang, D. W. Shin, S. R. Maeng and Jung W. Cho
Task Scheduling and Load Analysis
Self-Organizing Task Scheduling for Parallel Execution of Logic Programs	859
Zheng Lin
Asymptotic Load Balance of Distributed Hash Tables	869
Nobuyuki Ichiyoshi and Kouichi Kimura
Concurrency
Constructing and Collapsing a Reflective Tower in Reflective Guarded Horn Clauses	877
Jiro Tanaka and Fumio Matono
CHARM: Concurrency and Hiding in an Abstract Rewriting Machine	887
Andrea Corradini, Ugo Montanari and Francesca Rossi
Less Abstract Semantics for Abstract Interpretation of FGHC Programs	897
Kenji Horiuchi
Databases and Distributed Systems
Parallel Optimization and Execution of Large Join Queries	907
Eileen Tien Lin, Edward Omiecinski and Sudhakar Yalamanchili
Towards an Efficient Evaluation of Recursive Aggregates in Deductive Databases	915
Alexandre Lefebvre
A Distributed Programming Environment based on Logic Tuple Spaces	926
Paolo Ciancarini and David Gelernter
Programming Environment
Visualizing Parallel Logic Programs with VISTA	934
E. Tick
Concurrent Constraint Programs to Parse and Animate Pictures of Concurrent Constraint Programs	943
Kenneth M. Kahn
Logic Programs with Inheritance	951
Yaron Goldberg, William Silverman and Ehud Shapiro
Implementing a Process Oriented Debugger with Reflection and Program Transformation	961
Munenori Maeda
Production Systems
A New Parallelization Method for Production Systems	969
E. Bahr, F. Barachini and H. Mistelberger
Performance Evaluation of the Multiple Root Node Approach to the Rete Pattern Matcher for Production Systems	977
Andrew Sohn and Jean-Luc Gaudiot
APPLICATIONS & SOCIAL IMPACTS
Constraint Logic Programming
Output in CLP(R)	987
Joxan Jaffar, Michael J. Maher, Peter J. Stuckey and Roland H. C. Yap
Adapting CLP(R) to Floating-Point Arithmetic	996
J. H. M. Lee and M. H. van Emden
Domain Independent Propagation	1004
Thierry Le Provost and Mark Wallace
A Feature-Based Constraint System for Logic Programming with Entailment	1012
Hassan Ait-Kaci, Andreas Podelski and Gert Smolka
Qualitative Reasoning
Range Determination of Design Parameters by Qualitative Reasoning and its Application to Electronic Circuits	1022
Masaru Ohki, Eiji Oohira, Hiroshi Shinjo and Masahiro Abe
Logical Implementation of Dynamical Models	1030
Yoshiteru Ishida
Knowledge Representation
The CLASSIC Knowledge Representation System or, KL-ONE: The Next Generation	1036
Ronald J. Brachman, Alexander Borgida, Deborah L. McGuinness, Peter F. Patel-Schneider and Lori Alperin Resnick
Morphe: A Constraint-Based Object-Oriented Language Supporting Situated Knowledge	1044
Shigeru Watari, Yasuaki Honda and Mario Tokoro
On the Evolution of Objects in a Logic Programming Framework	1052
F. Nihan Kesim and Marek Sergot
Panel Discussion: Future Direction of Next Generation Applications
The Panel on a Future Direction of New Generation Applications	1061
Fimio Mizoguchi
Knowledge Representation Theory Meets Reality: Some Brief Lessons from the CLASSIC Experience	1063
Ronald J. Brachman
Reasoning with Constraints	1066
Catherine Lassez
Developments in Inductive Logic Programming	1071
Stephen Muggleton
Towards the General-Purpose Parallel Processing System	1074
Kazuo Taki
Knowledge-Based Systems
A Hybrid Reasoning System for Explaining Mistakes in Chinese Writing	1076
Jacqueline Castaing
Automatic Generation of a Domain Specific Inference Program for Building a Knowledge Processing System	1084
Takayasu Kasahara, Naoyuki Yamada, Yasuhiro Kobayashi, Katsuyuki Yoshino and Kikuo Yoshimura
Knowledge-Based Functional Testing for Large Software Systems	1091
Uwe Nonnenmann and John K. Eddy
A Diagnostic and Control Expert System Based on a Plant Model	1099
Junzo Suzuki, Chiho Konuma, Mikito Iwamasa, Naomichi Sueda, Shigeru Mochiji and Akimoto Kamiya
Legal Reasoning
A Semiformal Metatheory for Fragmentary and Multilayered Knowledge as an Interactive Metalogic Program	1107
Andreas Hamfelt and Ake Hansson
HELIC-II: A Legal Reasoning System on the Parallel Inference Machine	1115
Katsumi Nitta, Yoshihisa Ohtake, Shigeru Maeda, Masayuki Ono, Hiroshi Ohsaki and Kiyokazu Sakane
Natural Language Processing
Chart Parsers as Proof Procedures for Fixed-Mode Logic Program	1125
David A. Rosenblueth
A Discourse Structure Analyzer for Japanese Text	1133
K. Sumita, K. Ono, T. Chino, T. Ukita and S. Amano
Dynamics of Symbol Systems: An Integrated Architecture of Cognition	1141
Koiti Hasida
Knowledge Support Systems
Mental Ergonomics as Basis for New-Generation Computer Systems	1149
M. H. van Emden
An Integrated Knowledge Support System	1157
B. R. Gaines, M. Linster and M. L. G. Shaw
Modeling the Generational Infrastructure of Information Technology	1165
B. R. Gaines
Parallel Applications
Co-HLEX: Co-operative Recursive LSI Layout Problem Solver on Japan's Fifth Generation Parallel Inference Machine	1173
Toshinori Watanabe and Keiko Komatsu
A Cooperative Logic Design Expert System on a Multiprocessor	1181
Yoriko Minoda, Shuho Sawada, Yuka Takizawa, Fumihiro Maruyama and Nobuaki Kawato
A Parallel Inductive Learning Algorithm for Adaptive Diagnosis	1190
Yoichiro Nakakuki, Yoshiyuki Koseki and Midori Tanaka
Parallel Logic Simulator based on Time Warp and its Evaluation	1198
Yukinori Matsumoto and Kazuo Taki
Invited Paper
Applications of Machine Learning: Towards Knowledge Synthesis	1207
Ivan Bratko
Author Index	i