Logic programming '89. Proceedings of the 8th conference, Tokyo, Japan, July 12-14, 1989

MaRDI QIDQ1202144zbMATH OpenFDO

Authors

Publication date 23 January 1993

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

ConferenceLogic programming '89ProceedingsTokyo (Japan)

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Review text

The articles of this volume will be reviewed individually. Indexed articles: \textit{Yamaguchi, Jinsei}, The classification and boundary problem, 23-37 [Zbl 0792.68132] \textit{Dong, Fangqing; Nakagawa, Hirosi}, Semantics of non-monotonic reasoning based on perfect model, 38-53 [Zbl 0792.68092] \textit{Shi, Yihua; Arikawa, Setsuo}, Time-bounded reasoning in first order knowledge base systems, 54-72 [Zbl 0792.68185] \textit{Yamamoto, Akihiro}, Elementary formal system as a logic programming language, 73-86 [Zbl 0800.68296] \textit{Tatemura, Junichi; Tanaka, Hidehiko}, Debugger for a parallel logic programming language Fleng, 87-96 [Zbl 0792.68020]

Cited in

(3)

• Logic programming '86. Proceedings of the 5th conference, Tokyo, Japan, June 23--26, 1986
• Logic programming '88. Proceedings of the 7th conference, Tokyo, Japan, April 11-14, 1988
• scientific article; zbMATH DE number 1312983 (Why is no real title available?)

This page was built for publication: Logic programming '89. Proceedings of the 8th conference, Tokyo, Japan, July 12-14, 1989

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1202144)