Journal of Artificial Intelligence Research: 論文一覧

Journal of Artificial Intelligence Researchの記事一覧をご紹介します。英語での説明文を機械翻訳を交えて日本語化し掲載しております。

確認日：	2026/05/19
論文数：	1805

1 Vol. 1 (1993)
2 Vol. 2 (1994)
3 Vol. 3 (1995)
4 Vol. 4 (1996)
5 Vol. 5 (1996)
6 Vol. 6 (1997)
7 Vol. 7 (1997)
8 Vol. 8 (1998)
9 Vol. 9 (1998)
10 Vol. 10 (1999)
11 Vol. 11 (1999)
12 Vol. 12 (2000)
13 Vol. 13 (2000)
14 Vol. 14 (2001)
15 Vol. 15 (2001)
16 Vol. 16 (2002)
17 Vol. 17 (2002)
18 Vol. 18 (2003)
19 Vol. 19 (2003)
20 Vol. 20 (2003)
21 Vol. 21 (2004)
22 Vol. 22 (2004)
23 Vol. 23 (2005)
24 Vol. 24 (2005)
25 Vol. 25 (2006)
26 Vol. 26 (2006)
27 Vol. 27 (2006)
28 Vol. 28 (2007)
29 Vol. 29 (2007)
30 Vol. 30 (2007)
31 Vol. 31 (2008)
32 Vol. 32 (2008)
33 Vol. 33 (2008)
34 Vol. 34 (2009)
35 Vol. 35 (2009)
36 Vol. 36 (2009)
37 Vol. 37 (2010)
38 Vol. 38 (2010)
39 Vol. 39 (2010)
40 Vol. 40 (2011)
41 Vol. 41 (2011)
42 Vol. 42 (2011)
43 Vol. 43 (2012)
44 Vol. 44 (2012)
45 Vol. 45 (2012)
46 Vol. 46 (2013)
47 Vol. 47 (2013)
48 Vol. 48 (2013)
49 Vol. 49 (2014)
50 Vol. 50 (2014)
51 Vol. 51 (2014)
52 Vol. 52 (2015)
53 Vol. 53 (2015)
54 Vol. 54 (2015)
55 Vol. 55 (2016)
56 Vol. 56 (2016)
57 Vol. 57 (2016)
58 Vol. 58 (2017)
59 Vol. 59 (2017)
60 Vol. 60 (2017)
61 Vol. 61 (2018)
62 Vol. 62 (2018)
63 Vol. 63 (2018)
64 Vol. 64 (2019)
65 Vol. 65 (2019)
66 Vol. 66 (2019)
67 Vol. 67 (2020)
68 Vol. 68 (2020)
69 Vol. 69 (2020)
70 Vol. 70 (2021)
71 Vol. 71 (2021)
72 Vol. 72 (2021)
73 Vol. 73 (2022)
74 Vol. 74 (2022)
75 Vol. 75 (2022)
76 Vol. 76 (2023)
77 Vol. 77 (2023)
78 Vol. 78 (2023)
79 Vol. 79 (2024)
80 Vol. 80 (2024)
81 Vol. 81 (2024)
82 Vol. 82 (2025)
83 Vol. 83 (2025)
84 Vol. 85 (2026)

Vol. 1 (1993)

A Market-Oriented Programming Environment and its Application to Distributed Multicommodity Flow Problems

市場指向プログラミング環境と分散多品種フロー問題への応用

Decidable Reasoning in Terminological Knowledge Representation Systems

用語知識表現システムにおける決定可能推論

Teleo-Reactive Programs for Agent Control

エージェント制御のためのテレオ・リアクティブ・プログラム

Bias-Driven Revision of Logical Domain Theories

バイアス駆動による論理領域理論の改訂

Learning the Past Tense of English Verbs: The Symbolic Pattern Associator vs. Connectionist Models

英語動詞の過去形の学習：記号パターン連想器 vs. コネクショニストモデル

Substructure Discovery Using Minimum Description Length and Background Knowledge

最小記述長と背景知識を用いた部分構造発見

Dynamic Backtracking

動的バックトラッキング

Exploring the Decision Forest: An Empirical Investigation of Occam’s Razor in Decision Tree Induction

決定森の探究：決定木誘導におけるオッカムの剃刀の実証的研究

A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic

CLASSIC記述論理における包摂の意味論と完全アルゴリズム

Applying GSATto Non-Clausal Formulas

GSATを非節式に適用する

An Empirical Analysis of Search in GSAT

GSATにおける探索の実証分析

Software Agents: Completing Patterns and Constructing User Interfaces

ソフトウェアエージェント：パターンの完成とユーザーインターフェースの構築

The Difficulties of Learning Logic Programs with Cut

カットを用いた論理プログラム学習の難しさ

Vol. 2 (1994)

A System for Induction of Oblique Decision Trees

斜交決定木誘導システム

On Planning while Learning

学習中のプランニングについて

Wrap-Up: a Trainable Discourse Module for Information Extraction

まとめ：情報抽出のための学習可能な談話モジュール

Operations for Learning with Graphical Models

グラフィカルモデルを用いた学習のための操作

Total-Order and Partial-Order Planning: A Comparative Analysis

全順序プランニングと半順序プランニング：比較分析

Solving Multiclass Learning Problems via Error-Correcting Output Codes

誤り訂正出力コードを用いた多クラス学習問題の解法

Truncating Temporal Differences: On the Efficient Implementation of TD(lambda) for Reinforcement Learning

時間差の切り捨て：強化学習におけるTD(λ)の効率的な実装について

A Domain-Independent Algorithm for Plan Adaptation

計画適応のためのドメイン非依存アルゴリズム

Random Worlds and Maximum Entropy

ランダムワールドと最大エントロピー

On the Informativeness of the DNA Promoter Sequences Domain Theory

DNAプロモーター配列ドメイン理論の情報性について

Cost-Sensitive Classification: Empirical Evaluation of a Hybrid Genetic Decision Tree Induction Algorithm

コスト感度分類：ハイブリッド遺伝的決定木誘導アルゴリズムの実証的評価

Rerepresenting and Restructuring Domain Theories: A Constructive Induction Approach

ドメイン理論の再表現と再構築：構成的誘導アプローチ

Using Pivot Consistency to Decompose and Solve Functional CSPs

ピボット一貫性を用いた関数型CSPの分解と解決

Adaptive Load Balancing: A Study in Multi-Agent Learning

適応型負荷分散：マルチエージェント学習の研究

Pac-Learning Recursive Logic Programs: Efficient Algorithms

Pac学習再帰論理プログラム：効率的なアルゴリズム

Pac-learning Recursive Logic Programs: Negative Results

Pac学習再帰論理プログラム：否定的な結果

Provably Bounded-Optimal Agents

証明可能有界最適エージェント

Pattern Matching and Discourse Processing in Information Extraction from Japanese Text

日本語テキストからの情報抽出におけるパターンマッチングと談話処理

Vol. 3 (1995)

Induction of First-Order Decision Lists: Results on Learning the Past Tense of English Verbs

一階決定リストの誘導：英語動詞の過去形の学習結果

Using Qualitative Hypotheses to Identify Inaccurate Data

質的仮説を用いた不正確なデータの識別

An Integrated Framework for Learning and Reasoning

学習と推論のための統合フレームワーク

Learning Membership Functions in a Function-Based Object Recognition System

関数ベース物体認識システムにおけるメンバーシップ関数の学習

Improving Connectionist Energy Minimization

コネクショニストエネルギー最小化の改善

Diffusion of Context and Credit Information in Markovian Models

マルコフモデルにおけるコンテキストとクレジット情報の拡散

FLECS: Planning with a Flexible Commitment Strategy

FLECS：柔軟なコミットメント戦略を用いたプランニング

Flexibly Instructable Agents

柔軟に指示可能なエージェント

Vision-Based Road Detection in Automotive Systems: A Real-Time Expectation-Driven Approach

自動車システムにおける視覚ベースの路面検出：リアルタイム期待駆動型アプローチ

Translating between Horn Representations and their Characteristic Models

ホーン表現とその特性モデル間の変換

Statistical Feature Combination for the Evaluation of Game Positions

ゲームポジション評価のための統計的特徴量の組み合わせ

Rule-based Machine Learning Methods for Functional Prediction

機能予測のためのルールベース機械学習手法

Decision-Theoretic Foundations for Causal Reasoning

因果推論の決定理論的基礎

OPUS: An Efficient Admissible Algorithm for Unordered Search

OPUS：順序なし探索のための効率的な許容アルゴリズム

Generalization of Clauses under Implication

含意に基づく節の一般化

Building and Refining Abstract Planning Cases by Change of Representation Language

表現言語の変更による抽象計画事例の構築と改良

Vol. 4 (1996)

The Design and Experimental Analysis of Algorithms for Temporal Reasoning

時間的推論のためのアルゴリズムの設計と実験的分析

Active Learning with Statistical Models

統計モデルを用いた能動学習

Iterative Optimization and Simplification of Hierarchical Clusterings

階層的クラスタリングの反復最適化と簡素化

Practical Methods for Proving Termination of General Logic Programs

一般論理プログラムの停止性を証明するための実際的手法

Well-Founded Semantics for Extended Logic Programs with Dynamic Preferences

動的選好を持つ拡張論理プログラムのための十分な根拠を持つ意味論

A Divergence Critic for Inductive Proof

帰納的証明のための発散批評

Reinforcement Learning: A Survey

強化学習：概観

Planning for Contingencies: A Decision-based Approach

偶発事象の計画：意思決定に基づくアプローチ

Least Generalizations and Greatest Specializations of Sets of Clauses

節集合の最小一般化と最大特化

Adaptive Problem-solving for Large-scale Scheduling Problems: A Case Study

大規模スケジューリング問題に対する適応的問題解決：ケーススタディ

Logarithmic-Time Updates and Queries in Probabilistic Networks

確率ネットワークにおける対数時間更新とクエリ

Further Experimental Evidence against the Utility of Occam’s Razor

オッカムの剃刀の有用性に対するさらなる実験的証拠

A Principled Approach Towards Symbolic Geometric Constraint Satisfaction

記号幾何学的制約充足への原理的アプローチ

A Formal Framework for Speedup Learning from Problems and Solutions

問題と解からの高速学習のための形式的枠組み

On Partially Controlled Multi-Agent Systems

部分制御マルチエージェントシステムについて

Mean Field Theory for Sigmoid Belief Networks

シグモイドビリーフネットワークのための平均場理論

Improved Use of Continuous Attributes in C4.5

C4.5における連続属性の改良された利用法

Quantum Computing and Phase Transitions in Combinatorial Search

組合せ探索における量子コンピューティングと相転移

Vol. 5 (1996)

Spatial Aggregation: Theory and Applications

空間集約：理論と応用

Learning First-Order Definitions of Functions

関数の一次定義の学習

Mechanisms for Automated Negotiation in State Oriented Domains

状態指向領域における自動交渉のメカニズム

MUSE CSP: An Extension to the Constraint Satisfaction Problem

MUSE CSP：制約充足問題への拡張

A Hierarchy of Tractable Subsets for Computing Stable Models

安定モデルを計算するための扱いやすいサブセットの階層構造

Characterizations of Decomposable Dependency Models

分解可能な依存モデルの特性評価

Exploiting Causal Independence in Bayesian Network Inference

ベイジアンネットワーク推論における因果独立性の活用

Quantitative Results Comparing Three Intelligent Interfaces forInformation Capture: A Case Study Adding Name Information into an Electronic Personal Organizer

情報収集のための3つのインテリジェントインターフェースの比較による定量的結果：電子パーソナルオーガナイザーへの名前情報の追加に関するケーススタディ

Cue Phrase Classification Using Machine Learning

機械学習を用いたキューフレーズ分類

Accelerating Partial-Order Planners: Some Techniques for Effective Search Control and Pruning

半順序プランナーの高速化：効果的な探索制御と枝刈りのためのいくつかの手法

Vol. 6 (1997)

Improved Heterogeneous Distance Functions

改良された異種距離関数

Lifeworld Analysis

ライフワールド分析

Query DAGs: A Practical Paradigm for Implementing Belief-Network Inference

クエリDAG：信念ネットワーク推論を実装するための実用的なパラダイム

Connectionist Theory Refinement: Genetically Searching the Space of Network Topologies

コネクショニスト理論の洗練：ネットワークトポロジー空間の遺伝的探索

A Complete Classification of Tractability in RCC-5

RCC-5における扱いやすさの完全分類

Flaw Selection Strategies for Partial-Order Planning

半順序プランニングにおける欠陥選択戦略

SCREEN: Learning a Flat Syntactic and Semantic Spoken Language Analysis Using Artificial Neural Networks

SCREEN: 人工ニューラルネットワークを用いた平坦な統語的・意味的音声言語分析の学習

A Uniform Framework for Concept Definitions in Description Logics

記述論理における概念定義のための統一的枠組み

Vol. 7 (1997)

Defining Relative Likelihood in Partially-Ordered Preferential Structures

半順序優先構造における相対尤度の定義

Analysis of Three-Dimensional Protein Images

3次元タンパク質画像の解析

Storing and Indexing Plan Derivations through Explanation-based Analysis of Retrieval Failures

検索失敗の説明に基づく解析によるプラン導出の保存とインデックス作成

A Model Approximation Scheme for Planning in Partially Observable Stochastic Domains

部分観測確率領域におけるプランニングのためのモデル近似スキーム

Dynamic Non-Bayesian Decision Making

動的非ベイズ的意思決定

When Gravity Fails: Local Search Topology

重力が崩壊するとき：局所探索トポロジー

Eight Maximal Tractable Subclasses of Allen’s Algebra with Metric Time

計量時間を伴うアレン代数の8つの最大扱いやすいサブクラス

Bidirectional Heuristic Search Reconsidered

双方向ヒューリスティック探索の再考

A New Look at the Easy-Hard-Easy Pattern of Combinatorial Search Difficulty

組み合わせ探索の難しさにおける容易-困難-容易パターンの新たな考察

Identifying Hierarchical Structure in Sequences: A linear-time algorithm

シーケンスにおける階層構造の識別：線形時間アルゴリズム

Towards Flexible Teamwork

柔軟なチームワークに向けて

Vol. 8 (1998)

Monotonicity and Persistence in Preferential Logics

選好論理における単調性と持続性

Integrative Windowing

統合ウィンドウ処理

Model-Based Diagnosis using Structured System Descriptions

構造化システム記述を用いたモデルベース診断

A Selective Macro-learning Algorithm and its Application to the NxN Sliding-Tile Puzzle

選択的マクロ学習アルゴリズムとそのNxNスライディングタイルパズルへの応用

Incremental Recompilation of Knowledge

知識の増分的再コンパイル

Tractability of Theory Patching

理論パッチングの扱いやすさ

Cached Sufficient Statistics for Efficient Machine Learning with Large Datasets

大規模データセットを用いた効率的な機械学習のためのキャッシュされた十分統計量

Synthesizing Customized Planners from Specifications

仕様に基づくカスタマイズされたプランナーの合成

Vol. 9 (1998)

The Computational Complexity of Probabilistic Planning

確率的プランニングの計算複雑性

Adaptive Parallel Iterative Deepening Search

適応型並列反復深化探索

Probabilistic Inference from Arbitrary Uncertainty using Mixtures of Factorized Generalized Gaussians

因子分解された一般化ガウス分布の混合を用いた任意の不確実性からの確率的推論

The Gn,m Phase Transition is Not Hard for the Hamiltonian Cycle Problem

ハミルトン閉路問題におけるGn,m相転移は困難ではない

An Empirical Approach to Temporal Reference Resolution

時間的参照解決への経験的アプローチ

The Ariadne’s Clew Algorithm

アリアドネのクルーアルゴリズム

AntNet: Distributed Stigmergetic Control for Communications Networks

AntNet：通信ネットワークのための分散スティグマージ制御

The Automatic Inference of State Invariants in TIM

TIMにおける状態不変量の自動推論

The Divide-and-Conquer Subgoal-Ordering Algorithm for Speeding up Logic Inference

論理推論を高速化する分割統治法によるサブゴール順序付けアルゴリズム

Complexity of Prioritized Default Logics

優先順位付きデフォルト論理の計算量

A Temporal Description Logic for Reasoning about Actions and Plans

行動と計画の推論のための時間的記述論理

Computational Aspects of Reordering Plans

計画の順序付けの計算的側面

Vol. 10 (1999)

Order of Magnitude Comparisons of Distance

距離の桁違い比較

Modeling Belief in Dynamic Systems, Part II: Revision and Update

動的システムにおける信念のモデリング、パートII：修正と更新

Cooperation between Top-Down and Bottom-Up Theorem Provers

トップダウン型とボトムアップ型の定理証明器の連携

Probabilistic Deduction with Conditional Constraints over Basic Events

基本事象に対する条件付き制約付き確率的演繹

Learning to Order Things

物事の順序付けの学習

Issues in Stacked Generalization

スタック一般化における問題

Variational Probabilistic Inference and the QMR-DT Network

変分確率推論とQMR-DTネットワーク

Constructing Conditional Plans by a Theorem-Prover

定理証明器による条件付きプランの構築

Squeaky Wheel Optimization

軋む車輪の最適化

Efficient Heuristic Hypothesis Ranking

効率的なヒューリスティック仮説ランキング

Solving Highly Constrained Search Problems with Quantum Computers

量子コンピュータを用いた高度に制約された探索問題の解法

Extensible Knowledge Representation: the Case of Description Reasoners

拡張可能な知識表現：記述推論器の場合

Variational Cumulant Expansions for Intractable Distributions

扱いにくい分布に対する変分キュムラント展開

The Good Old Davis-Putnam Procedure Helps Counting Models

古き良きデイビス・パトナム法は計数モデルに役立つ

A Counter Example to Theorems of Cox and Fine

コックスとファイン定理の反例

Efficient Implementation of the Plan Graph in STAN

STANにおけるプラングラフの効率的な実装

Vol. 11 (1999)

Decision-Theoretic Planning: Structural Assumptions and Computational Leverage

意思決定理論的プランニング：構造的仮定と計算力

Identifying Mislabeled Training Data

誤ったラベル付けがされた学習データの識別

一般的なアンサンブル法：実証的研究

Unifying Class-Based Representation Formalisms

クラスベース表現形式の統合

Evolutionary Algorithms for Reinforcement Learning

強化学習のための進化的アルゴリズム

Reasoning about Minimal Belief and Negation as Failure

最小確信と否定を失敗とみなす推論

Decentralized Markets versus Central Control: A Comparative Study

分散型市場と中央集権的制御：比較研究

Committee-Based Sample Selection for Probabilistic Classifiers

確率的分類器のための委員会ベースのサンプル選択

The Complexity of Reasoning about Spatial Congruence

空間的合同性に関する推論の複雑さ

Markov Localization for Mobile Robots in Dynamic Environments

動的環境における移動ロボットのマルコフ局所化

Cox’s Theorem Revisited

Coxの定理の再考

分類法における意味的類似性：情報に基づく尺度と自然言語における曖昧性の問題への応用

Vol. 12 (2000)

Planning Graph as a (Dynamic) CSP: Exploiting EBL, DDB and other CSP Search Techniques in Graphplan

（動的）CSPとしての計画グラフ：GraphplanにおけるEBL、DDB、その他のCSP検索手法の活用

Robust Agent Teams via Socially-Attentive Monitoring

社会的注意モニタリングによるロバストなエージェントチーム

A Model of Inductive Bias Learning

帰納的バイアス学習モデル

The Complexity of Reasoning with Cardinality Restrictions and Nominals in Expressive Description Logics

表現的記述論理におけるカーディナリティ制約と名詞を用いた推論の複雑性

Randomized Algorithms for the Loop Cutset Problem

ループカットセット問題のためのランダム化アルゴリズム

Backbone Fragility and the Local Search Cost Peak

バックボーンの脆弱性と局所探索コストのピーク

On the Compilability and Expressive Power of Propositional Planning Formalisms

命題的計画形式主義のコンパイル可能性と表現力について

Axiomatizing Causal Reasoning

因果推論の公理化

On Reasonable and Forced Goal Orderings and their Use in an Agenda-Driven Planning Algorithm

アジェンダ駆動型プランニングアルゴリズムにおける合理的および強制的な目標順序付けとその利用について

Reasoning on Interval and Point-based Disjunctive Metric Constraints in Temporal Contexts

時間的コンテキストにおける区間ベースおよび点ベースの選言的メトリック制約の推論

An Application of Reinforcement Learning to Dialogue Strategy Selection in a Spoken Dialogue System for Email

電子メール向け音声対話システムにおける対話戦略選択への強化学習の応用

On Deducing Conditional Independence from d-Separation in Causal Graphs with Feedback (Research Note)

フィードバック付き因果グラフにおけるd分離からの条件付き独立性の推論について（研究ノート）

Exact Phase Transitions in Random Constraint Satisfaction Problems

ランダム制約充足問題における正確な相転移

Vol. 13 (2000)

Space Efficiency of Propositional Knowledge Representation Formalisms

命題的知識表現形式の空間効率

AIS-BN: An Adaptive Importance Sampling Algorithm for Evidential Reasoning in Large Bayesian Networks

AIS-BN：大規模ベイジアンネットワークにおける証拠推論のための適応的重要度サンプリングアルゴリズム

OBDD-based Universal Planning for Synchronized Agents in Non-Deterministic Domains

非決定性領域における同期エージェントのためのOBDDベースのユニバーサルプランニング

Hierarchical Reinforcement Learning with the MAXQ Value Function Decomposition

MAXQ価値関数分解を用いた階層的強化学習

Conformant Planning via Symbolic Model Checking

記号モデル検査による適合計画

Value-Function Approximations for Partially Observable Markov Decision Processes

部分観測マルコフ決定過程の価値関数近似

Asimovian Adaptive Agents

アシモフ的適応エージェント

Vol. 14 (2001)

On Reachability, Relevance, and Resolution in the Planning as Satisfiability Approach

充足可能性としての計画アプローチにおける到達可能性、関連性、および解決について

Partial-Order Planning with Concurrent Interacting Actions

同時相互作用アクションを伴う半順序計画

Reasoning within Fuzzy Description Logics

ファジィ記述論理における推論

What’s in an Attribute? Consequences for the Least Common Subsumer

属性とは何か？最小共通包摂体への影響

Domain Filtering Consistencies

ドメインフィルタリングの一貫性

Technical Paper Recommendation: A Study in Combining Multiple Information Sources

技術論文推奨：複数の情報源の統合に関する研究

The FF Planning System: Fast Plan Generation Through Heuristic Search

FF計画システム：ヒューリスティック探索による高速計画生成

Speeding Up the Convergence of Value Iteration in Partially Observable Markov Decision Processes

部分観測マルコフ決定過程における価値反復法の収束の高速化

GIB: Imperfect Information in a Computationally Challenging Game

GIB：計算困難なゲームにおける不完全情報

Conditional Plausibility Measures and Bayesian Networks

条件付き妥当性尺度とベイジアンネットワーク

Conflict-Directed Backjumping Revisited

衝突指向バックジャンピングの再考

Nonapproximability Results for Partially Observable Markov Decision Processes

部分観測マルコフ決定過程における非近似性の結果

Vol. 15 (2001)

Goal Recognition through Goal Graph Analysis

ゴールグラフ分析によるゴール認識

The GRT Planning System: Backward Heuristic Construction in Forward State-Space Planning

GRTプランニングシステム：順方向状態空間プランニングにおける逆方向ヒューリスティック構築

An Analysis of Reduced Error Pruning

エラー削減枝刈りの分析

ATTac-2000: An Adaptive Autonomous Bidding Agent

ATTac-2000：適応型自律入札エージェント

Planning by Rewriting

書き換えによるプランニング

Computational Approach to Anaphora Resolution in Spanish Dialogues

スペイン語対話における照応解決への計算論的アプローチ

Efficient Methods for Qualitative Spatial Reasoning

質的空間推論のための効率的な手法

Grounding the Lexical Semantics of Verbs in Visual Perception using Force Dynamics and Event Logic

力のダイナミクスとイベントロジックを用いた視覚知覚に基づく動詞の語彙意味論の基盤構築

Infinite-Horizon Policy-Gradient Estimation

無限時間ポリシー勾配推定

Experiments with Infinite-Horizon, Policy-Gradient Estimation

無限時間ポリシー勾配推定の実験

Finding a Path is Harder than Finding a Tree

パスの探索はツリーの探索よりも難しい

Parameter Learning of Logic Programs for Symbolic-Statistical Modeling

記号統計モデリングのための論理プログラムのパラメータ学習

Mean Field Methods for a Special Class of Belief Networks

特定のクラスの信念ネットワークに対する平均場法

Vol. 16 (2002)

Fusions of Description Logics and Abstract Description Systems

記述論理と抽象記述システムの融合

Optimizing Dialogue Management with Reinforcement Learning: Experiments with the NJFun System

強化学習による対話管理の最適化：NJFunシステムを用いた実験

Improving the Efficiency of Inductive Logic Programming Through theUse of Query Packs

クエリパックを用いた帰納的論理プログラミングの効率向上

Learning Geometrically-Constrained Hidden Markov Models for Robot Navigation: Bridging the Topological-Geometrical Gap

ロボットナビゲーションのための幾何学的制約付き隠れマルコフモデルの学習：位相幾何学的ギャップの橋渡し

Structured Knowledge Representation for Image Retrieval

画像検索のための構造化知識表現

Efficient Reinforcement Learning Using Recursive Least-Squares Methods

再帰最小二乗法を用いた効率的な強化学習

Automatically Training a Problematic Dialogue Predictor for a Spoken Dialogue System

音声対話システムのための問題のある対話予測器の自動学習

SMOTE: Synthetic Minority Over-sampling Technique

SMOTE：合成少数派オーバーサンプリング法

Collective Intelligence, Data Routing and Braess’ Paradox

集合知、データルーティング、そしてブライスのパラドックス

The Communicative Multiagent Team Decision Problem: Analyzing Teamwork Theories and Models

コミュニケーション型マルチエージェントチーム意思決定問題：チームワーク理論とモデルの分析

Extensions of Simple Conceptual Graphs: the Complexity of Rules and Constraints

単純な概念グラフの拡張：ルールと制約の複雑さ

Accelerating Reinforcement Learning by Composing Solutions of Automatically Identified Subtasks

自動識別されたサブタスクの解を合成することによる強化学習の高速化

Vol. 17 (2002)

A Critical Assessment of Benchmark Comparison in Planning

計画におけるベンチマーク比較の批判的評価

Inducing Interpretable Voting Classifiers without Trading Accuracy for Simplicity: Theoretical Results, Approximation Algorithms

正確性を犠牲にすることなく解釈可能な投票分類器を誘導する：理論的結果、近似アルゴリズム

Towards Adjustable Autonomy for the Real World

現実世界における調整可能な自律性に向けて

A Knowledge Compilation Map

知識蓄積マップ

When do Numbers Really Matter?

数字が本当に重要になるのはいつなのか？

A Unified Model of Structural Organization in Language and Music

言語と音楽における構造的組織化の統一モデル

An Analysis of Phase Transition in NK Landscapes

NKランドスケープにおける相転移の分析

A New Technique for Combining Multiple Classifiers using The Dempster-Shafer Theory of Evidence

デンプスター・シェーファー証拠理論を用いた複数の分類器を組み合わせる新しい手法

Inferring Strategies for Sentence Ordering in Multidocument News Summarization

複数文書ニュース要約における文順序付け戦略の推論

Competitive Safety Analysis: Robust Decision-Makingin Multi-Agent Systems

競争安全性分析：マルチエージェントシステムにおけるロバストな意思決定

Specific-to-General Learning for Temporal Events with Application to Learning Event Definitions from Video

時系列イベントの特定から一般への学習と、ビデオからのイベント定義学習への応用

Policy Recognition in the Abstract Hidden Markov Model

抽象隠れマルコフモデルにおける方策認識

Expert-Guided Subgroup Discovery: Methodology and Application

専門家によるサブグループ発見：方法論と応用

A Logic for Reasoning about Upper Probabilities

上側確率に関する推論ロジック

Monitoring Teams by Overhearing: A Multi-Agent Plan-Recognition Approach

傍聴によるチーム監視：マルチエージェント計画認識アプローチ

Vol. 18 (2003)

Acquiring Word-Meaning Mappings for Natural Language Interfaces

自然言語インターフェースのための単語意味マッピングの獲得

Translation of Pronominal Anaphora between English and Spanish: Discrepancies and Evaluation

英語とスペイン語の代名詞照応の翻訳：相違点と評価

Wrapper Maintenance: A Machine Learning Approach

ラッパーメンテナンス：機械学習アプローチ

An Evolutionary Algorithm with Advanced Goal and Priority Specification for Multi-objective Optimization

多目的最適化のための高度な目標と優先度指定を備えた進化的アルゴリズム

Interactive Execution Monitoring of Agent Teams

エージェントチームのインタラクティブな実行監視

Exploiting Contextual Independence In Probabilistic Inference

確率推論における文脈独立性の活用

Structure and Complexity in Planning with Unary Operators

単項演算子を用いたプランニングにおける構造と複雑性

A New General Method to Generate Random Modal Formulae for Testing Decision Procedures

決定手順のテストのためのランダム様相式を生成するための新しい一般的な手法

Propositional Independence – Formula-Variable Independence andForgetting

命題独立性 – 式-変数独立性と忘却

Searching for Bayesian Network Structures in the Space of Restricted Acyclic Partially Directed Graphs

制限付き非巡回部分有向グラフ空間におけるベイジアンネットワーク構造の探索

Monte Carlo Methods for Tempo Tracking and Rhythm Quantization

テンポトラッキングとリズムクォンタイズのためのモンテカルロ法

Acquiring Correct Knowledge for Natural Language Generation

自然言語生成のための正しい知識の獲得

Learning to Order BDD Variables in Verification

検証におけるBDD変数の順序付け学習

Vol. 19 (2003)

New Polynomial Classes for Logic-Based Abduction

論理ベースアブダクションのための新しい多項式クラス

Learning to Coordinate Efficiently: A Model-based Approach

効率的な調整の学習：モデルベースアプローチ

Bound Propagation

境界伝播法

Representing and Aggregating Conflicting Beliefs

相反する信念の表現と集約

Potential-Based Shaping and Q-Value Initialization are Equivalent

ポテンシャルベースのシェーピングとQ値初期化は等価

Decision-Theoretic Bidding Based on Learned Density Models in Simultaneous, Interacting Auctions

同時相互作用オークションにおける学習済み密度モデルに基づく決定理論的入札

Updating Probabilities

確率の更新

Answer Set Planning Under Action Costs

行動コストを考慮した解答集合計画

Compiling Causal Theories to Successor State Axioms and STRIPS-Like Systems

後続状態公理とSTRIPS型システムへの因果理論のコンパイル

Learning When Training Data are Costly: The Effect of Class Distribution on Tree Induction

学習データが高コストな場合の学習：クラス分布が木導出に与える影響

An Architectural Approach to Ensuring Consistency in Hierarchical Execution

階層的実行における一貫性を保証するアーキテクチャ的アプローチ

Efficient Solution Algorithms for Factored MDPs

因数分解MDPの効率的な解アルゴリズム

Temporal Decision Trees: Model-based Diagnosis of Dynamic Systems On-Board

時系列決定木：動的システムのオンボードモデルベース診断

Decentralized Supply Chain Formation: A Market Protocol and Competitive Equilibrium Analysis

分散型サプライチェーン形成：市場プロトコルと競争均衡分析

Accelerating Reinforcement Learning through Implicit Imitation

暗黙的模倣による強化学習の加速

AltAltp: Online Parallelization of Plans with Heuristic State Search

AltAltp：ヒューリスティック状態探索を用いた計画のオンライン並列化

Optimal Schedules for Parallelizing Anytime Algorithms: The Case of Shared Resources

Anytimeアルゴリズムの並列化のための最適スケジュール：共有リソースの場合

Vol. 20 (2003)

The 3rd International Planning Competition: Results and Analysis

第3回国際プランニングコンペティション：結果と分析

The Power of Modeling—a Response to PDDL2.1

モデリングの力：PDDL2.1への応答

Imperfect Match: PDDL 2.1 and Real Applications

不完全な一致：PDDL 2.1と実際のアプリケーション

PDDL 2.1: Representation vs. Computation

PDDL 2.1：表現 vs. 計算

PDDL2.1 — The Art of the Possible? Commentary on Fox and Long

PDDL2.1 — 可能性の芸術？ FoxとLongに関する解説

The Case for Durative Actions: A Commentary on PDDL2.1

持続アクションのケース：PDDL2.1 に関する解説

SAPA: A Multi-objective Metric Temporal Planner

SAPA：多目的メトリック時間プランナー

Taming Numbers and Durations in the Model Checking Integrated Planning System

モデル検査統合計画システムにおける数値と持続の制御

Planning Through Stochastic Local Search and Temporal Action Graphs in LPG

LPG における確率的局所探索と時間アクショングラフによる計画

The Metric-FF Planning System: Translating “Ignoring Delete Lists” to Numeric State Variables

メトリック FF プランニングシステム：「削除リストを無視する」を数値状態変数に変換する

TALplanner in IPC-2002: Extensions and Control Rules

IPC-2002 における TALplanner：拡張と制御規則

SHOP2: An HTN Planning System

SHOP2：HTN プランニングシステム

VHPOP: Versatile Heuristic Partial Order Planner

VHPOP：汎用ヒューリスティック半順序プランナー

PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains

PDDL2.1：時間的プランニングドメインを表現するための PDDL の拡張

Vol. 21 (2004)

Effective Dimensions of Hierarchical Latent Class Models

階層的潜在クラスモデルの有効次元

Complexity Results and Approximation Strategies for MAP Explanations

MAP説明における複雑性の結果と近似戦略

CP-nets: A Tool for Representing and Reasoning withConditional Ceteris Paribus Preference Statements

CPネット：条件付きCeteris Paribus選好ステートメントの表現と推論のためのツール

Price Prediction in a Trading Agent Competition

トレーディングエージェント競争における価格予測

Generalizing Boolean Satisfiability I: Background and Survey of Existing Work

ブール充足可能性の一般化 I：背景と既存研究の概観

Coherent Integration of Databases by Abductive Logic Programming

アブダクティブ論理プログラミングによるデータベースの一貫性のある統合

IDL-Expressions: A Formalism for Representing and Parsing Finite Languages in Natural Language Processing

IDL式：自然言語処理における有限言語の表現と構文解析のための形式主義

Representation Dependence in Probabilistic Inference

確率推論における表現の依存性

Dual Modelling of Permutation and Injection Problems

順列問題と注入問題の双対モデル化

K-Implementation

K実装

A Personalized System for Conversational Recommendations

会話型レコメンデーションのためのパーソナライズされたシステム

Grounded Semantic Composition for Visual Scenes

視覚シーンのためのグラウンデッド・セマンティック・コンポジション

Phase Transitions and Backbones of the Asymmetric Traveling Salesman Problem

非対称巡回セールスマン問題の相転移とバックボーン

Compositional Model Repositories via Dynamic Constraint Satisfaction with Order-of-Magnitude Preferences

桁違いの選好を伴う動的制約充足による構成モデル・リポジトリ

On Polynomial Sized MDP Succinct Policies

多項式サイズのMDP簡潔ポリシーについて

Can We Learn to Beat the Best Stock

最良の在庫に勝つことを学習できるか

Concurrent Auctions Across The Supply Chain

サプライチェーン全体にわたる同時オークション

Competitive Coevolution through Evolutionary Complexification

進化的複雑化による競争的共進化

PHA*: Finding the Shortest Path with A* in An Unknown Physical Environment

PHA*：未知の物理環境におけるA*を用いた最短経路の探索

Vol. 22 (2004)

A Maximal Tractable Class of Soft Constraints

最大限に扱いやすいソフト制約のクラス

Explicit Learning Curves for Transduction and Application to Clustering and Compression Algorithms

トランスダクションのための明示的学習曲線とクラスタリングおよび圧縮アルゴリズムへの応用

Decentralized Control of Cooperative Systems: Categorization and Complexity Analysis

協調システムの分散制御：分類と複雑性分析

Use of Markov Chains to Design an Agent Bidding Strategy for Continuous Double Auctions

マルコフ連鎖を用いた連続ダブルオークションにおけるエージェント入札戦略の設計

Ordered Landmarks in Planning

計画における順序付きランドマーク

Ordinal and Probabilistic Representations of Acceptance

受容の順序表現と確率表現

Additive Pattern Database Heuristics

加法パターンデータベースヒューリスティックス

Towards Understanding and Harnessing the Potential of Clause Learning

節学習の可能性の理解と活用に向けて

Existence of Multiagent Equilibria with Limited Agents

エージェント数が制限されたマルチエージェント均衡の存在

On Prediction Using Variable Order Markov Models

可変順序マルコフモデルを用いた予測について

Solving Transition Independent Decentralized Markov Decision Processes

遷移に依存しない分散マルコフ決定過程の解法

LexRank: Graph-based Lexical Centrality as Salience in Text Summarization

LexRank：テキスト要約における顕著性としてのグラフベースの語彙中心性

Generalizing Boolean Satisfiability II: Theory

ブール充足可能性の一般化 II：理論

A Comprehensive Trainable Error Model for Sung Music Queries

歌曲クエリのための包括的学習可能エラーモデル

Responsibility and Blame: A Structural-Model Approach

責任と非難：構造モデルアプローチ

Vol. 23 (2005)

Finding Approximate POMDP solutions Through Belief Compression

信念圧縮によるPOMDP近似解の探索

Restricted Value Iteration: Theory and Algorithms

制約付き値反復：理論とアルゴリズム

Combining Spatial and Temporal Logics: Expressiveness vs. Complexity

空間論理と時間論理の融合：表現力 vs. 複雑性

Graduality in Argumentation

議論における段階性

Combining Knowledge- and Corpus-based Word-Sense-Disambiguation Methods

知識ベースとコーパスベースの語義曖昧性解消手法の融合

Learning From Labeled And Unlabeled Data: An Empirical Study Across Techniques And Domains

ラベル付きデータとラベルなしデータからの学習：複数の手法と領域を横断した実証研究

Hybrid BDI-POMDP Framework for Multiagent Teaming

マルチエージェントチームのためのハイブリッドBDI-POMDPフレームワーク

Extremal Behaviour in Multiagent Contract Negotiation

マルチエージェント契約交渉における極値行動

On the Practical use of Variable Elimination in Constraint Optimization Problems: ‘Still-life’ as a Case Study

制約最適化問題における変数除去の実用的利用：『Still-life』を事例として

Generalizing Boolean Satisfiability III: Implementation

ブール充足可能性の一般化 III：実装

Using Memory to Transform Search on the Planning Graph

メモリを用いたプランニンググラフ上の探索の変換

An Improved Search Algorithm for Optimal Multiple-Sequence Alignment

最適な複数配列アライメントのための改良探索アルゴリズム

An Expressive Language and Efficient Execution System for Software Agents

ソフトウェアエージェントのための表現力豊かな言語と効率的な実行システム

Keys, Nominals, and Concrete Domains

キー、名義語、そして具体的なドメイン

Reinforcement Learning for Agents with Many Sensors and Actuators Acting in Categorizable Environments

分類可能な環境で動作する多数のセンサーとアクチュエータを持つエージェントのための強化学習

Vol. 24 (2005)

CIXL2: A Crossover Operator for Evolutionary Algorithms Based on Population Features

CIXL2：集団特徴に基づく進化アルゴリズムのための交差演算子

Solving Set Constraint Satisfaction Problems using ROBDDs

ROBDDを用いた集合制約充足問題の解法

Learning Content Selection Rules for Generating Object Descriptions in Dialogue

対話におけるオブジェクト記述生成のためのコンテンツ選択規則の学習

Perseus: Randomized Point-based Value Iteration for POMDPs

Perseus：POMDPのためのランダム化ポイントベース価値反復法

Linking Search Space Structure, Run-Time Dynamics, and Problem Difficulty: A Step Toward Demystifying Tabu Search

探索空間構造、実行時ダイナミクス、問題の難易度の関連付け：タブー探索の解明に向けた一歩

Integrating Learning from Examples into the Search for Diagnostic Policies

例からの学習を診断方策の探索に統合する

Learning Concept Hierarchies from Text Corpora using Formal Concept Analysis

形式概念分析を用いたテキストコーパスからの概念階層の学習

Efficiency versus Convergence of Boolean Kernels for On-Line Learning Algorithms

オンライン学習アルゴリズムにおけるブールカーネルの効率性と収束性

Pure Nash Equilibria: Hard and Easy Games

純粋ナッシュ均衡：難しいゲームと簡単なゲーム

Cooperative Information Sharing to Improve Distributed Learning in Multi-Agent Systems

マルチエージェントシステムにおける分散学習を改善するための協力的情報共有

Reasoning about Action: An Argumentation – Theoretic Approach

行動に関する推論：議論 – 理論的アプローチ

A Framework for Sequential Planning in Multi-Agent Settings

マルチエージェント環境における逐次計画のためのフレームワーク

The Deterministic Part of IPC-4: An Overview

IPC-4 の決定論的部分：概要

Macro-FF: Improving AI Planning with Automatically Learned Macro-Operators

マクロFF：自動学習マクロ演算子を用いたAIプランニングの改善

Hiding Satisfying Assignments: Two are Better than One

充足割り当ての隠蔽：2つは1つより優れている

Binary Encodings of Non-binary Constraint Satisfaction Problems: Algorithms and Experimental Results

非バイナリ制約充足問題のバイナリ符号化：アルゴリズムと実験結果

Where ‘Ignoring Delete Lists’ Works: Local Search Topology in Planning Benchmarks

「削除リストを無視する」ことが機能する場所：プランニングベンチマークにおける局所探索トポロジー

Relational Dynamic Bayesian Networks

関係動的ベイジアンネットワーク

Probabilistic Hybrid Action Models for Predicting Concurrent Percept-driven Robot Behavior

同時知覚駆動型ロボット行動を予測するための確率的ハイブリッド行動モデル

Risk-Sensitive Reinforcement Learning Applied to Control under Constraints

制約下制御へのリスク感受性強化学習の適用

The First Probabilistic Track of the International Planning Competition

国際プランニングコンペティション初の確率的トラック

Ignorability in Statistical and Probabilistic Inference

統計的および確率的推論における無視可能性

Optiplan: Unifying IP-based and Graph-based Planning

Optiplan：IPベースとグラフベースのプランニングの統合

mGPT: A Probabilistic Planner Based on Heuristic Search

mGPT：ヒューリスティック探索に基づく確率プランナー

Vol. 25 (2006)

Engineering a Conformant Probabilistic Planner

適合型確率プランナーの設計

Learning in Real-Time Search: A Unifying Framework

リアルタイム探索における学習：統合フレームワーク

Dynamic Local Search for the Maximum Clique Problem

最大クリーク問題のための動的局所探索

Decision-Theoretic Planning with non-Markovian Rewards

非マルコフ報酬を用いた決定理論的プランニング

An Approach to Temporal Planning and Scheduling in Domains with Predictable Exogenous Events

予測可能な外生イベントを伴う領域における時間的プランニングとスケジューリングへのアプローチ

Improving Heuristics Through Relaxed Search – An Analysis of TP4 and HSP*a in the 2004 Planning Competition

緩和探索によるヒューリスティックの改善 – 2004年プランニングコンペティションにおけるTP4とHSP*aの分析

Distributed Reasoning in a Peer-to-Peer Setting: Application to the Semantic Web

ピアツーピア環境における分散推論：セマンティックウェブへの応用

Negotiating Socially Optimal Allocations of Resources

社会的に最適な資源配分の交渉

Representing Conversations for Scalable Overhearing

スケーラブルな立ち聞きのための会話表現

On Graphical Modeling of Preference and Importance

選好と重要度のグラフィカルモデリングについて

Logical Hidden Markov Models

論理隠れマルコフモデル

A Continuation Method for Nash Equilibria in Structured Games

構造化ゲームにおけるナッシュ均衡の継続法

Fault Tolerant Boolean Satisfiability

フォールトトレラントなブール充足可能性

Asynchronous Partial Overlay: A New Algorithm for Solving Distributed Constraint Satisfaction Problems

非同期部分オーバーレイ：分散制約充足問題を解くための新しいアルゴリズム

Approximate Policy Iteration with a Policy Language Bias: Solving Relational Markov Decision Processes

政策言語バイアスを用いた近似政策反復：関係マルコフ決定過程の解法

Vol. 26 (2006)

A Logic for Reasoning about Evidence

証拠に関する推論のための論理

Domain Adaptation for Statistical Classifiers

統計的分類器のドメイン適応

Admissible and Restrained Revision

許容修正と制約修正

Convexity Arguments for Efficient Minimization of the Bethe and Kikuchi Free Energies

ベーテ自由エネルギーと菊池自由エネルギーの効率的な最小化のための凸性論証

The Fast Downward Planning System

高速下方計画システム

How the Landscape of Random Job Shop Scheduling Instances Depends on the Ratio of Jobs to Machines

ランダムジョブショップスケジューリングインスタンスのランドスケープがジョブとマシンの比率にどのように依存するか

Breaking Instance-Independent Symmetries In Exact Graph Coloring

正確なグラフ彩色におけるインスタンス非依存の対称性の破れ

Temporal Planning using Subgoal Partitioning and Resolution in SGPlan

SGPlanにおけるサブゴール分割と解決を用いた時間計画

Planning Graph Heuristics for Belief Space Search

確信空間探索のための計画グラフヒューリスティック

Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas

量化ブール式の評価における節／項解決と学習

Multiple-Goal Heuristic Search

多目標ヒューリスティック探索

Engineering Benchmarks for Planning: the Domains Used in the Deterministic Part of IPC-4

計画のためのエンジニアリングベンチマーク：IPC-4の決定論的部分で使用されるドメイン

Vol. 27 (2006)

A Variational Inference Procedure Allowing Internal Structure for Overlapping Clusters and Deterministic Constraints

重複クラスターと決定論的制約のための内部構造を許容する変分推論手順

A Comparison of Different Machine Transliteration Models

異なる機械翻字モデルの比較

Solving Factored MDPs with Hybrid State and Action Variables

ハイブリッドな状態変数と行動変数を用いた因子分解MDPの解法

Active Learning with Multiple Views

複数の視点を用いた能動学習

Modelling Mixed Discrete-Continuous Domains for Planning

計画のための離散・連続混合領域のモデリング

Generative Prior Knowledge for Discriminative Classification

識別分類のための生成的事前知識

Properties and Applications of Programs with Monotone and Convex Constraints

単調制約と凸制約を持つプログラムの特性と応用

Anytime Point-Based Approximations for Large POMDPs

大規模POMDPに対するいつでも点ベースの近似

Multi-Issue Negotiation with Deadlines

期限付き複数課題交渉

FluCaP: A Heuristic Search Planner for First-Order MDPs

FluCaP：一次MDPのためのヒューリスティック探索プランナー

Set Intersection and Consistency in Constraint Networks

制約ネットワークにおける集合の交差と一貫性

Preference-based Search using Example-Critiquing with Suggestions

提案付き例批評を用いた選好に基づく検索

Resource Allocation Among Agents with MDP-Induced Preferences

MDP誘導選好を持つエージェント間の資源配分

Cognitive Principles in Robust Multimodal Interpretation

ロバストなマルチモーダル解釈における認知原理

Causes of Ineradicable Spurious Predictions in Qualitative Simulation

定性シミュレーションにおける根絶不可能な誤った予測の原因

Understanding Algorithm Performance on an Oversubscribed Scheduling Application

オーバーサブスクリプションスケジューリングアプリケーションにおけるアルゴリズム性能の理解

Uncertainty in Soft Temporal Constraint Problems:A General Framework and Controllability Algorithms forThe Fuzzy Case

ソフトな時間制約問題における不確実性：ファジィケースのための一般的な枠組みと可制御性アルゴリズム

Learning Sentence-internal Temporal Relations

文内時間関係の学習

Vol. 28 (2007)

Cutset Sampling for Bayesian Networks

ベイジアンネットワークのためのカットセットサンプリング

Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively

解を巧妙に隠蔽することで困難な充足可能式を生成する

Marvin: A Heuristic Search Planner with Online Macro-Action Learning

Marvin：オンラインマクロアクション学習を備えたヒューリスティック探索プランナー

Junta Distributions and the Average-Case Complexity of Manipulating Elections

ジュンタ分布と選挙操作の平均ケース計算量

Proactive Algorithms for Job Shop Scheduling with Probabilistic Durations

確率的持続時間を持つジョブショップスケジューリングのためのプロアクティブアルゴリズム

Auctions with Severely Bounded Communication

通信が厳密に制限されたオークション

Anytime Heuristic Search

いつでもヒューリスティック探索

Supporting Temporal Reasoning by Mapping Calendar Expressions to Minimal Periodic Sets

カレンダー式を最小周期集合にマッピングすることによる時間的推論のサポート

Closed-Loop Learning of Visual Control Policies

視覚制御ポリシーの閉ループ学習

Bin Completion Algorithms for Multicontainer Packing, Knapsack, and Covering Problems

複数コンテナのパッキング、ナップサック、被覆問題のためのビン補完アルゴリズム

Discovering Classes of Strongly Equivalent Logic Programs

強等価論理プログラムのクラスの発見

Abstract Reasoning for Planning and Coordination

計画と調整のための抽象推論

The Strategy-Proofness Landscape of Merging

マージの戦略証明性ランドスケープ

Consistency and Random Constraint Satisfaction Models

一貫性とランダム制約充足モデル

Vol. 29 (2007)

Phase Transition for Random Quantified XOR-Formulas

ランダム量化XOR式の相転移

Combination Strategies for Semantic Role Labeling

意味的役割ラベリングのための組み合わせ戦略

The Generalized A* Architecture

一般化A*アーキテクチャ

Computationally Feasible VCG Mechanisms

計算的に実現可能なVCGメカニズム

The Language of Search

探索言語

On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language

エージェント指向プログラミング言語における発話行為に基づくコミュニケーションの形式意味論について

Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach

非単調推論としての意味的マッチメイキング：記述論理アプローチ

Learning Symbolic Models of Stochastic Domains

確率的領域の記号モデルの学習

Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms

任意の抽象制約アトムを持つ論理プログラムの解答集合

Obtaining Reliable Feedback for Sanctioning Reputation Mechanisms

制裁的評判メカニズムのための信頼性の高いフィードバックの取得

An Algebraic Graphical Model for Decision with Uncertainties, Feasibilities, and Utilities

不確実性、実現可能性、および効用を考慮した意思決定のための代数的グラフィカルモデル

Solution-Guided Multi-Point Constructive Search for Job Shop Scheduling

ジョブショップスケジューリングのためのソリューション誘導型多点構成的探索

NP Animacy Identification for Anaphora Resolution

アナフォラ解決のためのNPアニマシー識別

Vol. 30 (2007)

Learning Semantic Definitions of Online Information Sources

オンライン情報源の意味的定義の学習

The Planning Spectrum – One, Two, Three, Infinity

プランニングスペクトル – 1、2、3、無限

Chain: A Dynamic Double Auction Framework for Matching Patient Agents

Chain：患者エージェントのマッチングのための動的ダブルオークションフレームワーク

Knowledge Derived From Wikipedia For Computing Semantic Relatedness

意味的関連性の計算のためのWikipediaからの知識

Compressed Pattern Databases

圧縮パターンデータベース

Topic and Role Discovery in Social Networks with Experiments on Enron and Academic Email

エンロンと学術メールを用いた実験によるソーシャルネットワークにおけるトピックと役割の発見

Reasoning with Very Expressive Fuzzy Description Logics

非常に表現力豊かなファジィ記述論理による推論

New Inference Rules for Max-SAT

Max-SATのための新しい推論規則

Natural Events

自然事象

Individual and Domain Adaptation in Sentence Planning for Dialogue

対話のための文計画における個人適応と領域適応

Using Linguistic Cues for the Automatic Recognition of Personality in Conversation and Text

会話とテキストにおける性格の自動認識のための言語的手がかりの利用

On the Semantics of Logic Programs with Preferences

選好を持つ論理プログラムの意味論について

Graph Abstraction in Real-time Heuristic Search

リアルタイムヒューリスティック探索におけるグラフ抽象化

A Framework for Kernel-Based Multi-Category Classification

カーネルベースのマルチカテゴリ分類のためのフレームワーク

Probabilistic Planning via Heuristic Forward Search and Weighted Model Counting

ヒューリスティックフォワード探索と重み付きモデルカウントによる確率的計画

Query-time Entity Resolution

クエリタイムエンティティ解決

Learning to Play Using Low-Complexity Rule-Based Policies: Illustrations through Ms. Pac-Man

低複雑度のルールベースポリシーを用いた遊び方を学ぶ：Ms. Pac-Manによる例

Vol. 31 (2008)

MiniMaxSAT: An Efficient Weighted Max-SAT solver

MiniMaxSAT：効率的な重み付きMax-SATソルバー

CTL Model Update for System Modifications

システム変更のためのCTLモデル更新

Conjunctive Query Answering for the Description Logic SHIQ

記述論理SHIQのための連言クエリ応答

Sound and Complete Inference Rules for SE-Consequence

SE-Consequenceのための健全かつ完全な推論規則

Loosely Coupled Formulations for Automated Planning: An Integer Programming Perspective

自動プランニングのための疎結合定式化：整数計画論的観点

On the Expressiveness of Levesque’s Normal Form

Levesque正規形の表現力について

Modular Reuse of Ontologies: Theory and Practice

オントロジーのモジュール再利用：理論と実践

The Complexity of Planning Problems With Simple Causal Graphs

単純な因果グラフを用いたプランニング問題の複雑性

Planning with Durative Actions in Stochastic Domains

確率的領域における持続的アクションを伴うプランニング

Gesture Salience as a Hidden Variable for Coreference Resolution and Keyframe Extraction

共参照解決とキーフレーム抽出のための隠れ変数としてのジェスチャーの顕著性

Global Inference for Sentence Compression: An Integer Linear Programming Approach

文圧縮のための大域的推論：整数線形計画法によるアプローチ

First Order Decision Diagrams for Relational MDPs

関係MDPのための一次決定図

Axiomatic Foundations for Ranking Systems

マルチロボット経路計画におけるサブグラフ構造の活用

Creating Relational Data from Unstructured and Ungrammatical Data Sources

非構造化および非文法的データソースからの関係データの作成

A Multiagent Approach to Autonomous Intersection Management

自律交差点管理のためのマルチエージェントアプローチ

CUI Networks: A Graphical Representation for Conditional Utility Independence

CUIネットワーク：条件付き効用独立性のグラフィカル表現

Vol. 32 (2008)

Cooperative Search with Concurrent Interactions

同時インタラクションを伴う協調探索

A Constraint Programming Approach for Solving a Queueing Control Problem

待ち行列制御問題を解くための制約計画法によるアプローチ

Communication-Based Decomposition Mechanisms for Decentralized MDPs

分散MDPのための通信ベースの分解メカニズム

New Islands of Tractability of Cost-Optimal Planning

コスト最適計画の新たな扱いやすさの島々

Optimal and Approximate Q-value Functions for Decentralized POMDPs

分散POMDPのための最適および近似Q値関数

Spectrum of Variable-Random Trees

可変ランダムツリーのスペクトル

Extended RDF as a Semantic Foundation of Rule Markup Languages

ルールマークアップ言語の意味的基盤としての拡張RDF

On the Qualitative Comparison of Decisions Having Positive and Negative Features

正と負の特徴を持つ決定の定性比較について

Dynamic Control in Real-Time Heuristic Search

リアルタイムヒューリスティック探索における動的制御

Adaptive Stochastic Resource Control: A Machine Learning Approach

適応型確率的資源制御：機械学習アプローチ

Refining the Execution of Abstract Actions with Learned Action Models

学習済み行動モデルを用いた抽象行動実行の洗練

Efficiency and Envy-freeness in Fair Division of Indivisible Goods: Logical Representation and Complexity

不可分財の公平な分配における効率性と嫉妬のなさ：論理的表現と複雑性

SATzilla: Portfolio-based Algorithm Selection for SAT

SATzilla: SATのためのポートフォリオベースのアルゴリズム選択

A Unifying Framework for Structural Properties of CSPs: Definitions, Complexity, Tractability

CSPの構造的特性の統一的枠組み：定義、複雑性、扱いやすさ

A General Theory of Additive State Space Abstractions

加法的な状態空間抽象化の一般理論

Online Planning Algorithms for POMDPs

POMDPのためのオンラインプランニングアルゴリズム

M-DPOP: Faithful Distributed Implementation of Efficient Social Choice Problems

M-DPOP: 効率的な社会選択問題の忠実な分散実装

Compositional Belief Update

構成的信念更新

Analogical Dissimilarity: Definition, Algorithms and Two Experiments in Machine Learning

類推的非類似性：定義、アルゴリズム、そして機械学習における2つの実験

Qualitative System Identification from Imperfect Data

不完全データからの定性的なシステム同定

Latent Tree Models and Approximate Inference in Bayesian Networks

ベイジアンネットワークにおける潜在木モデルと近似推論

The Ultrametric Constraint and its Application to Phylogenetics

超計量制約とその系統発生学への応用

Optimal Strategies for Simultaneous Vickrey Auctions with Perfect Substitutes

完全代替物を用いた同時ヴィックレイオークションの最適戦略

Graphical Model Inference in Optimal Control of Stochastic Multi-Agent Systems

確率的マルチエージェントシステムの最適制御におけるグラフィカルモデル推論

Vol. 33 (2008)

Anytime Induction of Low-cost, Low-error Classifiers: a Sampling-based Approach

低コスト・低エラー分類器の常時誘導：サンプリングに基づくアプローチ

Networks of Influence Diagrams: A Formalism for Representing Agents’ Beliefs and Decision-Making Processes

影響ネットワーク図：エージェントの信念と意思決定プロセスを表現するための形式論

Complexity of Strategic Behavior in Multi-Winner Elections

複数当選者選挙における戦略的行動の複雑性

A Rigorously Bayesian Beam Model and an Adaptive Full Scan Model for Range Finders in Dynamic Environments

動的環境におけるレンジファインダーのための厳密なベイズビームモデルと適応型フルスキャンモデル

Completeness and Performance Of The APO Algorithm

APOアルゴリズムの完全性と性能

ゲーム理論と機械学習における推論の類似点について

Computational Logic Foundations of KGP Agents

KGPエージェントの計算論理的基礎

ICE: An Expressive Iterative Combinatorial Exchange

ICE：表現力豊かな反復的組合せ交換

Learning Partially Observable Deterministic Action Models

部分観測可能な決定論的行動モデルの学習

The Computational Complexity of Dominance and Consistency in CP-Nets

CPネットにおける支配性と一貫性の計算複雑性

An Ordinal Bargaining Solution with Fixed-Point Property

固定小数点特性を持つ順序交渉解

AND/OR Multi-Valued Decision Diagrams (AOMDDs) for Graphical Models

グラフィカルモデルのためのAND/OR多値決定図（AOMDD）

A Multiagent Reinforcement Learning Algorithm with Non-linear Dynamics

非線形ダイナミクスを用いたマルチエージェント強化学習アルゴリズム

Learning to Reach Agreement in a Continuous Ultimatum Game

連続最後通牒ゲームにおける合意形成学習

On the Value of Correlation

相関の価値について

The Latent Relation Mapping Engine: Algorithm and Experiments

潜在的関係マッピングエンジン：アルゴリズムと実験

On the Use of Automatically Acquired Examples for All-Nouns Word Sense Disambiguation

全名詞語義の曖昧性解消における自動獲得例の利用について

Vol. 34 (2009)

Interactive Policy Learning through Confidence-Based Autonomy

信頼度に基づく自律性による対話型ポリシー学習

Generic Preferences over Subsets of Structured Objects

構造化オブジェクトのサブセットに対する一般的な選好

Behavior Bounding: An Efficient Method for High-Level Behavior Comparison

行動境界：高レベル行動比較のための効率的な手法

Mechanisms for Making Crowds Truthful

群衆を真実にするメカニズム

Unsupervised Methods for Determining Object and Relation Synonyms on the Web

Web上のオブジェクトと関係の同義語を決定するための教師なし手法

A Heuristic Search Approach to Planning with Continuous Resources in Stochastic Domains

確率領域における連続リソースを用いた計画のためのヒューリスティック探索アプローチ

Monte Carlo Sampling Methods for Approximating Interactive POMDPs

インタラクティブなPOMDPを近似するためのモンテカルロサンプリング法

Identification of Pleonastic It Using the Web

Webを用いた冗長ITの識別

Solving #SAT and Bayesian Inference with Backtracking Search

バックトラッキング探索による#SATとベイズ推論の解決

Wikipedia-based Semantic Interpretation for Natural Language Processing

自然言語処理のためのWikipediaベースの意味解釈

Exploiting Single-Cycle Symmetries in Continuous Constraint Problems

連続制約問題における単一サイクル対称性の活用

An Anytime Algorithm for Optimal Coalition Structure Generation

最適な連携構造生成のためのいつでも利用可能なアルゴリズム

Learning Document-Level Semantic Properties from Free-Text Annotations

フリーテキスト注釈からの文書レベルの意味特性の学習

Inferring Shallow-Transfer Machine Translation Rules from Small Parallel Corpora

小規模並列コーパスからの浅い転送機械翻訳規則の推論

Asynchronous Forward Bounding for Distributed COPs

分散システムのための非同期フォワードバウンディングCOPs

Sentence Compression as Tree Transduction

木構造伝達としての文圧縮

Planning over Chain Causal Graphs for Variables with Domains of Size 5 Is NP-Hard

ドメインサイズ5の変数に対する連鎖因果グラフ上の計画はNP困難

Efficient Informative Sensing using Multiple Robots

複数ロボットを用いた効率的な情報センシング

Conservative Inference Rule for Uncertain Reasoning under Incompleteness

不完全性下における不確実推論のための保守的推論規則

Policy Iteration for Decentralized Control of Markov Decision Processes

マルコフ決定過程の分散制御のための方策反復

Vol. 35 (2009)

Complex Question Answering: Unsupervised Learning Approaches and Experiments

複雑な質問応答：教師なし学習アプローチと実験

Trust-Based Mechanisms for Robust and Efficient Task Allocation in the Presence of Execution Uncertainty

実行の不確実性が存在する状況下での堅牢かつ効率的なタスク割り当てのための信頼に基づくメカニズム

Eliciting Single-Peaked Preferences Using Comparison Queries

比較クエリを用いた単峰性の選好の抽出

Transductive Rademacher Complexity and its Applications

トランスダクティブ・ラーデマッハ複雑性とその応用

A Bilinear Programming Approach for Multiagent Planning

マルチエージェント計画のための双線形計画アプローチ

Llull and Copeland Voting Computationally Resist Bribery and Constructive Control

LlullとCopelandの投票は、賄賂と建設的支配に計算的に抵抗する

Automated Reasoning in Modal and Description Logics via SAT Encoding: the Case Study of K(m)/ALC-Satisfiability

SATエンコーディングによる様相論理と記述論理における自動推論：K(m)/ALC充足可能性のケーススタディ

Learning Bayesian Network Equivalence Classes with Ant Colony Optimization

アリコロニー最適化を用いたベイジアンネットワーク同値類の学習

Efficient Markov Network Structure Discovery Using Independence Tests

独立性検定を用いた効率的なマルコフネットワーク構造の発見

How Hard Is Bribery in Elections?

選挙における賄賂はどれほど難しいのか？

Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection

メッセージベースのWebサービス構成、整合性制約、そして不確実性下における計画：新たな関連性

Solving Weighted Constraint Satisfaction Problems with Memetic/Exact Hybrid Algorithms

重み付き制約充足問題をミーム的/厳密なハイブリッドアルゴリズムで解く

Optimal Value of Information in Graphical Models

グラフィカルモデルにおける情報の最適価値

Bounds Arc Consistency for Weighted CSPs

重み付きCSPにおける境界アークの一貫性

Compiling Uncertainty Away in Conformant Planning Problems with Bounded Width

有界幅を持つ適合計画問題における不確実性のコンパイル

Variable Forgetting in Reasoning about Knowledge

知識推論における変数の忘却

The Complexity of Circumscription in DLs

DLにおけるサーカムスクリプションの複雑さ

Enhancing QA Systems with Complex Temporal Question Processing Capabilities

複雑な時系列質問処理機能によるQAシステムの強化

Modularity Aspects of Disjunctive Stable Models

選言的安定モデルのモジュール性

Vol. 36 (2009)

The DL-Lite Family and Relations

DL-Liteファミリーと関係

Content Modeling Using Latent Permutations

潜在順列を用いたコンテンツモデリング

Hypertableau Reasoning for Description Logics

記述論理のためのハイパータブロー推論

Relaxed Survey Propagation for The Weighted Maximum Satisfiability Problem

重み付き最大満足度問題のための緩和サーベイ伝播法

ParamILS: An Automatic Algorithm Configuration Framework

ParamILS：自動アルゴリズム設定フレームワーク

Cross-lingual Annotation Projection for Semantic Roles

意味役割のためのクロスリンガルアノテーション投影

Multilingual Part-of-Speech Tagging: Two Unsupervised Approaches

多言語品詞タグ付け：2つの教師なしアプローチ

Approximate Strong Equilibrium in Job Scheduling Games

ジョブスケジューリングゲームにおける近似強均衡

Friends or Foes? On Planning as Satisfiability and Abstract CNF Encodings

味方か敵か？充足可能性としての計画と抽象CNFエンコーディングについて

The Role of Macros in Tractable Planning

扱いやすい計画におけるマクロの役割

RoxyBot-06: Stochastic Prediction and Optimization in TAC Travel

RoxyBot-06: TAC移動における確率的予測と最適化

Soft Goals Can Be Compiled Away

ソフトゴールはコンパイルによって除去可能

Prime Implicates and Prime Implicants: From Propositional to Modal Logic

プライム含意とプライム含意：命題論理から様相論理へ

Vol. 37 (2010)

単語シソーラスに基づくテキストの関連性

From Frequency to Meaning: Vector Space Models of Semantics

頻度から意味へ：意味論のベクトル空間モデル

On Action Theory Change

行為理論の変化について

Context-based Word Acquisition for Situated Dialogue in a Virtual World

仮想世界における状況依存対話のための文脈に基づく単語獲得

Join-Graph Propagation Algorithms

結合グラフ伝播アルゴリズム

An Investigation into Mathematical Programming for Finite Horizon Decentralized POMDPs

有限時間領域分散型POMDPのための数理計画法の調査

Training a Multilingual Sportscaster: Using Perceptual Context to Learn Language

多言語スポーツキャスターの訓練：知覚的文脈を用いた言語学習

Predicting the Performance of IDA* using Conditional Distributions

条件付き分布を用いたIDA*のパフォーマンス予測

Reasoning About the Transfer of Control

制御権の移行に関する推論

Multiattribute Auctions Based on Generalized Additive Independence

一般化加法独立性に基づく多属性オークション

Mechanisms for Multi-Unit Auctions

複数ユニットオークションのメカニズム

Interactive Cost Configuration Over Decision Diagrams

決定図における対話型コスト設定

Vol. 38 (2010)

Using Local Alignments for Relation Recognition

関係認識のための局所アライメントの利用

A Survey of Paraphrasing and Textual Entailment Methods

パラフレージングとテキスト含意法のサーベイ

Constructing Reference Sets from Unstructured, Ungrammatical Text

非構造化・非文法的テキストからの参照集合の構築

Grounding FO and FO(ID) with Bounds

境界を用いたFOとFO(ID)のグラウンディング

Developing Approaches for Solving a Telecommunications Feature Subscription Problem

電気通信機能サブスクリプション問題の解決手法の開発

Fast Set Bounds Propagation Using a BDD-SAT Hybrid

BDD-SATハイブリッドを用いた高速境界伝播

Mixed Strategies in Combinatorial Agency

組み合わせエージェンシーにおける混合戦略

Approximate Model-Based Diagnosis Using Greedy Stochastic Search

貪欲確率的探索を用いた近似モデルベース診断

Resource-Driven Mission-Phasing Techniques for Constrained Agents in Stochastic Environments

確率的環境における制約付きエージェントのためのリソース駆動型ミッションフェーズ化手法

A Minimum Relative Entropy Principle for Learning and Acting

学習と行動のための最小相対エントロピー原理

Change in Abstract Argumentation Frameworks: Adding an Argument

抽象的議論フレームワークの変化：議論の追加

Algorithms for Closed Under Rational Behavior (CURB) Sets

クローズドな議論のためのアルゴリズム有理的行動（CURB）集合の仮定

Logical Foundations of RDF(S) with Datatypes

データ型付きRDF(S)の論理的基礎

Cause Identification from Aviation Safety Incident Reports via Weakly Supervised Semantic Lexicon Construction

弱教師付き意味語彙構築による航空安全インシデント報告書からの原因特定

Non-Transferable Utility Coalitional Games via Mixed-Integer Linear Constraints

混合整数線形制約による移転不可能効用連合ゲーム

Automatic Induction of Bellman-Error Features for Probabilistic Planning

確率的計画のためのベルマン誤差特性の自動誘導

BnB-ADOPT: An Asynchronous Branch-and-Bound DCOP Algorithm

BnB-ADOPT：非同期分岐限定DCOPアルゴリズム

Vol. 39 (2010)

Planning with Noisy Probabilistic Relational Rules

ノイズの多い確率的関係ルールを用いたプランニング

The LAMA Planner: Guiding Cost-Based Anytime Planning with Landmarks

LAMAプランナー：ランドマークを用いたコストベースのいつでもプランニングのガイド

Cooperative Games with Overlapping Coalitions

重複する提携を持つ協力ゲーム

Narrative Planning: Balancing Plot and Character

物語プランニング：プロットとキャラクターのバランス

Case-Based Subgoaling in Real-Time Heuristic Search for Video Game Pathfinding

ビデオゲームのパスファインディングのためのリアルタイムヒューリスティックサーチにおける事例ベースのサブゴール設定

A Model-Based Active Testing Approach to Sequential Diagnosis

モデルベースのアクティブテストアプローチによる逐次診断

Active Tuples-based Scheme for Bounding Posterior Beliefs

事後確率の境界設定のためのアクティブタプルベースのスキーム

A Constraint Satisfaction Framework for Executing Perceptions and Actions in Diagrammatic Reasoning

図式的推論における知覚と行動の実行のための制約充足フレームワーク

Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend!

名義式、逆数、計数、および論理積クエリ、あるいは：なぜ無限はあなたの味方なのか！

Kalman Temporal Differences

カルマン時間差分

Implicit Abstraction Heuristics

暗黙的抽象化ヒューリスティック

Theta*: Any-Angle Path Planning on Grids

Theta*：グリッド上の任意角度パスプランニング

Which Clustering Do You Want? Inducing Your Ideal Clustering with Minimal Feedback

どのクラスタリングが必要ですか？最小限のフィードバックで理想的なクラスタリングを誘導する

A Utility-Theoretic Approach to Privacy in Online Services

オンラインサービスにおけるプライバシーへの効用理論的アプローチ

An Effective Algorithm for and Phase Transitions of the Directed Hamiltonian Cycle Problem

有向ハミルトン閉路問題の効果的なアルゴリズムと相転移

Best-First Heuristic Search for Multicore Machines

マルチコアマシンのための最良優先ヒューリスティック探索

Intrusion Detection using Continuous Time Bayesian Networks

連続時間ベイジアンネットワークを用いた侵入検知

Vol. 40 (2011)

Non-Deterministic Policies in Markovian Decision Processes

マルコフ決定過程における非決定論的ポリシー

Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects

社会選択理論における不可能定理の自動探索：オブジェクト集合のランキング

Second-Order Consistencies

二次整合性

A Probabilistic Approach for Maintaining Trust Based on Evidence

証拠に基づく信頼維持のための確率的アプローチ

A Logical Study of Partial Entailment

部分含意の論理的研究

Iterated Belief Change Due to Actions and Observations

行動と観察による反復的な信念変化

Multimode Control Attacks on Elections

選挙に対するマルチモード制御攻撃

Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution

多数のリスタートと制限幅解決を伴う節学習アルゴリズム

Evaluating Temporal Graphs Built from Texts via Transitive Reduction

推移的縮約によるテキストから構築された時系列グラフの評価

On-line Planning and Scheduling: An Application to Controlling Modular Printers

オンラインプランニングとスケジューリング：モジュラープリンターの制御への応用

Narrowing the Modeling Gap: A Cluster-Ranking Approach to Coreference Resolution

モデリングギャップの縮小：共参照解決へのクラスターランキングアプローチ

Efficient Planning under Uncertainty with Macro-actions

マクロアクションを用いた不確実性下での効率的なプランニング

False-Name Manipulations in Weighted Voting Games

重み付き投票ゲームにおける偽名操作

Multiagent Learning in Large Anonymous Games

大規模匿名ゲームにおけるマルチエージェント学習

Decidability and Undecidability Results for Propositional Schemata

命題スキーマの決定可能性と決定不能性の結果

The Complexity of Integer Bound Propagation

整数境界伝播の計算量

Identifying Aspects for Web-Search Queries

Web検索クエリのアスペクトの特定

Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories

充足可能性法における小さな充足不可能コアの計算理論

Exploiting Structure in Weighted Model Counting Approaches to Probabilistic Inference

重み付きモデルカウント法における構造の活用による確率推論への応用

Scaling up Heuristic Planning with Relational Decision Trees

関係決定木を用いたヒューリスティックプランニングのスケールアップ

Regression Conformal Prediction with Nearest Neighbours

最近傍点を用いた回帰共形予測

A Monte-Carlo AIXI Approximation

モンテカルロAIXI近似

Vol. 41 (2011)

Properties of Bethe Free Energies and Message Passing in Gaussian Models

ガウスモデルにおけるベーテ自由エネルギーとメッセージパッシングの特性

Redistribution Mechanisms for Assignment of Heterogeneous Objects

異種オブジェクトの割り当てにおける再分配メカニズム

Analyzing Search Topology Without Running Any Search: On the Connection Between Causal Graphs and h+

検索を実行せずに検索トポロジーを分析する：因果グラフとh+の関係について

Probabilistic Relational Planning with First Order Decision Diagrams

一階決定図を用いた確率的関係計画

Determining Possible and Necessary Winners Given Partial Orders

部分順序を与えられた場合の可能勝者と必要勝者の決定

From ‘Identical’ to ‘Similar’: Fusing Retrieved Lists Based on Inter-Document Similarities

「同一」から「類似」へ：文書間類似性に基づく検索リストの融合

Stackelberg vs. Nash in Security Games: An Extended Investigation of Interchangeability, Equivalence, and Uniqueness

セキュリティゲームにおけるStackelberg対Nash：互換性、同値性、および一意性の拡張調査

Sequential Diagnosis by Abstraction

抽象化による逐次診断

The Opposite of Smoothing: A Language Model Approach to Ranking Query-Specific Document Clusters

平滑化の反対：クエリ固有の文書クラスターのランキングのための言語モデルアプローチ

Policy Invariance under Reward Transformations for General-Sum Stochastic Games

一般和確率ゲームにおける報酬変換下における方策不変性

Efficient Multi-Start Strategies for Local Search Algorithms

局所探索アルゴリズムのための効率的なマルチスタート戦略

On the Intertranslatability of Argumentation Semantics

議論意味論の相互翻訳可能性について

A Probabilistic Framework for Learning Kinematic Models of Articulated Objects

運動モデル学習のための確率的枠組み多関節物体の

Controlling Complexity in Part-of-Speech Induction

品詞推定における複雑性の制御

Value of Information Lattice: Exploiting Probabilistic Independence for Effective Feature Subset Acquisition

情報格子の価値：確率的独立性を利用した効果的な特徴サブセット獲得

Soft Constraints of Difference and Equality

差異と等価性のソフト制約

Vol. 42 (2011)

Where Are the Hard Manipulation Problems?

困難な操作問題はどこにあるのか？

First-Order Stable Model Semantics and First-Order Loop Formulas

一階安定モデル意味論と一階ループ式

Topological Value Iteration Algorithms

位相的値反復アルゴリズム

Representing and Reasoning with Qualitative Preferences for Compositional Systems

構成システムの質的選好を用いた表現と推論

Centrality-as-Relevance: Support Sets and Similarity as Geometric Proximity

関連性としての中心性：幾何学的近接性としてのサポートセットと類似性

Most Relevant Explanation in Bayesian Networks

ベイジアンネットワークにおける最も関連性の高い説明

On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic

部分ミート、カーネル、インフラ縮約の関連性とホーン論理への応用について

Learning to Make Predictions In Partially Observable Environments Without a Generative Model

生成モデルを用いない部分観測環境における予測学習

Making Decisions Using Sets of Probabilities: Updating, Time Consistency, and Calibration

確率集合を用いた意思決定：更新、時間一貫性、キャリブレーション

Adaptive Submodularity: Theory and Applications in Active Learning and Stochastic Optimization

適応的劣モジュラリティ：能動学習と確率的最適化における理論と応用

Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates

集約を含む解集合プログラムの非根拠集合と妥当な意味論

Cloning in Elections: Finding the Possible Winners

選挙におけるクローニング：可能性のある勝者の発見

MAPP: a Scalable Multi-Agent Path Planning Algorithm with Tractability and Completeness Guarantees

MAPP：扱いやすさと完全性を保証するスケーラブルなマルチエージェント経路計画アルゴリズム

Computing Approximate Nash Equilibria and Robust Best-Responses Using Sampling

サンプリングを用いた近似ナッシュ均衡とロバストな最良応答の計算

Drake: An Efficient Executive for Temporal Plans with Choice

Drake：選択を伴う時間的計画のための効率的な実行装置

Finding Consensus Bayesian Network Structures

コンセンサスベイジアンネットワークの発見構造

Combining Evaluation Metrics via the Unanimous Improvement Ratio and its Application to Clustering Tasks

全会一致改善率による評価指標の統合とクラスタリングタスクへの応用

Defeasible Inclusions in Low-Complexity DLs

低複雑度DLにおける破棄可能な包含

Theoretical and Practical Foundations of Large-Scale Agent-Based Micro-Storage in the Smart Grid

スマートグリッドにおける大規模エージェントベースマイクロストレージの理論的および実践的基盤

Stochastic Enforced Hill-Climbing

確率的強制ヒルクライミング

Dr.Fill: Crosswords and an Implemented Solver for Singly Weighted CSPs

Dr.Fill：クロスワードパズルと単一重みCSPの実装されたソルバー

Multi-Robot Adversarial Patrolling: Facing a Full-Knowledge Opponent

複数ロボットによる敵対的パトロール：完全知識を持つ敵との対峙

Scheduling Bipartite Tournaments to Minimize Total Travel Distance

総移動距離を最小化する二部トーナメントのスケジューリング

Interpolable Formulas in Equilibrium Logic and Answer Set Programming

均衡論理と解答集合プログラミングにおける補間可能な公式

Vol. 43 (2012)

Learning and Reasoning with Action-Related Places for Robust Mobile Manipulation

ロバストなモバイル操作のための行動関連場所を用いた学習と推論

The CQC Algorithm: Cycling in Graphs to Semantically Enrich and Enhance a Bilingual Dictionary

CQCアルゴリズム：グラフのサイクリングによるバイリンガル辞書の意味的拡充と拡張

Counting-Based Search: Branching Heuristics for Constraint Satisfaction Problems

計数ベースの探索：制約充足問題のための分岐ヒューリスティック

Exploiting Model Equivalences for Solving Interactive Dynamic Influence Diagrams

インタラクティブな動的影響図を解くためのモデル同値性の活用

Consistency Techniques for Flow-Based Projection-Safe Global Cost Functions in Weighted Constraint Satisfaction

重み付き制約充足におけるフローベースの射影安全グローバルコスト関数のための一貫性手法

SAS+ Planning as Satisfiability

充足可能性としてのSAS+プランニング

Local Consistency and SAT-Solvers

局所一貫性とSATソルバー

Computing All-Pairs Shortest Paths by Leveraging Low Treewidth

狭い木幅を活用した全ペア最短経路の計算

Generalized Biwords for Bitext Compression and Translation Spotting

バイテキスト圧縮と翻訳スポッティングのための一般化バイワード

Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice

不完全オントロジー推論システムの完全性保証：理論と実践

Robust Local Search for Solving RCPSP/max with Durational Uncertainty

持続期間の不確実性を伴うRCPSP/maxを解くためのロバストな局所探索

Proximity-Based Non-uniform Abstractions for Approximate Planning

近似プランニングのための近接性に基づく非一様抽象化

Avoiding and Escaping Depressions in Real-Time Heuristic Search

不況の回避と脱出リアルタイムヒューリスティック探索

Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming

安定モデルの一般理論と解集合計画法における状況計算と事象計算の再定式化

A Market-Inspired Approach for Intersection Management in Urban Road Traffic Networks

都市道路交通網における交差点管理のための市場指向アプローチ

Learning to Win by Reading Manuals in a Monte-Carlo Framework

モンテカルロフレームワークにおけるマニュアルを読むことで勝つための学習

Location-Based Reasoning about Complex Multi-Agent Behavior

複雑なマルチエージェント行動に関する位置ベース推論

Vol. 44 (2012)

COLIN: Planning with Continuous Linear Numeric Change

COLIN：連続線形数値変化を伴う計画

Algorithms and Limits for Compact Plan Representations

コンパクトな計画表現のためのアルゴリズムと限界

Improving Statistical Machine Translation for a Resource-Poor Language Using Related Resource-Rich Languages

関連リソース豊富な言語を用いたリソースの少ない言語の統計的機械翻訳の改善

Modeling Social Causality and Responsibility Judgment in Multi-Agent Interactions

マルチエージェント相互作用における社会的因果関係と責任判断のモデル化

Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures

明示的なAND/OR構造に対する順序付き解を生成するアルゴリズム

Plan-based Policies for Efficient Multiple Battery Load Management

効率的な複数バッテリー負荷管理のための計画ベースポリシー

Narrative Planning: Compilations to Classical Planning

ナラティブプランニング：古典的プランニングへのコンパイル

人間のようなインタラクションのためのオントロジーに適用された意味的類似度尺度

Modelling Observation Correlations for Active Exploration and Robust Object Detection

能動的な探索とロバストな物体検出のための観測相関のモデリング

Tractable Triangles and Cross-Free Convexity in Discrete Optimisation

離散最適化における扱いやすい三角形と交差フリー凸性

Riffled Independence for Efficient Inference with Partial Rankings

部分ランキングを用いた効率的な推論のためのリフィルド独立性

Domain and Function: A Dual-Space Model of Semantic Relations and Compositions

ドメインと機能：意味的関係と構成の双対空間モデル

SAP Speaks PDDL: Exploiting a Software-Engineering Model for Planning in Business Process Management

SAP Speaks PDDL：ビジネスプロセス管理における計画のためのソフトウェアエンジニアリングモデルの活用

The Logical Difference for the Lightweight Description Logic EL

軽量記述論理ELの論理的差異

Online Speedup Learning for Optimal Planning

最適計画のためのオンライン高速化学習

Solving Limited Memory Influence Diagrams

限られたメモリの影響図の解法

Vol. 45 (2012)

Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results

マルチエージェントシステムのための一階述語論理における知識と時間の相互作用：完全性結果

Towards Unsupervised Learning of Temporal Relations between Events

事象間の時間的関係の教師なし学習に向けて

Coalition Structure Generation over Graphs

グラフ上の連携構造生成

Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach

隠れコンテンツを含むオントロジー上の推論：クエリによるインポートアプローチ

Generating Approximate Solutions to the TTP using a Linear Distance Relaxation

線形距離緩和法を用いたTTPの近似解の生成

Removing Redundant Messages in N-ary BnB-ADOPT

N項BnB-ADOPTにおける冗長メッセージの削除

A Tutorial on Dual Decomposition and Lagrangian Relaxation for Inference in Natural Language Processing

自然言語処理における推論のための双対分解とラグランジュ緩和法に関するチュートリアル

Transforming Graph Data for Statistical Relational Learning

統計的関係学習のためのグラフデータの変換

A New Look at BDDs for Pseudo-Boolean Constraints

擬似ブール制約に対するBDDの新たな視点

The Tractability of CSP Classes Defined by Forbidden Patterns

禁制パターンで定義されたCSPクラスの扱いやすさ

Complexity of Judgment Aggregation

判断集約の計算量

Safe Exploration of State and Action Spaces in Reinforcement Learning

強化学習における状態空間と行動空間の安全な探索

Replanning in Domains with Partial Information and Sensing Actions

部分情報と感知行動を含む領域における再計画

Irrelevant and independent natural extension for sets of desirable gambles

望ましいギャンブル集合の無関係かつ独立した自然拡張

Learning to Predict from Textual Data

テキストデータからの予測学習

The Time Complexity of A* with Approximate Heuristics on Multiple-Solution Search Spaces

複数解探索空間における近似ヒューリスティックを用いたA*の時間計算量

Tractable Set Constraints

扱いやすい集合制約

Evaluating Indirect Strategies for Chinese-Spanish Statistical Machine Translation

中国語-スペイン語統計機械翻訳における間接戦略の評価

An approximative inference method for solving ∃∀SO satisfiability problems

∃∀SO充足可能性問題を解くための近似推論法

Vol. 46 (2013)

Short and Long Supports for Constraint Propagation

制約伝播のための短サポートと長サポート

Undominated Groves Mechanisms

非劣グローブ機構

Generating Extractive Summaries of Scientific Paradigms

科学的パラダイムの抽出要約の生成

Integrative Semantic Dependency Parsing via Efficient Large-scale Feature Selection

統合的な意味的依存関係解析効率的な大規模特徴選択

Toward Supervised Anomaly Detection

教師あり異常検出に向けて

Parameterized Complexity Results for Exact Bayesian Network Structure Learning

正確なベイジアンネットワーク構造学習のためのパラメータ化された複雑性の結果

Boolean Equi-propagation for Concise and Efficient SAT Encodings of Combinatorial Problems

組み合わせ問題の簡潔かつ効率的なSATエンコーディングのためのブール等伝播法

A Hybrid LP-RPG Heuristic for Modelling Numeric Resource Flows in Planning

計画における数値資源フローのモデリングのためのハイブリッドLP-RPGヒューリスティック

Qualitative Order of Magnitude Energy-Flow-Based Failure Modes and Effects Analysis

エネルギーフローに基づく定性的規模オーダーの故障モード影響分析

Incremental Clustering and Expansion for Faster Optimal Planning in Dec-POMDPs

Dec-POMDPにおける高速最適計画のための増分クラスタリングと拡張

Optimal Rectangle Packing: An Absolute Placement Approach

最適矩形パッキング：絶対配置アプローチ

Probabilistic Planning for Continuous Dynamic Systems under Bounded Risk

制限リスク下における連続動的システムの確率的計画

Predicting Behavior in Unstructured Bargaining with a Probability Distribution

確率分布を用いた非構造化交渉における行動予測

Efficient Computation of the Shapley Value for Game-Theoretic Network Centrality

ゲーム理論的ネットワーク中心性のためのシャプレー値の効率的な計算

Description Logic Knowledge and Action Bases

記述論理知識ベースとアクションベース

NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover

NuMVC：最小頂点被覆のための効率的な局所探索アルゴリズム

Automatic Aggregation by Joint Modeling of Aspects and Values

アスペクトと値の結合モデリングによる自動集約

Vol. 47 (2013)

A Feature Subset Selection Algorithm Automatic Recommendation Method

特徴サブセット選択アルゴリズムによる自動推奨法

A Survey on Latent Tree Models and Applications

潜在木モデルとその応用に関するサーベイ

Analysis of Watson’s Strategies for Playing Jeopardy!

Jeopardy!におけるWatsonの戦略分析

The Arcade Learning Environment: An Evaluation Platform for General Agents

アーケード学習環境：汎用エージェントの評価プラットフォーム

Sharing Rewards in Cooperative Connectivity Games

協力的接続ゲームにおける報酬の共有

Learning by Observation of Agent Software Images

エージェントソフトウェア画像の観察による学習

Scheduling a Dynamic Aircraft Repair Shop with Limited Repair Resources

限られた修理リソースによる動的航空機修理工場のスケジューリング

Strong Equivalence of Qualitative Optimization Problems

定性最適化問題の強同値性

Lifted Variable Elimination: Decoupling the Operators from the Constraint Language

持ち上げられた変数の除去：演算子と制約言語の分離

Decentralized Anti-coordination Through Multi-agent Learning

マルチエージェント学習による分散型反協調

On the Computation of Fully Proportional Representation

完全比例代表の計算について

Topic Segmentation and Labeling in Asynchronous Conversations

非同期会話におけるトピックのセグメンテーションとラベリング

A Refined View of Causal Graphs and Component Sizes: SP-Closed Graph Classes and Beyond

因果グラフとコンポーネントサイズの洗練された視点：SP閉グラフクラスとその先へ

Asymmetric Distributed Constraint Optimization Problems

非対称分散制約最適化問題

Protecting Privacy through Distributed Computation in Multi-agent Decision Making

マルチエージェント意思決定における分散計算によるプライバシー保護

Heuristic Search When Time Matters

時間的制約を考慮したヒューリスティック探索

Identifying the Class of Maxi-Consistent Operators in Argumentation

議論における最大一貫性演算子のクラスの特定

Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies

存在規則の非巡回性概念とオントロジーにおけるクエリ応答への応用

A Decidable Extension of SROIQ with Complex Role Chains and Unions

複雑な役割連鎖と結合を用いたSROIQの決定可能な拡張

Framing Image Description as a Ranking Task: Data, Models and Evaluation Metrics

画像記述をランキングタスクとしてフレーミングする：データ、モデル、評価指標

Distributed Reasoning for Multiagent Simple Temporal Problems

マルチエージェントの単純な時間的問題に対する分散推論

Vol. 48 (2013)

Natural Language Inference for Arabic Using Extended Tree Edit Distance with Subtrees

部分木を用いた拡張木編集距離を用いたアラビア語の自然言語推論

Taming the Infinite Chase: Query Answering under Expressive Relational Constraints

無限の追跡を制する：表現力豊かな関係制約下でのクエリ応答

An Online Mechanism for Multi-Unit Demand and its Application to Plug-in Hybrid Electric Vehicle Charging

複数ユニット需要のためのオンラインメカニズムとプラグインハイブリッド電気自動車の充電への応用

Learning Optimal Bayesian Networks: A Shortest Path Perspective

最適学習ベイジアンネットワーク：最短経路の観点

Optimal Implementation of Watched Literals and More General Techniques

監視対象リテラルの最適実装とより一般的な手法

Optimizing SPARQL Query Answering over OWL Ontologies

OWLオントロジーに基づくSPARQLクエリ応答の最適化

A Global Model for Concept-to-Text Generation

概念からテキストへの生成のためのグローバルモデル

Beth Definability in Expressive Description Logics

表現的記述論理におけるベス定義可能性

Defeasible Inheritance-Based Description Logics

破棄可能な継承に基づく記述論理

Horn Clause Contraction Functions

ホーン節縮約関数

AI Methods in Algorithmic Composition: A Comprehensive Survey

アルゴリズム合成におけるAI手法：包括的なサーベイ

Protecting Moving Targets with Multiple Mobile Resources

複数のモバイルリソースによる移動ターゲットの保護

Reasoning about Explanations for Negative Query Answers in DL-Lite

DL-Liteにおける否定的なクエリ回答の説明に関する推論

A Survey of Multi-Objective Sequential Decision-Making

多目的逐次意思決定の概観

Generating Natural Language Descriptions from OWL Ontologies: the NaturalOWL System

OWLオントロジーからの自然言語記述の生成：NaturalOWLシステム

A Case of Pathology in Multiobjective Heuristic Search

多目的ヒューリスティック探索における病理の事例

Unsupervised Sub-tree Alignment for Tree-to-Tree Translation

木から木への翻訳のための教師なしサブツリーアライメント

The Complexity of Optimal Monotonic Planning: The Bad, The Good, and The Causal Graph

最適単調計画の複雑性：悪いもの、良いもの、そして因果グラフ

Single Network Relational Transductive Learning

単一ネットワーク関係トランスダクティブ学習

Scalable and Efficient Bayes-Adaptive Reinforcement Learning Based on Monte-Carlo Tree Search

モンテカルロ木探索に基づくスケーラブルで効率的なベイズ適応型強化学習

Exact Query Reformulation over Databases with First-order and Description Logics Ontologies

一階述語論理オントロジーと記述論理オントロジーを持つデータベースにおける正確なクエリ再定式化

A Smooth Transition from Powerlessness to Absolute Power

無力から絶対的な力へのスムーズな移行

A Constraint Solver for Flexible Protein Model

柔軟なタンパク質モデルのための制約ソルバー

Vol. 49 (2014)

Multimodal Distributional Semantics

マルチモーダル分布意味論

Towards Minimizing Disappointment in Repeated Games

繰り返しゲームにおける失望の最小化に向けて

A Procedural Characterization of Solution Concepts in Games

手続き型特性評価ゲームにおける解概念の理解

Representing and Reasoning About the Rules of General Games With Imperfect Information

不完全情報を伴う一般ゲームのルールの表現と推論

Selfishness Level of Strategic Games

戦略ゲームの利己的レベル

An Empirical Evaluation of Ranking Measures With Respect to Robustness to Noise

ノイズに対する頑健性に関するランキング尺度の実証的評価

Efficient HEX-Program Evaluation Based on Unfounded Sets

未根拠集合に基づく効率的なHEXプログラム評価

Symmetric Subgame-Perfect Equilibria in Resource Allocation

資源配分における対称的部分ゲーム完全均衡

Multiagent Only Knowing in Dynamic Systems

動的システムにおけるマルチエージェントのOnly Knowing（唯一知識）

Mechanisms for Fair Allocation Problems: No-Punishment Payment Rules in Verifiable Settings

公平な割り当て問題のためのメカニズム：検証可能な設定における罰なし支払いルール

Text-Based Twitter User Geolocation Prediction

テキストベースのTwitterユーザーの位置情報予測

Robustness and Stability in Constraint Programming under Dynamism and Uncertainty

ダイナミズムと不確実性下における制約計画法の堅牢性と安定性

Information-Theoretic Multi-view Domain Adaptation: A Theoretical and Empirical Study

情報理論的マルチビュー領域適応：理論的および実証的研究

Large-Scale Optimization for Evaluation Functions with Minimax Search

ミニマックス探索を用いた評価関数の大規模最適化

Inapproximability of Treewidth and Related Problems

同一決定確率のアルゴリズムと応用

Algorithms for Argumentation Semantics: Labeling Attacks as a Generalization of Labeling Arguments

議論意味論のためのアルゴリズム：ラベリング議論の一般化としてのラベリング攻撃

Improved Separations of Regular Resolution from Clause Learning Proof Systems

正規導出と節学習証明システムの改良された分離

Convergence of a Q-learning Variant for Continuous States and Actions

連続状態とアクションのためのQ学習バリアントの収束

Comparative Evaluation of Link-Based Approaches for Candidate Ranking in Link-to-Wikipedia Systems

Wikipediaへのリンクシステムにおける候補ランキングのためのリンクベースアプローチの比較評価

Closure and Consistency In Logic-Associated Argumentation

閉包性と一貫性論理関連議論

Vol. 50 (2014)

Topic-Based Dissimilarity and Sensitivity Models for Translation Rule Selection

トピックベースの相違度および感度モデルを用いた翻訳規則選択

Finding Optimal Solutions for Voting Game Design Problems

投票ゲーム設計問題における最適解の探索

Enhanced Partial Expansion A*

拡張部分展開A*

An Efficient Algorithm for Estimating State Sequences in Imprecise Hidden Markov Models

不正確な隠れマルコフモデルにおける状態系列推定のための効率的なアルゴリズム

Reconnection with the Ideal Tree: A New Approach to Real-Time Search

理想木との再接続：リアルタイム探索への新しいアプローチ

Property Directed Reachability for Automated Planning

自動プランニングのためのプロパティ指向到達可能性

Knowledge Forgetting in Answer Set Programming

回答セットプログラミングにおける知識忘却

Game-Theoretic Patrolling with Dynamic Execution Uncertainty and a Case Study on a Real Transit System

動的実行の不確実性を考慮したゲーム理論的パトロールと実際の交通システムにおけるケーススタディ

HC-Search: A Learning Framework for Search-based Structured Prediction

HC-Search：探索に基づく構造化予測のための学習フレームワーク

A Multivariate Complexity Analysis of Lobbying in Multiple Referenda

複数の住民投票におけるロビー活動の多変量複雑性分析

Monotone Temporal Planning: Tractability, Extensions and Applications

単調な時間計画：扱いやすさ、拡張、および応用

Improving Delete Relaxation Heuristics Through Explicitly Represented Conjunctions

明示的に表現された接続詞による削除緩和ヒューリスティックの改善

Integrating Queueing Theory and Scheduling for Dynamic Scheduling Problems

動的スケジューリング問題における待ち行列理論とスケジューリングの統合

False-Name Manipulation in Weighted Voting Games is Hard for Probabilistic Polynomial Time

重み付き投票ゲームにおける偽名操作は確率多項式時間では困難

Probabilistic Inference in Credal Networks: New Complexity Results

信条ネットワークにおける確率推論：新たな複雑性の結果

Planning through Automatic Portfolio Configuration: The PbP Approach

自動ポートフォリオ構成による計画：PbPアプローチ

MDD Propagation for Sequence Constraints

シーケンス制約のためのMDD伝播

A Decision-Theoretic Model of Assistance

支援の決定理論的モデル

Sentiment Analysis of Short Informal Texts

短いインフォーマルテキストの感情分析

Policy Iteration Based on Stochastic Factorization

確率的因子分解に基づく政策反復

Speeding Up Iterative Ontology Alignment using Block-Coordinate Descent

高速化ブロック座標降下法を用いた反復的オントロジーアラインメント

Arbitration and Stability in Cooperative Games with Overlapping Coalitions

重複連合を持つ協力ゲームにおける調停と安定性

Demand Side Energy Management via Multiagent Coordination in Consumer Cooperatives

消費者協同組合におけるマルチエージェント協調による需要側エネルギー管理

Belief Tracking for Planning with Sensing: Width, Complexity and Approximations

センシングを用いた計画立案のためのビリーフトラッキング：幅、複雑性、近似値

Vol. 51 (2014)

Cooperative Monitoring to Diagnose Multiagent Plans

マルチエージェント計画を診断するための協調モニタリング

Text Rewriting Improves Semantic Role Labeling

テキスト書き換えによる意味的役割ラベル付けの改善

Simple Regret Optimization in Online Planning for Markov Decision Processes

マルコフ決定過程のオンライン計画における単純リグレット最適化

Sensitivity of Diffusion Dynamics to Network Uncertainty

ネットワークの不確実性に対する拡散ダイナミクスの感度

Entrenchment-Based Horn Contraction

エントレンチメントベースのホーン収縮

Automaton Plans

オートマトン計画

Distributed Heuristic Forward Search for Multi-agent Planning

マルチエージェント計画のための分散ヒューリスティックフォワードサーチ

Verification of Agent-Based Artifact Systems

エージェントベースアーティファクトシステムの検証

A Novel SAT-Based Approach to Model Based Diagnosis

モデルベース診断への新しいSATベースのアプローチ

Scoring Functions Based on Second Level Score for k-SAT with Long Clauses

長節を含むk-SATの第2レベルスコアに基づくスコアリング関数

Push and Rotate: a Complete Multi-agent Pathfinding Algorithm

プッシュアンドローテート：完全なマルチエージェント経路探索アルゴリズム

Reasoning about Topological and Cardinal Direction Relations Between 2-Dimensional Spatial Objects

2次元空間オブジェクト間の位相関係と基本方向関係の推論

Optimal Scheduling of Contract Algorithms for Anytime Problem-Solving

いつでも問題解決可能な契約アルゴリズムの最適スケジューリング

Iterative Plan Construction for the Workflow Satisfiability Problem

ワークフロー充足可能性問題のための反復計画構築

No Agent Left Behind: Dynamic Fair Division of Multiple Resources

エージェントを置き去りにしない：複数リソースの動的公平分割

Using Meta-mining to Support Data Mining Workflow Planning and Optimization

メタマイニングを用いたデータマイニングワークフロー計画と最適化のサポート

The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases

OWL 2 EL知識ベースにおける結合クエリとナビゲーションクエリへの回答の複雑さ

On Minimum Representations of Matched Formulas

最小マッチングされた式の表現

On the Testability of BDI Agent Systems

BDIエージェントシステムのテスト可能性について

Tutorial on Structured Continuous-Time Markov Processes

構造化連続時間マルコフ過程のチュートリアル

BDD Ordering Heuristics for Classical Planning

古典的計画のためのBDD順序付けヒューリスティック

A Hidden Markov Model-Based Acoustic Cicada Detector for Crowdsourced Smartphone Biodiversity Monitoring

クラウドソーシングによるスマートフォン生物多様性モニタリングのための隠れマルコフモデルに基づく音響セミ検出器

An Exact Double-Oracle Algorithm for Zero-Sum Extensive-Form Games with Imperfect Information

不完全情報を伴うゼロ和拡張形式ゲームのための正確なダブルオラクルアルゴリズム

Vol. 52 (2015)

Coherent Predictive Inference under Exchangeability with Imprecise Probabilities

不正確な確率を伴う交換可能性の下での一貫性のある予測推論

Agnostic Pointwise-Competitive Selective Classification

不可知論的点単位競合選択分類

On the Subexponential-Time Complexity of CSP

CSPの準指数時間計算量について

Lazy Model Expansion: Interleaving Grounding with Search

遅延モデル拡張：グラウンディングと探索のインターリーブ

Revision by History

履歴による修正

Scheduling Conservation Designs for Maximum Flexibility via Network Cascade Optimization

ネットワークカスケード最適化による柔軟性最大化のための保全設計のスケジューリング

Inferring Team Task Plans from Human Meetings: A Generative Modeling Approach with Logic-Based Prior

人間の会議からのチームタスクプランの推論：論理ベースの事前分布を用いた生成モデリングアプローチ

Computing Convex Coverage Sets for Faster Multi-objective Coordination

多目的コーディネーションの高速化のための凸被覆集合の計算

Modeling the Lifespan of Discourse Entities with Application to Coreference Resolution

談話エンティティの寿命のモデリングと共参照解決への応用

A Case-Based Reasoning Framework to Choose Trust Models for Different E-Marketplace Environments

異なるEマーケットプレイス環境における信頼モデルを選択するための事例ベース推論フレームワーク

Weighted Electoral Control

重み付け選挙管理

Distributed Evaluation of Nonmonotonic Multi-context Systems

非単調なマルチコンテキストシステムの分散評価

A Compositional Framework for Grounding Language Inference, Generation, and Acquisition in Video

ビデオにおける言語推論、生成、獲得のグラウンディングのための構成的フレームワーク

Deterministic Oversubscription Planning as Heuristic Search: Abstractions and Reformulations

ヒューリスティック探索としての決定論的オーバーサブスクリプションプランニング：抽象化および再定式化

Vol. 53 (2015)

Coactive Learning

協働学習

Clause Elimination for SAT and QSAT

SATおよびQSATにおける節除去

Using Machine Translation to Provide Target-Language Edit Hints in Computer Aided Translation Based on Translation Memories

翻訳メモリに基づくコンピュータ支援翻訳において、機械翻訳を用いてターゲット言語の編集ヒントを提供する

Probabilistic Inference Techniques for Scalable Multiagent Decision Making

スケーラブルなマルチエージェント意思決定のための確率推論技術

Model Theory of XPath on Data Trees. Part I: Bisimulation and Characterization

データツリーにおけるXPathのモデル理論。パートI：双模倣と特性評価

Regular Path Queries in Lightweight Description Logics: Complexity and Algorithms

軽量記述論理における正規パスクエリ：計算量とアルゴリズム

Approximate Value Iteration with Temporally Extended Actions

時間的に拡張されたアクションによる近似値反復法

Learning Relational Event Models from Video

ビデオからの関係イベントモデルの学習

Bypassing Combinatorial Protections: Polynomial-Time Algorithms for Single-Peaked Electorates

組み合わせ保護の回避：単峰性有権者のための多項式時間アルゴリズム

Satsisfiability and Systematicity

充足可能性と体系性

ITSAT: An Efficient SAT-Based Temporal Planner

ITSAT：効率的なSATベースの時間プランナー

Placement of Loading Stations for Electric Vehicles: No Detours Necessary!

電気自動車用充電ステーションの配置：迂回不要！

Evolutionary Dynamics of Multi-Agent Learning: A Survey

マルチエージェント学習の進化ダイナミクス：サーベイ

Tree-Width and the Computational Complexity of MAP Approximations in Bayesian Networks

ベイジアンネットワークにおける木幅とMAP近似の計算量

Mechanisms for Multi-unit Combinatorial Auctions with a Few Distinct Goods

少数の異なる財を持つマルチユニット組み合わせオークションのメカニズム

AutoFolio: An Automatically Configured Algorithm Selector

AutoFolio：自動構成アルゴリズムセレクタ

Belief Change with Uncertain Action Histories

不確実な行動履歴による信念の変化

The Ceteris Paribus Structure of Logics of Game Forms

ゲーム形式のロジックにおけるCeteris Paribus構造

Vol. 54 (2015)

Knowledge-Based Textual Inference via Parse-Tree Transformations

構文木変換による知識ベーステキスト推論

Achieving Goals Quickly Using Real-time Search: Experimental Results in Video Games

リアルタイム検索を用いた迅速な目標達成：ビデオゲームにおける実験結果

Leveraging Online User Feedback to Improve Statistical Machine Translation

オンラインユーザーフィードバックを活用した統計的機械翻訳の改善

Expressiveness of Two-Valued Semantics for Abstract Dialectical Frameworks

抽象弁証法的枠組みにおける二値意味論の表現力

Decision Making with Dynamic Uncertain Events

動的な不確実なイベントを用いた意思決定

Relations Between Spatial Calculi About Directions and Orientations

方向と向きに関する空間計算間の関係

PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner

PAGOdA：従量課金制オントロジークエリ回答データログ推論装置

Continuing Plan Quality Optimisation

継続的な計画品質の最適化

Constraining Information Sharing to Improve Cooperative Information Gathering

協調的情報収集を改善するための情報共有の制約

Weighted Regret-Based Likelihood: A New Approach to Describing Uncertainty

重み付きリグレットベースの尤度：不確実性を記述する新しいアプローチ

Possible and Necessary Winners of Partial Tournaments

部分トーナメントの可能な勝者と必要な勝者

Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures

タブローと飽和手順を組み合わせた従量課金制記述論理推論

Solving #SAT and MAXSAT by Dynamic Programming

動的計画法による#SATとMAXSATの解法

Compressing Optimal Paths with Run Length Encoding

ランレングス符号化による最適パスの圧縮

On a Practical, Integer-Linear Programming Model for Delete-Free Tasks and its Use as a Heuristic for Cost-Optimal Planning

削除不要タスクのための実用的な整数線形計画モデルと、コスト最適計画のためのヒューリスティックとしての利用について

Word vs. Class-Based Word Sense Disambiguation

単語ベースとクラスベースの語義曖昧性解消

Vol. 55 (2016)

Introduction to the Special Issue on Cross-Language Algorithms and Applications

クロスランゲージアルゴリズムとアプリケーション特集号の紹介

Semi-supervised Learning with Induced Word Senses for State of the Art Word Sense Disambiguation

最先端の語義曖昧性解消のための誘導語義を用いた半教師あり学習

Learning Concept Graphs from Online Educational Data

オンライン教育データからの概念グラフの学習

Semantic Visualization with Neighborhood Graph Regularization

近傍グラフによるセマンティック可視化正則化

Exploiting Causality for Selective Belief Filtering in Dynamic Bayesian Networks

動的ベイジアンネットワークにおける選択的ビリーフフィルタリングのための因果関係の活用

Distributional Correspondence Indexing for Cross-Lingual and Cross-Domain Sentiment Classification.

クロスリンガルおよびクロスドメイン感情分類のための分布対応インデックス作成

Effectiveness of Automatic Translations for Cross-Lingual Ontology Mapping

クロスリンガルオントロジーマッピングにおける自動翻訳の有効性

Integrating Rules and Dictionaries from Shallow-Transfer Machine Translation into Phrase-Based Statistical Machine Translation

浅い転移機械翻訳のルールと辞書をフレーズベース統計機械翻訳に統合

Synthetic Treebanking for Cross-Lingual Dependency Parsing

クロスリンガル係り受け解析のための合成ツリーバンキング

Utilisation of Metadata Fields and Query Expansion in Cross-Lingual Search of User-Generated Internet Video

ユーザー生成インターネット動画のクロスリンガル検索におけるメタデータフィールドとクエリ拡張の活用

News Across Languages – Cross-Lingual Document Similarity and Event Tracking

言語間のニュース – クロスリンガル文書の類似性とイベント追跡

Adaptive Contract Design for Crowdsourcing Markets: Bandit Algorithms for Repeated Principal-Agent Problems

クラウドソーシング市場のための適応型契約設計：反復プリンシパル・エージェント問題のためのバンディットアルゴリズム

Bayesian Optimization in a Billion Dimensions via Random Embeddings

ランダム埋め込みによる10億次元ベイズ最適化

Predicting Twitter User Demographics using Distant Supervision from Website Traffic Data

ウェブサイトトラフィックデータからの遠隔教師を用いたTwitterユーザーの人口統計予測

Automatic Description Generation from Images: A Survey of Models, Datasets, and Evaluation Measures

画像からの自動記述生成：モデル、データセット、評価尺度のサーベイ

Optimally Solving Dec-POMDPs as Continuous-State MDPs

連続状態MDPとしてのDec-POMDPの最適解法

Module Extraction in Expressive Ontology Languages via Datalog Reasoning

データログ推論による表現オントロジー言語におけるモジュール抽出

Finding Strategyproof Social Choice Functions via SAT Solving

SAT解法による戦略証明可能な社会選択関数の発見

Large-Scale Election Campaigns: Combinatorial Shift Bribery

大規模選挙キャンペーン：組み合わせシフト賄賂

Cross-Lingual Bridges with Models of Lexical Borrowing

語彙借用モデルを用いた言語間橋渡し

Exact Algorithms for MRE Inference

MRE推論のための正確なアルゴリズム

Quadratization and Roof Duality of Markov Logic Networks

マルコフ論理ネットワークの2乗化とルーフ双対性

Combining Two and Three-Way Embedding Models for Link Prediction in Knowledge Bases

知識ベースにおけるリンク予測のための2方向および3方向埋め込みモデルの組み合わせ

Knowledge Representation in Probabilistic Spatio-Temporal Knowledge Bases

確率的時空間知識ベースにおける知識表現

An Exact Algorithm Based on MaxSAT Reasoning for the Maximum Weight Clique Problem

MaxSATに基づく正確なアルゴリズム最大重みクリーク問題の推論

Parallel Model-Based Diagnosis on Multi-Core Computers

マルチコアコンピュータにおける並列モデルベース診断

Searching for the M Best Solutions in Graphical Models

グラフィカルモデルにおけるM最適解の探索

How Translation Alters Sentiment

翻訳が感情に及ぼす影響

Bilingual Distributed Word Representations from Document-Aligned Comparable Data

文書アラインメントされた比較データからのバイリンガル分散単語表現

A Distributed Representation-Based Framework for Cross-Lingual Transfer Parsing

クロスリンガル転移解析のための分散表現ベースのフレームワーク

Vol. 56 (2016)

Query and Predicate Emptiness in Ontology-Based Data Access

オントロジーベースのデータアクセスにおけるクエリと述語の空性

Budgeted Optimization with Constrained Experiments

制約付き実験による予算最適化

Global Continuous Optimization with Error Bound and Fast Convergence

誤差限界と高速収束を伴う大域的連続最適化

Two Aspects of Relevance in Structured Argumentation: Minimality and Paraconsistency

構造化議論における関連性の2つの側面：最小性とパラコンシステンシー

Association Discovery and Diagnosis of Alzheimers Disease with Bayesian Multiview Learning

ベイズ的マルチビュー学習によるアルツハイマー病の連想発見と診断

Combining the Delete Relaxation with Critical-Path Heuristics: A Direct Characterization

削除緩和法とクリティカルパス・ヒューリスティックスの組み合わせ：直接的な特性評価

DL-Lite Contraction and Revision

DL-Liteの縮約と修正

Generating Models of a Matched Formula With a Polynomial Delay

多項式遅延を伴う一致式モデルの生成

On the Satisfiability Problem for SPARQL Patterns

SPARQLパターンの充足可能性問題について

Efficient Mechanism Design for Online Scheduling

オンラインスケジューリングのための効率的なメカニズム設計

Computing Repairs of Inconsistent DL-Programs over EL Ontologies

ELオントロジー上の矛盾したDLプログラムの修復計算

Time-Sensitive Bayesian Information Aggregation for Crowdsourcing Systems

クラウドソーシングシステムのための時間依存型ベイズ情報集約

Time-Bounded Best-First Search for Reversible and Non-reversible Search Graphs

可逆および非可逆検索グラフのための時間制限付き最良優先探索

A Study of Proxies for Shapley Allocations of Transport Costs

輸送費のShapley配分のためのプロキシの研究

Automatic Wordnet Development for Low-Resource Languages using Cross-Lingual WSD

低リソース言語のための自動Wordnet開発クロスリンガルWSD

Datalog+- Ontology Consolidation

Datalog+ – オントロジー統合

The IBaCoP Planning System: Instance-Based Configured Portfolios

IBaCoP計画システム：インスタンスベースの構成ポートフォリオ

Qualitative Spatial Logics for Buffered Geometries

バッファ付きジオメトリのための定性的空間ロジック

Optimal Any-Angle Pathfinding In Practice

実践における最適任意角度経路探索

Vol. 57 (2016)

Learning Continuous Time Bayesian Networks in Non-stationary Domains

非定常領域における連続時間ベイジアンネットワークの学習

Optimal Partial-Order Plan Relaxation via MaxSAT

MaxSATによる最適半順序計画緩和

Lightweight Random Indexing for Polylingual Text Classification

多言語テキスト分類のための軽量ランダムインデックス作成

Multi-objective Reinforcement Learning through Continuous Pareto Manifold Approximation

連続パレート多様体近似による多目的強化学習

Goal Probability Analysis in Probabilistic Planning: Exploring and Enhancing the State of the Art

確率的プランニングにおける目標確率分析：最先端技術の探究と強化

Effective Heuristics for Suboptimal Best-First Search

準最適最良優先探索のための効果的なヒューリスティック

Scrubbing During Learning In Real-time Heuristic Search

リアルタイムヒューリスティック探索における学習中のスクラビング

A Primer on Neural Network Models for Natural Language Processing

自然言語処理のためのニューラルネットワークモデル入門

PDT Logic: A Probabilistic Doxastic Temporal Logic for Reasoning about Beliefs in Multi-agent Systems

PDT論理：マルチエージェントシステムにおける信念推論のための確率的ドクサスティック時相論理

Embarrassingly Parallel Search in Constraint Programming

制約プログラミングにおける驚異的並列探索

ProMoca: Probabilistic Modeling and Analysis of Agents in Commitment Protocols

ProMoca：コミットメントプロトコルにおけるエージェントの確率的モデリングと分析

A Survey of Computational Treatments of Biomolecules by Robotics-Inspired Methods Modeling Equilibrium Structure and Dynamic

ロボット工学に着想を得た手法による生体分子の計算処理のサーベイ：平衡構造と動態のモデリング

Convergence of Iterative Scoring Rules

反復スコアリングルールの収束

ZERO++: Harnessing the Power of Zero Appearances to Detect Anomalies in Large-Scale Data Sets

ZERO++：大規模データにおける異常検出のためのゼロ出現の力の活用集合

P-SyncBB: A Privacy Preserving Branch and Bound DCOP Algorithm

P-SyncBB：プライバシー保護型分岐限定法DCOPアルゴリズム

A Disaster Response System based on Human-Agent Collectives

人間・エージェント集団に基づく災害対応システム

Vol. 58 (2017)

Probabilistic Description Logics for Subjective Uncertainty

主観的不確実性に対する確率的記述論理

Subset Selection Via Implicit Utilitarian Voting

暗黙的功利主義投票によるサブセット選択

Controlled School Choice with Soft Bounds and Overlapping Types

ソフトバウンドと重複型を考慮した制御された学校選択

Bayesian Network Structure Learning with Integer Programming: Polytopes, Facets and Complexity

整数計画法を用いたベイジアンネットワーク構造学習：多面体、ファセット、複雑性

DESPOT: Online POMDP Planning with Regularization

DESPOT：正則化を用いたオンラインPOMDP計画

Local Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function

2レベル構成チェックと頻度ベーススコアリング関数を用いた最小重み支配集合の局所探索

Computational Aspects of Nearly Single-Peaked Electorates

ほぼ単峰性の選挙区の計算的側面

A Model-Theoretic View on Qualitative Constraint Reasoning

定性制約推論に関するモデル理論的考察

Dynamic Repositioning to Reduce Lost Demand in Bike Sharing Systems

自転車シェアリングシステムにおける需要喪失の削減のための動的再配置

The Computational Complexity of Structure-Based Causality

構造に基づく因果関係の計算複雑性

New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition

連言分解を用いたOBDDの拡張による新しい標準表現

Robots in Retirement Homes: Applying Off-the-Shelf Planning and Scheduling to a Team of Assistive Robots

老人ホームにおけるロボット：既製の計画とスケジューリングを支援ロボットチームに適用する

Explicit Document Modeling through Weighted Multiple-Instance Learning

重み付きマルチインスタンス学習による明示的文書モデリング

A Probabilistic Formalization of the Appraisal for the OCC Event-Based Emotions

OCCイベントベース感情の評価の確率的形式化

Combinatorial Multi-armed Bandits for Real-Time Strategy Games

リアルタイム戦略ゲームのための組み合わせ的多腕バンディット

Tie-Breaking Strategies for Cost-Optimal Best First Search

コスト最適最良優先探索のためのタイブレーク戦略

A Neural Probabilistic Structured-Prediction Method for Transition-Based Natural Language Processing

遷移に基づく自然言語処理のためのニューラル確率的構造化予測法

Managing Different Sources of Uncertainty in a BDI Framework in a Principled Way with Tractable Fragments

扱いやすいフラグメントを用いたBDIフレームワークにおける異なる不確実性要因の原理的な管理

Some Properties of Batch Value of Information in the Selection Problem

いくつかの特性選択問題における情報のバッチ価値

Randomized Social Choice Functions Under Metric Preferences

メトリクス選好に基づくランダム化社会選択関数

Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine Learning

機械学習による木分解における動的計画法の効率改善

Logics of Common Ground

共通基盤の論理

Encoding Domain Transitions for Constraint-Based Planning

制約ベース計画のためのドメイン遷移の符号化

Vol. 59 (2017)

Indirect Causes in Dynamic Bayesian Networks Revisited

動的ベイジアンネットワークにおける間接的原因の再考

Learning Discrete Bayesian Networks from Continuous Data

連続データからの離散ベイジアンネットワークの学習

Parliamentary Voting Procedures: Agenda Control, Manipulation, and Uncertainty

議会投票手続き：議題制御、操作、不確実性

Market Interfaces for Electric Vehicle Charging

電気自動車充電のための市場インターフェース

Sampling Based Approaches for Minimizing Regret in Uncertain Markov Decision Processes (MDPs)

不確実なマルコフ決定過程（MDP）におけるリグレット最小化のためのサンプリングに基づくアプローチ

Adopting the Cascade Model in Ad Auctions: Efficiency Bounds and Truthful Algorithmic Mechanisms

広告オークションにおけるカスケードモデルの採用：効率性限界と真実性の高いアルゴリズムメカニズム

Privacy Preserving Implementation of the Max-Sum Algorithm and its Variants

プライバシー保護を考慮したMax-Sumアルゴリズムとその派生型の実装

AND/OR Branch-and-Bound on a Computational Grid

計算グリッドにおけるAND/OR分岐限定法

Game-Theoretic Question Selection for Tests

テストのためのゲーム理論的質問選択

Finding A Small Vertex Cover in Massive Sparse Graphs: Construct, Local Search, and Preprocess

大規模スパースグラフにおける小さな頂点被覆の発見：構築、局所探索、および前処理

Perturbation Training for Human-Robot Teams

人間とロボットのチームのための摂動訓練

The Length of Shortest Vertex Paths in Binary Occupancy Grids Compared to Shortest r-Constrained Ones

二項占有グリッドにおける最短頂点経路の長さと、最短r制約グリッドとの比較

Probabilistic Reasoning with Abstract Argumentation Frameworks

抽象的議論フレームワークを用いた確率的推論

The Price of Anarchy in Auctions

オークションにおける無秩序の代償

Welfare Effects of Market Making in Continuous Double Auctions

連続ダブルオークションにおけるマーケットメイキングの福祉効果

Logical Formalizations of Commonsense Reasoning: A Survey

常識推論の論理的形式化：調査

Decision-Theoretic Planning Under Anonymity in Agent Populations

エージェント集団における匿名性下における意思決定理論的プランニング

Uniform Random Generation and Dominance Testing for CP-Nets

CPネットにおける一様乱数生成と優位性検定

Complexity of n-Queens Completion

n-クイーン補完の複雑性

Vol. 60 (2017)

Complexity Results and Algorithms for Extension Enforcement in Abstract Argumentation

抽象的議論における拡張強制の複雑性結果とアルゴリズム

Learning Neural Audio Embeddings for Grounding Semantics in Auditory Perception

聴覚知覚におけるグラウンディング・セマンティクスのためのニューラル・オーディオ埋め込みの学習

Confidence Decision Trees via Online and Active Learning for Streaming Data

ストリーミングデータのためのオンラインおよび能動学習による信頼度決定木

Axiomatising Incomplete Preferences through Sets of Desirable Gambles

望ましいギャンブル集合による不完全な選好の公理化

A Game Theoretic Analysis of the Adversarial Retrieval Setting

敵対的検索設定のゲーム理論的分析

A Knowledge Level Account of Forgetting

忘却に関する知識レベルの説明

Rationalisation of Profiles of Abstract Argumentation Frameworks: Characterisation and Complexity

抽象的議論フレームワークのプロファイルの合理化：特徴づけと複雑性

Combining Lexical and Syntactic Features for Detecting Content-Dense Texts in News

ニュースにおける内容密度の高いテキストの検出のための語彙的特徴と統語的特徴の統合

On the Semantics and Complexity of Probabilistic Logic Programs

確率論理プログラムの意味論と複雑性について

The Linear Programming Approach to Reach-Avoid Problems for Markov Decision Processes

マルコフ決定過程の到達回避問題への線形計画法アプローチ

Residual-Guided Look-Ahead in AND/OR Search for Graphical Models

グラフィカルモデルのAND/OR探索における残差誘導型先読み

Preference-Based Inconsistency Management in Multi-Context Systems

マルチコンテキストシステムにおける選好に基づく不整合管理

The Sixth Answer Set Programming Competition

第6回解答集合プログラミングコンテスト

Resolving Over-Constrained Temporal Problems with Uncertainty through Conflict-Directed Relaxation

不確実性を伴う過剰制約時間問題の衝突指向緩和法による解決

On Hash-Based Work Distribution Methods for Parallel Best-First Search

並列最良優先探索のためのハッシュベースの作業配分法について

A Survey on Lexical Simplification

語彙簡素化に関するサーベイ

Time and Space Bounds for Planning

計画における時間と空間の境界

Multi-Organ Exchange

多臓器交換

Viewpoint: A Critical View on Smart Cities and AI

視点：スマートシティとAIに関する批判的考察

Chamberlin–Courant Rule with Approval Ballots: Approximating the MaxCover Problem with Bounded Frequencies in FPT Time

承認付きチェンバリン・クーラン則投票：有限頻度のMaxCover問題をFPT時間で近似する

Sample-Based Tree Search with Fixed and Adaptive State Abstractions

固定および適応的状態抽象化を用いたサンプルベース木探索

On the Equivalence between Assumption-Based Argumentation and Logic Programming

仮定に基づく議論と論理プログラミングの同値性について

Prime Implicate Generation in Equational Logic

方程式論理における主含意生成

On Monte Carlo Tree Search and Reinforcement Learning

モンテカルロ木探索と強化学習について

Elections with Few Voters: Candidate Control Can Be Easy

投票者が少ない選挙：候補者管理は容易になる

Kernel Contraction and Base Dependence

カーネル収縮と基底依存性

Vol. 61 (2018)

Learning Explanatory Rules from Noisy Data

ノイズデータからの説明ルールの学習

Bisimulations on Data Graphs

データグラフ上の双模倣

From Skills to Symbols: Learning Symbolic Representations for Abstract High-Level Planning

スキルからシンボルへ：抽象的高レベルプランニングのための記号表現の学習

Linear Satisfiability Preserving Assignments

線形充足可能性保存割り当て

KABouM: Knowledge-Level Action and Bounding Geometry Motion Planner

KABouM：知識レベル動作および境界幾何学動作プランナー

Actively Estimating Crowd Annotation Consensus

群衆注釈合意の能動的推定

Cycles and Intractability in a Large Class of Aggregation Rules

大規模な集約ルールクラスにおけるサイクルと扱いにくさ

Coordinating Measurements in Uncertain Participatory Sensing Settings

不確実な参加型センシング環境における測定の調整

Fact-Alternating Mutex Groups for Classical Planning

古典的プランニングのための事実交代ミューテックスグループ

Revisiting the Arcade Learning Environment: Evaluation Protocols and Open Problems for General Agents

アーケード学習環境の再考：一般エージェントの評価プロトコルと未解決問題

On the Behavior of Convolutional Nets for Feature Extraction

特徴抽出のための畳み込みネットの挙動について

Fully Observable Non-deterministic Planning as Assumption-Based Reactive Synthesis

仮定に基づくリアクティブ合成としての完全観測非決定性プランニング

Distributed Constraint Optimization Problems and Applications: A Survey

分散制約最適化問題とその応用：サーベイ

Survey of the State of the Art in Natural Language Generation: Core tasks, applications and evaluation

最先端技術のサーベイ自然言語生成におけるコアタスク、応用、評価

Trust as a Precursor to Belief Revision

信念修正の前兆としての信頼

When Subgraph Isomorphism is Really Hard, and Why This Matters for Graph Databases

部分グラフ同型性が本当に難しい場合、そしてそれがグラフデータベースにとってなぜ重要なのか

Rademacher Complexity Bounds for a Penalized Multi-class Semi-supervised Algorithm

ペナルティ付き多クラス半教師ありアルゴリズムのRademacher計算量限界

Symbol Grounding Association in Multimodal Sequences with Missing Elements

欠損要素を含むマルチモーダルシーケンスにおけるシンボルグラウンディング関連付け

Belief Update within Propositional Fragments

命題フラグメント内の信念更新

Corpus-Level Fine-Grained Entity Typing

コーパスレベルの細粒度エンティティタイピング

SMOTE for Learning from Imbalanced Data: Progress and Challenges, Marking the 15-year Anniversary

不均衡データからの学習のためのSMOTE：15周年を迎えての進歩と課題

Visualisation and ‘Diagnostic Classifiers’ Reveal How Recurrent and Recursive Neural Networks Process Hierarchical Structure

可視化と「診断分類器」により、再帰型ニューラルネットワークと再帰型ニューラルネットワークが階層構造を処理する仕組みが明らかに

Pre-Wiring and Pre-Training: What Does a Neural Network Need to Learn Truly General Identity Rules?

事前配線と事前学習：ニューラルネットワークが真に一般的な同一性ルールを学習するには何が必要か？

From Feature To Paradigm: Deep Learning In Machine Translation

特徴からパラダイムへ：機械翻訳におけるディープラーニング

Vol. 62 (2018)

An Exhaustive DPLL Algorithm for Model Counting

モデルカウントのための網羅的DPLLアルゴリズム

Verification of Distributed Epistemic Gossip Protocols

分散認識ゴシッププロトコルの検証

A COP Model For Graph-Constrained Coalition Formation

グラフ制約付き提携形成のためのCOPモデル

Resource-bounded Norm Monitoring In Multi-agent Systems

マルチエージェントシステムにおけるリソース制約付きノルムモニタリング

MCTS-Minimax Hybrids with State Evaluations

状態評価を伴うMCTS-ミニマックスハイブリッド

Solving Large Problems with Heuristic Search: General-Purpose Parallel External-Memory Search

ヒューリスティック探索による大規模問題の解決：汎用並列外部メモリ探索

Viewpoint: Artificial Intelligence Government (Gov. 3.0): The UAE Leading Model

視点：人工知能政府（Gov. 3.0）：UAEの主要モデル

Solving Multi-agent Path Finding on Strongly Biconnected Digraphs

強2連結有向グラフにおけるマルチエージェント経路探索の解決

Nash Stable Outcomes in Fractional Hedonic Games: Existence, Efficiency and Computation

分数ヘドニックゲームにおけるナッシュ安定結果：存在、効率、計算

Axiomatic Characterization of Game-Theoretic Centrality

ゲーム理論的中心性の公理的特徴付け

Extending Classical Planning with State Constraints: Heuristics and Search for Optimal Planning

状態制約を伴う古典的計画の拡張：ヒューリスティックと最適計画の探索

Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems

インセンティブ適合メカニズムオープンマルチエージェントシステムにおける規範監視

The Power of Verification for Greedy Mechanism Design

貪欲メカニズム設計における検証の威力

Column Generation Algorithms for Constrained POMDPs

制約付きPOMDPのための列生成アルゴリズム

Counterexample-Guided Cartesian Abstraction Refinement for Classical Planning

古典的計画のための反例誘導カルティシアン抽象化の洗練

ScottyActivity: Mixed Discrete-Continuous Planning with Convex Optimization

ScottyActivity: 凸最適化を用いた離散・連続混合計画

Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access

外部ソースアクセスを備えた解集合プログラムの効率的な評価のための部分割り当ての活用

Lifted Relational Neural Networks: Efficient Learning of Latent Relational Structures

Lifted Relational Neural Networks: 潜在的関係構造の効率的な学習

Viewpoint: When Will AI Exceed Human Performance? Evidence from AI Experts

視点: AIはいつ人間のパフォーマンスを超えるのか？ AI専門家によるエビデンス

Computing Hierarchical Finite State Controllers With Classical Planning

古典的計画を用いた階層的有限状態制御器の計算

A Review of Inference Algorithms for Hybrid Bayesian Networks

ハイブリッドベイジアンネットワークの推論アルゴリズムのレビュー

Querying Log Data with Metric Temporal Logic

計量時相論理を用いたログデータのクエリ

Vol. 63 (2018)

Human-Machine Collaborative Optimization via Apprenticeship Scheduling

見習いスケジューリングによる人間と機械の協調最適化

Efficient Computation of Semivalues for Game-Theoretic Network Centrality

ゲーム理論的ネットワーク中心性のための半値の効率的な計算

Query Answering with Transitive and Linear-Ordered Data

推移的および線形順序データを用いたクエリ応答

Revisiting the Approximation Bound for Stochastic Submodular Cover

確率的劣モジュラー被覆の近似境界の再考

Watching and Acting Together: Concurrent Plan Recognition and Adaptation for Human-Robot Teams

共に見て行動する：人間とロボットのチームのための同時計画認識と適応

Cooperative, Dynamics-based, and Abstraction-Guided Multi-robot Motion Planning

協調的、ダイナミクスベース、抽象化に基づくマルチロボット動作計画

Robust Text Classification under Confounding Shift

交絡シフト下におけるロバストなテキスト分類

Graphical Model Market Maker for Combinatorial Prediction Markets

組み合わせ予測市場のためのグラフィカルモデルマーケットメーカー

Proximal Gradient Temporal Difference Learning: Stable Reinforcement Learning with Polynomial Sample Complexity

近似勾配時間差学習：多項式サンプル複雑度を持つ安定強化学習

Approximation and Parameterized Complexity of Minimax Approval Voting

近似ミニマックス承認投票の計算量とパラメータ化計算量

A Core Method for the Weak Completion Semantics with Skeptical Abduction

懐疑的アブダクションを用いた弱完了意味論のコア手法

A Complexity Approach for Core-Selecting Exchange under Conditionally Lexicographic Preferences

条件付き辞書式選好に基づくコア選択交換の計算量アプローチ

LTL on Finite and Process Traces: Complexity Results and a Practical Reasoner

有限およびプロセストレース上のLTL：計算量結果と実用的な推論システム

Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions

選言と数値制限を伴う記述論理のための結果ベース推論

Data-driven Conceptual Spaces: Creating Semantic Representations For Linguistic Descriptions Of Numerical Data

データ駆動型概念空間：数値データの言語記述のための意味表現の作成

From Word To Sense Embeddings: A Survey on Vector Representations of Meaning

単語から意味埋め込みへ：意味のベクトル表現に関するサーベイ

State-Space Abstractions for Probabilistic Inference: A Systematic Review

確率推論のための状態空間抽象化：系統的レビュー

Grounding Language for Transfer in Deep Reinforcement Learning

深層強化学習における転移のためのグラウンディング言語

Belief Integration and Source Reliability Assessment

信念統合と情報源信頼性評価

AND/OR Search for Marginal MAP

周辺MAPのためのAND/OR探索

Transition-Based Neural Word Segmentation Using Word-Level Features

単語レベル特徴を用いた遷移ベースのニューラル単語セグメンテーション

Optimal Torpedo Scheduling

最適トルピードスケジューリング

Bounds on the Cost of Stabilizing a Cooperative Game

協力ゲームの安定化コストの上限

Vol. 64 (2019)

Fair Allocation of Indivisible Goods to Asymmetric Agents

非対称エージェントへの不可分財の公平な割り当て

New Approximations for Coalitional Manipulation in Scoring Rules

スコアリングルールにおける連携操作の新しい近似

A Generalisation of AGM Contraction and Revision to Fragments of First-Order Logic

AGM縮約の一般化と一階述語論理の断片への修正

Multi-scale Hierarchical Residual Network for Dense Captioning

稠密なマルチスケール階層的残差ネットワークキャプション作成

Cost-Based Goal Recognition in Navigational Domains

ナビゲーション領域におけるコストベースの目標認識

On Inductive Abilities of Latent Factor Models for Relational Learning

関係学習のための潜在因子モデルの帰納的能力について

Viewpoint: Human-in-the-loop Artificial Intelligence

視点：人間参加型人工知能

Logical Foundations of Linked Data Anonymisation

リンクトデータ匿名化の論理的基礎

Iterative Local Voting for Collective Decision-making in Continuous Spaces

連続空間における集団的意思決定のための反復的局所投票

Level-0 Models for Predicting Human Behavior in Games

ゲームにおける人間の行動を予測するためのレベル0モデル

A Sampling Approach for Proactive Project Scheduling under Generalized Time-dependent Workability Uncertainty

一般化された時間依存作業性不確実性下におけるプロアクティブ・プロジェクト・スケジューリングのためのサンプリング・アプローチ

Revisiting CFR+ and Alternating Updates

CFR+と交互更新の再考

Dynamic Controllability of Controllable Conditional Temporal Problems with Uncertainty

不確実性を伴う制御可能な条件付き時間的問題の動的制御可能性

Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty: Success Guarantees and Computational Complexity

目的地不確実性下における暗黙的に協調されたマルチエージェント経路探索：成功保証と計算複雑性

AI Generality and Spearman’s Law of Diminishing Returns

AIの一般性とスピアマンの収穫逓減の法則

Rank Pruning for Dominance Queries in CP-Nets

CPネットにおける支配クエリのためのランク・プルーニング

Computing and Explaining Query Answers over Inconsistent DL-Lite Knowledge Bases

矛盾するDL-Lite知識ベースにおけるクエリ回答の計算と説明

A Survey on Transfer Learning for Multiagent Reinforcement Learning Systems

マルチエージェント強化学習システムのための転移学習に関するサーベイ

Distributed Gibbs: A Linear-Space Sampling-Based DCOP Algorithm

分散ギブス：線形空間サンプリングに基づくDCOPアルゴリズム

Polynomial and Exponential Bounded Logic Programs with Function Symbols: Some New Decidable Classes

関数シンボルを含む多項式および指数有界論理プログラム：いくつかの新しい決定可能クラス

Modeling and Planning with Macro-Actions in Decentralized POMDPs

分散型におけるマクロアクションを用いたモデリングとプランニングPOMDP

Pitfalls and Best Practices in Algorithm Configuration

アルゴリズム設定における落とし穴とベストプラクティス

Negotiable Votes

交渉可能な投票

Conditional Simple Temporal Networks with Uncertainty and Resources

不確実性とリソースを考慮した条件付き単純時系列ネットワーク

Using Collective Behavior of Coupled Oscillators for Solving DCOP

結合振動子の集団的行動を用いたDCOPの解決

Vol. 65 (2019)

On Overfitting and Asymptotic Bias in Batch Reinforcement Learning with Partial Observability

部分観測性を考慮したバッチ強化学習における過学習と漸近的バイアスについて

Dependency Learning for QBF

QBFのための依存性学習

Goal Recognition Design in Deterministic Environments

決定論的環境における目標認識設計

Probabilistic Planning with Reduced Models

縮退モデルを用いた確率的計画

Point-Based Value Iteration for Finite-Horizon POMDPs

有限時間区間POMDPのためのポイントベース価値反復法

A Coupled Operational Semantics for Goals and Commitments

目標とコミットメントのための結合操作意味論

Strong Stubborn Set Pruning for Star-Topology Decoupled State Space Search

スタートポロジ分離状態空間探索のための強力な頑固集合枝刈り

Weighted Matching Markets with Budget Constraints

予算制約付き重み付きマッチング市場

OptStream: Releasing Time Series Privately

OptStream: 時系列の非公開リリース

IKBT: Solving Symbolic Inverse Kinematics with Behavior Tree

IKBT: 行動木を用いた記号逆運動学の解法

Unifying System Health Management and Automated Decision Making

システムヘルス管理と自動意思決定の統合

Autonomous Target Search with Multiple Coordinated UAVs

複数の協調UAVによる自律ターゲット探索

A Survey of Cross-lingual Word Embedding Models

クロスリンガル単語埋め込みモデルのサーベイ

Computing Multi-Modal Journey Plans under Uncertainty

不確実性下におけるマルチモーダル旅程計画の計算

Automatic Language Identification in Texts: A Survey

テキストにおける自動言語識別：サーベイ

The Mathematics of Changing One’s Mind, via Jeffrey’s or via Pearl’s Update Rule

Jeffreyの更新則またはPearlの更新則による考えを変える数学

REBA: A Refinement-Based Architecture for Knowledge Representation and Reasoning in Robotics

REBA: ロボティクスにおける知識表現と推論のための洗練に基づくアーキテクチャ

Vol. 66 (2019)

Solving the Torpedo Scheduling Problem

魚雷スケジューリング問題の解決

Strategic Abstention based on Preference Extensions: Positive Results and Computer-Generated Impossibilities

選好拡張に基づく戦略的棄権：肯定的な結果とコンピュータ生成不可能性

Approximating Weighted and Priced Bribery in Scoring Rules

スコアリングルールにおける加重および価格付き賄賂の近似

If Nothing Is Accepted — Repairing Argumentation Frameworks

何も受け入れられない場合 ― 議論フレームワークの修復

Preference Orders on Families of Sets – When Can Impossibility Results Be Avoided?

集合族における優先順位 ― 不可能性結果はいつ回避できるか？

From Support Propagation to Belief Propagation in Constraint Programming

制約プログラミングにおける支持伝播から確信伝播へ

Multi-fidelity Gaussian Process Bandit Optimisation

マルチフィデリティガウス過程バンディット最適化

Timed ATL: Forget Memory, Just Count

時間制限付きATL：記憶は忘れて、数えるだけ

Context Vectors are Reflections of Word Vectors in Half the Dimensions

コンテキストベクトルは、単語ベクトルの半分の次元における反射です。

What is this Article about? Extreme Summarization with Topic-aware Convolutional Neural Networks

この記事の内容は何ですか？トピック認識畳み込みニューラルネットワークによる極限要約

Formulas Free From Inconsistency: An Atom-Centric Characterization in Priest’s Minimally Inconsistent LP

矛盾のない数式：Priestの最小矛盾LPにおける原子中心の特性評価

Type-aware Convolutional Neural Networks for Slot Filling

スロットフィリングのための型認識畳み込みニューラルネットワーク

Xeggora: Exploiting Immune-to-Evidence Symmetries with Full Aggregation in Statistical Relational Models

Xeggora：統計的関係モデルにおける完全集約を用いた証拠免疫対称性の活用

A Survey on Temporal Reasoning for Temporal Information Extraction from Text

テキストからの時系列情報抽出のための時系列推論に関するサーベイ

DSTL: Solution to Limitation of Small Corpus in Speech Emotion Recognition

DSTL：音声感情認識における小規模コーパスの限界への解決策

Revisiting Counting Solutions for the Global Cardinality Constraint

グローバルカーディナリティ制約に対する計数解の再考

Community Structure in Industrial SAT Instances

産業SATインスタンスにおけるコミュニティ構造

Multi-agent Inverse Reinforcement Learning for Certain General-sum Stochastic Games

特定の一般和確率ゲームのためのマルチエージェント逆強化学習

Synthesizing Argumentation Frameworks from Examples

事例からの議論フレームワークの統合

Acceptable Planning: Influencing Individual Behavior to Reduce Transportation Energy Expenditure of a City

許容可能な計画：都市の交通エネルギー消費を削減するための個人行動への影響

Recognizing Top-Monotonic Preference Profiles in Polynomial Time

認識多項式時間におけるトップモノトニック選好プロファイル

Variable Elimination in Binary CSPs

二項CSPにおける変数除去

On Non-Cooperativeness in Social Distance Games

社会的距離ゲームにおける非協力性について

On the Time and Space Complexity of Genetic Programming for Evolving Boolean Conjunctions

進化型ブール論理積のための遺伝的プログラミングの時間・空間計算量について

Embedding Projection for Targeted Cross-lingual Sentiment: Model Comparisons and a Real-World Study

標的型クロスリンガル感情のための埋め込み射影：モデル比較と実世界研究

Interpretable Charge Prediction for Criminal Cases with Dynamic Rationale Attention

動的根拠アテンションを用いた刑事事件の解釈可能な起訴予測

Full Characterization of Parikh’s Relevance-Sensitive Axiom for Belief Revision

信念修正のためのParikhの関連性依存公理の完全な特徴づけ

Enhancing Statement Evaluation in Argumentation via Multi-labelling Systems

マルチラベリングシステムによる議論における声明評価の強化

Pattern-Based Approach to the Workflow Satisfiability Problem with User-Independent Constraints

ユーザー非依存制約を伴うワークフロー充足可能性問題へのパターンベースアプローチ

Deep Dialog Act Recognition using Multiple Token, Segment, and Context Information Representations

複数のトークン、セグメント、コンテキスト情報表現を用いたディープダイアログ行為認識

General Game Playing with Imperfect Information

不完全情報を用いた一般的なゲームプレイ

Classifying Inconsistency Measures Using Graphs

グラフを用いた不整合尺度の分類

A Semantic Characterization ASP Base Revision

意味的特徴付けASPベースの改訂

Vol. 67 (2020)

Best-First Enumeration Based on Bounding Conflicts, and its Application to Large-scale Hybrid Estimation

境界衝突に基づくベストファースト列挙と大規模ハイブリッド推定への応用

Regret Bounds for Reinforcement Learning via Markov Chain Concentration

マルコフ連鎖集中による強化学習の後悔境界

Saturated Cost Partitioning for Optimal Classical Planning

最適古典的計画のための飽和コスト分割

The Force Awakens: Artificial Intelligence for Consumer Law

フォースの覚醒：消費者法のための人工知能

Blind Spot Detection for Safe Sim-to-Real Transfer

安全なシミュレーションから現実への転送のための死角検出

Planning for Hybrid Systems via Satisfiability Modulo Theories

充足可能性モジュロ理論によるハイブリッドシステムの計画

TensorLog: A Probabilistic Database Implemented Using Deep-Learning Infrastructure

TensorLog：ディープラーニング基盤を用いて実装された確率データベース

Jointly Improving Parsing and Perception for Natural Language Commands through Human-Robot Dialog

人間とロボットの対話による自然言語コマンドの構文解析と知覚の共同改善

The Impact of Treewidth on Grounding and Solving of Answer Set Programs

インパクトツリー幅が解集合プログラムのグラウンディングと解法に与える影響

Adversarial Attacks on Crowdsourcing Quality Control

クラウドソーシング品質管理に対する敵対的攻撃

Graph Width Measures for CNF-Encodings with Auxiliary Variables

補助変数を含むCNFエンコーディングのグラフ幅測定

Catching Cheats: Detecting Strategic Manipulation in Distributed Optimisation of Electric Vehicle Aggregators

チートの捕捉：電気自動車アグリゲータの分散最適化における戦略的操作の検出

Fair Allocation with Diminishing Differences

差が減少する公平な割り当て

A Global Constraint for the Exact Cover Problem: Application to Conceptual Clustering

完全被覆問題に対する大域的制約：概念クラスタリングへの応用

Robust Multi-Agent Path Finding and Executing

ロバストなマルチエージェント経路探索と実行

Agreement on Target-Bidirectional Recurrent Neural Networks for Sequence-to-Sequence Learning

シーケンスツーシーケンス学習のためのターゲット双方向リカレントニューラルネットワークに関する合意

Solving Delete Free Planning with Relaxed Decision Diagram Based Heuristics

緩和決定図に基づくヒューリスティックを用いた削除フリープランニングの解決

A Set of Recommendations for Assessing Human–Machine Parity in Language Translation

言語翻訳における人間と機械の同等性を評価するための一連の推奨事項

Using Task Descriptions in Lifelong Machine Learning for Improved Performance and Zero-Shot Transfer

生涯機械学習におけるタスク記述を用いたパフォーマンス向上とゼロショット転移

Hedonic Games with Ordinal Preferences and Thresholds

順序選好と閾値を用いた快楽ゲーム

Compositionality Decomposed: How do Neural Networks Generalise?

構成性の分解：ニューラルネットワークはどのように一般化するのか？

Incomplete Preferences in Single-Peaked Electorates

単峰性選挙区における不完全な選好

The 2^k Neighborhoods for Grid Path Planning

グリッドパス計画のための2^k近傍

HTN Planning as Heuristic Progression Search

ヒューリスティック進行探索としてのHTN計画

Learning the Language of Software Errors

ソフトウェアエラーの言語学習

Vol. 68 (2020)

ASNets: Deep Learning for Generalised Planning

ASNet：一般化計画のためのディープラーニング

Variational Bayes In Private Settings (VIPS)

プライベート設定における変分ベイズ（VIPS）

Towards Knowledgeable Supervised Lifelong Learning Systems

知識に基づく教師あり生涯学習システムに向けて

Improving Nash Social Welfare Approximations

ナッシュ社会福祉近似の改善

Bridging the Gap Between Probabilistic Model Checking and Probabilistic Planning: Survey, Compilations, and Empirical Comparison

確率的モデル検査と確率的計画のギャップを埋める：サーベイ、コンパイル、および実証的比較

Sliding-Window Thompson Sampling for Non-Stationary Settings

非定常設定におけるスライディングウィンドウ・トンプソンサンプリング

Conservative Extensions in Horn Description Logics with Inverse Roles

逆役割を持つホーン記述論理の保守的拡張

Predicting Strategic Behavior from Free Text

自由記述テキストからの戦略的行動の予測

Automated Conjecturing II: Chomp and Reasoned Game Play

自動推測II：チョンプと推論的ゲームプレイ

Preferences Single-Peaked on a Circle

円周上の単峰性選好

Ontology Reasoning with Deep Neural Networks

ディープニューラルネットワークを用いたオントロジー推論

Simulating Offender Mobility: Modeling Activity Nodes from Large-Scale Human Activity Data

犯罪者の移動シミュレーション：大規模人間活動データからの活動ノードのモデリング

Scalable Planning with Deep Neural Network Learned Transition Models

ディープニューラルネットワーク学習遷移モデルを用いたスケーラブルなプランニング

A General Approach to Multimodal Document Quality Assessment

マルチモーダル文書品質評価への一般的なアプローチ

The Effects of Experience on Deception in Human-Agent Negotiation

人間とエージェントの交渉における経験が欺瞞に与える影響

Image Captioning using Facial Expression and Attention

表情と注意を用いた画像キャプション生成

Vocabulary Alignment in Openly Specified Interactions

オープンに指定されたインタラクションにおける語彙アラインメント

Subgoaling Techniques for Satisficing and Optimal Numeric Planning

満足化と最適数値プランニングのためのサブゴール設定手法

How to Do Things with Words: A Bayesian Approach

言葉で物事を行う方法：ベイズ的アプローチ

Gradient-based Learning Methods Extended to Smooth Manifolds Applied to Automated Clustering

滑らかな多様体に拡張された勾配ベース学習法の自動クラスタリングへの適用

Towards Partial Order Reductions for Strategic Ability

戦略能力のための部分順序縮約に向けて

Vol. 69 (2020)

Point at the Triple: Generation of Text Summaries from Knowledge Base Triples

トリプルを指摘：知識ベーストリプルからのテキスト要約の生成

Credibility-limited Base Revision: New Classes and Their Characterizations

信頼性制限ベースの修正：新しいクラスとその特徴づけ

Representing Fitness Landscapes by Valued Constraints to Understand the Complexity of Local Search

局所的な複雑さを理解するための評価制約による適応度地形の表現検索

Contiguous Cake Cutting: Hardness Results and Approximation Algorithms

連続ケーキカット：困難性結果と近似アルゴリズム

Epistemic Argumentation Framework: Theory and Computation

認識論的論証フレームワーク：理論と計算

A Differential Privacy Mechanism that Accounts for Network Effects for Crowdsourcing Systems

クラウドソーシングシステムにおけるネットワーク効果を考慮した差分プライバシーメカニズム

Adaptive Stress Testing: Finding Likely Failure Events with Reinforcement Learning

適応型ストレステスト：強化学習を用いた起こりやすい障害イベントの発見

Lifted Bayesian Filtering in Multiset Rewriting Systems

多重集合書き換えシステムにおけるリフテッドベイズフィルタリング

Reviewing Autoencoders for Missing Data Imputation: Technical Trends, Applications and Outcomes

欠損データ補完のためのオートエンコーダのレビュー：技術動向、応用、成果

Adapting Behavior via Intrinsic Reward: A Survey and Empirical Study

内発的報酬による行動の適応：サーベイと実証研究

On the Complexity of Learning a Class Ratio from Unlabeled Data

ラベルなしデータからのクラス比学習の複雑さについて

An Evaluation of Communication Protocol Languages for Engineering Multiagent Systems

マルチエージェントシステムのエンジニアリングにおける通信プロトコル言語の評価

Bounds on the Size of PC and URC Formulas

PC式とURC式のサイズの上限

Deep Reinforcement Learning: A State-of-the-Art Walkthrough

深層強化学習：最先端のウォークスルー

Annotator Rationales for Labeling Tasks in Crowdsourcing

クラウドソーシングにおけるラベル付けタスクのアノテーターの根拠

Diagnosis of Deep Discrete-Event Systems

深層離散事象システムの診断

The Parameterized Complexity of Motion Planning for Snake-Like Robots

ヘビ型ロボットの動作計画のパラメータ化された複雑性

Improved High Dimensional Discrete Bayesian Network Inference using Triplet Region Construction

トリプレット領域構築を用いた高次元離散ベイジアンネットワーク推論の改良

Planning High-Level Paths in Hostile, Dynamic, and Uncertain Environments

過酷で動的かつ不確実な環境における高レベル経路計画

Constraint and Satisfiability Reasoning for Graph Coloring

グラフ彩色のための制約と充足可能性推論

Neural Machine Translation: A Review

ニューラル機械翻訳：レビュー

AMP Chain Graphs: Minimal Separators and Structure Learning Algorithms

AMPチェーングラフ：最小セパレータと構造学習アルゴリズム

The PETLON Algorithm to Plan Efficiently for Task-Level-Optimal Navigation

効率的な計画のためのPETLONアルゴリズムタスクレベル最適ナビゲーション

Properties of Switch-List Representations of Boolean Functions

ブール関数のスイッチリスト表現の特性

Computing Bayes-Nash Equilibria in Combinatorial Auctions with Verification

検証付き組み合わせオークションにおけるベイズ・ナッシュ均衡の計算

The Bottleneck Simulator: A Model-Based Deep Reinforcement Learning Approach

ボトルネックシミュレータ：モデルベースの深層強化学習アプローチ

Maximin Share Allocations on Cycles

サイクルにおける最大シェア配分

Belief change and 3-valued logics: Characterization of 19,683 belief change operators

信念変化と3値論理：19,683個の信念変化演算子の特性評価

On Sparse Discretization for Graphical Games

グラフィカルゲームにおけるスパース離散化について

The Complexity Landscape of Outcome Determination in Judgment Aggregation

判断集約における結果決定の複雑性ランドスケープ

Structure from Randomness in Halfspace Learning with the Zero-One Loss

ゼロワン損失を伴う半空間学習におけるランダム性からの構造化

Using Machine Learning for Decreasing State Uncertainty in Planning

機械学習を用いた計画における状態不確実性の低減

Mapping the landscape of Artificial Intelligence applications against COVID-19

COVID-19に対する人工知能アプリケーションのランドスケープのマッピング

Contrasting the Spread of Misinformation in Online Social Networks

オンラインソーシャルネットワークにおける誤情報の拡散の対比

Incompatibilities Between Iterated and Relevance-Sensitive Belief Revision

反復型信念修正と関連性依存型信念修正の非互換性

To Regulate or Not: A Social Dynamics Analysis of an Idealised AI Race

規制するか否か：理想化されたAIレースの社会動態分析

Qualitative Numeric Planning: Reductions and Complexity

定性的数値計画：縮約と複雑性

Modular Structures and Atomic Decomposition in Ontologies

オントロジーにおけるモジュール構造とアトミック分解

Vol. 70 (2021)

On the Decomposition of Abstract Dialectical Frameworks and the Complexity of Naive-based Semantics

抽象弁証法的枠組みの分解とナイーブベース意味論の複雑性について

The Societal Implications of Deep Reinforcement Learning

深層強化学習の社会的影響

Induction and Exploitation of Subgoal Automata for Reinforcement Learning

強化学習のためのサブゴールオートマトンによる誘導と活用

Lilotane: A Lifted SAT-based Approach to Hierarchical Planning

Lilotane：階層的計画へのリフト型SATベースのアプローチ

Computational Complexity of Computing Symmetries in Finite-Domain Planning

計算論的有限領域計画における対称性の計算の複雑さ

Zone pAth Construction (ZAC) based Approaches for Effective Real-Time Ridesharing

効果的なリアルタイムライドシェアリングのためのZone pAth構築（ZAC）に基づくアプローチ

Liquid Democracy: An Algorithmic Perspective

流動的民主主義：アルゴリズム的視点

Strategyproof Mechanisms for Additively Separable and Fractional Hedonic Games

加法的に分離可能かつ分数的ヘドニックゲームのための戦略証明メカニズム

Weighted First-Order Model Counting in the Two-Variable Fragment With Counting Quantifiers

計数量化子を用いた2変数フラグメントにおける重み付き一次モデル計数

The AI Liability Puzzle and A Fund-Based Work-Around

AI負債パズルとファンドベースの回避策

Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting

一次書き換えによるDL-Liteオントロジーのインスタンスレベル更新

Confident Learning: Estimating Uncertainty in Dataset Labels

自信のある学習：データセットラベルの不確実性の推定

Aggregation over Metric Spaces: Proposing and Voting in Elections, Budgeting, and Legislation

距離空間における集約：選挙、予算編成、立法における提案と投票

Efficient Retrieval of Matrix Factorization-Based Top-k Recommendations: A Survey of Recent Approaches

行列分解に基づくTop-kレコメンデーションの効率的な取得：最近のアプローチのサーベイ

Loss Functions, Axioms, and Peer Review

損失関数、公理、ピアレビュー

MADRaS : Multi Agent Driving Simulator

MADRaS：マルチエージェントドライビングシミュレーター

Labeled Bipolar Argumentation Frameworks

ラベル付き双極性議論フレームワーク

Cost-optimal Planning, Delete Relaxation, Approximability, and Heuristics

コスト最適計画、削除緩和、近似可能性、およびヒューリスティック

Learning Temporal Causal Sequence Relationships from Real-Time Time-Series

リアルタイム時系列からの時系列因果関係の学習

A Survey on the Explainability of Supervised Machine Learning

教師あり機械学習の説明可能性に関するサーベイ

Efficient Multi-objective Reinforcement Learning via Multiple-gradient Descent with Iteratively Discovered Weight-Vector Sets

反復的に発見される重みベクトルセットを用いた多重勾配降下法による効率的な多目的強化学習

The Computational Complexity of Understanding Binary Classifier Decisions

バイナリ分類器の決定を理解するための計算複雑性

Hybrid-order Network Consensus for Distributed Multi-agent Systems

分散マルチエージェントのためのハイブリッド順序ネットワークコンセンサスシステム

Benchmark and Survey of Automated Machine Learning Frameworks

自動化機械学習フレームワークのベンチマークと調査

On Super Strong ETH

超強力ETHについて

General Value Function Networks

一般価値関数ネットワーク

An External Knowledge Enhanced Graph-based Neural Network for Sentence Ordering

文順序付けのための外部知識強化グラフベースニューラルネットワーク

On the Distortion Value of Elections with Abstention

棄権を伴う選挙の歪み値について

Generic Constraint-based Block Modeling using Constraint Programming

制約プログラミングを用いた汎用制約ベースブロックモデリング

Regarding Goal Bounding and Jump Point Search

目標境界設定とジャンプポイント探索について

Superintelligence Cannot be Contained: Lessons from Computability Theory

超知能は封じ込められない：計算可能性理論からの教訓

Classifier Chains: A Review and Perspectives

分類器連鎖：レビューと展望

Two-facility Location Games with Minimum Distance Requirement

最小距離要件を伴う2施設ロケーションゲーム

Efficient Large-Scale Multi-Drone Delivery using Transit Networks

交通ネットワークを用いた効率的な大規模マルチドローン配送

Integrated Offline and Online Decision Making under Uncertainty

不確実性下におけるオフラインとオンラインの統合意思決定

A Sufficient Statistic for Influence in Structured Multiagent Environments

構造化マルチエージェント環境における影響力の十分な統計量

Taking Principles Seriously: A Hybrid Approach to Value Alignment in Artificial Intelligence

原則を真摯に受け止める：人工知能における価値整合へのハイブリッドアプローチ

On the Evolvability of Monotone Conjunctions with an Evolutionary Mutation Mechanism

進化的突然変異メカニズムによる単調接続詞の進化可能性について

Safe Multi-Agent Pathfinding with Time Uncertainty

時間的不確実性を伴う安全なマルチエージェント経路探索

Constrained Multiagent Markov Decision Processes: a Taxonomy of Problems and Algorithms

制約付きマルチエージェント・マルコフ決定過程：問題とアルゴリズムの分類

Vol. 71 (2021)

On the Cluster Admission Problem for Cloud Computing

クラウドコンピューティングにおけるクラスター参加問題について

Election Manipulation on Social Networks: Seeding, Edge Removal, Edge Addition

ソーシャルネットワークにおける選挙操作：シーディング、エッジ削除、エッジ追加

Probabilistic Temporal Networks with Ordinary Distributions: Theory, Robustness and Expected Utility

通常分布を持つ確率的時系列ネットワーク：理論、ロバスト性、期待効用

Socially Responsible AI Algorithms: Issues, Purposes, and Challenges

社会的に責任のあるAIアルゴリズム：課題、目的、そして課題

Trends in Integration of Vision and Language Research: A Survey of Tasks, Datasets, and Methods

視覚と言語研究の統合における動向：タスク、データセット、そして手法の概観

Learning over No-Preferred and Preferred Sequence of Items for Robust Recommendation

ロバストな推薦のための、非選好および選好のアイテムシーケンスの学習

Welfare Guarantees in Schelling Segregation

シェリング分離における福祉保証

Viewpoint: AI as Author – Bridging the Gap Between Machine Learning and Literary Theory

視点：著者としてのAI ― 機械学習と文学理論のギャップを埋める

Measuring the Occupational Impact of AI: Tasks, Cognitive Abilities and AI Benchmarks

AIの職業的影響の測定：タスク、認知能力、そしてAIベンチマーク

RWNE: A Scalable Random-Walk based Network Embedding Framework with Personalized Higher-order Proximity Preserved

RWNE：パーソナライズされた高階近接性を保持する、スケーラブルなランダムウォークベースのネットワーク埋め込みフレームワーク

Declarative Algorithms and Complexity Results for Assumption-Based Argumentation

仮定に基づく議論のための宣言的アルゴリズムと複雑性の結果

Playing Codenames with Language Graphs and Word Embeddings

言語グラフと単語埋め込みを用いたコードネームの遊び方

A Tight Bound for Stochastic Submodular Cover

確率的劣モジュラ被覆のタイトバウンド

Multi-Document Summarization with Determinantal Point Process Attention

行列式点過程アテンションを用いた複数文書要約

Representative Committees of Peers

ピアの代表委員会

Game Plan: What AI can do for Football, and What Football can do for AI

ゲームプラン：AIがサッカーにできること、そしてサッカーがAIにできること

Confronting Abusive Language Online: A Survey from the Ethical and Human Rights Perspective

オンライン上の暴言への対処：倫理的および人権的観点からの調査

EpidemiOptim: A Toolbox for the Optimization of Control Policies in Epidemiological Models

EpidemiOptim：疫学モデルにおける制御ポリシーの最適化のためのツールボックス

Intelligence in Strategic Games

戦略ゲームにおける知性

Conceptual Modeling of Explainable Recommender Systems: An Ontological Formalization to Guide Their Design and Development

説明可能なレコメンデーションシステムの概念モデリング：設計と開発を導くオントロジー的形式化

Ethics and Governance of Artificial Intelligence: Evidence from a Survey of Machine Learning Researchers

人工知能の倫理とガバナンス：機械学習研究者への調査からのエビデンス

Improving the Effectiveness and Efficiency of Stochastic Neighbour Embedding with Isolation Kernel

アイソレーションカーネルを用いた確率的近傍埋め込みの有効性と効率性の向上

Goal Recognition for Deceptive Human Agents through Planning and Gaze

計画と視線による欺瞞的な人間エージェントの目標認識

Dimensional Inconsistency Measures and Postulates in Spatio-Temporal Databases

次元時空間データベースにおける不整合尺度と公理

Merge-and-Shrink: A Compositional Theory of Transformations of Factored Transition Systems

マージ・アンド・シュリンク：因子化遷移システムの変換に関する構成理論

Set-to-Sequence Methods in Machine Learning: A Review

機械学習におけるセット・ツー・シーケンス法：レビュー

Efficient Local Search based on Dynamic Connectivity Maintenance for Minimum Connected Dominating Set

最小連結支配集合のための動的連結性維持に基づく効率的な局所探索

Evaluating Strategic Structures in Multi-Agent Inverse Reinforcement Learning

マルチエージェント逆強化学習における戦略構造の評価

Agent-Based Markov Modeling for Improved COVID-19 Mitigation Policies

COVID-19対策の改善のためのエージェントベース・マルコフモデリング

Bribery and Control in Stable Marriage

安定した結婚における賄賂と支配

Vol. 72 (2021)

Optimizing for Interpretability in Deep Neural Networks with Tree Regularization

ツリー正則化を用いたディープニューラルネットワークにおける解釈可能性の最適化

Steady-State Planning in Expected Reward Multichain MDPs

期待報酬型マルチチェーンMDPにおける定常状態計画

Teaching People by Justifying Tree Search Decisions: An Empirical Study in Curling

木探索決定の正当化による学習：カーリングの実証的研究

Reasoning with PCP-Nets

PCPネットを用いた推論

Learning Realistic Patterns from Visually Unrealistic Stimuli: Generalization and Data Anonymization

視覚的に非現実的な刺激から現実的なパターンを学習：一般化とデータ匿名化

On the Online Coalition Structure Generation Problem

オンライン提携構造生成問題について

Learning Optimal Decision Sets and Lists with SAT

SATを用いた最適決定集合とリストの学習

A Word Selection Method for Producing Interpretable Distributional Semantic Word Vectors

解釈可能な分布的意味単語ベクトルを生成するための単語選択法

Quantum Mathematics in Artificial Intelligence

人工知能における量子数学

The Rediscovery Hypothesis: Language Models Need to Meet Linguistics

再発見仮説：言語モデルは言語学と合致する必要がある

On the Computational Complexity of Non-Dictatorial Aggregation

非独裁的集約の計算複雑性について

Learning from Disagreement: A Survey

不一致からの学習：サーベイ

Constraint-based Diversification of JOP Gadgets

JOPガジェットの制約に基づく多様化

Pure Nash Equilibria in Resource Graph Games

リソースグラフゲームにおける純粋ナッシュ均衡

A Theoretical Perspective on Hyperdimensional Computing

超次元コンピューティングの理論的観点

Relevance in Belief Update

リテラルの量化についてブール論理と説明可能なAIへの応用

sunny-as2: Enhancing SUNNY for Algorithm Selection

sunny-as2: アルゴリズム選択のためのSUNNYの拡張

A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical Systems

サイバーフィジカルシステムのブラックボックス安全性検証アルゴリズムのサーベイ

A Semi-exact Algorithm for Quickly Computing A Maximum Weight Clique in Large Sparse Graphs

大規模スパースグラフにおける最大重みクリークを高速に計算する半正確なアルゴリズム

NLP Methods for Extraction of Symptoms from Unstructured Data for Use in Prognostic COVID-19 Analytic Models

COVID-19の予後分析モデルに用いるための非構造化データからの症状抽出のためのNLP手法

Optimal Any-Angle Pathfinding on a Sphere

球面上の最適任意角度経路探索

Optimally Deceiving a Learning Leader in Stackelberg Games

スタックベルグゲームにおける学習リーダーの最適欺瞞

Contrastive Explanations of Plans through Model Restrictions

モデル制約による計画の対照的説明

Multilabel Classification with Partial Abstention: Bayes-Optimal Prediction under Label Independence

部分棄権を伴うマルチラベル分類：ラベル独立性の下でのベイズ最適予測

Output Space Entropy Search Framework for Multi-Objective Bayesian Optimization

多目的ベイズ最適化のための出力空間エントロピー探索フレームワーク

Finding the Hardest Formulas for Resolution

解を求めるための最も困難な公式の発見

Analysis of the Impact of Randomization of Search-Control Parameters in Monte-Carlo Tree Search

モンテカルロ木探索における探索制御パラメータのランダム化の影響の分析

Multi-Label Classification Neural Networks with Hard Logical Constraints

厳密な論理制約を伴うマルチラベル分類ニューラルネットワーク

Task-Aware Verifiable RNN-Based Policies for Partially Observable Markov Decision Processes

部分観測マルコフ決定過程のためのタスク対応検証可能RNNベースポリシー

Experimental Comparison and Survey of Twelve Time Series Anomaly Detection Algorithms

12種類の時系列異常検出アルゴリズムの実験的比較とサーベイ

Flexible Bayesian Nonlinear Model Configuration

柔軟なベイズ非線形モデル構成

Graph Kernels: A Survey

グラフカーネル：サーベイ

Worst-case Bounds on Power vs. Proportion in Weighted Voting Games with an Application to False-name Manipulation

重み付き投票ゲームにおけるパワー対割合の最悪ケース境界とその応用偽名操作

Vol. 73 (2022)

Ranking Sets of Objects: The Complexity of Avoiding Impossibility Results

オブジェクト集合のランキング：不可能結果を回避する複雑さ

Predicting Decisions in Language Based Persuasion Games

言語ベース説得ゲームにおける意思決定の予測

On the Indecisiveness of Kelly-Strategyproof Social Choice Functions

ケリー戦略証明可能な社会的選択関数の優柔不断性について

Neural Natural Language Generation: A Survey on Multilinguality, Multimodality, Controllability and Learning

ニューラル自然言語生成：多言語性、マルチモーダル性、制御性、学習に関する概説

Jointly Learning Environments and Control Policies with Projected Stochastic Gradient Ascent

投影確率的勾配上昇法を用いた環境と制御方策の共同学習

Multiobjective Tree-Structured Parzen Estimator

多目的木構造パルゼン推定量

Fairness in Influence Maximization through Randomization

ランダム化による影響力最大化における公平性

The Application of Machine Learning Techniques for Predicting Match Results in Team Sport: A Review

チームスポーツにおける試合結果予測への機械学習技術の応用：レビュー

A Metric Space for Point Process Excitations

点過程励起のための距離空間

Marginal Distance and Hilbert-Schmidt Covariances-Based Independence Tests for Multivariate Functional Data

多変量関数データに対する周辺距離とヒルベルト・シュミット共分散に基づく独立性検定

Agent-Based Modeling for Predicting Pedestrian Trajectories Around an Autonomous Vehicle

自動運転車周辺の歩行者軌跡予測のためのエージェントベースモデリング

Adversarial Framework with Certified Robustness for Time-Series Domain via Statistical Features

統計的特徴量を用いた時系列領域に対するロバスト性保証付き敵対的フレームワーク

A Logic-Based Explanation Generation Framework for Classical and Hybrid Planning Problems

古典的およびハイブリッド計画問題のためのロジックベースの説明生成フレームワーク

Multilingual Machine Translation: Deep Analysis of Language-Specific Encoder-Decoders

多言語機械翻訳：言語固有のエンコーダー・デコーダーの深層分析

FFCI: A Framework for Interpretable Automatic Evaluation of Summarization

FFCI：要約の解釈可能な自動評価のためのフレームワーク

Reward Machines: Exploiting Reward Function Structure in Reinforcement Learning

報酬マシン：強化学習における報酬関数構造の活用

Doubly Robust Crowdsourcing

二重にロバストなクラウドソーシング

Preferences Single-Peaked on a Tree: Multiwinner Elections and Structural Results

木構造上の単峰性選好：複数勝者選挙と構造的結果

A Survey of Opponent Modeling in Adversarial Domains

敵対的領域における対戦相手モデリングのサーベイ

Explainable Deep Learning: A Field Guide for the Uninitiated

説明可能ディープラーニング：初心者のためのフィールドガイド

Automatic Recognition of the General-Purpose Communicative Functions Defined by the ISO 24617-2 Standard for Dialog Act Annotation

対話行為注釈のためのISO 24617-2規格で定義された汎用コミュニケーション機能の自動認識

Image Captioning as an Assistive Technology: Lessons Learned from VizWiz 2020 Challenge

支援技術としての画像キャプション：VizWiz 2020チャレンジから学んだ教訓

Neural Character-Level Syntactic Parsing for Chinese

中国語向けニューラル文字レベル構文解析

CASA: Conversational Aspect Sentiment Analysis for Dialogue Understanding

CASA：対話理解のための会話アスペクト感情分析

Sum-of-Products with Default Values: Algorithms and Complexity Results

デフォルト値付き積和：アルゴリズムと複雑性の結果

Migrating Techniques from Search-based Multi-Agent Path Finding Solvers to SAT-based Approach

探索ベースのマルチエージェント経路探索ソルバーからSATベースのアプローチへの移行手法

Viewpoint: Ethical By Designer – How to Grow Ethical Designers of Artificial Intelligence

視点：設計者による倫理的思考 – 倫理的な人工知能設計者を育てる方法

Fine-grained Prediction of Political Leaning on Social Media with Unsupervised Deep Learning

教師なしディープラーニングを用いたソーシャルメディアにおける政治的傾向のきめ細かな予測

Visually Grounded Models of Spoken Language: A Survey of Datasets, Architectures and Evaluation Techniques

視覚的にグラウンディングされた話し言葉モデル：データセット、アーキテクチャ、評価手法のサーベイ

Online Relaxation Refinement for Satisficing Planning: On Partial Delete Relaxation, Complete Hill-Climbing, and Novelty Pruning

満足度プランニングのためのオンライン緩和法の改良：部分削除緩和法、完全ヒルクライミング法、新規性枝刈りについて

Some Inapproximability Results of MAP Inference and Exponentiated Determinantal Point Processes

MAP推論と指数行列式点過程における近似不可能性の結果

SAMBA: A Generic Framework for Secure Federated Multi-Armed Bandits

SAMBA：セキュアな連合型多腕バンディットのための汎用フレームワーク

Survey and Evaluation of Causal Discovery Methods for Time Series

時系列データに対する因果発見手法のサーベイと評価

Scalable Online Planning for Multi-Agent MDPs

マルチエージェントMDPのためのスケーラブルなオンラインプランニング

Computational Benefits of Intermediate Rewards for Goal-Reaching Policy Learning

目標達成型政策学習における中間報酬の計算上の利点

Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications

戦略能力のモデル検証における完全想起の近似：理論と応用

Get out of the BAG! Silos in AI Ethics Education: Unsupervised Topic Modeling Analysis of Global AI Curricula

バッグから出よう！ AI倫理教育におけるサイロ：グローバルAIカリキュラムの教師なしトピックモデリング分析

Incremental Event Calculus for Run-Time Reasoning

実行時推論のための増分イベント計算

Vol. 74 (2022)

Multi-Agent Advisor Q-Learning

マルチエージェントアドバイザーQ学習

Impact of Imputation Strategies on Fairness in Machine Learning

機械学習における公平性への代入戦略の影響

Two-phase Multi-document Event Summarization on Core Event Graphs

コアイベントグラフにおける2段階マルチドキュメントイベント要約

Supervised Visual Attention for Simultaneous Multimodal Machine Translation

同時マルチモーダル機械翻訳のための教師あり視覚的注意

A Comprehensive Framework for Learning Declarative Action Models

宣言的行動モデル学習のための包括的フレームワーク

Fair Division of Indivisible Goods for a Class of Concave Valuations

凹状評価のクラスにおける不可分財の公平な分割

Evolutionary Dynamics and Phi-Regret Minimization in Games

ゲームにおける進化ダイナミクスとファイ・リグレット最小化

Autotelic Agents with Intrinsically Motivated Goal-Conditioned Reinforcement Learning: A Short Survey

内発的動機づけによる目標条件付き強化学習を行うオートテリックエージェント：概要

CoLLIE: Continual Learning of Language Grounding from Language-Image Embeddings

CoLLIE：言語画像埋め込みからの言語グラウンディングの継続学習

Learning Bayesian Networks Under Sparsity Constraints: A Parameterized Complexity Analysis

スパース制約下におけるベイジアンネットワークの学習：パラメータ化された複雑性分析

HEBO: Pushing The Limits of Sample-Efficient Hyper-parameter Optimisation

HEBO：サンプル効率の高いハイパーパラメータ最適化の限界に挑戦

Crossing the Conversational Chasm: A Primer on Natural Language Processing for Multilingual Task-Oriented Dialogue Systems

会話のキャズムを越える：多言語タスク指向対話システムのための自然言語処理入門

Recursion in Abstract Argumentation is Hard — On the Complexity of Semantics Based on Weak Admissibility

抽象的議論における再帰は難しい — 弱許容性に基づく意味論の複雑性について

Avoiding Negative Side Effects of Autonomous Systems in the Open World

オープンワールドにおける自律システムの副作用の回避

Metric-Distortion Bounds under Limited Information

限定情報下におけるメトリック歪み境界

Improving Simulated Annealing for Clique Partitioning Problems

クリーク分割問題に対するシミュレーテッドアニーリングの改良

Better Decision Heuristics in CDCL through Local Search and Target Phases

局所探索とターゲットフェーズによるCDCLにおけるより良い意思決定ヒューリスティック

Joint Optimization of Concave Scalarized Multi-Objective Reinforcement Learning with Policy Gradient Based Algorithm

方策勾配ベースアルゴリズムを用いた凹型スカラー化多目的強化学習の同時最適化

Classical Planning in Deep Latent Space

深層潜在空間における古典的プランニング

Threshold Treewidth and Hypertree Width

閾値ツリー幅とハイパーツリー幅

C-Face: Using Compare Face on Face Hallucination for Low-Resolution Face Recognition

C-Face：顔と顔の比較幻覚を用いた低解像度顔認識

Synthesis and Properties of Optimally Value-Aligned Normative Systems

最適に価値整合された規範システムの合成と特性

The Computational Complexity of ReLU Network Training Parameterized by Data Dimensionality

データ次元でパラメータ化されたReLUネットワーク学習の計算複雑性

Proactive Dynamic Distributed Constraint Optimization Problems

プロアクティブ動的分散制約最適化問題

Pricing Problems with Buyer Preselection

購入者の事前選択を伴う価格設定問題

Efficient Learning of Interpretable Classification Rules

解釈可能な分類ルールの効率的な学習

A Few Queries Go a Long Way: Information-Distortion Tradeoffs in Matching

少数のクエリで大きな成果：マッチングにおける情報歪みのトレードオフ

Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem

企業間会議スケジュール問題への制約解決アプローチ

Adaptive Greedy versus Non-adaptive Greedy for Influence Maximization

影響力最大化のための適応型貪欲法と非適応型貪欲法

Ordinal Maximin Share Approximation for Goods

財の順序最大シェア近似

Objective Bayesian Nets for Integrating Consistent Datasets

一貫性のあるデータセットを統合するための客観ベイジアンネット

Core Challenges in Embodied Vision-Language Planning

具体化された視覚言語プランニングにおける中核的課題

Automated Reinforcement Learning (AutoRL): A Survey and Open Problems

自動強化学習（AutoRL）：サーベイと未解決問題

Finding and Recognizing Popular Coalition Structures

文脈外：アスペクトベース感情分析のコンテキストモデリングのための新たな手がかり

Fast Adaptive Non-Monotone Submodular Maximization Subject to a Knapsack Constraint

ナップザック制約に従う高速適応型非単調劣モジュラ最大化

Planning with Critical Section Macros: Theory and Practice

クリティカルセクションマクロを用いたプランニング：理論と実践

Cooperation and Learning Dynamics under Wealth Inequality and Diversity in Individual Risk

富の不平等と個人リスクの多様性下における協力と学習のダイナミクス

Rethinking Fairness: An Interdisciplinary Survey of Critiques of Hegemonic ML Fairness Approaches

公平性の再考：覇権的ML公平性アプローチに対する批判の学際的サーベイ

Inductive Logic Programming At 30: A New Introduction

帰納的論理プログラミング30周年：新たな入門

On the Tractability of SHAP Explanations

SHAP説明の扱いやすさについて

FOND Planning with Explicit Fairness Assumptions

明示的な公平性仮定を用いたFONDプランニング

Path Counting for Grid-Based Navigation

パスカウントグリッドベースナビゲーション

Admissibility in Probabilistic Argumentation

確率的議論における許容性

Vol. 75 (2022)

Motion Planning Under Uncertainty with Complex Agents and Environments via Hybrid Search

ハイブリッド探索による複雑なエージェントと環境における不確実性下での行動計画

Asymmetric Action Abstractions for Planning in Real-Time Strategy Games

リアルタイム戦略ゲームにおける計画のための非対称行動抽象化

Learning to Design Fair and Private Voting Rules

公平かつプライベートな投票ルールの設計学習

Strategy Graphs for Influence Diagrams

影響図のための戦略グラフ

First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries

2次元時系列オントロジーを介したクエリの一次書き換え可能性と複雑性

Towards Evidence Retrieval Cost Reduction in Abstract Argumentation Frameworks with Fallible Evidence

誤りのある証拠を用いた抽象的議論フレームワークにおける証拠検索コストの削減に向けて

Altruistic Hedonic Games

利他的快楽ゲーム

Chance-constrained Static Schedules for Temporally Probabilistic Plans

時間的確率的計画のための確率制約付き静的スケジュール

Proofs and Certificates for Max-SAT

Max-SATの証明と証明

Towards Continual Reinforcement Learning: A Review and Perspectives

継続的強化学習に向けて：レビューと展望

The LM-Cut Heuristic Family for Optimal Numeric Planning with Simple Conditions

単純な条件による最適数値計画のためのLMカットヒューリスティックファミリー

Data-Driven Revision of Conditional Norms in Multi-Agent Systems

マルチエージェントシステムにおける条件付きノルムのデータ駆動型修正

TOOLTANGO: Common sense Generalization in Predicting Sequential Tool Interactions for Robot Plan Synthesis

TOOLTANGO: ロボット計画合成のためのツールの連続的インタラクション予測における常識的一般化

Automated Dynamic Algorithm Configuration

自動動的アルゴリズム構成

The Complexity of Network Satisfaction Problems for Symmetric Relation Algebras with a Flexible Atom

柔軟なアトムを持つ対称関係代数におけるネットワーク満足問題の計算量

Can We Automate Scientific Reviewing?

科学的レビューは自動化できるか？

On Efficient Reinforcement Learning for Full-length Game of StarCraft II

StarCraft II フルレングスゲームのための効率的な強化学習について

On Tackling Explanation Redundancy in Decision Trees

決定木における説明の冗長性への対処について

Multi-Agent Path Finding: A New Boolean Encoding

マルチエージェント経路探索：新しいブールエンコーディング

Domain Adaptation and Multi-Domain Adaptation for Neural Machine Translation: A Survey

ニューラル機械翻訳におけるドメイン適応とマルチドメイン適応：サーベイ

A Survey of Methods for Automated Algorithm Configuration

自動アルゴリズム設定手法の調査

Planning with Perspectives — Decomposing Epistemic Planning using Functional STRIPS

視点に基づく計画 ― 関数型STRIPSを用いた認識論的計画の分解

Planted Dense Subgraphs in Dense Random Graphs Can Be Recovered using Graph-based Machine Learning

グラフベース機械学習を用いた高密度ランダムグラフに埋め込まれた高密度サブグラフの復元

Mean-Semivariance Policy Optimization via Risk-Averse Reinforcement Learning

リスク回避型強化学習による平均半分散ポリシー最適化

Low-Rank Representation of Reinforcement Learning Policies

強化学習ポリシーの低ランク表現

Communication-Aware Local Search for Distributed Constraint Optimization

分散制約最適化のための通信を考慮した局所探索

AAN+: Generalized Average Attention Network for Accelerating Neural Transformer

AAN+: ニューラル・トランスフォーマーの高速化のための一般化平均注意ネットワーク

DeepSym: Deep Symbol Generation and Rule Learning for Planning from Unsupervised Robot Interaction

DeepSym: 教師なしロボットインタラクションからの計画のための深層シンボル生成とルール学習

Solving the Watchman Route Problem with Heuristic Search

ウォッチマン・ルート問題のヒューリスティック探索による解法

Computational Short Cuts in Infinite Domain Constraint Satisfaction

無限領域制約充足における計算的ショートカット

sEMG-Based Upper Limb Movement Classifier: Current Scenario and Upcoming Challenges

筋電図に基づく上肢運動分類器：現状と今後の課題

Interpretable Local Concept-based Explanation with Human Feedback to Predict All-cause Mortality

全死亡率予測のための、人間によるフィードバックを用いた解釈可能な局所概念に基づく説明

Creative Problem Solving in Artificially Intelligent Agents: A Survey and Framework

人工知能エージェントにおける創造的な問題解決：概要とフレームワーク

Fair in the Eyes of Others

他者の視点から見た公平性

Initialization of Feature Selection Search for Classification

分類のための特徴選択探索の初期化

Reinforcement Learning from Optimization Proxy for Ride-Hailing Vehicle Relocation

配車サービス車両再配置のための最適化プロキシからの強化学習

Vol. 76 (2023)

Lifted Reasoning for Combinatorial Counting

組み合わせ計数のためのリフト推論

Decentralized Gradient-Quantization Based Matrix Factorization for Fast Privacy-Preserving Point-of-Interest Recommendation

高速化のための分散勾配量子化に基づく行列分解プライバシー保護を考慮した関心地点の推奨

Negative Human Rights as a Basis for Long-term AI Safety and Regulation

長期的なAIの安全性と規制の基盤としての否定的人権

Coopetition Against an Amazon

アマゾンに対する協調競争

Measuring Fairness Under Unawareness of Sensitive Attributes: A Quantification-Based Approach

センシティブな属性を認識しない状況での公平性の測定：定量化に基づくアプローチ

A Practical Approach to Discretised PDDL+ Problems by Translation to Numeric Planning

数値計画への変換による離散化PDDL+問題への実践的アプローチ

An Overview of Environmental Features that Impact Deep Reinforcement Learning in Sparse-Reward Domains

スパース報酬領域における深層強化学習に影響を与える環境特性の概要

Fair and Efficient Allocation of Scarce Resources Based on Predicted Outcomes: Implications for Homeless Service Delivery

予測結果に基づく希少資源の公平かつ効率的な配分：ホームレス支援サービス提供への示唆

Fairness in Forecasting of Observations of Linear Dynamical Systems

線形動的システムの観測予測における公平性

FactGen: Faithful Text Generation by Factuality-aware Pre-training and Contrastive Ranking Fine-tuning

FactGen：事実性を考慮した事前学習と対照的ランキングの微調整による忠実なテキスト生成

QNLP in Practice: Running Compositional Models of Meaning on a Quantum Computer

QNLPの実践：量子コンピュータ上で意味の構成モデルを実行する

A Survey on Understanding and Representing Privacy Requirements in the Internet-of-Things

IoTにおけるプライバシー要件の理解と表現に関する調査

Viewpoint: Artificial Intelligence Accidents Waiting to Happen?

視点：人工知能事故はいつ起こるか？

A Survey of Zero-shot Generalisation in Deep Reinforcement Learning

深層強化学習におけるゼロショット汎化の概観

Characterizing Tseitin-Formulas with Short Regular Resolution Refutations

短い正規解反証を用いたTseitin式の特徴づけ

Favoring Eagerness for Remaining Items: Designing Efficient, Fair, and Strategyproof Mechanisms

残りの項目に対するEagernessの優先：効率的、公平、かつ戦略耐性のあるメカニズムの設計

Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions

形式的抽象化による非ガウスノイズを含む動的システムのロバスト制御

Distributed Bayesian: A Continuous Distributed Constraint Optimization Problem Solver

分散ベイズ：連続分散制約最適化問題ソルバー

Generating Random SAT Instances: Multiple Solutions could be Predefined and Deeply Hidden

ランダムSATインスタンスの生成：複数の解が事前定義され、深層に隠蔽される可能性がある

Finite Materialisability of Datalog Programs with Metric Temporal Operators

計量時相演算子を用いたデータログプログラムの有限実体化可能性

Introduction to the Special Track on Artificial Intelligence and COVID-19

人工知能とCOVID-19に関する特別トラックの紹介

A Logic of East and West

東西の論理

On Fair Division under Heterogeneous Matroid Constraints

異種マトロイド制約下の公平な分割について

Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach

回答集合プログラミングにおけるドメイン固有のヒューリスティック：宣言的非単調アプローチ

Liability Regimes in the Age of AI: a Use-Case Driven Analysis of the Burden of Proof

AI時代の責任制度：ユースケース駆動型分析立証責任

Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic

正規言語のFO書き換え可能性と線形時相論理におけるオントロジー介在クエリの決定

On the Evaluation of (Meta-)solver Approaches

(メタ)ソルバーアプローチの評価について

On the Complexity of Finding Set Repairs for Data-Graphs

データグラフの集合修復を求める複雑さについて

Reviewer Assignment Problem: A Systematic Review of the Literature

査読者割り当て問題：文献の体系的レビュー

Visualizing the Implicit Model Selection Tradeoff

暗黙的なモデル選択のトレードオフの可視化

Mining ℰℒ⊥ Bases with Adaptable Role Depth

適応型役割深度を持つℰℒ⊥基底のマイニング

Fair Influence Maximization in Large-scale Social Networks Based on Attribute-aware Reverse Influence Sampling

属性を考慮した逆影響サンプリングに基づく大規模ソーシャルネットワークにおける公平な影響力最大化

Optimal and Efficient Auctions for the Gradual Procurement of Strategic Service Provider Agents

戦略的サービスプロバイダーエージェントの段階的調達のための最適かつ効率的なオークション

Vol. 77 (2023)

Object-agnostic Affordance Categorization via Unsupervised Learning of Graph Embeddings

グラフ埋め込みの教師なし学習によるオブジェクトに依存しないアフォーダンス分類

A Model to Support Collective Reasoning: Formalization, Analysis and Computational Assessment

集団推論を支援するモデル：形式化、分析、計算評価

Repairing the Cracked Foundation: A Survey of Obstacles in Evaluation Practices for Generated Text

ひび割れた基盤の修復：生成テキストの評価実践における障害の調査

Mimicking Behaviors in Separated Domains

分離された領域における行動の模倣

How to DP-fy ML: A Practical Guide to Machine Learning with Differential Privacy

機械学習をDP化する方法：差分プライバシーを備えた機械学習の実践ガイド

Hierarchical Decompositions and Termination Analysis for Generalized Planning

一般化計画のための階層的分解と停止分析

Complexity of Computing the Shapley Value in Partition Function Form Games

分割関数形式ゲームにおけるシャプレー値の計算の複雑さ

Program Synthesis with Best-First Bottom-Up Search

プログラム合成ベストファースト・ボトムアップ探索

Dynamic Controllability of Temporal Plans in Uncertain and Partially Observable Environments

不確実かつ部分観測環境における時間計画の動的制御可能性

Qualitative Reasoning about 2D Cardinal Directions using Answer Set Programming

解集合プログラミングを用いた2次元方位に関する定性推論

Classes of Hard Formulas for QBF Resolution

QBF解決のためのハードフォーミュラのクラス

Improved Peel-and-Bound: Methods for Generating Dual Bounds with Multivalued Decision Diagrams

改良型ピールアンドバウンド法：多値決定図を用いた双対境界生成法

Certified Dominance and Symmetry Breaking for Combinatorial Optimisation

組合せ最適化における優位性と対称性の証明

Optimality Guarantees for Particle Belief Approximation of POMDPs

POMDPの粒子確率近似における最適性保証

Automatically Finding the Right Probabilities in Bayesian Networks

ベイジアンネットワークにおける適切な確率の自動発見

Computational Modelling of Quantifier Use: Corpus, Models, and Evaluation

量指定子使用の計算モデル化：コーパス、モデル、評価

Prediction of Social Dynamic Agents and Long-Tailed Learning Challenges: A Survey

社会動的エージェントの予測とロングテール学習の課題：サーベイ

Semiring Reasoning Frameworks in AI and Their Computational Complexity

AIにおけるセミリング推論フレームワークとその計算複雑性

On Centralized Critics in Multi-Agent Reinforcement Learning

マルチエージェント強化学習における集中型批評について

Efficient Multi-Goal Reinforcement Learning via Value Consistency Prioritization

価値一貫性優先付けによる効率的なマルチゴール強化学習

Your Prompt is My Command: On Assessing the Human-Centred Generality of Multimodal Models

あなたの指示は私の命令：マルチモーダルモデルの人間中心の一般性の評価について

FlexiBERT: Are Current Transformer Architectures too Homogeneous and Rigid?

FlexiBERT：変流器アーキテクチャは均質かつ硬直的すぎるのか？

Contract Scheduling with Predictions

予測に基づく契約スケジューリング

Towards Green Automated Machine Learning: Status Quo and Future Directions

グリーン自動機械学習に向けて：現状と将来方向

The Complexity of Matching Games: A Survey

マッチングゲームの複雑性：サーベイ

Stackelberg Security Games with Contagious Attacks on a Network: Reallocation to the Rescue

ネットワーク上の伝染性攻撃を伴うスタックベルグセキュリティゲーム：再配分による救済

A Markov Framework for Learning and Reasoning About Strategies in Professional Soccer

プロサッカーにおける戦略の学習と推論のためのマルコフフレームワーク

On Dynamics in Structured Argumentation Formalisms

構造化議論形式におけるダイナミクスについて

FlexiBO: A Decoupled Cost-Aware Multi-Objective Optimization Approach for Deep Neural Networks

FlexiBO：ディープニューラルネットワークのための分離型コスト考慮多目的最適化アプローチ

First-Order Context-Specific Likelihood Weighting in Hybrid Probabilistic Logic Programs

ハイブリッド確率論理プログラムにおける一次コンテキスト依存尤度重み付け

Exploiting Action Impact Regularity and Exogenous State Variables for Offline Reinforcement Learning

オフライン強化学習における行動影響規則性と外生状態変数の活用

The Jiminy Advisor: Moral Agreements among Stakeholders Based on Norms and Argumentation

ジミニーアドバイザー：規範と議論に基づく利害関係者間の道徳的合意

Your College Dorm and Dormmates: Fair Resource Sharing with Externalities

あなたの大学寮と寮生：外部要因を考慮した公平な資源共有

MDP Playground: An Analysis and Debug Testbed for Reinforcement Learning

MDPプレイグラウンド：強化学習のための分析およびデバッグテストベッド

Equivalence in Argumentation Frameworks with a Claim-centric View: Classical Results with Novel Ingredients

主張中心の議論フレームワークにおける同値性表示：新しい要素を用いた古典的な結果

SAlign: A Graph Neural Attention Framework for Aligning Structurally Heterogeneous Networks

SAlign：構造的に異質なネットワークをアラインメントするためのグラフニューラルアテンションフレームワーク

Information Lattice Learning

情報格子学習

Vol. 78 (2023)

Exploiting Functional Constraints in Automatic Dominance Breaking for Constraint Optimization

制約最適化のための自動優位性破壊における機能的制約の活用

Exploiting Cultural Biases via Homoglyphs in Text-to-Image Synthesis

テキスト画像合成におけるホモグリフを介した文化的バイアスの活用

Improving Resource Allocations by Sharing in Pairs

ペア共有によるリソース割り当ての改善

Online Bin Packing with Predictions

予測を伴うオンラインビンパッキング

A Unified Linear Speedup Analysis of Federated Averaging and Nesterov FedAvg

Federated AveragingとNesterov FedAvgの統合線形高速化分析

Competitive Equilibria with a Constant Number of Chores

一定数の作業を伴う競争均衡

Collective Belief Revision

集団的信念修正

Clustering what Matters: Optimal Approximation for Clustering with Outliers

重要なクラスタリング：外れ値を含むクラスタリングの最適近似

Amortized Variational Inference: A Systematic Review

償却変分推論：系統的レビュー

Embedding Ontologies in the Description Logic ALC by Axis-Aligned Cones

軸平行円錐による記述論理ALCへのオントロジーの埋め込み

Select and Augment: Enhanced Dense Retrieval Knowledge Graph Augmentation

選択と拡張：強化された高密度検索知識グラフ拡張

A Comprehensive Survey on Deep Graph Representation Learning Methods

深層グラフ表現学習手法に関する包括的調査

Non-Crossing Anonymous MAPF for Tethered Robots

テザーロボットのための非交差匿名MAPF

A Benchmark Study on Knowledge Graphs Enrichment and Pruning Methods in the Presence of Noisy Relationships

ベンチマーク研究ノイズの多い関係性が存在する場合の知識グラフのエンリッチメントとプルーニング手法について

How to Tell Easy from Hard: Complexities of Conjunctive Query Entailment in Extensions of ALC

容易と困難を見分ける方法：ALC拡張における連言クエリ含意の複雑性

Diagnosing AI Explanation Methods with Folk Concepts of Behavior

行動のフォーク概念を用いたAI説明手法の診断

Asymptotics of K-Fold Cross Validation

K分割交差検証の漸近解析

Maintenance of Plan Libraries for Case-Based Planning: Offline and Online Policies

事例ベースプランニングのためのプランライブラリの保守：オフラインおよびオンラインポリシー

Scalable Neural-Probabilistic Answer Set Programming

スケーラブルなニューラル確率的回答セットプログラミング

Maximisation of Admissible Multi-Objective Heuristics

許容可能な多目的ヒューリスティックの最大化

Actor Prioritized Experience Replay

アクター優先体験再生

On the Parallel Parameterized Complexity of MaxSAT Variants

MaxSATバリアントの並列パラメータ化複雑性について

Sequence-Oriented Diagnosis of Discrete-Event Systems

離散事象システムのシーケンス指向診断

Efficiently Explaining CSPs with Unsatisfiable Subset Optimization

不満足な部分集合最適化を用いたCSPの効率的な説明

Generalizing Group Fairness in Machine Learning via Utilities

効用を用いた機械学習におけるグループ公平性の一般化

A Survey of Learning Criteria Going Beyond the Usual Risk

通常のリスクを超えた学習基準の概説

Graphmax for Text Generation

テキスト生成のためのGraphmax

On Expected Value Strong Controllability

期待値の強い制御性について

A General Model for Aggregating Annotations Across Simple, Complex, and Multi-Object Annotation Tasks

単純、複雑、および複数オブジェクトのアノテーションタスクにわたるアノテーション集約のための一般モデル

Achieving Zero Constraint Violation for Concave Utility Constrained Reinforcement Learning via Primal-Dual Approach

凹型効用制約付き強化学習におけるプライマル・デュアルアプローチによる制約違反ゼロの実現

Vol. 79 (2024)

Undesirable Biases in NLP: Addressing Challenges of Measurement

NLPにおける望ましくないバイアス：測定の課題への対処

Removing Bias and Incentivizing Precision in Peer-grading

ピアグレーディングにおけるバイアスの除去と精度の促進

Iterative Train Scheduling under Disruption with Maximum Satisfiability

最大化を伴う中断下における反復的な列車スケジューリング充足可能性

DIGCN: A Dynamic Interaction Graph Convolutional Network Based on Learnable Proposals for Object Detection

DIGCN: 物体検出のための学習可能な提案に基づく動的インタラクショングラフ畳み込みネットワーク

A Map of Diverse Synthetic Stable Matching Instances

多様な合成安定マッチングインスタンスのマップ

Structure in Deep Reinforcement Learning: A Survey and Open Problems

深層強化学習における構造：概観と未解決問題

USN: A Robust Imitation Learning Method against Diverse Action Noise

USN: 多様な行動ノイズに対するロバストな模倣学習法

Collision Avoiding Max-Sum for Mobile Sensor Teams

モバイルセンサーチームのための衝突回避最大和

Bt-GAN: Generating Fair Synthetic Healthdata via Bias-transforming Generative Adversarial Networks

Bt-GAN: バイアス変換型敵対的生成ネットワークによる公平な合成ヘルスデータの生成

Right Place, Right Time: Proactive Multi-Robot Task Allocation Under Spatiotemporal Uncertainty

適切な場所、適切な時間：時空間的不確実性下におけるプロアクティブなマルチロボットタスク割り当て

Visually Grounded Language Learning: A Review of Language Games, Datasets, Tasks, and Models

視覚的基盤言語学習：言語ゲーム、データセット、タスク、モデルのレビュー

Query-driven Qualitative Constraint Acquisition

クエリ駆動型定性的制約獲得

Detecting Change Intervals with Isolation Distributional Kernel

分離分布カーネルを用いた変化区間の検出

Boolean Observation Games

ブール観測ゲーム

Human-in-the-Loop Reinforcement Learning: A Survey and Position on Requirements, Challenges, and Opportunities

人間参加型強化学習：要件、課題、機会に関する調査と見解

The AI Race: Why Current Neural Network-based Architectures are a Poor Basis for Artificial General Intelligence

AI競争：現在のニューラルネットワークベースのアーキテクチャが汎用人工知能の基盤として不十分な理由

Reinforcement Learning for Generative AI: State of the Art, Opportunities and Open Research Challenges

生成AIのための強化学習：最先端技術、機会、そして未解決の研究課題

Weighted, Circular and Semi-Algebraic Proofs

重み付き証明、循環証明、半代数的証明

An Algorithm with Improved Complexity for Pebble Motion/Multi-Agent Path Finding on Trees

木におけるペブルモーション/マルチエージェント経路探索のための複雑性を改善したアルゴリズム

On Mitigating the Utility-Loss in Differentially Private Learning: A New Perspective by a Geometrically Inspired Kernel Approach

差分プライバシー学習における効用損失の軽減について：新たな視点幾何学に着想を得たカーネルアプローチ

Exploring the Tradeoff Between System Profit and Income Equality Among Ride-hailing Drivers

配車サービスドライバーのシステム利益と所得平等のトレードオフの探究

Practical and Parallelizable Algorithms for Non-Monotone Submodular Maximization with Size Constraint

サイズ制約付き非単調劣モジュラー最大化のための実用的かつ並列化可能なアルゴリズム

Can Fairness be Automated? Guidelines and Opportunities for Fairness-aware AutoML

公平性は自動化できるか？公平性を考慮したAutoMLのガイドラインと可能性

Multi-Objective Reinforcement Learning Based on Decomposition: A Taxonomy and Framework

分解に基づく多目的強化学習：分類とフレームワーク

Principles and their Computational Consequences for Argumentation Frameworks with Collective Attacks

集団攻撃を伴う議論フレームワークの原理とその計算結果

Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach

POMDPにおけるポリシーガイダンスのための学習ロジック仕様：帰納的論理プログラミングアプローチ

Performative Ethics From Within the Ivory Tower: How CS Practitioners Uphold Systems of Oppression

象牙の塔からの遂行倫理：コンピュータサイエンス実践者が抑圧システムをどのように維持しているか

conDENSE: Conditional Density Estimation for Time Series Anomaly Detection

conDENSE：時系列異常検出のための条件付き密度推定

Multi-Modal Attentive Prompt Learning for Few-shot Emotion Recognition in Conversations

会話における少数ショットの感情認識のためのマルチモーダル注意プロンプト学習

A Principled Distributional Approach to Trajectory Similarity Measurement and its Application to Anomaly Detection

軌跡類似度測定への原理的分布アプローチと異常検出への応用

Learning to Resolve Social Dilemmas: A Survey

社会的ジレンマ解決の学習：サーベイ

Cultural Bias in Explainable AI Research: A Systematic Analysis

説明可能なAI研究における文化的バイアス：体系的分析

Vol. 80 (2024)

Computing Pareto-Optimal and Almost Envy-Free Allocations of Indivisible Goods

不可分財のパレート最適かつほぼ嫉妬のない配分の計算

Does CLIP Know My Face?

CLIPは私の顔を知っているか？

On the Convergence of Swap Dynamics to Pareto-Optimal Matchings

スワップダイナミクスのパレート最適マッチングへの収束について

Symbolic Task Inference in Deep Reinforcement Learning

深層強化学習における記号タスク推論

Tackling Cooperative Incompatibility for Zero-Shot Human-AI Coordination

ゼロショットの人間とAIの協調における非互換性への取り組み

A Hybrid Intelligence Method for Argument Mining

議論マイニングのためのハイブリッドインテリジェンス手法

From Single-Objective to Bi-Objective Maximum Satisfiability Solving

単目的から二目的の最大満足度解決へ

Effectiveness of Tree-based Ensembles for Anomaly Discovery: Insights, Batch and Streaming Active Learning

異常発見におけるツリーベースアンサンブルの有効性：インサイト、バッチ、ストリーミングアクティブラーニング

Computational Argumentation-based Chatbots: A Survey

計算論的議論に基づくチャットボット：サーベイ

Towards Trustworthy AI-Enabled Decision Support Systems: Validation of the Multisource AI Scorecard Table (MAST)

信頼できるAI対応意思決定支援システムに向けて：マルチソースAIスコアカードテーブル（MAST）の検証

The Complexity of Subelection Isomorphism Problems

部分選挙同型性問題の複雑性

Mixed Fair Division: A Survey

混合公平分割：サーベイ

Probabilities of the Third Type: Statistical Relational Learning and Reasoning with Relative Frequencies

第3種の確率：相対頻度を用いた統計的関係学習と推論

MallobSat: Scalable SAT Solving by Clause Sharing

MallobSat：節共有によるスケーラブルなSAT解決

Language-Models-as-a-Service: Overview of a New Paradigm and its Challenges

サービスとしての言語モデル：新しいサービスの概要パラダイムとその課題

The RL/LLM Taxonomy Tree: Reviewing Synergies Between Reinforcement Learning and Large Language Models

RL/LLMタクソノミーツリー：強化学習と大規模言語モデルの相乗効果の検証

Scalable Distributed Algorithms for Size-Constrained Submodular Maximization in the MapReduce and Adaptive Complexity Models

MapReduceおよび適応型複雑性モデルにおけるサイズ制約付き劣モジュラー最大化のためのスケーラブルな分散アルゴリズム

Decision-Focused Learning: Foundations, State of the Art, Benchmark and Future Opportunities

意思決定重視学習：基礎、最先端技術、ベンチマーク、そして将来の可能性

The Goal after Tomorrow: Offline Goal Reasoning with Norms

明日の目標：規範を用いたオフライン目標推論

Expressing and Exploiting Subgoal Structure in Classical Planning Using Sketches

スケッチを用いた古典的プランニングにおけるサブゴール構造の表現と活用

Block Domain Knowledge-Driven Learning of Chain Graphs Structure

ブロックドメイン知識駆動型連鎖グラフ構造学習

Understanding Sample Generation Strategies for Learning Heuristic Functions in Classical Planning

古典的プランニングにおけるヒューリスティック関数学習のためのサンプル生成戦略の理解

Estimating Agent Skill in Continuous Action Domains

連続行動領域におけるエージェントスキルの推定

On the Trade-off between Redundancy and Cohesiveness in Extractive Summarization

抽出要約における冗長性と凝集性のトレードオフについて

Scalable Primal Heuristics Using Graph Neural Networks for Combinatorial Optimization

グラフニューラルネットワークを用いたスケーラブルなプライマルヒューリスティックスによる組合せ最適化

タスクアウェアおよびタスクフリー継続学習のための類似性に基づく適応

Exploiting Contextual Target Attributes for Target Sentiment Classification

ターゲット感情分類におけるコンテキストターゲット属性の活用

Mitigating Value Hallucination in Dyna-Style Planning via Multistep Predecessor Models

多段階先行モデルを用いたDynaスタイルプランニングにおける価値幻覚の軽減

General Policies, Subgoal Structure, and Planning Width

一般ポリシー、サブゴール構造、プランニング幅

Computing Unsatisfiable Cores for LTLf Specifications

充足不可能コアの計算LTLf仕様

Best of Both Worlds: Agents with Entitlements

両方の長所を活かす：資格を持つエージェント

Methods for Recovering Conditional Independence Graphs: A Survey

条件付き独立グラフの復元法：サーベイ

The TOAD System for Totally Ordered HTN Planning

全順序付きHTNプランニングのためのTOADシステム

Using Constraint Propagation to Bound Linear Programs

制約伝播を用いた境界線形計画

Robust Average-Reward Reinforcement Learning

ロバストな平均報酬強化学習

Counting Complexity for Reasoning in Abstract Argumentation

抽象的議論における推論の複雑性の計算

Simulating Counterfactuals

反事実的状況のシミュレーション

Individual Fairness, Base Rate Tracking and the Lipschitz Condition

個体公平性、ベースレートトラッキング、そしてリプシッツ条件

Experimental Design of Extractive Question-Answering Systems: Influence of Error Scores and Answer Length

抽出型質問応答システムの実験設計：エラースコアと回答の長さの影響

SAT-based Decision Tree Learning for Large Data Sets

大規模データセットのためのSATベースの決定木学習

Viewpoint: Hybrid Intelligence Supports Application Development for Diabetes Lifestyle Management

視点：ハイブリッドインテリジェンスが糖尿病ライフスタイル管理アプリケーション開発を支援

Unifying SAT-Based Approaches to Maximum Satisfiability Solving

SATベースのアプローチを統合し、最大充足可能性問題を解く

Axiomatization of Non-Recursive Aggregates in First-Order Answer Set Programming

一階回答セットプログラミングにおける非再帰的集計の公理化

Vol. 81 (2024)

Understanding What Affects the Generalization Gap in Visual Reinforcement Learning: Theory and Empirical Evidence

視覚強化学習における汎化ギャップに影響を与える要因の理解：理論と実証的証拠

Improving Reproducibility in AI Research: Four Mechanisms Adopted by JAIR

AI研究における再現性の向上：JAIRが採用した4つのメカニズム

Bias Mitigation Methods: Applicability, Legality, and Recommendations for Development

バイアス緩和手法：適用性、合法性、そして開発のための推奨事項

Opening the Analogical Portal to Explainability: Can Analogies Help Laypeople in AI-assisted Decision Making?

説明可能性へのアナロジーポータルを開く：アナロジーはAI支援による意思決定において一般人を支援できるか？

Digraph k-Coloring Games: New Algorithms and Experiments

有向グラフk-彩色ゲーム：新しいアルゴリズムと実験

The Effect of Preferences in Abstract Argumentation under a Claim-Centric View

主張中心的視点に基づく抽象的議論における選好の影響

The Human in Interactive Machine Learning: Analysis and Perspectives for Ambient Intelligence

インタラクティブ機械学習における人間：環境知能の分析と展望

Uncertainty as a Fairness Measure

公平性尺度としての不確実性

Efficient and Fair Healthcare Rationing

効率的かつ公平な医療配給

Inverting Cryptographic Hash Functions via Cube-and-Conquer

キューブ・アンド・コンカーによる暗号ハッシュ関数の反転

A Fortiori Case-Based Reasoning: From Theory to Data

ア・フォルティオリ事例ベース推論：理論からデータへ

The State of Computer Vision Research in Africa

アフリカにおけるコンピュータビジョン研究の現状

Expected 1.x Makespan-Optimal Multi-Agent Path Finding on Grid Graphs in Low Polynomial Time

グリッドグラフ上での低多項式時間における期待される1.xメイクスパン最適マルチエージェント経路探索

Towards Robust Offline-to-Online Reinforcement Learning via Uncertainty and Smoothness

不確実性と滑らかさに基づくロバストなオフラインからオンラインへの強化学習に向けて

A Unified Perspective on Value Backup and Exploration in Monte-Carlo Tree Search

モンテカルロ木探索における値のバックアップと探索に関する統一的視点

Efficiently Adapt to New Dynamic via Meta-Model

メタモデルによる新しいダイナミクスへの効率的な適応

Truth-tracking with Non-expert Information Sources

非専門家情報源による真理値追跡

Approximate Counting of Linear Extensions in Practice

線形拡張の近似カウントの実践

Differentially Private Neural Tangent Kernels (DP-NTK) for Privacy-Preserving Data Generation

プライバシー保護データ生成のための差分プライバシーニューラルタンジェントカーネル（DP-NTK）

A Scoping Study on AI Affordances in Early Childhood Education: Mapping the Global Landscape, Identifying Research Gaps, and Charting Future Research Directions

幼児教育におけるAIアフォーダンスに関するスコープスタディ：グローバルな展望のマッピング、研究ギャップの特定、そして将来の研究方向性の策定

Separating and Collapsing Electoral Control Types

選挙管理タイプの分離と統合

QCDCL vs QBF Resolution: Further Insights

QCDCLとQBFの解決：さらなる洞察

Cross-domain Constituency Parsing by Leveraging Heterogeneous Data

異種データを利用したクロスドメイン選挙区解析

Declarative Approaches to Outcome Determination in Judgment Aggregation

判断集約における結果決定への宣言的アプローチ

Proof Theory and Decision Procedures for Deontic STIT Logics

義務的STIT論理の証明理論と決定手続き

Selfishly Prepaying in Financial Credit Networks

金融信用ネットワークにおける利己的前払い

Preserving Fairness in AI under Domain Shift

ドメインにおけるAIの公平性の維持シフト

Human Activity Recognition in an Open World

オープンワールドにおける人間の行動認識

Quantization Aware Factorization for Deep Neural Network Compression

量子化を考慮した因子分解によるディープニューラルネットワーク圧縮

Satisfiability Modulo User Propagators

ユーザープロパゲーターを法とした充足可能性

Vol. 82 (2025)

Approximate Implication for Probabilistic Graphical Models

確率的グラフィカルモデルへの近似的含意

Empirical Game Theoretic Analysis: A Survey

経験ゲーム理論的分析：サーベイ

Control by Adding or Deleting Edges in Graph-Restricted Weighted Voting Games

グラフ制約付き重み付き投票ゲームにおける辺の追加または削除による制御

A Selective Under-Sampling (SUS) Method for Imbalanced Regression

不均衡回帰のための選択的アンダーサンプリング（SUS）法

Enhanced Recommendation Systems with Retrieval-Augmented Large Language Model

検索拡張型大規模言語モデルを用いた強化型推薦システム

Rumor Detection with Adaptive Data Augmentation and Adversarial Training

適応型データ拡張と敵対的学習による噂検出

A Framework for Belief-based Programs and Their Verification

信念ベースプログラムとその検証のためのフレームワーク

Semantic Alignment of Malicious Question Based on Contrastive Semantic Networks and Data Augmentation

対照的意味ネットワークとデータ拡張に基づく悪意のある質問の意味的アラインメント

Improving Mutual Information Based Feature Selection by Boosting Unique Relevance

一意関連性の向上による相互情報量に基づく特徴選択の改善

Laplace-HDC: Understanding the Geometry of Binary Hyperdimensional Computing

Laplace-HDC：バイナリ超次元計算の幾何学的理解

ConSCompF: Consistency-focused Similarity Comparison Framework for Generative Large Language Models

ConSCompF：生成的大規模言語モデルのための一貫性重視の類似性比較フレームワーク

Symbolic Search for Cost-Optimal Planning with Expressive Model Extensions

表現力豊かなモデル拡張を用いたコスト最適計画のための記号探索

A Portfolio Approach to Massively Parallel Bayesian Optimization

超並列ベイズ最適化へのポートフォリオアプローチ

An Extensive Empirical Evaluation of Inferring Preconditions and Effects of Compound Tasks in Ground HTN Planning Problems

地上HTN計画問題における複合タスクの前提条件と効果の推論に関する広範な実証的評価

Design and Effects of Co-Learning in Human-AI Teams

人間とAIのチームにおける共学習の設計と効果

Maximal Combinations of Fairness Definitions

公平性定義の最大組み合わせ

Computational Machine Ethics: A Survey

計算機械倫理：調査

From Knowledge to Action: Logics of Permitted and Obligatory Announcements

知識から行動へ：許可されたアナウンスと義務的なアナウンスの論理

Principles for Responsible AI Consciousness Research

責任あるAI意識研究の原則

Decentralized, Decomposition-Based Observation Scheduling for a Large-Scale Satellite Constellation

大規模衛星群のための分散型分解ベース観測スケジューリング

MRC and Transfer Learning Framework for Document-level Event Factuality Identification with Heterogeneous Spectral Attention Networks

異種スペクトルアテンションネットワークを用いた文書レベルのイベント事実性識別のためのMRCおよび転移学習フレームワーク

Existence, Computation and Efficiency of Nash Stable Outcomes in Hedonic Skill Games

快楽スキルゲームにおけるナッシュ安定結果の存在、計算、および効率

On the Consistency between Belief Revision and Belief Update

信念修正と信念更新の一貫性について

Generalizing the Regret: an Analysis of Lower and Upper Bounds

後悔の一般化：下限と上限の分析

Adaptive Few-Shot Class-Incremental Learning via Latent Variable Models

潜在変数モデルによる適応型少数ショットクラス増分学習

Path-Planning on a Spherical Surface with Disturbances and Exclusion Zones

外乱と除外領域を含む球面上の経路計画

Combinatorial Multi-Armed Bandits with Fairness Constraints: An Online Convex Optimization Perspective

公平性制約付き組み合わせ多腕バンディット：オンライン凸最適化の観点

A New Regret-analysis Framework for Budgeted Multi-Armed Bandits

予算付き多腕バンディットのための新しいリグレット分析フレームワーク

A Divide, Align and Conquer Strategy For Program Synthesis

プログラム合成のための分割・整列・統治戦略

TabID: Automatic Identification and Tabulation of Subproblems in Constraint Models

TabID：制約モデルにおける部分問題の自動識別と表作成

Certified Knowledge Compilation with Application to Formally Verified Model Counting

認証済み知識コンパイルと形式検証済みモデルカウントへの応用

Confidence-based Estimators for Predictive Performance in Model Monitoring

モデルモニタリングにおける予測性能のための信頼度ベース推定量

From Expert Systems to Generative Artificial Experts: A New Concept for Human-AI Collaboration in Knowledge Work

エキスパートシステムから生成型人工エキスパートへ：知識作業における人間とAIの協働のための新しい概念

Solving Overlapping Coalition Structure Generation in Task-Based Settings

タスクベース設定における重複連合構造生成の解決

On the Phase Transition of the Euclidean Travelling Salesman Problem with Time Windows

時間窓付きユークリッド巡回セールスマン問題の相転移について

Defensive Alliances in Signed Networks

防衛同盟署名付きネットワーク

Detecting AI-Generated Text: Factors Influencing Detectability with Current Methods

AI生成テキストの検出：現在の手法における検出可能性に影響を与える要因

Counterfactual Situation Testing: From Single to Multidimensional Discrimination

反事実的状況検定：単次元識別から多次元識別へ

Composition and Zero-Shot Transfer with Lattice Structures in Reinforcement Learning

強化学習における格子構造を用いた合成とゼロショット転送

AI Governance in the GCC States: A Comparative Analysis of National AI Strategies

GCC諸国におけるAIガバナンス：国家AI戦略の比較分析

The Complexity of Pure Maxmin Strategies in Two-Player Extensive-Form Games

2人用拡張型ゲームにおける純粋マックスミニ戦略の複雑性

Stability in Online Coalition Formation

オンライン連合形成における安定性

MAT2I: Enhancing Perceptual Authenticity in Text-to-Image Synthesis using Multi-Attribute Generative Adversarial Networks

MAT2I：多属性生成的敵対ネットワークを用いたテキスト画像合成における知覚的真正性の向上

Generative Curricula for Multi-Agent Path Finding via Unsupervised and Reinforcement Learning

教師なし学習と強化学習によるマルチエージェント経路探索のための生成カリキュラム

Towards Explainable Goal Recognition Using Weight of Evidence (WoE): A Human-Centered Approach

証拠の重み（WoE）を用いた説明可能な目標認識に向けて：人間中心アプローチ

Preference Tuning with Human Feedback on Language, Speech, and Vision Tasks: A Survey

言語、音声、視覚タスクにおける人間のフィードバックを用いた選好調整：サーベイ

TOMA: Computational Theory of Mind with Abstractions for Hybrid Intelligence

TOMA：ハイブリッドインテリジェンスのための抽象化を伴う計算的心の理論

CADS: A Systematic Literature Review on the Challenges of Abstractive Dialogue Summarization

CADS：抽象的対話要約の課題に関する体系的な文献レビュー

CPM-based Hierarchical Text Classification

CPMベースの階層的テキスト分類

Forgetting in Abstract Argumentation: Limits and Possibilities

抽象的議論における忘却：限界と可能性

Practical Parallel Algorithms for Non-Monotone Submodular Maximization

非単調劣モジュラ最大化のための実用的な並列アルゴリズム

An Oracle-Guided Approach to Constrained Policy Synthesis Under Uncertainty

不確実性下における制約付き方策合成のためのオラクル誘導アプローチ

AI Reliance and Decision Quality: Fundamentals, Interdependence, and the Effects of Interventions

AIへの依存と意思決定の質：基礎、相互依存性、そして介入の効果

PAC-Chernoff Bounds: Understanding Generalization in the Interpolation Regime

PAC-チェルノフ境界：補間領域における一般化の理解

Comparison of SAT-Based and ASP-Based Algorithms for Inconsistency Measurement

不整合測定におけるSATベースとASPベースアルゴリズムの比較

Against The Achilles’ Heel: A Survey on Red Teaming for Generative Models

対比アキレス腱：生成モデルにおけるレッドチーム演習に関する調査

Prosociality in Microtransit

マイクロトランジットにおける向社会性

Reasoning about Decidability of Strategic Logics with Imperfect Information and Perfect Recall Strategies

不完全情報と完全想起戦略を用いた戦略論理の決定可能性に関する推論

Value Preferences Estimation and Disambiguation in Hybrid Participatory Systems

ハイブリッド参加型システムにおける価値選好の推定と曖昧性解消

Efficient Ontology-Mediated Query Answering: Extending DL-liteR and Linear ELH

効率的なオントロジー介在型クエリ応答：DL-liteRと線形ELHの拡張

A Query-Based Constraint Acquisition Approach for Enhanced Precision in Program Precondition Inference

プログラム前提条件推論の精度向上のためのクエリベースの制約獲得アプローチ

Promoting the Responsible Development of Speech Datasets for Mental Health and Neurological Disorders Research

メンタルヘルスおよび神経疾患研究のための音声データセットの責任ある開発の促進

A New Literature Review of 3D Object Detection on Autonomous Driving

自動運転における3D物体検出に関する新たな文献レビュー

Vol. 83 (2025)

The Fixed-Point Semantics of Relational Concept Analysis

関係概念分析の固定小数点意味論

Efficient XAI: A Low-Cost Data Reduction Approach to SHAP Interpretability

効率的なXAI：SHAP解釈可能性のための低コストなデータ削減アプローチ

AI for All: Identifying AI incidents Related to Diversity and Inclusion

すべての人のためのAI：多様性と包摂性に関連するAIインシデントの特定

DSAC: Distributional Soft Actor-Critic for Risk-Sensitive Reinforcement Learning

DSAC：リスク感応型強化学習のための分布型ソフトアクタークリティカル

Data Augmentation for Time-Series Classification: An Extensive Empirical Study and Comprehensive Survey

時系列分類のためのデータ拡張：広範な実証研究と包括的な調査

Improved Regret Bounds for Bandits with Expert Advice

専門家のアドバイスによるバンディットのリグレット境界の改善

Parameterized Analysis of Bribery in Challenge the Champ Tournaments

チャレンジ・ザ・チャンプ・トーナメントにおける賄賂のパラメータ化分析

Explainability via Short Formulas: the Case of Propositional Logic with Implementation

短い式による説明可能性：実装を伴う命題論理の事例

Collective Intelligence in Decision-Making with Non-Stationary Experts

非定常専門家による意思決定における集合知

Invariant Graph Propagation in Constraint-Based Local Search

制約に基づく局所探索における不変グラフ伝播

On CNF Conversion for SAT and SMT Enumeration

SATおよびSMT列挙のためのCNF変換について

Conditional Relative Frequency Distributions with Undefined Observations and Generalized Fuzzy Orthopartitions

未定義観測値と一般化ファジーを含む条件付き相対頻度分布オルソパーティション

LabelCoRank: Revolutionizing Long Tail Multi-Label Classification with Co-Occurrence Reranking

LabelCoRank：共起再ランキングによるロングテール・マルチラベル分類の革新

The Search for Stability: Learning Dynamics of Strategic Publishers with Initial Documents

安定性の探求：初期文書を用いた戦略的パブリッシャーの学習ダイナミクス

Geometrically Inspired Kernel Machines for Collaborative Learning Beyond Gradient Descent

勾配降下法を超える協調学習のための幾何学に着想を得たカーネルマシン

Causal Explanations for Sequential Decision Making

逐次意思決定の因果的説明

Improving Local Search Algorithm for Pseudo Boolean Optimization

擬似ブール最適化のための局所探索アルゴリズムの改良

Scalable Synthesis of Formally Verified Neural Value Function for Hamilton-Jacobi Reachability Analysis

ハミルトン・ヤコビ到達可能性解析のための形式検証済みニューラル価値関数のスケーラブルな合成

Robustness Distributions in Neural Network Verification

ニューラルネットワーク検証におけるロバスト性分布

Super Level Sets and Exponential Decay: A Synergistic Approach to Stable Neural Network Training

スーパーレベルセットと指数関数的減衰：安定的なニューラルネットワーク学習への相乗的アプローチ

Spatio-Causal Patterns of Sample Growth

サンプル増加の空間因果パターン

MA-LAMA: Exploiting the Multi-Agent Nature of Temporal Planning Problems

MA-LAMA：時間計画問題におけるマルチエージェント特性の活用

CluMo: Cluster-based Modality Fusion Prompt for Continual Learning in Visual Question Answering

CluMo：視覚的質問応答における継続学習のためのクラスターベースモダリティ融合プロンプト

Learning How to Vote with Principles: Axiomatic Insights Into the Collective Decisions of Neural Networks

原則に基づいた投票方法の学習：ニューラルネットワークの集合的決定に関する公理的洞察

A Complexity-Theoretic Analysis of Majority Illusion in Social Networks

ソーシャルネットワークにおける多数決錯覚の複雑性理論的分析

Recursive Decomposition of Logical Thoughts: Framework for Superior Reasoning and Knowledge Propagation in Large Language Models

論理的思考の再帰的分解：大規模言語モデルにおける優れた推論と知識伝播のための枠組み

Argumentative Reasoning in ASPIC+ under Incomplete Information

不完全情報下におけるASPIC+における議論推論

Multi-Leader Congestion Games with an Adversary

敵対者を含むマルチリーダー輻輳ゲーム

Improving and Understanding the Power of Satisfaction-Driven Clause Learning

満足度駆動型節学習の有効性の改善と理解

Policy-based Primal-Dual Methods for Concave CMDP with Variance Reduction

分散削減を伴う凹型CMDPのための方策ベースプライマル・デュアル法

A Survey on Data Selection for LLM Instruction Tuning

A LLM命令チューニングのためのデータ選択に関する調査

An MRP Formulation for Supervised Learning: Generalized Temporal Difference Learning Models

教師あり学習のためのMRP定式化：一般化時間差分学習モデル

On Computing Probabilistic Explanations for Decision Trees

決定木の確率的説明の計算について

Principles for Assumptions Generation in Enthymeme-Based Dialogue

エンティミームベース対話における仮定生成の原理

A Unifying Framework for Causal Modeling With Infinitely Many Variables

無限変数を含む因果モデリングのための統一的フレームワーク

Optimizing Relevance and Diversity in Online Matching Markets: A Time-Adaptive Attenuation Approach

オンラインマッチング市場における関連性と多様性の最適化：時間適応型減衰アプローチ

Towards an Ontology-Driven Approach to Document Bias

文書バイアスに対するオントロジー駆動型アプローチに向けて

Towards Generalist Robot Learning from Internet Video: A Survey

インターネット動画からの汎用ロボット学習に向けて：調査

Incremental Learning Methodologies for Addressing Catastrophic Forgetting: Analysis and Experimental Evaluation

壊滅的忘却に対処するための漸進的学習手法：分析と実験的評価

Vol. 85 (2026)

Honey, I Shrunk the Hypothesis Space (Through Logical Preprocessing)

ハニー、仮説空間を縮小したよ（論理的前処理による）

Representation Results for Belief Update in Closed Fragments of Propositional Logic

命題論理の閉じた断片における信念更新の表現結果

Multi-Agent Pathfinding Under Team-Connected Communication Constraint via Adaptive Path Expansion and Dynamic Leading

適応的パス拡張と動的リードによるチーム接続通信制約下でのマルチエージェント経路探索

WorldView-Bench: A Benchmark for Evaluating Global Cultural Perspectives in Large Language Models

WorldView-Bench：大規模言語モデルにおけるグローバルな文化的視点を評価するためのベンチマーク

Integrating Column Generation and Large Neighborhood Search for Bus Driver Scheduling with Complex Break Constraints

複雑なブレーク制約を持つバス運転手スケジューリングのための列生成と大規模近傍探索の統合

TeamTTA: Efficient Multi-Device Collaboration for Open-Set Test-Time Adaptation via Cloud Integration

TeamTTA：クラウド統合によるオープンセットテスト時間適応のための効率的なマルチデバイスコラボレーション

Bases for Weighted Gradual Semantics and Inverse Problems in Argumentation Theory

加重漸進意味論と議論理論における逆問題の基礎

A Review of Causal Decision Making

因果的意思決定のレビュー

Partial Minimum Satisfiability: Fine-Grained Analysis

部分最小充足可能性：きめ細かな分析

Fairer than Fair: Sharp Bounds for Connected Super-Proportional Cake Cutting

公平よりもさらに公平：連結超比例ケーキカットの厳密な境界

Synthesising Reward Machines for Cooperative Multi-Agent Reinforcement Learning

協調型マルチエージェント強化のための報酬マシンの合成学習

ModelStar: Reachability Analysis-based Safety Verification of Neural Networks Against Model Perturbations

ModelStar：モデル摂動に対するニューラルネットワークの到達可能性解析に基づく安全性検証

Exact Algorithms for Multiagent Path Finding with Communication Constraints on Tree-Like Structures

ツリー状構造における通信制約付きマルチエージェント経路探索のための厳密なアルゴリズム

Improving Plan Execution Flexibility using Block-Substitution

ブロック置換を用いた計画実行の柔軟性の向上

A Comprehensive Survey of Agents for Computer Use: Foundations, Challenges, and Future Directions

コンピュータ利用エージェントに関する包括的な調査：基礎、課題、そして今後の方向性

Rational Silence and False Polarization: How Viewpoint Organizations and Recommender Systems Distort the Expression of Public Opinion

合理的な沈黙と偽りの二極化：ビューポイント組織とレコメンデーションシステムが世論の表現をいかに歪めるか

Understanding AI Trustworthiness: A Scoping Review of AIES & FAccT Articles

AIの信頼性の理解：AIESおよびFAccT論文の概観レビュー

Scalable Multi-Objective Reinforcement Learning with Fairness Guarantees using Lorenz Dominance

ローレンツ優位性を用いた公平性保証付きスケーラブルな多目的強化学習

Generalised Merge and Shrink Abstractions for Temporal Planning

時間的計画のための一般化されたマージおよび縮小抽象化

Understanding the Process of Human-AI Value Alignment

人間とAIの価値観の整合プロセスの理解

Learning-guided Prioritized Planning for Lifelong Multi-Agent Path Finding in Warehouse Automation

倉庫自動化における生涯にわたるマルチエージェント経路探索のための学習誘導型優先順位付け計画

Diffusion Model Based on Reverse Guidance of Regional Samples

地域サンプルの逆誘導に基づく拡散モデル

A Review of Pseudo-Labeling for Computer Vision

コンピュータビジョンにおける擬似ラベル付けのレビュー

Average Reward Reinforcement Learning for Omega-Regular and Mean-Payoff Objectives

オメガ正則および平均報酬目的のための平均報酬強化学習

PGB: One-Shot Pruning for BERT via Weight Grouping and Permutation

PGB：重みグループ化と順列によるBERTのワンショット剪定

Approximating Proportional and Maximin Allocations on D-Claw-Free Graphs

D-Clawフリーグラフにおける比例配分と最大最小配分の近似

Label-Aware Pseudo-Training Sample Generation for Text Classification

テキスト分類のためのラベル認識型擬似トレーニングサンプル生成

The Winnability of Klondike Solitaire and Many Other Patience Games

クロンダイクソリティアおよびその他の多くの忍耐ゲームの勝率

Procedural Fairness in Machine Learning

機械学習における手続き的公平性

Queries With Exact Truth Values on Concept and Role Atoms in Paraconsistent Description Logics

パラコンシステント記述論理における概念および役割アトムに関する厳密な真偽値を持つクエリ

General Supervised Learning Framework for Open World Classification

オープンワールド分類のための一般的な教師あり学習フレームワーク

Proportional Aggregation of Preferences for Sequential Decision Making

逐次意思決定のための選好の比例集約

Revisiting SAT-based Solvers: MaxSAT Rules and Core Sequences

再考SATベースのソルバー：MaxSATルールとコアシーケンス

Homotopy-Aware Multi-Agent Path Planning on Plane

平面上のホモトピーを考慮したマルチエージェント経路計画

ℵ-IPOMDP: Mitigating Deception in a Cognitive Hierarchy with Off-Policy Counterfactual Anomaly Detection

ℵ-IPOMDP：オフポリシー反事実異常検出による認知階層における欺瞞の軽減

A Rule-based Modal Framework for Causal Reasoning

因果推論のためのルールベースの様相フレームワーク

Qiana: A First-Order Formalism to Quantify over Contexts and Formulas with Temporality

Qiana：時間性を持つコンテキストと式を定量化するための1階述語論理形式

Active Constraint Acquisition Using Large Language Models

大規模言語モデルを用いた能動的な制約獲得

Score Function Gradient Estimation to Widen the Applicability of Decision-Focused Learning

スコア関数勾配推定による意思決定重視型学習の適用範囲拡大

MaxSAT Fuzzing and Delta Debugging

MaxSATファジングとデルタデバッグ

Abductive Reasoning in Expansions of Belnap-Dunn Logic

ベルナップ・ダン論理の拡張におけるアブダクション推論

Quantifying Query Fairness Under Unawareness

無意識下におけるクエリの公平性の定量化

Satsuma: Structure-Based Symmetry Breaking in SAT

Satsuma：SATにおける構造ベースの対称性破れ

T-COL: Generating Counterfactual Explanations for General User Preferences on Variable Machine Learning Systems

T-COL：可変機械学習システムにおける一般的なユーザー嗜好に対する反事実的説明の生成

Asymptotically Fair and Truthful Allocation of Public Goods

漸近的に公平かつ真実な公共財の配分

Scaling Neuro-symbolic Problem Solving: Solver-Free Learning of Constraints and Objectives

ニューロシンボリック問題解決のスケーリング：制約と目的のソルバーフリー学習

Nearly Equitable Allocations Beyond Additivity and Monotonicity

加法性と単調性を超えたほぼ公平な配分

Backward Monte Carlo Tree Search: Charting Unsafe Regions in the Belief-Space

後方モンテカルロ木探索：信念空間における危険な領域のマッピング