井上 克巳 発表論文 (1987-2003)

Publications of Katsumi Inoue Published in 1987-2003 (English page)

2004年以降の論文 (日本語ページ)

Papers Published Since 2004 (English page)

査読付論文（専門書，論文誌，国際会議）
  1. Katsumi Inoue and Chiaki Sakama.
    Disjunctive Explanations in Abductive Logic Programming.
    In: Stephen Muggleton (ed.), Special Issue on Machine Intelligence 19, Electronic Transactions on Artificial Intelligence, Volume 7, to appear, 2004.
  2. 田川 聖治，小西 健太，井上 克巳．
    アフォーダンス理論による人工技能への接近―記憶と身体性―．
    日本ロボット学会誌，22(7):892-900, 2004.
  3. Chiaki Sakama and Katsumi Inoue.
    An Abductive Framework for Computing Knowledge Base Updates.
    Theory and Practice of Logic Programming, 3(6):671-713, 2003.
  4. Toshiko Wakaki, Katsumi Inoue, Chiaki Sakama, and Katsumi Nitta.
    Computing Preferred Answer Sets in Answer Set Programming.
    Moshe Y. Vardi and Andrei Voronkov (eds.), Logic for Programming, Artificial Intelligence, and Reasoning: Proceedings of the 10th International Conference (LPAR 2003), Lecture Notes in Artificial Intelligence, 2850, pages 259-273, Springer, 2003.
  5. Hidetomo Nabeshima, Koji Iwanuma, and Katsumi Inoue.
    SOLAR: A Consequence Finding System for Advanced Reasoning.
    Marta Cialdea Mayer and Fiora Pirri (eds.), Automated Reasoning with Analytic Tableaux and Related Methods: Proceedings of the 11th International Conference (TABLEAUX 2003), Lecture Notes in Artificial Intelligence, 2796, pages 257-263, Springer, 2003.
  6. 坂東 秀之，井上 克巳，鍋島 英知．
    アクション言語 A における行動規則の学習．
    人工知能学会誌，18(5):297-304, 2003.
  7. 佐藤 健，井上 克巳，岩沼 宏治，坂間 千秋．
    エージェント間通信におけるアブダクションによる投機的計算．
    コンピュータソフトウェア，20(1):27-35, 2003.
  8. Hidetomo Nabeshima, Koji Iwanuma, and Katsumi Inoue.
    Effective SAT Planning by Speculative Computation.
    In: Bob McKay and John K. Slaney (eds.), Proceedings of the Fifteenth Australian Joint Conference on Artificial Intelligence, Lecture Notes in Artificial Intelligence, 2557, pages 726-728, Springer, 2002.
  9. Koji Iwanuma and Katsumi Inoue.
    Minimal Answer Computation and SOL.
    In: Sergio Greco and Nicola Leone (eds.), Logics in Artificial Intelligence: Proceedings of the Eighth European Conference (JELIA 2002), Lecture Notes in Artificial Intelligence, 2424, pages 245-257, Springer, 2002.
  10. Koji Iwanuma and Katsumi Inoue.
    Conditional Answer Computation in SOL as Speculative Computation in Multi-Agent Environments.
    Electronic Notes on Theoretical Computer Science, 70(5), Elsevier, 2002.
    Also in: Juergen Dix, Joao Alexandre Leite and Ken Satoh (eds.), Proceedings of the Third International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-02) , pages 149-162, 2002.
  11. Katsumi Inoue and Chiaki Sakama.
    Disjunctive Explanations.
    In: Peter Stuckey (ed.), Logic Programming: Proceedings of the Eighteenth International Conference (ICLP 2002), Lecture Notes in Computer Science, 2401, pages 317-332, Springer, 2002.
  12. Katsumi Inoue.
    Automated Abduction.
    In: Antonis Kakas and Fariba Sadri (eds.), Computational Logic: Logic Programming and Beyond - Essays in Honour of Robert A. Kowalski, Part II, Lecture Notes in Artificial Intelligence, 2408, pages 311-341, Springer, 2002.
  13. 新田 克己，柴崎 真人，安村 禎明，長谷川 隆三，藤田 博，越村 三幸， 井上 克巳，白井 康之，小松 弘．
    ダイアグラムに基づく法的論争支援システム．
    人工知能学会誌，17(1):32-43, 2002.
  14. Kiyoharu Tagawa, Noboru Wakabayashi, Hiromasa Haneda, and Katsumi Inoue.
    An Imanishism-Based Genetic Algorithm for Sampling Various Pareto-Optimal Solutions: An Application to the Multi-Objective Resource Division Problem.
    Electrical Engineering in Japan, 139(2):23-35, 2002.
  15. Katsumi Inoue, Shin-ichi Kawaguchi, and Hiromasa Haneda.
    Controlling Speculative Computation in Multi-Agent Environments.
    In: Proceedings of the Second International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-01) , pages 9-18, 2001.
  16. Katsumi Inoue.
    Induction, Abduction, and Consequence-Finding.
    In: Celine Rouveirol and Michele Sebag (eds.), Inductive Logic Programming: Proceedings of the Eleventh International Conference (ILP 2001), Lecture Notes in Artificial Intelligence, 2157, pages 65-79, Springer, 2001.
  17. Katsumi Inoue.
    Inverse Entailment for Full Clausal Theories.
    In: LICS-2001 Workshop on Logic and Learning, 2001.
  18. 田川 聖治，水谷 浩二，井上 克巳，羽根田 博正．
    今西進化論に基づく遺伝アルゴリズムによるモジュール配置問題の多様な最適解の探索．
    システム制御情報学会論文誌，14(10):464-474, 2001.
  19. 田川 聖治，若林 昇，羽根田 博正，井上 克巳．
    今西進化論に基づく遺伝アルゴリズムによる多様なパレート最適解の抽出法 ―多目的資源分割問題を実例として―．
    電気学会論文誌，電子・情報・システム部門，121-C(6):992-1000, 2001.
  20. Kiyoharu Tagawa, Katsumi Inoue, and Hiromasa Haneda.
    Emergence of Cognitive Robot Behavior using Affordance and Genetic Algorithm.
    In: Proceedings of the Sixth International Symposium on Artificial Life and Robotics (AROB'01), pages 15-17, 2001.
  21. Chiaki Sakama and Katsumi Inoue.
    Prioritized Logic Programming and its Application to Commonsense Reasoning.
    Artificial Intelligence, 123(1-2):185-222, 2000.
  22. Hidetomo Nabeshima, Katsumi Inoue, and Hiromasa Haneda.
    Implementing an Action Language using a SAT Solver.
    In: Proceedings of the Twelfth IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), pages 96-103, IEEE Computer Society, 2000.
  23. Katsumi Inoue.
    A Simple Characterization of Extended Abduction.
    In: Computational Logic: Proceedings of the First International Conference (CL2000), Lecture Notes in Artificial Intelligence, 1861, pages 718-732, Springer, 2000.
  24. Chiaki Sakama, Katsumi Inoue, Koji Iwanuma, and Ken Satoh.
    A Defeasible Reasoning System in Multi-Agent Environments.
    In: Proceedings of the First International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-00), pages 1-6, 2000.
  25. Koji Iwanuma, Katsumi Inoue, and Ken Satoh.
    Completeness of Pruning Methods for Consequence Finding Procedure SOL.
    In: Peter Baumgartner and Hantao Zhang (eds.), Proceedings of the Third International Workshop on First-Order Theorem Proving (FTP'2000), pages 89-100, Research Report 5-2000, Institute for Computer Science, University of Koblenz, Germany, 2000.
  26. Ken Satoh, Katsumi Inoue, Koji Iwanuma, and Chiaki Sakama.
    Speculative Computation by Abduction under Incomplete Communication Environments.
    In: Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS '2000), pages 263-270, IEEE Computer Society, 2000.
  27. Chiaki Sakama and Katsumi Inoue.
    Abductive Logic Programming and Disjunctive Logic Programming: Their Relationships and Transferability.
    Journal of Logic Programming, 44(1-3):75-100, 2000.
  28. Katsumi Inoue and Hiromasa Haneda.
    Learning Abductive and Nonmonotonic Logic Programs.
    In: Peter Flach and Antonis Kakas (eds.), Abduction and Induction: Essays on their Relation and Integration, pages 213-231, Kluwer Academic, 2000.
  29. Katsumi Inoue and Chiaki Sakama.
    Computing Extended Abduction through Transaction Programs.
    Annals of Mathematics and Artificial Intelligence, 25(3,4):339-367, 1999.
  30. Chiaki Sakama and Katsumi Inoue.
    Updating Extended Logic Programs through Abduction.
    In: M. Gelfond, N. Leone, and G. Pfeifer (eds.), Logic Programming and Non-monotonic Reasoning: Proceedings of the Fifth International Conference (LPNMR'99), Lecture Notes in Artificial Intelligence, 1730, pages 147-161, Springer, 1999.
  31. Katsumi Inoue and Chiaki Sakama.
    Abducing Priorities to Derive Intended Conclusions.
    In: Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI-99), pages 44-49, Morgan Kaufmann, 1999.
  32. 鍋島 英知，井上 克巳，羽根田 博正．
    有限オートマトンに基づく非決定性アクション言語．
    情報処理学会論文誌，40(10):3661-3671, 1999.
  33. 田川 聖治，金重 憲治，井上 克巳，羽根田 博正．
    遺伝的アルゴリズムを枠組としたメタ戦略の構築法 ―グラフ彩色問題を実例として―．
    計測自動制御学会論文集，35(11):1355-1362, 1999.
  34. 田川 聖治，川口 俊介，井上 克巳，羽根田 博正．
    遺伝的アルゴリズムとアフォーダンスを用いた知能ロボットの創発．
    日本ロボット学会誌，17(7):1023-1030, 1999.
  35. Kiyoharu Tagawa, Kenji Kanesige, Katsumi Inoue, and Hiromasa Haneda.
    Distance Based Hybrid Genetic Algorithm: An Application for the Graph Coloring Problem.
    Proceedings of the IEEE Congress on Evolutionary Computation 1999 (CEC99), pages 2325-2332, IEEE Press, 1999.
  36. 井上 克巳，工藤 嘉晃，羽根田 博正．
    デフォルト規則を含む拡張論理プログラムの学習．
    人工知能学会誌，14(3):437-445，1999.
  37. 田川 聖治，神崎 安宣，岡田 大輔，井上 克巳，羽根田博正．
    距離に基づく遺伝アルゴリズムの構築法 ―表現型の距離と調和交叉法―．
    電気学会論文誌，電子・情報・システム部門，118-C(12):1778-1785, 1998.
  38. Kiyoharu Tagawa, Shunsuke Kawaguchi, Katsumi Inoue, and Hiromasa Haneda.
    Detection of Affordance for Environmental Discrimination by an Intelligent Robot using a Lamarckian Genetic Algorithm.
    In: Proceedings of the Second Japan-Australia Joint Workshop on Intelligent and Evolutionary Systems, pages 55-61, 1998.
  39. Kiyoharu Tagawa, Daisuke Okada, Yasunobu Kanzaki, Katsumi Inoue, and Hiromasa Haneda.
    Distance Based Hybrid Genetic Algorithm for Symmetric and Asymmetric Traveling Salesman Problems.
    Beijing Mathematics, 4(2):42-49, 1998.
  40. Chiaki Sakama and Katsumi Inoue.
    On Generality in Abduction and Induction.
    In: Peter Flach and Antonis Kakas (eds.), Proceedings of the ECAI'98 workshop on Abduction and Induction in AI, pages 49-52, 1998.
  41. 坂井 朱美，井上 克巳．
    節集合の対称性を利用したSATCHMOによる充足可能性判定．
    情報処理学会論文誌，39(7):2084-2092, 1998.
  42. Yoshihiko Ohta, Katsumi Inoue, and Ryuzo Hasegawa.
    On the Relationship between Non-Horn Magic Sets and Relevancy Testing.
    In: C. Kirchner and H. Kirchner (eds.), Automated Deduction: Proceedings of the Fifteenth International Conference (CADE-15), Lecture Notes in Artificial Intelligence, 1421, pages 333-348, Springer, 1998.
  43. Katsumi Inoue and Chiaki Sakama.
    Specifying Transactions for Extended Abduction.
    In: A.G. Cohn and L. Schubert (eds.), Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR '98), pages 394-405, Morgan Kaufmann, 1998.
  44. Katsumi Inoue and Chiaki Sakama.
    Negation as Failure in the Head.
    Journal of Logic Programming, 35(1):39-78, 1998.
  45. Kiyoharu Tagawa, Yasunobu Kanzaki, Daisuke Okada, Katsumi Inoue, and Hiromasa Haneda.
    A New Metric Function and Harmonic Crossover for Symmetric and Asymmetric Traveling Salesman Problems.
    In: Proceedings of the IEEE International Conference on Evolutionary Computation (ICEC '98), pages 822-827, IEEE Press, 1998.
  46. Kiyoharu Tagawa, Shunsuke Kawaguchi, Hajime Iwamoto, Katsumi Inoue, and Hiromasa Haneda.
    Automatic Programming of Autonomous Robots using a Genetic Algorithm.
    In: Proceedings of the Third International Symposium on Artificial Life and Robotics (AROB '98), pages 289-292, 1998.
  47. 山本 英子，井上 克巳．
    モデル消去法に基づくSOL導出の実現．
    情報処理学会論文誌，38(11):2112-2121, 1997.
  48. 太田 好彦，井上 克巳，長谷川 隆三．
    ノンホーン・マジックセット法と関連性テストとの等価性．
    情報処理学会論文誌，38(10):1894-1904, 1997.
  49. Katsumi Inoue and Yoshimitsu Kudoh.
    Learning Extended Logic Programs.
    In: Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI-97), pages 176-181, Morgan Kaufmann, 1997.
  50. Ryuzo Hasegawa, Katsumi Inoue, Yoshihiko Ohta, and Miyuki Koshimura.
    Non-Horn Magic Sets to Incorporate Top-down Inference into Bottom-up Theorem Proving.
    In: W. McCune (ed.), Automated Deduction: Proceedings of the Fourteenth International Conference (CADE-14), Lecture Notes in Artificial Intelligence, 1249, pages 176-190, Springer, 1997.
  51. 長谷川 隆三，井上 克巳，太田 好彦，越村 三幸．
    上昇型定理証明の探索効率を高めるノンホーン・マジックセット．
    情報処理学会論文誌，38(3):453-461, 1997.
  52. 鍋島 英知，井上 克巳．
    アクション言語 A のためのオートマトン理論．
    情報処理学会論文誌，38(3):462-471, 1997.
  53. 荒山 正志，井上 克巳．
    非ホーン節を含む演繹データベースの問合せ処理の効率化．
    情報処理学会論文誌，37(12):2295-2304, 1996.
  54. Chiaki Sakama and Katsumi Inoue.
    Representing Priorities in Logic Programs.
    In: M. Maher (ed.), Logic Programming: Proceedings of the 1996 Joint International Conference and Symposium (JICSLP '96), pages 82-96, MIT Press, September 1996.
  55. Katsumi Inoue and Chiaki Sakama.
    A Fixpoint Characterization of Abductive Logic Programs.
    Journal of Logic Programming, 27(2):107-136, 1996.
  56. Katsumi Inoue and Chiaki Sakama.
    Abductive Framework for Nonmonotonic Theory Change.
    In: Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95), pages 204-210, Morgan Kaufmann, 1995.
  57. Chiaki Sakama and Katsumi Inoue.
    Embedding Circumscriptive Theories in General Disjunctive Programs.
    In: V. Marek, A. Nerode, and M. Truszczynski (eds.), Logic Programming and Non-monotonic Reasoning: Proceedings of the Third International Conference (LP&NMR '95), Lecture Notes in Artificial Intelligence, 928, pages 344-357, Springer, 1995.
  58. Chiaki Sakama and Katsumi Inoue.
    The Effect of Partial Deduction in Abductive Reasoning.
    In: L. Sterling (ed.), Logic Programming: Proceedings of the Twelfth International Conference (ICLP '95), pages 383-397, MIT Press, 1995.
  59. Chiaki Sakama and Katsumi Inoue.
    Paraconsistent Stable Semantics for Disjunctive Logic Programs.
    Journal of Logic and Computation, 5(3):265-285, 1995.
  60. 赤埴 淳一，井上 克巳，長谷川 隆三．
    様相節変換に基づくボトムアップ型様相論理証明法．
    情報処理学会論文誌，36(4):822-831, 1995.
  61. Jun-ichi Akahani, Katsumi Inoue, and Ryuzo Hasegawa.
    Modal Clause Transformation: A Bottom-up Approach to Modal Theorem Proving.
    In: Proceedings of the FGCS'94 Workshop on Automated Theorem Proving, pages 43-44, ICOT, 1994.
  62. Chiaki Sakama and Katsumi Inoue.
    An Alternative Approach to the Semantics of Disjunctive Logic Programs and Deductive Databases.
    Journal of Automated Reasoning, 13(1):145-172, 1994.
  63. Chiaki Sakama and Katsumi Inoue.
    On the Equivalence between Disjunctive and Abductive Logic Programs.
    In: P.V. Hentenryck (ed.), Logic Programming: Proceedings of the Eleventh International Conference (ICLP '94), pages 489-503, MIT Press, 1994.
  64. Katsumi Inoue and Chiaki Sakama.
    On Positive Occurrences of Negation as Failure.
    In: J. Doyle, E. Sandewall, and P. Torasso (eds.), Principles of Knowledge Representation and Reasoning: Proceedings of the Fourth International Conference (KR '94), pages 293-304, Morgan Kaufmann, 1994.
  65. Katsumi Inoue.
    Hypothetical Reasoning in Logic Programs.
    Journal of Logic Programming, 18(3):191-227, 1994.
  66. 太田 好彦，井上 克巳，長谷川 隆三，中島 誠．
    モデル生成型定理証明器を用いたアブダクションの計算における効率化手法．
    人工知能学会誌，9(2):268-274, 1994.
  67. 井上 克巳，太田 好彦，長谷川 隆三，中島 誠．
    モデル生成に基づく並列アブダクション．
    人工知能学会誌，8(6):786-796, 1993.
  68. Katsumi Inoue, Yoshihiko Ohta, Ryuzo Hasegawa, and Makoto Nakashima.
    Bottom-up Abduction by Model Generation.
    In: Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI-93), pages 102-108, Morgan Kaufmann, 1993.
  69. Yoshihiko Ohta and Katsumi Inoue.
    Incorporating Top-down Information into Bottom-up Hypothetical Reasoning.
    New Generation Computing, 11(3,4):401-421, 1993.
  70. Chiaki Sakama and Katsumi Inoue.
    Relating Disjunctive Logic Programs to Default Theories.
    In: L.M. Pereira and A. Nerode (eds.), Logic Programming and Non-monotonic Reasoning: Proceedings of the Second International Workshop (LP&NMR '93), pages 266-282, MIT Press, 1993.
  71. Katsumi Inoue and Chiaki Sakama.
    Representing Abduction by Positive not.
    In: P. Codognet, P.M. Dung, A.C. Kakas, and P. Mancarella (eds.), Proceedings of the ICLP'93 Post-conference Workshop on Abductive Reasoning, pages 1-9, 1993.
  72. Katsumi Inoue and Chiaki Sakama.
    Transforming Abductive Logic Programs to Disjunctive Programs.
    In: D.S. Warren (ed.), Logic Programming: Proceedings of the Tenth International Conference (ICLP '93), pages 335-353, MIT Press, 1993.
  73. Chiaki Sakama and Katsumi Inoue.
    Negation in Disjunctive Logic Programs.
    In: D.S. Warren (ed.), Logic Programming: Proceedings of the Tenth International Conference (ICLP '93), pages 703-719, MIT Press, 1993.
  74. Katsumi Inoue.
    Linear Resolution for Consequence Finding.
    Artificial Intelligence, 56(2,3):301-353, 1992.
  75. Katsumi Inoue, Miyuki Koshimura, and Ryuzo Hasegawa.
    Embedding Negation as Failure into a Model Generation Theorem Prover.
    In: D. Kapur (ed.), Automated Deduction: Proceedings of the Eleventh International Conference (CADE-11), Lecture Notes in Artificial Intelligence, 607, pages 400-415, Springer, 1992.
  76. Yoshihiko Ohta and Katsumi Inoue.
    A Forward-Chaining Hypothetical Reasoner based on Upside-down Meta-Interpretation.
    In: Proceedings of the International Conference on Fifth Generation Computer Systems 1992 (FGCS '92), pages 522-529, Ohmsha, 1992.
  77. Katsumi Inoue.
    An Abductive Procedure for the CMS/ATMS.
    In: J.P. Martins and M. Reinfrank (eds.), Truth Maintenance Systems, Lecture Notes in Artificial Intelligence, 515, pages 34-53, Springer, 1991.
  78. Katsumi Inoue.
    Consequence-Finding based on Ordered Linear Resolution.
    In: Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI-91), pages 158-164, Morgan Kaufmann, 1991.
  79. Nicolas Helft, Katsumi Inoue, and David Poole.
    Query Answering in Circumscription.
    In: Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI-91), pages 426-431, Morgan Kaufmann, 1991.
  80. Katsumi Inoue.
    Extended Logic Programs with Default Assumptions.
    In: K. Furukawa (ed.), Logic Programming: Proceedings of the Eighth International Conference (ICLP '91), pages 490-504, MIT Press, 1991.
  81. 太田 好彦，井上 克巳．
    段階的前向き仮説推論システム．
    人工知能学会誌，6(4):532-544, 1991.
  82. 太田 好彦，井上 克巳．
    ATMSを用いた前向き仮説推論システムにおける効率的な推論方式．
    人工知能学会誌，6(2):247-259, 1991.
  83. Yoshihiko Ohta and Katsumi Inoue.
    A Forward-Chaining Multiple Context Reasoner and its Application to Logic Design.
    In: Proceedings of the Second IEEE International Conference on Tools for Artificial Intelligence (TAI-90), pages 386-392, IEEE Computer Society, 1990.
  84. Katsumi Inoue and Yoshihiko Ohta.
    Making Dependency-Directed Search Hierarchical.
    In: Proceedings of the Pacific Rim International Conference on Artificial Intelligence '90 (PRICAI '90), pages 450-455, Ohmsha, 1990.
  85. Katsumi Inoue and Nicolas Helft.
    On Theorem Provers for Circumscription.
    In: P.F. Patel-Schneider (ed.), Proceedings of the Eighth Biennial Conference of the Canadian Society for Computational Studies of Intelligence (CSCSI-90), pages 212-219, Morgan Kaufmann, 1990.
  86. Katsumi Inoue.
    Problem Solving with Hypothetical Reasoning.
    In: Proceedings of the International Conference on Fifth Generation Computer Systems 1988 (FGCS '88), pages 1275-1281, Ohmsha, 1988.
  87. Katsumi Inoue.
    Pruning Search Trees in Assumption-based Reasoning.
    In: Proceedings of the Eighth International Workshop on Expert Systems and their Applications (Avignon '88), Volume 1, pages 133-151, EC2, 1988.
その他の論文・発表 (抜粋)
  1. 井上 克巳．
    結論発見手続きとその応用．(招待論文)
    信学技報，AI2003-4, pages 17-22, 電子情報通信学会 (2003)．
  2. Katsumi Inoue.
    Speculative Computation by Consequence Finding.
    Dagstuhl-Seminar 02481 ``Programming Multi Agent Systems based on Logic'', Schloss Dagstuhl, Wadern, Germany, 2002.
  3. 鍋島 英知，井上 克巳．
    プランニンググラフとSATプランニング． (「プランニング技術の進展と新たな応用展開」特集論文)
    人工知能学会誌，16(5):605-610, 2001.
  4. Katsumi Inoue.
    Incorporating Lemmas into Consequence-Finding Procedure SOL.
    Dagstuhl-Seminar 01101 ``Deduction'', Schloss Dagstuhl, Wadern, Germany, 2001.
  5. 井上 克巳，羽根田博正．
    新仮説の発見を含むアブダクティブ論理プログラムの学習． (99年度人工知能学会研究奨励賞受賞)
    人工知能学会第37回人工知能基礎論研究会，研究会資料 SIG-FAI-9901-12, pages 61-64, 1999.
  6. 長谷川 隆三，越村 三幸，井上 克巳，太田 好彦．
    上昇型定理証明のためのノンホーン・マジックセット．
    九州大学大学院システム情報科学研究科報告，1(1):85-90, 1996.
  7. Katsumi Inoue.
    Studies on Abductive and Nonmonotonic Reasoning.
    Ph.D. Dissertation, Kyoto University, Kyoto, 1992.
  8. 井上 克巳．
    アブダクションの原理． (解説論文)
    人工知能学会誌，7(1):48-59, 1992.
  9. 井上 克巳．
    仮説推論と非単調推論．
    日本ソフトウェア科学会「仮説推論」チュートリアルテキスト，1991.
  10. 永井 保夫，滝 寛和，寺崎 智，横山 孝典，井上 克巳．
    設計問題向けツール・アーキテクチュア． (「第５世代コンピュータ」特集論文)
    人工知能学会誌，4(3):297-303, 1989.
  11. 井上 克巳．
    導出を用いた仮説探索． (情報処理学会学術奨励賞受賞)
    情報処理学会第35回全国大会論文集，pages 1567-1568, 1987.
Last updated 14 Nov 2013 - Katsumi Inoue