「cs.LO」カテゴリーアーカイブ

Is uniform expressivity too restrictive? Towards efficient expressivity of graph neural networks

投稿日: 2024年12月6日 作成者: jarxiv

要約 均一な表現力により、入力グラフのサイズに応じて、グラフ ニューラル ネット … 続きを読む →

カテゴリー: cs.CC, cs.LG, cs.LO | 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

投稿日: 2024年12月6日 作成者: jarxiv

要約 専門家以外でも長期にわたるマルチロボットの共同作業を指定できるようにするた … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.RO | Nl2Hltl2Plan: Scaling Up Natural Language Understanding for Multi-Robots Through Hierarchical Temporal Logic Task Representation はコメントを受け付けていません

Nl2Hltl2Plan: Scaling Up Natural Language Understanding for Multi-Robots Through Hierarchical Temporal Logic Task Representation

投稿日: 2024年12月5日 作成者: jarxiv

要約 専門家以外でも長期にわたるマルチロボットの共同作業を指定できるようにするた … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.RO | Nl2Hltl2Plan: Scaling Up Natural Language Understanding for Multi-Robots Through Hierarchical Temporal Logic Task Representation はコメントを受け付けていません

Data quality dimensions for fair AI

投稿日: 2024年12月5日 作成者: jarxiv

要約 人工知能 (AI) システムは本質的に中立ではなく、どのような種類の技術ツ … 続きを読む →

カテゴリー: cs.AI, cs.LO, F.3.0 | Data quality dimensions for fair AI はコメントを受け付けていません

Nl2Hltl2Plan: Scaling Up Natural Language Understanding for Multi-Robots Through Hierarchical Temporal Logic Task Representation

投稿日: 2024年12月3日 作成者: jarxiv

要約 専門家以外でも長期にわたるマルチロボットの共同作業を指定できるようにするた … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.RO | Nl2Hltl2Plan: Scaling Up Natural Language Understanding for Multi-Robots Through Hierarchical Temporal Logic Task Representation はコメントを受け付けていません

Counting Like Transformers: Compiling Temporal Counting Logic Into Softmax Transformers

投稿日: 2024年12月3日 作成者: jarxiv

要約 トランスフォーマーの表現力に関する形式的な限界を導き出すこと、および既知の … 続きを読む →

カテゴリー: cs.CL, cs.FL, cs.LG, cs.LO | Counting Like Transformers: Compiling Temporal Counting Logic Into Softmax Transformers はコメントを受け付けていません

Enriching Ontologies with Disjointness Axioms using Large Language Models

投稿日: 2024年12月3日 作成者: jarxiv

要約 オントロジーは、ナレッジ グラフでの高度な推論と一貫性チェックには有用であ … 続きを読む →

カテゴリー: cs.AI, cs.LO | Enriching Ontologies with Disjointness Axioms using Large Language Models はコメントを受け付けていません

Effective Littlestone Dimension

投稿日: 2024年11月25日 作成者: jarxiv

要約 Delle Rose et al.~(COLT’23) は、V … 続きを読む →

カテゴリー: cs.LG, cs.LO | Effective Littlestone Dimension はコメントを受け付けていません

Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems

投稿日: 2024年11月22日 作成者: jarxiv

要約 自律システムの認証は、科学と産業において重要な関心事です。 KI-LOK … 続きを読む →

カテゴリー: cs.AI, cs.CV, cs.LO | Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems はコメントを受け付けていません

Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems

投稿日: 2024年11月21日 作成者: jarxiv

要約 この EPTCS ボリュームには、2024 年 11 月 11 日から 1 … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.RO | Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems はコメントを受け付けていません