時間論理におけるMUCs時間論理におけるMUCs論理の矛盾を見つける新しいアプローチ。人工知能時間論理における最小不満足コアの特定線形時間論理における最小不満足コアを見つけるための新しい方法。Antonio Ielo, Giuseppe Mazzotta, Rafael Peñaloza2025-06-12T02:52:12+00:00 ― 1 分で読む