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

From Shapes to Shapes: Inferring SHACL Shapes for Results of SPARQL CONSTRUCT Queries (Extended Version)

投稿日: 2024年2月14日 作成者: jarxiv

要約 SPARQL CONSTRUCT クエリを使用すると、指定された入力グラフ … 続きを読む →

カテゴリー: cs.AI, cs.DB, cs.LO | From Shapes to Shapes: Inferring SHACL Shapes for Results of SPARQL CONSTRUCT Queries (Extended Version) はコメントを受け付けていません

Boolean proportions

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

要約 著者は最近、普遍代数の一般的な設定内で類推比例の抽象的な代数の枠組みを導入 … 続きを読む →

カテゴリー: 03B70, 68T27, cs.AI, cs.DM, cs.LO | Boolean proportions はコメントを受け付けていません

Finding hardness reductions automatically using SAT solvers

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

要約 この記事では、完了問題、つまり部分構造を完全な構造に完成させることができる … 続きを読む →

カテゴリー: cs.AI, cs.CC, cs.DS, cs.LO, math.CO | Finding hardness reductions automatically using SAT solvers はコメントを受け付けていません

Structured d-DNNF Is Not Closed Under Negation

投稿日: 2024年2月8日 作成者: jarxiv

要約 構造化された d-DNNF と SDD は両方とも、OBDD よりも指数関 … 続きを読む →

カテゴリー: cs.AI, cs.LO | Structured d-DNNF Is Not Closed Under Negation はコメントを受け付けていません

SMLP: Symbolic Machine Learning Prover

投稿日: 2024年2月5日 作成者: jarxiv

要約 記号的機械学習プローバ(SMLP)は、多数の入力ベクトルに対するシステムの … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO, cs.SC, math.OC | SMLP: Symbolic Machine Learning Prover はコメントを受け付けていません

Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis

投稿日: 2024年1月31日 作成者: jarxiv

要約 Z3 などの最新の SMT ソルバーは、ユーザーが制御可能な戦略を提供して … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.SE | Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis はコメントを受け付けていません

Conditional and Modal Reasoning in Large Language Models

投稿日: 2024年1月31日 作成者: jarxiv

要約 大規模言語モデル (LLM) の推論能力は、人工知能と認知科学におけるます … 続きを読む →

カテゴリー: 03B65, 68T50, cs.AI, cs.CL, cs.LO, I.2.7 | Conditional and Modal Reasoning in Large Language Models はコメントを受け付けていません

Learning logic programs by finding minimal unsatisfiable subprograms

投稿日: 2024年1月30日 作成者: jarxiv

要約 帰納的論理プログラミング (ILP) の目標は、トレーニング例と背景知識を … 続きを読む →

カテゴリー: cs.LG, cs.LO | Learning logic programs by finding minimal unsatisfiable subprograms はコメントを受け付けていません

Learning big logical rules by joining small rules

投稿日: 2024年1月30日 作成者: jarxiv

要約 帰納的論理プログラミングにおける大きな課題は、大きなルールを学習することで … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO | Learning big logical rules by joining small rules はコメントを受け付けていません

End-To-End Set-Based Training for Neural Network Verification

投稿日: 2024年1月29日 作成者: jarxiv

要約 ニューラル ネットワークは敵対的な攻撃に対して脆弱です。つまり、小さな入力 … 続きを読む →

カテゴリー: cs.CR, cs.LG, cs.LO | End-To-End Set-Based Training for Neural Network Verification はコメントを受け付けていません