Sponsored by the Association for the Advancement of Artificial Intelligence

Jörg Hoffmann and Bart Selman, Program Cochairs.

July 22 –126, 2012, Toronto, Ontario, Canada. Published by The AAAI Press, Palo Alto, California. This proceedings is also available in book and CD format.

Please Note: Abstracts are linked to individual titles, and will appear in a separate browser window. Full-text versions of the papers are linked to the abstract text. PDF file sizes may be large!

Contents

AAAI Conference on Artificial Intelligence

Artificial Intelligence and the Web

Combining Hashing and Abstraction in Sparse High Dimensional Feature Spaces / 3
Cornelia Caragea, Adrian Silvescu, Prasenjit Mitra

SPARQL Query Containment Under SHI Axioms / 10
Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda

Fused Matrix Factorization with Geographical and Social Influence in Location-Based Social Networks / 17
Chen Cheng, Haiqin Yang, Irwin King, Michael R. Lyu

Building Contextual Anchor Text Representation using Graph Regularization / 24
Na Dai

Querying Linked Ontological Data through Distributed Summarization / 31
Achille Fokoue, Felipe Meneguzzi, Murat Sensoy, Jeff Z. Pan

Quality Expectation-Variance Tradeoffs in Crowdsourcing Contests / 38
Xi Alice Gao, Yoram Bachrach, Peter Key, Thore Graepel

Online Task Assignment in Crowdsourcing Markets / 45
Chien-Ju Ho, Jennifer Wortman Vaughan

Music-Inspired Texture Representation / 52
Ben Horsburgh, Susan Craw, Stewart Massie

ET-LDA: Joint Topic Modeling for Aligning Events and their Twitter Feedback / 59
Yuheng Hu, Ajita John, Fei Wang, Subbarao Kambhampati

Predictive Mining of Comparable Entities from the Web / 66
Myungha Jang, Jin-woo Park, Seung-won Hwang

A Convex Formulation for Learning from Crowds / 73
Hiroshi Kajino, Yuta Tsuboi, Hisashi Kashima

Diagnosing Changes in An Ontology Stream: A DL Reasoning Approach / 80
Freddy Lecue

Dynamically Switching between Synergistic Workflows for Crowdsourcing / 87
Christopher H. Lin, Mausam Mausam, Daniel S. Weld

Fine-Grained Entity Recognition / 94
Xiao Ling, Daniel S. Weld

Social Context-Aware Trust Network Discovery in Complex Contextual Social Networks / 101
Guanfeng Liu, Yan Wang, Mehmet A Orgun

BabelRelate! A Joint Multilingual Approach to Computing Semantic Relatedness / 108
Roberto Navigli, Simone Paolo Ponzetto

Multinomial Relation Prediction in Social Data: A Dimension Reduction Approach / 115
Nozomi Nori, Danushka Bollegala, Hisashi Kashima

Adaptive Polling for Information Aggregation / 122
Thomas Pfeiffer, Xi Alice Gao, Yiling Chen, Andrew Mao, David G. Rand

REWOrD: Semantic Relatedness in the Web of Data / 129
Giuseppe Pirró

Predicting Disease Transmission from Geo-Tagged Micro-Blog Data / 136
Adam Sadilek, Henry Kautz, Vincent Silenzio

A Mouse-Trajectory Based Model for Predicting Query-URL Relevance / 143
Song Hengjie, Ruoxue Liao, Xiangliang Zhang, Chunyan Miao, Qiang Yang

Improved Convergence of Iterative Ontology Alignment using Block-Coordinate Descent / 150
Uthayasanker Thayasivam, Prashant Doshi

Ontological Smoothing for Relation Extraction with Minimal Supervision / 157
Congle Zhang, Raphael Hoffmann, Daniel Sabey Weld

A Data-Driven Approach to Question Subjectivity Identification in Community Question Answering / 164
Tom Chao Zhou, Xiance Si, Edward Y. Chang, Irwin King, Michael R. Lyu

Discovering Spammers in Social Networks / 171
Yin Zhu, Xiao Wang, Erheng Zhong, Nathan N. Liu, He Li, Qiang Yang

Towards Automated Choreographing of Web Services Using Planning / 178
Guobing Zou, Yixin Chen, You Xu, Ruoyun Huang, Yang Xiang

Cognitive Systems

Sentic Activation: A Two-Level Affective Common Sense Reasoning Framework / 186
Erik Cambria, Daniel Olsher, Kenneth Kwok

A Multi-Domain Evaluation of Scaling in a General Episodic Memory / 193
Nate Derbinsky, Justin Li, John Laird

Towards a Cognitive System that Can Recognize Spatial Regions Based on Context / 200
Nick Hawes, Matthew Klenk, Kate Lockwood, Graham S. Horn, John D Kelleher

Learning Qualitative Models by Demonstration / 207
Thomas R. Hinrichs, Kenneth D. Forbus

Crossing Boundaries: Multi-Level Introspection in a Complex Robotic Architecture for Automatic Performance Improvements / 214
Evan A. Krause, Paul Schermerhorn, Matthias Scheutz

Using Expectations to Drive Cognitive Behavior / 221
Unmesh Kurup, Christian Lebiere, Anthony Stentz, Martial Hebert

Functional Interactions Between Memory and Recognition Judgments / 228
Justin Li, Nate Derbinsky, John Laird

A Grounded Cognitive Model for Metaphor Acquisition / 235
Sushobhan Nayak, Amitabha Mukerjee

Social Cognition: Memory Decay and Adaptive Information Filtering for Robust Information Maintenance / 242
David Reitter, Christian Lebiere

Lessons Learned From a Rational Reconstruction of Minstrel / 249
Brandon Robert Tearse, Peter Mawhorter, Michael Mateas, Noah Wardrip-Fruin

Discovering Constraints for Inductive Process Modeling / 256
Ljupco Todorovski, Will Bridewell, Pat Langley

Computational Sustainability and Artificial Intelligence

The Automated Vacuum Waste Collection Optimization Problem / 264
Ramón Béjar, César Fernández, Carles Mateu, Felip Manyà, Francina Sole-Mauri, David Vidal

MOMDPs: A Solution for Modelling Adaptive Management Problems / 267
Iadine Chades, Josie Carwardine, Tara G. Martin, Samuel Nicol, Regis Sabbadin, Olivier Buffet

Fine-Grained Photovoltaic Output Prediction Using a Bayesian Ensemble / 274
Prithwish Chakraborty, Manish Marwah, Martin Arlitt, Naren Ramakrishnan

A Novel and Scalable Spatio-Temporal Technique for Ocean Eddy Monitoring / 281
James H. Faghmous, Yashu Chamber, Shyam Boriah, Frode Vikebø, Stefan Liess, Michel dos Santos Mesquita, Vipin Kumar

Learning Non-Stationary Space-Time Models for Environmental Monitoring / 288
Sahil Garg, Amarjeet Singh, Fabio Ramos

Patrol Strategies to Maximize Pristine Forest Area / 295
Matthew Paul Johnson, Fei Fang, Milind Tambe

Pre-Symptomatic Prediction of Plant Drought Stress Using Dirichlet-Aggregation Regression on Hyperspectral Images / 302
Kristian Kersting, Zhao Xu, Mirwaes Wahabzada, Christian Bauckhage, Christian Thurau, Christoph Römer, Agim Ballvora, Uwe Rascher, Jen Leon, Lutz Plümer

Lagrangian Relaxation Techniques for Scalable Spatial Conservation Planning / 309
Akshat Kumar, Xiaojian Wu, Shlomo Zilberstein

An Intelligent Battery Controller Using Bias-Corrected Q-learning / 316
Donghun Lee, Warren B Powell

Sensing the Air We Breathe — The OpenSense Zurich Dataset / 323
Jason Jingshi Li, Boi Faltings, Olga Saukh, David Hasenfratz, Jan Beutel

Sustaining Economic Exploitation of Complex Ecosystems in Computational Models of Coupled Human-Natural Networks / 326
Neo D. Martinez, Perrine Tonnin, Barbara Bauer, Rosalyn C. Rael, Rahul Singh, Sangyuk Yoon, Ilmi Yoon, Jennifer A. Dunne

Global Climate Model Tracking Using Geospatial Neighborhoods / 335
Scott McQuade, Claire Monteleoni

Coupling Spatiotemporal Disease Modeling with Diagnosis / 342
Martin Gordon Mubangizi, Caterine Ikae, Athina Spiliopoulou, John A. Quinn

Prediction and Fault Detection of Environmental Signals with Uncharacterised Faults / 349
Michael Alan Osborne, Roman Garnett, Kevin Swersky, Nando de Freitas

Non-Intrusive Load Monitoring Using Prior Models of General Appliance Types / 356
Oliver Parson, Siddhartha Ghosh, Mark Weal, Alex Rogers

Factored Models for Multiscale Decision-Making in Smart Grid Customers / 363
Prashant P. Reddy, Manuela M. Veloso

Cooperative Virtual Power Plant Formation Using Scoring Rules / 370
Valentin Robu, Ramachandra Kota, Georgios Chalkiadakis, Alex Rogers, Nicholas R. Jennings

Robust Cuts Over Time: Combatting the Spread of Invasive Species with Unreliable Biological Control / 377
Gwen Spencer

Improving Hybrid Vehicle Fuel Efficiency Using Inverse Reinforcement Learning / 384
Adam Vogel, Deepak Ramachandran, Rakesh Gupta, Antoine Raux

Scheduling Conservation Designs via Network Cascade Optimization / 391
Shan Xue, Alan Fern, Daniel Sheldon

An Efficient Simulation-Based Approach to Ambulance Fleet Allocation and Dynamic Redeployment / 398
Yisong Yue, Lavanya Marla, Ramayya Krishnan

Constraints, Satisfiability, and Search

Filtering Decomposable Global Cost Functions / 407
David Allouche, Christian Bessiere, Patrice Boizumault, Simon de Givry, Patricia Guttierez, Samir Loudni, Jean-Philippe Métivier, Thomas Schiex

Solving Peg Solitaire with Bidirectional BFIDA* / 414
Joseph K. Barker, Richard E Korf

Solving Dots-And-Boxes / 420
Joseph K. Barker, Richard E. Korf

Optimization and Controlled Systems: A Case Study on Thermal Aware Workload Dispatching / 427
Andrea Bartolini, Michele Lombardi, Michela Milano, Luca Benini

Configuration Checking with Aspiration in Local Search for SAT / 434
Shaowei Cai, Kaile Su

Two New Local Search Strategies for Minimum Vertex Cover / 441
Shaowei Cai, Kaile Su, Abdul Sattar

Solving Temporal Problems Using SMT: Weak Controllability / 448
Alessandro Cimatti, Andrea Micheli, Marco Roveri

Last-Mile Restoration for Multiple Interdependent Infrastructures / 455
Carleton Coffrin, Pascal Van Hentenryck, Russell Bent

A Dichotomy for 2-Constraint Forbidden CSP Patterns / 464
Martin C. Cooper, Guillaume Escamocher

Partial-Expansion A* with Selective Node Generation / 471
Ariel Felner, Meir Goldenberg, Guni Sharon, Roni Stern, Tal Beja, Nathan Sturtevant, Jonathan Schaeffer, Robert Holte

Iterative Resource Allocation for Memory Intensive Parallel Search Algorithms on Clouds, Grids, and Shared Clusters / 478
Alex Fukunaga, Akihiro Kishimoto, Adi Botea

Don't Be Strict in Local Search! / 486
Serge Gaspers, Eun Jung Kim, Sebastian Ordyniak, Saket Saurabh, Stefan Szeider

Non-Model-Based Search Guidance for Set Partitioning Problems / 493
Serdar Kadioglu, Yuri Malitsky, Meinolf Sellmann

From Streamlined Combinatorial Search to Efficient Constructive Procedures / 499
Ronan Le Bras, Carla Gomes, Bart Selman

Polynomially Decomposable Global Cost Functions in Weighted Constraint Satisfaction / 507
Jimmy Lee, Ka Lun Leung, Yi Wu

Fast and Accurate Predictions of IDA*'s Performance / 514
Levi H. S. Lelis, Sandra Zilles, Robert C. Holte

On the Relation of Constraint Answer Set Programming Languages and Algorithms / 521
Yuliya Lierler

DUCT: An Upper Confidence Bound Approach to Distributed Constraint Optimization Problems / 528
Brammert Ottens, Christos Dimitrakakis, Boi Faltings

An Efficient Higher-Order Consistency Algorithm for Table Constraints / 535
Anastasia Paparrizou, Kostas Stergiou

Trap Avoidance in Local Search Using Pseudo-Conflict Learning / 542
Duc Nghia Pham, Thach-Thao Duong, Abdul Sattar

Information Set Generation in Partially Observable Games / 549
Mark Richards, Eyal Amir

Alpha-Beta Pruning for Games with Simultaneous Moves / 556
Abdallah Saffidine, Hilmar Finnsson, Michael Buro

Conflict-Based Search For Optimal Multi-Agent Path Finding / 563
Guni Sharon, Roni Stern, Ariel Felner, Nathan Stutervant

MCTS Based on Simple Regret / 570
David Tolpin, Solomon Eyal Shimony

Filtering Algorithms Based on the Word-RAM Model / 577
Philippe Van Kessel, Claude-Guy Quimper

Predicting Satisfiability at the Phase Transition / 584
Lin Xu, Holger H. Hoos, Kevin Leyton-Brown

Knowledge-Based Information Systems

Time-Critical Influence Maximization in Social Networks with Time-Delayed Diffusion Process / 592
Wei Chen, Wei Lu, Ning Zhang

Table Header Detection and Classification / 599
Jing Fang, Prasenjit Mitra, Zhi Tang, C. Lee Giles

Choosing Linguistics over Vision to Describe Images / 606
Ankush Gupta, Yashaswi Verma, C. V. Jawahar

On Completeness Classes for Query Evaluation on Linked Data / 613
Andreas Harth, Sebastian Speiser

Document Summarization Based on Data Reconstruction / 620
Zhanying He, Chun Chen, Jiajun Bu, Can Wang, Lijun Zhang, Deng Cai, Xiaofei He

Content Recommendation for Attention Management in Unified Social Messaging / 627
Hongxia Jin

Double-Bit Quantization for Hashing / 634
Weihao Kong, Wu-Jun Li

Random Projection with Filtering for Nearly Duplicate Search / 641
Yue Lin, Rong Jin, Deng Cai, Xiaofei He

Improving Twitter Retrieval by Exploiting Structural Information / 648
Zhunchen Luo, Miles Osborne, Saša Petrovic, Ting Wang

Low-Rank Matrix Recovery via Efficient Schatten p-Norm Minimization / 655
Feiping Nie, Heng Huang, Chris Ding

Transfer Learning in Collaborative Filtering with Uncertain Ratings / 662
Weike Pan, Evan W. Xiang, Qiang Yang

Modeling the Evolution of Knowledge in Learning Systems / 669
Abhishek Sharma, Kenneth D. Forbus

A Sequential Decision Approach to Ordinal Preferences in Recommender Systems / 676
Truyen Tran, Dinh Q. Phung, Svetha Venkatesh

Generating Pictorial Storylines Via Minimum-Weight Connected Dominating Set Approximation in Multi-View Graphs / 683
Dingding Wang, Tao Li, Mitsunori Ogihara

Knowledge Representation and Reasoning

Ordered Completion for Logic Programs with Aggregates / 691
Vernon Asuncion, Yan Zhang, Yi Zhou

Transportability of Causal Effects: Completeness Results / 698
Elias Bareinboim, Judea Pearl

On the Complexity of Consistent Query Answering in the Presence of Simple Ontologies / 705
Meghyn Bienvenu

Symbolic Synthesis of Observability Requirements for Diagnosability / 712
Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Xavier Olive

Ontology-Based Data Access with Dynamic TBoxes in DL-Lite / 719
Floriana Di Pinto, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati

Query Rewriting for Horn-SHIQ Plus Rules / 726
Thomas Eiter, Magdalena Ortiz, Mantas Simkus, Trung-Kien Tran, Guohui Xiao

A First-Order Interpreter for Knowledge-Based Golog with Sensing based on Exact Progression and Limited Reasoning / 734
Yi Fan, Minghui Cai, Naiqi Li, Yongmei Liu

The Parameterized Complexity of Abduction / 743
Michael R. Fellows, Andreas Pfandler, Frances A. Rosamond, Stefan Rümmele

On Finding Optimal Polytrees / 750
Serge Gaspers, Mikko Koivisto, Mathieu Liedloff, Sebastian Ordyniak, Stefan Szeider

Equality-Friendly Well-Founded Semantics and Applications to Description Logics / 757
Georg Gottlob, André Hernich, Clemens Kupke, Thomas Lukasiewicz

Probabilistic Alternating-Time Temporal Logic of Incomplete Information and Synchronous Perfect Recall / 765
Xiaowei Huang, Kaile Su, Chenyi Zhang

Synthesizing Strategies for Epistemic Goals by Epistemic Model Checking: An Application to Pursuit Evasion Games / 772
Xiaowei Huang, Ron van der Meyden

Benchmarking Ontology-Based Query Rewriting Systems / 779
Martha Imprialou, Giorgos Stoilos, Bernardo Cuenca Grau

Reformulating Temporal Action Logics in Answer Set Programming / 786
Joohyung Lee, Ravi Palla

Compiling Model-Based Diagnosis to Boolean Satisfaction / 793
Amit Metodi, Roni Stern, Meir Kalech, Mike Codish

Conflict-Based Belief Revision Operators in Possibilistic Logic / 800
Guilin Qi, Kewen Wang

Concept-Based Approach to Word-Sense Disambiguation / 807
Ariel Raviv, Shaul Markovitch

Far Out: Predicting Long-Term Human Mobility / 814
Adam Sadilek, John Krumm

FLP Semantics Without Circular Justifications for General Logic Programs / 821
Yi-Dong Shen, Kewen Wang

Exploring the Duality in Conflict-Directed Model-Based Diagnosis / 828
Roni Tzvi Stern, Meir Kalech, Alexander Feldman, Gregory Provan

A Well-Founded Semantics for Basic Logic Programs with Arbitrary Abstract Constraint Atoms / 835
Yisong Wang, Fangzhen Lin, Mingyi Zhang, Jia-Huai You

Basing Decisions on Sentences in Decision Diagrams / 842
Yexiang Xue, Arthur Choi, Adnan Darwiche

Machine Learning

Towards Population Scale Activity Recognition: A Framework for Handling Data Diversity / 851
Saeed Abdullah, Nicholas D. Lane, Tanzeem Choudhury

Weighted Clustering / 858
Margareta Ackerman, Shai Ben-David, Simina Brânzei, David Loker

Investigating Contingency Awareness Using Atari 2600 Games / 864
Marc G. Bellemare, Joel Veness, Michael Bowling

Adaptive Step-Size for Online Temporal Difference Learning / 872
William Dabney, Andrew G Barto

Clustering Documents Along Multiple Dimensions / 879
Sajib Dasgupta, Richard M. Golden, Vincent Ng

TD-DeltaPi: A Model-Free Algorithm for Efficient Exploration / 886
Bruno C. da Silva, Andrew G. Barto

Convex Kernelized Sorting / 893
Nemanja Djuric, Mihajlo Grbovic, Slobodan Vucetic

A Spin-Glass Model for Semi-Supervised Community Detection / 900
Eric Eaton, Rachael Mansbach

A Bayesian Approach to the Data Description Problem / 907
Alireza Ghasemi, Hamid R. Rabiee, Mohammad Taghi Manzuri, Mohammad Hossein Rohban

Conservative and Greedy Approaches to Classification-Based Policy Iteration / 914
Mohammad Ghavamzadeh, Alessandro Lazaric

Efficient Multi-Stage Conjugate Gradient for Trust Region Step / 921
Pinghua Gong, Changshui Zhang

Classification of Sparse Time Series via Supervised Matrix Factorization / 928
Josif Grabocka, Alexandros Nanopoulos, Lars Schmidt-Thieme

Sparse Principal Component Analysis with Constraints / 935
Mihajlo Grbovic, Christopher Roger Dance, Slobodan Vucetic

Learning SVM Classifiers with Indefinite Kernels / 942
Suicheng Gu, Yuhong Guo

Multi-Label Learning by Exploiting Label Correlations Locally / 949
Sheng-Jun Huang, Zhi-Hua Zhou

Multi-Label Learning on Tensor Product Graph / 956
Jonathan Jiang

Learning Games from Videos Guided by Descriptive Complexity / 963
Lukasz Kaiser

Probabilistic Models for Common Spatial Patterns: Parameter-Expanded EM and Variational Bayes / 970
Hyohyeong Kang, Seungjin Choi

Kernel-Based Reinforcement Learning on Representative States / 977
Branislav Kveton, Georgios Theocharous

Learning the Kernel Matrix with Low-Rank Multiplicative Shaping / 984
Tomer Levinboim, Fei Sha

Teaching Machines to Learn by Metaphors / 991
Omer Levy, Shaul Markovitch

Topic Correlation Analysis for Cross-Domain Text Classification / 998
Lianghao Li, Xiaoming Jin, Mingsheng Long

Sparse Probabilistic Relational Projection / 1005
Wu-Jun Li, Dit-Yan Yeung

Towards Discovering What Patterns Trigger What Labels / 1012
Yu-Feng Li, Ju-Hua Hu, Yuang Jiang, Zhi-Hua Zhou

Ensemble Feature Weighting Based on Local Learning and Diversity / 1019
Yun Li, Suyan Gao, Songcan Chen

Unsupervised Feature Selection Using Nonnegative Spectral Analysis / 1026
Zechao Li, Yi Yang, Jing Liu, Xiaofang Zhou, Hanqing Lu

Transfer Learning with Graph Co-Regularization / 1033
Mingsheng Long, Jianmin Wang, Guiguang Ding, Dou Shen, Qiang Yang

Margin-Based Feature Selection in Incomplete Data / 1040
Qiang Lou, Zoran Obradovic

Design and Optimization of an Omnidirectional Humanoid Walk: A Winning Approach at the RoboCup 2011 3D Simulation Competition / 1047
Patrick MacAlpine, Samuel Barrett, Daniel Urieli, Victor Vu, Peter Stone

Compressed Least-Squares Regression on Sparse Spaces / 1054
Mahdi Milani Fard, Yuri Grinberg, Joelle Pineau, Doina Precup

Rule Ensemble Learning Using Hierarchical Kernels in Structured Output Spaces / 1061
Naveen Nair, Amrita Saha, Ganesh Ramakrishnan, Shonali Krishnaswamy

Counting-MLNs: Learning Relational Structure for Decision Making / 1068
Aniruddh Nath, Matthew Richardson

Context Tree Maximizing / 1075
Phuong Minh Nguyen, Peter Sunehag, Marcus Hutter

Learning Behavior Models for Hybrid Timed Systems / 1083
Oliver Niggemann, Benno Stein, Asmir Vodencarevic, Alexander Maier, Hans Kleine Büning

Leveraging Domain Knowledge in Multitask Bayesian Network Structure Learning / 1091
Diane Oyen, Terran Lane

Sequence Labeling with Non-Negative Weighted Higher Order Features / 1098
Xian Qian, Yang Liu

A Parameterized Runtime Analysis of Evolutionary Algorithms for the Euclidean Traveling Salesperson Problem / 1105
Andrew M. Sutton, Frank Neumann

Investigating the Effectiveness of Laplacian-Based Kernels in Hub Reduction / 1112
Ikumi Suzuki, Kazuo Hara, Masashi Shimbo, Yuji Matsumoto, Marco Saerens

Convex Matching Pursuit for Large-Scale Sparse Coding and Subset Selection / 1119
Mingkui Tan, Ivor W. Tsang, Li Wang, Xinming Zhang

Hierarchical Double Dirichlet Process Mixture of Gaussian Processes / 1126
Aditya Tayal, Pascal Poupart, Yuying Li

Knapsack Based Optimal Policies for Budget–Limited Multi–Armed Bandits / 1134
Long Tran-Thanh, Archie Chapman, Alex Rogers, Nicholas R Jennings

Name-Ethnicity Classification and Ethnicity-Sensitive Name Matching / 1141
Pucktada Treeratpituk, C. Lee Giles

Markov Network Structure Learning: A Randomized Feature Generation Approach / 1148
Jan Van Haaren, Jesse Davis

Manifold Warping: Manifold Alignment over Time / 1155
Hoa Trong Vu, Clifton Carey, Sridhar Mahadevan

Discriminative Clustering via Generative Feature Mapping / 1162
Liwei Wang, Xiong Li, Zhuowen Tu, Jiaya Jia

Colorization by Matrix Completion / 1169
Shusen Wang, Zhihua Zhang

Learning from Demonstration for Goal-Driven Autonomy / 1176
Ben George Weber, Michael Mateas, Arnav Jhala

Semi-Supervised Kernel Matching for Domain Adaptation / 1183
Min Xiao, Yuhong Guo

A Bregman Divergence Optimization Framework for Ranking on Data Manifold and Its New Extensions / 1190
Bin Xu, Jiajun Bu, Chun Chen, Deng Cai

Online Kernel Selection: Algorithms and Evaluations / 1197
Tianbao Yang, Mehrdad Mahdavi, Rong Jin, Jinfeng Yi, Steven C.H. Hoi

Pairwise Exemplar Clustering / 1204
Yingzhen Yang, Xinqi Chu, Feng Liang, Thomas S. Huang

Approximate Policy Iteration with Linear Action Models / 1212
Hengshuai Yao, Csaba Szepesvari

Efficient Online Learning for Large-Scale Sparse Kernel Logistic Regression / 1219
Lijun Zhang, Rong Jin, Chun Chen, Jiajun Bu, Xiaofei He

Supervised Probabilistic Robust Embedding with Sparse Noise / 1226
Yu Zhang, Dit-Yan Yeung, Eric P. Xing

Hierarchical Modeling with Tensor Inputs / 1233
Yada Zhu, Jingrui He, Rick Lawrence

Multiagent Systems

Security Games with Limited Surveillance / 1241
Bo An, David Kempe, Christopher Kiekintveld, Eric Shieh, Satinder Singh, Milind Tambe, Yevgeniy Vorobeychik

Housing Markets with Indifferences: A Tale of Two Mechanisms / 1249
Haris Aziz, Bart de Keijzer

Sample Bounded Distributed Reinforcement Learning for Decentralized POMDPs / 1256
Bikramjit Banerjee, Jeremy Lyle, Landon Kraemer, Rajesh Yellamraju

Optimal Proportional Cake Cutting with Connected Pieces / 1263
Xiaohui Bei, Ning Chen, Xia Hua, Biaoshuai Tao, Endong Yang

Computing Equilibria with Two-Player Zero-Sum Continuous Stochastic Games with Switching Controller / 1270
Guido Bonomi, Nicola Gatti, Fabio Panozzo, Marcello Restelli

A Dynamic Rationalization of Distance Rationalizability / 1278
Craig Boutilier, Ariel D. Procaccia

On Maxsum Fair Cake Divisions / 1285
Steven J. Brams, Michal Feldman, John K. Lai, Jamie Morgenstern, Ariel D. Procaccia

A Multivariate Complexity Analysis of Lobbying in Multiple Referenda / 1292
Robert Bredereck, Jiehua Chen, Sepp Hartung, Rolf Niedermeier, Ondřej Suchý, Stefan Kratsch

The Price of Neutrality for the Ranked Pairs Method / 1299
Markus Brill, Felix Fischer

Fairness and Welfare Through Redistribution When Utility Is Transferable / 1306
Ruggiero Cavallo

Approximately Revenue-Maximizing Auctions for Deliberative Agents / 1313
L. Elisa Celis, Anna R. Karlin, Kevin Leyton-Brown, C. Thach Nguyen, David R. M. Thompson

Computing the Nucleolus of Matching, Cover and Clique Games / 1319
Ning Chen, Pinyan Lu, Hongyang Zhang

Symmetric Subgame Perfect Equilibria in Resource Allocation / 1326
Ludek Cigler, Boi Faltings

Eliminating the Weakest Link: Making Manipulation Intractable? / 1333
Jessica Davies, Nina Naroditskaya, Toby Walsh

Dynamic Matching via Weighted Myopia with Application to Kidney Exchange / 1340
John P. Dickerson, Ariel D. Procaccia, Tuomas Sandholm

Optimizing Payments in Dominant-Strategy Mechanisms for Multi-Parameter Domains / 1347
Lachlan Thomas Dufton, Victor Naroditskiy, Maria Polukarov, Nicholas R. Jennings

Generalized Sampling and Variance in Counterfactual Regret Minimization / 1355
Richard Gibson, Marc Lanctot, Neil Burch, Duane Szafron, Michael Bowling

The Deployment-to-Saturation Ratio in Security Games / 1362
Manish Jain, Kevin Leyton-Brown, Milind Tambe

Finding Optimal Abstract Strategies in Extensive-Form Games / 1371
Michael Johanson, Nolan Bard, Neil Burch, Michael Bowling

Computing Optimal Strategies to Commit to in Stochastic Games / 1380
Joshua Letchford, Liam MacDermed, Vincent Conitzer, Ronald Parr, Charles L. Isbell

Characterizing Multi-Agent Team Behavior from Partial Team Tracings: Evidence from the English Premier League / 1387
Patrick Lucey, Alina Bialkowski, Peter Carr, Eric Foote, Iain Matthews

Competing with Humans at Fantasy Football: Team Formation in Large Partially-Observable Domains / 1394
Tim Matthews, Sarvapali D. Ramchurn, Georgios Chalkiadakis

Congestion Games with Agent Failures / 1401
Reshef Meir, Moshe Tennenholtz, Yoram Bachrach, Peter Key

Bayes-Adaptive Interactive POMDPs / 1408
Brenda Ng, Kofi Boakye, Carol Meyers, Andrew Wang

Tree-Based Solution Methods for Multiagent POMDPs with Delayed Communication / 1415
Frans Adriaan Oliehoek, Matthijs T. J. Spaan

Influence-Based Abstraction for Multiagent Systems / 1422
Frans Adriaan Oliehoek, Stefan J. Witwicki, Leslie Pack Kaelbling

A Complexity-of-Strategic-Behavior Comparison between Schulze's Rule and Ranked Pairs / 1429
David C. Parkes, Lirong Xia

A Scalable Message-Passing Algorithm for Supply Chain Formation / 1436
Toni Penya-Alba, Meritxell Vinyals, Jesus Cerquides, Juan A. Rodriguez-Aguilar

A Hybrid Algorithm for Coalition Structure Generation / 1443
Talal Rahwan, Tomasz Michalak, Nicholas Jennings

Negotiation in Exploration-Based Environment / 1450
Israel Sofer, David Sarne, Avinatan Hassidim

Optimal Auctions for Spiteful Bidders / 1457
Pingzhong Tang, Tuomas Sandholm

Security Games for Controlling Contagion / 1464
Jason Tsai, Thanh H. Nguyen, Milind Tambe

Decision Support for Agent Populations in Uncertain and Congested Environments / 1471
Pradeep Varakantham, Shih-Fen Cheng, Geoff Gordon, Asrar Ahmed

Computing Stackelberg Equilibria in Discounted Stochastic Games / 1478
Yevgeniy Vorobeychik, Satinder Singh

Evaluating Resistance to False-Name Manipulations in Elections / 1485
Bo Waggoner, Lirong Xia, Vincent Conitzer

A Robust Bayesian Truth Serum for Small Populations / 1492
Jens Witkowski, David C. Parkes

Possible Winners in Noisy Elections / 1499
Krzysztof Wojtas, Piotr Faliszewski

Stability Via Convexity and LP Duality in OCF Games / 1506
Yair Zick, Evangelos Markakis, Edith Elkind

Multidisciplinary Topics

Automated Strategies for Determining Rewards for Human Work / 1514
Amos Azaria, Yonatan Aumann, Sarit Kraus

Strategic Advice Provision in Repeated Human-Agent Interactions / 1522
Amos Azaria, Zinovi Rabinovich, Sarit Kraus, Claudia V. Goldman, Ya'akov Gal

An Object-Based Bayesian Framework for Top-Down Visual Attention / 1529
Ali Borji, Dicky N. Sihite, Laurent Itti

Algorithmic and Human Teaching of Sequential Decision Tasks / 1536
Maya Cakmak, Manuel Lopes

Three Controversial Hypotheses Concerning Computation in the Primate Cortex / 1543
Thomas Dean, Greg S. Corrado, Jonathon Shlens

Generalized Monte-Carlo Tree Search Extensions for General Game Playing / 1550
Hilmar Finnsson

Agent-Human Coordination with Communication Costs Under Uncertainty / 1557
Asaf Frieder, Raz Lin, Sarit Kraus

Construction of New Medicines via Game Proof Search / 1564
Abraham Heifets, Igor Jurisica

Learning to Learn: Algorithmic Inspirations from Human Problem Solving / 1571
Ashish Kapoor, Bongshin Lee, Desney Tan, Eric Horvitz

Performance and Preferences: Interactive Refinement of Machine Learning Procedures / 1578
Ashish Kapoor, Bongshin Lee, Desney Tan, Eric Horvitz

Visual Saliency Map from Tensor Analysis / 1585
Bing Li, Weihua Xiong, Weiming Hu

Identifying Bullies with a Computer Game / 1592
Juan Fernando Mancilla-Caceres, Wen Pu, Eyal Amir, Dorothy Espelage

Identifying Adverse Drug Events by Relational Learning / 1599
David Page, Vitor Santos Costa, Sriraam Natarajan, Aubrey Barnard, Peggy Peissig, Michael Caldwell

HyperPlay: A Solution to General Game Playing with Imperfect Information / 1606
Michael John Schofield, Timothy Joseph Cerexhe, Michael Thielscher

Unsupervised Detection of Music Boundaries by Time Series Structure Features / 1613
Joan Serrà, Meinard Müller, Peter Grosche, Josep Lluis Arcos

Automatically Generating Algebra Problems / 1620
Rohit Singh, Sumit Gulwani, Sriram Rajamani

Cruising with a Battery-Powered Vehicle and Not Getting Stranded / 1628
Sabine Storandt, Stefan Funke

Heart Rate Topic Models / 1635
Alexander Van Esbroeck, Chih-Chun Chia, Zeeshan Syed

Natural-Language Processing

Simple Robust Grammar Induction with Combinatory Categorial Grammars / 1643
Yonatan Bisk, Julia Hockenmaier

Generating Chinese Classical Poems with Statistical Machine Translation Models / 1650
Jing He, Ming Zhou, Long Jiang

Modeling Textual Cohesion for Event Extraction / 1657
Ruihong Huang, Ellen Riloff

Using First-Order Logic to Compress Sentences / 1664
Minlie Huang, Xing Shi, Feng Jin, Xiaoyan Zhu

Opinion Target Extraction Using a Shallow Semantic Parsing Framework / 1671
Shoushan Li, Rongyang Wang, Guodong Zhou

Emoticon Smoothed Language Models for Twitter Sentiment Analysis / 1678
Kun-Lin Liu, Wu-Jun Li, Minyi Guo

Collective Nominal Semantic Role Labeling for Tweets / 1685
Xiaohua Liu, Zhongyang Fu, Furu Wei, Ming Zhou

Exacting Social Events for Tweets Using a Factor Graph / 1692
Xiaohua Liu, Xiangyang Zhou, Zhongyang Fu, Furu Wei, Ming Zhou

Query-Oriented Multi-Document Summarization via Unsupervised Deep Learning / 1699
Yan Liu, Sheng-hua Zhong, Wenjie Li

Sense Sentiment Similarity: An Analysis / 1706
Mitra Mohtarami, Hadi Amiri, Man Lan, Thanh Phu Tran, Chew Lim Tan

Sembler: Ensembling Crowd Sequential Labeling for Improved Quality / 1713
Xian Wu, Wei Fan, Yong Yu

Similarity Is Not Entailment — Jointly Learning Similarity Transformation for Textual Entailment / 1720
Ken-ichi Yokote, Danushka Bollegala, Mitsuru Ishizuka

Generating Coherent Summaries with Textual Aspects / 1727
Renxian Zhang, Wenjie Li, Dehong Gao

Reasoning about Plans, Processes, and Actions

The Complexity of Planning Revisited — A Parameterized Analysis / 1735
Christer Bäckström, Yue Chen, Peter Jonsson, Sebastian Ordyniak, Stefan Szeider

A Distributed Approach to Summarizing Spaces of Multiagent Schedules / 1742
James Calvin Boerkoel Jr., Edmund H. Durfee

Action Selection for MDPs: Anytime AO* Versus UCT / 1749
Blai Bonet, Hector Geffner

1735

Width and Complexity of Belief Tracking in Non-Deterministic Conformant and Contingent Planning / 1756
Blai Bonet, Hector Geffner

Improving Hierarchical Planning Performance by the Use of Landmarks / 1763
Mohamed Elkawkagy, Pascal Bercher, Bernd Schattenberg, Susanne Biundo

The Linear Distance Traveling Tournament Problem / 1770
Richard Hoshino, Ken-ichi Kawarabayashi

Structural Patterns Beyond Forks: Extending the Complexity Boundaries of Classical Planning / 1779
Michael Katz, Emil Keyder

LRTDP Versus UCT for Online Probabilistic Planning / 1786
Andrey Kolobov, . Mausam, Daniel S. Weld

Evaluating Temporal Plans in Incomplete Domains / 1793
Daniel Morwood, Daniel Bryce

Planning in Factored Action Spaces with Symbolic Dynamic Programming / 1802
Aswin Raghavan, Saket Joshi, Alan Fern, Prasad Tadepalli, Roni Khardon

Incremental Management of Oversubscribed Vehicle Schedules in Dynamic Dial-A-Ride Problems / 1809
Zachary B. Rubinstein, Stephen F. Smith, Laura Barbulescu

POMDPs Make Better Hackers: Accounting for Uncertainty in Penetration Testing / 1816
Carlos Sarraute, Olivier Buffet, Jörg Hoffmann

Stochastic Safest and Shortest Path Problems / 1825
Florent Teichteil-Königsbuch

Efficient Approximate Value Iteration for Continuous Gaussian POMDPs / 1832
Jur van den Berg, Sachin Patil, Ron Alterovitz

Symbolic Dynamic Programming for Continuous State and Action MDPs / 1839
Zahra Zamani, Scott Sanner, Cheng Fang

MAXSAT Heuristics for Cost Optimal Planning / 1846
Lei Zhang, Fahiem Bacchus

Covering Number as a Complexity Measure for POMDP Planning and Learning / 1853
Zongzhang Zhang, Michael Littman, Xiaoping Chen

Reasoning Under Uncertainty

Lifted MEU by Weighted Model Counting / 1861
Udi Apsel, Ronen I. Brafman

A Multi-Path Compilation Approach to Contingent Planning / 1868
Ronen Brafman, Guy Shani

Exact Lifted Inference with Distinct Soft Evidence on Every Object / 1875
Hung B. Bui, Tuyen N. Huynh, Rodrigo de Salvo Braz

Approximating the Sum Operation for Marginal-MAP Inference / 1882
Qiang Cheng, Feng Chen, Jianwu Dong, Wenli Xu, Alexander Ihler

A Search Algorithm for Latent Variable Models with Unbounded Domains / 1888
Michael Chiang, David Poole

Search Algorithms for m Best Solutions for Graphical Models / 1895
Rina Dechter, Natalia Flerova, Radu Marinescu

A Tractable First-Order Probabilistic Logic / 1902
Pedro Domingos, William Austin Webb

Advances in Lifted Importance Sampling / 1910
Vibhav Gogate, Abhay Jha, Deepak Venugopal

I'm Doing as Well as I Can: Modeling People as Rational Finite Automata / 1917
Joe Halpern, Rafael Pass, Lior Seeman

Using Sliding Windows to Generate Action Abstractions in Extensive-Form Games / 1924
John Alexander Hawkin, Robert Holte, Duane Szafron

Sequential Decision Making with Rank Dependent Utility: A Minimax Regret Approach / 1931
Gildas Jeantet, Patrice Perny, Olivier Spanjaard

Modeling Context Aware Dynamic Trust Using Hidden Markov Model / 1938
Xin Liu, Anwitaman Datta

Time-Consistency of Optimization Problems / 1945
Takayuki Osogami, Tetsuro Morimura

Symbolic Variable Elimination for Discrete and Continuous Graphical Models / 1954
Scott Sanner, Ehsan Abbasnejad

Conditioning in First-Order Knowledge Compilation and Lifted Probabilistic Inference / 1961
Guy Van den Broeck, Jesse Davis

Belief Functions on Distributive Lattices / 1968
Chunlai Zhou

Robotics

Visibility Induction for Discretized Pursuit-Evasion Games / 1976
Ahmed Abdelkader Abdelrazek, Hazem M El-Alfy

Efficient Optimization of Control Libraries / 1983
Debadeepta Dey, Tian Yu Liu, Boris Sofman, James Andrew Bagnell

Mirror Perspective-Taking with a Humanoid Robot / 1990
Justin Wildrick Hart, Brian Scassellati

Repeated Sequential Auctions with Dynamic Task Clusters / 1997
Bradford Gregory John Heap, Maurice Pagnucco

Visual Saliency Estimation through Manifold Learning / 2003
Richard M. Jiang, Danny Crookes

Catch Me If You Can: Pursuit and Capture in Polygonal Environments with Obstacles / 2010
Kyle Klein, Subhash Suri

Coordinated Multi-Robot Exploration Under Communication Constraints Using Decentralized Markov Decision Processes / 2017
Laetitia Matignon, Laurent Jeanpierre, Abdel-Illah Mouaddib

Occupancy Grid Models for Robot Mapping in Changing Environments / 2024
Daniel Meyer-Delius, Maximilian Beinhofer, Wolfram Burgard

Improving Request Compliance through Robot Affect / 2031
Lilia Moshkina

Bayesian Unification of Sound Source Localization and Separation with Permutation Resolution / 2038
Takuma Otsuka, Katsuhiko Ishiguro, Hiroshi Sawada, Hiroshi G. Okuno

Symmetric Rendezvous in Planar Environments With and Without Obstacles / 2046
Deniz Ozsoyeller, Volkan Isler, Andrew Beveridge

Automatic Targetless Extrinsic Calibration of a 3D Lidar and Camera by Maximizing Mutual Information / 2053
Gaurav Pandey, James R. McBride, Silvio Savarese, Ryan M. Eustice

Searching for Optimal Off-Line Exploration Paths in Grid Environments for a Robot with Limited Visibility / 2060
Alberto Quattrini Li, Francesco Amigoni, Nicola Basilico

Mobile Robot Planning to Seek Help with Spatially-Situated Tasks / 2067
Stephanie Rosenthal, Manuela Veloso

Using the Web to Interactively Learn to Find Objects / 2074
Mehdi Samadi, Thomas Kollar, Manuela Veloso

Model Learning and Real-Time Tracking Using Multi-Resolution Surfel Maps / 2081
Jörg Stückler, Sven Behnke

Parsing Outdoor Scenes from Streamed 3D Laser Data Using Online Clustering and Incremental Belief Updates / 2088
Rudolph A. Triebel, Rohan Paul, Daniela Rus, Paul Newman

Spotlight

Search-Based Path Planning with Homotopy Class Constraints in 3D / 2097
Subhrajit Bhattacharya, Maxim Likhachev, Vijay Kumar

SMT-Based Verification of Hybrid Systems / 2100
Alessandro Cimatti, Sergio Mover, Stefano Tonetta

Computing Game-Theoretic Solutions and Applications to Security / 2106
Vincent Conitzer

Goal Recognition with Markov Logic Networks for Player-Adaptive Games / 2113
Eun Y. Ha, Jonathan P. Rowe, Bradford W. Mott, James C. Lester

Seven Challenges in Parallel SAT Solving / 2120
Youssef Hamadi, Christoph M Wintersteiger

Semi-Relaxed Plan Heuristics / 2126
Emil Ragip Keyder, Joerg Hoffmann, Patrik Haslum

Research Challenges in Combinatorial Search / 2129
Richard Earl Korf

Usage-Centric Benchmarking of RDF Triple Stores / 2134
Mohamed Morsey, Jens Lehmann, Sören Auer, Axel-Cyrille Ngonga Ngomo

Optimal Manipulation of Voting Rules / 2141
Svetlana Obraztsova, Edith Elkind

Opportunities and Challenges for Constraint Programming / 2148
Barry O'Sullivan

Relative Attributes for Enhanced Human-Machine Communication / 2153
Devi Parikh, Adriana Kovashka, Amar Parkash, Kristen Grauman

Interactive Narrative: A Novel Application of Artificial Intelligence for Computer Games / 2160
Mark Riedl, Vadim Bulitko

Delivering the Smart Grid: Challenges for Autonomous Agents and Multi-Agent Systems Research / 2166
Alex Rogers, Sarvapali D. Ramchurn, Nicholas R. Jennings

PROTECT: An Application of Computational Game Theory for the Security of the Ports of the United States / 2166
Eric Anyung Shieh, Bo An, Rong Yang, Milind Tambe, Craig Baldwin, Joseph DiRenzo, Ben Maule, Garrett Meyer

Planning as an Iterative Process / 2180
David E. Smith

Heuristic Search Comes of Age / 2186
Nathan R. Sturtevant, Ariel Felner, Maxim Likhachev, Wheeler Ruml

Symmetry Breaking Constraints: Recent Results / 2192
Toby Walsh

Twenty-Fourth Innovative Applications of Artificial Intelligence Conference

Deployed Track

Advisor Agent Support for Issue Tracking in Medical Device Development / 2201
Touby A. Drew, Maria Gini

A Real-Time Decision Support System for High Cost Oil-Well Drilling Operations / 2209
Odd Erik Gundersen, Frode Sørmo, Agnar Aamodt, Pål Skalle

Statistical Anomaly Detection for Train Fleets / 2217
Anders Holst, Markus Bohlin, Jan Ekman, Ola Sellin, Björn Lindström, Stefan Larsen

Transcription System Using Automatic Speech Recognition for the Japanese Parliament (Diet) / 2224
Tatsuya Kawahara

eBird: A Human/Computer Learning Network for Biodiversity Conservation and Research / 2229
Steve Kelling, Jeff Gerbracht, Daniel Fink, Carl Lagoze, Weng-Keen Wong, Jun Yu, Theodoros Damoulas, Carla Gomes

Using AI Local Search to Improve an OR Optimizer / 2237
Filipa Morgado, Ricardo L. Saldanha, Jorge Roussado, Luis Albino, Ernesto Morgado, Joao P. Martins

Applying Automated Language Translation at a Global Enterprise Level / 2245
Nestor Rychtyckyj, Craig Plesco

Mechanix: A Sketch-Based Tutoring System for Statics Courses / 2253
Stephanie Valentine, Francisco Vides, George Lucchese, David Turner, Hong-hoe Kim, Wenzhe Li, Julie Linsey, Tracy Hammond

Emerging Track

Applying Constraint Programming to Incorporate Engineering Methodologies into the Design Process of Complex Systems / 2262
Odellia Boni, Fabiana Fournier, Nir Mashkif, Yehuda Naveh, Aviad Sela, Uri Shani, Zvi lando, Alon Modai

Using Quantitative Information to Improve Analogical Matching Between Sketches / 2269
Maria de los Angeles Chang, Kenneth D. Forbus

A Methodology for Deploying the Max-Sum Algorithm and a Case Study on Unmanned Aerial Vehicles / 2275
Francesco Maria Delle Fave, Alessandro Farinelli, Alex Rogers, Nick Jennings

Toward Habitable Assistance from Spoken Dialogue Systems / 2281
Susan L. Epstein, Rebecca J. Passonneau, Tiziana Ligorio, Joshua Gordon

Integrating Learner Help Requests Using a POMDP in an Adaptive Training System / 2287
Jeremiah T. Folsom-Kovarik, Gita Sukthankar, Sae Schatz

Using POMDPs to Control an Accuracy-Processing Time Trade-Off in Video Surveillance / 2293
Komal Kapoor, Christopher Amato, Nisheeth Srivastava, Paul Schrater

Intelligent Computation of Reachability Sets for Space Missions / 2299
Erik Edmund Komendera, Daniel Scheeres, Elizabeth Bradley

Using a Critic to Promote Less Popular Candidates in a People-to-People Recommender System / 2305
Alfred Krzywicki, Wayne Wobcke, Xiongcai Cai, Michael Bain, Ashesh Mahidadia, Paul Compton, Yang Sok Kim

Local Search for Designing Noise-Minimal Rotorcraft Approach Trajectories / 2311
Robert Morris, Kristen Brent Venable, Marco Pegoraro, James Lindsay

Learning Driver's Behavior to Improve the Acceptance of Adaptive Cruise Control / 2317
Avi Rosenfeld, Zevi Bareket, Claudia V. Goldman, Sarit Kraus, David J. LeBlanc, Omer Tsimhoni

Multi-Agent Simulation of En-Route Human Air-Traffic Controller / 2323
David Sislak, Premysl Volf, Michal Pechoucek, Christopher T. Cannon, Duc N. Nguyen, William C. Regli

QuickPup: A Heuristic Backtracking Algorithm for the Partner Units Configuration Problem / 2329
Erich Christian Teppan, Gerhard Friedrich, Andreas A. Falkner

Cost-Sensitive Risk Stratification in the Diagnosis of Heart Disease / 2335
Selen Uguroglu, Mark Doyle, Robert Biederman, Jaime Carbonell

Statistical Relational Learning to Predict Primary Myocardial Infarction from Electronic Health Records / 2341
Jeremy C. Weiss, Sriraam Natarajan, Peggy L. Peissig, Catherine A. McCarty, Daivd Page

TRUSTS: Scheduling Randomized Patrols for Fare Inspection in Transit Systems / 2348
Zhengyu Yin, Albert Xin Jiang, Matthew P. Johnson, Christopher Kiekintveld, Kevin Leyton-Brown, Tuomas Sandholm, Milind Tambe, John P. Sullivan

Third Educational Advances in Artificial Intelligence Symposium (EAAI-2012)

Full Papers

An Undergraduate Course in the Intersection of Computer Science and Economics / 2357
Vincent Conitzer

Teaching Problem-Solving in Algorithms and AI / 2363
Lisa A. Torrey

Posters

Incorporating Computational Sustainability into AI Education through a Freely-Available, Collectively-Composed Supplementary Lab Text / 2369
Douglas H. Fisher, Bistra Dilkina, Eric Eaton, Carla Gomes

Teaching Aspects of Constraint Satisafaction Algorithms Via a Game / 2371
Ioannis Hatzilygeroudis, Foteini Grivokostopoulou, Isidoros Perikos

Teaching Localization in Probabilistic Robotics / 2373
Fred G. Martin, James Dalphond, Nat Tuck

Pedagogical Explorations in Computational Perception for Performance / 2375
Keith O'Hara

Model AI Assignments

Model AI Assignments 2012 / 2377
Todd William Neller, Laura E. Brown, John Earnest, Jason Hiebel, Douglas Turnbull

Doctoral Consortium

Capabilities in Heterogeneous Multi-Robot Systems / 2380
Jennifer Elisabeth Buehler

Planning Under Time Pressure / 2382
Ethan Andrew Burns

Enriching Chatter Bots With Semantic Conversation Control / 2384
Chayan Chakrabarti

Solution Diversity in Planning / 2386
Alexandra Coman

Abductive Metareasoning for Truth-Seeking Agents / 2388
Joshua Eckroth

Acquiring Domain Specific Knowledge and Coreference Cues for Coreference Resolution / 2390
Nathan Gilbert

A Multi-Agent Control Architecture for a Rescue Robot / 2392
Adam Haber

Dynamic Multiagent Resource Allocation: Integrating Auctions and MDPs for Real-Time Decisions / 2394
Hadi Hosseini

Learning Actions and Action Verbs from Human-Agent Interaction / 2396
Shiwali Mohan

Generalizing and Executing Plans / 2398
Christian James Muise

Iterative Voting under Uncertainty for Group Recommender Systems (Research Abstract) / 2400
Lihi Naamani-Dery

Complex Task Learning from Unstructured Demonstrations / 2402
Scott Niekum

Building Collaborative Strategies via Imitation / 2404
Saleha Raza

Large-Scale Mapping and Navigation in VirtualWorlds: Thesis Summary / 2406
Katrina Samperi

Effects of Representation on Solving Complex Spatial-Temporal Problems / 2408
Baylor Wetzel

Student Abstracts

Strategic Advice Provision in Repeated Human-Agent Interactions (Abstract) / 2411
Amos Azaria, Zinovi Rabinovich, Sarit Kraus, Claudia V. Goldman, Ya'akov Gal

Temporally Expressive Planning Based on Answer Set Programming with Constraints / 2413
Forrest Sheng Bao, Yuanlin Zhang

Improving Convergence of CMA-ES Through Structure-Driven Discrete Recombination / 2415
Tim Brys, Ann Nowé

Recommending Related Microblogs: A Comparison Between Topic and WordNet based Approaches / 2417
Xing Chen, Lin Li, Guandong Xu, Zhenglu Yang, Masaru Kitsuregawa

A Theoretical Framework of the Graph Shift Algorithm / 2419
Xuhui Fan, Longbing Cao

Active Learning from Oracle with Knowledge Blind Spot / 2421
Meng Fang, Xingquan Zhu, Chengqi Zhang

A New Operator for ABox Revision in DL-Lite / 2423
Sibei Gao, Guilin Qi, Haofen Wang

Exploiting Shared Resource Dependencies in Spectrum Based Plan Diagnosis / 2425
Shekhar Gupta, Nico Roos, Cees Witteveen, Bob Price, Johan DeKleer

A Market-Based Coordination Mechanism for Resource Planning Under Uncertainty / 2427
Hadi Hosseini, Jesse Hoey, Robin Cohen

Estimation of Suitable Action to Realize Given Novel Effect with Given Tool Using Bayesian Tool Affordances / 2429
Raghvendra Jain, Tetsunari Inamura

Failure Handling In a Planning Framework / 2431
Sertac Karapinar, Sanem Sariel-Talay

Informed Initial Policies for Learning in Dec-POMDPs / 2433
Landon Jeffrey Kraemer, Bikramjit Banerjee

Online Sequence Alignment for Real-Time Audio Transcription by Non-Experts / 2435
Walter S. Lasecki, Christopher D. Miller, Donato Borrello, Jeffrey P. Bigham

Real-Time Collaborative Planning with the Crowd / 2437
Walter S. Lasecki, Jeffrey P. Bigham, James F. Allen, George Ferguson

An Investigation of Sensitivity on Bagging Predictors: An Empirical Approach / 2439
Guohua Liang

Large Scale Temporal RDFS Reasoning Using MapReduce / 2441
Chang Liu, Guilin Qi, Yong Yu

Mining Context-Aware Significant Travel Sequences from Geotagged Social Media / 2443
Abdul Majid, Ling Chen, Hamid Turab Mirza, Ibrar Hussain, Gencai Chen

Exploring Mixed-Initiative Interaction for Learning with Situated Instruction in Cognitive Agents / 2445
Shiwali Mohan, John Laird

Threats and Trade-Offs in Resource Critical Crowdsourcing Tasks Over Networks / 2447
Swaprava Nath, Pankaj Dayama, Dinesh Garg, Y. Narahari, James Zou

Learning Names for RFID-Tagged Objects in Activity Videos / 2449
Ian E. Perera, James F. Allen

Frugal Coordinate Descent for Large-Scale NNLS / 2451
Vamsi Potluru

A Bucket Elimination Approach for Determining Strong Controllability of Temporal Plans with Uncontrollable Choices / 2453
Pedro Henrique Rodrigues Quemel e Assis Santana, Brian Charles Williams

CCE: A Coupled Framework of Clustering Ensembles / 2455
Zhong She, Can Wang, Longbing Cao

A Testbed for Learning by Demonstration from Natural Language and RGB-Depth Video / 2457
Young Chol Song, Henry Kautz

Learning Transformation Rules by Examples / 2459
Bo Wu, Pedro Szekely, Craig A. Knoblock

Combining Probabilistic Planning and Logic Programming on Mobile Robots / 2461
Shiqi Zhang, Forrest Sheng Bao, Mohan Sridharan

Matching State-Based Sequences with Rich Temporal Aspects / 2463
Aihua Zheng, Jixin Ma, Jin Tang, Bin Luo

AAAI relies on your generous support through membership and donations. If you find these resources useful, we would be grateful for your support.

AI Magazine Articles

Conference Proceedings Papers

Funding Tutorial

Presidential Addresses

Policy Reports

Symposia Papers

Workshop Papers

AAAI Home Page

Awards

Calendar

Jobs

Meetings

AAAI Press

Resources

AAAI Workshops