著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL "JELIA and Alferes, José Júlio and Leite, João","Logics in artificial intelligence : 9th European conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004 ; proceedings",,Springer,2004,Lecture notes in computer science,,3540232427,,https://cir.nii.ac.jp/crid/1130000797936674176