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

A Quantum-Inspired Analysis of Human Disambiguation Processes

要約 形式言語はコンピュータ プログラミングに不可欠であり、コンピュータで簡単に … 続きを読む

カテゴリー: cs.AI, cs.CL, cs.LO, quant-ph | A Quantum-Inspired Analysis of Human Disambiguation Processes はコメントを受け付けていません

Optimising Dynamic Traffic Distribution for Urban Networks with Answer Set Programming

要約 Answer Set Programming (ASP) は、現実世界の問 … 続きを読む

カテゴリー: cs.AI, cs.LO | Optimising Dynamic Traffic Distribution for Urban Networks with Answer Set Programming はコメントを受け付けていません

Fast Inference for Probabilistic Answer Set Programs via the Residual Program

要約 確率的回答セット プログラムからクエリの確率を計算する場合、プログラムの一 … 続きを読む

カテゴリー: cs.AI, cs.LO | Fast Inference for Probabilistic Answer Set Programs via the Residual Program はコメントを受け付けていません

SAT Encoding of Partial Ordering Models for Graph Coloring Problems

要約 この論文では、グラフ色分け問題 (GCP) と帯域幅色分け問題 (BCP) … 続きを読む

カテゴリー: cs.AI, cs.DM, cs.DS, cs.LO | SAT Encoding of Partial Ordering Models for Graph Coloring Problems はコメントを受け付けていません

The Distributional Uncertainty of the SHAP score in Explainable Machine Learning

要約 アトリビューション スコアは、入力エンティティの特徴値が機械学習モデルの出 … 続きを読む

カテゴリー: 68T27, 68T37, cs.AI, cs.LG, cs.LO | The Distributional Uncertainty of the SHAP score in Explainable Machine Learning はコメントを受け付けていません

Model Counting in the Wild

要約 モデルのカウントは、確率推論、ネットワークの信頼性、ニューラル ネットワー … 続きを読む

カテゴリー: cs.AI, cs.LO | Model Counting in the Wild はコメントを受け付けていません

Generating $SROI^-$ Ontologies via Knowledge Graph Query Embedding Learning

要約 クエリ埋め込みアプローチは、エンティティ、関係、クエリの低次元ベクトル表現 … 続きを読む

カテゴリー: cs.AI, cs.DB, cs.LG, cs.LO | Generating $SROI^-$ Ontologies via Knowledge Graph Query Embedding Learning はコメントを受け付けていません

Knowledge Base Embeddings: Semantics and Theoretical Properties

要約 ナレッジ グラフ エンベディングの研究は、最近ナレッジ ベース エンベディ … 続きを読む

カテゴリー: cs.AI, cs.LO | Knowledge Base Embeddings: Semantics and Theoretical Properties はコメントを受け付けていません

The Distributional Uncertainty of the SHAP score in Explainable Machine Learning

要約 アトリビューション スコアは、入力エンティティの特徴値が機械学習モデルの出 … 続きを読む

カテゴリー: 68T27, 68T37, cs.AI, cs.LG, cs.LO | The Distributional Uncertainty of the SHAP score in Explainable Machine Learning はコメントを受け付けていません

Decomposition Strategies and Multi-shot ASP Solving for Job-shop Scheduling

要約 ジョブ ショップ スケジューリング問題 (JSP) は、マシンを共有するタ … 続きを読む

カテゴリー: cs.AI, cs.LO | Decomposition Strategies and Multi-shot ASP Solving for Job-shop Scheduling はコメントを受け付けていません