Abstract is missing.
- Human and Machine Learning of Descriptive ConceptsDonald Michie. 1-22
- The Classification and Boundary ProblemJinsei Yamaguchi. 23-37
- Semantics of Non-montonic Reasoning based on Perfect ModelFangqing Dong, Hiroshi Nakagawa. 38-53
- Time-Bounded Reasoning in First Order Knowledge Base SystemsYihua Shi, Setsuo Arikawa. 54-72
- Elementary Formal System as a Logic Programming LanguageAkihiro Yamamoto. 73-86
- Debugger for a Parallel Logic Programming Language FlengJun ichi Tatemura, Hidehiko Tanaka. 87-96
- Paralle Generalized LP Parser based on Logic ProgrammingHiroaki Numazaki, Naoyoshi Tamura, Hozumi Tanaka. 97-106
- Knowledge Media StationY. Hosono, H. Kumagai, H. Shimizu, M. Sumida, Akikazu Takeuchi, N. Takiguchi, T. Wake, T. Yamaoka. 107-133
- cu-Prolog and its Application to a JPSG ParserHiroshi Tsuda, Kôiti Hasida, Hidetosi Sirai. 134-143
- Table-Driven Bottom Up Parser in PrologNaoyoshi Tamura, Hiroaki Numazaki, Hozumi Tanaka. 144-162
- A Consistency Maintenance Mechanism for Subjective Judgements and Its ApplicationToramatsu Shintani. 163-173
- Logic Design Assistence Using Temporal Logic Based Language TokioHiroshi Nakamura, Masaya Nakai, Shinji Kono, Masahiro Fujita, Hidehiko Tanaka. 174-183