index [] · tems, 192 active exploration for robust object detection, 2752 ... automatic discovery...

18
Abbasi-Yadkori, Yasin, 1312 Abedin, Muhammad Ul Arshad, 1758 Abolhassani, Amin Haji, 1678 Accelerating Best Response Calculation in Large Extensive Games, 258 Accommodating Human Variability in Human-Robot Teams through eory of Mind, 2066 Ackerman, Margareta, 1140 Action Selection via Learning Behavior Patterns in Multi-Robot Sys- tems, 192 Active Exploration for Robust Object Detection, 2752 Active Graph Reachability Reduction for Network Security and Soſt- ware Engineering, 1750 Active Online Classification via Information Maximization, 1498 Active Surveying: A Probabilistic Approach for Identifying Key Opinion Leaders, 1485 Activity Recognition with Finite State Machines, 1348 Adaptation of a Mixture of Multivariate Bernoulli Distributions, 1336 Adaptive Data Compression for Robot Perception, 2746 Aesthetic Guideline Driven Photography by Robots, 2060 Affect Sensing in Metaphorical Phenomena and Dramatic Interaction Context, 1903 Agarwal, Arvind, 2558 Agent Architecture for Prognostic Reasoning Assistance, An, 2513 Agent-Based and Multiagent Systems, 17 Agent-Based Negotiation Teams, 2844 Agent-Oriented Incremental Team and Activity Recognition, 1402 Agent-Oriented Soſtware Engineering Methodology to Develop Adap- tive Virtual Organizations, An, 2796 Agents, Actions, and Goals in Dynamic Environments, 313 Aggregating Dependency Graphs into Voting Agendas in Multi-Issue Elections, 18 Aghasaryan, Armen, 2728 Agostini, Alejandro, 1146, 2386 Aha, David W., 2450 Ahmad, Salman, 2674 Ahmadi, Babak, 1152 Ahmadizadeh, Kiyan, 2531 Airiau, Stéphane, 18 Akehurst, Joshua, 2199 Albanese, Massimiliano, 1628 Algorithm for Adapting Cases Represented in ALC, An, 2582 Alternating Epistemic Mu-Calculus, 109 Amato, Christopher, 2027 Amershi, Saleema, 2564 Amir, Eyal, 2092 Amir, Ofra, 2392 Amizadeh, Saeed, 1159 Analysis of Adjective-Noun Word Pair Extraction Methods for Online Review Summarization, 2771 Analysis of Multiobjective Search Algorithms and Heuristics, An, 2822 Anaya-Sánchez, Henry, 1165 Andrews, Emad A. M., 1635 Andrighetto, Giulia, 414 Andrzejewski, David, 1171 Angular Decomposition, 1505 Antoniou, Grigoris, 2662 Antos, Dimitrios, 24 Approach to Answer Selection in Question-Answering Based on Se- mantic Relations, An, 1852 Approach to Minimal Belief via Objective Belief, An, 1045 Approximately Strategy-Proof Voting, 67 Approximating Optimal Combinatorial Auctions for Complements Us- ing Restricted Welfare Maximization, 379 Approximation-Guided Evolutionary Multi-Objective Optimization, 1198 Araujo, Ricardo M., 2798 Archibald, Christopher, 31 Argente, Estefanía, 2796 Arieli, Ofer, 706 Artificial Intelligence and Human inking, 11 Aschinger, Markus, 497 Assertion Retrieval Algebra for Object Queries over Knowledge Bases, An, 1051 Assumption-Based Argumentation Dialogues, 198 AstonCAT-Plus: An Efficient Specialist for the TAC Market Design Tournament, 146 Attack Semantics for Abstract Argumentation, 406 Auer, Sören, 2312 Augmenting Tractable Fragments of Abstract Argumentation, 1033 Augustine, John, 37 Automatic Construction of Efficient Multiple Battery Usage Policies, 2620 Automatic Discovery of Fuzzy Synsets from Dictionary Definitions, 1801 Automatic State Abstraction from Demonstration, 1243 Autonomous Object Manipulation: A Semantic-Driven Approach, 2858 Avron, Arnon, 706 Awards and Distinguished Papers, xxxix Aydemir, Alper, 2442 Aziz, Haris, 43 Bacchus, Fahiem, 546 Bachrach, Yoram, 49 Backdoors to Tractable Answer-Set Programming, 863 Baget, Jean-François, 712 Index 2871

Upload: others

Post on 21-Mar-2020

3 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Index [] · tems, 192 Active Exploration for Robust Object Detection, 2752 ... Automatic Discovery of Fuzzy Synsets from Dictionary Definitions, 1801 Automatic State Abstraction from

Abbasi-Yadkori, Yasin, 1312Abedin, Muhammad Ul Arshad, 1758Abolhassani, Amin Haji, 1678Accelerating Best Response Calculation in Large Extensive Games, 258Accommodating Human Variability in Human-Robot Teams through

Theory of Mind, 2066Ackerman, Margareta, 1140Action Selection via Learning Behavior Patterns in Multi-Robot Sys-

tems, 192Active Exploration for Robust Object Detection, 2752Active Graph Reachability Reduction for Network Security and Soft-

ware Engineering, 1750Active Online Classification via Information Maximization, 1498Active Surveying: A Probabilistic Approach for Identifying Key Opinion

Leaders, 1485Activity Recognition with Finite State Machines, 1348Adaptation of a Mixture of Multivariate Bernoulli Distributions, 1336Adaptive Data Compression for Robot Perception, 2746Aesthetic Guideline Driven Photography by Robots, 2060Affect Sensing in Metaphorical Phenomena and Dramatic Interaction

Context, 1903Agarwal, Arvind, 2558Agent Architecture for Prognostic Reasoning Assistance, An, 2513Agent-Based and Multiagent Systems, 17Agent-Based Negotiation Teams, 2844Agent-Oriented Incremental Team and Activity Recognition, 1402Agent-Oriented Software Engineering Methodology to Develop Adap-

tive Virtual Organizations, An, 2796Agents, Actions, and Goals in Dynamic Environments, 313Aggregating Dependency Graphs into Voting Agendas in Multi-Issue

Elections, 18Aghasaryan, Armen, 2728Agostini, Alejandro, 1146, 2386Aha, David W., 2450Ahmad, Salman, 2674Ahmadi, Babak, 1152Ahmadizadeh, Kiyan, 2531Airiau, Stéphane, 18Akehurst, Joshua, 2199Albanese, Massimiliano, 1628Algorithm for Adapting Cases Represented in ALC, An, 2582Alternating Epistemic Mu-Calculus, 109Amato, Christopher, 2027Amershi, Saleema, 2564Amir, Eyal, 2092Amir, Ofra, 2392Amizadeh, Saeed, 1159

Analysis of Adjective-Noun Word Pair Extraction Methods for OnlineReview Summarization, 2771

Analysis of Multiobjective Search Algorithms and Heuristics, An, 2822Anaya-Sánchez, Henry, 1165Andrews, Emad A. M., 1635Andrighetto, Giulia, 414Andrzejewski, David, 1171Angular Decomposition, 1505Antoniou, Grigoris, 2662Antos, Dimitrios, 24Approach to Answer Selection in Question-Answering Based on Se-

mantic Relations, An, 1852Approach to Minimal Belief via Objective Belief, An, 1045Approximately Strategy-Proof Voting, 67Approximating Optimal Combinatorial Auctions for Complements Us-

ing Restricted Welfare Maximization, 379Approximation-Guided Evolutionary Multi-Objective Optimization,

1198Araujo, Ricardo M., 2798Archibald, Christopher, 31Argente, Estefanía, 2796Arieli, Ofer, 706Artificial Intelligence and Human Thinking, 11Aschinger, Markus, 497Assertion Retrieval Algebra for Object Queries over Knowledge Bases,

An, 1051Assumption-Based Argumentation Dialogues, 198AstonCAT-Plus: An Efficient Specialist for the TAC Market Design

Tournament, 146Attack Semantics for Abstract Argumentation, 406Auer, Sören, 2312Augmenting Tractable Fragments of Abstract Argumentation, 1033Augustine, John, 37Automatic Construction of Efficient Multiple Battery Usage Policies,

2620Automatic Discovery of Fuzzy Synsets from Dictionary Definitions,

1801Automatic State Abstraction from Demonstration, 1243Autonomous Object Manipulation: A Semantic-Driven Approach, 2858Avron, Arnon, 706Awards and Distinguished Papers, xxxixAydemir, Alper, 2442Aziz, Haris, 43

Bacchus, Fahiem, 546Bachrach, Yoram, 49Backdoors to Tractable Answer-Set Programming, 863Baget, Jean-François, 712

Index

2871

Page 2: Index [] · tems, 192 Active Exploration for Robust Object Detection, 2752 ... Automatic Discovery of Fuzzy Synsets from Dictionary Definitions, 1801 Automatic State Abstraction from

Baier, Jorge A., 578Baldoni, Matteo, 2824Ball Ranking Machine for Content-Based Multimedia Retrieval, 1390Barbieri, Gabriele, 635Bárcenas, Everardo, 718Baró, Xavier, 2836Baroglio, Cristina, 2824Barry, Jennifer L., 1928Bart, Evgeniy, 1178Bartholomew, Michael, 724Barzilay, Regina, 2404Bassiliades, Nick, 2662Bastani, Farokh B., 1949Bayesian Abductive Logic Programs: A Probabilistic Logic

for Abductive Reasoning, 2840Bayesian Chain Classifiers for Multidimensional Classification, 2192Bayesian Policy Search with Policy Priors, 1565Beck, J. Christopher, 1975Behaviour Recognition in Smart Homes, 2788Bekris, Kostas E., 294Belard, Nuno, 731Belardinelli, Francesco, 738Beldiceanu, Nicolas, 643Belief Base Rationalization for Propositional Merging, 951Belief Management for High-Level Robot Programs, 900Belief Revision on Computation Tree Logic, 2810Belle, Vaishak, 744Belov, Anton, 504Benavoli, Alessio, 2107Ben-David, Shai, 1140Benferhat, Salem, 750Bengio, Samy, 2764Ben-Sasson, Eli, 2570Bercher, Pascal, 1955Bergsma, Shane, 1764Best Paper Track, 2557Beth Definability in Expressive Description Logics, 1099Betzler, Nadja, 55Beuls, Katrien, 61Bhadauria, Deepak, 2054Bian, Wei, 1186Bianchi, Reinaldo A. C., 1211Biclustering-Driven Ensemble of Bayesian Belief Network Classifiers for

Underdetermined Problems, 1439Bielza, Concha, 2192Billhardt, Holger, 139Binary Aggregation with Integrity Constraints, 204Birrell, Eleanor, 67Bi-Weighting Domain Adaptation for Cross-Language

Text Classification, 1535Blasiak, Sam, 1192Bodirsky, Manuel, 510, 756Boella, Guido, 406Boerkoel, James, 2784Bollegala, Danushka, 2205, 2507Bonatti, Piero A., 762

Bonet, Blai, 1936Bonner, Anthony J., 1635Borgwardt, Stefan, 768Boswell, Robin, 2256Boticario, Jesus G., 2519Botti, Vicente, 2796Bou, Félix, 774Bounded Intention Planning, 2039Bounded Suboptimal Search: A Direct Approach

Using Inadmissible Estimates, 674Boutilier, Craig, 280, 287, 2159, 2165Bouveret, Sylvain, 73Bouzid, Makram, 2728Bowling, Michael, 258Bozzano, Marco, 2398Brafman, Ronen I., 2021Branavan, S. R. K., 2404Brandt, Felix, 43, 79, 85Brânzei, Simina, 91Breuing, Alexa, 1896Brewka, Gerhard, 780, 786Brill, Markus, 85Bringmann, Karl, 1198Broersen, Jan, 792Brooks, Logan, 97Bryson, Joanna J., 1641Bu, Fan, 1770Budgeted Social Choice: From Consensus to

Personalized Decision Making, 280Bulitko, Vadim, 365Bulling, Nils, 103, 109, 252Buried Utility Pipeline Mapping Based on Multiple Spatial Data

Sources: A Bayesian Data Fusion Approach, 2411Buriol, Luciana S., 2794Burnett, Chris, 115Buro, Michael, 534, 617

Calvanese, Diego, 798, 805Caminada, Martin, 121Cao, Bin, 1204Cao, Longbing, 1577Cao, Yunbo, 2211Capturing an Evader in a Polygonal Environment with Obstacles, 2054Caragea, Cornelia, 2274Caragiannis, Ioannis, 127Carbotta, Domenico, 798Carenini, Giuseppe, 1807Carreira-Perpiñán, Miguel Á., 1336Casini, Giovanni, 813Castelfranchi, Cristiano, 400Causal Learnability, 1014Cavallo, Ruggiero, 133CCR — A Content-Collaborative Reciprocal

Recommender for Online Dating, 2199Celaya, Enric, 1146Celiberto, Luiz A. Jr., 1211

2872

Page 3: Index [] · tems, 192 Active Exploration for Robust Object Detection, 2752 ... Automatic Discovery of Fuzzy Synsets from Dictionary Definitions, 1801 Automatic State Abstraction from

Cen, Lei, 1915, 1921Centeno, Roberto, 139Cerami, Marco, 774Cerpa, Alberto E., 1336Cerutti, Federico, 2786Cesta, Amedeo, 1991Chafle, Girish, 2494Chakrabarti, Deepayan, 2722Chan, Emprise Y. K., 2218Chan, Jeffrey, 1218Chandramohan, Senthilkumar, 1878Chang, Kai-Wei, 2777Chang, Kuiyu, 1427Chang, Meng, 146Changing One’s Mind: Erase or Rewind?, 164Chen, Huanhuan, 2411Chen, Jie, 2456Chen, Mengen, 1776Chen, Ning, 37, 152Chen, Tianshi, 1671Chen, Tsuhan, 2072Chen, Wei, 2576Chen, Weizhu, 2330Chen, Xiaoping, 439Chen, Yiqiang, 2545Chen, Yunji, 1671Chen, Zhengzhang, 1478Chen, Zhiyuan, 2211Cheng, Xueqi, 1690Chenthamarakshan, Vijil, 1225Cheung, Willy, 1647CHIME: An Efficient Error-Tolerant Chinese Pinyin

Input Method, 2551Choi, Jaesik, 2092Choi, Seungjin, 1595Choosing Collectively Optimal Sets of Alternatives

Based on the Condorcet Criterion, 186Choudhary, Alok, 1478Christensen, Janara, 3Christian, Blaine, 2564Chu, Geoffrey, 516Chua, Sook-Ling, 1231, 2788Chung, Mike, 1647Cimatti, Alessandro, 2398Ciresan, Dan C., 1237Clark, James J., 1678Classification of Emerging Extreme Event Tracks in Multivariate

Spatio-Temporal Physical Systems Using Dynamic NetworkStructures: Application to Hurricane Track Prediction, 1478

Cliff, Dave, 178Cluster Indicator Decomposition for Efficient Matrix Factorization,

1384Coalitional Voting Manipulation: A Game-Theoretic Perspective, 49Cobo, Luis C., 1243Cognitive Agent Model Displaying and Regulating Different

Social Response Patterns, A, 1735

Cognitive Agent Model Incorporating Prior and Retrospective Ownership States for Actions, A, 1743

Cohen, Paul, 1348Coheur, Luísa, 1852Cohn, Anthony G., 2411Cojan, Julien, 2582Collective Semantic Role Labeling for Tweets with Clustering, 1832Combacau, Michel, 731Combinatorial Aggregation, 2804Combined Approach to Ontology-Based Data Access, The, 2656Combining Decisions from Multiple Expert Imitators

for Performance, On, 344Combining Machine Learning and Optimization Techniques

to Determine 3-D Structures of Polypeptides, 2794Combining Spatial and Temporal Aspects of Prediction Problems to Im-

prove Prediction Performance, 2806Combining Supervised and Unsupervised Models via Unconstrained

Probabilistic Embedding, 1396Community Detection in Social Networks through

Community Formation Games, 2576Comparing Variants of Strategic Ability, 252Competitive Strategy for Function Approximation in Q-Learning, A,

1146Complete Algorithms for Cooperative Pathfinding Problems, 668Complexity of Dealing with Inconsistency in Description Logic

Ontologies, On the, 1057Complexity of EL with Defeasible Inclusions, On the, 762Complexity of Safe Manipulation under Scoring Rules, The, 246Complexity of the Core over Coalition Structures, On the, 216Complexity of Voting Manipulation under Randomized Tie-Breaking,

On the, 319Comprehensive Approach to On-Board Autonomy Verification and Val-

idation, A, 2398Computationally-Grounded Semantics for Artifact-Centric Systems and

Abstraction Results, A, 738Computing Infinite Plans for LTL Goals Using a Classical Planner, 2003Computing Minimum-Cardinality Diagnoses by Model Relaxation,

1087Computing Perfect Heuristics in Polynomial Time: On Bisimulation and

Merge-and-Shrink Abstraction in Optimal Planning, 1983Concept Labeling: Building Text Classifiers with Minimal Supervision,

1225Concise Characteristic Function Representations in Coalitional Games

Based on Agent Types, 393Conference Organization, xxviiiConference Sponsorship, xxxviiiConics with a Common Axis of Symmetry: Properties and Applications

to Camera Calibration, 2079Conitzer, Vincent, 158, 273, 446Connecting the Dots between News Articles, 2734Connor, Michael, 1782Conrad, Jon, 1942Consequence-Based Reasoning beyond Horn Ontologies, 1093Considerate Equilibrium, 234Consistency Measures for Feature Selection: A Formal Definition,

Relative Sensitivity Comparison, and a Fast Algorithm, 1491Constituent Grammatical Evolution, 1261

2873

Page 4: Index [] · tems, 192 Active Exploration for Robust Object Detection, 2752 ... Automatic Discovery of Fuzzy Synsets from Dictionary Definitions, 1801 Automatic State Abstraction from

Constraint Optimization Approach to Context Based Word Selection,1846

Constraint Programming on Infinite Data Streams, 597Constraint Satisfaction Problems: Convexity Makes

AllDifferent Constraints Tractable, 522Constraints, Satisfiability, and Search, 496Constructive Approach to Independent and Evidence Retaining Belief

Revision by General Information Sets, A, 937Containment of Regular Path Queries under Description Logic

Constraints, 805Conte, Rosaria, 414Context-Sensitive Diagnosis of Discrete-Event Systems, 969Context Sensitive Topic Models for Author Influence in Document Net-

works, 2274Continuous Correlated Beta Processes, 1269Continuous Time Planning for Multiagent Teams with

Temporal Constraints, 465Contributions to Personalizable Knowledge Integration, 2826Control of Robotic Systems for Safe Interaction with Human Operators,

2792Convex Formulation of Modularity Maximization for

Community Detection, A, 2218Coordinating Logistics Operations with Privacy Guarantees, 2482Correctness Result for Reasoning about One-Dimensional Planning

Problems, A, 2638Cortés, Ana, 2862Crammer, Koby, 1498Craven, Mark, 1171Craw, Susan, 2256Cross-Domain Collaborative Filtering over Time, 2293Cross-People Mobile-Phone Based Activity Recognition, 2545Cuenca Grau, Bernardo, 2226Cui, Anqi, 2361Cullen, Shane, 2710

da Costa Pereira, Célia, 164Dai, Hong-Jie, 2418Dalla Pozza, Giorgio, 172Dal Palù, Allesandro, 2590Dam, Hieu Chi, 2424Darwiche, Adnan, 819Das, Jnaneshwar, 2790Dastani, Mehdi, 103Datta, Anwitaman, 2147Daumé, Hal III, 2558d’Avila Garcez, Artur S., 1653Davis, Jesse, 2178Dealing with Concept Drift and Class Imbalance in Multi-Label Stream

Classification, 1583Dearden, R., 2442De Bona, Glauber, 528de Campos, Cassio P., 2100, 2107Decidability of Connectedness Constraints in 2D and 3D Euclidean

Spaces, On the, 957Decidability of HTN Planning with Task Insertion, On the, 1955Decision Making under Uncertainty: Social Choice and Manipulation,

2828

Decision Support through Argumentation-Based Practical Reasoning, 2786

Decision-Theoretic Academic Advisor: Extended Abstract, A, 2808Defeasible Inheritance-Based Description Logics, 813De Giacomo, Giuseppe, 827, 918, 2003de Givry, Simon, 2126Delgrande, James P., 833, 839Della Monica, Dario, 845De Luca, Marco, 178Del Vescovo, Chiara, 2232Denis, Pascal, 1788de Penning, H. L. H. (Leo), 1653Depth-Driven Circuit-Level Stochastic Local Search for SAT, 504De Raedt, Luc, 2178Description Logic TBoxes: Model-Theoretic Characterizations and

Rewritability, 983Description Logics and Fuzzy Probability, 1075Description Logics over Lattices with Multi-Valued Ontologies, 768DetH*: Approximate Hierarchical Solution of Large Markov Decision

Processes, 1928de Weerdt, Mathijs, 1529Dey, Lipika, 2281Dindo, Haris, 2113Ding, Chris, 1288, 1384, 1433, 1505Ding, Hao, 2792Dinh, Quang-Thang, 1249Discerning Linkage-Based Algorithms among Hierarchical Clustering

Methods, 1140Discovering Deformable Motifs in Continuous Time Series Data, 1465Discrete-Time Temporal Reasoning with Horn DLRs, 931Dishonest Reasoning by Abduction, 1063Distance Metric Learning under Covariate Shift, 1204Distributed Constraint Optimization Problems Related

with Soft Arc Consistency, 2812Distribution-Aware Online Classifiers, 1427Diversity Regularized Machine, 1603Doctoral Consortium, 2783Domain Adaptation with Ensemble of Feature Groups, 1458Dong, Tiansi, 2430Dorn, Márcio, 2794Dovier, Agostino, 2590Drescher, Christian, 2596Drescher, Conrad, 497Drucker, Steven M., 1723Duan, Ling-Yu, 2456Duchi, Andrew, 1465Dunagan, John, 1750Dunne, Paul E., 780, 851Dvorák, Wolfgang, 851Dynamic Logic of Normative Systems, A, 228Dynamic Sanctioning for Robust and Cost-Efficient Norm Compliance,

414Dynamic SAT with Decision Change Costs: Formalization

and Solutions, 560Dynamics of Profit-Sharing Games, 37

2874

Page 5: Index [] · tems, 192 Active Exploration for Robust Object Detection, 2752 ... Automatic Discovery of Fuzzy Synsets from Dictionary Definitions, 1801 Automatic State Abstraction from

Effective and Efficient Microprocessor Design Space Exploration UsingUnlabeled Design Configurations, 1671

Effectiveness of CNF and DNF Representations in Contingent Planning,On the, 2033

Efficient Framework for Constructing Generalized Locally-Induced TextMetrics, An, 1159

Efficient Mechanisms with Risky Participation, 133Efficient Monte-Carlo Algorithm for Pricing Combinatorial Prediction

Markets for Tournaments, An, 452Efficient Planning for Factored Infinite-Horizon DEC-POMDPs, 325Efficient Reasoning in Proper Knowledge Bases with

Unknown Individuals, 827Efficient Rule-Based Inferencing for OWL EL, 2668Efficient Searching Top-k Semantic Similar Words, 2373Eiter, Thomas, 786Eliciting Additive Reward Functions for Markov Decision Processes,

2159Elkind, Edith, 37, 49, 186, 246, 319, 490, 2698Ellner, Stephen P., 2531Embedding System Dynamics in Agent Based Models for Complex

Adaptive Systems, 2531Emergence and Stability of Social Conventions in Conflict Situations,

371Empirical Study of Seeding Manipulations and Their

Prevention, An, 350Endriss, Ulle, 18, 204, 2602Enhancing Case Adaptation with Introspective Reasoning and Web

Mining, 2680Enhancing Search Results with Semantic Annotation Using Augmented

Browsing, 2418Ensemble-Based Coreference Resolution, 1884Entity Linking with Effective Acronym Expansion, Instance Selection,

and Topic Modeling, 1909Erdogan, Can, 192Ermon, Stefano, 1942, 2608Escalera, Sergio, 2836Esparcia, Sergio, 2796Ester, Martin, 2644Esteva, Francesc, 774Esteva, Marc, 307Etzioni, Oren, 3Evaluation of Group Profiling Strategies, 2728Evaluations of Hash Distributed A* in Optimal Sequence

Alignment, 584Exbrayat, Matthieu, 1249Existential Closures for Knowledge Compilation, 996Explaining Genetic Knock-Out Effects Using Cost-Based

Abduction, 1635Exploiting Probabilistic Knowledge under Uncertain Sensing

for Efficient Robot Behaviour, 2442Exploiting Short Supports for Generalised Arc Consistency

for Arbitrary Constraints, 623Exploring Protein Fragment Assembly Using CLP, 2590Expressiveness of the Interval Logics of Allen’s Relations on the Class of

All Linear Orders: Complete Classification, 845

Extending Computer Assisted Assessment Systems with Natural Language Processing, User Modeling, and RecommendationsBased on Human Computer Interaction and Data Mining, 2519

Extending Decidable Existential Rules by Joining Acyclicity and Guardedness, 963

Extracting Temporal Patterns from Interval-Based Sequences, 1306Ezekiel, Jonathan, 1659

Facing Openness with Socio-Cognitive Trust and Categories, 400Fader, Anthony, 3Faella, Marco, 762Falcone, Rino, 400Faliszewski, Piotr, 49Faltings, Boi, 2482Fan, Jianping, 1615, 1915Fan, Xiuyi, 198Fanelli, Angelo, 37Faralli, Stefano, 1872Farenzena, Daniel S., 2798Fargier, Hélène, 2120Fashion Coordinates Recommender System Using Photographs from

Fashion Magazines, 2262Fast Algorithm for Affinity Propagation, 2238Fast Anomaly Detection for Streaming Data, 1511Fast Approximate Nearest-Neighbor Search with k-Nearest

Neighbor Graph, 1312Fast Dual Projected Newton Method for l1-Regularized Least Squares,

A, 1275Fast Nonnegative Matrix Tri-Factorization for Large-Scale Data Co-

Clustering, 1553Favier, Aurélie, 2126Feature Learning for Activity Recognition in Ubiquitous

Computing, 1729Feature Selection via Joint Embedding Learning and Sparse

Regression, 1324Feil-Seifer, David, 2800Feldman, Ronen, 1890Fellows, Michael, 522Felner, Ariel, 662Fernandes, Danny, 1491Fernández Duque, David, 857Ferrein, Alexander, 900Fichte, Johannes Klaus, 863Field, Martin, 2436Finch, Andrew, 2614Finding (α, �)-Solutions via Sampled SCSPs, 2172Finding the Hidden Gems: Recommending Untagged Music, 2256Finding “Unexplained” Activities in Video, 1628Finger, Marcelo, 528Finite-Length Markov Processes with Constraints, 635Finite Model Computation via Answer Set Programming, 2626Finite-Valued Lukasiewicz Modal Logic Is PSPACE-Complete, 774Fink, Michael, 786Fiorino, Guido, 869First-Order Extension of the FLP Stable Model Semantics via

Modified Circumscription, 724

2875

Page 6: Index [] · tems, 192 Active Exploration for Robust Object Detection, 2752 ... Automatic Discovery of Fuzzy Synsets from Dictionary Definitions, 1801 Automatic State Abstraction from

Fisher, Cynthia, 1782Fixed-Parameter Tractability of Composition-Consistent Tournament

Solutions, On the, 85Fixpoints in Temporal Description Logics, 875Flat Histogram Method for Computing the Density of States

of Combinatorial Problems, A, 2608Flexible, High Performance Convolutional Neural Networks for

Image Classification, 1237Flexible Tree Matching, 2674Fogarty, James, 1723Fogolari, Federico, 2590Forbus, Kenneth D., 887Foundations f Uniform Interpolation and Forgetting in Expressive De-

scription Logics, 989Fox, Maria, 2620Framework for Incorporating General Domain Knowledge into Latent

Dirichlet Allocation Using First-Order Logic, A, 1171Framework for Longitudinal Influence Measurement between

Communication Content and Social Networks, A, 2758Franconi, Enrico, 875, 1099French, Tim, 881Friedman, Scott E., 887Friedrich, Tobias, 522, 1198From an Agent Logic to an Agent Programming Language for

Partially Observable Stochastic Domains, 2842Fu, Jicheng, 1949Fu, Yun, 2539Fujimura, Ko, 2305Fujiwara, Yasuhiro, 2238, 2305Furbach, Ulrich, 2430Fürnkranz, Johannes, 1330Furtak, Timothy, 534Fusion of Multiple Features and Supervised Learning for Chinese OOV

Term Detection and POS Guessing, 1921

Gadde, Raghudeep, 2060Gal, Ya’akov (Kobi), 2392Gama, João, 1255Gambardella, Luca Maria, 1237Gao, Jun, 1571Gao, Wen, 2456Gao, Zekai Jacob, 1439Garcia de la Banda, Maria, 516García-Fornes, Ana, 2844Gaspers, Serge, 540Gaussianity Measures for Detecting the Direction of Causal

Time Series, 1318Gebser, Martin, 2626Geffner, Hector, 1936, 2003, 2009Geier, Thomas, 1955Geist, Matthieu, 1878General Elicitation-Free Protocol for Allocating Indivisible Goods, A, 73General Game Playing Description Language Is Universal, The, 1107General MCMC Method for Bayesian Inference in Logic-Based

Probabilistic Modeling, A, 1472Generalising the Interaction Rules in Probabilistic Logic, 912

Generalized Arc-Consistency Algorithm for a Class of Counting Constraints, A, 643

Generalized Latent Factor Models for Social Network Analysis, 1705Generalized Planning: Synthesizing Plans that Work for

Multiple Environments, 918Generalized Reaction Functions for Solving Complex-Task Allocation

Problems, 478Generalizing ADOPT and BnB-ADOPT, 554Generalizing Envy-Freeness toward Group of Agents, 386Generative Structure Learning for Markov Logic Networks Based on

Graph of Predicates, 1249Genevès, Pierre, 718Gent, Ian P., 623Geometric View of Conjugate Priors, A, 2558Georgiou, Loukas, 1261Gerding, Enrico H., 432Gerow, Aaron, 2244Getoor, Lise, 1485Ghosh, Arpita, 152Gibbins, Nicholas, 2704Gibson, Richard, 2802Giles, C. Lee, 2274Giordano, Laura, 894Glimm, Birte, 1027Gliozzi, Valentina, 894Glöckner, Ingo, 2430Goal Recognition over POMDPs: Inferring the Intention of a

POMDP Agent, 2009Göbelbecker, Moritz, 2442Goetschalckx, Robby, 1269Goldenberg, Meir, 662Goldwasser, Dan, 1794Golovin, Daniel, 2133Gomes, Carla, 1942, 2531, 2608Gomes, Paulo, 1801Gonçalo Oliveira, Hugo, 1801Gong, Pinghua, 1275Goodman, Noah D., 1565Goranko, Valentin, 845Gorga, Mario, 2836Gottlob, Georg, 497Goultiaeva, Alexandra, 546Grandi, Umberto, 18, 204, 2804Grant, John, 210, 2632Graph-Based Algorithm for Inducing Lexical Taxonomies from Scratch,

A, 1872Graph Pruning and Symmetry Breaking on Grid Maps, 2816Gravin, Nikolay, 37Greco, Gianluigi, 216Gretton, Charles, 2442Grohn, Yrjo, 2531Grossi, Valerio, 1281Groth, Paul, 2758Group-Strategyproof Irresolute Social Choice Functions, 79Groves, William, 2806Grüninger, Michael, 906

2876

or

Page 7: Index [] · tems, 192 Active Exploration for Robust Object Detection, 2752 ... Automatic Discovery of Fuzzy Synsets from Dictionary Definitions, 1801 Automatic State Abstraction from

Gspandl, Stephan, 900Gu, Quanquan, 1288, 1294Gu, Suicheng, 1300GUARDS — Innovative Application of Game Theory for

National Airport Security, 2710Guerin, Joshua T., 2808Guerra, Paulo T., 2810Guesgen, Hans W., 1231, 2788Guestrin, Carlos, 2734Guha, Prithwijit, 1665Guo, Jiafeng, 1690Guo, Qi, 1671Guo, Songshan, 699Guo, Yuhong, 1300Gutierrez, Patricia, 554, 2812Guyet, Thomas, 1306Guzman-Rivera, Abner, 2092

Haghpanah, Yasaman, 2814Hahmann, Torsten, 906Hajebi, Kiana, 1312Halpin, Harry, 2250Hammerla, Nils Y., 1729Hammond, Tracy, 2436Han, Jiawei, 1288, 1294Han, The Anh, 1684Hanheide, Marc, 2442Hao, Yu, 1770Hao, Zhifeng, 1577Haque, Sk. Mirajul, 2281Harabor, Daniel, 2816Harland, James, 426Harrison, Anthony, M., 2066Harrison, Brent E., 1439Hashavit, Anat, 222Hatano, Daisuke, 560Hatherly, Peter, 2500Hauskrecht, Milos, 1159Hawes, Nick, 2442Hayes, Conor, 1218Hazon, Noam, 2698He, Chao, 1690He, Minghua, 146He, Qing, 1396Helmert, Malte, 1983Hemann, Garrett, 2752Hemaspaandra, Edith, 566Hendrix, William, 1439, 1478Heras, Federico, 572Hermelin, Danny, 522Hernández, Carlos, 578Hernández-Lobato, José Miguel, 1318Herzig, Andreas, 228Heterogeneous Domain Adaptation Using Manifold Alignment, 1541Heuristic Algorithms for Balanced Multi-Way Number Partitioning, 693

Heuristic Rule-Based Regression via Dynamic Reduction to Classification, 1330

Heuristic Search under Quality and Time Bounds, 2854Hiatt, Laura, M., 2066Hidden Markov Model Variant for Sequence Classification, A, 1192Hierarchical Architecture for Adaptive Brain-Computer

Interfacing, A, 1647Hils, Martin, 510Hirayama, Katsutoshi, 560Hnich, Brahim, 2172Ho, Tu Bao, 2424Hoefer, Martin, 234Hoey, Jesse, 1269Höfer, Sebastian, 61Hoffmann, Jörg, 1983Hommersom, Arjen, 912Honavar, Vasant, 1523Hoogendoorn, Mark, 1697Horrocks, Ian, 1093Horsburgh, Ben, 2256Hou, Chenping, 1324Hsieh, Cho-Jui, 2777Hsu, Wen-Lian, 2418Hsu, Jane Yung-jen, 2470Hu, Derek Hao, 1962Hu, Weiming, 1571Hu, Weiwu, 1671Hu, Xuemei, 386Hu, Yuxiao, 918, 2638Huang, Albert S., 2752Huang, Heng, 1384, 1390, 1433, 1553Huang, Kaizhu, 1621Huang, Minlie, 2488Huang, Tiejun, 2456Huang, Xiaojing, 1615Huang, Xiaowei, 240Huang, Zi, 1589Hué, Julien, 750Hui, Siu Cheung, 1427Human-Agent Auction Interactions: Adaptive-Aggressive Agents Domi-

nate, 178Human Behavior Analysis from Video Data Using

Bag-of-Gestures, 2836Human-Guided Machine Learning for Fast and Accurate Network

Alarm Triage, 2564Hunter, Anthony, 2632Hustling in Repeated Zero-Sum Games with Imperfect Execution, 31Hybrid Recursive Multi-Way Number Partitioning Algorithm, A, 591Hypercubewise Preference Aggregation in Multi-Issue Domains, 158

Ianovski, Egor, 246Iba, Wayne, 97IJCAI Organization, xliiIliev, Petar, 881Imitation Learning in Relational Domains: A Functional-Gradient

Boosting Approach, 1414

2877

Page 8: Index [] · tems, 192 Active Exploration for Robust Object Detection, 2752 ... Automatic Discovery of Fuzzy Synsets from Dictionary Definitions, 1801 Automatic State Abstraction from

Impact of Belief State Representation in Planning under Uncertainty,On the, 2856

Improve Tree Kernel-Based Event Pronoun Resolution with Competitive Information, 1814

Improving Performance of Topic Models by Variable Grouping, 1178Improving Resource Allocation Strategy against Human Adversaries in

Security Games, 458Improving Topic Evaluation Using Conceptual Knowledge, 1866Incentive Engineering for Boolean Games, 2602Incorporating Reviewer and Product Information for Review Rating

Prediction, 1820Increasing Cost Tree Search for Optimal Multi-Agent

Pathfinding, The, 662Increasing the Scalability of the Fitting of Generalised Block Models for

Social Networks, 1218Incremental Slow Feature Analysis, 1354Inference with Multinomial Data: Why to Weaken the Prior

Strength, 2107Inoue, Katsumi, 924Input Parameter Calibration in Forest Fire Spread Prediction: Taking

the Intelligent Way, 2862Integrated Learning for Goal-Driven Autonomy, 2450Integrating Learning into a BDI Agent for Environments with

Changing Dynamics, 2525Integrating Task Planning and Interactive Learning for Robots to Work

in Human Environments, 2386Interaction-Oriented Model for Multi-Scale Simulation, An, 332Interest Prediction on Multinomial Time-Evolving Social Graph, 2507Interfacing Virtual Agents with Collaborative Knowledge: Open

Domain Question Answering Using Wikipedia-Based Topic Mod-els, 1896

Interval-Based Possibilistic Logic, 750Invited Talks, 2Irie, Go, 2238Isbell, Charles L. Jr., 1243Ishida, Toru, 1846Ishizuka, Mitsuru, 2205, 2268, 2507Isler, Volkan, 2054Iterative Flattening Search for the Flexible Job Shop

Scheduling Problem, 1991Iwasaki, Atsushi, 386, 393, 655Iwata, Tomoharu, 2262

Jaidee, Ulit, 2450Jamali, Mohsen, 2644James, Geoff, 2525Jamroga, Wojciech, 109, 252, 313Janssen, Frederik, 1330Järvisalo, Matti, 504Jeantet, Gildas, 2120Jeavons, Peter, 497Jefferson, Christopher, 623Jennings, Nicholas R., 338, 432, 2704Ji, Rongrong, 2456Jia, Zhaoyin, 2072Jiang, Hao, 2367Jiang, Yuan, 1559

Jin, Cheng, 1915, 1921Jin, Hongwei, 1820Jin, Xiaoming, 1776Jin, Yingzi, 2268Joe, Yongjoon, 655Johannsen, Jan, 2570Johanson, Michael, 258John, Richard, 458Joint Feature Selection and Subspace Learning, 1294Jointly Learning Data-Dependent Label and Locality-Preserving Projec-

tions, 1547Jonsson, Peter, 931Joshi, Saket, 1414Joty, Shafiq, 1807Julian, Vicente, 2844Just an Artifact: Why Machines Are Perceived as Moral Agents, 1641

Kaelbling, Leslie Pack, 1565, 1928Kamthe, Ankur, 1336Kapoor, Ashish, 1723, 1750, 2564Karlapalem, Kamalakar, 2060Kataria, Saurabh, 2274Kay, Judy, 2199Kaytoue, Mehdi, 1342Kazakov, Yevgeny, 1093Keane, Mark T., 2244Kedia, Vikas, 2494Kernel-Based Selective Ensemble Learning for Streams of Trees, 1281Kernels for Global Constraints, 540Kern-Isberner, Gabriele, 937Kerr, Wesley, 1348Kersting, Kristian, 1152, 1414Keynote and Invited Speakers, xlKhan, Latifur, 1758, 2830Khurdiya, Arpit, 2281Kiekintveld, Christopher, 458, 2710Kim, Dongho, 1968Kim, Kee-Eung, 1968Kime, Philip P., 1641Kinship Verification through Transfer Learning, 2539Kishimoto, Akihiro, 584Kitahara, Tomoe, 2238Kitaki, Makoto, 393Kitsuregawa, Masaru, 2373Kleinberg, Samantha, 943Kleiner, Alexander, 266Klemmer, Scott R., 2674Knowledge Representation, Reasoning, and Logic, 705Kobayashi, Yoshikazu, 584Kober, Jens, 2650Koenig, Sven, 478Koller, Daphne, 1465Kolobov, Andrey, 2818Kompella, Varun Raj, 1354Kong, Fang, 1814Konieczny, Sébastien, 951

2878

Page 9: Index [] · tems, 192 Active Exploration for Robust Object Detection, 2752 ... Automatic Discovery of Fuzzy Synsets from Dictionary Definitions, 1801 Automatic State Abstraction from

Kontchakov, Roman, 957, 2656Kooi, Barteld, 881Koprinska, Irena, 2199Korf, Richard E., 591, 668Korzhyk, Dmytro, 273Kosina, Petr, 1255Kostadinov, Dimitre, 2728Koster, Andrew, 2820Kowalski, Robert, 11Kraus, Sarit, 210, 2602Krause, Andreas, 2133Kravari, Kalliopi, 2662Krimkevitch, Alex, 510Krötzsch, Markus, 963, 2668Krümpelmann, Patrick, 937Kuang, Da, 2464Kumar, Akshat, 2140Kumar, Ranjitha, 2674Kumar, Shaishav, 1360Kumar, Vipin, 1478Kuo, Yen-Ling, 2470Kuznetsov, Sergei O., 1342

l2,1-Norm Regularized Discriminative Feature Selection for Unsupervised Learning, 1589

Lagrue, Sylvain, 750Lai, John K., 127Lakemeyer, Gerhard, 744Lallouet, Arnaud 597Lam, Samantha, 1218Lamb, Luís C., 1653, 2794, 2798Lamperti, Gianfranco, 969Lang, Jérôme, 73, 158, 186, 2602Large Hinge Width on Sparse Random Hypergraphs, 611Large Linear Classification When Data Cannot Fit in Memory, 2777Large Neighborhood Search and Adaptive Randomized

Decompositions for Flexible Jobshop Scheduling, 1997Larrañaga, Pedro, 2192Larson, Kate, 91Lau, Francis Chi-Moon, 2367Laviers, Kennard, 2476Lavrenko, Victor, 2250Law, Yat-Chiu, 597Lawrence, Richard D., 1225Layaïda, Nabil, 718Leake, David, 2680Learning 3D Geological Structure from Drill-Rig Sensors for

Automated Mining, 2500Learning a Distance Metric by Empirical Loss Minimization, 1186Learning Bilingual Lexicons Using the Visual Similarity of Labeled Web

Images, 1764Learning Cause Identifiers from Annotator Rationales, 1758Learning Compact Visual Descriptor for Low Bit Rate Mobile

Landmark Search, 2456Learning Decision Rules from Data Streams, 1255

Learning Driving Behavior by Timed Syntactic Pattern Recognition, 1529

Learning for Deep Language Understanding, 1858Learning from Natural Instructions, 1794Learning Hash Functions for Cross-View Similarity Search, 1360Learning Inter-Related Statistical Query Translation Models

for English-Chinese Bi-Directional CLIR, 1915Learning Linear and Kernel Predictors with the 0–1 Loss Function,

2740Learning Optimal Bayesian Networks Using A* Search, 2186Learning to Identify Review Spam, 2488Learning to Rank under Multiple Annotators, 1571Learning Where You Are Going and from Whence You Came:

h- and g-Cost Learning in Real-Time Heuristic Search, 365Léauté, Thomas, 2482Lee, Bongshin, 2564Lee, Jaesong, 1968Lee, Jimmy H. M., 597Lee, Joohyung, 724Lee, Sophia Yat Mei, 1826Legarra, Andrés, 2126Leite, João, 2287Lespérance, Yves, 827Leveraging Unlabeled Data to Scale Blocking for Record Linkage, 2211Levesque, Hector J., 827, 2638Li, Bin, 2293Li, Chen, 2551Li, Chu-Min, 605Li, Fangtao, 1820, 2488Li, Hongsong, 2330Li, Jiefei, 1535Li, Kuan, 1832Li, Lei, 484Li, Ruijiang, 2293Li, Runcong, 386Li, Shoushan, 1826Li, Wenjie, 2337Li, Wenye, 1366Li, Wu-Jun, 1705Li, Xiao, 2464Li, Xiaoli-Li, 1421Li, Yu-Feng, 1603Li, Zhenhui, 1294Lieber, Jean, 2582LIFT: Multi-Label Learning with Label-Specific Features, 1609Lifted Probabilistic Inference by First-Order Knowledge

Compilation, 2178Lifted Relational Kalman Filtering, 2092Lim, Andrew, 699LIMES — A Time-Efficient Approach for Large-Scale Link Discovery

on the Web of Data, 2312Lin, Chih-Jen, 2777Lin, Chin-Yew, 1807 2211Lin, Ching-Yung, 2268Lin, Xiaxiang, 611

2879

,

Page 10: Index [] · tems, 192 Active Exploration for Robust Object Detection, 2752 ... Automatic Discovery of Fuzzy Synsets from Dictionary Definitions, 1801 Automatic State Abstraction from

Line Orthogonality in Adjacency Eigenspace with Application to Community Partition, 2349

Ling, Charles X., 2464Linsey, Julie, 2436Lipovetzky, Nir, 2003Liu, Bo, 1577Liu, Cheng-Lin, 1621Liu, Guoqing, 1372Liu, Haifeng, 1378Liu, Junfa, 2545Liu, Mingjie, 1615, 2545Liu, Nathan N., 1820, 2318Liu, Tian, 611Liu, Tony Fei, 1511Liu, Xiaohua, 1832Liu, Xin, 2147Liu, Yiqun, 2361Liu, Yongmei, 976Liu, Zhenming, 2576Lo, Chi-kiu, 1838Local and Structural Consistency for Multi-Manifold Clustering, 1559Locality-Constrained Concept Factorization, 1378Log-Linear Description Logics, 2153Logic for Causal Inference in Time Series with Discrete and Continuous

Variables, A, 943Logic Programming for Boolean Networks, 924Logical Formulation for Negotiation among Dishonest Agents, A, 1069Lomuscio, Alessio, 738, 1659Long, Derek, 2620Long, Jeffrey, 617Lööw, Tomas, 931Lopes, Elsa, 1517Lopez de Mantaras, Ramon, 1211López-Sánchez, Maite, 307Lorca, Xavier, 643Lorini, Emiliano, 228Lost in Translation: Language Independence in Propositional Logic —

Application to Belief Revision and Belief Merging, 1002Lou, Qiang, 1711Lower Bounds for Width-Restricted Clause Learning on Formulas of

Small Width, 2570Lozano-Pérez, Tomás, 1928Lu, Qin, 2337Lu, Tyler, 280, 287Lu, Zhao, 2531Lucas, Peter J. F., 912Luciw, Matthew, 1354Luna, Ryan, 294Luo, Bin, 1505Luo, Dijun, 1384, 1390, 1433Luo, Ping, 1396Luo, Xudong, 146Lutz, Carsten, 983, 989, 2656

Ma, Shaoping, 2361Ma, Xudong, 1396

Ma, Zhigang, 1589Machine Learning, 1139Machuca, Enrique, 2822Magazzeni, Daniele, 2620Mahadevan, Sridhar, 1541, 1547Mahajan, Ratul, 2564Makedon, Fillia, 1553Making Better Informed Trust Decisions

with Generalized Fact-Finding, 2324Malizia, Enrico, 216, 301Malone, Brandon, 2186Managed Multi-Context Systems, 786Manipulating Boolean Games through Communication, 210Manipulation in Group Argument Evaluation, 121Mannor, Shie, 2046Manyà, Felip, 605Mao, Yongyi, 2379Marengo, Elisa, 2824Market Clearing Solution for Social Lending, A, 152Markovitch, Shaul, 222Marlin, Benjamin M., 2686Marques-Silva, Joao, 572Marquis, Pierre, 951, 996, 1002Marsland, Stephen, 1231, 2788Martinez, Maria Vanina, 2826Martínez-Sotoca, José, 1165Martínez-Usó, Adolfo, 1165Martins, João, 2287Maruyama, Yoshihiro, 1008Masato, Daniele, 1402Masci, Jonathan, 1237Massie, Stewart, 2256Matching Large Ontologies Based on Reduction Anchors, 2343Mathieu, Philippe, 332Matrix Co-Factorization on Compressed Sensing, 1595Matsuno, Jun, 1846Matsuo, Yutaka, 2205, 2268Matsuura, Jackson P., 1211Mattei, Nicholas, 2828Maupin, Patrick, 240Mausam, 3, 2818Mavroeidis, Dimitrios, 2692Maximum Likelihood Approach towards Aggregating Partial

Orders, A, 446Max-Prob: An Unbiased Rational Decision Making Procedure

for Multiple-Adversary Environments, 222McGlothlin, James P., 2830McIlraith, Sheila A., 1975McSherry, David, 2299Mears, Chris, 516Measuring the Good and the Bad in Inconsistent Information, 2632Mechanism Design for Double Auctions with Temporal

Constraints, 472Mechanism Design for Dynamic Environments:

Online Double Auctions, 2868

2880

Page 11: Index [] · tems, 192 Active Exploration for Robust Object Detection, 2752 ... Automatic Discovery of Fuzzy Synsets from Dictionary Definitions, 1801 Automatic State Abstraction from

Mechanism for Dynamic Ride Sharing Based on Parallel Auctions, A, 266

Meert, Wannes, 2178Mehta, Sameep, 2494Meier, Ueli, 1237Meir, Reshef, 301, 2832Melechko, Anatoli V., 1478Melkumyan, Arman, 1408Melville, Prem, 1225Mendes, Ana Cristina, 1852Meneguzzi, Felipe, 2513Meng, Yunsong, 724Meseguer, Pedro, 554, 2812Method for Evaluating and Standardizing Ontologies, A, 2846Meyer, John-Jules C., 1653Michael, Loizos, 1014Michalak, Tomasz, 338Miguel, Ian, 623Mind the Eigen-Gap or How to Accelerate Semi-Supervised Spectral

Learning Algorithms, 2692Minimally Complete Recommendations, 2299Minimization for Generalized Boolean Formulas, 566Minimum Satisfiability and Its Applications, 605Minimum Search to Establish Worst-Case Guarantees in Coalition

Structure Generation, 338Mining Longitudinal Network for Predicting Company Value, 2268Mining the Web for the “Voice of the Herd” to Track Stock Market Bub-

bles, 2244Mining User Dwell Time for Personalized Web Search

Re-Ranking, 2367Mitra, Prasenjit, 2274Miyazaki, Seiya, 1491Model Checking Knowledge in Pursuit Evasion Games, 240Modeling Attempt and Action Failure in Probabilistic STIT Logic, 792Modeling Multivariate Spatio-Temporal Remote Sensing Data with

Large Gaps, 1711Modeling Situation Awareness in Human-Like Agents Using Mental

Models, 1697Modeling the Emergence and Convergence of Norms, 97Modgil, Sanjay, 1021Modular Community Detection in Networks, 1366Modular Structure of an Ontology: Atomic Decomposition, The, 2232Moisan, Frédéric, 228Molinaro, Cristian, 1628Molnar, Levente, 1659Monitoring the Execution of Partial-Order Plans via Regression, 1975Montanari, Angelo, 845Monteiro, Sildomar T., 2500Moore, Andrew W., 2722Morales, Eduardo F., 2192Morales, Javier, 307Morales-Mombiela, Pablo, 1318Motor Simulation via Coupled Internal Models Using Sequential Monte

Carlo, 2113Mouratidis, Kyriakos, 693Mouri, Takayuki, 386

Mugnier, Marie-Laure, 712Muise, Christian, 1975Mukerjee, Amitabha, 1665Muller, Philippe, 1788Multi-Agent Coordination: DCOPs and Beyond, 2838Multiagent Hierarchical Learning from Demonstration, 2852Multi-Agent Plan Recognition with Partial Team Traces and

Plan Libraries, 484Multi-Agent Soft Constraint Aggregation via Sequential Voting, 172Multidimensional Mereotopology with Betweenness, 906Multidisciplinary Topics and Applications, 1627Multi-Evidence Lifted Message Passing with Application to PageRank

and the Kalman Filter, 1152Multi-Inter-Distance Constraint, The, 629Multi-Kernel Gaussian Processes, 1408Multi-Kernel Multi-Label Learning with Max-Margin Concept

Network, 1615Multi-Label Classification Using Conditional Dependency Networks,

1300Multi-Perspective Linking of News Articles within a Repository, 2281Multi-Select Faceted Navigation Based on Minimum Description

Length Principle, 1690Muñoz-Avila, Héctor, 2450Muresan, Smaranda, 1858Musat, Claudiu Cristian, 1866

Nakatsuji, Makoto, 2305Napoli, Amedeo, 1342Narodytska, Nina, 522Natarajan, Sriraam, 1414Natural Language Processing, 1757Natural Language Question Answering System as a

Participant in Human Q&A Portals, A, 2430Navigli, Roberto, 1872Nebel, Bernhard, 266, 1120Nenov, Yavor, 957Nested Rollout Policy Adaptation for Monte Carlo Tree Search, 649Neumann, Frank, 1198Neural-Symbolic Cognitive Agent for Online Learning and Reasoning,

A, 1653New Complexity Results for MAP in Bayesian Networks, 2100New Search Engine Integrating Hierarchical Browsing and Keyword

Search, A, 2464Newman, Paul, 2746Ng, See-Kiong, 1421Ng, Vincent, 1758, 1884, 1949Ngonga Ngomo, Axel-Cyrille, 2312Nguyen, Minh Nhut, 1421Nguyen, Tam T., 1427Ni, Xiaochuan, 1204Nie, Feiping, 1324, 1433, 1553Niedermeier, Rolf, 55Niepert, Mathias, 2153Nightingale, Peter, 623Nikitina, Nadeschda, 1027Nissim, Raz, 1983

2881

Page 12: Index [] · tems, 192 Active Exploration for Robust Object Detection, 2752 ... Automatic Discovery of Fuzzy Synsets from Dictionary Definitions, 1801 Automatic State Abstraction from

Noessner, Jan, 2153Non-Linear Monte-Carlo Search in Civilization II, 2404Nori, Nozomi, 2507Norm Compliance of Rule-Based Cognitive Agents, 2716Norman, Timothy J., 115, 1402, 2513Norton, Myra, 1485Novák, Peter, 313Novati, Michael, 2771

Obradovic, Zoran, 1711Obraztsova, Svetlana, 319, 2698OCS-14: You Can Get Occluded in Fourteen Ways, 1665Oddi, Angelo, 1991Oh, Jean, 2513Oliehoek, Frans A., 2027Olivetti, Nicola, 894Olivier, Patrick, 1729O’Mahony, Eoin, 2531On-Line Algorithm for Semantic Forgetting, An, 2704Onaindia, Eva, 2834Online Latent Structure Training for Language Acquisition, 1782Online Planning for Ad Hoc Autonomous Agent Teams, 439Ontañón, Santiago, 1717Oon, Wee-Chong, 699Open Information Extraction: The Second Generation, 3Optimal Partitions in Additively Separable Hedonic Games, 43Ordonez, Fernando, 458Ordyniak, Sebastian, 1033Ortiz, Magdalena, 798, 805, 1039Ouellet, Pierre, 629Oztop, Erhan, 2650

Pachet, François, 635Pacino, Dario, 1997Packer, Heather S., 2704Padgham, Lin, 2525Pagnucco, Maurice, 1132Pairwise Decomposition for Combinatorial Optimization

in Graphical Models, 2126Pajares, Sergio, 2834Pajarinen, Joni, 325Palopoli, Luigi, 216Pan, Rong, 1535Pan, Sinno Jialin, 2355Pan, Weike, 2318, 2355Pang, HweeHwa, 693Pansombut, Tatdow, 1439, 1478Papatheodorou, Konstantinos, 2662Parametric Properties of Ideal Semantics, 851Parija, Gyana, 2494Parr, Ronald, 273Parsia, Bijan, 2232Pascual-Nieto, Ismael, 2519Pass, Rafael, 67Past IJCAI Conferences, xliiiPasternack, Jeff, 2324

Patel, Kayur, 1723Patrizi, Fabio, 738, 2003Pattern Field Classification with Style Normalized

Transformation, 1621Pattinson, Dirk, 1075Pearce, David, 1045Peltonen, Jaakko, 325Pelzer, Björn, 2430Peñaloza, Rafael, 768Pencolé, Yannick, 731Penn, Michal, 234Pennock, David M., 452Peppas, Pavlos, 839Pereira, Luís Moniz, 1684Perez-Marin, Diana, 2519Perrussel, Laurent, 472Persia, Fabio, 1628Peters, Jan, 2650Petit, Thierry, 643Pezzulo, Giovanni, 2113Pfeffer, Avi, 24Picariello, Antonio, 1628Picault, Jérôme, 2728Picault, Sébastien, 332picoTrans: Using Pictures as Input for Machine Translation

on Mobile Devices, 2614Pietquin, Olivier, 1878Pigozzi, Gabriella, 121Pill, Ingo, 900Pini, Maria Silvia, 172Piro, Robert, 983Pita, James, 2710Piunti, Michele, 400Pizzato, Luiz, 2199Plan Recognition in Virtual Laboratories, 2392Planning and Scheduling, 1927Planning under Partial Observability by Classical Replanning:

Theory and Experiments, 1936Planning with SAT, Admissible Heuristics and A*, 2015Plötz, Thomas, 1729Podlaszewski, Mikolaj, 121Point-Based Value Iteration for Constrained POMDPs, 1968Polukarov, Maria, 234Ponce, Víctor, 2836Pontelli, Enrico, 1069, 2033, 2590Porello, Daniele, 18Positive Unlabeled Leaning for Time Series Classification, 1421Posner, Ingmar, 2746, 2752Pound, Jeffrey, 1051Poupart, Pascal, 1269, 1968Powell, Jay, 2680Pozzato, Gian Luca, 894Practical Automata-Based Technique for Reasoning

in Expressive Description Logics, A, 798Prakken, Henry, 1021, 1113Pratt-Hartmann, Ian, 957

2882

Page 13: Index [] · tems, 192 Active Exploration for Robust Object Detection, 2752 ... Automatic Discovery of Fuzzy Synsets from Dictionary Definitions, 1801 Automatic State Abstraction from

Predicting Epidemic Tendency through Search Behavior Analysis, 2361Predicting Globally-Coherent Temporal Structures from Texts via End-

point Inference and Graph Decomposition, 1788Preface, xxviiPrestwich, Steven, 2172Probabilistic Goal Markov Decision Processes, 2046Probabilistic Satisfiability: Logic-Based Algorithms and

Phase Transition, 528Probit Classifiers with a Generalized Gaussian Scale

Mixture Prior, 1372Procaccia, Ariel D., 127Progression and Query Evaluation in First-Order Knowledge Bases with

Function Symbols, On, 744Progression of Knowledge in the Situation Calculus, On the, 976Pronobis, Andrzej, 2442Pujol-Gonzalez, Marc, 2838Push and Swap: Fast Cooperative Path-Finding with Completeness

Guarantees, 294

Q-Error as a Selection Mechanism in Modular Reinforcement-LearningSystems, 1452

Qualitative Route Descriptions: Representation and ComputationalComplexity, On, 1120

Query Answering in the Horn Fragments of the Description LogicsSHOIQ and SROIQ, 1039

Query Reasoning on Trees with Types, Interleaving, and Counting, 718Quimper, Claude-Guy, 629Quiniou, René, 1306

Raghavan, Sindhu V., 2840Rahman, Altaf, 1884Rahwan, Talal, 338Raj, Nidhi, 2281Ramírez, Miquel, 2009Ramos, Fabio, 1408, 2500Randomized Sensing in Adversarial Environments, 2133Rangwala, Huzefa, 1192Rao, Rajesh P. N., 1647Rasconi, Riccardo, 1991Rational Deployment of CSP Heuristics, 680RCC8 Is Polynomial on Networks of Bounded Treewidth, 756RDFKB: A Semantic Web Knowledge Base, 2830Read-Once Resolution for Unsatisfiability-Based Max-SAT Algorithms,

572Real-Time Heuristic Search with Depression Avoidance, 578Real-Time Opponent Modeling in Trick-Taking Card Games, 617Real-Time Opponent Modeling System for Rush Football, A, 2476Real-Time Solving of Quantified CSPs Based on Monte-Carlo Game

Tree Search, 655Reasoning about Fuzzy Belief and Common Belief: With Emphasis on

Incomparable Beliefs, 1008Reasoning about Preferences in Intelligent Agent Systems, 426Reasoning about Typicality in Low Complexity DLs: The Logics

EL�Tmin and DL-Litec Tmin, 894Reasoning and Proofing Services for Semantic Web Agents, 2662Reasoning-Supported Interactive Revision of Knowledge Bases, 1027Recht, Benjamin, 1171

Recommender Systems from “Words of Few Mouths,” 2379Recommender Systems Missing Data and Statistical

Model Estimation, 2686Reddy, Prashant P., 1446Refutation in Dummett Logic Using a Sign to Express the Truth at the

Next Possible World, 869Regan, Kevin, 2159, 2165Regret Minimization in Multiplayer Extensive Games, 2802Reinforcement Learning to Adjust Robot Movements to

New Situations, 2650Reip, Michael, 900Rej, Tomasz, 2199Relating Carneades with Abstract Argumentation, 1113Relating the Semantics of Abstract Dialectical Frameworks

and Standard AFs, 780Relation Adaptation: Learning to Extract Novel Relations

with Minimum Supervision, 2205Relevance Feedback between Web Search and the Semantic Web, 2250Rens, Gavin, 2842Renz, Jochen, 1120Repairing Incorrect Knowledge with Model Formulation

and Metareasoning, 887Replanning in Domains with Partial Information and Sensing Actions,

2021Research Proposal: Cooperation among Self Interested Agents, 2832Resolute Choice in Sequential Decision Problems with Multiple Priors,

2120Resource-Bounded Crowd-Sourcing of Commonsense Knowledge, 2470Revising by an Inconsistent Set of Formulas, 833Revising Horn Theories, 839Revisiting Numerical Pattern Mining with Formal Concept Analysis,

1342Revisiting Preferences and Argumentation, 1021Rigging Tournament Brackets for Weaker Players, 357Ring, Mark, 1452Rintanen, Jussi, 2015Risk-Sensitive Policies for Sustainable Renewable

Resource Allocation, 1942Rizoiu, Marian-Andrei, 1866Robotic Object Detection: Learning to Improve the Classifiers

Using Sparse Graphs for Path Planning, 2072Robotics and Vision, 2053Robu, Valentin, 432Robust Approximation and Incremental Elicitation

in Voting Protocols, 287Robust Online Optimization of Reward-Uncertain MDPs, 2165Robust Principal Component Analysis with

Non-Greedy l1-Norm Maximization, 1433Role of Domain Knowledge in Analogy-Based Story

Generation, On the, 1717Role of Intention Recognition in the Evolution

of Cooperative Behavior, The, 1684Roper, Alex, 2133Rosamond, Frances, 522Rosati, Riccardo, 1057Rosenschein, Jeffrey S., 301Rosin, Christopher D., 649

2883

:

Page 14: Index [] · tems, 192 Active Exploration for Robust Object Detection, 2752 ... Automatic Discovery of Fuzzy Synsets from Dictionary Definitions, 1801 Automatic State Abstraction from

Rossi, Francesca, 172Rossi, Roberto, 2172Rossit, Julien, 750Roth, Dan, 1782, 1794, 2324Rotolo, Antonino, 2716Roughgarden, Tim, 2674Roveri, Marco, 2398Roweis, Sam T., 2686Roy, Daniel M., 1565Roy, Nicholas, 2752Roy, Pierre, 635Rozenfeld, Benjamin, 1890Ru, Liyun, 2361Rubin, Jonathan, 344Rudolph, Sebastian, 712, 963, 1027, 1039Ruml, Wheeler, 674Russell, Stuart, 2039Russell, Tyrel, 350

Sabater-Mir, Jordi, 414, 420, 2820Sabuncu, Orkunt, 2626Saffidine, Abdallah, 186Sakama, Chiaki, 1063, 1069Samatova, Nagiza F., 1439, 1478Samdani, Rajhans, 1458Sample Efficient On-Line Learning of Optimal Dialogue Policies with

Kalman Temporal Differences, 1878Sanchez-Anguix, Victor, 2844Sandholm, Tuomas, 379Sanner, Scott, 1152Santos, Francisco C., 1684Santos, Olga C., 2519Sardina, Sebastian, 2525Saria, Suchi, 1465Sarkar, Purnamrita, 2722Sato, Taisuke, 1472Satomi, Baba, 655Sattler, Uli, 2232Sauro, Luigi, 762Sawada, Hiroshi, 2262Saxena, Ashutosh, 2072Scalable Multiagent Planning Using Probabilistic Inference, 2140Scaling Up Optimal Heuristic Search in Dec-POMDPs via Incremental

Expansion, 2027Scarcello, Francesco, 216Schaub, Torsten, 2626Schaul, Tom, 1452Scherer, Reinhold, 1647Schiex, Thomas, 2126Schmidhuber, Jürgen, 1237, 1354Schmitt, Alan, 718Schneider, Thomas, 2232Schnoor, Henning, 566Schorlemmer, Marco, 2820Schröder, Lutz, 1075Schuurmans, Dale, 1366

Schwind, Nicolas, 951, 1002Sciavicco, Guido, 845SDD: A New Canonical Representation of Propositional

Knowledge Bases, 819Security Games with Multiple Attacker Resources, 273Seedig, Hans Georg, 43, 85Selman, Bart, 1942, 2608Semantic Relationship Discovery with Wikipedia Structure, 1770Semazzi, Frederick, 1478Semi-Supervised Learning for Imbalanced Sentiment

Classification, 1826Semi-Supervised Learning from a Translation Model between Data Dis-

tributions, 1165Sen, Sandip, 97, 420Sencan, Huseyin, 1478Senot, Christophe, 2728Sensorimotor Models of Space and Object Geometry, 2850Seyed, A. Patrice, 2846Seylan, Inanc, 1099Shahaf, Dafna, 2734Shahbazi, Hossein, 1312Shalev-Shwartz, Shai, 2740Shamir, Ohad, 2740Shani, Guy, 2021Shao, Ming, 2539Shapley Value as a Function of the Quota in Weighted

Voting Games, The, 490Sharara, Hossam, 1485Sharon, Guni, 662Shavlik, Jude, 1414Shen, Dou, 1776Shen, Heng Tao, 1589Shen, Huawei, 1690Shen, Yi-Dong, 1081Shen, Zhiqi, 2545Shen, Zhiyong, 1396Shi, Zhongzhi, 1396Shimony, Solomon Eyal, 680Shin, Kilho, 1491Shiryaev, Dmitry, 37Shoham, Yoav, 31Short Text Classification Improved by Learning

Multi-Granularity Topics, 1776Short Text Conceptualization Using a Probabilistic

Knowledgebase, 2330Siddiqi, Sajjad, 1087Silver, David, 2404Sim, Yan Chuan, 1909Simancik, Frantisek, 1093Similarity-Based Approach for Positive and Unlabeled Learning, 1577Simkus, Mantas, 805, 1039Simon, Laurent, 605Simple and Fast Strong Cyclic Planning for Fully-Observable

Nondeterministic Planning Problems, 1949Simulating the Emergence of Grammatical Agreement in Multi-Agent

Language Games, 61

2884

Page 15: Index [] · tems, 192 Active Exploration for Robust Object Detection, 2752 ... Automatic Discovery of Fuzzy Synsets from Dictionary Definitions, 1801 Automatic State Abstraction from

Simulation-Based Data Mining Solution to the Structure of Water Surrounding Proteins, 2424

Sindhwani, Vikas, 1225Singh, Dhirendra, 2525Siu, Charles F. K., 597Sketch Recognition Algorithms for Comparing Complex

and Unpredictable Shapes, 2436Skopalik, Alexander, 234, 490Slaney, Malcolm, 2686Slonim, Noam, 1498Smith, Mike, 2746Smith, Rebecca L., 2531Smith, Stephen F., 1991SMT Versus AI Redux: How Semantic Frames Evaluate

MT More Accurately, 1838Social Abstract Argumentation, 2287Social Distance Games, 91Social Instruments for Robust Convention Emergence, 420Soderland, Stephen, 3Solving the Multiagent Selection and Scheduling Problem, 2784Son, Tran Cao, 1069, 2033Song, Wei, 2614Song, Yangqiu, 2330Source-Selection-Free Transfer Learning, 2355Spaan, Matthijs T. J., 2027Space Defragmentation Heuristic for 2D and 3D Bin Packing Problems,

699Spanjaard, Olivier, 2120Special Track on Integrated and Embedded Artificial Intelligence, 2385Sperduti, Alessandro, 1281Spiliopoulou, Myra, 1583Sridharan, Karthik, 2740Stachniak, Zbigniew, 504Standley, Trevor, 668Stanton, Isabelle, 357Statement of Thesis Research: Multi-Robot Sampling Strategies for

Large-Scale Oceanographic Experiments, 2790Steck, Andreas, 2848Steigerwald, Erin, 2710Steinbauer, Gerald, 900Stern, Roni, 662Stober, Jeremy, 2850Stoilos, Giorgos, 2226Straccia, Umberto, 813Strategy Learning for Autonomous Agents in Smart Grid Markets, 1446Stuckenschmidt, Heiner, 2153Stuckey, Peter J., 516Sturtevant, Nathan R., 365Su, Jian, 1909, 2355Su, Kaile, 611Suárez, Alberto, 1318Subrahmanian, V. S., 1628Subsidies, Stability, and Restricted Cooperation in Coalitional Games,

301Sucar, L. Enrique, 2192Succinctness of Epistemic Languages, 881

Sugawara, Toshiharu, 371Sugiyama, Ayumu, 2424Sukthankar, Gita, 2476Sullivan, Keith, 2852Sumita, Eiichiro, 2614Sun, Dengdi, 1505Sun, Jian-Tao, 1204Sun, Maosong, 2551Sun, Xiaorui, 2576Sycara, Katia, 115, 1402, 2513Symmetries and Lazy Clause Generation, 516Symmetry Breaking via LexLeader Feasibility Checkers, 687System for Providing Differentiated QoS in Retail Banking, A, 2494Szafron, Duane, 2802Szeider, Stefan, 540, 863, 1033

Tackling the Partner Units Configuration Problem, 497Tadepalli, Prasad, 1414Taghipour, Nima, 2178Talking about Trust in Heterogeneous Multi-Agent Systems, 2820Talton, Jerry O., 2674Tambe, Milind, 458, 465, 2710Tan, Chew Lim, 1909Tan, Desney S., 1723Tan, Swee Chuan, 1511Tanaka-Ishii, Kumiko, 2614Tang, Jin, 1505Tang, Jintao, 2337Tang, Pingzhong, 379Tangled Modal Logic for Spatial Reasoning, 857Tao, Dacheng, 1186Tarim, S. Armagan, 2172Tchaltsev, Andrei, 2398Teahan, William J., 1261Temporal Defeasible Argumentation in Multi-Agent Planning, 2834Temporal Regulations and Commitment Protocols, On, 2824ten Cate, Balder, 1099Tenenbaum, Joshua B., 1565Teose, Maarika, 2531Tettamanzi, Andrea G. B., 164Thangarajah, John, 426Thayer, Jordan T., 674, 2854Theoretical Justification of Popular Link Prediction Heuristics, 2722Theory of Meta-Diagnosis: Reasoning about Diagnostic Systems, A, 731Thielscher, Michael, 1107Thomaz, Andrea L., 1243Thomazo, Michaël, 712Thorstensen, Evgenij, 497Thuraisingham, Bhavani, 2830Ties Matter: Complexity of Voting Manipulation Revisited, 2698Ting, Kai Ming, 1511To, Son Thanh, 2033, 2856Todo, Taiki, 386Tolpin, David, 680Toman, David, 875, 1051, 2656Toni, Francesca, 198

2885

Page 16: Index [] · tems, 192 Active Exploration for Robust Object Detection, 2752 ... Automatic Discovery of Fuzzy Synsets from Dictionary Definitions, 1801 Automatic State Abstraction from

Torgo, Luis, 1517Torras, Carme, 2386Toussaint, Marc, 2140Towards a Model-Centric Cognitive Architecture for

Service Robots, 2848Towards More Expressive Cake Cutting, 127Towards Scalable MDP Algorithms, 2818Towards Social Problem-Solving with Human Subjects, 2798Towards Spatial Methods for Socially Assistive Robotics: Validation

with Children with Autism Spectrum Disorders, 2800Tractable Massively Multi-Agent Pathfinding with Solution Quality and

Completeness Guarantees, 2860Tractable Set Constraints, 510Trafton, J. Gregory, 2066Tran, Anh, 1348Tran, Thomas, 2379Transfer Learning for Activity Recognition via Sensor Mapping, 1962Transfer Learning in Spatial Reasoning Puzzles, 2864Transfer Learning to Predict Missing Ratings via Heterogeneous User

Feedbacks, 2318Transitively Relational Partial Meet Horn Contraction, 1132Transitivity Aware Matrix Factorization Model for Recommendation in

Social Networks, A, 2644Translating First-Order Theories into Logic Programs, 1126Translation-Based Constraint Answer Set Solving, 2596Trausan-Matu, Stefan, 1866Treur, Jan, 1697, 1735, 1743Trivial Solution and Scale Transfer Problems in Graph Regularized

NMF, On, 1288Troquard, Nicolas, 228Truong, Khai N., 2771Trust and Reputation Model for Supply Chain Management, A, 2814Trust Decision-Making in Multi-Agent Systems, 115Trust Mechanisms for Online Systems (Extended Abstract), 2866Trust Prediction Approach Capturing Agents’

Dynamic Behavior, A, 2147Trusty, Andrew, 2771Tsai, Richard Tzong-Han, 2418Tsai, Wei-Chi, 2418Tsoumakas, Grigorios, 1583Tu, Kewei, 1523

Uchiyama, Toshio, 2305Uckelman, Joel, 18Udupa, Raghavendra, 1360Ueda, Suguru, 393Uncertainty in AI, 2091Uniform Approach for Generating Proofs and Strategies for Both True

and False QBF Formulas, A, 546Unsupervised Learning of Patterns in Data Streams Using

Compression and Edit Distance, 1231Unsupervised Lexicon Acquisition for HPSG-Based Relation

Extraction, 1890Unsupervised Modeling of Dialog Acts in Asynchronous

Conversations, 1807Unweighted Coalitional Manipulation under the Borda Rule

Is NP-Hard, 55

Uridia, Levan, 1045User-Dependent Aspect Model for Collaborative Activity

Recognition, 2085User Similarity from Linked Taxonomies: Subjective

Assessments of Items, 2305Using Cases as Heuristics in Reinforcement Learning:

A Transfer Learning Application, 1211Using Emotions to Enhance Decision-Making, 24Using Experience to Generate New Regulations, 307Using Gaussian Processes to Optimise Concession in Complex

Negotiations against Unknown Opponents, 432Using Incentive Mechanisms for an Adaptive Regulation of

Open Multi-Agent Systems, 139Using Multiple Models to Understand Data, 1723Using Payoff-Similarity to Speed Up Search, 534Usunier, Nicolas, 2764Utility of Curricula in Unsupervised Learning of

Probabilistic Grammars, On the, 1523Utility-Based Fraud Detection, 1517

Valentine, Stephanie, 2436van Beek, Peter, 350Van den Broeck, Guy 2178van der Hoek, Wiebe, 881van der Meyden, Ron, 240van der Torre, Leendert, 406van de Ven, Joop, 2500Van Durme, Benjamin, 1764Van Gelder, Allen, 546van Gijzel, Bas, 1113Van Hentenryck, Pascal, 687, 1997van Lambalgen, Rianne M., 1697Vasconcelos, Wamberto W., 1402Velardi, Paola, 1872Velcin, Julien, 1866Velez, Javier, 2752Veloso, Manuela M., 192, 1446Venable, K. Brent, 172Venanzi, Matteo, 400Venkatesh, K. Subramanian, 1665Veres, Sandor, 1659Verifying Fault Tolerance and Self-Diagnosability of an Autonomous

Underwater Vehicle, 1659Verifying Normative Behaviour via Normative Mechanism Design, 103Verwer, Sicco, 1529Villata, Serena, 164, 406Villatoro, Daniel, 414, 420Visser, Simeon, 426Visual Task Inference Using Hidden Markov Models, 1678Vitucci, Nicola, 2858Vlahavas, Ioannis, 1583Vöcking, Berthold, 234Vrain, Christel, 1249

Wachsmuth, Ipke, 1896Wagner, Markus, 1198

2886

Page 17: Index [] · tems, 192 Active Exploration for Robust Object Detection, 2752 ... Automatic Discovery of Fuzzy Synsets from Dictionary Definitions, 1801 Automatic State Abstraction from

Walking the Complexity Lines for Generalized Guarded Existential Rules, 712

Walsh, Toby, xxvii, 2596Waltinger, Ulli, 1896Wan, Chang, 1535Wanatabe, Shinji, 2262Wang, Chang, 1541, 1547Wang, Chaoyi, 611Wang, Gang, 1204Wang, Haixun, 2330Wang, Hua, 1433, 1553Wang, Ji, 2337Wang, Ko-Hsin Cindy, 2860Wang, Peng, 2343Wang, Shenghui, 2758Wang, Shuguang, 1159Wang, Ting, 2337Wang, Yajun, 2576Wang, Yong, 1559Wang, Zhongqing, 1826Wang, Zhongyuan, 2330Wassermann, Renata, 2810Watanabe, Osamu, 584Watson, Ian, 344Waugh, Kevin, 258Web and Knowledge-Based Information Systems, 2198 Weddell, Grant, 1051Weinzierl, Antonius, 786Weld, Daniel S., 2818Well-Supported Semantics for Description Logic Programs, 1081Wen, Ximing, 976Wendt, Kerstin, 2862Weston, Jason, 2764Westphal, Matthias, 1120Wetzel, Baylor, 2864What Is an Ideal Logic for Reasoning with Inconsistency?, 706What to Ask to an Incomplete Semantic Web Reasoner?, 2226Wikipedia Based Semantic Graph Model for Topic Tracking in Blog-

sphere, A, 2337Williams, Colin R., 432Williams, Virginia Vassilevska, 357Wilson, Mark C., 246Wingate, David, 1565Witkowski, Jens, 2866Witteveen, Cees, 1529Woeginger, Gerhard J., 55Wolfe, Jason, 2039Wölfl, Stefan, 756, 1120Wolter, Frank, 983, 989, 2656Woltran, Stefan, 780, 851Wooldridge, Michael, 210, 2602Wörgötter, Florentin, 2386WSABIE: Scaling Up to Large Vocabulary Image Annotation, 2764Wu, Bin, 1615Wu, Dekai, 1838Wu, Feng, 439

Wu, Jianxin, 1372Wu, Jiewen, 1051Wu, Leting, 2349Wu, Ou, 1571Wu, Wei, 1921Wu, Xiaojian, 2186Wu, Xindong, 2293Wu, Xintao, 2349Wu, Yi, 1324, 1559Wu, Zhaohui, 1378Wyatt, Jeremy, 2442

Xia, Lirong, 158, 446, 452Xia, Siyu, 2539Xiang, Evan Wei, 2318, 2355Xiao, Yanshan, 1577Xiong, Zhongyang, 1832Xioufis, Eleftherios Spyromitros, 1583Xu, Baowen, 2343Xu, Danqing, 2361Xu, Huan, 2046Xu, Ke, 611Xu, Songhua, 2367Xu, Zhiwei, 1671Xue, Xiangyang, 1615, 1915, 1921, 2293

Yacef, Kalina, 2199Yang, Qiang, 1204, 1820, 1962, 2085, 2318, 2355Yang, Rong, 458Yang, Yi, 1589, 2488Yang, Zheng, 1378Yang, Zhenglu, 2373Yao, Hongxun, 2456Yatani, Koji, 2771Yen, I-Ling, 1949Yeoh, William, 554Yeung, Dit-Yan, 1705, 2218Yi, Dongyun, 1324Yih, Wen-tau, 1458Yin, Jie, 1577Yin, Zhengyu, 465Ying, Mingsheng, 1126Ying, Xiaowei, 2349Yip, Justin, 687Yokoo, Makoto, 386, 393, 655Yom-Tov, Elad, 1498Yoo, Jiho, 1595Yu, Hsiang-Fu, 2777Yu, Lan, 246Yu, Yang, 1603Yu, Yong, 2211Yuan, Changhe, 2186Yue, Pei, 2211

Zakharyaschev, Michael, 957, 2656Zamansky, Anna, 706

2887

Page 18: Index [] · tems, 192 Active Exploration for Robust Object Detection, 2752 ... Automatic Discovery of Fuzzy Synsets from Dictionary Definitions, 1801 Automatic State Abstraction from

Zambuto, Daniele, 2113Zanella, Marina, 969Zang, Peng, 1243Zaragoza, Julio, H., 2192Zemel, Richard S., 2686Zender, Hendrik, 2442Zhang, Changshui, 1275Zhang, Chengqi, 1577, 2293Zhang, Dongmo, 472Zhang, Heng, 1126Zhang, Hong, 1312Zhang, Jilian, 693Zhang, Li, 1903Zhang, Min, 2361Zhang, Min-Ling, 1609Zhang, Richong, 2379Zhang, Wei, 1615, 1909Zhang, Xu-Yao, 1621Zhang, Yan, 1126Zhang, Yuejie, 1915, 1921Zhang, Zhaoyi, 699Zhang, Zhihua, 1705Zhao, Dengji, 472, 2868Zhao, Kai, 1820Zhao, Zhongtang, 2545Zhao, Zijian, 2079

Zheng, Alice X., 1750Zheng, Vincent W., 2085Zheng, Xiaoming, 478Zheng, Yabin, 2551Zhou, Guodong, 1814, 1826Zhou, Ming, 1832Zhou, Suiping, 1372Zhou, Xiaofang, 1589Zhou, Yi, 1126Zhou, Yuming, 2343Zhou, Zhi-Hua, 1559, 1603, 1671, 2349Zhu, Jiamin, 2211Zhu, Jichen, 1717Zhu, Wenbin, 699Zhu, Xiaojin, 1171Zhu, Xiaoyan, 1770, 1820, 2488Zhu, Xingquan, 2293Zhu, Zhu, 605Zhuang, Fuzhen, 1396Zhuang, Zhiqiang, 1132Zhuo, Hankz Hankui, 484Zick, Yair, 490Zilberstein, Shlomo, 439, 2140Zinkevich, Martin, 258Ziparo, Vittorio Amos, 266Zuckerman, Inon, 210

2888