「68T30」カテゴリーアーカイブ

The ASP-based Nurse Scheduling System at the University of Yamanashi Hospital

投稿日: 2025年6月17日 作成者: jarxiv

要約 回答セットプログラミング（ASP）を使用して構築され、山下大学病院で首尾よ … 続きを読む →

カテゴリー: 68T30, cs.AI | コメントする

IG Parser: A Software Package for the Encoding of Institutional Statements using the Institutional Grammar

投稿日: 2025年5月21日 作成者: jarxiv

要約 この記事では、Ig Parserの概要を説明します。これは、正式な（例：法 … 続きを読む →

カテゴリー: 68T30, 68T50, cs.AI, cs.CL, cs.MA, E.2 | IG Parser: A Software Package for the Encoding of Institutional Statements using the Institutional Grammar はコメントを受け付けていません

IG Parser: A Software Package for the Encoding of Institutional Statements using the Institutional Grammar

投稿日: 2025年5月20日 作成者: jarxiv

要約 この記事では、Ig Parserの概要を説明します。これは、正式な（例：法 … 続きを読む →

カテゴリー: 68T30, 68T50, cs.AI, cs.CL, cs.MA, E.2 | IG Parser: A Software Package for the Encoding of Institutional Statements using the Institutional Grammar はコメントを受け付けていません

Execution Semantics of Behavior Trees in Robotic Applications

投稿日: 2025年4月11日 作成者: jarxiv

要約 動作ツリー（BTS）は、魅力的な機能、制御ポリシーの概念モデルとしての使い … 続きを読む →

カテゴリー: 68T30, cs.AI, cs.RO, I.2.4 | Execution Semantics of Behavior Trees in Robotic Applications はコメントを受け付けていません

ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding

投稿日: 2025年4月2日 作成者: jarxiv

要約 DLV2は、アカデミックアプリケーションと産業用アプリケーションの両方で使 … 続きを読む →

カテゴリー: 68T30, cs.AI, I.2.1 | ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding はコメントを受け付けていません

A Review on Knowledge Graphs for Healthcare: Resources, Applications, and Promises

投稿日: 2025年2月4日 作成者: jarxiv

要約 本総説は、ヘルスケア知識グラフ（HKG）の現状を概観し、その構築、利用モデ … 続きを読む →

カテゴリー: 68T09, 68T30, 68T50, cs.AI, cs.CL, cs.LG, cs.SI, I.2.4 | A Review on Knowledge Graphs for Healthcare: Resources, Applications, and Promises はコメントを受け付けていません

Developing a Foundation of Vector Symbolic Architectures Using Category Theory

投稿日: 2025年1月10日 作成者: jarxiv

要約 誇張する危険がありますが、機械学習、つまりニューラル ネットワークに対する … 続きを読む →

カテゴリー: 68T30, cs.AI, cs.LG | Developing a Foundation of Vector Symbolic Architectures Using Category Theory はコメントを受け付けていません

A Mathematical Framework for the Problem of Security for Cognition in Neurotechnology

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

要約 近年のニューロテクノロジーの急速な進歩により、ニューロテクノロジーとセキュ … 続きを読む →

カテゴリー: (Primary), 68P27, 68Q07, 68Q09, 68T05, 68T30, 91E99, cs.CR, cs.CY, cs.ET, cs.LG, I.2, q-bio.NC, secondary | A Mathematical Framework for the Problem of Security for Cognition in Neurotechnology はコメントを受け付けていません

ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding

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

要約 DLV2 は、知識表現と推論のための AI ツールで、論理ベースの宣言形式 … 続きを読む →

カテゴリー: 68T30, cs.AI, I.2.1 | ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding はコメントを受け付けていません

A logic for reasoning with inconsistent knowledge — A reformulation using nowadays terminology (2024)

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

要約 多くの状況で、人間は一貫性のない知識をもとに推論しなければなりません。 こ … 続きを読む →

カテゴリー: 68T27, 68T30, cs.AI, I.2.3 | A logic for reasoning with inconsistent knowledge — A reformulation using nowadays terminology (2024) はコメントを受け付けていません