7. LP 1988: Tokyo, Japan

Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki (Eds.): Logic Programming '88, Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988. Lecture Notes in Computer Science 383 Springer 1989, ISBN 3-540-51564-X BibTeX

@proceedings{DBLP:conf/lp/1988,
  editor    = {Koichi Furukawa and
               Hozumi Tanaka and
               Tetsunosuke Fujisaki},
  title     = {Logic Programming '88, Proceedings of the 7th Conference, Tokyo,
               Japan, April 11-14, 1988},
  booktitle = {LP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {383},
  year      = {1989},
  isbn      = {3-540-51564-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Foundations of Logic Programming

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

Nonmonotonic Reasoning

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

Logic Programming Language/System

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

Guarded Horn Clauses

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

Knowledge Base System

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

Computer-Aided Reasoning

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

Natural Language Processing

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