INDEX of ICOT Journal (No.32) 1991

[Table of Contents]

Research Report

``Research and Development of KL1 Engine"

Keiji Hirata, ICOT

Introduction of Research Laboratory

Anzai/Amano Laboratory, keio University

Kaneda Laboratory, kobe University

Report from Visiting Researcher

``Report on Visit to ICOT"

Stephen Muggleton, Turing Institute

Workshop Report

``japan-U.S Workshop on Automated Reasoning Held at ANL"

Ryuzo Hasegawa,ICOT

Overseas Technical Survey Report

Ken Satoh, ICOT

Introduction to Research & Development Tools

Kappa (Knowledge Application-oriented Advanced Database and Knowledge Base Management System), version 2.1

Plans for ICOT Activities in Fiscal 1991

Report for ICOT Activities in Fiscal 1990

ICOT News

Publication List

Abstract