-
最近の投稿
- 3D Equivariant Visuomotor Policy Learning via Spherical Projection
- Generalization Bounds for Heavy-Tailed SDEs through the Fractional Fokker-Planck Equation
- Statistical Taylor Expansion
- Humans Coexist, So Must Embodied Artificial Agents
- BOPO: Neural Combinatorial Optimization via Best-anchored and Objective-guided Preference Optimization
-
最近のコメント
表示できるコメントはありません。 cs.AI (39070) cs.CL (29554) cs.CV (44473) cs.HC (2974) cs.LG (43974) cs.RO (23299) cs.SY (3561) eess.IV (5120) eess.SY (3553) stat.ML (5712)
「68T30」カテゴリーアーカイブ
IG Parser: A Software Package for the Encoding of Institutional Statements using the Institutional Grammar
要約 この記事では、Ig Parserの概要を説明します。これは、正式な(例:法 … 続きを読む
IG Parser: A Software Package for the Encoding of Institutional Statements using the Institutional Grammar
要約 この記事では、Ig Parserの概要を説明します。これは、正式な(例:法 … 続きを読む
Execution Semantics of Behavior Trees in Robotic Applications
要約 動作ツリー(BTS)は、魅力的な機能、制御ポリシーの概念モデルとしての使い … 続きを読む
ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding
要約 DLV2は、アカデミックアプリケーションと産業用アプリケーションの両方で使 … 続きを読む
A Review on Knowledge Graphs for Healthcare: Resources, Applications, and Promises
要約 本総説は、ヘルスケア知識グラフ(HKG)の現状を概観し、その構築、利用モデ … 続きを読む
Developing a Foundation of Vector Symbolic Architectures Using Category Theory
要約 誇張する危険がありますが、機械学習、つまりニューラル ネットワークに対する … 続きを読む
A Mathematical Framework for the Problem of Security for Cognition in Neurotechnology
要約 近年のニューロテクノロジーの急速な進歩により、ニューロテクノロジーとセキュ … 続きを読む
ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding
要約 DLV2 は、知識表現と推論のための AI ツールで、論理ベースの宣言形式 … 続きを読む
A logic for reasoning with inconsistent knowledge — A reformulation using nowadays terminology (2024)
要約 多くの状況で、人間は一貫性のない知識をもとに推論しなければなりません。 こ … 続きを読む
A logic for reasoning with inconsistent knowledge — A reformulation using nowadays terminology (2024)
要約 多くの状況で、人間は一貫性のない知識をもとに推論しなければなりません。 こ … 続きを読む