Answer Set Programmingを用いたルーティングとスケジューリングに適用されるマルチエージェントパスファインディングの研究

時間の流れを部分順序で捉え、ASPでのルーティングとスケジューリング手法を提案。