Knowledge Representation and Reasoning at Nagoya University

名古屋大学大学院情報学研究科・情報学部

番原・宋 研究室

トップページ /  研究内容  /  メンバー  /  アクセス

研究
clean-usnob Multi-Objective Combinatorial Reconfiguration Considering Cost and Length by Answer Set Programming: Algorithms, Encodings, and Empirical Analysis
ECAI 2025 (CORE2023 rank A)
repository / paper (in print)

解集合プログラミングを用いた多目的組合せ遷移最適化問題の解法に関する研究です．

clean-usnob The ASP-based Nurse Scheduling System at the University of Yamanashi Hospital
ICLP 2025
repository / paper (in print)

ASPを用いたナーススケジューリングシステムを山梨大学病院に実際に適用する研究です．

clean-usnob A SAT-based Method for Counting All Singleton Attractors in Boolean Networks
IJCAI 2025
repository / preprint

遺伝子制御ネットワークの解析などに応用がある状態遷移系の Boolean Network の不動点をSAT技術を用いて計数する研究です．

clean-usnob SAT-Based CEGAR Method for the Hamiltonian Cycle Problem Enhanced by Cut-Set Constraints
SAT 2025
repository / paper

代表的なNP完全問題であるハミルトン閉路問題に対して，カットセット制約を用いたSAT型CEGAR手法を適用する研究です．

clean-usnob Dominating Set Reconfiguration with Answer Set Programming
Theory and Practice of Logic Programming
repository / slides

解集合プログラミングを用いた支配集合遷移問題の解法に関する研究です．

clean-usnob Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming
KR 2024
repository / paper

ASPを用いた新しいメタヒューリスティクス Large Neighborhood Prioritized Search を提案し， 様々な組合せ最適化問題に適用する研究です．

clean-usnob ASP-Based Large Neighborhood Prioritized Search for Course Timetabling
LPNMR 2024
repository / paper

Large Neighborhood Prioritized Search を時間割問題に適用する研究です．

clean-usnob Combinatorial Reconfiguration with Answer Set Programming: Algorithms, Encodings, and Empirical Analysis
WALCOM 2024
repository / paper

ASPを用いた組合せ遷移問題ソルバー recongo に関する論文です．

clean-usnob Hamiltonian Cycle Reconfiguration with Answer Set Programming
JELIA 2023
repository / paper

ASPを用いたハミルトン閉路遷移問題に関する論文です．

clean-usnob Solving Vehicle Equipment Specification Problems with Answer Set Programming
PADL 2023
repository / paper

ASPを用いた車両装備仕様問題に関する論文です．