「03B70」カテゴリーアーカイブ

Encoding Argumentation Frameworks to Propositional Logic Systems

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

要約 議論フレームワークの理論（$ af $ s）は、人​​工知能に役立つツール … 続きを読む →

カテゴリー: (Primary), 03B50, 03B52, 03B70, 68Q55, cs.AI, F.4.1, math.LO | Encoding Argumentation Frameworks to Propositional Logic Systems はコメントを受け付けていません

Computational Complexity of Preferred Subset Repairs on Data-Graphs

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

要約 優先順位は、実践的な推論において極めて重要な要素であり、特に、追求する可能 … 続きを読む →

カテゴリー: 03B70, 68P15, 68T27, 68T37, cs.AI, cs.DB, cs.LO | Computational Complexity of Preferred Subset Repairs on Data-Graphs はコメントを受け付けていません

Computational Complexity of Preferred Subset Repairs on Data-Graphs

投稿日: 2024年2月15日 作成者: jarxiv

要約 矛盾した知識ベースを修復するという問題は、特に構造化データの観点から、デー … 続きを読む →

カテゴリー: 03B70, 68P15, 68T27, 68T37, cs.AI, cs.DB, cs.LO | Computational Complexity of Preferred Subset Repairs on Data-Graphs はコメントを受け付けていません

Boolean proportions

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

要約 著者は最近、普遍代数の一般的な設定内で類推比例の抽象的な代数の枠組みを導入 … 続きを読む →

カテゴリー: 03B70, 68T27, cs.AI, cs.DM, cs.LO | Boolean proportions はコメントを受け付けていません