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

Pruning Boolean d-DNNF Circuits Through Tseitin-Awareness

投稿日: 2024年7月26日 作成者: jarxiv

要約 d-DNNF 形式のブール回路により、扱いやすい確率的推論が可能になります … 続きを読む →

カテゴリー: cs.AI, cs.LO | Pruning Boolean d-DNNF Circuits Through Tseitin-Awareness はコメントを受け付けていません

LLM-ARC: Enhancing LLMs with an Automated Reasoning Critic

投稿日: 2024年7月22日 作成者: jarxiv

要約 大規模言語モデル (LLM) を自動推論クリティック (ARC) と組み合 … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LO | LLM-ARC: Enhancing LLMs with an Automated Reasoning Critic はコメントを受け付けていません

The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules

投稿日: 2024年7月22日 作成者: jarxiv

要約 オントロジーベースのクエリ応答の分野における広範な研究により、アトミックク … 続きを読む →

カテゴリー: cs.AI, cs.DB, cs.LO | The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules はコメントを受け付けていません

TTT: A Temporal Refinement Heuristic for Tenuously Tractable Discrete Time Reachability Problems

投稿日: 2024年7月22日 作成者: jarxiv

要約 到達可能集合の計算は、制御システムを分析するための重要なツールです。 制御 … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.SY, eess.SY | TTT: A Temporal Refinement Heuristic for Tenuously Tractable Discrete Time Reachability Problems はコメントを受け付けていません

Continuous reasoning for adaptive container image distribution in the cloud-edge continuum

投稿日: 2024年7月18日 作成者: jarxiv

要約 クラウド エッジ コンピューティングでは、アプリケーションがさまざまなイン … 続きを読む →

カテゴリー: cs.AI, cs.DC, cs.LO, cs.SE | Continuous reasoning for adaptive container image distribution in the cloud-edge continuum はコメントを受け付けていません

Bridging Weighted First Order Model Counting and Graph Polynomials

投稿日: 2024年7月17日 作成者: jarxiv

要約 重み付き 1 次モデル計数問題 (WFOMC) は、指定されたドメインにわ … 続きを読む →

カテゴリー: cs.AI, cs.LO, F.4.0 | Bridging Weighted First Order Model Counting and Graph Polynomials はコメントを受け付けていません

Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats

投稿日: 2024年7月15日 作成者: jarxiv

要約 2019 年の先駆的な研究で、Barcel\’o とその共著者 … 続きを読む →

カテゴリー: cs.AI, cs.LO, F.1.1 | Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats はコメントを受け付けていません

CFaults: Model-Based Diagnosis for Fault Localization in C Programs with Multiple Test Cases

投稿日: 2024年7月15日 作成者: jarxiv

要約 デバッグは、ソフトウェア開発において最も時間と費用がかかるタスクの 1 つ … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.SE | CFaults: Model-Based Diagnosis for Fault Localization in C Programs with Multiple Test Cases はコメントを受け付けていません

Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis

投稿日: 2024年7月15日 作成者: jarxiv

要約 リアクティブ合成は、時相論理仕様から正しいコントローラーを生成するプロセス … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.SE | Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis はコメントを受け付けていません

Bi-reachability in Petri nets with data

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

要約 私たちは、トークンが無限のデータ ドメインからの値を運び、遷移の実行可能性 … 続きを読む →

カテゴリー: cs.CL, cs.FL, cs.LO | Bi-reachability in Petri nets with data はコメントを受け付けていません