Logic Programming '89: Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989

ISBN-13: 9783540539193 / Angielski / Miękka / 1991 / 186 str.

Koichi Furukawa;Hozumi Tanaka;Tetsunosuke Fujisaki

Opis

Contains papers on logic programming, an invited paper by Donald Michie and eleven selected papers on reasoning, logic programming language, concurrent programming, knowledge programming, natural language processing, and applications.

Spis treści

Human and machine learning of descriptive concepts.- The classification and boundary problem.- Semantics of non-monotonic reasoning based on perfect model.- Time-bounded reasoning in first order knowledge base systems.- Elementary formal system as a logic programming language.- Debugger for a parallel logic programing language Fleng.- Parallel generalized LR parser based on logic programming.- Knowledge media station.- cu-Prolog and its application to a JPSG parser.- Table-driven Bottom Up Parser in Prolog.- A consistency maintenance mechanism for subjective judgments and its application.- Logic design assistance using temporal logic based language Tokio.