Abstract is missing.
- Completeness of Extending Unification Based on Basic NarrowingAkihiro Yamamoto. 1-10
- Proving Definite Clauses without Explicit Use of InductionsAkito Sakurai, Hiroshi Motoda. 11-26
- Pseudo Extension in Default Reasoning and Belief Revision by Model InferenceHiroko Yuasa, Setsuo Arikawa. 27-37
- An Approach to Nonmonotonic Inference Mechanism in Production System KORE/IEToramatsu Shintani. 28-52
- Nonmonotonic Parallel Inheritance NetworkChiaki Sakama, Akira Okumura. 53-66
- Logic Programming Debugger Using Control Flow SpecificationHideo Tamura, Hideo Aiso. 67-81
- ALEX: The Logic Programming Language with Explicit Control and without Cut-OperatorsMasaki Hoshida, Mario Tokoro. 82-95
- Lattice Programming MethodologyKouichi Fukunaga, Shinichi Morishita. 96-107
- A Simple Programming System Written in GHC and its Reflective OperationsJiro Tanaka. 108-121
- Implementation of Full GHC by Communicating ProcessesMinoru Terada. 122-135
- Inference Methods and Semantics on Or-type Knowledge BasesHiroshi Sakai. 136-155
- Access Program to Minimize Redundant Refutations on the Network Database SystemMakoto Takizawa, Motoshi Katsumata, Shinichi Nagahora. 156-171
- EUODHILOS: A General-Purpose Reasoning Assistant System - Concept and ImplementationToshiro Minami, Hajime Sawamura, Kaoru Satoh, Kyoko Tsuchiya. 172-187
- Logic Based Lexical Analyser LAXRyƓichi Sugimura, Kouji Akasaka, Yukihiro Kubo, Yuji Matsumoto. 188-216
- Extraction of Characteristic Facts and Abstract GenerationNaoyoshi Tamura, Tomomi Kamio, Masato Kurosaki. 217-237
- Knowledge Representation and Reasoning for Discourse UnderstandingSatoshi Kinoshita, Hiroshi Sano, Teruhiko Ukita, Kazuo Sumita, Shin ya Amano. 238-251