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

Range-Restricted Interpolation through Clausal Tableaux

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

要約 範囲制限のバリエーションと Horn プロパティを、一次ロジックでの Cr … 続きを読む →

カテゴリー: cs.AI, cs.DB, cs.LO | Range-Restricted Interpolation through Clausal Tableaux はコメントを受け付けていません

Providing personalized Explanations: a Conversational Approach

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

要約 AI システムのアプリケーションが増加すると、利害関係者はさまざまな知識や … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.MA | Providing personalized Explanations: a Conversational Approach はコメントを受け付けていません

Tackling Universal Properties of Minimal Trap Spaces of Boolean Networks

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

要約 最小トラップ スペース (MTS) は、更新モードに関係なく、ブール ダイ … 続きを読む →

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

Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks

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

要約 抽象化は、スケーラビリティを向上させるための重要な検証手法です。 ただし、 … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO | Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks はコメントを受け付けていません

Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features

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

要約 ALC を拡張した記述ロジックにおける充足可能性チェックとクエリの決定可能 … 続きを読む →

カテゴリー: cs.AI, cs.LO | Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features はコメントを受け付けていません

Learning to Select SAT Encodings for Pseudo-Boolean and Linear Integer Constraints

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

要約 多くの制約充足問題と最適化問題は、ブール充足可能性問題 (SAT) のイン … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO | Learning to Select SAT Encodings for Pseudo-Boolean and Linear Integer Constraints はコメントを受け付けていません

Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets

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

要約 この論文は、決定可能なクエリ含意を持つ存在ルール セットの非常に表現力豊か … 続きを読む →

カテゴリー: cs.AI, cs.DB, cs.LO, math.LO | Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets はコメントを受け付けていません

Exploiting Transformer in Sparse Reward Reinforcement Learning for Interpretable Temporal Logic Motion Planning

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

要約 オートマトンベースのアプローチにより、ロボットがさまざまな複雑なタスクを実 … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.RO | Exploiting Transformer in Sparse Reward Reinforcement Learning for Interpretable Temporal Logic Motion Planning はコメントを受け付けていません

Neurosymbolic AI for Reasoning on Biomedical Knowledge Graphs

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

要約 生物医学データセットは、生物医学システムのマルチリレーショナル、異種混合、 … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO | Neurosymbolic AI for Reasoning on Biomedical Knowledge Graphs はコメントを受け付けていません

Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets

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

要約 この論文は、決定可能なクエリ含意を持つ存在ルール セットの非常に表現力豊か … 続きを読む →

カテゴリー: cs.AI, cs.DB, cs.LO, math.LO | Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets はコメントを受け付けていません