×
{{flash.message}}
Toggle navigation
Toggle navigation
日本語
|
English
新規登録
ログイン
井上 克巳
イノウエ カツミ (Katsumi Inoue)
更新日: 04/01
ホーム
研究分野
研究キーワード
経歴
学歴
論文
講演・口頭発表等
書籍等出版物
MISC
受賞
委員歴
所属学協会
共同研究・競争的資金等の研究課題
担当経験のある科目(授業)
受賞
27
表示件数
20件
20件
50件
100件
2023年12月
1st Prize at Task 2 and 3rd Prize at Task 1, "MOD-CL: Multi-label Object Detection with Constraint Loss", ROAD-R Challenge for NeurIPS 2023
Sota Moriyama, Koji Watanabe, Katsumi Inoue, Akihiro Takemura
2023年7月
The 10-year test-of-time award, "Answer set programming as a modeling language for course timetabling", Association for Logic Programming
Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue, Torsten Schaub
2022年8月
2nd Place at Main Parallel Track & 3rd Place at Anniversary Parallel Track, "NPS & DPS", SAT Competition 2022
Hidetomo Nabeshima, Tsubasa Fukiage, Yuto Obitsu, Xiao-Nan Lu, Katsumi Inoue
2021年10月
The Best Paper Award, "Learning any Memory-Less Discrete Semantics for Dynamical Systems Represented by Logic Programs", The 30th International Conference on Inductive Logic Programming (ILP 2020-2021)
Tony Ribeiro, Maxime Folschette, Morgan Magnin, Katsumi Inoue
2020年7月
3rd Places - Parallel Track & Parallel Track UNSAT, "ManyGlucose (4.1-60)", SAT Competition 2020
Hidetomo Nabeshima, Katsumi Inoue
2019年11月
Best Student Paper Award, "Learning Logic Programs from Noisy State Transition Data", ILP 2019: 29th International Conference on Inductive Logic Programming,
Yin Jun Phua, Katsumi Inoue
2018年9月
情報処理学会論文誌・特選論文, "SAT技術を用いたペトリネットのデッドロック検出手法の提案", 情報処理学会
寸田 智也, 宋 剛秀, 番原 睦則, 田村 直之, 井上 克巳
2018年7月
Best Paper Award, "Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning", The 34th International Conference on Logic Programming (ICLP 2018)
Tobias Kaminski, Thomas Eiter, Katsumi Inoue
2017年8月
Best Paper Award, "Linear Algebraic Characterization of Logic Programs", KSEM 2017: The 10th International Conference on Knowledge Science, Engineering and Management
Chiaki Sakama, Katsumi Inoue, Taisuke Sato
2016年9月
第20回研究論文賞(2015年度), "パッキング配列問題の制約モデリングとSAT符号化", 日本ソフトウェア科学会
則武 治樹, 番原 睦則, 宋 剛秀, 田村 直之, 井上 克巳
2016年6月
人工知能学会全国大会優秀論文賞, "組合せテストケース生成問題に対する制約解集合プログラミングの適用", 人工知能学会
兼行 大将, 番原 睦則, 宋 剛秀, 田村 直之, 井上 克巳
2015年11月
Best Presentation Award & Best Session Paper Award, "Skill-Based Dynamic Team Formation Problem", ISIS 2015 (The 16th International Symposium on Advanced Intelligent Systems)
Tenda Okimoto, Maxime Clement, Katsutoshi Hirayama, Katsumi Inoue
2014年10月
優秀論文賞, "ロバストなチーム編成問題", 合同エージェントワークショップ&シンポジウム2014 (JAWS 2014)
沖本天太, シュウィンド ニコラ, クレモン マキシム, 井上 克巳
2014年9月
第3回ソフトウェア論文賞, "GlueMiniSat 2.2.5: 単位伝搬を促す学習節の積極的獲得戦略に基づく高速SATソルバー", 日本ソフトウェア科学会
鍋島 英知, 岩沼 宏治, 井上 克巳
2013年12月
Best Presentation Award, "AOF-Based Algorithm for Dynamic Multi-Objective Distributed Constraint Optimization", The 7th International Workshop on Multi-Disciplinary Trends in Artificial Intelligence (MIWAI 2013)
Tenda Okimoto, Maxime Clement, Katsumi Inoue
2013年9月
優秀論文賞, "A Two-Phase Complete Algorithm for Multiobjective Distributed Constraint Optimization", 合同エージェントワークショップ&シンポジウム2013 (JAWS 2013)
Alexandre Medi, Tenda Okimoto, Katsumi Inoue
2013年7月
銀賞 (Application, Certified UNSAT), "glueminisat-cert-unsat 2.2.7j", SAT Competition 2013
鍋嶋英知
2013年5月
Best Challenges and Visions Paper Award (3rd Prize), "Systems Resilience: A Challenge Problem for Dynamic Constraint-Based Agent Systems", The 12th International Conference on Autonomous Agents and Multi-Agent Systems
Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Hei Chan, Tony Ribeiro, Kazuhiro Minami, Hiroshi Maruyama
2012年10月
IEEE Computer Society Japan Chapter JAWS Young Researcher Award, "多目的分散制約最適化問題における厳密/非厳密解法の提案", 合同エージェントワークショップ&シンポジウム (JAWS) 2012
沖本 天太
2011年9月
高橋奨励賞, "GlueMiniSat2.2.5: 単位伝搬を促す学習節の積極的獲得戦略に基づく高速SATソルバー", 日本ソフトウェア科学会第28回大会
鍋島英知
1
2
メニュー
マイポータル
共著者の一覧
まだ共著者が1人も登録されていません。
{{coauthor.Related.name_str}}
{{coauthor.Related.last_modified}} 更新
もっとみる