-
最近の投稿
- Global-Local Interface with Selective Direct and Singularity-Avoiding Motion Mapping for Intuitive Teleoperation
- Data-Dependent Hidden Markov Model with Off-Road State Determination and Real-Time Viterbi Algorithm for Lane Determination in Autonomous Vehicles
- Prismatic-Bending Transformable (PBT) Joint for a Modular, Foldable Manipulator with Enhanced Reachability and Dexterity
- Simplification of Robotic System Model Analysis by Petri Net Meta-Model Property Transfer
- Steerable Scene Generation with Post Training and Inference-Time Search
-
最近のコメント
表示できるコメントはありません。 cs.AI (37825) cs.CL (28592) cs.CV (43449) cs.HC (2892) cs.LG (42754) cs.RO (22471) cs.SY (3449) eess.IV (5040) eess.SY (3441) stat.ML (5580)
「cs.LO」カテゴリーアーカイブ
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)
要約 この論文では、命題基底の不一致を分析および処理するための構文フレームワーク … 続きを読む
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
要約 この論文では、さまざまなジェネレーターおよびテスター プログラムでインスタ … 続きを読む