Journal of Artificial Intelligence Research: 論文一覧

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

確認日：	2025/06/17
論文数：	1718

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)

Vol. 1 (1993)

The Difficulties of Learning Logic Programs with Cut

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

Software Agents: Completing Patterns and Constructing User Interfaces

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

An Empirical Analysis of Search in GSAT

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

Applying GSATto Non-Clausal Formulas

GSATを非節式に適用する

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

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

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

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

Dynamic Backtracking

動的バックトラッキング

Substructure Discovery Using Minimum Description Length and Background Knowledge

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

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

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

Bias-Driven Revision of Logical Domain Theories

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

Teleo-Reactive Programs for Agent Control

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

Decidable Reasoning in Terminological Knowledge Representation Systems

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

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

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

Vol. 2 (1994)

Pattern Matching and Discourse Processing in Information Extraction from Japanese Text

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

Provably Bounded-Optimal Agents

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

Pac-learning Recursive Logic Programs: Negative Results

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

Pac-Learning Recursive Logic Programs: Efficient Algorithms

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

Adaptive Load Balancing: A Study in Multi-Agent Learning

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

Using Pivot Consistency to Decompose and Solve Functional CSPs

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

Rerepresenting and Restructuring Domain Theories: A Constructive Induction Approach

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

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

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

On the Informativeness of the DNA Promoter Sequences Domain Theory

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

Random Worlds and Maximum Entropy

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

A Domain-Independent Algorithm for Plan Adaptation

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

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

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

Solving Multiclass Learning Problems via Error-Correcting Output Codes

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

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

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

Operations for Learning with Graphical Models

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

Wrap-Up: a Trainable Discourse Module for Information Extraction

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

On Planning while Learning

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

A System for Induction of Oblique Decision Trees

斜交決定木誘導システム

Vol. 3 (1995)

Building and Refining Abstract Planning Cases by Change of Representation Language

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

Generalization of Clauses under Implication

含意に基づく節の一般化

OPUS: An Efficient Admissible Algorithm for Unordered Search

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

Decision-Theoretic Foundations for Causal Reasoning

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

Rule-based Machine Learning Methods for Functional Prediction

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

Statistical Feature Combination for the Evaluation of Game Positions

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

Translating between Horn Representations and their Characteristic Models

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

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

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

Flexibly Instructable Agents

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

FLECS: Planning with a Flexible Commitment Strategy

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

Diffusion of Context and Credit Information in Markovian Models

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

Improving Connectionist Energy Minimization

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

Learning Membership Functions in a Function-Based Object Recognition System

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

An Integrated Framework for Learning and Reasoning

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

Using Qualitative Hypotheses to Identify Inaccurate Data

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

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

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

Vol. 4 (1996)

Quantum Computing and Phase Transitions in Combinatorial Search

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

Improved Use of Continuous Attributes in C4.5

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

Mean Field Theory for Sigmoid Belief Networks

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

On Partially Controlled Multi-Agent Systems

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

A Formal Framework for Speedup Learning from Problems and Solutions

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

A Principled Approach Towards Symbolic Geometric Constraint Satisfaction

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

Further Experimental Evidence against the Utility of Occam’s Razor

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

Logarithmic-Time Updates and Queries in Probabilistic Networks

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

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

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

Least Generalizations and Greatest Specializations of Sets of Clauses

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

Planning for Contingencies: A Decision-based Approach

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

Reinforcement Learning: A Survey

強化学習：概観

A Divergence Critic for Inductive Proof

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

Well-Founded Semantics for Extended Logic Programs with Dynamic Preferences

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

Practical Methods for Proving Termination of General Logic Programs

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

Iterative Optimization and Simplification of Hierarchical Clusterings

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

Active Learning with Statistical Models

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

The Design and Experimental Analysis of Algorithms for Temporal Reasoning

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

Vol. 5 (1996)

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

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

Cue Phrase Classification Using Machine Learning

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

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

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

Exploiting Causal Independence in Bayesian Network Inference

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

Characterizations of Decomposable Dependency Models

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

A Hierarchy of Tractable Subsets for Computing Stable Models

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

MUSE CSP: An Extension to the Constraint Satisfaction Problem

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

Mechanisms for Automated Negotiation in State Oriented Domains

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

Learning First-Order Definitions of Functions

関数の一次定義の学習

Spatial Aggregation: Theory and Applications

空間集約：理論と応用

Vol. 6 (1997)

A Uniform Framework for Concept Definitions in Description Logics

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

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

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

Flaw Selection Strategies for Partial-Order Planning

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

A Complete Classification of Tractability in RCC-5

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

Connectionist Theory Refinement: Genetically Searching the Space of Network Topologies

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

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

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

Lifeworld Analysis

ライフワールド分析

Improved Heterogeneous Distance Functions

改良された異種距離関数

Vol. 7 (1997)

Towards Flexible Teamwork

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

Identifying Hierarchical Structure in Sequences: A linear-time algorithm

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

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

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

Bidirectional Heuristic Search Reconsidered

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

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

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

When Gravity Fails: Local Search Topology

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

Dynamic Non-Bayesian Decision Making

動的非ベイズ的意思決定

A Model Approximation Scheme for Planning in Partially Observable Stochastic Domains

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

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

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

Analysis of Three-Dimensional Protein Images

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

Defining Relative Likelihood in Partially-Ordered Preferential Structures

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

Vol. 8 (1998)

Synthesizing Customized Planners from Specifications

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

Cached Sufficient Statistics for Efficient Machine Learning with Large Datasets

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

Tractability of Theory Patching

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

Incremental Recompilation of Knowledge

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

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

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

Model-Based Diagnosis using Structured System Descriptions

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

Integrative Windowing

統合ウィンドウ処理

Monotonicity and Persistence in Preferential Logics

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

Vol. 9 (1998)

Computational Aspects of Reordering Plans

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

A Temporal Description Logic for Reasoning about Actions and Plans

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

Complexity of Prioritized Default Logics

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

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

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

The Automatic Inference of State Invariants in TIM

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

AntNet: Distributed Stigmergetic Control for Communications Networks

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

The Ariadne’s Clew Algorithm

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

An Empirical Approach to Temporal Reference Resolution

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

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

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

Probabilistic Inference from Arbitrary Uncertainty using Mixtures of Factorized Generalized Gaussians

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

Adaptive Parallel Iterative Deepening Search

適応型並列反復深化探索

The Computational Complexity of Probabilistic Planning

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

Vol. 10 (1999)

Efficient Implementation of the Plan Graph in STAN

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

A Counter Example to Theorems of Cox and Fine

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

The Good Old Davis-Putnam Procedure Helps Counting Models

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

Variational Cumulant Expansions for Intractable Distributions

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

Extensible Knowledge Representation: the Case of Description Reasoners

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

Solving Highly Constrained Search Problems with Quantum Computers

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

Efficient Heuristic Hypothesis Ranking

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

Squeaky Wheel Optimization

軋む車輪の最適化

Constructing Conditional Plans by a Theorem-Prover

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

Variational Probabilistic Inference and the QMR-DT Network

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

Issues in Stacked Generalization

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

Learning to Order Things

物事の順序付けの学習

Probabilistic Deduction with Conditional Constraints over Basic Events

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

Cooperation between Top-Down and Bottom-Up Theorem Provers

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

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

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

Order of Magnitude Comparisons of Distance

距離の桁違い比較

Vol. 11 (1999)

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

Cox’s Theorem Revisited

Coxの定理の再考

Markov Localization for Mobile Robots in Dynamic Environments

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

The Complexity of Reasoning about Spatial Congruence

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

Committee-Based Sample Selection for Probabilistic Classifiers

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

Decentralized Markets versus Central Control: A Comparative Study

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

Reasoning about Minimal Belief and Negation as Failure

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

Evolutionary Algorithms for Reinforcement Learning

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

Unifying Class-Based Representation Formalisms

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

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

Identifying Mislabeled Training Data

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

Decision-Theoretic Planning: Structural Assumptions and Computational Leverage

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

Vol. 12 (2000)

Exact Phase Transitions in Random Constraint Satisfaction Problems

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

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

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

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

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

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

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

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

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

Axiomatizing Causal Reasoning

因果推論の公理化

On the Compilability and Expressive Power of Propositional Planning Formalisms

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

Backbone Fragility and the Local Search Cost Peak

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

Randomized Algorithms for the Loop Cutset Problem

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

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

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

A Model of Inductive Bias Learning

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

Robust Agent Teams via Socially-Attentive Monitoring

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

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

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

Vol. 13 (2000)

Asimovian Adaptive Agents

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

Value-Function Approximations for Partially Observable Markov Decision Processes

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

Conformant Planning via Symbolic Model Checking

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

Hierarchical Reinforcement Learning with the MAXQ Value Function Decomposition

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

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

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

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

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

Space Efficiency of Propositional Knowledge Representation Formalisms

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

Vol. 14 (2001)

Nonapproximability Results for Partially Observable Markov Decision Processes

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

Conflict-Directed Backjumping Revisited

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

Conditional Plausibility Measures and Bayesian Networks

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

GIB: Imperfect Information in a Computationally Challenging Game

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

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

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

The FF Planning System: Fast Plan Generation Through Heuristic Search

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

Technical Paper Recommendation: A Study in Combining Multiple Information Sources

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

Domain Filtering Consistencies

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

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

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

Reasoning within Fuzzy Description Logics

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

Partial-Order Planning with Concurrent Interacting Actions

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

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

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

Vol. 15 (2001)

Mean Field Methods for a Special Class of Belief Networks

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

Parameter Learning of Logic Programs for Symbolic-Statistical Modeling

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

Finding a Path is Harder than Finding a Tree

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

Experiments with Infinite-Horizon, Policy-Gradient Estimation

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

Infinite-Horizon Policy-Gradient Estimation

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

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

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

Efficient Methods for Qualitative Spatial Reasoning

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

Computational Approach to Anaphora Resolution in Spanish Dialogues

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

Planning by Rewriting

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

ATTac-2000: An Adaptive Autonomous Bidding Agent

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

An Analysis of Reduced Error Pruning

エラー削減枝刈りの分析

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

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

Goal Recognition through Goal Graph Analysis

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

Vol. 16 (2002)

Accelerating Reinforcement Learning by Composing Solutions of Automatically Identified Subtasks

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

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

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

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

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

Collective Intelligence, Data Routing and Braess’ Paradox

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

SMOTE: Synthetic Minority Over-sampling Technique

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

Automatically Training a Problematic Dialogue Predictor for a Spoken Dialogue System

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

Efficient Reinforcement Learning Using Recursive Least-Squares Methods

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

Structured Knowledge Representation for Image Retrieval

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

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

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

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

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

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

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

Fusions of Description Logics and Abstract Description Systems

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

Vol. 17 (2002)

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

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

A Logic for Reasoning about Upper Probabilities

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

Expert-Guided Subgroup Discovery: Methodology and Application

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

Policy Recognition in the Abstract Hidden Markov Model

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

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

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

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

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

Inferring Strategies for Sentence Ordering in Multidocument News Summarization

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

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

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

An Analysis of Phase Transition in NK Landscapes

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

A Unified Model of Structural Organization in Language and Music

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

When do Numbers Really Matter?

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

A Knowledge Compilation Map

知識蓄積マップ

Towards Adjustable Autonomy for the Real World

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

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

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

A Critical Assessment of Benchmark Comparison in Planning

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

Vol. 18 (2003)

Learning to Order BDD Variables in Verification

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

Acquiring Correct Knowledge for Natural Language Generation

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

Monte Carlo Methods for Tempo Tracking and Rhythm Quantization

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

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

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

Propositional Independence – Formula-Variable Independence andForgetting

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

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

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

Structure and Complexity in Planning with Unary Operators

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

Exploiting Contextual Independence In Probabilistic Inference

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

Interactive Execution Monitoring of Agent Teams

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

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

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

Wrapper Maintenance: A Machine Learning Approach

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

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

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

Acquiring Word-Meaning Mappings for Natural Language Interfaces

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

Vol. 19 (2003)

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

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

AltAltp: Online Parallelization of Plans with Heuristic State Search

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

Accelerating Reinforcement Learning through Implicit Imitation

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

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

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

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

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

Efficient Solution Algorithms for Factored MDPs

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

An Architectural Approach to Ensuring Consistency in Hierarchical Execution

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

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

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

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

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

Answer Set Planning Under Action Costs

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

Updating Probabilities

確率の更新

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

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

Potential-Based Shaping and Q-Value Initialization are Equivalent

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

Representing and Aggregating Conflicting Beliefs

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

Bound Propagation

境界伝播法

Learning to Coordinate Efficiently: A Model-based Approach

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

New Polynomial Classes for Logic-Based Abduction

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

Vol. 20 (2003)

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

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

VHPOP: Versatile Heuristic Partial Order Planner

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

SHOP2: An HTN Planning System

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

TALplanner in IPC-2002: Extensions and Control Rules

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

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

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

Planning Through Stochastic Local Search and Temporal Action Graphs in LPG

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

Taming Numbers and Durations in the Model Checking Integrated Planning System

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

SAPA: A Multi-objective Metric Temporal Planner

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

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

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

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

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

PDDL 2.1: Representation vs. Computation

PDDL 2.1：表現 vs. 計算

Imperfect Match: PDDL 2.1 and Real Applications

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

The Power of Modeling—a Response to PDDL2.1

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

The 3rd International Planning Competition: Results and Analysis

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

Vol. 21 (2004)

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

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

Competitive Coevolution through Evolutionary Complexification

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

Concurrent Auctions Across The Supply Chain

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

Can We Learn to Beat the Best Stock

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

On Polynomial Sized MDP Succinct Policies

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

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

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

Phase Transitions and Backbones of the Asymmetric Traveling Salesman Problem

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

Grounded Semantic Composition for Visual Scenes

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

A Personalized System for Conversational Recommendations

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

K-Implementation

K実装

Dual Modelling of Permutation and Injection Problems

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

Representation Dependence in Probabilistic Inference

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

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

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

Coherent Integration of Databases by Abductive Logic Programming

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

Generalizing Boolean Satisfiability I: Background and Survey of Existing Work

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

Price Prediction in a Trading Agent Competition

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

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

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

Complexity Results and Approximation Strategies for MAP Explanations

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

Effective Dimensions of Hierarchical Latent Class Models

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

Vol. 22 (2004)

Responsibility and Blame: A Structural-Model Approach

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

A Comprehensive Trainable Error Model for Sung Music Queries

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

Generalizing Boolean Satisfiability II: Theory

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

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

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

Solving Transition Independent Decentralized Markov Decision Processes

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

On Prediction Using Variable Order Markov Models

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

Existence of Multiagent Equilibria with Limited Agents

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

Towards Understanding and Harnessing the Potential of Clause Learning

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

Additive Pattern Database Heuristics

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

Ordinal and Probabilistic Representations of Acceptance

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

Ordered Landmarks in Planning

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

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

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

Decentralized Control of Cooperative Systems: Categorization and Complexity Analysis

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

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

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

A Maximal Tractable Class of Soft Constraints

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

Vol. 23 (2005)

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

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

Keys, Nominals, and Concrete Domains

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

An Expressive Language and Efficient Execution System for Software Agents

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

An Improved Search Algorithm for Optimal Multiple-Sequence Alignment

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

Using Memory to Transform Search on the Planning Graph

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

Generalizing Boolean Satisfiability III: Implementation

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

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

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

Extremal Behaviour in Multiagent Contract Negotiation

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

Hybrid BDI-POMDP Framework for Multiagent Teaming

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

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

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

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

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

Graduality in Argumentation

議論における段階性

Combining Spatial and Temporal Logics: Expressiveness vs. Complexity

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

Restricted Value Iteration: Theory and Algorithms

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

Finding Approximate POMDP solutions Through Belief Compression

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

Vol. 24 (2005)

mGPT: A Probabilistic Planner Based on Heuristic Search

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

Optiplan: Unifying IP-based and Graph-based Planning

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

Ignorability in Statistical and Probabilistic Inference

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

The First Probabilistic Track of the International Planning Competition

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

Risk-Sensitive Reinforcement Learning Applied to Control under Constraints

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

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

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

Relational Dynamic Bayesian Networks

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

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

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

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

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

Hiding Satisfying Assignments: Two are Better than One

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

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

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

The Deterministic Part of IPC-4: An Overview

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

A Framework for Sequential Planning in Multi-Agent Settings

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

Reasoning about Action: An Argumentation – Theoretic Approach

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

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

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

Pure Nash Equilibria: Hard and Easy Games

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

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

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

Learning Concept Hierarchies from Text Corpora using Formal Concept Analysis

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

Integrating Learning from Examples into the Search for Diagnostic Policies

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

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

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

Perseus: Randomized Point-based Value Iteration for POMDPs

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

Learning Content Selection Rules for Generating Object Descriptions in Dialogue

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

Solving Set Constraint Satisfaction Problems using ROBDDs

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

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

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

Vol. 25 (2006)

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

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

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

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

Fault Tolerant Boolean Satisfiability

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

A Continuation Method for Nash Equilibria in Structured Games

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

Logical Hidden Markov Models

論理隠れマルコフモデル

On Graphical Modeling of Preference and Importance

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

Representing Conversations for Scalable Overhearing

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

Negotiating Socially Optimal Allocations of Resources

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

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

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

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

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

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

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

Decision-Theoretic Planning with non-Markovian Rewards

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

Dynamic Local Search for the Maximum Clique Problem

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

Learning in Real-Time Search: A Unifying Framework

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

Engineering a Conformant Probabilistic Planner

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

Vol. 26 (2006)

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

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

Multiple-Goal Heuristic Search

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

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

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

Planning Graph Heuristics for Belief Space Search

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

Temporal Planning using Subgoal Partitioning and Resolution in SGPlan

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

Breaking Instance-Independent Symmetries In Exact Graph Coloring

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

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

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

The Fast Downward Planning System

高速下方計画システム

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

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

Admissible and Restrained Revision

許容修正と制約修正

Domain Adaptation for Statistical Classifiers

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

A Logic for Reasoning about Evidence

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

Vol. 27 (2006)

Learning Sentence-internal Temporal Relations

文内時間関係の学習

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

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

Understanding Algorithm Performance on an Oversubscribed Scheduling Application

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

Causes of Ineradicable Spurious Predictions in Qualitative Simulation

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

Cognitive Principles in Robust Multimodal Interpretation

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

Resource Allocation Among Agents with MDP-Induced Preferences

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

Preference-based Search using Example-Critiquing with Suggestions

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

Set Intersection and Consistency in Constraint Networks

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

FluCaP: A Heuristic Search Planner for First-Order MDPs

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

Multi-Issue Negotiation with Deadlines

期限付き複数課題交渉

Anytime Point-Based Approximations for Large POMDPs

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

Properties and Applications of Programs with Monotone and Convex Constraints

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

Generative Prior Knowledge for Discriminative Classification

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

Modelling Mixed Discrete-Continuous Domains for Planning

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

Active Learning with Multiple Views

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

Solving Factored MDPs with Hybrid State and Action Variables

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

A Comparison of Different Machine Transliteration Models

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

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

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

Vol. 28 (2007)

Consistency and Random Constraint Satisfaction Models

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

The Strategy-Proofness Landscape of Merging

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

Abstract Reasoning for Planning and Coordination

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

Discovering Classes of Strongly Equivalent Logic Programs

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

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

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

Closed-Loop Learning of Visual Control Policies

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

Supporting Temporal Reasoning by Mapping Calendar Expressions to Minimal Periodic Sets

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

Anytime Heuristic Search

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

Auctions with Severely Bounded Communication

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

Proactive Algorithms for Job Shop Scheduling with Probabilistic Durations

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

Junta Distributions and the Average-Case Complexity of Manipulating Elections

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

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

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

Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively

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

Cutset Sampling for Bayesian Networks

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

Vol. 29 (2007)

NP Animacy Identification for Anaphora Resolution

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

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

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

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

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

Obtaining Reliable Feedback for Sanctioning Reputation Mechanisms

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

Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms

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

Learning Symbolic Models of Stochastic Domains

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

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

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

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

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

The Language of Search

探索言語

Computationally Feasible VCG Mechanisms

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

The Generalized A* Architecture

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

Combination Strategies for Semantic Role Labeling

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

Phase Transition for Random Quantified XOR-Formulas

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

Vol. 30 (2007)

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

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

Query-time Entity Resolution

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

Probabilistic Planning via Heuristic Forward Search and Weighted Model Counting

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

A Framework for Kernel-Based Multi-Category Classification

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

Graph Abstraction in Real-time Heuristic Search

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

On the Semantics of Logic Programs with Preferences

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

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

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

Individual and Domain Adaptation in Sentence Planning for Dialogue

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

Natural Events

自然事象

New Inference Rules for Max-SAT

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

Reasoning with Very Expressive Fuzzy Description Logics

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

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

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

Compressed Pattern Databases

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

Knowledge Derived From Wikipedia For Computing Semantic Relatedness

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

Chain: A Dynamic Double Auction Framework for Matching Patient Agents

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

The Planning Spectrum – One, Two, Three, Infinity

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

Learning Semantic Definitions of Online Information Sources

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

Vol. 31 (2008)

CUI Networks: A Graphical Representation for Conditional Utility Independence

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

A Multiagent Approach to Autonomous Intersection Management

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

Creating Relational Data from Unstructured and Ungrammatical Data Sources

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

Exploiting Subgraph Structure in Multi-Robot Path Planning

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

Axiomatic Foundations for Ranking Systems

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

Global Inference for Sentence Compression: An Integer Linear Programming Approach

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

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

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

Planning with Durative Actions in Stochastic Domains

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

The Complexity of Planning Problems With Simple Causal Graphs

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

Modular Reuse of Ontologies: Theory and Practice

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

On the Expressiveness of Levesque’s Normal Form

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

Loosely Coupled Formulations for Automated Planning: An Integer Programming Perspective

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

Sound and Complete Inference Rules for SE-Consequence

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

Conjunctive Query Answering for the Description Logic SHIQ

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

CTL Model Update for System Modifications

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

MiniMaxSAT: An Efficient Weighted Max-SAT solver

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

Vol. 32 (2008)

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

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

Optimal Strategies for Simultaneous Vickrey Auctions with Perfect Substitutes

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

The Ultrametric Constraint and its Application to Phylogenetics

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

Latent Tree Models and Approximate Inference in Bayesian Networks

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

Qualitative System Identification from Imperfect Data

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

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

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

Compositional Belief Update

構成的信念更新

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

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

Online Planning Algorithms for POMDPs

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

A General Theory of Additive State Space Abstractions

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

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

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

SATzilla: Portfolio-based Algorithm Selection for SAT

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

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

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

Refining the Execution of Abstract Actions with Learned Action Models

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

Adaptive Stochastic Resource Control: A Machine Learning Approach

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

Dynamic Control in Real-Time Heuristic Search

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

On the Qualitative Comparison of Decisions Having Positive and Negative Features

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

Extended RDF as a Semantic Foundation of Rule Markup Languages

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

Spectrum of Variable-Random Trees

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

Optimal and Approximate Q-value Functions for Decentralized POMDPs

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

New Islands of Tractability of Cost-Optimal Planning

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

Communication-Based Decomposition Mechanisms for Decentralized MDPs

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

A Constraint Programming Approach for Solving a Queueing Control Problem

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

Cooperative Search with Concurrent Interactions

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

Vol. 33 (2008)

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

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

The Latent Relation Mapping Engine: Algorithm and Experiments

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

On the Value of Correlation

相関の価値について

Learning to Reach Agreement in a Continuous Ultimatum Game

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

A Multiagent Reinforcement Learning Algorithm with Non-linear Dynamics

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

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

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

An Ordinal Bargaining Solution with Fixed-Point Property

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

The Computational Complexity of Dominance and Consistency in CP-Nets

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

Learning Partially Observable Deterministic Action Models

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

ICE: An Expressive Iterative Combinatorial Exchange

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

Computational Logic Foundations of KGP Agents

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

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

Completeness and Performance Of The APO Algorithm

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

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

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

Complexity of Strategic Behavior in Multi-Winner Elections

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

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

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

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

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

Vol. 34 (2009)

Policy Iteration for Decentralized Control of Markov Decision Processes

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

Conservative Inference Rule for Uncertain Reasoning under Incompleteness

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

Efficient Informative Sensing using Multiple Robots

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

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

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

Sentence Compression as Tree Transduction

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

Asynchronous Forward Bounding for Distributed COPs

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

Inferring Shallow-Transfer Machine Translation Rules from Small Parallel Corpora

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

Learning Document-Level Semantic Properties from Free-Text Annotations

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

An Anytime Algorithm for Optimal Coalition Structure Generation

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

Exploiting Single-Cycle Symmetries in Continuous Constraint Problems

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

Wikipedia-based Semantic Interpretation for Natural Language Processing

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

Solving #SAT and Bayesian Inference with Backtracking Search

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

Identification of Pleonastic It Using the Web

Webを用いた冗長ITの識別

Monte Carlo Sampling Methods for Approximating Interactive POMDPs

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

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

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

Unsupervised Methods for Determining Object and Relation Synonyms on the Web

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

Mechanisms for Making Crowds Truthful

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

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

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

Generic Preferences over Subsets of Structured Objects

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

Interactive Policy Learning through Confidence-Based Autonomy

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

Vol. 35 (2009)

Modularity Aspects of Disjunctive Stable Models

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

Enhancing QA Systems with Complex Temporal Question Processing Capabilities

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

The Complexity of Circumscription in DLs

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

Variable Forgetting in Reasoning about Knowledge

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

Compiling Uncertainty Away in Conformant Planning Problems with Bounded Width

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

Bounds Arc Consistency for Weighted CSPs

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

Optimal Value of Information in Graphical Models

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

Solving Weighted Constraint Satisfaction Problems with Memetic/Exact Hybrid Algorithms

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

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

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

How Hard Is Bribery in Elections?

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

Efficient Markov Network Structure Discovery Using Independence Tests

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

Learning Bayesian Network Equivalence Classes with Ant Colony Optimization

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

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

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

Llull and Copeland Voting Computationally Resist Bribery and Constructive Control

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

A Bilinear Programming Approach for Multiagent Planning

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

Transductive Rademacher Complexity and its Applications

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

Eliciting Single-Peaked Preferences Using Comparison Queries

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

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

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

Complex Question Answering: Unsupervised Learning Approaches and Experiments

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

Vol. 36 (2009)

Prime Implicates and Prime Implicants: From Propositional to Modal Logic

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

Soft Goals Can Be Compiled Away

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

RoxyBot-06: Stochastic Prediction and Optimization in TAC Travel

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

The Role of Macros in Tractable Planning

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

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

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

Approximate Strong Equilibrium in Job Scheduling Games

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

Multilingual Part-of-Speech Tagging: Two Unsupervised Approaches

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

Cross-lingual Annotation Projection for Semantic Roles

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

ParamILS: An Automatic Algorithm Configuration Framework

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

Relaxed Survey Propagation for The Weighted Maximum Satisfiability Problem

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

Hypertableau Reasoning for Description Logics

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

Content Modeling Using Latent Permutations

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

The DL-Lite Family and Relations

DL-Liteファミリーと関係

Vol. 37 (2010)

Interactive Cost Configuration Over Decision Diagrams

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

Mechanisms for Multi-Unit Auctions

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

Multiattribute Auctions Based on Generalized Additive Independence

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

Reasoning About the Transfer of Control

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

Predicting the Performance of IDA* using Conditional Distributions

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

Training a Multilingual Sportscaster: Using Perceptual Context to Learn Language

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

An Investigation into Mathematical Programming for Finite Horizon Decentralized POMDPs

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

Join-Graph Propagation Algorithms

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

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

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

On Action Theory Change

行為理論の変化について

From Frequency to Meaning: Vector Space Models of Semantics

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

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

Vol. 38 (2010)

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

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

Automatic Induction of Bellman-Error Features for Probabilistic Planning

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

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

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

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

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

Logical Foundations of RDF(S) with Datatypes

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

Algorithms for Closed Under Rational Behavior (CURB) Sets

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

Change in Abstract Argumentation Frameworks: Adding an Argument

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

A Minimum Relative Entropy Principle for Learning and Acting

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

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

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

Approximate Model-Based Diagnosis Using Greedy Stochastic Search

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

Mixed Strategies in Combinatorial Agency

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

Fast Set Bounds Propagation Using a BDD-SAT Hybrid

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

Developing Approaches for Solving a Telecommunications Feature Subscription Problem

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

Grounding FO and FO(ID) with Bounds

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

Constructing Reference Sets from Unstructured, Ungrammatical Text

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

A Survey of Paraphrasing and Textual Entailment Methods

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

Using Local Alignments for Relation Recognition

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

Vol. 39 (2010)

Intrusion Detection using Continuous Time Bayesian Networks

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

Best-First Heuristic Search for Multicore Machines

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

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

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

A Utility-Theoretic Approach to Privacy in Online Services

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

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

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

Theta*: Any-Angle Path Planning on Grids

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

Implicit Abstraction Heuristics

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

Kalman Temporal Differences

カルマン時間差分

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

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

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

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

Active Tuples-based Scheme for Bounding Posterior Beliefs

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

A Model-Based Active Testing Approach to Sequential Diagnosis

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

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

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

Narrative Planning: Balancing Plot and Character

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

Cooperative Games with Overlapping Coalitions

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

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

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

Planning with Noisy Probabilistic Relational Rules

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

Vol. 40 (2011)

A Monte-Carlo AIXI Approximation

モンテカルロAIXI近似

Regression Conformal Prediction with Nearest Neighbours

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

Scaling up Heuristic Planning with Relational Decision Trees

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

Exploiting Structure in Weighted Model Counting Approaches to Probabilistic Inference

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

Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories

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

Identifying Aspects for Web-Search Queries

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

The Complexity of Integer Bound Propagation

整数境界伝播の計算量

Decidability and Undecidability Results for Propositional Schemata

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

Multiagent Learning in Large Anonymous Games

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

False-Name Manipulations in Weighted Voting Games

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

Efficient Planning under Uncertainty with Macro-actions

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

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

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

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

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

Evaluating Temporal Graphs Built from Texts via Transitive Reduction

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

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

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

Multimode Control Attacks on Elections

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

Iterated Belief Change Due to Actions and Observations

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

A Logical Study of Partial Entailment

部分含意の論理的研究

A Probabilistic Approach for Maintaining Trust Based on Evidence

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

Second-Order Consistencies

二次整合性

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

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

Non-Deterministic Policies in Markovian Decision Processes

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

Vol. 41 (2011)

Soft Constraints of Difference and Equality

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

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

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

Controlling Complexity in Part-of-Speech Induction

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

A Probabilistic Framework for Learning Kinematic Models of Articulated Objects

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

On the Intertranslatability of Argumentation Semantics

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

Efficient Multi-Start Strategies for Local Search Algorithms

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

Policy Invariance under Reward Transformations for General-Sum Stochastic Games

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

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

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

Sequential Diagnosis by Abstraction

抽象化による逐次診断

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

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

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

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

Determining Possible and Necessary Winners Given Partial Orders

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

Probabilistic Relational Planning with First Order Decision Diagrams

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

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

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

Redistribution Mechanisms for Assignment of Heterogeneous Objects

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

Properties of Bethe Free Energies and Message Passing in Gaussian Models

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

Vol. 42 (2011)

Interpolable Formulas in Equilibrium Logic and Answer Set Programming

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

Scheduling Bipartite Tournaments to Minimize Total Travel Distance

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

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

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

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

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

Stochastic Enforced Hill-Climbing

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

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

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

Defeasible Inclusions in Low-Complexity DLs

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

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

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

Finding Consensus Bayesian Network Structures

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

Drake: An Efficient Executive for Temporal Plans with Choice

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

Computing Approximate Nash Equilibria and Robust Best-Responses Using Sampling

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

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

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

Cloning in Elections: Finding the Possible Winners

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

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

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

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

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

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

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

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

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

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

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

Most Relevant Explanation in Bayesian Networks

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

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

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

Representing and Reasoning with Qualitative Preferences for Compositional Systems

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

Topological Value Iteration Algorithms

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

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

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

Where Are the Hard Manipulation Problems?

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

Vol. 43 (2012)

Location-Based Reasoning about Complex Multi-Agent Behavior

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

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

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

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

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

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

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

Avoiding and Escaping Depressions in Real-Time Heuristic Search

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

Proximity-Based Non-uniform Abstractions for Approximate Planning

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

Robust Local Search for Solving RCPSP/max with Durational Uncertainty

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

Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice

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

Generalized Biwords for Bitext Compression and Translation Spotting

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

Computing All-Pairs Shortest Paths by Leveraging Low Treewidth

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

Local Consistency and SAT-Solvers

局所一貫性とSATソルバー

SAS+ Planning as Satisfiability

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

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

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

Exploiting Model Equivalences for Solving Interactive Dynamic Influence Diagrams

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

Counting-Based Search: Branching Heuristics for Constraint Satisfaction Problems

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

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

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

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

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

Vol. 44 (2012)

Solving Limited Memory Influence Diagrams

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

Online Speedup Learning for Optimal Planning

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

The Logical Difference for the Lightweight Description Logic EL

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

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

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

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

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

Riffled Independence for Efficient Inference with Partial Rankings

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

Tractable Triangles and Cross-Free Convexity in Discrete Optimisation

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

Modelling Observation Correlations for Active Exploration and Robust Object Detection

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

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

Narrative Planning: Compilations to Classical Planning

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

Plan-based Policies for Efficient Multiple Battery Load Management

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

Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures

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

Modeling Social Causality and Responsibility Judgment in Multi-Agent Interactions

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

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

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

Algorithms and Limits for Compact Plan Representations

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

COLIN: Planning with Continuous Linear Numeric Change

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

Vol. 45 (2012)

An approximative inference method for solving ∃∀SO satisfiability problems

∃∀SO充足可能性問題を解くための近似推論法

Evaluating Indirect Strategies for Chinese-Spanish Statistical Machine Translation

中国語-スペイン語統計機械翻訳における間接戦略の評価

Tractable Set Constraints

扱いやすい集合制約

The Time Complexity of A* with Approximate Heuristics on Multiple-Solution Search Spaces

複数解探索空間における近似ヒューリスティックを用いたA*の時間計算量

Learning to Predict from Textual Data

テキストデータからの予測学習

Irrelevant and independent natural extension for sets of desirable gambles

望ましいギャンブル集合の無関係かつ独立した自然拡張

Replanning in Domains with Partial Information and Sensing Actions

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

Safe Exploration of State and Action Spaces in Reinforcement Learning

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

Complexity of Judgment Aggregation

判断集約の計算量

The Tractability of CSP Classes Defined by Forbidden Patterns

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

A New Look at BDDs for Pseudo-Boolean Constraints

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

Transforming Graph Data for Statistical Relational Learning

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

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

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

Removing Redundant Messages in N-ary BnB-ADOPT

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

Generating Approximate Solutions to the TTP using a Linear Distance Relaxation

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

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

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

Coalition Structure Generation over Graphs

グラフ上の連携構造生成

Towards Unsupervised Learning of Temporal Relations between Events

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

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

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

Vol. 46 (2013)

Automatic Aggregation by Joint Modeling of Aspects and Values

アスペクトと値の結合モデリングによる自動集約

NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover

NuMVC：最小頂点被覆のための効率的な局所探索アルゴリズム

Description Logic Knowledge and Action Bases

記述論理知識ベースとアクションベース

Efficient Computation of the Shapley Value for Game-Theoretic Network Centrality

ゲーム理論的ネットワーク中心性のためのシャプレー値の効率的な計算

Predicting Behavior in Unstructured Bargaining with a Probability Distribution

確率分布を用いた非構造化交渉における行動予測

Probabilistic Planning for Continuous Dynamic Systems under Bounded Risk

制限リスク下における連続動的システムの確率的計画

Optimal Rectangle Packing: An Absolute Placement Approach

最適矩形パッキング：絶対配置アプローチ

Incremental Clustering and Expansion for Faster Optimal Planning in Dec-POMDPs

Dec-POMDPにおける高速最適計画のための増分クラスタリングと拡張

Qualitative Order of Magnitude Energy-Flow-Based Failure Modes and Effects Analysis

エネルギーフローに基づく定性的規模オーダーの故障モード影響分析

A Hybrid LP-RPG Heuristic for Modelling Numeric Resource Flows in Planning

計画における数値資源フローのモデリングのためのハイブリッドLP-RPGヒューリスティック

Boolean Equi-propagation for Concise and Efficient SAT Encodings of Combinatorial Problems

組み合わせ問題の簡潔かつ効率的なSATエンコーディングのためのブール等伝播法

Parameterized Complexity Results for Exact Bayesian Network Structure Learning

正確なベイジアンネットワーク構造学習のためのパラメータ化された複雑性の結果

Toward Supervised Anomaly Detection

教師あり異常検出に向けて

Integrative Semantic Dependency Parsing via Efficient Large-scale Feature Selection

統合的な意味的依存関係解析効率的な大規模特徴選択

Generating Extractive Summaries of Scientific Paradigms

科学的パラダイムの抽出要約の生成

Undominated Groves Mechanisms

非劣グローブ機構

Short and Long Supports for Constraint Propagation

制約伝播のための短サポートと長サポート

Vol. 47 (2013)

Distributed Reasoning for Multiagent Simple Temporal Problems

マルチエージェントの単純な時間的問題に対する分散推論

Framing Image Description as a Ranking Task: Data, Models and Evaluation Metrics

画像記述をランキングタスクとしてフレーミングする：データ、モデル、評価指標

A Decidable Extension of SROIQ with Complex Role Chains and Unions

複雑な役割連鎖と結合を用いたSROIQの決定可能な拡張

Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies

存在規則の非巡回性概念とオントロジーにおけるクエリ応答への応用

Identifying the Class of Maxi-Consistent Operators in Argumentation

議論における最大一貫性演算子のクラスの特定

Heuristic Search When Time Matters

時間的制約を考慮したヒューリスティック探索

Protecting Privacy through Distributed Computation in Multi-agent Decision Making

マルチエージェント意思決定における分散計算によるプライバシー保護

Asymmetric Distributed Constraint Optimization Problems

非対称分散制約最適化問題

A Refined View of Causal Graphs and Component Sizes: SP-Closed Graph Classes and Beyond

因果グラフとコンポーネントサイズの洗練された視点：SP閉グラフクラスとその先へ

Topic Segmentation and Labeling in Asynchronous Conversations

非同期会話におけるトピックのセグメンテーションとラベリング

On the Computation of Fully Proportional Representation

完全比例代表の計算について

Decentralized Anti-coordination Through Multi-agent Learning

マルチエージェント学習による分散型反協調

Lifted Variable Elimination: Decoupling the Operators from the Constraint Language

持ち上げられた変数の除去：演算子と制約言語の分離

Strong Equivalence of Qualitative Optimization Problems

定性最適化問題の強同値性

Scheduling a Dynamic Aircraft Repair Shop with Limited Repair Resources

限られた修理リソースによる動的航空機修理工場のスケジューリング

Learning by Observation of Agent Software Images

エージェントソフトウェア画像の観察による学習

Sharing Rewards in Cooperative Connectivity Games

協力的接続ゲームにおける報酬の共有

The Arcade Learning Environment: An Evaluation Platform for General Agents

アーケード学習環境：汎用エージェントの評価プラットフォーム

Analysis of Watson’s Strategies for Playing Jeopardy!

Jeopardy!におけるWatsonの戦略分析

A Survey on Latent Tree Models and Applications

潜在木モデルとその応用に関するサーベイ

A Feature Subset Selection Algorithm Automatic Recommendation Method

特徴サブセット選択アルゴリズムによる自動推奨法

Vol. 48 (2013)

A Constraint Solver for Flexible Protein Model

柔軟なタンパク質モデルのための制約ソルバー

A Smooth Transition from Powerlessness to Absolute Power

無力から絶対的な力へのスムーズな移行

Exact Query Reformulation over Databases with First-order and Description Logics Ontologies

一階述語論理オントロジーと記述論理オントロジーを持つデータベースにおける正確なクエリ再定式化

Scalable and Efficient Bayes-Adaptive Reinforcement Learning Based on Monte-Carlo Tree Search

モンテカルロ木探索に基づくスケーラブルで効率的なベイズ適応型強化学習

Single Network Relational Transductive Learning

単一ネットワーク関係トランスダクティブ学習

The Complexity of Optimal Monotonic Planning: The Bad, The Good, and The Causal Graph

最適単調計画の複雑性：悪いもの、良いもの、そして因果グラフ

Unsupervised Sub-tree Alignment for Tree-to-Tree Translation

木から木への翻訳のための教師なしサブツリーアライメント

A Case of Pathology in Multiobjective Heuristic Search

多目的ヒューリスティック探索における病理の事例

Generating Natural Language Descriptions from OWL Ontologies: the NaturalOWL System

OWLオントロジーからの自然言語記述の生成：NaturalOWLシステム

A Survey of Multi-Objective Sequential Decision-Making

多目的逐次意思決定の概観

Reasoning about Explanations for Negative Query Answers in DL-Lite

DL-Liteにおける否定的なクエリ回答の説明に関する推論

Protecting Moving Targets with Multiple Mobile Resources

複数のモバイルリソースによる移動ターゲットの保護

AI Methods in Algorithmic Composition: A Comprehensive Survey

アルゴリズム合成におけるAI手法：包括的なサーベイ

Horn Clause Contraction Functions

ホーン節縮約関数

Defeasible Inheritance-Based Description Logics

破棄可能な継承に基づく記述論理

Beth Definability in Expressive Description Logics

表現的記述論理におけるベス定義可能性

A Global Model for Concept-to-Text Generation

概念からテキストへの生成のためのグローバルモデル

Optimizing SPARQL Query Answering over OWL Ontologies

OWLオントロジーに基づくSPARQLクエリ応答の最適化

Optimal Implementation of Watched Literals and More General Techniques

監視対象リテラルの最適実装とより一般的な手法

Learning Optimal Bayesian Networks: A Shortest Path Perspective

最適学習ベイジアンネットワーク：最短経路の観点

An Online Mechanism for Multi-Unit Demand and its Application to Plug-in Hybrid Electric Vehicle Charging

複数ユニット需要のためのオンラインメカニズムとプラグインハイブリッド電気自動車の充電への応用

Taming the Infinite Chase: Query Answering under Expressive Relational Constraints

無限の追跡を制する：表現力豊かな関係制約下でのクエリ応答

Natural Language Inference for Arabic Using Extended Tree Edit Distance with Subtrees

部分木を用いた拡張木編集距離を用いたアラビア語の自然言語推論

Vol. 49 (2014)

Closure and Consistency In Logic-Associated Argumentation

Wikipediaへのリンクシステムにおける候補ランキングのためのリンクベースアプローチの比較評価

Convergence of a Q-learning Variant for Continuous States and Actions

連続状態とアクションのためのQ学習バリアントの収束

Improved Separations of Regular Resolution from Clause Learning Proof Systems

正規導出と節学習証明システムの改良された分離

Algorithms for Argumentation Semantics: Labeling Attacks as a Generalization of Labeling Arguments

議論意味論のためのアルゴリズム：ラベリング議論の一般化としてのラベリング攻撃

Algorithms and Applications for the Same-Decision Probability

同一決定確率のアルゴリズムと応用

Inapproximability of Treewidth and Related Problems

ミニマックス探索を用いた評価関数の大規模最適化

Information-Theoretic Multi-view Domain Adaptation: A Theoretical and Empirical Study

情報理論的マルチビュー領域適応：理論的および実証的研究

Robustness and Stability in Constraint Programming under Dynamism and Uncertainty

ダイナミズムと不確実性下における制約計画法の堅牢性と安定性

Text-Based Twitter User Geolocation Prediction

テキストベースのTwitterユーザーの位置情報予測

Mechanisms for Fair Allocation Problems: No-Punishment Payment Rules in Verifiable Settings

公平な割り当て問題のためのメカニズム：検証可能な設定における罰なし支払いルール

Multiagent Only Knowing in Dynamic Systems

動的システムにおけるマルチエージェントのOnly Knowing（唯一知識）

Symmetric Subgame-Perfect Equilibria in Resource Allocation

資源配分における対称的部分ゲーム完全均衡

Efficient HEX-Program Evaluation Based on Unfounded Sets

未根拠集合に基づく効率的なHEXプログラム評価

An Empirical Evaluation of Ranking Measures With Respect to Robustness to Noise

ノイズに対する頑健性に関するランキング尺度の実証的評価

Selfishness Level of Strategic Games

戦略ゲームの利己的レベル

Representing and Reasoning About the Rules of General Games With Imperfect Information

不完全情報を伴う一般ゲームのルールの表現と推論

A Procedural Characterization of Solution Concepts in Games

手続き型特性評価ゲームにおける解概念の理解

Towards Minimizing Disappointment in Repeated Games

繰り返しゲームにおける失望の最小化に向けて

Multimodal Distributional Semantics

マルチモーダル分布意味論

Vol. 50 (2014)

Belief Tracking for Planning with Sensing: Width, Complexity and Approximations

センシングを用いた計画立案のためのビリーフトラッキング：幅、複雑性、近似値

Demand Side Energy Management via Multiagent Coordination in Consumer Cooperatives

消費者協同組合におけるマルチエージェント協調による需要側エネルギー管理

Arbitration and Stability in Cooperative Games with Overlapping Coalitions

重複連合を持つ協力ゲームにおける調停と安定性

Speeding Up Iterative Ontology Alignment using Block-Coordinate Descent

高速化ブロック座標降下法を用いた反復的オントロジーアラインメント

Policy Iteration Based on Stochastic Factorization

確率的因子分解に基づく政策反復

Sentiment Analysis of Short Informal Texts

短いインフォーマルテキストの感情分析

A Decision-Theoretic Model of Assistance

支援の決定理論的モデル

MDD Propagation for Sequence Constraints

シーケンス制約のためのMDD伝播

Planning through Automatic Portfolio Configuration: The PbP Approach

自動ポートフォリオ構成による計画：PbPアプローチ

Probabilistic Inference in Credal Networks: New Complexity Results

信条ネットワークにおける確率推論：新たな複雑性の結果

False-Name Manipulation in Weighted Voting Games is Hard for Probabilistic Polynomial Time

重み付き投票ゲームにおける偽名操作は確率多項式時間では困難

Integrating Queueing Theory and Scheduling for Dynamic Scheduling Problems

動的スケジューリング問題における待ち行列理論とスケジューリングの統合

Improving Delete Relaxation Heuristics Through Explicitly Represented Conjunctions

明示的に表現された接続詞による削除緩和ヒューリスティックの改善

Monotone Temporal Planning: Tractability, Extensions and Applications

単調な時間計画：扱いやすさ、拡張、および応用

A Multivariate Complexity Analysis of Lobbying in Multiple Referenda

複数の住民投票におけるロビー活動の多変量複雑性分析

HC-Search: A Learning Framework for Search-based Structured Prediction

HC-Search：探索に基づく構造化予測のための学習フレームワーク

Game-Theoretic Patrolling with Dynamic Execution Uncertainty and a Case Study on a Real Transit System

動的実行の不確実性を考慮したゲーム理論的パトロールと実際の交通システムにおけるケーススタディ

Knowledge Forgetting in Answer Set Programming

回答セットプログラミングにおける知識忘却

Property Directed Reachability for Automated Planning

自動プランニングのためのプロパティ指向到達可能性

Reconnection with the Ideal Tree: A New Approach to Real-Time Search

理想木との再接続：リアルタイム探索への新しいアプローチ

An Efficient Algorithm for Estimating State Sequences in Imprecise Hidden Markov Models

不正確な隠れマルコフモデルにおける状態系列推定のための効率的なアルゴリズム

Enhanced Partial Expansion A*

拡張部分展開A*

Finding Optimal Solutions for Voting Game Design Problems

投票ゲーム設計問題における最適解の探索

Topic-Based Dissimilarity and Sensitivity Models for Translation Rule Selection

トピックベースの相違度および感度モデルを用いた翻訳規則選択

Vol. 51 (2014)

An Exact Double-Oracle Algorithm for Zero-Sum Extensive-Form Games with Imperfect Information

不完全情報を伴うゼロ和拡張形式ゲームのための正確なダブルオラクルアルゴリズム

A Hidden Markov Model-Based Acoustic Cicada Detector for Crowdsourced Smartphone Biodiversity Monitoring

クラウドソーシングによるスマートフォン生物多様性モニタリングのための隠れマルコフモデルに基づく音響セミ検出器

BDD Ordering Heuristics for Classical Planning

古典的計画のためのBDD順序付けヒューリスティック

Tutorial on Structured Continuous-Time Markov Processes

構造化連続時間マルコフ過程のチュートリアル

On the Testability of BDI Agent Systems

BDIエージェントシステムのテスト可能性について

On Minimum Representations of Matched Formulas

最小マッチングされた式の表現

The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases

OWL 2 EL知識ベースにおける結合クエリとナビゲーションクエリへの回答の複雑さ

Using Meta-mining to Support Data Mining Workflow Planning and Optimization

メタマイニングを用いたデータマイニングワークフロー計画と最適化のサポート

No Agent Left Behind: Dynamic Fair Division of Multiple Resources

エージェントを置き去りにしない：複数リソースの動的公平分割

Iterative Plan Construction for the Workflow Satisfiability Problem

ワークフロー充足可能性問題のための反復計画構築

Optimal Scheduling of Contract Algorithms for Anytime Problem-Solving

いつでも問題解決可能な契約アルゴリズムの最適スケジューリング

Reasoning about Topological and Cardinal Direction Relations Between 2-Dimensional Spatial Objects

2次元空間オブジェクト間の位相関係と基本方向関係の推論

Push and Rotate: a Complete Multi-agent Pathfinding Algorithm

プッシュアンドローテート：完全なマルチエージェント経路探索アルゴリズム

Scoring Functions Based on Second Level Score for k-SAT with Long Clauses

長節を含むk-SATの第2レベルスコアに基づくスコアリング関数

A Novel SAT-Based Approach to Model Based Diagnosis

モデルベース診断への新しいSATベースのアプローチ

Verification of Agent-Based Artifact Systems

エージェントベースアーティファクトシステムの検証

Distributed Heuristic Forward Search for Multi-agent Planning

マルチエージェント計画のための分散ヒューリスティックフォワードサーチ

Automaton Plans

オートマトン計画

Entrenchment-Based Horn Contraction

エントレンチメントベースのホーン収縮

Sensitivity of Diffusion Dynamics to Network Uncertainty

ネットワークの不確実性に対する拡散ダイナミクスの感度

Simple Regret Optimization in Online Planning for Markov Decision Processes

マルコフ決定過程のオンライン計画における単純リグレット最適化

Text Rewriting Improves Semantic Role Labeling

テキスト書き換えによる意味的役割ラベル付けの改善

Cooperative Monitoring to Diagnose Multiagent Plans

マルチエージェント計画を診断するための協調モニタリング

Vol. 52 (2015)

Deterministic Oversubscription Planning as Heuristic Search: Abstractions and Reformulations

ヒューリスティック探索としての決定論的オーバーサブスクリプションプランニング：抽象化および再定式化

A Compositional Framework for Grounding Language Inference, Generation, and Acquisition in Video

ビデオにおける言語推論、生成、獲得のグラウンディングのための構成的フレームワーク

Distributed Evaluation of Nonmonotonic Multi-context Systems

非単調なマルチコンテキストシステムの分散評価

Weighted Electoral Control

重み付け選挙管理

A Case-Based Reasoning Framework to Choose Trust Models for Different E-Marketplace Environments

異なるEマーケットプレイス環境における信頼モデルを選択するための事例ベース推論フレームワーク

Modeling the Lifespan of Discourse Entities with Application to Coreference Resolution

談話エンティティの寿命のモデリングと共参照解決への応用

Computing Convex Coverage Sets for Faster Multi-objective Coordination

多目的コーディネーションの高速化のための凸被覆集合の計算

Inferring Team Task Plans from Human Meetings: A Generative Modeling Approach with Logic-Based Prior

人間の会議からのチームタスクプランの推論：論理ベースの事前分布を用いた生成モデリングアプローチ

Scheduling Conservation Designs for Maximum Flexibility via Network Cascade Optimization

ネットワークカスケード最適化による柔軟性最大化のための保全設計のスケジューリング

Revision by History

履歴による修正

Lazy Model Expansion: Interleaving Grounding with Search

遅延モデル拡張：グラウンディングと探索のインターリーブ

On the Subexponential-Time Complexity of CSP

CSPの準指数時間計算量について

Agnostic Pointwise-Competitive Selective Classification

不可知論的点単位競合選択分類

Coherent Predictive Inference under Exchangeability with Imprecise Probabilities

不正確な確率を伴う交換可能性の下での一貫性のある予測推論

Vol. 53 (2015)

The Ceteris Paribus Structure of Logics of Game Forms

ゲーム形式のロジックにおけるCeteris Paribus構造

Belief Change with Uncertain Action Histories

不確実な行動履歴による信念の変化

AutoFolio: An Automatically Configured Algorithm Selector

AutoFolio：自動構成アルゴリズムセレクタ

Mechanisms for Multi-unit Combinatorial Auctions with a Few Distinct Goods

少数の異なる財を持つマルチユニット組み合わせオークションのメカニズム

Tree-Width and the Computational Complexity of MAP Approximations in Bayesian Networks

ベイジアンネットワークにおける木幅とMAP近似の計算量

Evolutionary Dynamics of Multi-Agent Learning: A Survey

マルチエージェント学習の進化ダイナミクス：サーベイ

Placement of Loading Stations for Electric Vehicles: No Detours Necessary!

電気自動車用充電ステーションの配置：迂回不要！

ITSAT: An Efficient SAT-Based Temporal Planner

ITSAT：効率的なSATベースの時間プランナー

Satsisfiability and Systematicity

充足可能性と体系性

Bypassing Combinatorial Protections: Polynomial-Time Algorithms for Single-Peaked Electorates

組み合わせ保護の回避：単峰性有権者のための多項式時間アルゴリズム

Learning Relational Event Models from Video

ビデオからの関係イベントモデルの学習

Approximate Value Iteration with Temporally Extended Actions

時間的に拡張されたアクションによる近似値反復法

Regular Path Queries in Lightweight Description Logics: Complexity and Algorithms

軽量記述論理における正規パスクエリ：計算量とアルゴリズム

Model Theory of XPath on Data Trees. Part I: Bisimulation and Characterization

データツリーにおけるXPathのモデル理論。パートI：双模倣と特性評価

Probabilistic Inference Techniques for Scalable Multiagent Decision Making

スケーラブルなマルチエージェント意思決定のための確率推論技術

Using Machine Translation to Provide Target-Language Edit Hints in Computer Aided Translation Based on Translation Memories

翻訳メモリに基づくコンピュータ支援翻訳において、機械翻訳を用いてターゲット言語の編集ヒントを提供する

Clause Elimination for SAT and QSAT

SATおよびQSATにおける節除去

Coactive Learning

協働学習

Vol. 54 (2015)

Word vs. Class-Based Word Sense Disambiguation

単語ベースとクラスベースの語義曖昧性解消

On a Practical, Integer-Linear Programming Model for Delete-Free Tasks and its Use as a Heuristic for Cost-Optimal Planning

削除不要タスクのための実用的な整数線形計画モデルと、コスト最適計画のためのヒューリスティックとしての利用について

Compressing Optimal Paths with Run Length Encoding

ランレングス符号化による最適パスの圧縮

Solving #SAT and MAXSAT by Dynamic Programming

動的計画法による#SATとMAXSATの解法

Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures

タブローと飽和手順を組み合わせた従量課金制記述論理推論

Possible and Necessary Winners of Partial Tournaments

部分トーナメントの可能な勝者と必要な勝者

Weighted Regret-Based Likelihood: A New Approach to Describing Uncertainty

重み付きリグレットベースの尤度：不確実性を記述する新しいアプローチ

Constraining Information Sharing to Improve Cooperative Information Gathering

協調的情報収集を改善するための情報共有の制約

Continuing Plan Quality Optimisation

継続的な計画品質の最適化

PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner

PAGOdA：従量課金制オントロジークエリ回答データログ推論装置

Relations Between Spatial Calculi About Directions and Orientations

方向と向きに関する空間計算間の関係

Decision Making with Dynamic Uncertain Events

動的な不確実なイベントを用いた意思決定

Expressiveness of Two-Valued Semantics for Abstract Dialectical Frameworks

抽象弁証法的枠組みにおける二値意味論の表現力

Leveraging Online User Feedback to Improve Statistical Machine Translation

オンラインユーザーフィードバックを活用した統計的機械翻訳の改善

Achieving Goals Quickly Using Real-time Search: Experimental Results in Video Games

リアルタイム検索を用いた迅速な目標達成：ビデオゲームにおける実験結果

Knowledge-Based Textual Inference via Parse-Tree Transformations

構文木変換による知識ベーステキスト推論

Vol. 55 (2016)

A Distributed Representation-Based Framework for Cross-Lingual Transfer Parsing

クロスリンガル転移解析のための分散表現ベースのフレームワーク

Bilingual Distributed Word Representations from Document-Aligned Comparable Data

文書アラインメントされた比較データからのバイリンガル分散単語表現

How Translation Alters Sentiment

翻訳が感情に及ぼす影響

Searching for the M Best Solutions in Graphical Models

グラフィカルモデルにおけるM最適解の探索

Parallel Model-Based Diagnosis on Multi-Core Computers

マルチコアコンピュータにおける並列モデルベース診断

An Exact Algorithm Based on MaxSAT Reasoning for the Maximum Weight Clique Problem

MaxSATに基づく正確なアルゴリズム最大重みクリーク問題の推論

Knowledge Representation in Probabilistic Spatio-Temporal Knowledge Bases

確率的時空間知識ベースにおける知識表現

Combining Two and Three-Way Embedding Models for Link Prediction in Knowledge Bases

知識ベースにおけるリンク予測のための2方向および3方向埋め込みモデルの組み合わせ

Quadratization and Roof Duality of Markov Logic Networks

マルコフ論理ネットワークの2乗化とルーフ双対性

Exact Algorithms for MRE Inference

MRE推論のための正確なアルゴリズム

Cross-Lingual Bridges with Models of Lexical Borrowing

語彙借用モデルを用いた言語間橋渡し

Large-Scale Election Campaigns: Combinatorial Shift Bribery

大規模選挙キャンペーン：組み合わせシフト賄賂

Finding Strategyproof Social Choice Functions via SAT Solving

SAT解法による戦略証明可能な社会選択関数の発見

Module Extraction in Expressive Ontology Languages via Datalog Reasoning

データログ推論による表現オントロジー言語におけるモジュール抽出

Optimally Solving Dec-POMDPs as Continuous-State MDPs

連続状態MDPとしてのDec-POMDPの最適解法

Automatic Description Generation from Images: A Survey of Models, Datasets, and Evaluation Measures

画像からの自動記述生成：モデル、データセット、評価尺度のサーベイ

Predicting Twitter User Demographics using Distant Supervision from Website Traffic Data

ウェブサイトトラフィックデータからの遠隔教師を用いたTwitterユーザーの人口統計予測

Bayesian Optimization in a Billion Dimensions via Random Embeddings

ランダム埋め込みによる10億次元ベイズ最適化

Adaptive Contract Design for Crowdsourcing Markets: Bandit Algorithms for Repeated Principal-Agent Problems

クラウドソーシング市場のための適応型契約設計：反復プリンシパル・エージェント問題のためのバンディットアルゴリズム

News Across Languages – Cross-Lingual Document Similarity and Event Tracking

言語間のニュース – クロスリンガル文書の類似性とイベント追跡

Utilisation of Metadata Fields and Query Expansion in Cross-Lingual Search of User-Generated Internet Video

ユーザー生成インターネット動画のクロスリンガル検索におけるメタデータフィールドとクエリ拡張の活用

Synthetic Treebanking for Cross-Lingual Dependency Parsing

クロスリンガル係り受け解析のための合成ツリーバンキング

Integrating Rules and Dictionaries from Shallow-Transfer Machine Translation into Phrase-Based Statistical Machine Translation

浅い転移機械翻訳のルールと辞書をフレーズベース統計機械翻訳に統合

Effectiveness of Automatic Translations for Cross-Lingual Ontology Mapping

クロスリンガルオントロジーマッピングにおける自動翻訳の有効性

Distributional Correspondence Indexing for Cross-Lingual and Cross-Domain Sentiment Classification.

クロスリンガルおよびクロスドメイン感情分類のための分布対応インデックス作成

Exploiting Causality for Selective Belief Filtering in Dynamic Bayesian Networks

動的ベイジアンネットワークにおける選択的ビリーフフィルタリングのための因果関係の活用

Semantic Visualization with Neighborhood Graph Regularization

近傍グラフによるセマンティック可視化正則化

Learning Concept Graphs from Online Educational Data

オンライン教育データからの概念グラフの学習

Semi-supervised Learning with Induced Word Senses for State of the Art Word Sense Disambiguation

最先端の語義曖昧性解消のための誘導語義を用いた半教師あり学習

Introduction to the Special Issue on Cross-Language Algorithms and Applications

クロスランゲージアルゴリズムとアプリケーション特集号の紹介

Vol. 56 (2016)

Optimal Any-Angle Pathfinding In Practice

実践における最適任意角度経路探索

Qualitative Spatial Logics for Buffered Geometries

バッファ付きジオメトリのための定性的空間ロジック

The IBaCoP Planning System: Instance-Based Configured Portfolios

IBaCoP計画システム：インスタンスベースの構成ポートフォリオ

Datalog+- Ontology Consolidation

Datalog+ – オントロジー統合

Automatic Wordnet Development for Low-Resource Languages using Cross-Lingual WSD

低リソース言語のための自動Wordnet開発クロスリンガルWSD

A Study of Proxies for Shapley Allocations of Transport Costs

輸送費のShapley配分のためのプロキシの研究

Time-Bounded Best-First Search for Reversible and Non-reversible Search Graphs

可逆および非可逆検索グラフのための時間制限付き最良優先探索

Time-Sensitive Bayesian Information Aggregation for Crowdsourcing Systems

クラウドソーシングシステムのための時間依存型ベイズ情報集約

Computing Repairs of Inconsistent DL-Programs over EL Ontologies

ELオントロジー上の矛盾したDLプログラムの修復計算

Efficient Mechanism Design for Online Scheduling

オンラインスケジューリングのための効率的なメカニズム設計

On the Satisfiability Problem for SPARQL Patterns

SPARQLパターンの充足可能性問題について

Generating Models of a Matched Formula With a Polynomial Delay

多項式遅延を伴う一致式モデルの生成

DL-Lite Contraction and Revision

DL-Liteの縮約と修正

Combining the Delete Relaxation with Critical-Path Heuristics: A Direct Characterization

削除緩和法とクリティカルパス・ヒューリスティックスの組み合わせ：直接的な特性評価

Association Discovery and Diagnosis of Alzheimers Disease with Bayesian Multiview Learning

ベイズ的マルチビュー学習によるアルツハイマー病の連想発見と診断

Two Aspects of Relevance in Structured Argumentation: Minimality and Paraconsistency

構造化議論における関連性の2つの側面：最小性とパラコンシステンシー

Global Continuous Optimization with Error Bound and Fast Convergence

誤差限界と高速収束を伴う大域的連続最適化

Budgeted Optimization with Constrained Experiments

制約付き実験による予算最適化

Query and Predicate Emptiness in Ontology-Based Data Access

オントロジーベースのデータアクセスにおけるクエリと述語の空性

Vol. 57 (2016)

A Disaster Response System based on Human-Agent Collectives

人間・エージェント集団に基づく災害対応システム

P-SyncBB: A Privacy Preserving Branch and Bound DCOP Algorithm

P-SyncBB：プライバシー保護型分岐限定法DCOPアルゴリズム

ZERO++: Harnessing the Power of Zero Appearances to Detect Anomalies in Large-Scale Data Sets

ZERO++：大規模データにおける異常検出のためのゼロ出現の力の活用集合

Convergence of Iterative Scoring Rules

反復スコアリングルールの収束

A Survey of Computational Treatments of Biomolecules by Robotics-Inspired Methods Modeling Equilibrium Structure and Dynamic

ロボット工学に着想を得た手法による生体分子の計算処理のサーベイ：平衡構造と動態のモデリング

ProMoca: Probabilistic Modeling and Analysis of Agents in Commitment Protocols

ProMoca：コミットメントプロトコルにおけるエージェントの確率的モデリングと分析

Embarrassingly Parallel Search in Constraint Programming

制約プログラミングにおける驚異的並列探索

PDT Logic: A Probabilistic Doxastic Temporal Logic for Reasoning about Beliefs in Multi-agent Systems

PDT論理：マルチエージェントシステムにおける信念推論のための確率的ドクサスティック時相論理

A Primer on Neural Network Models for Natural Language Processing

自然言語処理のためのニューラルネットワークモデル入門

Scrubbing During Learning In Real-time Heuristic Search

リアルタイムヒューリスティック探索における学習中のスクラビング

Effective Heuristics for Suboptimal Best-First Search

準最適最良優先探索のための効果的なヒューリスティック

Goal Probability Analysis in Probabilistic Planning: Exploring and Enhancing the State of the Art

確率的プランニングにおける目標確率分析：最先端技術の探究と強化

Multi-objective Reinforcement Learning through Continuous Pareto Manifold Approximation

連続パレート多様体近似による多目的強化学習

Lightweight Random Indexing for Polylingual Text Classification

多言語テキスト分類のための軽量ランダムインデックス作成

Optimal Partial-Order Plan Relaxation via MaxSAT

MaxSATによる最適半順序計画緩和

Learning Continuous Time Bayesian Networks in Non-stationary Domains

非定常領域における連続時間ベイジアンネットワークの学習

Vol. 58 (2017)

Encoding Domain Transitions for Constraint-Based Planning

制約ベース計画のためのドメイン遷移の符号化

Logics of Common Ground

共通基盤の論理

Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine Learning

機械学習による木分解における動的計画法の効率改善

Randomized Social Choice Functions Under Metric Preferences

メトリクス選好に基づくランダム化社会選択関数

Some Properties of Batch Value of Information in the Selection Problem

いくつかの特性選択問題における情報のバッチ価値

Managing Different Sources of Uncertainty in a BDI Framework in a Principled Way with Tractable Fragments

扱いやすいフラグメントを用いたBDIフレームワークにおける異なる不確実性要因の原理的な管理

A Neural Probabilistic Structured-Prediction Method for Transition-Based Natural Language Processing

遷移に基づく自然言語処理のためのニューラル確率的構造化予測法

Tie-Breaking Strategies for Cost-Optimal Best First Search

コスト最適最良優先探索のためのタイブレーク戦略

Combinatorial Multi-armed Bandits for Real-Time Strategy Games

リアルタイム戦略ゲームのための組み合わせ的多腕バンディット

A Probabilistic Formalization of the Appraisal for the OCC Event-Based Emotions

OCCイベントベース感情の評価の確率的形式化

Explicit Document Modeling through Weighted Multiple-Instance Learning

重み付きマルチインスタンス学習による明示的文書モデリング

Robots in Retirement Homes: Applying Off-the-Shelf Planning and Scheduling to a Team of Assistive Robots

老人ホームにおけるロボット：既製の計画とスケジューリングを支援ロボットチームに適用する

New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition

連言分解を用いたOBDDの拡張による新しい標準表現

The Computational Complexity of Structure-Based Causality

構造に基づく因果関係の計算複雑性

Dynamic Repositioning to Reduce Lost Demand in Bike Sharing Systems

自転車シェアリングシステムにおける需要喪失の削減のための動的再配置

A Model-Theoretic View on Qualitative Constraint Reasoning

定性制約推論に関するモデル理論的考察

Computational Aspects of Nearly Single-Peaked Electorates

ほぼ単峰性の選挙区の計算的側面

Local Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function

2レベル構成チェックと頻度ベーススコアリング関数を用いた最小重み支配集合の局所探索

DESPOT: Online POMDP Planning with Regularization

DESPOT：正則化を用いたオンラインPOMDP計画

Bayesian Network Structure Learning with Integer Programming: Polytopes, Facets and Complexity

整数計画法を用いたベイジアンネットワーク構造学習：多面体、ファセット、複雑性

Controlled School Choice with Soft Bounds and Overlapping Types

ソフトバウンドと重複型を考慮した制御された学校選択

Subset Selection Via Implicit Utilitarian Voting

暗黙的功利主義投票によるサブセット選択

Probabilistic Description Logics for Subjective Uncertainty

主観的不確実性に対する確率的記述論理

Vol. 59 (2017)

Complexity of n-Queens Completion

n-クイーン補完の複雑性

Uniform Random Generation and Dominance Testing for CP-Nets

CPネットにおける一様乱数生成と優位性検定

Decision-Theoretic Planning Under Anonymity in Agent Populations

エージェント集団における匿名性下における意思決定理論的プランニング

Logical Formalizations of Commonsense Reasoning: A Survey

常識推論の論理的形式化：調査

Welfare Effects of Market Making in Continuous Double Auctions

連続ダブルオークションにおけるマーケットメイキングの福祉効果

The Price of Anarchy in Auctions

オークションにおける無秩序の代償

Probabilistic Reasoning with Abstract Argumentation Frameworks

抽象的議論フレームワークを用いた確率的推論

The Length of Shortest Vertex Paths in Binary Occupancy Grids Compared to Shortest r-Constrained Ones

二項占有グリッドにおける最短頂点経路の長さと、最短r制約グリッドとの比較

Perturbation Training for Human-Robot Teams

人間とロボットのチームのための摂動訓練

Finding A Small Vertex Cover in Massive Sparse Graphs: Construct, Local Search, and Preprocess

大規模スパースグラフにおける小さな頂点被覆の発見：構築、局所探索、および前処理

Game-Theoretic Question Selection for Tests

テストのためのゲーム理論的質問選択

AND/OR Branch-and-Bound on a Computational Grid

計算グリッドにおけるAND/OR分岐限定法

Privacy Preserving Implementation of the Max-Sum Algorithm and its Variants

プライバシー保護を考慮したMax-Sumアルゴリズムとその派生型の実装

Adopting the Cascade Model in Ad Auctions: Efficiency Bounds and Truthful Algorithmic Mechanisms

広告オークションにおけるカスケードモデルの採用：効率性限界と真実性の高いアルゴリズムメカニズム

Sampling Based Approaches for Minimizing Regret in Uncertain Markov Decision Processes (MDPs)

不確実なマルコフ決定過程（MDP）におけるリグレット最小化のためのサンプリングに基づくアプローチ

Market Interfaces for Electric Vehicle Charging

電気自動車充電のための市場インターフェース

Parliamentary Voting Procedures: Agenda Control, Manipulation, and Uncertainty

議会投票手続き：議題制御、操作、不確実性

Learning Discrete Bayesian Networks from Continuous Data

連続データからの離散ベイジアンネットワークの学習

Indirect Causes in Dynamic Bayesian Networks Revisited

動的ベイジアンネットワークにおける間接的原因の再考

Vol. 60 (2017)

Kernel Contraction and Base Dependence

カーネル収縮と基底依存性

Elections with Few Voters: Candidate Control Can Be Easy

投票者が少ない選挙：候補者管理は容易になる

On Monte Carlo Tree Search and Reinforcement Learning

モンテカルロ木探索と強化学習について

Prime Implicate Generation in Equational Logic

方程式論理における主含意生成

On the Equivalence between Assumption-Based Argumentation and Logic Programming

仮定に基づく議論と論理プログラミングの同値性について

Sample-Based Tree Search with Fixed and Adaptive State Abstractions

固定および適応的状態抽象化を用いたサンプルベース木探索

Chamberlin–Courant Rule with Approval Ballots: Approximating the MaxCover Problem with Bounded Frequencies in FPT Time

承認付きチェンバリン・クーラン則投票：有限頻度のMaxCover問題をFPT時間で近似する

Viewpoint: A Critical View on Smart Cities and AI

視点：スマートシティとAIに関する批判的考察

Multi-Organ Exchange

多臓器交換

Time and Space Bounds for Planning

計画における時間と空間の境界

A Survey on Lexical Simplification

語彙簡素化に関するサーベイ

On Hash-Based Work Distribution Methods for Parallel Best-First Search

並列最良優先探索のためのハッシュベースの作業配分法について

Resolving Over-Constrained Temporal Problems with Uncertainty through Conflict-Directed Relaxation

不確実性を伴う過剰制約時間問題の衝突指向緩和法による解決

The Sixth Answer Set Programming Competition

第6回解答集合プログラミングコンテスト

Preference-Based Inconsistency Management in Multi-Context Systems

マルチコンテキストシステムにおける選好に基づく不整合管理

Residual-Guided Look-Ahead in AND/OR Search for Graphical Models

グラフィカルモデルのAND/OR探索における残差誘導型先読み

The Linear Programming Approach to Reach-Avoid Problems for Markov Decision Processes

マルコフ決定過程の到達回避問題への線形計画法アプローチ

On the Semantics and Complexity of Probabilistic Logic Programs

確率論理プログラムの意味論と複雑性について

Combining Lexical and Syntactic Features for Detecting Content-Dense Texts in News

ニュースにおける内容密度の高いテキストの検出のための語彙的特徴と統語的特徴の統合

Rationalisation of Profiles of Abstract Argumentation Frameworks: Characterisation and Complexity

抽象的議論フレームワークのプロファイルの合理化：特徴づけと複雑性

A Knowledge Level Account of Forgetting

忘却に関する知識レベルの説明

A Game Theoretic Analysis of the Adversarial Retrieval Setting

敵対的検索設定のゲーム理論的分析

Axiomatising Incomplete Preferences through Sets of Desirable Gambles

望ましいギャンブル集合による不完全な選好の公理化

Confidence Decision Trees via Online and Active Learning for Streaming Data

ストリーミングデータのためのオンラインおよび能動学習による信頼度決定木

Learning Neural Audio Embeddings for Grounding Semantics in Auditory Perception

聴覚知覚におけるグラウンディング・セマンティクスのためのニューラル・オーディオ埋め込みの学習

Complexity Results and Algorithms for Extension Enforcement in Abstract Argumentation

抽象的議論における拡張強制の複雑性結果とアルゴリズム

Vol. 61 (2018)

From Feature To Paradigm: Deep Learning In Machine Translation

特徴からパラダイムへ：機械翻訳におけるディープラーニング

Pre-Wiring and Pre-Training: What Does a Neural Network Need to Learn Truly General Identity Rules?

事前配線と事前学習：ニューラルネットワークが真に一般的な同一性ルールを学習するには何が必要か？

Visualisation and ‘Diagnostic Classifiers’ Reveal How Recurrent and Recursive Neural Networks Process Hierarchical Structure

可視化と「診断分類器」により、再帰型ニューラルネットワークと再帰型ニューラルネットワークが階層構造を処理する仕組みが明らかに

SMOTE for Learning from Imbalanced Data: Progress and Challenges, Marking the 15-year Anniversary

不均衡データからの学習のためのSMOTE：15周年を迎えての進歩と課題

Corpus-Level Fine-Grained Entity Typing

コーパスレベルの細粒度エンティティタイピング

Belief Update within Propositional Fragments

命題フラグメント内の信念更新

Symbol Grounding Association in Multimodal Sequences with Missing Elements

欠損要素を含むマルチモーダルシーケンスにおけるシンボルグラウンディング関連付け

Rademacher Complexity Bounds for a Penalized Multi-class Semi-supervised Algorithm

ペナルティ付き多クラス半教師ありアルゴリズムのRademacher計算量限界

When Subgraph Isomorphism is Really Hard, and Why This Matters for Graph Databases

部分グラフ同型性が本当に難しい場合、そしてそれがグラフデータベースにとってなぜ重要なのか

Trust as a Precursor to Belief Revision

信念修正の前兆としての信頼

Survey of the State of the Art in Natural Language Generation: Core tasks, applications and evaluation

最先端技術のサーベイ自然言語生成におけるコアタスク、応用、評価

Distributed Constraint Optimization Problems and Applications: A Survey

分散制約最適化問題とその応用：サーベイ

Fully Observable Non-deterministic Planning as Assumption-Based Reactive Synthesis

仮定に基づくリアクティブ合成としての完全観測非決定性プランニング

On the Behavior of Convolutional Nets for Feature Extraction

特徴抽出のための畳み込みネットの挙動について

Revisiting the Arcade Learning Environment: Evaluation Protocols and Open Problems for General Agents

アーケード学習環境の再考：一般エージェントの評価プロトコルと未解決問題

Fact-Alternating Mutex Groups for Classical Planning

古典的プランニングのための事実交代ミューテックスグループ

Coordinating Measurements in Uncertain Participatory Sensing Settings

不確実な参加型センシング環境における測定の調整

Cycles and Intractability in a Large Class of Aggregation Rules

大規模な集約ルールクラスにおけるサイクルと扱いにくさ

Actively Estimating Crowd Annotation Consensus

群衆注釈合意の能動的推定

KABouM: Knowledge-Level Action and Bounding Geometry Motion Planner

KABouM：知識レベル動作および境界幾何学動作プランナー

Linear Satisfiability Preserving Assignments

線形充足可能性保存割り当て

From Skills to Symbols: Learning Symbolic Representations for Abstract High-Level Planning

スキルからシンボルへ：抽象的高レベルプランニングのための記号表現の学習

Bisimulations on Data Graphs

データグラフ上の双模倣

Learning Explanatory Rules from Noisy Data

ノイズデータからの説明ルールの学習

Vol. 62 (2018)

Querying Log Data with Metric Temporal Logic

計量時相論理を用いたログデータのクエリ

A Review of Inference Algorithms for Hybrid Bayesian Networks

ハイブリッドベイジアンネットワークの推論アルゴリズムのレビュー

Computing Hierarchical Finite State Controllers With Classical Planning

古典的計画を用いた階層的有限状態制御器の計算

Viewpoint: When Will AI Exceed Human Performance? Evidence from AI Experts

視点: AIはいつ人間のパフォーマンスを超えるのか？ AI専門家によるエビデンス

Lifted Relational Neural Networks: Efficient Learning of Latent Relational Structures

Lifted Relational Neural Networks: 潜在的関係構造の効率的な学習

Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access

外部ソースアクセスを備えた解集合プログラムの効率的な評価のための部分割り当ての活用

ScottyActivity: Mixed Discrete-Continuous Planning with Convex Optimization

ScottyActivity: 凸最適化を用いた離散・連続混合計画

Counterexample-Guided Cartesian Abstraction Refinement for Classical Planning

古典的計画のための反例誘導カルティシアン抽象化の洗練

Column Generation Algorithms for Constrained POMDPs

制約付きPOMDPのための列生成アルゴリズム

The Power of Verification for Greedy Mechanism Design

貪欲メカニズム設計における検証の威力

Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems

インセンティブ適合メカニズムオープンマルチエージェントシステムにおける規範監視

Extending Classical Planning with State Constraints: Heuristics and Search for Optimal Planning

状態制約を伴う古典的計画の拡張：ヒューリスティックと最適計画の探索

Axiomatic Characterization of Game-Theoretic Centrality

ゲーム理論的中心性の公理的特徴付け

Nash Stable Outcomes in Fractional Hedonic Games: Existence, Efficiency and Computation

分数ヘドニックゲームにおけるナッシュ安定結果：存在、効率、計算

Solving Multi-agent Path Finding on Strongly Biconnected Digraphs

強2連結有向グラフにおけるマルチエージェント経路探索の解決

Viewpoint: Artificial Intelligence Government (Gov. 3.0): The UAE Leading Model

視点：人工知能政府（Gov. 3.0）：UAEの主要モデル

Solving Large Problems with Heuristic Search: General-Purpose Parallel External-Memory Search

ヒューリスティック探索による大規模問題の解決：汎用並列外部メモリ探索

MCTS-Minimax Hybrids with State Evaluations

状態評価を伴うMCTS-ミニマックスハイブリッド

Resource-bounded Norm Monitoring In Multi-agent Systems

マルチエージェントシステムにおけるリソース制約付きノルムモニタリング

A COP Model For Graph-Constrained Coalition Formation

グラフ制約付き提携形成のためのCOPモデル

Verification of Distributed Epistemic Gossip Protocols

分散認識ゴシッププロトコルの検証

An Exhaustive DPLL Algorithm for Model Counting

モデルカウントのための網羅的DPLLアルゴリズム

Vol. 63 (2018)

Bounds on the Cost of Stabilizing a Cooperative Game

協力ゲームの安定化コストの上限

Optimal Torpedo Scheduling

最適トルピードスケジューリング

Transition-Based Neural Word Segmentation Using Word-Level Features

単語レベル特徴を用いた遷移ベースのニューラル単語セグメンテーション

AND/OR Search for Marginal MAP

周辺MAPのためのAND/OR探索

Belief Integration and Source Reliability Assessment

信念統合と情報源信頼性評価

Grounding Language for Transfer in Deep Reinforcement Learning

深層強化学習における転移のためのグラウンディング言語

State-Space Abstractions for Probabilistic Inference: A Systematic Review

確率推論のための状態空間抽象化：系統的レビュー

From Word To Sense Embeddings: A Survey on Vector Representations of Meaning

単語から意味埋め込みへ：意味のベクトル表現に関するサーベイ

Data-driven Conceptual Spaces: Creating Semantic Representations For Linguistic Descriptions Of Numerical Data

データ駆動型概念空間：数値データの言語記述のための意味表現の作成

Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions

選言と数値制限を伴う記述論理のための結果ベース推論

LTL on Finite and Process Traces: Complexity Results and a Practical Reasoner

有限およびプロセストレース上のLTL：計算量結果と実用的な推論システム

A Complexity Approach for Core-Selecting Exchange under Conditionally Lexicographic Preferences

条件付き辞書式選好に基づくコア選択交換の計算量アプローチ

A Core Method for the Weak Completion Semantics with Skeptical Abduction

懐疑的アブダクションを用いた弱完了意味論のコア手法

Approximation and Parameterized Complexity of Minimax Approval Voting

近似ミニマックス承認投票の計算量とパラメータ化計算量

Proximal Gradient Temporal Difference Learning: Stable Reinforcement Learning with Polynomial Sample Complexity

近似勾配時間差学習：多項式サンプル複雑度を持つ安定強化学習

Graphical Model Market Maker for Combinatorial Prediction Markets

組み合わせ予測市場のためのグラフィカルモデルマーケットメーカー

Robust Text Classification under Confounding Shift

交絡シフト下におけるロバストなテキスト分類

Cooperative, Dynamics-based, and Abstraction-Guided Multi-robot Motion Planning

協調的、ダイナミクスベース、抽象化に基づくマルチロボット動作計画

Watching and Acting Together: Concurrent Plan Recognition and Adaptation for Human-Robot Teams

共に見て行動する：人間とロボットのチームのための同時計画認識と適応

Revisiting the Approximation Bound for Stochastic Submodular Cover

確率的劣モジュラー被覆の近似境界の再考

Query Answering with Transitive and Linear-Ordered Data

推移的および線形順序データを用いたクエリ応答

Efficient Computation of Semivalues for Game-Theoretic Network Centrality

ゲーム理論的ネットワーク中心性のための半値の効率的な計算

Human-Machine Collaborative Optimization via Apprenticeship Scheduling

見習いスケジューリングによる人間と機械の協調最適化

Vol. 64 (2019)

Using Collective Behavior of Coupled Oscillators for Solving DCOP

結合振動子の集団的行動を用いたDCOPの解決

Conditional Simple Temporal Networks with Uncertainty and Resources

不確実性とリソースを考慮した条件付き単純時系列ネットワーク

Negotiable Votes

交渉可能な投票

Pitfalls and Best Practices in Algorithm Configuration

アルゴリズム設定における落とし穴とベストプラクティス

Modeling and Planning with Macro-Actions in Decentralized POMDPs

分散型におけるマクロアクションを用いたモデリングとプランニングPOMDP

Polynomial and Exponential Bounded Logic Programs with Function Symbols: Some New Decidable Classes

関数シンボルを含む多項式および指数有界論理プログラム：いくつかの新しい決定可能クラス

Distributed Gibbs: A Linear-Space Sampling-Based DCOP Algorithm

分散ギブス：線形空間サンプリングに基づくDCOPアルゴリズム

A Survey on Transfer Learning for Multiagent Reinforcement Learning Systems

マルチエージェント強化学習システムのための転移学習に関するサーベイ

Computing and Explaining Query Answers over Inconsistent DL-Lite Knowledge Bases

矛盾するDL-Lite知識ベースにおけるクエリ回答の計算と説明

Rank Pruning for Dominance Queries in CP-Nets

CPネットにおける支配クエリのためのランク・プルーニング

AI Generality and Spearman’s Law of Diminishing Returns

AIの一般性とスピアマンの収穫逓減の法則

Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty: Success Guarantees and Computational Complexity

目的地不確実性下における暗黙的に協調されたマルチエージェント経路探索：成功保証と計算複雑性

Dynamic Controllability of Controllable Conditional Temporal Problems with Uncertainty

不確実性を伴う制御可能な条件付き時間的問題の動的制御可能性

Revisiting CFR+ and Alternating Updates

CFR+と交互更新の再考

A Sampling Approach for Proactive Project Scheduling under Generalized Time-dependent Workability Uncertainty

一般化された時間依存作業性不確実性下におけるプロアクティブ・プロジェクト・スケジューリングのためのサンプリング・アプローチ

Level-0 Models for Predicting Human Behavior in Games

ゲームにおける人間の行動を予測するためのレベル0モデル

Iterative Local Voting for Collective Decision-making in Continuous Spaces

連続空間における集団的意思決定のための反復的局所投票

Logical Foundations of Linked Data Anonymisation

リンクトデータ匿名化の論理的基礎

Viewpoint: Human-in-the-loop Artificial Intelligence

視点：人間参加型人工知能

On Inductive Abilities of Latent Factor Models for Relational Learning

関係学習のための潜在因子モデルの帰納的能力について

Cost-Based Goal Recognition in Navigational Domains

ナビゲーション領域におけるコストベースの目標認識

Multi-scale Hierarchical Residual Network for Dense Captioning

稠密なマルチスケール階層的残差ネットワークキャプション作成

A Generalisation of AGM Contraction and Revision to Fragments of First-Order Logic

AGM縮約の一般化と一階述語論理の断片への修正

New Approximations for Coalitional Manipulation in Scoring Rules

スコアリングルールにおける連携操作の新しい近似

Fair Allocation of Indivisible Goods to Asymmetric Agents

非対称エージェントへの不可分財の公平な割り当て

Vol. 65 (2019)

REBA: A Refinement-Based Architecture for Knowledge Representation and Reasoning in Robotics

REBA: ロボティクスにおける知識表現と推論のための洗練に基づくアーキテクチャ

The Mathematics of Changing One’s Mind, via Jeffrey’s or via Pearl’s Update Rule

Jeffreyの更新則またはPearlの更新則による考えを変える数学

Automatic Language Identification in Texts: A Survey

テキストにおける自動言語識別：サーベイ

Computing Multi-Modal Journey Plans under Uncertainty

不確実性下におけるマルチモーダル旅程計画の計算

A Survey of Cross-lingual Word Embedding Models

クロスリンガル単語埋め込みモデルのサーベイ

Autonomous Target Search with Multiple Coordinated UAVs

複数の協調UAVによる自律ターゲット探索

Unifying System Health Management and Automated Decision Making

システムヘルス管理と自動意思決定の統合

IKBT: Solving Symbolic Inverse Kinematics with Behavior Tree

IKBT: 行動木を用いた記号逆運動学の解法

OptStream: Releasing Time Series Privately

OptStream: 時系列の非公開リリース

Weighted Matching Markets with Budget Constraints

予算制約付き重み付きマッチング市場

Strong Stubborn Set Pruning for Star-Topology Decoupled State Space Search

スタートポロジ分離状態空間探索のための強力な頑固集合枝刈り

A Coupled Operational Semantics for Goals and Commitments

目標とコミットメントのための結合操作意味論

Point-Based Value Iteration for Finite-Horizon POMDPs

有限時間区間POMDPのためのポイントベース価値反復法

Probabilistic Planning with Reduced Models

縮退モデルを用いた確率的計画

Goal Recognition Design in Deterministic Environments

決定論的環境における目標認識設計

Dependency Learning for QBF

QBFのための依存性学習

On Overfitting and Asymptotic Bias in Batch Reinforcement Learning with Partial Observability

部分観測性を考慮したバッチ強化学習における過学習と漸近的バイアスについて

Vol. 66 (2019)

A Semantic Characterization ASP Base Revision

意味的特徴付けASPベースの改訂

Classifying Inconsistency Measures Using Graphs

グラフを用いた不整合尺度の分類

General Game Playing with Imperfect Information

不完全情報を用いた一般的なゲームプレイ

Deep Dialog Act Recognition using Multiple Token, Segment, and Context Information Representations

複数のトークン、セグメント、コンテキスト情報表現を用いたディープダイアログ行為認識

Pattern-Based Approach to the Workflow Satisfiability Problem with User-Independent Constraints

ユーザー非依存制約を伴うワークフロー充足可能性問題へのパターンベースアプローチ

Enhancing Statement Evaluation in Argumentation via Multi-labelling Systems

マルチラベリングシステムによる議論における声明評価の強化

Full Characterization of Parikh’s Relevance-Sensitive Axiom for Belief Revision

信念修正のためのParikhの関連性依存公理の完全な特徴づけ

Interpretable Charge Prediction for Criminal Cases with Dynamic Rationale Attention

動的根拠アテンションを用いた刑事事件の解釈可能な起訴予測

Embedding Projection for Targeted Cross-lingual Sentiment: Model Comparisons and a Real-World Study

標的型クロスリンガル感情のための埋め込み射影：モデル比較と実世界研究

On the Time and Space Complexity of Genetic Programming for Evolving Boolean Conjunctions

進化型ブール論理積のための遺伝的プログラミングの時間・空間計算量について

On Non-Cooperativeness in Social Distance Games

社会的距離ゲームにおける非協力性について

Variable Elimination in Binary CSPs

二項CSPにおける変数除去

Recognizing Top-Monotonic Preference Profiles in Polynomial Time

認識多項式時間におけるトップモノトニック選好プロファイル

Acceptable Planning: Influencing Individual Behavior to Reduce Transportation Energy Expenditure of a City

許容可能な計画：都市の交通エネルギー消費を削減するための個人行動への影響

Synthesizing Argumentation Frameworks from Examples

事例からの議論フレームワークの統合

Multi-agent Inverse Reinforcement Learning for Certain General-sum Stochastic Games

特定の一般和確率ゲームのためのマルチエージェント逆強化学習

Community Structure in Industrial SAT Instances

産業SATインスタンスにおけるコミュニティ構造

Revisiting Counting Solutions for the Global Cardinality Constraint

グローバルカーディナリティ制約に対する計数解の再考

DSTL: Solution to Limitation of Small Corpus in Speech Emotion Recognition

DSTL：音声感情認識における小規模コーパスの限界への解決策

A Survey on Temporal Reasoning for Temporal Information Extraction from Text

テキストからの時系列情報抽出のための時系列推論に関するサーベイ

Xeggora: Exploiting Immune-to-Evidence Symmetries with Full Aggregation in Statistical Relational Models

Xeggora：統計的関係モデルにおける完全集約を用いた証拠免疫対称性の活用

Type-aware Convolutional Neural Networks for Slot Filling

スロットフィリングのための型認識畳み込みニューラルネットワーク

Formulas Free From Inconsistency: An Atom-Centric Characterization in Priest’s Minimally Inconsistent LP

矛盾のない数式：Priestの最小矛盾LPにおける原子中心の特性評価

What is this Article about? Extreme Summarization with Topic-aware Convolutional Neural Networks

この記事の内容は何ですか？トピック認識畳み込みニューラルネットワークによる極限要約

Context Vectors are Reflections of Word Vectors in Half the Dimensions

コンテキストベクトルは、単語ベクトルの半分の次元における反射です。

Timed ATL: Forget Memory, Just Count

時間制限付きATL：記憶は忘れて、数えるだけ

Multi-fidelity Gaussian Process Bandit Optimisation

マルチフィデリティガウス過程バンディット最適化

From Support Propagation to Belief Propagation in Constraint Programming

制約プログラミングにおける支持伝播から確信伝播へ

Preference Orders on Families of Sets – When Can Impossibility Results Be Avoided?

集合族における優先順位 ― 不可能性結果はいつ回避できるか？

If Nothing Is Accepted — Repairing Argumentation Frameworks

何も受け入れられない場合 ― 議論フレームワークの修復

Approximating Weighted and Priced Bribery in Scoring Rules

スコアリングルールにおける加重および価格付き賄賂の近似

Strategic Abstention based on Preference Extensions: Positive Results and Computer-Generated Impossibilities

選好拡張に基づく戦略的棄権：肯定的な結果とコンピュータ生成不可能性

Solving the Torpedo Scheduling Problem

魚雷スケジューリング問題の解決

Vol. 67 (2020)

Learning the Language of Software Errors

ソフトウェアエラーの言語学習

HTN Planning as Heuristic Progression Search

ヒューリスティック進行探索としてのHTN計画

The 2^k Neighborhoods for Grid Path Planning

グリッドパス計画のための2^k近傍

Incomplete Preferences in Single-Peaked Electorates

単峰性選挙区における不完全な選好

Compositionality Decomposed: How do Neural Networks Generalise?

構成性の分解：ニューラルネットワークはどのように一般化するのか？

Hedonic Games with Ordinal Preferences and Thresholds

順序選好と閾値を用いた快楽ゲーム

Using Task Descriptions in Lifelong Machine Learning for Improved Performance and Zero-Shot Transfer

生涯機械学習におけるタスク記述を用いたパフォーマンス向上とゼロショット転移

A Set of Recommendations for Assessing Human–Machine Parity in Language Translation

言語翻訳における人間と機械の同等性を評価するための一連の推奨事項

Solving Delete Free Planning with Relaxed Decision Diagram Based Heuristics

緩和決定図に基づくヒューリスティックを用いた削除フリープランニングの解決

Agreement on Target-Bidirectional Recurrent Neural Networks for Sequence-to-Sequence Learning

シーケンスツーシーケンス学習のためのターゲット双方向リカレントニューラルネットワークに関する合意

Robust Multi-Agent Path Finding and Executing

ロバストなマルチエージェント経路探索と実行

A Global Constraint for the Exact Cover Problem: Application to Conceptual Clustering

完全被覆問題に対する大域的制約：概念クラスタリングへの応用

Fair Allocation with Diminishing Differences

差が減少する公平な割り当て

Catching Cheats: Detecting Strategic Manipulation in Distributed Optimisation of Electric Vehicle Aggregators

チートの捕捉：電気自動車アグリゲータの分散最適化における戦略的操作の検出

Graph Width Measures for CNF-Encodings with Auxiliary Variables

補助変数を含むCNFエンコーディングのグラフ幅測定

Adversarial Attacks on Crowdsourcing Quality Control

クラウドソーシング品質管理に対する敵対的攻撃

The Impact of Treewidth on Grounding and Solving of Answer Set Programs

インパクトツリー幅が解集合プログラムのグラウンディングと解法に与える影響

Jointly Improving Parsing and Perception for Natural Language Commands through Human-Robot Dialog

人間とロボットの対話による自然言語コマンドの構文解析と知覚の共同改善

TensorLog: A Probabilistic Database Implemented Using Deep-Learning Infrastructure

TensorLog：ディープラーニング基盤を用いて実装された確率データベース

Planning for Hybrid Systems via Satisfiability Modulo Theories

充足可能性モジュロ理論によるハイブリッドシステムの計画

Blind Spot Detection for Safe Sim-to-Real Transfer

安全なシミュレーションから現実への転送のための死角検出

The Force Awakens: Artificial Intelligence for Consumer Law

フォースの覚醒：消費者法のための人工知能

Saturated Cost Partitioning for Optimal Classical Planning

最適古典的計画のための飽和コスト分割

Regret Bounds for Reinforcement Learning via Markov Chain Concentration

マルコフ連鎖集中による強化学習の後悔境界

Best-First Enumeration Based on Bounding Conflicts, and its Application to Large-scale Hybrid Estimation

境界衝突に基づくベストファースト列挙と大規模ハイブリッド推定への応用

Vol. 68 (2020)

Towards Partial Order Reductions for Strategic Ability

戦略能力のための部分順序縮約に向けて

Gradient-based Learning Methods Extended to Smooth Manifolds Applied to Automated Clustering

滑らかな多様体に拡張された勾配ベース学習法の自動クラスタリングへの適用

How to Do Things with Words: A Bayesian Approach

言葉で物事を行う方法：ベイズ的アプローチ

Subgoaling Techniques for Satisficing and Optimal Numeric Planning

満足化と最適数値プランニングのためのサブゴール設定手法

Vocabulary Alignment in Openly Specified Interactions

オープンに指定されたインタラクションにおける語彙アラインメント

Image Captioning using Facial Expression and Attention

表情と注意を用いた画像キャプション生成

The Effects of Experience on Deception in Human-Agent Negotiation

人間とエージェントの交渉における経験が欺瞞に与える影響

A General Approach to Multimodal Document Quality Assessment

マルチモーダル文書品質評価への一般的なアプローチ

Scalable Planning with Deep Neural Network Learned Transition Models

ディープニューラルネットワーク学習遷移モデルを用いたスケーラブルなプランニング

Simulating Offender Mobility: Modeling Activity Nodes from Large-Scale Human Activity Data

犯罪者の移動シミュレーション：大規模人間活動データからの活動ノードのモデリング

Ontology Reasoning with Deep Neural Networks

ディープニューラルネットワークを用いたオントロジー推論

Preferences Single-Peaked on a Circle

円周上の単峰性選好

Automated Conjecturing II: Chomp and Reasoned Game Play

自動推測II：チョンプと推論的ゲームプレイ

Predicting Strategic Behavior from Free Text

自由記述テキストからの戦略的行動の予測

Conservative Extensions in Horn Description Logics with Inverse Roles

逆役割を持つホーン記述論理の保守的拡張

Sliding-Window Thompson Sampling for Non-Stationary Settings

非定常設定におけるスライディングウィンドウ・トンプソンサンプリング

Bridging the Gap Between Probabilistic Model Checking and Probabilistic Planning: Survey, Compilations, and Empirical Comparison

確率的モデル検査と確率的計画のギャップを埋める：サーベイ、コンパイル、および実証的比較

Improving Nash Social Welfare Approximations

ナッシュ社会福祉近似の改善

Towards Knowledgeable Supervised Lifelong Learning Systems

知識に基づく教師あり生涯学習システムに向けて

Variational Bayes In Private Settings (VIPS)

プライベート設定における変分ベイズ（VIPS）

ASNets: Deep Learning for Generalised Planning

ASNet：一般化計画のためのディープラーニング

Vol. 69 (2020)

Modular Structures and Atomic Decomposition in Ontologies

オントロジーにおけるモジュール構造とアトミック分解

Qualitative Numeric Planning: Reductions and Complexity

定性的数値計画：縮約と複雑性

To Regulate or Not: A Social Dynamics Analysis of an Idealised AI Race

規制するか否か：理想化されたAIレースの社会動態分析

Incompatibilities Between Iterated and Relevance-Sensitive Belief Revision

反復型信念修正と関連性依存型信念修正の非互換性

Contrasting the Spread of Misinformation in Online Social Networks

オンラインソーシャルネットワークにおける誤情報の拡散の対比

Mapping the landscape of Artificial Intelligence applications against COVID-19

COVID-19に対する人工知能アプリケーションのランドスケープのマッピング

Using Machine Learning for Decreasing State Uncertainty in Planning

機械学習を用いた計画における状態不確実性の低減

Structure from Randomness in Halfspace Learning with the Zero-One Loss

ゼロワン損失を伴う半空間学習におけるランダム性からの構造化

The Complexity Landscape of Outcome Determination in Judgment Aggregation

判断集約における結果決定の複雑性ランドスケープ

On Sparse Discretization for Graphical Games

グラフィカルゲームにおけるスパース離散化について

Belief change and 3-valued logics: Characterization of 19,683 belief change operators

信念変化と3値論理：19,683個の信念変化演算子の特性評価

Maximin Share Allocations on Cycles

サイクルにおける最大シェア配分

The Bottleneck Simulator: A Model-Based Deep Reinforcement Learning Approach

ボトルネックシミュレータ：モデルベースの深層強化学習アプローチ

Computing Bayes-Nash Equilibria in Combinatorial Auctions with Verification

検証付き組み合わせオークションにおけるベイズ・ナッシュ均衡の計算

Properties of Switch-List Representations of Boolean Functions

ブール関数のスイッチリスト表現の特性

The PETLON Algorithm to Plan Efficiently for Task-Level-Optimal Navigation

効率的な計画のためのPETLONアルゴリズムタスクレベル最適ナビゲーション

AMP Chain Graphs: Minimal Separators and Structure Learning Algorithms

AMPチェーングラフ：最小セパレータと構造学習アルゴリズム

Neural Machine Translation: A Review

ニューラル機械翻訳：レビュー

Constraint and Satisfiability Reasoning for Graph Coloring

グラフ彩色のための制約と充足可能性推論

Planning High-Level Paths in Hostile, Dynamic, and Uncertain Environments

過酷で動的かつ不確実な環境における高レベル経路計画

Improved High Dimensional Discrete Bayesian Network Inference using Triplet Region Construction

トリプレット領域構築を用いた高次元離散ベイジアンネットワーク推論の改良

The Parameterized Complexity of Motion Planning for Snake-Like Robots

ヘビ型ロボットの動作計画のパラメータ化された複雑性

Diagnosis of Deep Discrete-Event Systems

深層離散事象システムの診断

Annotator Rationales for Labeling Tasks in Crowdsourcing

クラウドソーシングにおけるラベル付けタスクのアノテーターの根拠

Deep Reinforcement Learning: A State-of-the-Art Walkthrough

深層強化学習：最先端のウォークスルー

Bounds on the Size of PC and URC Formulas

PC式とURC式のサイズの上限

An Evaluation of Communication Protocol Languages for Engineering Multiagent Systems

マルチエージェントシステムのエンジニアリングにおける通信プロトコル言語の評価

On the Complexity of Learning a Class Ratio from Unlabeled Data

ラベルなしデータからのクラス比学習の複雑さについて

Adapting Behavior via Intrinsic Reward: A Survey and Empirical Study

内発的報酬による行動の適応：サーベイと実証研究

Reviewing Autoencoders for Missing Data Imputation: Technical Trends, Applications and Outcomes

欠損データ補完のためのオートエンコーダのレビュー：技術動向、応用、成果

Lifted Bayesian Filtering in Multiset Rewriting Systems

多重集合書き換えシステムにおけるリフテッドベイズフィルタリング

Adaptive Stress Testing: Finding Likely Failure Events with Reinforcement Learning

適応型ストレステスト：強化学習を用いた起こりやすい障害イベントの発見

A Differential Privacy Mechanism that Accounts for Network Effects for Crowdsourcing Systems

クラウドソーシングシステムにおけるネットワーク効果を考慮した差分プライバシーメカニズム

Epistemic Argumentation Framework: Theory and Computation

認識論的論証フレームワーク：理論と計算

Contiguous Cake Cutting: Hardness Results and Approximation Algorithms

連続ケーキカット：困難性結果と近似アルゴリズム

Representing Fitness Landscapes by Valued Constraints to Understand the Complexity of Local Search

局所的な複雑さを理解するための評価制約による適応度地形の表現検索

Credibility-limited Base Revision: New Classes and Their Characterizations

信頼性制限ベースの修正：新しいクラスとその特徴づけ

Point at the Triple: Generation of Text Summaries from Knowledge Base Triples

トリプルを指摘：知識ベーストリプルからのテキスト要約の生成

Vol. 70 (2021)

Constrained Multiagent Markov Decision Processes: a Taxonomy of Problems and Algorithms

制約付きマルチエージェント・マルコフ決定過程：問題とアルゴリズムの分類

Safe Multi-Agent Pathfinding with Time Uncertainty

時間的不確実性を伴う安全なマルチエージェント経路探索

On the Evolvability of Monotone Conjunctions with an Evolutionary Mutation Mechanism

進化的突然変異メカニズムによる単調接続詞の進化可能性について

Taking Principles Seriously: A Hybrid Approach to Value Alignment in Artificial Intelligence

原則を真摯に受け止める：人工知能における価値整合へのハイブリッドアプローチ

A Sufficient Statistic for Influence in Structured Multiagent Environments

構造化マルチエージェント環境における影響力の十分な統計量

Integrated Offline and Online Decision Making under Uncertainty

不確実性下におけるオフラインとオンラインの統合意思決定

Efficient Large-Scale Multi-Drone Delivery using Transit Networks

交通ネットワークを用いた効率的な大規模マルチドローン配送

Two-facility Location Games with Minimum Distance Requirement

最小距離要件を伴う2施設ロケーションゲーム

Classifier Chains: A Review and Perspectives

分類器連鎖：レビューと展望

Superintelligence Cannot be Contained: Lessons from Computability Theory

超知能は封じ込められない：計算可能性理論からの教訓

Regarding Goal Bounding and Jump Point Search

目標境界設定とジャンプポイント探索について

Generic Constraint-based Block Modeling using Constraint Programming

制約プログラミングを用いた汎用制約ベースブロックモデリング

On the Distortion Value of Elections with Abstention

棄権を伴う選挙の歪み値について

An External Knowledge Enhanced Graph-based Neural Network for Sentence Ordering

文順序付けのための外部知識強化グラフベースニューラルネットワーク

General Value Function Networks

一般価値関数ネットワーク

On Super Strong ETH

超強力ETHについて

Benchmark and Survey of Automated Machine Learning Frameworks

自動化機械学習フレームワークのベンチマークと調査

Hybrid-order Network Consensus for Distributed Multi-agent Systems

分散マルチエージェントのためのハイブリッド順序ネットワークコンセンサスシステム

The Computational Complexity of Understanding Binary Classifier Decisions

バイナリ分類器の決定を理解するための計算複雑性

Efficient Multi-objective Reinforcement Learning via Multiple-gradient Descent with Iteratively Discovered Weight-Vector Sets

反復的に発見される重みベクトルセットを用いた多重勾配降下法による効率的な多目的強化学習

A Survey on the Explainability of Supervised Machine Learning

教師あり機械学習の説明可能性に関するサーベイ

Learning Temporal Causal Sequence Relationships from Real-Time Time-Series

リアルタイム時系列からの時系列因果関係の学習

Cost-optimal Planning, Delete Relaxation, Approximability, and Heuristics

コスト最適計画、削除緩和、近似可能性、およびヒューリスティック

Labeled Bipolar Argumentation Frameworks

ラベル付き双極性議論フレームワーク

MADRaS : Multi Agent Driving Simulator

MADRaS：マルチエージェントドライビングシミュレーター

Loss Functions, Axioms, and Peer Review

損失関数、公理、ピアレビュー

Efficient Retrieval of Matrix Factorization-Based Top-k Recommendations: A Survey of Recent Approaches

行列分解に基づくTop-kレコメンデーションの効率的な取得：最近のアプローチのサーベイ

Aggregation over Metric Spaces: Proposing and Voting in Elections, Budgeting, and Legislation

距離空間における集約：選挙、予算編成、立法における提案と投票

Confident Learning: Estimating Uncertainty in Dataset Labels

自信のある学習：データセットラベルの不確実性の推定

Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting

一次書き換えによるDL-Liteオントロジーのインスタンスレベル更新

The AI Liability Puzzle and A Fund-Based Work-Around

AI負債パズルとファンドベースの回避策

Weighted First-Order Model Counting in the Two-Variable Fragment With Counting Quantifiers

計数量化子を用いた2変数フラグメントにおける重み付き一次モデル計数

Strategyproof Mechanisms for Additively Separable and Fractional Hedonic Games

加法的に分離可能かつ分数的ヘドニックゲームのための戦略証明メカニズム

Liquid Democracy: An Algorithmic Perspective

流動的民主主義：アルゴリズム的視点

Zone pAth Construction (ZAC) based Approaches for Effective Real-Time Ridesharing

効果的なリアルタイムライドシェアリングのためのZone pAth構築（ZAC）に基づくアプローチ

Computational Complexity of Computing Symmetries in Finite-Domain Planning

計算論的有限領域計画における対称性の計算の複雑さ

Lilotane: A Lifted SAT-based Approach to Hierarchical Planning

Lilotane：階層的計画へのリフト型SATベースのアプローチ

Induction and Exploitation of Subgoal Automata for Reinforcement Learning

強化学習のためのサブゴールオートマトンによる誘導と活用

The Societal Implications of Deep Reinforcement Learning

深層強化学習の社会的影響

On the Decomposition of Abstract Dialectical Frameworks and the Complexity of Naive-based Semantics

抽象弁証法的枠組みの分解とナイーブベース意味論の複雑性について

Vol. 71 (2021)

Bribery and Control in Stable Marriage

安定した結婚における賄賂と支配

Agent-Based Markov Modeling for Improved COVID-19 Mitigation Policies

COVID-19対策の改善のためのエージェントベース・マルコフモデリング

Evaluating Strategic Structures in Multi-Agent Inverse Reinforcement Learning

マルチエージェント逆強化学習における戦略構造の評価

Efficient Local Search based on Dynamic Connectivity Maintenance for Minimum Connected Dominating Set

最小連結支配集合のための動的連結性維持に基づく効率的な局所探索

Set-to-Sequence Methods in Machine Learning: A Review

機械学習におけるセット・ツー・シーケンス法：レビュー

Merge-and-Shrink: A Compositional Theory of Transformations of Factored Transition Systems

マージ・アンド・シュリンク：因子化遷移システムの変換に関する構成理論

Dimensional Inconsistency Measures and Postulates in Spatio-Temporal Databases

次元時空間データベースにおける不整合尺度と公理

Goal Recognition for Deceptive Human Agents through Planning and Gaze

計画と視線による欺瞞的な人間エージェントの目標認識

Improving the Effectiveness and Efficiency of Stochastic Neighbour Embedding with Isolation Kernel

アイソレーションカーネルを用いた確率的近傍埋め込みの有効性と効率性の向上

Ethics and Governance of Artificial Intelligence: Evidence from a Survey of Machine Learning Researchers

人工知能の倫理とガバナンス：機械学習研究者への調査からのエビデンス

Conceptual Modeling of Explainable Recommender Systems: An Ontological Formalization to Guide Their Design and Development

説明可能なレコメンデーションシステムの概念モデリング：設計と開発を導くオントロジー的形式化

Intelligence in Strategic Games

戦略ゲームにおける知性

EpidemiOptim: A Toolbox for the Optimization of Control Policies in Epidemiological Models

EpidemiOptim：疫学モデルにおける制御ポリシーの最適化のためのツールボックス

Confronting Abusive Language Online: A Survey from the Ethical and Human Rights Perspective

オンライン上の暴言への対処：倫理的および人権的観点からの調査

Game Plan: What AI can do for Football, and What Football can do for AI

ゲームプラン：AIがサッカーにできること、そしてサッカーがAIにできること

Representative Committees of Peers

ピアの代表委員会

Multi-Document Summarization with Determinantal Point Process Attention

行列式点過程アテンションを用いた複数文書要約

A Tight Bound for Stochastic Submodular Cover

確率的劣モジュラ被覆のタイトバウンド

Playing Codenames with Language Graphs and Word Embeddings

言語グラフと単語埋め込みを用いたコードネームの遊び方

Declarative Algorithms and Complexity Results for Assumption-Based Argumentation

仮定に基づく議論のための宣言的アルゴリズムと複雑性の結果

RWNE: A Scalable Random-Walk based Network Embedding Framework with Personalized Higher-order Proximity Preserved

RWNE：パーソナライズされた高階近接性を保持する、スケーラブルなランダムウォークベースのネットワーク埋め込みフレームワーク

Measuring the Occupational Impact of AI: Tasks, Cognitive Abilities and AI Benchmarks

AIの職業的影響の測定：タスク、認知能力、そしてAIベンチマーク

Viewpoint: AI as Author – Bridging the Gap Between Machine Learning and Literary Theory

視点：著者としてのAI ― 機械学習と文学理論のギャップを埋める

Welfare Guarantees in Schelling Segregation

シェリング分離における福祉保証

Learning over No-Preferred and Preferred Sequence of Items for Robust Recommendation

ロバストな推薦のための、非選好および選好のアイテムシーケンスの学習

Trends in Integration of Vision and Language Research: A Survey of Tasks, Datasets, and Methods

視覚と言語研究の統合における動向：タスク、データセット、そして手法の概観

Socially Responsible AI Algorithms: Issues, Purposes, and Challenges

社会的に責任のあるAIアルゴリズム：課題、目的、そして課題

Probabilistic Temporal Networks with Ordinary Distributions: Theory, Robustness and Expected Utility

通常分布を持つ確率的時系列ネットワーク：理論、ロバスト性、期待効用

Election Manipulation on Social Networks: Seeding, Edge Removal, Edge Addition

ソーシャルネットワークにおける選挙操作：シーディング、エッジ削除、エッジ追加

On the Cluster Admission Problem for Cloud Computing

クラウドコンピューティングにおけるクラスター参加問題について

Vol. 72 (2021)

Worst-case Bounds on Power vs. Proportion in Weighted Voting Games with an Application to False-name Manipulation

重み付き投票ゲームにおけるパワー対割合の最悪ケース境界とその応用偽名操作

Graph Kernels: A Survey

グラフカーネル：サーベイ

Flexible Bayesian Nonlinear Model Configuration

柔軟なベイズ非線形モデル構成

Experimental Comparison and Survey of Twelve Time Series Anomaly Detection Algorithms

12種類の時系列異常検出アルゴリズムの実験的比較とサーベイ

Task-Aware Verifiable RNN-Based Policies for Partially Observable Markov Decision Processes

部分観測マルコフ決定過程のためのタスク対応検証可能RNNベースポリシー

Multi-Label Classification Neural Networks with Hard Logical Constraints

厳密な論理制約を伴うマルチラベル分類ニューラルネットワーク

Analysis of the Impact of Randomization of Search-Control Parameters in Monte-Carlo Tree Search

モンテカルロ木探索における探索制御パラメータのランダム化の影響の分析

Finding the Hardest Formulas for Resolution

解を求めるための最も困難な公式の発見

Output Space Entropy Search Framework for Multi-Objective Bayesian Optimization

多目的ベイズ最適化のための出力空間エントロピー探索フレームワーク

Multilabel Classification with Partial Abstention: Bayes-Optimal Prediction under Label Independence

部分棄権を伴うマルチラベル分類：ラベル独立性の下でのベイズ最適予測

Contrastive Explanations of Plans through Model Restrictions

モデル制約による計画の対照的説明

Optimally Deceiving a Learning Leader in Stackelberg Games

スタックベルグゲームにおける学習リーダーの最適欺瞞

Optimal Any-Angle Pathfinding on a Sphere

球面上の最適任意角度経路探索

NLP Methods for Extraction of Symptoms from Unstructured Data for Use in Prognostic COVID-19 Analytic Models

COVID-19の予後分析モデルに用いるための非構造化データからの症状抽出のためのNLP手法

A Semi-exact Algorithm for Quickly Computing A Maximum Weight Clique in Large Sparse Graphs

大規模スパースグラフにおける最大重みクリークを高速に計算する半正確なアルゴリズム

A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical Systems

サイバーフィジカルシステムのブラックボックス安全性検証アルゴリズムのサーベイ

sunny-as2: Enhancing SUNNY for Algorithm Selection

sunny-as2: アルゴリズム選択のためのSUNNYの拡張

On Quantifying Literals in Boolean Logic and its Applications to Explainable AI

リテラルの量化についてブール論理と説明可能なAIへの応用

Relevance in Belief Update

超次元コンピューティングの理論的観点

Pure Nash Equilibria in Resource Graph Games

リソースグラフゲームにおける純粋ナッシュ均衡

Constraint-based Diversification of JOP Gadgets

JOPガジェットの制約に基づく多様化

Learning from Disagreement: A Survey

不一致からの学習：サーベイ

On the Computational Complexity of Non-Dictatorial Aggregation

非独裁的集約の計算複雑性について

The Rediscovery Hypothesis: Language Models Need to Meet Linguistics

再発見仮説：言語モデルは言語学と合致する必要がある

Quantum Mathematics in Artificial Intelligence

人工知能における量子数学

A Word Selection Method for Producing Interpretable Distributional Semantic Word Vectors

解釈可能な分布的意味単語ベクトルを生成するための単語選択法

Learning Optimal Decision Sets and Lists with SAT

SATを用いた最適決定集合とリストの学習

On the Online Coalition Structure Generation Problem

オンライン提携構造生成問題について

Learning Realistic Patterns from Visually Unrealistic Stimuli: Generalization and Data Anonymization

視覚的に非現実的な刺激から現実的なパターンを学習：一般化とデータ匿名化

Reasoning with PCP-Nets

PCPネットを用いた推論

Teaching People by Justifying Tree Search Decisions: An Empirical Study in Curling

木探索決定の正当化による学習：カーリングの実証的研究

Steady-State Planning in Expected Reward Multichain MDPs

期待報酬型マルチチェーンMDPにおける定常状態計画

Optimizing for Interpretability in Deep Neural Networks with Tree Regularization

ツリー正則化を用いたディープニューラルネットワークにおける解釈可能性の最適化

Vol. 73 (2022)

Incremental Event Calculus for Run-Time Reasoning

実行時推論のための増分イベント計算

Get out of the BAG! Silos in AI Ethics Education: Unsupervised Topic Modeling Analysis of Global AI Curricula

バッグから出よう！ AI倫理教育におけるサイロ：グローバルAIカリキュラムの教師なしトピックモデリング分析

Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications

戦略能力のモデル検証における完全想起の近似：理論と応用

Computational Benefits of Intermediate Rewards for Goal-Reaching Policy Learning

目標達成型政策学習における中間報酬の計算上の利点

Scalable Online Planning for Multi-Agent MDPs

マルチエージェントMDPのためのスケーラブルなオンラインプランニング

Survey and Evaluation of Causal Discovery Methods for Time Series

時系列データに対する因果発見手法のサーベイと評価

SAMBA: A Generic Framework for Secure Federated Multi-Armed Bandits

SAMBA：セキュアな連合型多腕バンディットのための汎用フレームワーク

Some Inapproximability Results of MAP Inference and Exponentiated Determinantal Point Processes

MAP推論と指数行列式点過程における近似不可能性の結果

Online Relaxation Refinement for Satisficing Planning: On Partial Delete Relaxation, Complete Hill-Climbing, and Novelty Pruning

満足度プランニングのためのオンライン緩和法の改良：部分削除緩和法、完全ヒルクライミング法、新規性枝刈りについて

Visually Grounded Models of Spoken Language: A Survey of Datasets, Architectures and Evaluation Techniques

視覚的にグラウンディングされた話し言葉モデル：データセット、アーキテクチャ、評価手法のサーベイ

Fine-grained Prediction of Political Leaning on Social Media with Unsupervised Deep Learning

教師なしディープラーニングを用いたソーシャルメディアにおける政治的傾向のきめ細かな予測

Viewpoint: Ethical By Designer – How to Grow Ethical Designers of Artificial Intelligence

視点：設計者による倫理的思考 – 倫理的な人工知能設計者を育てる方法

Migrating Techniques from Search-based Multi-Agent Path Finding Solvers to SAT-based Approach

探索ベースのマルチエージェント経路探索ソルバーからSATベースのアプローチへの移行手法

Sum-of-Products with Default Values: Algorithms and Complexity Results

デフォルト値付き積和：アルゴリズムと複雑性の結果

CASA: Conversational Aspect Sentiment Analysis for Dialogue Understanding

CASA：対話理解のための会話アスペクト感情分析

Neural Character-Level Syntactic Parsing for Chinese

中国語向けニューラル文字レベル構文解析

Image Captioning as an Assistive Technology: Lessons Learned from VizWiz 2020 Challenge

支援技術としての画像キャプション：VizWiz 2020チャレンジから学んだ教訓

Automatic Recognition of the General-Purpose Communicative Functions Defined by the ISO 24617-2 Standard for Dialog Act Annotation

対話行為注釈のためのISO 24617-2規格で定義された汎用コミュニケーション機能の自動認識

Explainable Deep Learning: A Field Guide for the Uninitiated

説明可能ディープラーニング：初心者のためのフィールドガイド

A Survey of Opponent Modeling in Adversarial Domains

敵対的領域における対戦相手モデリングのサーベイ

Preferences Single-Peaked on a Tree: Multiwinner Elections and Structural Results

木構造上の単峰性選好：複数勝者選挙と構造的結果

Doubly Robust Crowdsourcing

二重にロバストなクラウドソーシング

Reward Machines: Exploiting Reward Function Structure in Reinforcement Learning

報酬マシン：強化学習における報酬関数構造の活用

FFCI: A Framework for Interpretable Automatic Evaluation of Summarization

FFCI：要約の解釈可能な自動評価のためのフレームワーク

Multilingual Machine Translation: Deep Analysis of Language-Specific Encoder-Decoders

多言語機械翻訳：言語固有のエンコーダー・デコーダーの深層分析

A Logic-Based Explanation Generation Framework for Classical and Hybrid Planning Problems

古典的およびハイブリッド計画問題のためのロジックベースの説明生成フレームワーク

Adversarial Framework with Certified Robustness for Time-Series Domain via Statistical Features

統計的特徴量を用いた時系列領域に対するロバスト性保証付き敵対的フレームワーク

Agent-Based Modeling for Predicting Pedestrian Trajectories Around an Autonomous Vehicle

自動運転車周辺の歩行者軌跡予測のためのエージェントベースモデリング

Marginal Distance and Hilbert-Schmidt Covariances-Based Independence Tests for Multivariate Functional Data

多変量関数データに対する周辺距離とヒルベルト・シュミット共分散に基づく独立性検定

A Metric Space for Point Process Excitations

点過程励起のための距離空間

The Application of Machine Learning Techniques for Predicting Match Results in Team Sport: A Review

チームスポーツにおける試合結果予測への機械学習技術の応用：レビュー

Fairness in Influence Maximization through Randomization

ランダム化による影響力最大化における公平性

Multiobjective Tree-Structured Parzen Estimator

多目的木構造パルゼン推定量

Jointly Learning Environments and Control Policies with Projected Stochastic Gradient Ascent

投影確率的勾配上昇法を用いた環境と制御方策の共同学習

Neural Natural Language Generation: A Survey on Multilinguality, Multimodality, Controllability and Learning

ニューラル自然言語生成：多言語性、マルチモーダル性、制御性、学習に関する概説

On the Indecisiveness of Kelly-Strategyproof Social Choice Functions

ケリー戦略証明可能な社会的選択関数の優柔不断性について

Predicting Decisions in Language Based Persuasion Games

言語ベース説得ゲームにおける意思決定の予測

Ranking Sets of Objects: The Complexity of Avoiding Impossibility Results

オブジェクト集合のランキング：不可能結果を回避する複雑さ

Vol. 74 (2022)

Admissibility in Probabilistic Argumentation

確率的議論における許容性

Path Counting for Grid-Based Navigation

パスカウントグリッドベースナビゲーション

FOND Planning with Explicit Fairness Assumptions

明示的な公平性仮定を用いたFONDプランニング

On the Tractability of SHAP Explanations

SHAP説明の扱いやすさについて

Inductive Logic Programming At 30: A New Introduction

帰納的論理プログラミング30周年：新たな入門

Rethinking Fairness: An Interdisciplinary Survey of Critiques of Hegemonic ML Fairness Approaches

公平性の再考：覇権的ML公平性アプローチに対する批判の学際的サーベイ

Cooperation and Learning Dynamics under Wealth Inequality and Diversity in Individual Risk

富の不平等と個人リスクの多様性下における協力と学習のダイナミクス

Planning with Critical Section Macros: Theory and Practice

クリティカルセクションマクロを用いたプランニング：理論と実践

Fast Adaptive Non-Monotone Submodular Maximization Subject to a Knapsack Constraint

ナップザック制約に従う高速適応型非単調劣モジュラ最大化

Out of Context: A New Clue for Context Modeling of Aspect-based Sentiment Analysis

文脈外：アスペクトベース感情分析のコンテキストモデリングのための新たな手がかり

Finding and Recognizing Popular Coalition Structures

自動強化学習（AutoRL）：サーベイと未解決問題

Core Challenges in Embodied Vision-Language Planning

具体化された視覚言語プランニングにおける中核的課題

Objective Bayesian Nets for Integrating Consistent Datasets

一貫性のあるデータセットを統合するための客観ベイジアンネット

Ordinal Maximin Share Approximation for Goods

財の順序最大シェア近似

Adaptive Greedy versus Non-adaptive Greedy for Influence Maximization

影響力最大化のための適応型貪欲法と非適応型貪欲法

Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem

企業間会議スケジュール問題への制約解決アプローチ

A Few Queries Go a Long Way: Information-Distortion Tradeoffs in Matching

少数のクエリで大きな成果：マッチングにおける情報歪みのトレードオフ

Efficient Learning of Interpretable Classification Rules

解釈可能な分類ルールの効率的な学習

Pricing Problems with Buyer Preselection

購入者の事前選択を伴う価格設定問題

Proactive Dynamic Distributed Constraint Optimization Problems

プロアクティブ動的分散制約最適化問題

The Computational Complexity of ReLU Network Training Parameterized by Data Dimensionality

データ次元でパラメータ化されたReLUネットワーク学習の計算複雑性

Synthesis and Properties of Optimally Value-Aligned Normative Systems

最適に価値整合された規範システムの合成と特性

C-Face: Using Compare Face on Face Hallucination for Low-Resolution Face Recognition

C-Face：顔と顔の比較幻覚を用いた低解像度顔認識

Threshold Treewidth and Hypertree Width

閾値ツリー幅とハイパーツリー幅

Classical Planning in Deep Latent Space

深層潜在空間における古典的プランニング

Joint Optimization of Concave Scalarized Multi-Objective Reinforcement Learning with Policy Gradient Based Algorithm

方策勾配ベースアルゴリズムを用いた凹型スカラー化多目的強化学習の同時最適化

Better Decision Heuristics in CDCL through Local Search and Target Phases

局所探索とターゲットフェーズによるCDCLにおけるより良い意思決定ヒューリスティック

Improving Simulated Annealing for Clique Partitioning Problems

クリーク分割問題に対するシミュレーテッドアニーリングの改良

Metric-Distortion Bounds under Limited Information

限定情報下におけるメトリック歪み境界

Avoiding Negative Side Effects of Autonomous Systems in the Open World

オープンワールドにおける自律システムの副作用の回避

Recursion in Abstract Argumentation is Hard — On the Complexity of Semantics Based on Weak Admissibility

抽象的議論における再帰は難しい — 弱許容性に基づく意味論の複雑性について

Crossing the Conversational Chasm: A Primer on Natural Language Processing for Multilingual Task-Oriented Dialogue Systems

会話のキャズムを越える：多言語タスク指向対話システムのための自然言語処理入門

HEBO: Pushing The Limits of Sample-Efficient Hyper-parameter Optimisation

HEBO：サンプル効率の高いハイパーパラメータ最適化の限界に挑戦

Learning Bayesian Networks Under Sparsity Constraints: A Parameterized Complexity Analysis

スパース制約下におけるベイジアンネットワークの学習：パラメータ化された複雑性分析

CoLLIE: Continual Learning of Language Grounding from Language-Image Embeddings

CoLLIE：言語画像埋め込みからの言語グラウンディングの継続学習

Autotelic Agents with Intrinsically Motivated Goal-Conditioned Reinforcement Learning: A Short Survey

内発的動機づけによる目標条件付き強化学習を行うオートテリックエージェント：概要

Evolutionary Dynamics and Phi-Regret Minimization in Games

ゲームにおける進化ダイナミクスとファイ・リグレット最小化

Fair Division of Indivisible Goods for a Class of Concave Valuations

凹状評価のクラスにおける不可分財の公平な分割

A Comprehensive Framework for Learning Declarative Action Models

宣言的行動モデル学習のための包括的フレームワーク

Supervised Visual Attention for Simultaneous Multimodal Machine Translation

同時マルチモーダル機械翻訳のための教師あり視覚的注意

Two-phase Multi-document Event Summarization on Core Event Graphs

コアイベントグラフにおける2段階マルチドキュメントイベント要約

Impact of Imputation Strategies on Fairness in Machine Learning

機械学習における公平性への代入戦略の影響

Multi-Agent Advisor Q-Learning

マルチエージェントアドバイザーQ学習

Vol. 75 (2022)

Reinforcement Learning from Optimization Proxy for Ride-Hailing Vehicle Relocation

配車サービス車両再配置のための最適化プロキシからの強化学習

Initialization of Feature Selection Search for Classification

分類のための特徴選択探索の初期化

Fair in the Eyes of Others

他者の視点から見た公平性

Creative Problem Solving in Artificially Intelligent Agents: A Survey and Framework

人工知能エージェントにおける創造的な問題解決：概要とフレームワーク

Interpretable Local Concept-based Explanation with Human Feedback to Predict All-cause Mortality

全死亡率予測のための、人間によるフィードバックを用いた解釈可能な局所概念に基づく説明

sEMG-Based Upper Limb Movement Classifier: Current Scenario and Upcoming Challenges

筋電図に基づく上肢運動分類器：現状と今後の課題

Computational Short Cuts in Infinite Domain Constraint Satisfaction

無限領域制約充足における計算的ショートカット

Solving the Watchman Route Problem with Heuristic Search

ウォッチマン・ルート問題のヒューリスティック探索による解法

DeepSym: Deep Symbol Generation and Rule Learning for Planning from Unsupervised Robot Interaction

DeepSym: 教師なしロボットインタラクションからの計画のための深層シンボル生成とルール学習

AAN+: Generalized Average Attention Network for Accelerating Neural Transformer

AAN+: ニューラル・トランスフォーマーの高速化のための一般化平均注意ネットワーク

Communication-Aware Local Search for Distributed Constraint Optimization

分散制約最適化のための通信を考慮した局所探索

Low-Rank Representation of Reinforcement Learning Policies

強化学習ポリシーの低ランク表現

Mean-Semivariance Policy Optimization via Risk-Averse Reinforcement Learning

リスク回避型強化学習による平均半分散ポリシー最適化

Planted Dense Subgraphs in Dense Random Graphs Can Be Recovered using Graph-based Machine Learning

グラフベース機械学習を用いた高密度ランダムグラフに埋め込まれた高密度サブグラフの復元

Planning with Perspectives — Decomposing Epistemic Planning using Functional STRIPS

視点に基づく計画 ― 関数型STRIPSを用いた認識論的計画の分解

A Survey of Methods for Automated Algorithm Configuration

自動アルゴリズム設定手法の調査

Domain Adaptation and Multi-Domain Adaptation for Neural Machine Translation: A Survey

ニューラル機械翻訳におけるドメイン適応とマルチドメイン適応：サーベイ

Multi-Agent Path Finding: A New Boolean Encoding

マルチエージェント経路探索：新しいブールエンコーディング

On Tackling Explanation Redundancy in Decision Trees

決定木における説明の冗長性への対処について

On Efficient Reinforcement Learning for Full-length Game of StarCraft II

StarCraft II フルレングスゲームのための効率的な強化学習について

Can We Automate Scientific Reviewing?

科学的レビューは自動化できるか？

The Complexity of Network Satisfaction Problems for Symmetric Relation Algebras with a Flexible Atom

柔軟なアトムを持つ対称関係代数におけるネットワーク満足問題の計算量

Automated Dynamic Algorithm Configuration

自動動的アルゴリズム構成

TOOLTANGO: Common sense Generalization in Predicting Sequential Tool Interactions for Robot Plan Synthesis

TOOLTANGO: ロボット計画合成のためのツールの連続的インタラクション予測における常識的一般化

Data-Driven Revision of Conditional Norms in Multi-Agent Systems

マルチエージェントシステムにおける条件付きノルムのデータ駆動型修正

The LM-Cut Heuristic Family for Optimal Numeric Planning with Simple Conditions

単純な条件による最適数値計画のためのLMカットヒューリスティックファミリー

Towards Continual Reinforcement Learning: A Review and Perspectives

継続的強化学習に向けて：レビューと展望

Proofs and Certificates for Max-SAT

Max-SATの証明と証明

Chance-constrained Static Schedules for Temporally Probabilistic Plans

時間的確率的計画のための確率制約付き静的スケジュール

Altruistic Hedonic Games

利他的快楽ゲーム

Towards Evidence Retrieval Cost Reduction in Abstract Argumentation Frameworks with Fallible Evidence

誤りのある証拠を用いた抽象的議論フレームワークにおける証拠検索コストの削減に向けて

First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries

2次元時系列オントロジーを介したクエリの一次書き換え可能性と複雑性

Strategy Graphs for Influence Diagrams

影響図のための戦略グラフ

Learning to Design Fair and Private Voting Rules

公平かつプライベートな投票ルールの設計学習

Asymmetric Action Abstractions for Planning in Real-Time Strategy Games

リアルタイム戦略ゲームにおける計画のための非対称行動抽象化

Motion Planning Under Uncertainty with Complex Agents and Environments via Hybrid Search

ハイブリッド探索による複雑なエージェントと環境における不確実性下での行動計画

Vol. 76 (2023)

Optimal and Efficient Auctions for the Gradual Procurement of Strategic Service Provider Agents

戦略的サービスプロバイダーエージェントの段階的調達のための最適かつ効率的なオークション

Fair Influence Maximization in Large-scale Social Networks Based on Attribute-aware Reverse Influence Sampling

属性を考慮した逆影響サンプリングに基づく大規模ソーシャルネットワークにおける公平な影響力最大化

Mining ℰℒ⊥ Bases with Adaptable Role Depth

適応型役割深度を持つℰℒ⊥基底のマイニング

Visualizing the Implicit Model Selection Tradeoff

暗黙的なモデル選択のトレードオフの可視化

Reviewer Assignment Problem: A Systematic Review of the Literature

査読者割り当て問題：文献の体系的レビュー

On the Complexity of Finding Set Repairs for Data-Graphs

データグラフの集合修復を求める複雑さについて

On the Evaluation of (Meta-)solver Approaches

(メタ)ソルバーアプローチの評価について

Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic

正規言語のFO書き換え可能性と線形時相論理におけるオントロジー介在クエリの決定

Liability Regimes in the Age of AI: a Use-Case Driven Analysis of the Burden of Proof

AI時代の責任制度：ユースケース駆動型分析立証責任

Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach

回答集合プログラミングにおけるドメイン固有のヒューリスティック：宣言的非単調アプローチ

On Fair Division under Heterogeneous Matroid Constraints

異種マトロイド制約下の公平な分割について

A Logic of East and West

東西の論理

Introduction to the Special Track on Artificial Intelligence and COVID-19

人工知能とCOVID-19に関する特別トラックの紹介

Finite Materialisability of Datalog Programs with Metric Temporal Operators

計量時相演算子を用いたデータログプログラムの有限実体化可能性

Generating Random SAT Instances: Multiple Solutions could be Predefined and Deeply Hidden

ランダムSATインスタンスの生成：複数の解が事前定義され、深層に隠蔽される可能性がある

Distributed Bayesian: A Continuous Distributed Constraint Optimization Problem Solver

分散ベイズ：連続分散制約最適化問題ソルバー

Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions

形式的抽象化による非ガウスノイズを含む動的システムのロバスト制御

Favoring Eagerness for Remaining Items: Designing Efficient, Fair, and Strategyproof Mechanisms

残りの項目に対するEagernessの優先：効率的、公平、かつ戦略耐性のあるメカニズムの設計

Characterizing Tseitin-Formulas with Short Regular Resolution Refutations

短い正規解反証を用いたTseitin式の特徴づけ

A Survey of Zero-shot Generalisation in Deep Reinforcement Learning

深層強化学習におけるゼロショット汎化の概観

Viewpoint: Artificial Intelligence Accidents Waiting to Happen?

視点：人工知能事故はいつ起こるか？

A Survey on Understanding and Representing Privacy Requirements in the Internet-of-Things

IoTにおけるプライバシー要件の理解と表現に関する調査

QNLP in Practice: Running Compositional Models of Meaning on a Quantum Computer

QNLPの実践：量子コンピュータ上で意味の構成モデルを実行する

FactGen: Faithful Text Generation by Factuality-aware Pre-training and Contrastive Ranking Fine-tuning

FactGen：事実性を考慮した事前学習と対照的ランキングの微調整による忠実なテキスト生成

Fairness in Forecasting of Observations of Linear Dynamical Systems

線形動的システムの観測予測における公平性

Fair and Efficient Allocation of Scarce Resources Based on Predicted Outcomes: Implications for Homeless Service Delivery

予測結果に基づく希少資源の公平かつ効率的な配分：ホームレス支援サービス提供への示唆

An Overview of Environmental Features that Impact Deep Reinforcement Learning in Sparse-Reward Domains

スパース報酬領域における深層強化学習に影響を与える環境特性の概要

A Practical Approach to Discretised PDDL+ Problems by Translation to Numeric Planning

数値計画への変換による離散化PDDL+問題への実践的アプローチ

Measuring Fairness Under Unawareness of Sensitive Attributes: A Quantification-Based Approach

センシティブな属性を認識しない状況での公平性の測定：定量化に基づくアプローチ

Coopetition Against an Amazon

アマゾンに対する協調競争

Negative Human Rights as a Basis for Long-term AI Safety and Regulation

長期的なAIの安全性と規制の基盤としての否定的人権

Decentralized Gradient-Quantization Based Matrix Factorization for Fast Privacy-Preserving Point-of-Interest Recommendation

高速化のための分散勾配量子化に基づく行列分解プライバシー保護を考慮した関心地点の推奨

Lifted Reasoning for Combinatorial Counting

組み合わせ計数のためのリフト推論

Vol. 77 (2023)

Information Lattice Learning

情報格子学習

SAlign: A Graph Neural Attention Framework for Aligning Structurally Heterogeneous Networks

SAlign：構造的に異質なネットワークをアラインメントするためのグラフニューラルアテンションフレームワーク

Equivalence in Argumentation Frameworks with a Claim-centric View: Classical Results with Novel Ingredients

主張中心の議論フレームワークにおける同値性表示：新しい要素を用いた古典的な結果

MDP Playground: An Analysis and Debug Testbed for Reinforcement Learning

MDPプレイグラウンド：強化学習のための分析およびデバッグテストベッド

Your College Dorm and Dormmates: Fair Resource Sharing with Externalities

あなたの大学寮と寮生：外部要因を考慮した公平な資源共有

The Jiminy Advisor: Moral Agreements among Stakeholders Based on Norms and Argumentation

ジミニーアドバイザー：規範と議論に基づく利害関係者間の道徳的合意

Exploiting Action Impact Regularity and Exogenous State Variables for Offline Reinforcement Learning

オフライン強化学習における行動影響規則性と外生状態変数の活用

First-Order Context-Specific Likelihood Weighting in Hybrid Probabilistic Logic Programs

ハイブリッド確率論理プログラムにおける一次コンテキスト依存尤度重み付け

FlexiBO: A Decoupled Cost-Aware Multi-Objective Optimization Approach for Deep Neural Networks

FlexiBO：ディープニューラルネットワークのための分離型コスト考慮多目的最適化アプローチ

On Dynamics in Structured Argumentation Formalisms

構造化議論形式におけるダイナミクスについて

A Markov Framework for Learning and Reasoning About Strategies in Professional Soccer

プロサッカーにおける戦略の学習と推論のためのマルコフフレームワーク

Stackelberg Security Games with Contagious Attacks on a Network: Reallocation to the Rescue

ネットワーク上の伝染性攻撃を伴うスタックベルグセキュリティゲーム：再配分による救済

The Complexity of Matching Games: A Survey

マッチングゲームの複雑性：サーベイ

Towards Green Automated Machine Learning: Status Quo and Future Directions

グリーン自動機械学習に向けて：現状と将来方向

Contract Scheduling with Predictions

予測に基づく契約スケジューリング

FlexiBERT: Are Current Transformer Architectures too Homogeneous and Rigid?

FlexiBERT：変流器アーキテクチャは均質かつ硬直的すぎるのか？

Your Prompt is My Command: On Assessing the Human-Centred Generality of Multimodal Models

あなたの指示は私の命令：マルチモーダルモデルの人間中心の一般性の評価について

Efficient Multi-Goal Reinforcement Learning via Value Consistency Prioritization

価値一貫性優先付けによる効率的なマルチゴール強化学習

On Centralized Critics in Multi-Agent Reinforcement Learning

マルチエージェント強化学習における集中型批評について

Semiring Reasoning Frameworks in AI and Their Computational Complexity

AIにおけるセミリング推論フレームワークとその計算複雑性

Prediction of Social Dynamic Agents and Long-Tailed Learning Challenges: A Survey

社会動的エージェントの予測とロングテール学習の課題：サーベイ

Computational Modelling of Quantifier Use: Corpus, Models, and Evaluation

量指定子使用の計算モデル化：コーパス、モデル、評価

Automatically Finding the Right Probabilities in Bayesian Networks

ベイジアンネットワークにおける適切な確率の自動発見

Optimality Guarantees for Particle Belief Approximation of POMDPs

POMDPの粒子確率近似における最適性保証

Certified Dominance and Symmetry Breaking for Combinatorial Optimisation

組合せ最適化における優位性と対称性の証明

Improved Peel-and-Bound: Methods for Generating Dual Bounds with Multivalued Decision Diagrams

改良型ピールアンドバウンド法：多値決定図を用いた双対境界生成法

Classes of Hard Formulas for QBF Resolution

QBF解決のためのハードフォーミュラのクラス

Qualitative Reasoning about 2D Cardinal Directions using Answer Set Programming

解集合プログラミングを用いた2次元方位に関する定性推論

Dynamic Controllability of Temporal Plans in Uncertain and Partially Observable Environments

不確実かつ部分観測環境における時間計画の動的制御可能性

Program Synthesis with Best-First Bottom-Up Search

プログラム合成ベストファースト・ボトムアップ探索

Complexity of Computing the Shapley Value in Partition Function Form Games

分割関数形式ゲームにおけるシャプレー値の計算の複雑さ

Hierarchical Decompositions and Termination Analysis for Generalized Planning

一般化計画のための階層的分解と停止分析

How to DP-fy ML: A Practical Guide to Machine Learning with Differential Privacy

機械学習をDP化する方法：差分プライバシーを備えた機械学習の実践ガイド

Mimicking Behaviors in Separated Domains

分離された領域における行動の模倣

Repairing the Cracked Foundation: A Survey of Obstacles in Evaluation Practices for Generated Text

ひび割れた基盤の修復：生成テキストの評価実践における障害の調査

A Model to Support Collective Reasoning: Formalization, Analysis and Computational Assessment

集団推論を支援するモデル：形式化、分析、計算評価

Object-agnostic Affordance Categorization via Unsupervised Learning of Graph Embeddings

グラフ埋め込みの教師なし学習によるオブジェクトに依存しないアフォーダンス分類

Vol. 78 (2023)

Achieving Zero Constraint Violation for Concave Utility Constrained Reinforcement Learning via Primal-Dual Approach

凹型効用制約付き強化学習におけるプライマル・デュアルアプローチによる制約違反ゼロの実現

A General Model for Aggregating Annotations Across Simple, Complex, and Multi-Object Annotation Tasks

単純、複雑、および複数オブジェクトのアノテーションタスクにわたるアノテーション集約のための一般モデル

On Expected Value Strong Controllability

期待値の強い制御性について

Graphmax for Text Generation

テキスト生成のためのGraphmax

A Survey of Learning Criteria Going Beyond the Usual Risk

通常のリスクを超えた学習基準の概説

Generalizing Group Fairness in Machine Learning via Utilities

効用を用いた機械学習におけるグループ公平性の一般化

Efficiently Explaining CSPs with Unsatisfiable Subset Optimization

不満足な部分集合最適化を用いたCSPの効率的な説明

Sequence-Oriented Diagnosis of Discrete-Event Systems

離散事象システムのシーケンス指向診断

On the Parallel Parameterized Complexity of MaxSAT Variants

MaxSATバリアントの並列パラメータ化複雑性について

Actor Prioritized Experience Replay

アクター優先体験再生

Maximisation of Admissible Multi-Objective Heuristics

許容可能な多目的ヒューリスティックの最大化

Scalable Neural-Probabilistic Answer Set Programming

スケーラブルなニューラル確率的回答セットプログラミング

Maintenance of Plan Libraries for Case-Based Planning: Offline and Online Policies

事例ベースプランニングのためのプランライブラリの保守：オフラインおよびオンラインポリシー

Asymptotics of K-Fold Cross Validation

K分割交差検証の漸近解析

Diagnosing AI Explanation Methods with Folk Concepts of Behavior

行動のフォーク概念を用いたAI説明手法の診断

How to Tell Easy from Hard: Complexities of Conjunctive Query Entailment in Extensions of ALC

容易と困難を見分ける方法：ALC拡張における連言クエリ含意の複雑性

A Benchmark Study on Knowledge Graphs Enrichment and Pruning Methods in the Presence of Noisy Relationships

ベンチマーク研究ノイズの多い関係性が存在する場合の知識グラフのエンリッチメントとプルーニング手法について

Non-Crossing Anonymous MAPF for Tethered Robots

テザーロボットのための非交差匿名MAPF

A Comprehensive Survey on Deep Graph Representation Learning Methods

深層グラフ表現学習手法に関する包括的調査

Select and Augment: Enhanced Dense Retrieval Knowledge Graph Augmentation

選択と拡張：強化された高密度検索知識グラフ拡張

Embedding Ontologies in the Description Logic ALC by Axis-Aligned Cones

軸平行円錐による記述論理ALCへのオントロジーの埋め込み

Amortized Variational Inference: A Systematic Review

償却変分推論：系統的レビュー

Clustering what Matters: Optimal Approximation for Clustering with Outliers

重要なクラスタリング：外れ値を含むクラスタリングの最適近似

Collective Belief Revision

集団的信念修正

Competitive Equilibria with a Constant Number of Chores

一定数の作業を伴う競争均衡

A Unified Linear Speedup Analysis of Federated Averaging and Nesterov FedAvg

Federated AveragingとNesterov FedAvgの統合線形高速化分析

Online Bin Packing with Predictions

予測を伴うオンラインビンパッキング

Improving Resource Allocations by Sharing in Pairs

ペア共有によるリソース割り当ての改善

Exploiting Cultural Biases via Homoglyphs in Text-to-Image Synthesis

テキスト画像合成におけるホモグリフを介した文化的バイアスの活用

Exploiting Functional Constraints in Automatic Dominance Breaking for Constraint Optimization

制約最適化のための自動優位性破壊における機能的制約の活用

Vol. 79 (2024)

Cultural Bias in Explainable AI Research: A Systematic Analysis

説明可能なAI研究における文化的バイアス：体系的分析

Learning to Resolve Social Dilemmas: A Survey

社会的ジレンマ解決の学習：サーベイ

A Principled Distributional Approach to Trajectory Similarity Measurement and its Application to Anomaly Detection

軌跡類似度測定への原理的分布アプローチと異常検出への応用

Multi-Modal Attentive Prompt Learning for Few-shot Emotion Recognition in Conversations

会話における少数ショットの感情認識のためのマルチモーダル注意プロンプト学習

conDENSE: Conditional Density Estimation for Time Series Anomaly Detection

conDENSE：時系列異常検出のための条件付き密度推定

Performative Ethics From Within the Ivory Tower: How CS Practitioners Uphold Systems of Oppression

象牙の塔からの遂行倫理：コンピュータサイエンス実践者が抑圧システムをどのように維持しているか

Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach

POMDPにおけるポリシーガイダンスのための学習ロジック仕様：帰納的論理プログラミングアプローチ

Principles and their Computational Consequences for Argumentation Frameworks with Collective Attacks

集団攻撃を伴う議論フレームワークの原理とその計算結果

Multi-Objective Reinforcement Learning Based on Decomposition: A Taxonomy and Framework

分解に基づく多目的強化学習：分類とフレームワーク

Can Fairness be Automated? Guidelines and Opportunities for Fairness-aware AutoML

公平性は自動化できるか？公平性を考慮したAutoMLのガイドラインと可能性

Practical and Parallelizable Algorithms for Non-Monotone Submodular Maximization with Size Constraint

サイズ制約付き非単調劣モジュラー最大化のための実用的かつ並列化可能なアルゴリズム

Exploring the Tradeoff Between System Profit and Income Equality Among Ride-hailing Drivers

配車サービスドライバーのシステム利益と所得平等のトレードオフの探究

On Mitigating the Utility-Loss in Differentially Private Learning: A New Perspective by a Geometrically Inspired Kernel Approach

差分プライバシー学習における効用損失の軽減について：新たな視点幾何学に着想を得たカーネルアプローチ

An Algorithm with Improved Complexity for Pebble Motion/Multi-Agent Path Finding on Trees

木におけるペブルモーション/マルチエージェント経路探索のための複雑性を改善したアルゴリズム

Weighted, Circular and Semi-Algebraic Proofs

重み付き証明、循環証明、半代数的証明

Reinforcement Learning for Generative AI: State of the Art, Opportunities and Open Research Challenges

生成AIのための強化学習：最先端技術、機会、そして未解決の研究課題

The AI Race: Why Current Neural Network-based Architectures are a Poor Basis for Artificial General Intelligence

AI競争：現在のニューラルネットワークベースのアーキテクチャが汎用人工知能の基盤として不十分な理由

Human-in-the-Loop Reinforcement Learning: A Survey and Position on Requirements, Challenges, and Opportunities

人間参加型強化学習：要件、課題、機会に関する調査と見解

Boolean Observation Games

ブール観測ゲーム

Detecting Change Intervals with Isolation Distributional Kernel

分離分布カーネルを用いた変化区間の検出

Query-driven Qualitative Constraint Acquisition

クエリ駆動型定性的制約獲得

Visually Grounded Language Learning: A Review of Language Games, Datasets, Tasks, and Models

視覚的基盤言語学習：言語ゲーム、データセット、タスク、モデルのレビュー

Right Place, Right Time: Proactive Multi-Robot Task Allocation Under Spatiotemporal Uncertainty

適切な場所、適切な時間：時空間的不確実性下におけるプロアクティブなマルチロボットタスク割り当て

Bt-GAN: Generating Fair Synthetic Healthdata via Bias-transforming Generative Adversarial Networks

Bt-GAN: バイアス変換型敵対的生成ネットワークによる公平な合成ヘルスデータの生成

Collision Avoiding Max-Sum for Mobile Sensor Teams

モバイルセンサーチームのための衝突回避最大和

USN: A Robust Imitation Learning Method against Diverse Action Noise

USN: 多様な行動ノイズに対するロバストな模倣学習法

Structure in Deep Reinforcement Learning: A Survey and Open Problems

深層強化学習における構造：概観と未解決問題

A Map of Diverse Synthetic Stable Matching Instances

多様な合成安定マッチングインスタンスのマップ

DIGCN: A Dynamic Interaction Graph Convolutional Network Based on Learnable Proposals for Object Detection

DIGCN: 物体検出のための学習可能な提案に基づく動的インタラクショングラフ畳み込みネットワーク

Iterative Train Scheduling under Disruption with Maximum Satisfiability

最大化を伴う中断下における反復的な列車スケジューリング充足可能性

Removing Bias and Incentivizing Precision in Peer-grading

ピアグレーディングにおけるバイアスの除去と精度の促進

Undesirable Biases in NLP: Addressing Challenges of Measurement

NLPにおける望ましくないバイアス：測定の課題への対処

Vol. 80 (2024)

Axiomatization of Non-Recursive Aggregates in First-Order Answer Set Programming

一階回答セットプログラミングにおける非再帰的集計の公理化

Unifying SAT-Based Approaches to Maximum Satisfiability Solving

SATベースのアプローチを統合し、最大充足可能性問題を解く

Viewpoint: Hybrid Intelligence Supports Application Development for Diabetes Lifestyle Management

視点：ハイブリッドインテリジェンスが糖尿病ライフスタイル管理アプリケーション開発を支援

SAT-based Decision Tree Learning for Large Data Sets

大規模データセットのためのSATベースの決定木学習

Experimental Design of Extractive Question-Answering Systems: Influence of Error Scores and Answer Length

抽出型質問応答システムの実験設計：エラースコアと回答の長さの影響

Individual Fairness, Base Rate Tracking and the Lipschitz Condition

個体公平性、ベースレートトラッキング、そしてリプシッツ条件

Simulating Counterfactuals

反事実的状況のシミュレーション

Counting Complexity for Reasoning in Abstract Argumentation

抽象的議論における推論の複雑性の計算

Robust Average-Reward Reinforcement Learning

ロバストな平均報酬強化学習

Using Constraint Propagation to Bound Linear Programs

制約伝播を用いた境界線形計画

The TOAD System for Totally Ordered HTN Planning

全順序付きHTNプランニングのためのTOADシステム

Methods for Recovering Conditional Independence Graphs: A Survey

条件付き独立グラフの復元法：サーベイ

Best of Both Worlds: Agents with Entitlements

両方の長所を活かす：資格を持つエージェント

Computing Unsatisfiable Cores for LTLf Specifications

充足不可能コアの計算LTLf仕様

General Policies, Subgoal Structure, and Planning Width

一般ポリシー、サブゴール構造、プランニング幅

Mitigating Value Hallucination in Dyna-Style Planning via Multistep Predecessor Models

多段階先行モデルを用いたDynaスタイルプランニングにおける価値幻覚の軽減

Exploiting Contextual Target Attributes for Target Sentiment Classification

ターゲット感情分類におけるコンテキストターゲット属性の活用

タスクアウェアおよびタスクフリー継続学習のための類似性に基づく適応

Scalable Primal Heuristics Using Graph Neural Networks for Combinatorial Optimization

グラフニューラルネットワークを用いたスケーラブルなプライマルヒューリスティックスによる組合せ最適化

On the Trade-off between Redundancy and Cohesiveness in Extractive Summarization

抽出要約における冗長性と凝集性のトレードオフについて

Estimating Agent Skill in Continuous Action Domains

連続行動領域におけるエージェントスキルの推定

Understanding Sample Generation Strategies for Learning Heuristic Functions in Classical Planning

古典的プランニングにおけるヒューリスティック関数学習のためのサンプル生成戦略の理解

Block Domain Knowledge-Driven Learning of Chain Graphs Structure

ブロックドメイン知識駆動型連鎖グラフ構造学習

Expressing and Exploiting Subgoal Structure in Classical Planning Using Sketches

スケッチを用いた古典的プランニングにおけるサブゴール構造の表現と活用

The Goal after Tomorrow: Offline Goal Reasoning with Norms

明日の目標：規範を用いたオフライン目標推論

Decision-Focused Learning: Foundations, State of the Art, Benchmark and Future Opportunities

意思決定重視学習：基礎、最先端技術、ベンチマーク、そして将来の可能性

Scalable Distributed Algorithms for Size-Constrained Submodular Maximization in the MapReduce and Adaptive Complexity Models

MapReduceおよび適応型複雑性モデルにおけるサイズ制約付き劣モジュラー最大化のためのスケーラブルな分散アルゴリズム

The RL/LLM Taxonomy Tree: Reviewing Synergies Between Reinforcement Learning and Large Language Models

RL/LLMタクソノミーツリー：強化学習と大規模言語モデルの相乗効果の検証

Language-Models-as-a-Service: Overview of a New Paradigm and its Challenges

サービスとしての言語モデル：新しいサービスの概要パラダイムとその課題

MallobSat: Scalable SAT Solving by Clause Sharing

MallobSat：節共有によるスケーラブルなSAT解決

Probabilities of the Third Type: Statistical Relational Learning and Reasoning with Relative Frequencies

第3種の確率：相対頻度を用いた統計的関係学習と推論

Mixed Fair Division: A Survey

混合公平分割：サーベイ

The Complexity of Subelection Isomorphism Problems

部分選挙同型性問題の複雑性

Towards Trustworthy AI-Enabled Decision Support Systems: Validation of the Multisource AI Scorecard Table (MAST)

信頼できるAI対応意思決定支援システムに向けて：マルチソースAIスコアカードテーブル（MAST）の検証

Computational Argumentation-based Chatbots: A Survey

計算論的議論に基づくチャットボット：サーベイ

Effectiveness of Tree-based Ensembles for Anomaly Discovery: Insights, Batch and Streaming Active Learning

異常発見におけるツリーベースアンサンブルの有効性：インサイト、バッチ、ストリーミングアクティブラーニング

From Single-Objective to Bi-Objective Maximum Satisfiability Solving

単目的から二目的の最大満足度解決へ

A Hybrid Intelligence Method for Argument Mining

議論マイニングのためのハイブリッドインテリジェンス手法

Tackling Cooperative Incompatibility for Zero-Shot Human-AI Coordination

ゼロショットの人間とAIの協調における非互換性への取り組み

Symbolic Task Inference in Deep Reinforcement Learning

深層強化学習における記号タスク推論

On the Convergence of Swap Dynamics to Pareto-Optimal Matchings

スワップダイナミクスのパレート最適マッチングへの収束について

Does CLIP Know My Face?

CLIPは私の顔を知っているか？

Computing Pareto-Optimal and Almost Envy-Free Allocations of Indivisible Goods

不可分財のパレート最適かつほぼ嫉妬のない配分の計算

Vol. 81 (2024)

Satisfiability Modulo User Propagators

ユーザープロパゲーターを法とした充足可能性

Quantization Aware Factorization for Deep Neural Network Compression

量子化を考慮した因子分解によるディープニューラルネットワーク圧縮

Human Activity Recognition in an Open World

オープンワールドにおける人間の行動認識

Preserving Fairness in AI under Domain Shift

ドメインにおけるAIの公平性の維持シフト

Selfishly Prepaying in Financial Credit Networks

金融信用ネットワークにおける利己的前払い

Proof Theory and Decision Procedures for Deontic STIT Logics

義務的STIT論理の証明理論と決定手続き

Declarative Approaches to Outcome Determination in Judgment Aggregation

判断集約における結果決定への宣言的アプローチ

Cross-domain Constituency Parsing by Leveraging Heterogeneous Data

異種データを利用したクロスドメイン選挙区解析

QCDCL vs QBF Resolution: Further Insights

QCDCLとQBFの解決：さらなる洞察

Separating and Collapsing Electoral Control Types

選挙管理タイプの分離と統合

A Scoping Study on AI Affordances in Early Childhood Education: Mapping the Global Landscape, Identifying Research Gaps, and Charting Future Research Directions

幼児教育におけるAIアフォーダンスに関するスコープスタディ：グローバルな展望のマッピング、研究ギャップの特定、そして将来の研究方向性の策定

Differentially Private Neural Tangent Kernels (DP-NTK) for Privacy-Preserving Data Generation

プライバシー保護データ生成のための差分プライバシーニューラルタンジェントカーネル（DP-NTK）

Approximate Counting of Linear Extensions in Practice

線形拡張の近似カウントの実践

Truth-tracking with Non-expert Information Sources

非専門家情報源による真理値追跡

Efficiently Adapt to New Dynamic via Meta-Model

メタモデルによる新しいダイナミクスへの効率的な適応

A Unified Perspective on Value Backup and Exploration in Monte-Carlo Tree Search

モンテカルロ木探索における値のバックアップと探索に関する統一的視点

Towards Robust Offline-to-Online Reinforcement Learning via Uncertainty and Smoothness

不確実性と滑らかさに基づくロバストなオフラインからオンラインへの強化学習に向けて

Expected 1.x Makespan-Optimal Multi-Agent Path Finding on Grid Graphs in Low Polynomial Time

グリッドグラフ上での低多項式時間における期待される1.xメイクスパン最適マルチエージェント経路探索

The State of Computer Vision Research in Africa

アフリカにおけるコンピュータビジョン研究の現状

A Fortiori Case-Based Reasoning: From Theory to Data

ア・フォルティオリ事例ベース推論：理論からデータへ

Inverting Cryptographic Hash Functions via Cube-and-Conquer

キューブ・アンド・コンカーによる暗号ハッシュ関数の反転

Efficient and Fair Healthcare Rationing

効率的かつ公平な医療配給

Uncertainty as a Fairness Measure

公平性尺度としての不確実性

The Human in Interactive Machine Learning: Analysis and Perspectives for Ambient Intelligence

インタラクティブ機械学習における人間：環境知能の分析と展望

The Effect of Preferences in Abstract Argumentation under a Claim-Centric View

主張中心的視点に基づく抽象的議論における選好の影響

Digraph k-Coloring Games: New Algorithms and Experiments

有向グラフk-彩色ゲーム：新しいアルゴリズムと実験

Opening the Analogical Portal to Explainability: Can Analogies Help Laypeople in AI-assisted Decision Making?

説明可能性へのアナロジーポータルを開く：アナロジーはAI支援による意思決定において一般人を支援できるか？

Bias Mitigation Methods: Applicability, Legality, and Recommendations for Development

バイアス緩和手法：適用性、合法性、そして開発のための推奨事項

Improving Reproducibility in AI Research: Four Mechanisms Adopted by JAIR

AI研究における再現性の向上：JAIRが採用した4つのメカニズム

Understanding What Affects the Generalization Gap in Visual Reinforcement Learning: Theory and Empirical Evidence

視覚強化学習における汎化ギャップに影響を与える要因の理解：理論と実証的証拠

Vol. 82 (2025)

A New Literature Review of 3D Object Detection on Autonomous Driving

自動運転における3D物体検出に関する新たな文献レビュー

Promoting the Responsible Development of Speech Datasets for Mental Health and Neurological Disorders Research

メンタルヘルスおよび神経疾患研究のための音声データセットの責任ある開発の促進

A Query-Based Constraint Acquisition Approach for Enhanced Precision in Program Precondition Inference

プログラム前提条件推論の精度向上のためのクエリベースの制約獲得アプローチ

Efficient Ontology-Mediated Query Answering: Extending DL-liteR and Linear ELH

効率的なオントロジー介在型クエリ応答：DL-liteRと線形ELHの拡張

Value Preferences Estimation and Disambiguation in Hybrid Participatory Systems

ハイブリッド参加型システムにおける価値選好の推定と曖昧性解消

Reasoning about Decidability of Strategic Logics with Imperfect Information and Perfect Recall Strategies

不完全情報と完全想起戦略を用いた戦略論理の決定可能性に関する推論

Prosociality in Microtransit

マイクロトランジットにおける向社会性

Against The Achilles’ Heel: A Survey on Red Teaming for Generative Models

対比アキレス腱：生成モデルにおけるレッドチーム演習に関する調査

Comparison of SAT-Based and ASP-Based Algorithms for Inconsistency Measurement

不整合測定におけるSATベースとASPベースアルゴリズムの比較

PAC-Chernoff Bounds: Understanding Generalization in the Interpolation Regime

PAC-チェルノフ境界：補間領域における一般化の理解

AI Reliance and Decision Quality: Fundamentals, Interdependence, and the Effects of Interventions

AIへの依存と意思決定の質：基礎、相互依存性、そして介入の効果

An Oracle-Guided Approach to Constrained Policy Synthesis Under Uncertainty

不確実性下における制約付き方策合成のためのオラクル誘導アプローチ

Practical Parallel Algorithms for Non-Monotone Submodular Maximization

非単調劣モジュラ最大化のための実用的な並列アルゴリズム

Forgetting in Abstract Argumentation: Limits and Possibilities

抽象的議論における忘却：限界と可能性

CPM-based Hierarchical Text Classification

CPMベースの階層的テキスト分類

CADS: A Systematic Literature Review on the Challenges of Abstractive Dialogue Summarization

CADS：抽象的対話要約の課題に関する体系的な文献レビュー

TOMA: Computational Theory of Mind with Abstractions for Hybrid Intelligence

TOMA：ハイブリッドインテリジェンスのための抽象化を伴う計算的心の理論

Preference Tuning with Human Feedback on Language, Speech, and Vision Tasks: A Survey

言語、音声、視覚タスクにおける人間のフィードバックを用いた選好調整：サーベイ

Towards Explainable Goal Recognition Using Weight of Evidence (WoE): A Human-Centered Approach

証拠の重み（WoE）を用いた説明可能な目標認識に向けて：人間中心アプローチ

Generative Curricula for Multi-Agent Path Finding via Unsupervised and Reinforcement Learning

教師なし学習と強化学習によるマルチエージェント経路探索のための生成カリキュラム

MAT2I: Enhancing Perceptual Authenticity in Text-to-Image Synthesis using Multi-Attribute Generative Adversarial Networks

MAT2I：多属性生成的敵対ネットワークを用いたテキスト画像合成における知覚的真正性の向上

Stability in Online Coalition Formation

オンライン連合形成における安定性

The Complexity of Pure Maxmin Strategies in Two-Player Extensive-Form Games

2人用拡張型ゲームにおける純粋マックスミニ戦略の複雑性

AI Governance in the GCC States: A Comparative Analysis of National AI Strategies

GCC諸国におけるAIガバナンス：国家AI戦略の比較分析

Composition and Zero-Shot Transfer with Lattice Structures in Reinforcement Learning

強化学習における格子構造を用いた合成とゼロショット転送

Counterfactual Situation Testing: From Single to Multidimensional Discrimination

反事実的状況検定：単次元識別から多次元識別へ

Detecting AI-Generated Text: Factors Influencing Detectability with Current Methods

AI生成テキストの検出：現在の手法における検出可能性に影響を与える要因

Defensive Alliances in Signed Networks

防衛同盟署名付きネットワーク

On the Phase Transition of the Euclidean Travelling Salesman Problem with Time Windows

時間窓付きユークリッド巡回セールスマン問題の相転移について

Solving Overlapping Coalition Structure Generation in Task-Based Settings

タスクベース設定における重複連合構造生成の解決

From Expert Systems to Generative Artificial Experts: A New Concept for Human-AI Collaboration in Knowledge Work

エキスパートシステムから生成型人工エキスパートへ：知識作業における人間とAIの協働のための新しい概念

Confidence-based Estimators for Predictive Performance in Model Monitoring

モデルモニタリングにおける予測性能のための信頼度ベース推定量

Certified Knowledge Compilation with Application to Formally Verified Model Counting

認証済み知識コンパイルと形式検証済みモデルカウントへの応用

TabID: Automatic Identification and Tabulation of Subproblems in Constraint Models

TabID：制約モデルにおける部分問題の自動識別と表作成

A Divide, Align and Conquer Strategy For Program Synthesis

プログラム合成のための分割・整列・統治戦略

A New Regret-analysis Framework for Budgeted Multi-Armed Bandits

予算付き多腕バンディットのための新しいリグレット分析フレームワーク

Combinatorial Multi-Armed Bandits with Fairness Constraints: An Online Convex Optimization Perspective

公平性制約付き組み合わせ多腕バンディット：オンライン凸最適化の観点

Path-Planning on a Spherical Surface with Disturbances and Exclusion Zones

外乱と除外領域を含む球面上の経路計画

Adaptive Few-Shot Class-Incremental Learning via Latent Variable Models

潜在変数モデルによる適応型少数ショットクラス増分学習

Generalizing the Regret: an Analysis of Lower and Upper Bounds

後悔の一般化：下限と上限の分析

On the Consistency between Belief Revision and Belief Update

信念修正と信念更新の一貫性について

Existence, Computation and Efficiency of Nash Stable Outcomes in Hedonic Skill Games

快楽スキルゲームにおけるナッシュ安定結果の存在、計算、および効率

MRC and Transfer Learning Framework for Document-level Event Factuality Identification with Heterogeneous Spectral Attention Networks

異種スペクトルアテンションネットワークを用いた文書レベルのイベント事実性識別のためのMRCおよび転移学習フレームワーク

Decentralized, Decomposition-Based Observation Scheduling for a Large-Scale Satellite Constellation

大規模衛星群のための分散型分解ベース観測スケジューリング

Principles for Responsible AI Consciousness Research

責任あるAI意識研究の原則

From Knowledge to Action: Logics of Permitted and Obligatory Announcements

知識から行動へ：許可されたアナウンスと義務的なアナウンスの論理

Computational Machine Ethics: A Survey

計算機械倫理：調査

Maximal Combinations of Fairness Definitions

公平性定義の最大組み合わせ

Design and Effects of Co-Learning in Human-AI Teams

人間とAIのチームにおける共学習の設計と効果

An Extensive Empirical Evaluation of Inferring Preconditions and Effects of Compound Tasks in Ground HTN Planning Problems

地上HTN計画問題における複合タスクの前提条件と効果の推論に関する広範な実証的評価

A Portfolio Approach to Massively Parallel Bayesian Optimization

超並列ベイズ最適化へのポートフォリオアプローチ

Symbolic Search for Cost-Optimal Planning with Expressive Model Extensions

表現力豊かなモデル拡張を用いたコスト最適計画のための記号探索

ConSCompF: Consistency-focused Similarity Comparison Framework for Generative Large Language Models

ConSCompF：生成的大規模言語モデルのための一貫性重視の類似性比較フレームワーク

Laplace-HDC: Understanding the Geometry of Binary Hyperdimensional Computing

Laplace-HDC：バイナリ超次元計算の幾何学的理解

Improving Mutual Information Based Feature Selection by Boosting Unique Relevance

一意関連性の向上による相互情報量に基づく特徴選択の改善

Semantic Alignment of Malicious Question Based on Contrastive Semantic Networks and Data Augmentation

対照的意味ネットワークとデータ拡張に基づく悪意のある質問の意味的アラインメント

A Framework for Belief-based Programs and Their Verification

信念ベースプログラムとその検証のためのフレームワーク

Rumor Detection with Adaptive Data Augmentation and Adversarial Training

適応型データ拡張と敵対的学習による噂検出

Enhanced Recommendation Systems with Retrieval-Augmented Large Language Model

検索拡張型大規模言語モデルを用いた強化型推薦システム

A Selective Under-Sampling (SUS) Method for Imbalanced Regression

不均衡回帰のための選択的アンダーサンプリング（SUS）法

Control by Adding or Deleting Edges in Graph-Restricted Weighted Voting Games

グラフ制約付き重み付き投票ゲームにおける辺の追加または削除による制御

Empirical Game Theoretic Analysis: A Survey

経験ゲーム理論的分析：サーベイ

Approximate Implication for Probabilistic Graphical Models

確率的グラフィカルモデルへの近似的含意