-
最近の投稿
- FEAST: A Flexible Mealtime-Assistance System Towards In-the-Wild Personalization
- Time-Optimized Safe Navigation in Unstructured Environments through Learning Based Depth Completion
- Advances in Compliance Detection: Novel Models Using Vision-Based Tactile Sensors
- Mass-Adaptive Admittance Control for Robotic Manipulators
- DreamGen: Unlocking Generalization in Robot Learning through Video World Models
-
最近のコメント
表示できるコメントはありません。 cs.AI (39879) cs.CL (30187) cs.CV (45175) cs.HC (3051) cs.LG (44808) cs.RO (23879) cs.SY (3632) eess.IV (5170) eess.SY (3624) stat.ML (5830)
「cs.LO」カテゴリーアーカイブ
Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic
要約 二分決定図 (BDD) は、モデル チェックにおける状態爆発の問題を軽減す … 続きを読む
Cognitive Bias and Belief Revision
要約 この論文では、信念修正の枠組みの中で、確証バイアス、フレーミングバイアス、 … 続きを読む
Aggregating Credences into Beliefs: Agenda Conditions for Impossibility Results
要約 信念集約の 2 値化では、個々の確率的信念を集合的な 2 値信念に合理的に … 続きを読む
A Modal Logic for Explaining some Graph Neural Networks
要約 本稿では、線形不等式に計数モダリティが現れる様相論理を提案します。 各式を … 続きを読む
Stable Normative Explanations: From Argumentation to Deontic Logic
要約 この論文は、Defeasible Logic の他の場所で開発された安定し … 続きを読む
Adapting Neural Link Predictors for Data-Efficient Complex Query Answering
要約 不完全なナレッジ グラフに対する複雑なクエリに答えることは、欠落したナレッ … 続きを読む
Deductive Controller Synthesis for Probabilistic Hyperproperties
要約 確率的超特性は、異なる初期状態セットから異なるターゲット状態セットに到達す … 続きを読む
On Formal Feature Attribution and Its Approximation
要約 近年、人工知能 (AI) アルゴリズムと機械学習 (ML) モデルが広く使 … 続きを読む
AGM Belief Revision, Semantically
要約 私たちは、Alchourr\'{o}n、G\’a}rdenfo … 続きを読む