Samuel Pastva

収録論文 1本 ・ フィジカルAI/ロボット学習

※arXiv著者名で収集。同姓同名の別人の論文が含まれる場合があります。

論文

• BAss: 抽象弁証法的枠組みにおける記号的推論
  形式的議論2026/4/30

  二分決定図を用いて抽象弁証法的枠組みの解釈を効率的に列挙する新しい記号的ソルバーを提案し、既存ツールを大幅に上回る性能を示した。