F.4.1」カテゴリーアーカイブ

Solving QMLTP Problems by Translation to Higher-order Logic

要約 この論文では、一次様相論理問題の QMLTP ライブラリから取得した問題に … 続きを読む

カテゴリー: cs.AI, cs.LO, F.4.1 | Solving QMLTP Problems by Translation to Higher-order Logic はコメントを受け付けていません

Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries

要約 最近、例によるデータベース クエリの独自の特徴付けと学習可能性の研究が、オ … 続きを読む

カテゴリー: cs.AI, cs.DB, cs.LO, F.4.1 | Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries はコメントを受け付けていません

Learning A Foundation Language Model for Geoscience Knowledge Understanding and Utilization

要約 大規模言語モデル (LLM) は、自然言語処理の一般的な領域で大きな成功を … 続きを読む

カテゴリー: cs.AI, cs.CL, F.4.1 | Learning A Foundation Language Model for Geoscience Knowledge Understanding and Utilization はコメントを受け付けていません

Complex Logical Reasoning over Knowledge Graphs using Large Language Models

要約 タイトル:大規模言語モデルを利用した知識グラフ上での複雑な論理推論 要約: … 続きを読む

カテゴリー: cs.AI, cs.IR, cs.LO, F.4.1 | Complex Logical Reasoning over Knowledge Graphs using Large Language Models はコメントを受け付けていません

Automatic Textual Explanations of Concept Lattices

要約 タイトル:コンセプトラティスの自動テキスト説明 要約: – ラ … 続きを読む

カテゴリー: 03G10, cs.AI, cs.HC, F.4.1 | Automatic Textual Explanations of Concept Lattices はコメントを受け付けていません

Ordinal Motifs in Lattices

要約 タイトル:格子における順序モチーフ 要約: – 格子は関係やオ … 続きを読む

カテゴリー: 03G10, cs.AI, cs.LG, F.4.1 | Ordinal Motifs in Lattices はコメントを受け付けていません

FMGNN: Fused Manifold Graph Neural Network

要約 タイトル:FMGNN:Fused Manifold Graph Neura … 続きを読む

カテゴリー: cs.LG, F.4.1 | FMGNN: Fused Manifold Graph Neural Network はコメントを受け付けていません

PK-Chat: Pointer Network Guided Knowledge Driven Generative Dialogue Model

要約 タイトル:PK-Chat:ポインタネットワークによる知識に基づく生成型対話 … 続きを読む

カテゴリー: cs.CL, F.4.1 | PK-Chat: Pointer Network Guided Knowledge Driven Generative Dialogue Model はコメントを受け付けていません

Denoising Autoencoder-based Defensive Distillation as an Adversarial Robustness Algorithm

要約 敵対的攻撃は、ディープ ニューラル ネットワーク (DNN) の堅牢性を著 … 続きを読む

カテゴリー: 68, cs.AI, cs.CR, cs.LG, F.4.1 | Denoising Autoencoder-based Defensive Distillation as an Adversarial Robustness Algorithm はコメントを受け付けていません

Efficiently Explaining CSPs with Unsatisfiable Subset Optimization (extended algorithms and examples)

要約 人間が理解できる方法で制約充足問題 (CSP) の解決策を段階的に説明する … 続きを読む

カテゴリー: 68T27, cs.AI, cs.LO, F.4.1 | Efficiently Explaining CSPs with Unsatisfiable Subset Optimization (extended algorithms and examples) はコメントを受け付けていません