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 |