「cs.LO」カテゴリーアーカイブ

Computing Approximated Fixpoints via Dampened Mann Iteration

投稿日: 2025年1月16日 作成者: jarxiv

要約 固定点はコンピュータ サイエンスのいたるところに存在し、定量的意味論や検証 … 続きを読む →

カテゴリー: cs.LG, cs.LO | Computing Approximated Fixpoints via Dampened Mann Iteration はコメントを受け付けていません

Inductive Learning of Logical Theories with LLMs: An Expressivity-Graded Analysis

投稿日: 2025年1月15日 作成者: jarxiv

要約 この研究は、論理理論帰納法に関する形式推論エンジンからのフィードバックを使 … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LO, I.2.7 | Inductive Learning of Logical Theories with LLMs: An Expressivity-Graded Analysis はコメントを受け付けていません

Inductive Learning of Robot Task Knowledge from Raw Data and Online Expert Feedback

投稿日: 2025年1月14日 作成者: jarxiv

要約 ロボットの自律性レベルの向上により、特に人間とロボットの相互作用のシナリオ … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.RO | Inductive Learning of Robot Task Knowledge from Raw Data and Online Expert Feedback はコメントを受け付けていません

MARS: A neurosymbolic approach for interpretable drug discovery

投稿日: 2025年1月13日 作成者: jarxiv

要約 ニューロシンボリック (NeSy) 人工知能は、ロジックまたはルールベース … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO | MARS: A neurosymbolic approach for interpretable drug discovery はコメントを受け付けていません

Formal Modeling and Verification of Publisher-Subscriber Paradigm in ROS 2

投稿日: 2025年1月10日 作成者: jarxiv

要約 ロボット オペレーティング システム (ROS) は、ロボット アプリケー … 続きを読む →

カテゴリー: cs.LO, cs.RO | Formal Modeling and Verification of Publisher-Subscriber Paradigm in ROS 2 はコメントを受け付けていません

From Scientific Texts to Verifiable Code: Automating the Process with Transformers

投稿日: 2025年1月10日 作成者: jarxiv

要約 形式的保証のあるアルゴリズムを提案する膨大な研究文献があるにもかかわらず、 … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.SE, D.2.3 | From Scientific Texts to Verifiable Code: Automating the Process with Transformers はコメントを受け付けていません

TimelineKGQA: A Comprehensive Question-Answer Pair Generator for Temporal Knowledge Graphs

投稿日: 2025年1月9日 作成者: jarxiv

要約 テンポラル ナレッジ グラフ (TKG) を使用した質問応答は、進化する事 … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LO | TimelineKGQA: A Comprehensive Question-Answer Pair Generator for Temporal Knowledge Graphs はコメントを受け付けていません

Neural DNF-MT: A Neuro-symbolic Approach for Learning Interpretable and Editable Policies

投稿日: 2025年1月8日 作成者: jarxiv

要約 深層強化学習は効果的であることが示されていますが、モデルのブラックボックス … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO | Neural DNF-MT: A Neuro-symbolic Approach for Learning Interpretable and Editable Policies はコメントを受け付けていません

The Sigma-max System Induced from Randomness & Fuzziness and its Application in Time Series Prediction

投稿日: 2025年1月3日 作成者: jarxiv

要約 この論文は、明確に定義されたランダム性とファジー性からそれぞれ確率論 (シ … 続きを読む →

カテゴリー: 03B48, 03B52, 60A05, 68T07, cs.AI, cs.LO, math.PR | The Sigma-max System Induced from Randomness & Fuzziness and its Application in Time Series Prediction はコメントを受け付けていません

Towards Projected and Incremental Pseudo-Boolean Model Counting

投稿日: 2024年12月23日 作成者: jarxiv

要約 モデルのカウントは、通常論理積正規形 (CNF) で行われる論理式への満足 … 続きを読む →

カテゴリー: cs.AI, cs.LO | Towards Projected and Incremental Pseudo-Boolean Model Counting はコメントを受け付けていません