-
最近の投稿
- Learning to Drive Anywhere with Model-Based Reannotation11
- KineSoft: Learning Proprioceptive Manipulation Policies with Soft Robot Hands
- CityNavAgent: Aerial Vision-and-Language Navigation with Hierarchical Semantic Planning and Global Memory
- Closing the Loop: Motion Prediction Models beyond Open-Loop Benchmarks
- Adaptive Stress Testing Black-Box LLM Planners
-
最近のコメント
表示できるコメントはありません。 cs.AI (37890) cs.CL (28643) cs.CV (43507) cs.HC (2900) cs.LG (42826) cs.RO (22521) cs.SY (3457) eess.IV (5045) eess.SY (3449) stat.ML (5583)
「cs.LO」カテゴリーアーカイブ
Beyond Winning Strategies: Admissible and Admissible Winning Strategies for Quantitative Reachability Games
要約 古典的な反応性合成アプローチは、常に指定された仕様を満たす反応性システムを … 続きを読む
Logic interpretations of ANN partition cells
要約 フィードフォワード人工ニューラル ネットワーク (ANN) を使用して解決 … 続きを読む
Machine Learning for Quantifier Selection in cvc5
要約 この研究では、量化子選択の効率的な機械学習ガイダンスによって、一次量化問題 … 続きを読む
Temporal Ensemble Logic
要約 線形時間時相推論のためのモナディック 1 次様相論理である Tempora … 続きを読む
Abductive Reasoning in a Paraconsistent Framework
要約 私たちは、パラコンシステントなフレームワークを採用することで、古典的に矛盾 … 続きを読む
Query languages for neural networks
要約 私たちは、宣言型言語を使用してニューラル ネットワーク モデルにクエリを実 … 続きを読む
Probabilities of the Third Type: Statistical Relational Learning and Reasoning with Relative Frequencies
要約 リレーショナル データに対する確率的な依存関係をモデル化する場合、ドメイン … 続きを読む
A fuzzy loss for ontology classification
要約 深層学習モデルは、適用されるタスクに固有の制約を認識していないことがよくあ … 続きを読む
Learning Brave Assumption-Based Argumentation Frameworks via ASP
要約 仮定に基づく議論 (ABA) は、論理プログラミングを含むさまざまな形式の … 続きを読む
Symbolic Parameter Learning in Probabilistic Answer Set Programming
要約 パラメータの学習は、統計的リレーショナル人工知能の分野において重要なタスク … 続きを読む