内容

目次

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.