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

Situated Conditional Reasoning

投稿日: 2023年4月18日 作成者: jarxiv

要約 タイトル：Situated Conditional Reasoning（状 … 続きを読む →

カテゴリー: cs.AI, cs.LO | Situated Conditional Reasoning はコメントを受け付けていません

Decidability of Querying First-Order Theories via Countermodels of Finite Width

投稿日: 2023年4月14日 作成者: jarxiv

要約 タイトル：有限幅のカウンターモデルを用いた一階理論の問い合わせの決定可能性 … 続きを読む →

カテゴリー: cs.AI, cs.DB, cs.DM, cs.LO, math.LO | Decidability of Querying First-Order Theories via Countermodels of Finite Width はコメントを受け付けていません

Global Explainability of GNNs via Logic Combination of Learned Concepts

投稿日: 2023年4月13日 作成者: jarxiv

要約 タイトル：グラフニューラルネットワークの学習済み概念の論理組み合わせによる … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO | Global Explainability of GNNs via Logic Combination of Learned Concepts はコメントを受け付けていません

Strategy Synthesis for Zero-Sum Neuro-Symbolic Concurrent Stochastic Games

投稿日: 2023年4月13日 作成者: jarxiv

要約 タイトル：Zero-Sum Neuro-Symbolic Concurre … 続きを読む →

カテゴリー: cs.AI, cs.GT, cs.LO | Strategy Synthesis for Zero-Sum Neuro-Symbolic Concurrent Stochastic Games はコメントを受け付けていません

Making first order linear logic a generating grammar

投稿日: 2023年4月10日 作成者: jarxiv

要約 タイトル：第一級線形論理を生成文法にする 要約： – 同じ範囲 … 続きを読む →

カテゴリー: cs.CL, cs.LO, math.LO | Making first order linear logic a generating grammar はコメントを受け付けていません

Maximal Ordinal Two-Factorizations

投稿日: 2023年4月10日 作成者: jarxiv

要約 タイトル：最大順序2-因子分割 要約： – 順序因子とは、概念 … 続きを読む →

カテゴリー: 03G10, 06-08, 06A07, 68R10, 90C27, cs.AI, cs.LG, cs.LO, F.2.2, math.CO | Maximal Ordinal Two-Factorizations はコメントを受け付けていません

Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes

投稿日: 2023年4月7日 作成者: jarxiv

要約 タイトル：ストキャスティックプロセスのSTL要件に対するコンホーマル量的予 … 続きを読む →

カテゴリー: cs.LG, cs.LO, cs.RO, cs.SY, eess.SY | Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes はコメントを受け付けていません

Belief, knowledge and evidence

投稿日: 2023年4月5日 作成者: jarxiv

要約 【タイトル】信念、知識、および証拠 【要約】 – 信念、知識、 … 続きを読む →

カテゴリー: cs.AI, cs.LO | Belief, knowledge and evidence はコメントを受け付けていません

Semantic Representations of Mathematical Expressions in a Continuous Vector Space

投稿日: 2023年4月4日 作成者: jarxiv

要約 タイトル：連続ベクトル空間における数式の意味表現 要約： – … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LO | Semantic Representations of Mathematical Expressions in a Continuous Vector Space はコメントを受け付けていません

Logical Message Passing Networks with One-hop Inference on Atomic Formulas

投稿日: 2023年4月3日 作成者: jarxiv

要約 タイトル：原子的なフォーミュラによる一段階推論に基づいた論理メッセージパッ … 続きを読む →

カテゴリー: cs.LG, cs.LO | Logical Message Passing Networks with One-hop Inference on Atomic Formulas はコメントを受け付けていません