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

Graph-Based Reductions for Parametric and Weighted MDPs

要約 タイトル:パラメータ化されたMDPおよび重み付きMDPのためのグラフベース … 続きを読む

カテゴリー: cs.AI, cs.LO | Graph-Based Reductions for Parametric and Weighted MDPs はコメントを受け付けていません

The Compositional Structure of Bayesian Inference

要約 タイトル:ベイズ推論の構成的構造 要約:ベイズの法則は、新しい証拠に基づい … 続きを読む

カテゴリー: cs.AI, cs.LO, cs.PL, math.CT, math.PR | The Compositional Structure of Bayesian Inference はコメントを受け付けていません

On Preimage Approximation for Neural Networks

要約 タイトル:ニューラルネットワークのプレイメージ近似について 要約: &#8 … 続きを読む

カテゴリー: cs.LG, cs.LO, cs.SE | On Preimage Approximation for Neural Networks はコメントを受け付けていません

On Preimage Approximation for Neural Networks

要約 タイトル:ニューラルネットワークの前像近似について 要約: – … 続きを読む

カテゴリー: cs.LG, cs.LO, cs.SE | On Preimage Approximation for Neural Networks はコメントを受け付けていません

Reverse Engineering of Temporal Queries Mediated by LTL Ontologies

要約 【タイトル】 LTLオントロジーを介した時間的クエリのリバースエンジニアリ … 続きを読む

カテゴリー: cs.AI, cs.LO, I.2.4 | Reverse Engineering of Temporal Queries Mediated by LTL Ontologies はコメントを受け付けていません

Tackling Universal Properties of Minimal Trap Spaces of Boolean Networks

要約 タイトル:ブールネットワークの最小トラップ空間の普遍的な特性に対処する 要 … 続きを読む

カテゴリー: cs.AI, cs.DM, cs.LO, cs.SY, eess.SY, q-bio.MN | Tackling Universal Properties of Minimal Trap Spaces of Boolean Networks はコメントを受け付けていません

Reverse Engineering of Temporal Queries Mediated by LTL Ontologies

要約 タイトル:LTLオントロジーによって仲介された時間的クエリの逆エンジニアリ … 続きを読む

カテゴリー: cs.AI, cs.LO, I.2.4 | Reverse Engineering of Temporal Queries Mediated by LTL Ontologies はコメントを受け付けていません

Complex Logical Reasoning over Knowledge Graphs using Large Language Models

要約 タイトル:大規模言語モデルを利用した知識グラフ上での複雑な論理推論 要約: … 続きを読む

カテゴリー: cs.AI, cs.IR, cs.LO, F.4.1 | Complex Logical Reasoning over Knowledge Graphs using Large Language Models はコメントを受け付けていません

Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning

要約 タイトル:Chronosymbolic Learning:シンボリック推論 … 続きを読む

カテゴリー: cs.AI, cs.LO, cs.PL | Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning はコメントを受け付けていません

Language Model Analysis for Ontology Subsumption Inference

要約 タイトル:オントロジーの包含推論のための言語モデル分析 要約: &#821 … 続きを読む

カテゴリー: cs.AI, cs.CL, cs.LO | Language Model Analysis for Ontology Subsumption Inference はコメントを受け付けていません