Abstract is missing.
- Launching the New EraKazuhiro Fuchi. 3-8
- Overview of the Ten Years of the FGSC ProjectTakashi Kurozumi. 9-19
- Summary of Basic Research Activities of the FGCS ProjectKoichi Furukawa. 20-32
- Summary of the Parallel Inference Machine and its Basic SoftwareShunichi Uchida. 33-49
- Parallel Inference Machine PIMKazuo Taki. 50-72
- Operating System PIMOS and Kernel Language KL1Takashi Chikayama. 73-88
- Towards an Integrated Knowledge-Base Management System: Overview of R&D on Databases and Knowledge-Bases in the FGCS ProjectKazumasa Yokota, Hideki Yasukawa. 89-112
- Constraint Logic Programming System: CAL, GDCC and Their Constraint SolversAkira Aiba, Ryuzo Hasegawa. 113-131
- Natural Language Processing SoftwareYuichi Tanaka. 155-165
- Experimental Parallel Inference SoftwareKatsumi Nitta, Kazuo Taki, Nobuyuki Ichiyoshi. 166-190
- Algorithmic & Knowledge Based Methods - Do they Unify ? With some Programme Remarks for UNU/IISTDines Bjørner, Jørgen Fischer Nilsson. 191-198
- The Role of Logic in Computer Science and Artificial IntelligenceJohn Alan Robinson. 199-210
- Programs are PredicatesC. A. R. Hoare. 211-218
- Panel: A Springboard for Information Processing in the 21st CenturyRobert A. Kowalski. 219
- Finding the Best Route for Logic Programming - Panel Position PaperHervé Gallaire. 220-222
- The Role of Logic Programming in the 21st Century - Panel Position PaperRoss A. Overbeek. 223-224
- Object-Based Versus Logic Programming - Panel Position PaperPeter Wegner. 225-229
- Concurrent Logic Programming as a Basis for Large-Scale Knowledge Information Processing - Panel Position PaperKoichi Furukawa. 230-231
- Knowledge Information Processing in the 21st Century - Panel Position PaperShunichi Uchida. 232-234
- LSI-CAD Programs on Parallel Inference MachineHiroshi Date, Yukinori Matsumoto, Kouichi Kimura, Kazuo Taki, Hiroo Kato, Masahiro Hoshi. 237-247
- Parallel Database Management System: Kappa-PMoto Kawamura, Hiroyuki Sato, Kazutomo Naganuma, Kazumasa Yokota. 248-256
- Objects, Properties, and Modules in QUIXOTEHideki Yasukawa, Hiroshi Tsuda, Kazumasa Yokota. 257-268
- Resource Management Mechanism of PIMOSHiroshi Yashiro, Tetsuro Fujise, Takashi Chikayama, Masahiro Matsuo, Atsushi Hori, Kumiko Wada. 269-277
- The Design of the PIMOS File SystemFumihide Itoh, Takashi Chikayama, Takeshi Mori, Masa-aki Sato, Tatsuo Kato, Tadashi Sato. 278-285
- Paragraph: A Graphical Tuning Tool for Multiprocessor SystemsSeiichi Aikawa, Mayumi Kamiko, Hideyuki Kubo, Fumiko Matsuzawa, Takashi Chikayama. 286-293
- Protein Sequence Analysis by Parallel Inference MachineMasato Ishikawa, Masaki Hoshida, Makoto Hirosawa, Tomoyuki Toya, Kentaro Onizuka, Katsumi Nitta. 294-299
- Folding Simulation using Temperature Parallel Simulated AnnealingMakoto Hirosawa, Richard Feldmann, David Rawn, Masato Ishikawa, Masaki Hoshida, George Michaels. 300-306
- Toward a Human Genome EncyclopediaKaoru Yoshida, Cassandra Smith, Toni Kazic, George Michaels, Ronald Taylor, David Zawada, Ray Hagstrom, Ross A. Overbeek. 307-320
- Integrated System for Protein Information ProcessingHidetoshi Tanaka. 321-329
- Parallel Constraint Logic Programming Language GDCC and its Parallel Constraint SolversSatoshi Terasaki, David J. Hawley, Hiroyuki Sawada, Ken Satoh, Satoshi Menju, Taro Kawagishi, Noboru Iwayama, Akira Aiba. 330-346
- cu-Prolog for Constraint-Based GrammarHiroshi Tsuda. 347-356
- Model Generation Theorem Provers on a Parallel Inference MachineMasayuki Fujita, Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita. 357-375
- On a Grammar Formalism, Knowledge Bases and Tools for Natural Language Processing in Logic ProgrammingHiroshi Sano, Fumiyo Fukumoto. 376-384
- Argument Text Generation System (Dulcinea)Teruo Ikeda, Akira Kotani, Kaoru Hagiwara, Yukihiro Kubo. 385-394
- Situated Inference of Temporal InformationSatoshi Tojo, Hideki Yasukawa. 395-404
- A Parallel Cooperation Model for Natural Language ProcessingShigeichiro Yamasaki, Michiko Turuta, Ikuko Nagasawa, Kenji Sugiyama. 405-413
- Architecture and Implementation of PIM/pKouichi Kumon, Akira Asato, Susumu Arai, Tsuyoshi Shinogi, Akira Hattori, Hiroyoshi Hatazawa, Kiyoshi Hirano. 414-424
- Architecture and Implementation of PIM/mHiroshi Nakashima, Katsuto Nakajima, Seiichi Kondo, Yasutaka Takeda, Yu Inamura, Satoshi Onishi, Kanae Masuda. 425-435
- Parallel and Distributed Implementation of Concurrent Logic Programming Language KL1Keiji Hirata, Reki Yamamoto, Akira Imai, Hideo Kawai, Kiyoshi Hirano, Tsuneyoshi Takagi, Kazuo Taki, Akihiko Nakase, Kazuaki Rokusawa. 436-459
- Logic Program Synthesis from First Order Logic SpecificationsTadashi Kawamura. 463-472
- Sound and Complete Partial Deduction with Unfolding Based on Well-Founded MeasuresBern Martens, Danny De Schreye, Maurice Bruynooghe. 473-480
- A Framework for Analyzing the Termination of Definite Logic Programs with respect to Call PatternsDanny De Schreye, Kristof Verschaetse, Maurice Bruynooghe. 481-488
- Automatic Verification of GHC-Programs: TerminationLutz Plümer. 489-496
- Analogical GeneralizationTakenao Ohkawa, Toshiaki Mori, Noboru Babaguchi, Yoshikazu Tezuka. 497-504
- Logical Structure of Analogy: Preliminary ReportJun Arima. 505-513
- Consistency-Based and Abductive Diagnoses as Generalised Stable ModelsChris Preist, Kave Eshghi. 514-521
- A Forward-Chaining Hypothetical Reasoner Based on Upside-Down Meta-InterpretationYoshihiko Ohta, Katsumi Inoue. 522-529
- Logic Programming, Abduction and ProbabilityDavid Poole. 530-538
- Abduction in Logic Programming with EqualityPhilip T. Cox, Emanuel Knill, Tomasz Pietrzykowski. 539-545
- Hypothetico-deductive ReasoningChris Evans, Antonis C. Kakas. 546-554
- Acyclic Disjunctive Logic Programs with Abductive Procedures as Proof ProcedurePhan Minh Dung. 555-561
- Adding Closed World Assumptions to Well Founded SemanticsLuís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício. 562-569
- Contributions to the Semantics of Open Logic ProgramsAnnalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo. 570-580
- A Generalized Semantics for Constraint Logic ProgramsRoberto Giacobazzi, Saumya K. Debray, Giorgio Levi. 581-591
- Extended Well-Founded Semantics for Paraconsistent Logic ProgramsChiaki Sakama. 592-599
- Formalizing Database Evolution in the Situation CalculusRaymond Reiter. 600-609
- Learning Missing Clauses by Inverse ResolutionPeter Idestam-Almquist. 610-617
- A Machine Discovery from Amino Acid Sequences by Decision Trees over Regular PatternsSetsuo Arikawa, Satoru Kuhara, Satoru Miyano, Yasuhito Mukouchi, Ayumi Shinohara, Takeshi Shinohara. 618-625
- Efficient Induction of Version Spaces Through Constrained Language ShiftClaudio Carpineto. 626-633
- Theorem Proving Engine and Strategy Description LanguageMassimo Bruschi. 634-642
- A New Algorithm for Subsumption TestByeong Man Kim, Sang Ho Lee, Seung Ryoul Maeng, Jung Wan Cho. 643-649
- On the Duality of Abduction and Model GenerationMarc Denecker, Danny De Schreye. 650-657
- Defining Concurrent Processes ConstructivelyYukihide Takayama. 658-665
- MLOG: A Strongly Typed Confluent Functional Language with Logical VariablesVincent Poirriez. 674-681
- A New Perspective on Integrating Functional and Logic LanguagesJohn Darlington, Yike Guo, Helen Pull. 682-693
- A Mechanism for Reasoning about Time and BeliefHideki Isozaki, Yoav Shoham. 694-701
- Dealing with Time Granularity in the Event CalculusAngelo Montanari, Enrico Maim, Emanuele Ciapessoni, Elena Ratto. 702-712
- UNIRED II: The High Performance Inference Processor for the Parallel Inference Machine PIE64Kentaro Shimada, Hanpei Koike, Hidehiko Tanaka. 715-722
- Hardware Implementation of Dynamic Load Balancing in the Parallel Inference Machine PIM/cTakayuki Nakagawa, Noriyasu Ido, Toshiaki Tarui, Machiko Asaie, Mamoru Sugie. 723-730
- Evaluation of the EM-4 Highly Parallel Computer using a Game Tree Searching ProblemYuetsu Kodama, Shuichi Sakai, Yoshinori Yamaguchi. 731-738
- OR-Parallel Speedups in a Knowledge Based System: on Muse and AuroraKhayri A. M. Ali, Roland Karlsson. 739-745
- A Universal Parallel Computer ArchitectureWilliam J. Dally. 746-758
- An Automatic Translation Scheme from Prolog to the Andorra Kernel LanguageFrancisco Bueno, Manuel V. Hermenegildo. 759-769
- Recomputation based Implementations of And-Or Parallel PrologGopal Gupta, Manuel V. Hermenegildo. 770-782
- Estimating the Ingerent Parallelism in Prolog ProgramsDavid C. Sehr, Laxmikant V. Kalé. 783-790
- Implementing Streams on Parallel Machines with Distributed MemoryKoichi Konishi, Tsutomu Maruyama, Akihiko Konagaya, Kaoru Yoshida, Takashi Chikayama. 791-798
- Message-Oriented Parallel Implementation of Moded Flat GHCKazunori Ueda, Masao Morita. 799-808
- Towards an Efficient Compile-Time Granularity Analysis AlgorithmX. Zhong, Evan Tick, S. Duvvuru, L. Hansen, A. V. S. Sastry, R. Sundararajan. 809-816
- Providing Iteration and concurrency in Logic Programs Through Bounded QuantificationsJonas Barklund, Håkan Millroth. 817-824
- An Implementation for a Higher Level Logic Programming LanguageAnthony S. K. Cheng, Ross A. Paterson. 825-832
- Implementing Prolog Extensions: a Parallel Inference MachineJean-Marc Alliot, Andreas Herzig, Mamede Lima-Marques. 833-842
- Parallel Constraint Solving in Andorra-ISteve Gregory, Rong Yang. 843-850
- A Parallel Execution of Functional Logic Language with Lazy EvaluationJong H. Nang, D. W. Shin, Seungryul R. Maeng, Jung Wan Cho. 851-858
- Self-Organizing Task Scheduling for Parallel Execution of Logic ProgramsZheng Lin. 859-868
- Asymptotic Load Balance of Distributed Hash TablesNobuyuki Ichiyoshi, Kouichi Kimura. 869-876
- Constructing and Collapsing a Reflective Tower in Reflective Guarded Horn ClausesJiro Tanaka, Fumio Matono. 877-886
- SHARM: Concurrency and Hiding in an Abstract Rewriting MachineAndrea Corradini, Ugo Montanari, Francesca Rossi. 887-896
- Less Abstract Semantics for Abstract Interpretation of FGHC ProgramsKenji Horiuchi. 897-906
- Parallel Optimization and Execution of Large Join QueriesEileen Tien Lin, Edward Omiecinski, Sudhakar Yalamanchili. 907-914
- Towards an Efficient Evaluation of Recursive Aggregates in Deductive DatabasesAlexandre Lefebvre. 915-925
- A Distributed Programming Environment based on Logic Tuple SpacesPaolo Ciancarini, David Gelernter. 926-933
- Visualizing Parallel Logic Programs with VISTAEvan Tick. 934-942
- Concurrent Constraint Programs to Parse and Animate Pictures of Concurrent Constraint ProgramsKenneth M. Kahn. 943-950
- Logic Programs with InheritanceYaron Goldberg, William Silverman, Ehud Y. Shapiro. 951-960
- Implementing a Process Oriented Debugger with Reflection and Program TransformationMunenori Maeda. 961-968
- A New Parallelization Method for Production SystemsE. Bahr, Franz Barachini, Hans Mistelberger. 969-976
- Performance Evaluation of the Multiple Root Node Approach to the Rete Pattern Matcher for Production SystemsAndrew Sohn, Jean-Luc Gaudiot. 977-984
- Output in CLPJoxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap. 987-995
- A Feature-Based Constraint System for Logic Programming with EntailmentHassan Aït-Kaci, Andreas Podelski, Gert Smolka. 1012-1021
- Range Determinationof Design Parameters by Qualitative Reasoning and its Application to Electronic CircuitsMasaru Ohki, Eiji Oohira, Hiroshi Shinjo, Masahiro Abe. 1022-1029
- Logical Implementation of Dynamical ModelsYoshiteru Ishida. 1030-1035
- The CLASSIC Knowledge Representation System or, KL-ONE: The Next GenerationRonald J. Brachman, Alexander Borgida, Deborah L. McGuinness, Peter F. Patel-Schneider, Lori Alperin Resnick. 1036-1043
- Morphe: A Constraint-Based Object-Oriented Language Supporting Situated KnowledgeShigeru Watari, Yasuaki Honda, Mario Tokoro. 1044-1051
- On the Evolution of Objects in a Logic Programming FrameworkF. Nihan Kesim, Marek J. Sergot. 1052-1060
- The Panel on A Future Direction of New Generation ApplicationsFumio Mizoguchi. 1061-1062
- Knowledge Representation Theory Meets Reality: Some Brief Lessons from the CLASSIC, Panel Position PaperRonald J. Brachman. 1063-1065
- Reasoning with Constraints, Panel Position PaperCatherine Lassez. 1066-1070
- Developments in Inductive Logic Programming, Panel Position PaperStephen Muggleton. 1071-1073
- Towards the General-Purpose Parallel Processing System, Panel Position PaperKazuo Taki. 1074-1075
- A Hybrid Reasoning System for Explaining Mistakes in Chinese WritingJacqueline Castaing. 1076-1083
- Automatic Generation of a Domain Specific Inference Program for Building a Knowledge Processing SystemTakayasu Kasahara, Naoyuki Yamada, Yasuhiro Kobayashi, Katsuyuki Yoshino, Kikuo Yoshimura. 1084-1090
- Knowledge-Based Functional Testing for Large Software SystemsUwe Nonnenmann, John K. Eddy. 1091-1098
- A Diagnostic and Control Expert System Based on a Plant ModelJunzo Suzuki, Chiho Konuma, Mikito Iwamasa, Naomichi Sueda, Shigeru Mochiji, Akimoto Kamiya. 1099-1106
- A Semiformal Metatheory for Fragmentary and Multilayered Knowledge as an Interactive Metalogic ProgramAndreas Hamfelt, Åke Hansson. 1107-1114
- HELIC-II: A Legal Reasoning System on the Parallel Inference MachineKatsumi Nitta, Yoshihisa Ohtake, Shigeru Maeda, Masayuki Ono, Hiroshi Ohsaki, Kiyokazu Sakane. 1115-1124
- Chart Parsers as Proof Procedures for Fixed-Mode Logic ProgramsDavid A. Rosenblueth. 1125-1132
- A Discourse Structure Analyzer for Japanese TextKazuo Sumita, Kenji Ono, Tetsuro Chino, Teruhiko Ukita, Shin ya Amano. 1133-1140
- Dynamics of Symbol Systems: An Integrated Architecture of CognitionKôiti Hasida. 1141-1148
- An Integrated Knowledge Support SystemBrian R. Gaines, Marc Linster, Mildred L. G. Shaw. 1157-1164
- Modeling the Generational Infrastructure of Information TechnologyBrian R. Gaines. 1165-1172
- Do-HLEX: Co-Operative Recursive LSI Layout Problem Solver on Japan s Fifth Generation Parallel Inference MachineToshinori Watanabe, Keiko Komatsu. 1173-1180
- A Cooperative Logic Design Expert System on a MultiprocessorYoriko Minoda, Shuho Sawada, Yuka Takizawa, Fumihiro Maruyama, Nobuaki Kawato. 1181-1189
- A Parallel Inductive Learning Algorithm for Adaptive DiagnosisYoichiro Nakakuki, Yoshiyuki Koseki, Midori Tanaka. 1190-1197
- Parallel Logic Simulator based on Time Warp and its EvaluationYukinori Matsumoto, Kazuo Taki. 1198-1206
- Applications of Machine Learning: Towards Knowledge SynthesisIvan Bratko. 1207-1218