-
最近の投稿
- A Hierarchical Reinforcement Learning Framework for Multi-UAV Combat Using Leader-Follower Strategy
- A 65 nm Bayesian Neural Network Accelerator with 360 fJ/Sample In-Word GRNG for AI Uncertainty Estimation
- Map Prediction and Generative Entropy for Multi-Agent Exploration
- Polyhedral Collision Detection via Vertex Enumeration
- Safe and Efficient Robot Action Planning in the Presence of Unconcerned Humans
-
最近のコメント
表示できるコメントはありません。 cs.AI (32657) cs.CL (24688) cs.CR (2523) cs.CV (38845) cs.LG (37527) cs.RO (19009) cs.SY (2906) eess.IV (4656) eess.SY (2900) stat.ML (4944)
「cs.LO」カテゴリーアーカイブ
Spectra of Cardinality Queries over Description Logic Knowledge Bases
要約 最近の研究では、記述ロジック オントロジーと組み合わせたカウント クエリの … 続きを読む
A Variable Occurrence-Centric Framework for Inconsistency Handling (Extended Version)
要約 この論文では、命題基底の不一致を分析および処理するための構文フレームワーク … 続きを読む
A Theory of Formalisms for Representing Knowledge
要約 AI で知識を表現するのにどの形式主義が最適であるかについては、長年の論争 … 続きを読む
A Variable Occurrence-Centric Framework for Inconsistency Handling (Extended Version)
要約 この論文では、命題基底の不一致を分析および処理するための構文フレームワーク … 続きを読む
Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives
要約 部分的に観察可能なマルコフ決定プロセス (POMDP) は、逐次的な意思決 … 続きを読む
Direct Encoding of Declare Constraints in ASP
要約 よく知られた宣言型ロジック プログラミング パラダイムであるアンサー セッ … 続きを読む
Solving Epistemic Logic Programs using Generate-and-Test with Propagation
要約 この論文では、さまざまなジェネレーターおよびテスター プログラムでインスタ … 続きを読む
Large language models as oracles for instantiating ontologies with domain-specific knowledge
要約 背景。 インテリジェント システムにセマンティック データを提供するには、 … 続きを読む
Is uniform expressivity too restrictive? Towards efficient expressivity of graph neural networks
要約 均一な表現力により、入力グラフのサイズに応じて、グラフ ニューラル ネット … 続きを読む
Nl2Hltl2Plan: Scaling Up Natural Language Understanding for Multi-Robots Through Hierarchical Temporal Logic Task Representation
要約 専門家以外でも長期にわたるマルチロボットの共同作業を指定できるようにするた … 続きを読む