著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL "International Conference on Principles of Knowledge Representation and Reasoning and Brachman, Ronald J. and Levesque, Hector J. and Reiter, Ray",Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning,,M. Kaufmann,1989,The Morgan Kaufmann series in representation and reasoning,,1558600329,,https://cir.nii.ac.jp/crid/1130282270155839744