IJCAI-09 Proceedings  
   
  
 
  
 
  
 
  
 
  
 
  
 
  
 
  
 
  
 
  
 
  

 

IJCAI-09 Contents

Preface / vi

IJCAI-09 Conference Organization / vii

IJCAI-09 Sponsorship / xvi

IJCAI-09 Awards and Distinguished Papers / xvii

IJCAI-09 Keynote and Invited Speakers / xix

Events Colocated with IJCAI-09 / xxi

IJCAI Organization / xxii

AAAI Organization / xxiv

Past IJCAI Conferences / xxvi

ISBN

ISBN 978-1-57735-426-0 (three-volume set)


ISBN 978-1-57735-427-7 (volume one)


ISBN 978-1-57735-428-4 (volume two)


ISBN 978-1-57735-429-1 (volume three)


Published by IJCAI Organization.


All rights reserved.


Copublished and Distributed by AAAI Press.



IJCAI-09 Technical Papers

Invited Talks

Abstract
Intelligent Tutoring Systems: New Challenges and Directions / 2
Cristina Conati


Abstract
Machine Learning in Ecosystem Informatics and Sustainability / 8
Thomas G. Dietterich


Abstract
How Experience of the Body Shapes Language about Space / 14
Luc Steels, Michael Spranger


Abstract
Activity Recognition: Linking Low-level Sensors to High-level Intelligence / 20
Qiang Yang


Agent-based and Multiagent Systems

Abstract
Nonmanipulable Selections from a Tournament / 27
Alon Altman, Ariel D. Procaccia, Moshe Tennenholtz

Abstract
Using Reasoning Patterns to Help Humans Solve Complex Games / 33
Dimitrios Antos, Avi Pfeffer

Abstract
UCT for Tactical Assault Planning in Real-Time Strategy Games / 40
Radha-Krishna Balla, Alan Fern

Abstract
Methodology for Designing Reasonably Expressive Mechanisms with Application to Ad Auctions / 46
Michael Benisch, Norman Sadeh, Tuomas Sandholm

Abstract
A Multivariate Complexity Analysis of Determining Possible Winners Given Incomplete Votes / 53
Nadja Betzler, Susanne Hemmann, Rolf Niedermeier

Abstract
Algorithms and Complexity Results for Pursuit-Evasion Problems / 59
Richard Borie, Craig Tovey, Sven Koenig

Abstract
Conditional Importance Networks: A Graphical Language for Representing Ordinal,Monotonic Preferences over Sets of Goods / 67
Sylvain Bouveret, Ulle Endriss, Jérôme Lang

Abstract
Planning Games / 73
Ronen I. Brafman, Carmel Domshlak, Yagil Engel, Moshe Tennenholtz

Abstract
Coalitional Affinity Games and the Stability Gap / 79
Simina Brânzei, Kate Larson

Abstract
Simple Coalitional Games with Beliefs / 85
Georgios Chalkiadakis, Edith Elkind, Nicholas R. Jennings

Abstract
Commitment Tracking via the Reactive Event Calculus / 91
Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni

Abstract
Compiling the Votes of a Subelectorate / 97
Yann Chevaleyre, Jérôme Lang, Nicolas Maudet, Guillaume Ravilly-Abadie

Abstract
How Hard Is It to Control Sequential Elections via the Agenda? / 103
Vincent Conitzer, Jérôme Lang, Lirong Xia

Abstract
Preference Functions that Score Rankings and Maximum Likelihood Estimation / 109
Vincent Conitzer, Matthew Rognlie, Lirong Xia

Abstract
Learning Graphical Game Models / 116
Quang Duong, Yevgeniy Vorobeychik, Satinder Singh, Michael P. Wellman

Abstract
Preference Aggregation over Restricted Ballot Languages: Sincerity and Strategy-Proofness / 122
Ulle Endriss, Maria Silvia Pini, Francesca Rossi, Brent Venable

Abstract
Multimode Control Attacks on Elections / 128
Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra

Abstract
Charting the Tractability Frontier of Mixed Multi-Unit Combinatorial Auctions / 134
Valeria Fionda, Gianluigi Greco

Abstract
Computing Equilibria in Multiplayer Stochastic Games of Imperfect Information / 140
Sam Ganzfried, Tuomas Sandholm

Abstract
On the Complexity of Compact Coalitional Games / 147
Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello

Abstract
Iterated Regret Minimization: A New Solution Concept / 153
Joseph Y. Halpern, Rafael Passo

Abstract
Multi-Step Multi-Sensor Hider-Seeker Games / 159
Erik Halvorson, Vincent Conitzer, Ronald Parr

Abstract
Collaborative Multi Agent Physical Search with Probabilistic Knowledge / 167
Noam Hazon, Yonatan Aumann, Sarit Kraus

Abstract
Strengthening Schedules through Uncertainty Analysis Agents / 175
Laura M. Hiatt, Terry L. Zimmerman, Stephen F. Smith, Reid Simmons

Abstract
DCOPs Meet the Real World: Exploring Unknown Reward Matrices with Applications to Mobile Sensor Networks / 181
Manish Jain, Matthew Taylor, Milind Tambe, Makoto Yokoo

Abstract
Collaboration and Shared Plans in the Open World: Studies of Ridesharing / 187
Ece Kamar, Eric Horvitz

Abstract
Exchanging Reputation Information between Communities: A Payment-Function Approach / 195
Georgia Kastidou, Kate Larson, Robin Cohen

Abstract
Event-Detecting Multi-Agent MDPs: Complexity and Constant-Factor Approximations / 201
Akshat Kumar, Shlomo Zilberstein

Abstract
A Kernel Method for Market Clearing / 208
Sébastien Lahaie

Abstract
Balancing Utility and Deal Probability for Auction-Based Negotiations in Highly Nonlinear Utility Spaces / 214
Ivan Marsa-Maestre, Miguel A. Lopez-Carmona, Juan R. Velasco, Takayuki Ito, Mark Klein, Katsuhide Fujita

Abstract
Strategyproof Classification with Shared Inputs / 220
Reshef Meir, Ariel D. Procaccia, Jeffrey S. Rosenschein

Abstract
Argumentation System with Changes of an Agent’s Knowledge Base / 226
Kenichi Okuno, Kazuko Takahashi

Abstract
How Pervasive Is the Myerson-Satterthwaite Impossibility? / 233
Abraham Othman, Tuomas Sandholm

Abstract
Thou Shalt Covet Thy Neighbor’s Cake / 239
Ariel D. Procaccia

Abstract
Generalised Fictitious Play for a Continuum of Anonymous Players / 245
Zinovi Rabinovich, Enrico Gerding, Maria Polukarov, Nicholas R. Jennings

Abstract
A Characterisation of Strategy-Proofness for Grounded Argumentation Semantics / 251
Iyad Rahwan, Kate Larson, Fernando Tohmé

Abstract
Coalition Structure Generation in Multi-Agent Systems with Positive and Negative Externalities / 257
Talal Rahwan, Tomasz Michalak, Nicholas R. Jennings, Michael Wooldridge, Peter McBurney

Abstract
Modeling Agents through Bounded Rationality Theories / 264
Avi Rosenfeld, Sarit Kraus

Abstract
Towards Con-Resistant Trust Models for Distributed Agent Systems / 272
Amirali Salehi-Abari, Tony White

Abstract
Probabilistic State Translation in Extensive Games with Large Action Sets / 278
David Schnizlein, Michael Bowling, Duane Szafron

Abstract
Investigations of Continual Computation / 285
Dafna Shahaf, Eric Horvitz

Abstract
Flexible Procurement of Services with Uncertain Durations using Redundancy / 292
Sebastian Stein, Enrico Gerding, Alex Rogers, Kate Larson, Nicholas R. Jennings

Abstract
Decentralised Coordination of Mobile Sensors Using the Max-Sum Algorithm / 299
Ruben Stranders, Alessandro Farinelli, Alex Rogers, Nicholas R. Jennings

Abstract
Dynamic Configuration of Agent Organizations / 305
Evan A. Sultanik, Robert N. Lass, William C. Regli

Abstract
Discovering Theorems in Game Theory: Two-Person Games with Unique Pure Nash Equilibrium Payoffs / 312
Pingzhong Tang, Fangzhen Lin

Abstract
Acquiring Agent-Based Models of Conflict from Event Data / 318
Glenn Taylor, Michael Quist, Allen Hicken

Abstract
Where Are the Really Hard Manipulation Problems? The Phase Transition in Manipulating the Veto Rule / 324
Toby Walsh

Abstract
Eliciting Honest Reputation Feedback in a Markov Setting / 330
Jens Witkowski

Abstract
Finite Local Consistency Characterizes Generalized Scoring Rules / 336
Lirong Xia, Vincent Conitzer

Abstract
A Dichotomy Theorem on the Existence of Efficient or Neutral Sequential Voting Correspondences / 342
Lirong Xia, Jérôme Lang

Abstract
Complexity of Unweighted Coalitional Manipulation under Some Common Voting Rules / 348
Lirong Xia, Michael Zuckerman, Ariel D. Procaccia, Vincent Conitzer, Jeffrey S. Rosenschein

Abstract
Trading Off Solution Quality for Faster Computation in DCOP Search Algorithms / 354
William Yeoh, Xiaoxun Sun, Sven Koenig

Abstract
A Multi-Agent Learning Approach to Online Distributed Resource Allocation / 361
Chongjie Zhang, Victor Lesser, Prashant Shenoy

Abstract
Axiomatic Characterization of Task Oriented Negotiation / 367
Dongmo Zhang

Abstract
K-Swaps: Cooperative Negotiation for Solving Task-Allocation Problems / 373
Xiaoming Zheng, Sven Koenig

Constraints, Satisfiability, and Search

Abstract
Interruptible Algorithms for Multi-Problem Solving / 380
Spyros Angelopoulos, Alejandro López-Ortiz

Abstract
Towards Industrial-Like Random SAT Instances / 387
Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy

Abstract
On Solving Boolean Multilevel Optimization Problemse / 393
Josep Argelich, Inês Lynce, Joao Marques-Silva

Abstract
Predicting Learnt Clauses Quality in Modern SAT Solvers / 399
Gilles Audemard, Laurent Simon

Abstract
Online Stochastic Optimization in the Large: Application to Kidney Exchange / 405
Pranjal Awasthi, Tuomas Sandholm

Abstract
Circuit Complexity and Decompositions of Global Constraints / 412
Christian Bessiere, George Katsirelos, Nina Narodytska, Toby Walsh

Abstract
Decompositions of All Different, Global Cardinality and Related Constraints / 419
Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh

Abstract
Making Bound Consistency as Effective as Arc Consistency / 425
Christian Bessiere, Thierry Petit, Bruno Zanuttini

Abstract
TBA*: Time-Bounded A* / 431
Yngvi Björnsson, Vadim Bulitko, Nathan Sturtevant

Abstract
Canadian Traveler Problem with Remote Sensing / 437
Zahy Bnaya, Ariel Felner, Solomon Eyal Shimony

Abstract
Experiments with Massively Parallel Constraint Solving / 443
Lucas Bordeaux, Youssef Hamadi, Horst Samulowitz

Abstract
Best-First Heuristic Search for Multi-Core Machines / 449
Ethan Burns, Seth Lemons, Rong Zhou, Wheeler Ruml

Abstract
Nested Monte-Carlo Search / 456
Tristan Cazenave

Abstract
Reasoning with Lines in the Euclidean Space / 462
Khalil Challita

Abstract
Search Strategies for an Anytime Usage of the Branch and Prune Algorithm / 468
Raphael Chenouard, Alexandre Goldsztejn, Christophe Jermann

Abstract
Monte Carlo Tree Search Techniques in the Game of Kriegspiel / 474
Paolo Ciancarini, Gian Piero Favini

Abstract
Duplicate Avoidance in Depth-First Search with Applications to Treewidth / 480
P. Alex Dow, Richard E. Korf

Abstract
Local Search: Is Brute-Force Avoidable? / 486
Michael R. Fellows, Frances A. Rosamond, Fedor V. Fomin, Daniel Lokshtanov, Saket Saurabh, Yngve Villanger

Abstract
Minimum Proof Graphs and Fastest-Cut-First Search Heuristics / 492
Timothy Furtak, Michael Buro

Abstract
Control-Based Clause Sharing in Parallel SAT Solving / 499
Youssef Hamadi, Said Jabbour, Lakhdar Sais

Abstract
Solving 8x8 Hex / 505
Philip Henderson, Broderick Arneson, Ryan B. Hayward

Abstract
New Improvements in Optimal Rectangle Packing / 511
Eric Huang, Richard E. Korf

Abstract
SATenstein: Automatically Building Local Search SAT Solvers from Components / 517
Ashiqur R. KhudaBukhsh, Lin Xu, Holger H. Hoos, Kevin Leyton-Brown

Abstract
Exploiting Decomposition on Constraint Problems with High Tree-Width / 525
Matthew Kitching, Fahiem Bacchus

Abstract
Set Branching in Constraint Optimization / 532
Matthew Kitching, Fahiem Bacchus

Abstract
Multi-Way Number Partitioning / 538
Richard E. Korf

Abstract
Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT / 544
Lukas Kroc, Ashish Sabharwal, Carla P. Gomes, Bart Selman

Abstract
Variety Reasoning for Multiset Constraint Propagation / 552
Yat Chiu Law, Jimmy H. M. Lee, May H. C. Woo

Abstract
Towards Efficient Consistency Enforcement for Global Constraints in Weighted Constraint Satisfaction / 559
Jimmy H. M. Lee, Ka Lun Leung

Abstract
A Soft Global Precedence Constraint / 566
David Lesaint, Deepak Mehta, Barry O’Sullivan, Luis Quesada, Nic Wilson

Abstract
A Divide-and-Conquer Approach for Solving Interval Algebra Networks / 572
Jason Jingshi Li, Jinbo Huang, Jochen Renz

Abstract
Open Contractible Global Constraints / 578
Michael J. Maher

Abstract
Evaluating Strategies for Running from the Cops / 584
Carsten Moldenhauer, Nathan R. Sturtevant

Abstract
A New d-DNNF-Based Bound Computation Algorithm for Functional E-MAJSAT / 590
Knot Pipatsrisawat, Adnan Darwiche

Abstract
A Structural Approach to Reasoning with Quantified Boolean Formulas / 596
Luca Pulina, Armando Tacchella

Abstract
Russian Doll Search with Tree Decomposition / 603
Marti Sanchez, David Allouche, Simon de Givry, Thomas Schiex

Abstract
Memory-Based Heuristics for Explicit State Spaces / 609
Nathan R. Sturtevant, Ariel Felner, Max Barrer, Jonathan Schaeffer, Neil Burch

Abstract
Efficient Incremental Search for Moving Target Search / 615
Xiaoxun Sun, William Yeoh, Sven Koenig

Abstract
Solving Dynamic Constraint Satisfaction Problems by Identifying Stable Features / 621
Richard J. Wallace, Diarmuid Grimes, Eugene C. Freuder

Abstract
Qualitative CSP, Finite CSP, and SAT: Comparing Methods for Qualitative Constraint-based Reasoning / 628
Matthias Westphal, Stefan Wölfl

Abstract
A* Search with Inconsistent Heuristics / 634
Zhifu Zhang, Nathan R. Sturtevant, Robert Holte, Jonathan Schaeffer, Ariel Felner

Abstract
Combining Breadth-First and Depth-First Strategies in Searching for Treewidth / 640
Rong Zhou, Eric A. Hansen

Abstract
Mixing Search Strategies for Multi-Player Games / 646
Inon Zuckerman, Ariel Felner, Sarit Kraus

Knowledge Representation, Reasoning, and Logic

Abstract
A New Bayesian Approach to Multiple Intermittent Fault Diagnosis / 653
Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund

Abstract
A Logic for Coalitions with Bounded Resources / 659
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib

Abstract
Repairing Preference-Based Argumentation Frameworks / 665
Leila Amgoud, Srdjan Vesic

Abstract
Which Semantics for Neighbourhood Semantics? / 671
Carlos Areces, Diego Figueira

Abstract
Extending Decidable Cases for Rules with Existential Variables / 677
Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Éric Salvat

Abstract
Computational Properties of Resolution-based Grounded Semantics / 683
Pietro Baroni, Paul E. Dunne, Massimiliano Giacomin

Abstract
An Argumentation-Based Interpreter for Golog Programs / 690
Michelle L. Blom, Adrian R. Pearce

Abstract
Defeasible Inclusions in Low-Complexity DLs: Preliminary Notes / 696
Piero A. Bonatti, Marco Faella, Luigi Sauro

Abstract
Next Steps in Propositional Horn Contraction / 702
Richard Booth, Thomas Meyer, Ivan José Varzinczak

Abstract
Euclidean and Mereological Qualitative Spaces: A Study of SCC and DCC / 708
Stefano Borgo

Abstract
Regular Path Queries in Expressive Description Logics with Nominals / 714
Diego Calvanese, Thomas Eiter, Magdalena Ortiz

Abstract
A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic / 721
Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu

Abstract
Import-by-Query: Ontology Reasoning under Access Limitations / 727
Bernardo Cuenca Grau, Boris Motik, Yevgeny Kazakov

Abstract
Diagnosing Multiple Persistent and Intermittent Faults / 733
Johan de Kleer

Abstract
A Tableaux-Based Method for Computing Least Common Subsumers for Expressive Description Logics / 739
Francesco M. Donini, Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio

Abstract
A Unified Framework for Representation and Development of Dialectical Proof Procedures in Argumentation / 746
Phan Minh Dung, Phan Min Thang

Abstract
Decomposition of Declarative Knowledge Bases with External Functions / 752
Thomas Eiter, Michael Fink, Thomas Krennwallner

Abstract
Query Answering in Description Logics with Transitive Roles / 759
Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus

Abstract
Bidirectional Answer Set Programs with Function Symbols / 765
Thomas Eiter, Mantas Simkus

Abstract
Knowledge Compilation Properties of Trees-of-BDDs, Revisited / 772
Hélène Fargier, Pierre Marquis

Abstract
FRACTAL: Efficient Fault Isolation Using Active Testing / 778
Alexander Feldman, Gregory Provan, Arjan J. C. van Gemund

Abstract
Solving Strong-Fault Diagnostic Models by Model Relaxation / 785
Alexander Feldman, Gregory Provan, Arjan J. C. van Gemund

Abstract
Plausible Repairs for Inconsistent Requirements / 791
Alexander Felfernig, Gerhard Friedrich, Monika Schubert, Monika Mandl, Markus Mairitsch, Erich Teppan

Abstract
Symmetric Splitting in the General Theory of Stable Models / 797
Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz, Ravi Palla

Abstract
On the Accrual of Arguments in Defeasible Logic Programming / 804
Mauro Javier Gómez Lucero, Carlos I. Chesñevar, Guillermo R. Simari

Abstract
Evaluating Abductive Hypotheses using an EM Algorithm on BDDs / 810
Katsumi Inoue, Taisuke Sato, Masakazu Ishihata, Yoshitaka Kameya, Hidetomo Nabeshima

Abstract
Answer-Set Programming with Bounded Treewidth / 816
Michael Jakl, Reinhard Pichler, Stefan Woltran

Abstract
Circumscriptive Event Calculus as Answer Set Programming / 823
Tae-Won Kim, Joohyung Lee, Ravi Palla

Abstract
Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies / 830
Boris Konev, Dirk Walther, Frank Wolter

Abstract
Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers / 836
Roman Kontchakov, Luca Pulina, Ulrike Sattler, Thomas Schneider, Petra Selmer, Frank Wolter, Michael Zakharyaschev

Abstract
A Semantical Account of Progression in the Presence of Defaults / 842
Gerhard Lakemeyer, Hector J. Levesque

Abstract
The Complexity of Learning Separable ceteris paribus Preferences / 848
Jérôme Lang, Jérôme Mengin

Abstract
Combining RCC-8 with Qualitative Direction Calculi: Algorithms and Complexity / 854
Weiming Liu, Sanjiang Li, Jochen Renz

Abstract
On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond / 860
Yongmei Liu, Gerhard Lakemeyer

Abstract
A Logic for Reasoning about Counterfactual Emotions / 867
Emiliano Lorini, François Schwarzentruber

Abstract
Labellings and Games for Extended Argumentation Frameworks / 873
Sanjay Modgil

Abstract
A Fixed-Parameter Tractable Algorithm for Spatio-Temporal Calendar Management / 879
Bernhard Nebel, Jochen Renz

Abstract
Reasoning with Knowledge, Action and Time in Dynamic and Uncertain Domains / 885
Theodore Patkos, Dimitris Plexousakis

Abstract
Model-based Revision Operators for Terminologies in Description Logics / 891
Guilin Qi, Jianfeng Du

Abstract
Dialectical Abstract Argumentation: A Characterization of the Marking Criterion / 898
Nicolás D. Rotstein, Martín O. Moguillansky, Guillermo R. Simari

Abstract
Composition of ConGolog Programs / 904
Sebastian Sardina, Giuseppe De Giacomo

Abstract
Automated Theorem Proving for General Game Playing / 911
Stephan Schiffel, Michael Thielscher

Abstract
Nominals for Everyone / 917
Lutz Schröder, Dirk Pattinson, Clemens Kupke

Abstract
Effective Query Rewriting with Ontologies over DBoxes / 923
Inanc Seylan, Enrico Franconi, Jos de Bruijn

Abstract
Negotiation Using Logic Programming with Consistency Restoring Rules / 930
Tran Cao Son, Chiaki Sakama

Abstract
Realising Deterministic Behavior from Multiple Non-Deterministic Behaviors / 936
Thomas Ströder, Maurice Pagnucco

Abstract
Declarative Programming of Search Problems with Built-in Arithmetic / 942
Eugenia Ternovska, David G. Mitchell

Abstract
Applications and Extensions of PTIME Description Logics with Functional Constraints / 948
David Toman, Grant Weddell

Abstract
Knowing More — From Global to Local Correspondence / 955
Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi

Abstract
Efficient Inference for Expressive Comparative Preference Languages / 961
Nic Wilson

Abstract
On Combinations of Binary Qualitative Constraint Calculi / 967
Stefan Wölfl, Matthias Westphal

Machine Learning

Abstract
Exponential Family Hybrid Semi-Supervised Learning / 974
Arvind Agarwal, Hal Daumé III

Abstract
Active Policy Iteration: Efficient Exploration through Active Learning for Value Function Approximation in Reinforcement Learning / 980
Takayuki Akiyama, Hirotaka Hachiya, Masashi Sugiyama

Abstract
Relational Random Forests Based on Random Relational Rules / 986
Grant Anderson, Bernhard Pfahringer

Abstract
Adaptive Cluster Ensemble Selection / 992
Javad Azimi, Xiaoli Fern

Abstract
Self-Managing Associative Memory for Dynamic Acquisition of Expertise in High-Level Domains / 998
Jacob Beal

Abstract
Angluin-Style Learning of NFA / 1004
Benedikt Bollig, Peter Habermehl, Carsten Kern, Martin Leucker

Abstract
Locality Preserving Nonnegative Matrix Factorization / 1010
Deng Cai, Xiaofei He, Xuanhui Wang, Hujun Bao, Jiawei Han

Abstract
Selecting Informative Universum Sample for Semi-Supervised Learning / 1016
Shuo Chen, Changshui Zhang

Abstract
Bayesian Extreme Components Analysis / 1022
Yutian Chen, Max Welling

Abstract
Inverse Reinforcement Learning in Partially Observable Environments / 1028
Jaedeug Choi, Kee-Eung Kim

Abstract
Knowledge Driven Dimension Reduction for Clustering / 1034
Ian Davidson

Abstract
Search Techniques for Fourier-Based Learning / 1040
Adam Drake, Dan Ventura

Abstract
Local Learning Regularized Nonnegative Matrix Factorization / 1046
Quanquan Gu, Jie Zhou

Abstract
Learning Optimal Subsets with Implicit User Preferences / 1052
Yunsong Guo, Carla Gomes

Abstract
Ranking Structured Documents: A Large Margin Based Approach for Patent Prior Art Search / 1058
Yunsong Guo, Carla Gomes

Abstract
Graph Embedding with Constraints / 1065
Xiaofei He, Ming Ji, Hujun Bao

Abstract
Bootstrap Voting Experts / 1071
Daniel Hewlett, Paul Cohen

Abstract
Linear Dimensionality Reduction for Multi-label Classification / 1077
Shuiwang Ji, Jieping Ye

Abstract
Semi-Supervised Classification on Evolutionary Data / 1083
Yangqing Jia, Shuicheng Yan, Changshui Zhang

Abstract
gRegress: Extracting Features from Graph Transactions for Regression / 1089
Nikhil S. Ketkar, Lawrence B. Holder, Diane J. Cook

Abstract
Local Query Mining in a Probabilistic Prolog / 1095
Angelika Kimmig, Luc De Raedt

Abstract
Unsupervised Rank Aggregation with Domain-Specific Expertise / 1101
Alexandre Klementiev, Dan Roth, Kevin Small, Ivan Titov

Abstract
Efficient Skill Learning using Abstraction Selection / 1107
George Konidaris, Andrew Barto

Abstract
Exponential Family Sparse Coding with Application to Self-taught Learning / 1113
Honglak Lee, Rajat Raina, Alex Teichman, Andrew Y. Ng

Abstract
Exploiting Multi-Modal Interactions: A Unified Framework / 1120
Ming Li, Xiao-Bing Xue, Zhi-Hua Zhou

Abstract
Relation Regularized Matrix Factorization / 1126
Wu-Jun Li, Dit-Yan Yeung

Abstract
Boosting Constrained Mutual Subspace Method for Robust Image-Set Based Object Recognition / 1132
Xi Li, Kazuhiro Fukui, Nanning Zheng

Abstract
Probabilistic Models for Concurrent Chatting Activity Recognition / 1138
Chia-chun Lian, Jane Yung-jen Hsu

Abstract
Learning the Optimal Neighborhood Kernel for Classification / 1144
Jun Liu, Jianhui Chen, Songcan Chen, Jieping Ye

Abstract
Spectral Kernel Learning for Semi-Supervised Classification / 1150
Wei Liu, Buyue Qian, Jingyu Cui, Jianzhuang Liu

Abstract
Large Margin Boltzmann Machines / 1156
Xu Miao, Rajesh P. N. Rao

Abstract
Transfer Learning from Minimal Target Data by Mapping across Relational Domains / 1163
Lilyana Mihalkova, Raymond J. Mooney

Abstract
Semi-Supervised Learning of Visual Classifiers from Web Images and Text / 1169
Nicholas Morsillo, Christopher Pal, Randal Nelson

Abstract
Autonomously Learning an Action Hierarchy Using a Learned Qualitative State Representation / 1175
Jonathan Mugan, Benjamin Kuipers

Abstract
Spectral Embedded Clustering / 1181
Feiping Nie, Dong Xu, Ivor W. Tsang, Changshui Zhang

Abstract
Domain Adaptation via Transfer Component Analysis / 1187
Sinno Jialin Pan, Ivor W. Tsang, James T. Kwok, Qiang Yang

Abstract
Semi-Supervised Classification Using Sparse Gaussian Process Regression / 1193
Amrish Patel, S. Sundararajan, Shirish Shevade

Abstract
Expanding Domain Sentiment Lexicon through Double Propagation / 1199
Guang Qiu, Bing Liu, Jiajun Bu, Chun Chen

Abstract
Goal-Driven Learning in the GILA Integrated Intelligence Architecture / 1205
Jainarayan Radhakrishnan, Santiago Ontañón, Ashwin Ram

Abstract
Streamed Learning: One-Pass SVMs / 1211
Piyush Rai, Hal Daumé III, Suresh Venkatasubramanian

Abstract
Semi-Supervised Metric Learning Using Pairwise Constraints / 1217
Mahdieh Soleymani Baghshah, Saeed Bagheri Shouraki

Abstract
Predictive Projections / 1223
Nathan Sprague

Abstract
On the Equivalence between Canonical Correlation Analysis and Orthonormalized Partial Least Squares / 1230
Liang Sun, Shuiwang Ji, Shipeng Yu, Jieping Ye

Abstract
Latent Variable Perceptron Algorithm for Structured Classification / 1236
Xu Sun, Takuya Matsuzaki, Daisuke Okanohara, Jun’ichi Tsujii

Abstract
Succinct Approximate Counting of Skewed Data / 1243
David Talbot

Abstract
Maintaining Predictions over Time without a Model / 1249
Erik Talvitie, Satinder Singh

Abstract
On Multiple Kernel Learning with Multiple Labels / 1255
Lei Tang, Jianhui Chen, Jieping Ye

Abstract
Toward Unsupervised Activity Discovery Using Multi-Dimensional Motif Detection in Time Series / 1261
Alireza Vahdatpour, Navid Amini, Majid Sarrafzadeh

Abstract
Multi-Class Classifiers and their Underlying Shared Structure / 1267
Volkan Vural, Glenn Fung, Romer Rosales, Jennifer G. Dy

Abstract
Manifold Alignment without Correspondence / 1273
Chang Wang, Sridhar Mahadevan

Abstract
Generalized Cluster Aggregation / 1279
Fei Wang, Xin Wang, Tao Li

Abstract
Preference Learning with Extreme Examples / 1285
Fei Wang, Bin Zhang, Ta-Hsin Li, Wen Jun Yin, Jin Dong, Tao Li

Abstract
Knowledge Transfer on Hybrid Graph / 1291
Zheng Wang, Yangqiu Song, Changshui Zhang

Abstract
Early Prediction on Time Series: A Nearest Neighbor Approach / 1297
Zhengzheng Xing, Jian Pei, Philip S. Yu

Abstract
Discriminative Semi-Supervised Feature Selection via Manifold Regularization / 1303
Zenglin Xu, Rong Jin, Michael R. Lyu, Irwin King

Abstract
Multi-Relational Learning with Gaussian Processes / 1309
Zhao Xu, Kristian Kersting, Volker Tresp

Abstract
Transfer Learning Using Task-Level Features with Application to Information Retrieval / 1315
Rong Yan, Jian Zhang

Abstract
Spatio-Temporal Event Detection Using Dynamic Conditional Random Fields / 1321
Jie Yin, Derek Hao Hu, Qiang Yang

Abstract
Robust Distance Metric Learning with Auxiliary Knowledge / 1327
Zheng-Jun Zha, Tao Mei, Meng Wang, Zengfu Wang, Xian-Sheng Hua

Abstract
Fast Active Tabu Search and its Application to Image Retrieval / 1333
Chao Zhang, Hongyu Li, Qiyong Guo, Jinyuan Jia, I-Fan Shen

Abstract
M3IC: Maximum Margin Multiple Instance Clustering / 1339
Dan Zhang, Fei Wang, Luo Si, Tao Li

Abstract
An Efficient Nonnegative Matrix Factorization Approach in Flexible Kernel Space / 1345
Daoqiang Zhang, Wanquan Liu

Abstract
Smart PCA / 1351
Yi Zhang

Abstract
Non-Metric Label Propagation / 1357
Yin Zhang, Zhi-Hua Zhou

Abstract
Multiclass Probabilistic Kernel Discriminant Analysis / 1363
Zheng Zhao, Liang Sun, Shipeng Yu, Huan Liu, Jieping Ye

Abstract
Multiple Information Sources Cooperative Learning / 1369
Xingquan Zhu, Ruoming Jin

Multidisciplinary Topics and Applications

Abstract
Analysis of a Winning Computational Billiards Player / 1377
Christopher Archibald, Alon Altman, Yoav Shoham

Abstract
Generalized Clustergrams for Overlapping Biclusters / 1383
Liviu Badea

Abstract
Semi-Supervised Regression for Evaluating Convenience Store Location / 1389
Xinxin Bai, Gang Chen, Qiming Tian, Wenjun Yin, Jin Dong

Abstract
Using Entropy to Distinguish Shape Versus Text in Hand-Drawn Diagrams / 1395
Akshay Bhat, Tracy Hammond

Abstract
Combining Speech and Sketch to Interpret Unconstrained Descriptions of Mechanical Devices / 1401
David Tyler Bischel, Thomas Stahovich, Eric Peterson, Randall Davis, Aaron Adler

Abstract
Improving State Evaluation, Inference, and Search in Trick-Based Card Games / 1407
Michael Buro, Jeffrey R. Long, Timothy Furtak, Nathan Sturtevant

Abstract
Suggesting Email View Filters for Triage and Search / 1414
Mark Dredze, Bill N. Schilit, Peter Norvig

Abstract
Sensing and Predicting the Pulse of the City through Shared Bicycling / 1420
Jon Froehlich, Joachim Neumann, Nuria Oliver

Abstract
Topic Tracking Model for Analyzing Consumer Purchase Behavior / 1427
Tomoharu Iwata, Shinji Watanabe, Takeshi Yamada, Naonori Ueda

Abstract
Interpreting Written How-To Instructions / 1433
Tessa Lau, Clemens Drews, Jeffrey Nichols

Abstract
Is It Enough to Get the Behavior Right? / 1439
Hector J. Levesque

Abstract
DrosophilaGene Expression Pattern Annotation through Multi-Instance Multi-Label Learning / 1445
Ying-Xin Li, Shuiwang Ji, Sudhir Kumar, Jieping Ye, Zhi-Hua Zhou

Abstract
Expressive Power-Based Resource Allocation for Data Centers / 1451
Benjamin Lubin, Jeffrey O. Kephart, Rajarshi Das, David C. Parkes

Abstract
Efficient Online Learning and Prediction of Users’ Desktop Actions / 1457
Omid Madani, Hung Bui, Eric Yeh

Abstract
A Visual Approach to Sketched Symbol Recognition / 1463
Tom Y. Ouyang, Randall Davis

Abstract
Towards Context Aware Emotional Intelligence in Machines:Computing Contextual Appropriateness of Affective States / 1469
Michal Ptaszynski, Pawel Dybala, Wenhan Shi, Rafal Rzepka, Kenji Araki

Abstract
Representation and Synthesis of Melodic Expression / 1475
Christopher Raphael

Abstract
Simultaneous Discovery of Conservation Laws and Hidden Particles with Smith Matrix Decomposition / 1481
Oliver Schulte

Abstract
Learning to Follow Navigational Route Instructions / 1488
Nobuyuki Shimizu, Andrew Haas

Abstract
Efficient Dominant Point Algorithms for the Multiple Longest Common Subsequence (MLCS) Problem / 1494
Qingguo Wang, Dmitry Korkin, Yi Shang

Natural-Language Processing

Abstract
Knowledge-Based WSD and Specific Domains: Performing Better than Generic Supervised WSD / 1501
Eneko Agirre, Oier Lopez de Lacalle, Aitor Soroa

Abstract
Web-Scale N-gram Models for Lexical Disambiguation / 1507
Shane Bergsma, Dekang Lin, Randy Goebel

Abstract
Explicit Versus Latent Concept Models for Cross-Language Information Retrieval / 1513
Philipp Cimiano, Antje Schultz, Sergej Sizov, Philipp Sorg, Steffen Staab

Abstract
Detection of Imperative and Declarative Question-Answer Pairs in Email Conversations / 1519
Helen Kwong, Neil Yorke-Smith

Abstract
Reading Between the Lines / 1525
Loizos Michael

Abstract
Improving Morphology Induction by Learning Spelling Rules / 1531
Jason Naradowsky, Sharon Goldwater

Abstract
Improving a Virtual Human Using a Model of Degrees of Grounding / 1537
Antonio Roque, David Traum

Abstract
On the Tip of My Thought: Playing the Guillotine Game / 1543
Giovanni Semeraro, Pasquale Lops, Pierpaolo Basile, Marco de Gemmis

Abstract
Introspection and Adaptable Model Integration for Dialogue-based Question Answering / 1549
Daniel Sonntag

Abstract
Context-Based Approach for Pivot Translation Services / 1555
Rie Tanaka, Yohei Murakami, Toru Ishida

Abstract
Online Graph Planarisation for Synchronous Parsing of Semantic and Syntactic Dependencies / 1562
Ivan Titov, James Henderson, Paola Merlo, Gabriele Musillo

Abstract
Computational Semantics of Noun Compounds in a Semantic Space Model / 1568
Akira Utsumi

Abstract
Probabilistic Counting with Randomized Storage / 1574
Benjamin Van Durme, Ashwin Lall

Abstract
Context-Sensitive Semantic Smoothing using Semantically Relatable Sequences / 1580
Kamaljeet S. Verma, Pushpak Bhattacharyya

Abstract
Graph-Based Multi-Modality Learning for Topic-Focused Multi-Document Summarization / 1586
Xiaojun Wan, Jianguo Xiao

Abstract
Multiscale Analysis of Document Corpora Based on Diffusion Models / 1592
Chang Wang, Sridhar Mahadevan

Abstract
Wikispeedia: An Online Game for Inferring Semantic Distances between Concepts / 1598
Robert West, Joelle Pineau, Doina Precup

Abstract
Situated Resolution and Generation of Spatial Referring Expressions for Robotic Assistants / 1604
Hendrik Zender, Geert-Jan M. Kruijff, Ivana Kruijff-Korbayová

Abstract
On-line Evolutionary Exponential Family Mixture / 1610
Jianwen Zhang, Yangqiu Song, Gang Chen, Changshui Zhang

Abstract
Word Sense Disambiguation for All Words without Hard Labor / 1616
Zhi Zhong, Hwee Tou Ng

Planning and Scheduling

Abstract
A Translation-Based Approach to Contingent Planning / 1623
Alexandre Albore, Héctor Palacios, Héctor Geffner

Abstract
Translating HTNs to PDDL: A Small Amount of Domain Knowledge Can Go a Long Way / 1629
Ronald Alford, Ugur Kuter, Dana Nau

Abstract
Goal Recognition with Variable-Order Markov Models / 1635
Marcelo G. Armentano, Analía Amandi

Abstract
Solving POMDPs: RTDP-Bel vs. Point-based Algorithms / 1641
Blai Bonet, Héctor Geffner

Abstract
Incremental Heuristic Search for Planning with Temporally Extended Goals and Uncontrollable Events / 1647
Adi Botea, André A. Ciré

Abstract
Equivalence Relations in Fully and Partially Observable Markov Decision Processes / 1653
Pablo Samuel Castro, Prakash Panangaden, Doina Precup

Abstract
Completeness and Optimality Preserving Reduction for Planning / 1659
Yixin Chen, Guohui Yao

Abstract
Stratified Planning / 1665
Yixin Chen, You Xu, Guohui Yao

Abstract
Temporal Planning in Domains with Linear Processes / 1671
Amanda Coles, Andrew Coles, Maria Fox, Derek Long

Abstract
Domain-Independent, Automatic Partitioning for Probabilistic Planning / 1677
Peng Dai, Mausam, Daniel S. Weld

Abstract
Topological Order Planner for POMDPs / 1684
Jilles Steeve Dibangoye, Guy Shani, Brahim Chaib-draa, Abdel-Illah Mouaddib

Abstract
Optimal Symbolic Planning with Action Costs and Preferences / 1690
Stefan Edelkamp, Peter Kissmann

Abstract
Activity Recognition with Intended Actions / 1696
Alfredo Gabaldon

Abstract
Delaying Commitment in Plan Recognition Using Combinatory Categorial Grammars / 1702
Christopher W. Geib

Abstract
Learning Hierarchical Task Networks for Nondeterministic Planning Domains / 1708
Chad Hogg, Ugur Kuter, Héctor Muñoz-Avila

Abstract
Abnormal Activity Recognition Based on HDP-HMM Models / 1715
Derek Hao Hu, Xian-Xing Zhang, Jie Yin, Vincent Wenchen Zheng, Qiang Yang

Abstract
Structured Plans and Observation Reduction for Plans with Contexts / 1721
Wei Huang, Zhonghua Wen, Yunfei Jiang, Hong Peng

Abstract
Cost-Optimal Planning with Landmarks / 1728
Erez Karpas, Carmel Domshlak

Abstract
Trees of Shortest Paths vs. Steiner Trees: Understanding and Improving Delete Relaxation Heuristics / 1734
Emil Keyder, Héctor Geffner

Abstract
Efficient Abstraction and Refinement for Behavioral Description Based Web Service Composition / 1740
Hyunyoung Kil, Wonhong Nam, Dongwon Lee

Abstract
ReTrASE: Integrating Paradigms for Approximate Probabilistic Planning / 1746
Andrey Kolobov, Mausam, Daniel S. Weld

Abstract
Learning Probabilistic Hierarchical Task Networks to Capture User Preferences / 1754
Nan Li, Subbarao Kambhampati, Sungwook Yoon

Abstract
A Distributed Control Loop for Autonomous Recovery in a Multi-Agent Plan / 1760
Roberto Micalizio

Abstract
Monte-Carlo Exploration for Deterministic Planning / 1766
Hootan Nakhost, Martin Müller

Abstract
Planning with Partial Preference Models / 1772
Tuan A. Nguyen, Minh B. Do, Subbarao Kambhampati, Biplav Srivastava

Abstract
Plan Recognition as Planning / 1778
Miquel Ramírez, Héctor Geffner

Abstract
Bayesian Real-Time Dynamic Programming / 1784
Scott Sanner, Robby Goetschalckx, Kurt Driessens, Guy Shani

Abstract
HTN Planning with Preferences / 1790
Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith

Abstract
A Context Driven Approach for Workflow Mining / 1798
Fusun Yaman, Tim Oates, Mark Burstein

Abstract
Learning HTN Method Preconditions and Action Models from Partial Observations / 1804
Hankz Hankui Zhuo, Derek Hao Hu, Chad Hogg, Qiang Yang, Hector Munoz-Avila

Robotics and Vision

Abstract
Adversarial Uncertainty in Multi-Robot Patrol / 1811
Noa Agmon, Sarit Kraus, Gal A. Kaminka, Vladimir Sadov

Abstract
Evaluating Description and Reference Strategies in a Cooperative Human-Robot Dialogue System / 1818
Mary Ellen Foster, Manuel Giuliani, Amy Isard, Colin Matheson, Jon Oberlander, Alois Knoll

Abstract
Incremental Phi*: Incremental Any-Angle Path Planning on Grids / 1824
Alex Nash, Sven Koenig, Maxim Likhachev

Abstract
Information-Lookahead Planning for AUV Mapping / 1831
Zeyn A. Saigol, Richard W. Dearden, Jeremy L. Wyatt, Bramley J. Murton

Abstract
Self-Supervised Aerial Image Analysis for Extracting Parking Lot Structure / 1837
Young-Woo Seo, Nathan Ratliff, Chris Urmson

Abstract
Nonmyopic Adaptive Informative Path Planning for Multiple Robots / 1843
Amarjeet Singh, Andreas Krause, William J. Kaiser

Abstract
Learning Kinematic Models for Articulated Objects / 1851
Jürgen Sturm, Vijay Pradeep, Cyrill Stachniss, Christian Plagemann, Kurt Konolige, Wolfram Burgard

Abstract
A Computational Model for the Alignment of Hierarchical Scene Representations in Human-Robot Interaction / 1857
Agnes Swadzba, Sven Wachsmuth, Constanze Vorwerg, Gert Rickheit

Abstract
Domain-Guided Novelty Detection for Autonomous Exploration / 1864
David R. Thompson

Abstract
Tractable Multi-Agent Path Planning on Grid Maps / 1870
Ko-Hsin Cindy Wang, Adi Botea

Abstract
Human Activity Encoding and Recognition Using Low-level Visual Features / 1876
Zheshen Wang, Baoxin Li

Uncertainty in AI

Abstract
Markov Network Based Ontology Matching / 1884
Sivan Albagli, Rachel Ben-Eliyahu-Zohary, Solomon E. Shimony

Abstract
Ceteris Paribus Preference Elicitation with Predictive Guarantees / 1890
Yannis Dimopoulos, Loizos Michael, Fani Athienitou

Abstract
Fast Recommendations using GAI Models / 1896
Jean-Philippe Dubus, Christophe Gonzales, Patrice Perny

Abstract
Multiobjective Optimization using GAI Models / 1902
Jean-Philippe Dubus, Christophe Gonzales, Patrice Perny

Abstract
Greedy Algorithms for Sequential Sensing Decisions / 1908
Hannaneh Hajishirzi, Afsaneh Shirazi, Jaesik Choi, Eyal Amir

Abstract
Generalized First Order Decision Diagrams for First Order Markov Decision Processes / 1916
Saket Joshi, Kristian Kersting, Roni Khardon

Abstract
Lifted Aggregation in Directed First-Order Probabilistic Models / 1922
Jacek Kisynski, David Poole

IJCAI Distinguished Paper Award Winner:

Abstract
Learning Conditional Preference Networks with Queries / 1930
Frédéric Koriche, Bruno Zanuttini

Abstract
A Sparse Covariance Function for Exact Gaussian Process Inference in Large Datasets / 1936
Arman Melkumyan, Fabio Ramos

Abstract
CTPPL: A Continuous Time Probabilistic Programming Language / 1943
Avi Pfeffer

Abstract
Speeding Up Inference in Markov Logic Networks by Preprocessing to Reduce the Size of the Resulting Grounded Network / 1951
Jude Shavlik, Sriraam Natarajan

Abstract
Testing Edges by Truncations / 1957
Ilya Shpitser, Thomas S. Richardson, James M. Robins

Abstract
Variable and Value Ordering for MPE Search / 1964
Sajjad Siddiqi, Jinbo Huang

Abstract
Parameter Identification in a Class of Linear Structural Equation Models / 1970
Jin Tian

Abstract
Learning a Value Analysis Tool for Agent Evaluation / 1976
Martha White, Michael Bowling

Abstract
Efficient Computation of Jointree Bounds for Systematic MAP Search / 1982
Changhe Yuan, Eric A. Hansen

Abstract
A Syntax-based Framework for Merging Imprecise Probabilistic Logic Programs / 1990
Anbu Yue, Weiru Liu

Abstract
Speeding Up Exact Solutions of Interactive Dynamic Influence Diagrams Using Action Equivalence / 1996
Yifeng Zeng, Prashant Doshi

Abstract
A General Approach to Environment Design with One Agent / 2002
Haoqi Zhang, Yiling Chen, David Parkes

Web and Knowledge-based Information Systems

Abstract
DL-LITER in the Light of Propositional Logic for Decentralized Data Management / 2010
Nada Abdallah, François Goasdoué, Marie-Christine Rousset

Abstract
Sketching Techniques for Collaborative Filtering / 2016
Yoram Bachrach, Ely Porat, Jeffrey S. Rosenschein

Abstract
Spatial Processes for Recommender Systems / 2022
Fabian Bohnert, Daniel F. Schmidt, Ingrid Zukerman

Abstract
Dynamic Selection of Ontological Alignments: A Space Reduction Mechanism / 2028
Paul Doran, Valentina Tamma, Terry R. Payne, Ignazio Palmisano

Abstract
Improving Search in Social Networks by Agent Based Mining / 2034
Anil Gürsel, Sandip Sen

IJCAI Distinguished Paper Award Winner:

Abstract
Consequence-Driven Reasoning for Horn SHIQ Ontologies / 2040
Yevgeny Kazakov

Abstract
Efficient Estimation of Influence Functions for SIS Model on Social Networks / 2046
Masahiro Kimura, Kazumi Saito, Hiroshi Motoda

Abstract
Can Movies and Books Collaborate? Cross-Domain Collaborative Filtering for Sparsity Reduction / 2052
Bin Li, Qiang Yang, Xiangyang Xue

Abstract
Using Web Photos for Measuring Video Frame Interestingness / 2058
Feng Liu, Yuzhen Niu, Michael Gleicher

Abstract
A Content-Based Method to Enhance Tag Recommendation / 2064
Yu-Ta Lu, Shoou-I Yu, Tsung-Chieh Chang, Jane Yung-jen Hsu

Abstract
Conjunctive Query Answering in the Description Logic EL Using a Relational Database System / 2070
Carsten Lutz, David Toman, Frank Wolter

Abstract
Exploiting Background Knowledge to Build Reference Sets for Information Extraction / 2076
Matthew Michelson, Craig A. Knoblock

Abstract
Large-Scale Taxonomy Mapping for Restructuring and Integrating Wikipedia / 2083
Simone Paolo Ponzetto, Roberto Navigli

Abstract
Towards Ontology Learning from Folksonomies / 2089
Jie Tang, Ho-fung Leung, Qiong Luo, Dewei Chen, Jibin Gong

Abstract
Streamlining Attacks on CAPTCHAs with a Computer Game / 2095
Jeff Yan, Su-Yang Yu

Abstract
Incorporating User Behaviors in New Word Detection / 2101
Yabin Zheng, Zhiyuan Liu, Maosong Sun, Liyun Ru, Yang Zhang

Send comments, questions, or suggestions about this site to webmaster@ijcai.org