7. LP 1988: Tokyo, Japan

Foundations of Logic Programming

• Akihiro Yamamoto: Completeness of Extending Unification Based on Basic Narrowing. 1-10
• Akito Sakurai, Hiroshi Motoda: Proving Definite Clauses without Explicit Use of Inductions. 11-26

Nonmonotonic Reasoning

• Hiroko Yuasa, Setsuo Arikawa: Pseudo Extension in Default Reasoning and Belief Revision by Model Inference. 27-37
• Toramatsu Shintani: An Approach to Nonmonotonic Inference Mechanism in Production System KORE/IE. 28-52
• Chiaki Sakama, Akira Okumura: Nonmonotonic Parallel Inheritance Network. 53-66

Logic Programming Language/System

• Hideo Tamura, Hideo Aiso: Logic Programming Debugger Using Control Flow Specification. 67-81
• Masaki Hoshida, Mario Tokoro: ALEX: The Logic Programming Language with Explicit Control and without Cut-Operators. 82-95
• Kouichi Fukunaga, Shinichi Morishita: Lattice Programming Methodology. 96-107

Guarded Horn Clauses

• Jiro Tanaka: A Simple Programming System Written in GHC and its Reflective Operations. 108-121
• Minoru Terada: Implementation of Full GHC by Communicating Processes. 122-135

Knowledge Base System

• Hiroshi Sakai: Inference Methods and Semantics on Or-type Knowledge Bases. 136-155
• Makoto Takizawa, Motoshi Katsumata, Shinichi Nagahora: Access Program to Minimize Redundant Refutations on the Network Database System. 156-171

Computer-Aided Reasoning

• Toshiro Minami, Hajime Sawamura, Kaoru Satoh, Kyoko Tsuchiya: EUODHILOS: A General-Purpose Reasoning Assistant System - Concept and Implementation. 172-187

Natural Language Processing

• Ryôichi Sugimura, Kouji Akasaka, Yukihiro Kubo, Yuji Matsumoto: Logic Based Lexical Analyser LAX. 188-216
• Naoyoshi Tamura, Tomomi Kamio, Masato Kurosaki: Extraction of Characteristic Facts and Abstract Generation. 217-237
• Satoshi Kinoshita, Hiroshi Sano, Teruhiko Ukita, Kazuo Sumita, Shin'ya Amano: Knowledge Representation and Reasoning for Discourse Understanding. 238-251