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

Semiring Provenance for Lightweight Description Logics

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

要約 Semiringの起源（リレーショナルデータベースの設定で元々定義されてい … 続きを読む →

カテゴリー: cs.AI, cs.DB, cs.LO | コメントする

Splitting Answer Set Programs with respect to Intensionality Statements (Extended Version)

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

要約 ロジックプログラムを分割すると、安定したモデルをサブプログラムの同様のタス … 続きを読む →

カテゴリー: cs.AI, cs.LO | コメントする

Research Vision: Multi-Agent Path Planning for Cops And Robbers Via Reactive Synthesis

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

要約 リアクティブ合成を介して、古典的な警官と強盗ゲームの一般化のためのマルチエ … 続きを読む →

カテゴリー: cs.AI, cs.LO | コメントする

Double-Stage Feature-Level Clustering-Based Mixture of Experts Framework

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

要約 Experts（MOE）の混合モデルは、深い学習（DL）に成功しました。 … 続きを読む →

カテゴリー: cs.AI, cs.CV, cs.LG, cs.LO | Double-Stage Feature-Level Clustering-Based Mixture of Experts Framework はコメントを受け付けていません

Matrix Factorization for Inferring Associations and Missing Links

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

要約 ミスリンク予測は、知識グラフの推奨システム、生物学、社会科学、サイバーセキ … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO | Matrix Factorization for Inferring Associations and Missing Links はコメントを受け付けていません

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

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

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

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

FORM: Learning Expressive and Transferable First-Order Logic Reward Machines

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

要約 報酬機（RMS）は、有限状態マシンを介して補強学習（RL）における非マルコ … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.LO, cs.SC | FORM: Learning Expressive and Transferable First-Order Logic Reward Machines はコメントを受け付けていません

Probabilistic Variational Causal Approach in Observational Studies

投稿日: 2025年2月28日 作成者: jarxiv

要約 この論文では、根本的な問題との関連性に基づいて、観察研究におけるイベントの … 続きを読む →

カテゴリー: 26A45, 6008, 68T20, 68T27, 68T37, 68U99, cs.AI, cs.LO, G.3 | Probabilistic Variational Causal Approach in Observational Studies はコメントを受け付けていません

Faithful Logic Embeddings in HOL — A recipe to have it all: deep and shallow, automated and interactive, heavy and light, proofs and counterexamples, meta and object level

投稿日: 2025年2月27日 作成者: jarxiv

要約 古典的な高次ロジックにおける非古典的なロジックの深く浅い埋め込みは、近年、 … 続きを読む →

カテゴリー: 03Axx, 03B15, 03Bxx, 68T15, cs.AI, cs.LO, cs.MS, I.2.3, math.LO | Faithful Logic Embeddings in HOL — A recipe to have it all: deep and shallow, automated and interactive, heavy and light, proofs and counterexamples, meta and object level はコメントを受け付けていません

Mixing Any Cocktail with Limited Ingredients: On the Structure of Payoff Sets in Multi-Objective MDPs and its Impact on Randomised Strategies

投稿日: 2025年2月26日 作成者: jarxiv

要約 マルコフの決定プロセスにおける多次元ペイオフ関数を検討し、特定の予想ペイオ … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.GT, cs.LO, math.PR | Mixing Any Cocktail with Limited Ingredients: On the Structure of Payoff Sets in Multi-Objective MDPs and its Impact on Randomised Strategies はコメントを受け付けていません