論文

• 吉浦紀晃, 米崎直樹. 適切さの論理RとERの証明力の比較, 人工知能学会誌, Vol. 14, No. 6, pp. 156-167, Nov. 1999.
• 吉浦紀晃, 米崎直樹. 適切さの論理ERの決定可能性, 人工知能学会誌, Vol. 14, No. 5, pp. 819-827, Sept. 1999.
• 吉浦紀晃. 適切さの論理ERの決定可能性, 人工知能学会誌, Vol. 14, No. 5, pp. 819-827, 1999.
• 吉浦紀晃. 適切さの論理ERとRの証明力の比較, 人工知能学会誌, Vol. 14, No. 6, pp. 1088-1099, 1999.
• 吉浦紀晃. 証明力を拡張した適切さの論理ER, 人工知能学会誌, Vol. 13, No. 6, pp. 981-989, 1998.

国際会議発表 (査読有り)

• Noriaki Yoshiura, Naoki Yonezaki. Provability of relevant logic ER, Proceedings of The 11th European-Japanese conference on Information Modelling and Knowledge Basis, pp. 90--104, May 2001.
• Yoshiura Noriaki, NAOKI YONEZAKI. More expressive Temporal Logic for Specification, 5th International Conference on Software Engineering and Knowledge Engineering, pp. 363-366, June 1993.

国内会議発表 (査読なし・不明)

• 吉浦紀晃, 米崎直樹. リアクティブシステムの段階的充足可能性とSafety Propertyの関係, 信学技報 SS2000-43, pp. 9-16, Jan. 2001.
• 吉浦紀晃, 米崎直樹. 証明力を拡張した適切さの論理 ER, プログラム変換と記号･数式処理, 数理解析研究所講究録, Vol. 1125, No. 2000, pp. 93-114, Nov. 1999.

学位論文

• 知識推論への適用を目的とした適切さの論理の拡張に関する研究,  Master of Arts,  東京工業大学,  1998/--/--, 

[ BibTeX 形式で保存 ]    [ 論文・著書をCSV形式で保存 ]    [ 特許をCSV形式で保存 ]