-
最近の投稿
- Cosmos-Transfer1: Conditional World Generation with Adaptive Multimodal Control
- VizFlyt: Perception-centric Pedagogical Framework For Autonomous Aerial Robots
- Emotion estimation from video footage with LSTM
- FUSION: Frequency-guided Underwater Spatial Image recOnstructioN
- Plan-and-Act using Large Language Models for Interactive Agreement
-
最近のコメント
表示できるコメントはありません。 cs.AI (36042) cs.CL (27267) cs.CR (2746) cs.CV (41886) cs.LG (41010) cs.RO (21266) cs.SY (3212) eess.IV (4914) eess.SY (3206) stat.ML (5374)
「cs.LO」カテゴリーアーカイブ
The Sigma-max System Induced from Randomness & Fuzziness and its Application in Time Series Prediction
要約 この論文は、明確に定義されたランダム性とファジー性からそれぞれ確率論 (シ … 続きを読む
Towards Projected and Incremental Pseudo-Boolean Model Counting
要約 モデルのカウントは、通常論理積正規形 (CNF) で行われる論理式への満足 … 続きを読む
Formal Mathematical Reasoning: A New Frontier in AI
要約 AI for Mathematics (AI4Math) は、知的に興味深 … 続きを読む
Probabilistic Strategy Logic with Degrees of Observability
要約 不完全な情報の下でエージェントの戦略的能力について推論することについては、 … 続きを読む
Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis
要約 ブール回路を操作するためのオープンソース ツールを紹介します。 充足可能性 … 続きを読む
Probabilistic Strategy Logic with Degrees of Observability
要約 不完全な情報の下でエージェントの戦略的能力について推論することについては、 … 続きを読む
DODGE: Ontology-Aware Risk Assessment via Object-Oriented Disruption Graphs
要約 危険な出来事や行動を考えるとき、関係するオブジェクトの役割を軽視してはなり … 続きを読む
A Computationally Grounded Framework for Cognitive Attitudes (extended version)
要約 認識論的タイプと動機付けタイプの両方のエージェントの認知的態度について推論 … 続きを読む
Spectra of Cardinality Queries over Description Logic Knowledge Bases
要約 最近の研究では、記述ロジック オントロジーと組み合わせたカウント クエリの … 続きを読む
A Variable Occurrence-Centric Framework for Inconsistency Handling (Extended Version)
要約 この論文では、命題基底の不一致を分析および処理するための構文フレームワーク … 続きを読む