25. AAAI 2011: San Francisco, California, USA
Wolfram Burgard, Dan Roth (Eds.): Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2011, San Francisco, California, USA, August 7-11, 2011. AAAI Press 2011
Constraints, Satisfiability, and Search
Ozgur Akgun, Ian Miguel, Christopher Jefferson, Alan M. Frisch, Brahim Hnich: Extensible Automated Constraint Modelling.
Stefan Edelkamp, Peter Kissmann: On the Complexity of BDDs for State Space Search: A Case Study in Connect Four.
Meir Goldenberg, Nathan R. Sturtevant, Ariel Felner, Jonathan Schaeffer: The Compressed Differential Heuristic.
Federico Heras, António Morgado, João Marques-Silva: Core-Guided Binary Search Algorithms for Maximum Satisfiability.
Siddhartha Jain, Ashish Sabharwal, Meinolf Sellmann: A General Nogood-Learning Framework for Pseudo-Boolean Multi-Valued SAT.
Kalev Kask, Andrew Gelfand, Lars Otten, Rina Dechter: Pushing the Power of Stochastic Greedy Ordering Schemes for Inference in Graphical Models.
Yat Chiu Law, Jimmy Ho-Man Lee, May Hiu-Chun Woo, Toby Walsh: A Comparison of Lex Bounds for Multiset Variables in Constraint Programming.



Stefan Szeider: Limits of Preprocessing.
Gilles Trombettoni, Ignacio Araya, Bertrand Neveu, Gilles Chabert: Inner Regions and Interval Linearizations for Global Optimization.
Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, Christian Bessiere: Solving Difficult CSPs with Relational Neighborhood Inverse Consistency.
Peter Yap, Neil Burch, Robert C. Holte, Jonathan Schaeffer: Block A*: Database-Driven Search with Applications in Any-Angle Path-Planning.
Knowledge-Based Information Systems
Qingye Jiang, Guojie Song, Gao Cong, Yu Wang, Wenjun Si, Kunqing Xie: Simulated Annealing Based Influence Maximization in Social Networks.
Ruijiang Li, Bin Li, Cheng Jin, Xiangyang Xue, Xingquan Zhu: Tracking User-Preference Varying Speed in Collaborative Filtering.
Jin-Woo Park, Mu-Woong Lee, Jinhan Kim, Seung-won Hwang, Sunghun Kim: CosTriage: A Cost-Aware Triage Algorithm for Bug Reporting Systems.

Jianke Zhu, Hao Ma, Chun Chen, Jiajun Bu: Social Recommendation Using Low-Rank Semidefinite Program.
Knowledge Representation and Reasoning
Vaishak Belle, Gerhard Lakemeyer: A Semantical Account of Progression in the Presence of Uncertainty.

Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati: Higher-Order Description Logics for Domain Metamodeling.
Alberto González-Sanchez, Rui Abreu, Hans-Gerhard Groß, Arjan J. C. van Gemund: Spectrum-Based Sequential Diagnosis.
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Carsten Lutz, Lutz Schröder: A Closer Look at the Probabilistic Description Logic Prob-EL.
Angelika Kimmig, Guy Van den Broeck, Luc De Raedt: An Algebraic Prolog for Reasoning about Possible Worlds.
Szymon Klarman, Víctor Gutiérrez-Basulto: Two-Dimensional Description Logics for Context-Based Semantic Interoperability.
Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev: Conjunctive Query Inseparability of OWL 2 QL TBoxes.

Anees Mehdi, Sebastian Rudolph: Revisiting Semantics for Epistemic Extensions of Description Logics.
Judea Pearl, Elias Bareinboim: Transportability of Causal and Statistical Relations: A Formal Approach.
Magnus Roos, Jörg Rothe, Björn Scheuermann: How to Calibrate the Scores of Biased Reviewers by Quadratic Programming.
Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith: Preferred Explanations: Theory and Generation via Planning.
Maonian Wu, Dongmo Zhang, Mingyi Zhang: Language Splitting and Relevance-Based Belief Change in Horn Logic.


Machine Learning
Byron Boots, Geoffrey J. Gordon: An Online Spectral Learning Algorithm for Partially Observable Nonlinear Dynamical Systems.
Antoine Bordes, Jason Weston, Ronan Collobert, Yoshua Bengio: Learning Structured Embeddings of Knowledge Bases.
Kevin Robert Canini, Thomas L. Griffiths: A Nonparametric Bayesian Model of Multi-Level Category Learning.

Gheorghe Comanici, Doina Precup: Basis Function Discovery Using Spectral Clustering and Bisimulation Metrics.
Peng Cui, Fei Wang, Shiqiang Yang, Lifeng Sun: Item-Level Social Influence Prediction with Probabilistic Hybrid Factor Matrix Factorization.

Zhenyong Fu, Zhiwu Lu, Horace Ho-Shing Ip, Yuxin Peng, Hongtao Lu: Symmetric Graph Regularized Constraint Propagation.
Cuixia Gao, Naiyan Wang, Qi Yu, Zhihua Zhang: A Feasible Nonconvex Relaxation Approach to Feature Selection.
Andrew B. Goldberg, Xiaojin Zhu, Alex Furger, Jun-Ming Xu: OASIS: Online Active Semi-Supervised Learning.

George Konidaris, Sarah Osentoski, Philip S. Thomas: Value Function Approximation in Reinforcement Learning Using the Fourier Basis.
Yu-Feng Li, Zhi-Hua Zhou: Improving Semi-Supervised Support Vector Machines Through Unlabeled Instances Selection.
Si Liu, Hairong Liu, Longin Jan Latecki, Shuicheng Yan, Changsheng Xu, Hanqing Lu: Size Adaptive Selection of Most Informative Features.

Zhiwu Lu, Yuxin Peng: Latent Semantic Learning by Efficient Sparse Coding with Hypergraph Regularization.
Dijun Luo, Chris H. Q. Ding, Heng Huang: Linear Discriminant Analysis: New Formulations and Overfit Analysis.
Dijun Luo, Chris H. Q. Ding, Heng Huang: Multi-Level Cluster Indicator Decompositions of Matrices and Tensors.

Francisco S. Melo: Differential Eligibility Vectors for Advantage Updating and Gradient Methods.
Marion Neumann, Babak Ahmadi, Kristian Kersting: Markov Logic Sets: Towards Lifted Information Retrieval Using PageRank and Label Propagation.
Kyoungup Park, Chunhua Shen, Zhihui Hao, Junae Kim: Efficiently Learning a Distance Metric for Large Margin Nearest Neighbor Classification.
Jonathan Sorg, Satinder P. Singh, Richard L. Lewis: Optimal Rewards versus Leaf-Evaluation Heuristics in Planning Agents.
Harry Strange, Reyer Zwiggelaar: A Generalised Solution to the Out-of-Sample Extension Problem in Manifold Learning.
Jian Tang, Jun Yan, Lei Ji, Ming Zhang, Shaodan Guo, Ning Liu, Xianfang Wang, Zheng Chen: Collaborative Users' Brand Preference Mining across Multiple Domains from Implicit Feedbacks.
Ke Tang, Rui Wang, Tianshi Chen: Towards Maximizing the Area Under the ROC Curve for Multi-Class Classification Problems.
Yuta Tsuboi, Yuya Unno, Hisashi Kashima, Naoaki Okazaki: Fast Newton-CG Method for Batch Learning of Conditional Random Fields.

Hua Wang, Feiping Nie, Heng Huang: Learning Instance Specific Distance for Multi-Instance Classification.
Shusen Wang, Xiaotong Yuan, Tiansheng Yao, Shuicheng Yan, Jialie Shen: Efficient Subspace Segmentation via Quadratic Programming.



Makoto Yamada, Masashi Sugiyama: Direct Density-Ratio Estimation with Dimensionality Reduction via Hetero-Distributional Subspace Analysis.
Yi Yang, Heng Tao Shen, Feiping Nie, Rongrong Ji, Xiaofang Zhou: Nonnegative Spectral Clustering with Discriminative Regularization.
Dan Zhang, Yan Liu, Richard D. Lawrence, Vijil Chenthamarakshan: Transfer Latent Semantic Learning: Microblog Mining with Less Supervision.
Xinhua Zhang, Yaoliang Yu, Martha White, Ruitong Huang, Dale Schuurmans: Convex Sparse Coding, Subspace Learning, and Semi-Supervised Extensions.
Hui Zhao, Jiuqiang Han, Naiyan Wang, Congfu Xu, Zhihua Zhang: A Fast Spectral Relaxation Approach to Matrix Completion via Kronecker Products.
Multiagent Systems
Bo An, Milind Tambe, Fernando Ordóñez, Eric Anyung Shieh, Christopher Kiekintveld: Refinement of Strong Stackelberg Equilibria in Security Games.
Amos Azaria, Zinovi Rabinovich, Sarit Kraus, Claudia V. Goldman: Strategic Information Disclosure to People with Multiple Alternatives.
Sofia Ceppi, Nicola Gatti, Enrico H. Gerding: Mechanism Design for Federated Sponsored Search Auctions.
Yiling Chen, Xi Alice Gao, Rick Goldstein, Ian A. Kash: Market Manipulation with Outside Incentives.
Rajesh Hemant Chitnis, MohammadTaghi Hajiaghayi, Vahid Liaghat: Parameterized Complexity of Problems in Coalitional Resource Games.

Vincent Conitzer, Toby Walsh, Lirong Xia: Dominating Manipulations in Voting with Partial Information.
Florin Constantin, Malvika Rao, Chien-Chung Huang, David C. Parkes: On Expressing Value Externalities in Position Auctions.
Jacob W. Crandall, Asad Ahmed, Michael A. Goodrich: Learning in Repeated Games with Minimal Information: The Effects of Learning Bias.
Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh: Complexity of and Algorithms for Borda Manipulation.
Nate Derbinsky, John E. Laird: A Functional Analysis of Historical Memory Retrieval Bias in the Word Sense Disambiguation Task.
Mingyu Guo: VCG Redistribution with Gross Substitutes.
John Alexander Hawkin, Robert Holte, Duane Szafron: Automated Action Abstraction of Imperfect Information Extensive-Form Games.
Sébastien Lahaie: A Kernel-Based Iterative Combinatorial Auction.
Kathryn Sarah Macarthur, Ruben Stranders, Sarvapali D. Ramchurn, Nicholas R. Jennings: A Distributed Anytime Algorithm for Dynamic Task Allocation in Multi-Agent Systems.
Liam MacDermed, Karthik Sankaran Narayan, Charles Lee Isbell Jr., Lora Weiss: Quick Polytope Approximation of All Correlated Equilibria in Stochastic Games.
Talal Rahwan, Tomasz P. Michalak, Edith Elkind, Piotr Faliszewski, Jacek Sroka, Michael Wooldridge, Nicholas R. Jennings: Constrained Coalition Formation.
Ildikó Schlotter, Piotr Faliszewski, Edith Elkind: Campaign Management under Approval-Driven Voting Rules.
Sameena Shah, Jayadeva, Ravi Kothari, Suresh Chandra: M-Unit EigenAnt: An Ant Algorithm to Find the M Best Solutions.
David Robert Martin Thompson, Kevin Leyton-Brown: Dominant-Strategy Auction Design for Agents with Uncertain, Private Values.
Zhengyu Yin, Manish Jain, Milind Tambe, Fernando Ordóñez: Risk-Averse Strategies for Security Games with Execution and Observational Uncertainty.
Chongjie Zhang, Victor R. Lesser: Coordinated Multi-Agent Reinforcement Learning in Networked Distributed POMDPs.
Multidisciplinary Topics
Dimitrios Antos, Celso de Melo, Jonathan Gratch, Barbara J. Grosz: The Influence of Emotion Expression on Perceptions of Trustworthiness in Negotiation.
Yoon-Sik Cho, Greg Ver Steeg, Aram Galstyan: Co-Evolution of Selection and Influence in Social Networks.
Esra Erdem, Yelda Erdem, Halit Erdogan, Umut Öztok: Finding Answers and Generating Explanations for Complex Biomedical Queries.
Sungjin Lee, Hyungjong Noh, Kyusong Lee, Gary Geunbae Lee: Grammatical Error Detection for Corrective Feedback Provision in Oral Conversations.
Raz Lin, Sarit Kraus, Noa Agmon, Samuel Barrett, Peter Stone: Comparing Agents' Success against People in Security Domains.
Martin Michalowski, Mark Boddy, Mike Neilsen: Bayesian Learning of Generalized Board Positions for Improved Move Prediction in Computer Go.
Wei Pan, Nadav Aharony, Alex Pentland: Composite Social Network for Predicting Mobile Apps Installation.
Marco Ragni, Sven Brüssow: Human Spatial Relational Reasoning: Processing Demands, Representations, and Cognitive Model.



Natural Language Processing
David L. Chen, Raymond J. Mooney: Learning to Interpret Natural Language Navigation Instructions from Observations.
Songjian Chen, Yabo Xu, Huiyou Chang: A Simple and Effective Unsupervised Word Segmentation Approach.
Jennifer Chu-Carroll, James Fan: Leveraging Wikipedia Characteristics for Search and Candidate Generation in Question Answering.
Amit Goyal, Hal Daumé III: Lossy Conservative Update (LCU) Sketch: Succinct Approximate Count Storage.
Tao Liu, Xiaoyong Du, Yong-Dong Xu, Minghui Li, Xiaolong Wang: Partially Supervised Text Classification with Multi-Level Examples.
Xiaohua Liu, Kuan Li, Ming Zhou, Zhongyang Xiong: Enhancing Semantic Role Labeling for Tweets Using Self-Training.

Chao Shen, Tao Li, Chris H. Q. Ding: Integrating Clustering and Multi-Document Summarization by Bi-Mixture Probabilistic Latent Semantic Analysis (PLSA) with Sentence Bases.

Zhongwu Zhai, Bing Liu, Lei Zhang, Hua Xu, Peifa Jia: Identifying Evaluative Sentences in Online Discussions.
Reasoning about Plans, Processes, and Actions
Ronen I. Brafman, Carmel Domshlak, Yagil Engel, Zohar Feldman: Planning for Operational Control Systems with Predictable Exogenous Events.
Alexandra Coman, Hector Muñoz-Avila: Generating Diverse Plans Using Quantitative and Qualitative Plan Distance Metrics.
Tom Erez, Julian J. Tramper, William D. Smart, Stan C. A. M. Gielen: A POMDP Model of Eye-Hand Coordination.
Christopher W. Geib, Robert P. Goldman: Recognizing Plans with Loops Represented in a Lexicalized Grammar.
Moritz Göbelbecker, Charles Gretton, Richard Dearden: A Switching Planner for Combined Task and Observation Planning.
Peter Gregory, Derek Long, Craig McNulty, Susan M. Murphy: Exploiting Path Refinement Abstraction in Domain Transition Graphs.
Richard Hoshino, Ken-ichi Kawarabayashi: The Inter-League Extension of the Traveling Tournament Problem and its Application to Sports Scheduling.
Tatsuya Imai, Akihiro Kishimoto: A Novel Technique for Avoiding Plateaus of Greedy Best-First Search in Satisficing Planning.
Hoang-Khoi Nguyen, Dang-Vien Tran, Tran Cao Son, Enrico Pontelli: On Improving Conformant Planners by Analyzing Domain-Structures.
Nir Pochter, Aviv Zohar, Jeffrey S. Rosenschein: Exploiting Problem Symmetries in State-Based Planners.
Siddharth Srivastava, Shlomo Zilberstein, Neil Immerman, Hector Geffner: Qualitative Numeric Planning.
Florent Teichteil-Königsbuch, Vincent Vidal, Guillaume Infantes: Extending Classical Planning Heuristics to Probabilistic Planning with Dead-Ends.
Son Thanh To, Tran Cao Son, Enrico Pontelli: Conjunctive Representations in Contingent Planning: Prime Implicates Versus Minimal CNF Formula.
Reasoning under Uncertainty
Jaesik Choi, Rodrigo de Salvo Braz, Hung H. Bui: Efficient Methods for Lifted Inference with Aggregate Factors.
Justin Domke: Dual Decomposition for Marginal Inference.
Andrew Gelfand, Kalev Kask, Rina Dechter: Stopping Rules for Randomized Greedy Triangulation Schemes.
Chloe Kiddon, Pedro Domingos: Coarse-to-Fine Inference and Learning for First-Order Probabilistic Models.
Brandon M. Malone, Changhe Yuan, Eric A. Hansen: Memory-Efficient Dynamic Programming for Learning Optimal Bayesian Networks.

Özgür Sümer, Umut A. Acar, Alexander T. Ihler, Ramgopal R. Mettu: Fast Parallel and Adaptive Updates for Dual-Decomposition Solvers.
Yifeng Zeng, Prashant Doshi, Yinghui Pan, Hua Mao, Muthukumaran Chandrasekaran, Jian Luo: Utilizing Partial Policies for Identifying Equivalence of Behavioral Models.
Robotics
Noa Agmon, Daniel Urieli, Peter Stone: Multiagent Patrol Generalized to Complex Environmental Conditions.
Robert Cohn, Edmund H. Durfee, Satinder P. Singh: Comparing Action-Query Strategies in Semi-Autonomous Agents.
Jochen Eisner, Stefan Funke, Sabine Storandt: Optimal Route Planning for Electric Vehicles in Large Networks.

Paul Vernaza, Daniel D. Lee: Learning Dimensional Descent for Optimal Motion Planning in High-dimensional Spaces.
Special Track on AI and the Web
Yi Chang, Ruiqiang Zhang, Srihari Reddy, Yan Liu: Detecting Multilingual and Multi-Regional Query Intent in Web Search.
Weizhu Chen, Zhanglong Ji, Si Shen, Qiang Yang: A Whole Page Click Model to Better Interpret Search Engine Click Data.
Justin Cranshaw, Jonathan Mugan, Norman M. Sadeh: User-Controllable Learning of Location Privacy Policies With Gaussian Mixture Models.
Jianfeng Du, Guilin Qi, Yi-Dong Shen, Jeff Z. Pan: Towards Practical ABox Abduction in Large OWL DL Ontologies.
Alejandro Figueroa, John Atkinson: Maximum Entropy Context Models for Ranking Biographical Answers to Open-Domain Definition Questions.
Andrew S. Gordon, Cosmin Adrian Bejan, Kenji Sagae: Commonsense Causal Reasoning Using Millions of Personal Stories.
Luheng He, Nathan Nan Liu, Qiang Yang: Active Dual Collaborative Filtering with Both Item and Attribute Feedback.
Eirini Kaldeli, Alexander Lazovik, Marco Aiello: Continual Planning with Sensing for Web Service Composition.
Edith Law, Haoqi Zhang: Towards Large-Scale Collaborative Planning: Answering High-Level Search Queries Using Human Computation.
Freddy Lécué: Personalizing Your Web Services with Constructive DL Reasoning Join.
Hengjie Song, Chunyan Miao, Zhiqi Shen: Generating True Relevance Labels in Chinese Search Engine Using Clickthrough Data.
Nguyen Tuan Duc, Danushka Bollegala, Mitsuru Ishizuka: Cross-Language Latent Relational Search: Mapping Knowledge across Languages.
Shuaiqiang Wang, Byron J. Gao, Ke Wang, Hady Wirawan Lauw: CCRank: Parallel Learning to Rank with Cooperative Coevolution.
Wei Wei, Gao Cong, Xiaoli Li, See-Kiong Ng, Guohui Li: Integrating Community Question and Answer Archives.
Shanchan Wu, Tamer Elsayed, William Rand, Louiqa Raschid: Predicting Author Blog Channels with High Value Future Posts for Monitoring.
Guandong Xu, Yanhui Gu, Peter Dolog, Yanchun Zhang, Masaru Kitsuregawa: SemRec: A Semantic Enhancement Framework for Tag Based Recommendation.
Lichun Yang, Shenghua Bao, Qingliang Lin, Xian Wu, Dingyi Han, Zhong Su, Yong Yu: Analyzing and Predicting Not-Answered Questions in Community-based Question Answering Services.
Dawei Yin, Liangjie Hong, Zhenzhen Xue, Brian D. Davison: Temporal Dynamics of User Interests in Tagging Systems.
Yasuhisa Yoshida, Tsutomu Hirao, Tomoharu Iwata, Masaaki Nagata, Yuji Matsumoto: Transfer Learning for Multiple-Domain Sentiment Analysis - Identifying Domain Dependent/Independent Word Polarity.
Xianchao Zhang, You Wang, Nan Mou, Wenxin Liang: Propagating Both Trust and Distrust with Target Differentiation for Combating Web Spam.
Tom Chao Zhou, Chin-Yew Lin, Irwin King, Michael R. Lyu, Young-In Song, Yunbo Cao: Learning to Suggest Questions in Online Forums.
Yin Zhu, Yuqiang Chen, Zhongqi Lu, Sinno Jialin Pan, Gui-Rong Xue, Yong Yu, Qiang Yang: Heterogeneous Transfer Learning for Image Classification.
Special Track on Computational Sustainability and AI
Jim Apple, Paul Chang, Aran Clauson, Heidi E. Dixon, Hiba Fakhoury, Matthew L. Ginsberg, Erin Keenan, Alex Leighton, Kevin Scavezze, Bryan Smith: Green Driver: AI in a Microcosm.
Mark Crowley, David Poole: Policy Gradient Planning for Environmental Decision Making with Existing Simulators.
Daniel Golovin, Andreas Krause, Beth Gardner, Sarah J. Converse, Steve Morey: Dynamic Resource Allocation in Conservation Planning.
Rhonda Hoenigman, Elizabeth Bradley, Nichole Barger: Water Conservation Through Facilitation on Residential Landscapes.
Rebecca A. Hutchinson, Li-Ping Liu, Thomas G. Dietterich: Incorporating Boosted Regression Trees into Ecological Latent Variable Models.
J. Zico Kolter, Joseph Ferreira: A Large-Scale Study on Predicting and Contextualizing Building Energy Usage.
Katherine J. Lai, Carla P. Gomes, Michael K. Schwartz, Kevin S. McKelvey, David E. Calkin, Claire A. Montgomery: The Steiner Multigraph Problem: Wildlife Corridor Design for Multiple Species.
Hui Li, Brian Williams: Hybrid Planning with Temporally Extended Goals for Sustainable Ocean Observing.
Alie El-Din Mady, Gregory Provan, Conor Ryan, Kenneth N. Brown: Stochastic Model Predictive Controller for the Integration of Building Use and Temperature Regulation.
Steven Phillips, Jane Elith: Logistic Methods for Resource Selection Functions and Presence-Only Species Distribution Models.
John Alexander Quinn, Kevin Leyton-Brown, Ernest Mwebaze: Modeling and Monitoring Crop Disease in Developing Countries.
Prashant P. Reddy, Manuela M. Veloso: Learned Behaviors of Multiple Autonomous Agents in Smart Grid Markets.
Martin Sachenbacher, Martin Leucker, Andreas Artmeier, Julian Haselmayr: Efficient Energy-Optimal Routing for Electric Vehicles.
Ganesh Ram Santhanam, Yuly Suvorov, Samik Basu, Vasant Honavar: Verifying Intervention Policies to Counter Infection Propagation over Networks: A Model Checking Approach.
Naren Sundaravaradan, Debprakash Patnaik, Naren Ramakrishnan, Manish Marwah, Amip Shah: Discovering Life Cycle Assessment Trees from Impact Factor Databases.
Thomas Voice, Perukrishnen Vytelingum, Sarvapali D. Ramchurn, Alex Rogers, Nicholas R. Jennings: Decentralised Control of Micro-Storage in the Smart Grid.
Special Track on Integrated Intelligence
David Michael Barbella, Kenneth D. Forbus: Analogical Dialogue Acts: Supporting Learning by Reading Analogies in Instructional Texts.
Ben Goertzel, Joel Pitt, Jared Wigmore, Nil Geisweiller, Zhenhua Cai, Ruiting Lian, Deheng Huang, Gino Yu: Cognitive Synergy between Procedural and Declarative Learning in the Control of Animated and Robotic Agents Using the OpenCogPrime AGI Architecture.
Jonathan Yasuo Ito, Stacy Marsella: Contextually-Based Utility: An Appraisal-Based Approach at Modeling Framing and Decisions.
Su Yan, W. Scott Spangler, Ying Chen: Cross Media Entity Extraction and Linkage for Chemical Documents.
Special Track on New Scientific and Technical Advances in Research
Saleema Amershi, James Fogarty, Ashish Kapoor, Desney S. Tan: Effective End-User Interaction with Machine Learning.
Nimar S. Arora, Stuart J. Russell, Paul Kidwell, Erik B. Sudderth: Global Seismic Monitoring: A Bayesian Approach.
Ronen I. Brafman, Enrico Pilotto, Francesca Rossi, Domenico Salvagnin, Kristen Brent Venable, Toby Walsh: The Next Best Solution.
Andrea Calì, Georg Gottlob, Andreas Pieris: New Expressive Languages for Ontological Query Answering.
Nicolò Cesa-Bianchi, Shai Shalev-Shwartz, Ohad Shamir: Quantity Makes Quality: Learning with Partial Views.
Maithilee Kunda, Keith McGreggor, Ashok K. Goel: Two Visual Strategies for Solving the Raven's Progressive Matrices Intelligence Test.
Jaeyoung Park, Kee-Eung Kim, Yoon-Kyu Song: A POMDP-Based Optimal Control of P300-Based Brain-Computer Interfaces.
Jussi Rintanen: Planning with Specialized SAT Solvers.
Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein: Termination and Correctness Analysis of Cyclic Control.
Paolo Viappiani, Craig Boutilier: Recommendation Sets and Choice Queries: There Is No Exploration/Exploitation Tradeoff!
Weng-Keen Wong, Ian Oberst, Shubhomoy Das, Travis Moore, Simone Stumpf, Kevin McIntosh, Margaret M. Burnett: End-User Feature Labeling via Locally Weighted Logistic Regression.
Special Track on Physically Grounded AI
Brian Coltin, Manuela M. Veloso: Multi-Observation Sensor Resetting Localization with Ambiguous Landmarks.
George Konidaris, Scott Kuindersma, Roderic A. Grupen, Andrew G. Barto: Autonomous Skill Acquisition on a Mobile Manipulator.
Kevin Lai, Liefeng Bo, Xiaofeng Ren, Dieter Fox: A Scalable Tree-Based Approach for Joint Object and Pose Recognition.
Ifeoma Nwogu, Yingbo Zhou, Christopher Brown: DISCO: Describing Images Using Scene Contexts and Objects.
Stephanie Rosenthal, Manuela M. Veloso, Anind K. Dey: Learning Accuracy and Availability of Humans Who Help Mobile Robots.
Stefanie Tellex, Thomas Kollar, Steven Dickerson, Matthew R. Walter, Ashis Gopal Banerjee, Seth J. Teller, Nicholas Roy: Understanding Natural Language Commands for Robotic Navigation and Mobile Manipulation.
Zhikun Wang, Abdeslam Boularias, Katharina Mülling, Jan Peters: Balancing Safety and Exploitability in Opponent Modeling.
AAAI / SIGART Doctoral Consortium
Forrest Sheng Bao: The AC(C) Language: Integrating Answer Set Programming and Constraint Logic Programming.
Niyati Chhaya: Joint Inference for Extracting Text Descriptors from Triage Images of Mass Disaster Victims.
Nate Derbinsky: Long-Term Declarative Memory for Generally Intelligent Agents.
Hoda Eldardiry: Ensemble Classification for Relational Domains.
Benjamin M. Gordon: Developing a Language for Spoken Programming.
Yasaman Haghpanah: A Probabilistic Trust and Reputation Model for Supply Chain Management.
Rhonda Hoenigman: Designing Water Efficient Residential Landscapes with Agent-Based Modeling.
Annie Priyadarshini Louis: Predicting Text Quality for Scientific Articles.
Liam MacDermed: Scaling Up Game Theory: Achievable Set Methods for Efficiently Solving Stochastic Games of Complete and Incomplete Information.
Nir Pochter: Pruning Techniques in Search and Planning.
Srinath Ravindran: Learning with Imprecise Classes, Rare Instances, and Complex Relationships.
Marc Spraragen: Modeling the Effects of Emotion on Cognition.
Jeremy Stober: Learning Sensor, Space and Object Geometry.
Jens Witkowski: Incentive-Compatible Trust Mechanisms.
Student Abstracts and Posters

Chris Colin Baillie, Peter Edwards, Edoardo Pignotti: Assessing Quality in the Web of Linked Sensor Data.
Forrest Sheng Bao, Zhizheng Zhang, Yuanlin Zhang: Medical Treatment Conflict Resolving in Answer Set Programming.


Navid Bazzazzadeh, Benedikt Brors, Roland Eils: Reconstructing the Stochastic Evolution Diagram of Dynamic Complex Systems.
Francis Bisson, Froduald Kabanza, Abder Rezak Benaskeur, Hengameh Irandoust: Provoking Opponents to Facilitate the Recognition of their Intentions.
Shayok Chakraborty, Vineeth Nallure Balasubramanian, Sethuraman Panchanathan: Dynamic Batch Mode Active Learning via L1 Regularization.

Jessica Elan Chung, Eni Mustafaraj: Can Collective Sentiment Expressed on Twitter Predict Political Elections?
Christian Drescher, Toby Walsh: Conflict-Driven Constraint Answer Set Solving with Lazy Nogood Generation.
Yolanda E.-Martín, María Dolores Rodríguez-Moreno, David E. Smith: Probabilistic Plan Graph Heuristic for Probabilistic Planning.
Katsuhide Fujita, Takayuki Ito, Mark Klein: Efficient Issue-Grouping Approach for Multi-Issues Negotiation between Exaggerator Agents.
Jian Gao, Minghao Yin, Junping Zhou: Hybrid Tractable Classes of Binary Quantified Constraint Satisfaction Problems.
Aman Goel, Craig A. Knoblock, Kristina Lerman: Using Conditional Random Fields to Exploit Token Structure and Labels for Accurate Semantic Annotation.
Ting Guo, Zhanshan Li, Ruizhi Guo, Xingquan Zhu: Large Scale Diagnosis Using Associations between System Outputs and Components.
Yanmei Hu, Minghao Yin, Dunbo Cai: On the Discovery and Utility of Precedence Constraints in Temporal Planning.
Daniel Andrew Huntley, Vadim Bulitko: Extending the Applications of Recent Real-Time Heuristic Search.
I-Hong Jhuo, D. T. Lee: Multiple-Instance Learning: Multiple Feature Selection on Instance Representation.
Michael Joya: An Event-Based Framework for Process Inference.
Philip Koonce, Vasha Dutell, Jose Farrington, Vladimir Sukhoy, Alexander Stoytchev: Toward Learning to Solve Insertion Tasks: A Developmental Approach Using Exploratory Behaviors and Proprioception.
Levi Lelis, Sandra Zilles, Robert C. Holte: Time Complexity of Iterative-Deepening A*: The Informativeness Pathology (Abstract).
Guohua Liang, Xingquan Zhu, Chengqi Zhang: An Empirical Study of Bagging Predictors for Different Learning Algorithms.

Bogdan Pogorelc: An Intelligent System for Prolonging Independent Living of Elderly.
Crystal Redman: Web Personalization and Cohort Information Services for Natural Resource Managers.
Ethan L. Schreiber, Richard E. Korf: Using Partitions and Superstrings for Lossless Compression of Pattern Databases.
Son Thanh To, Tran Cao Son, Enrico Pontelli: On the Effectiveness of Belief State Representation in Contingent Planning.
Nikolaos Tziortziotis, Konstantinos Blekas: A Bayesian Reinforcement Learning framework Using Relevant Vector Machines.
Ko-Hsin Cindy Wang, Adi Botea, Philip Kilby: Solution Quality Improvements for Massively Multi-Agent Pathfinding.
Zhikun Wang, Abdeslam Boularias, Katharina Mülling, Jan Peters: Modeling Opponent Actions for Table-Tennis Playing Robot.
Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, Christian Bessiere: Adaptive Neighborhood Inverse Consistency as Lookahead for Non-Binary CSPs.
Fan Xie, Hootan Nakhost, Martin Müller: A Local Monte Carlo Tree Search Approach in Deterministic Planning.
Xiaoxi Xu: Discovering Latent Strategies.
Robotics Program
Baris Akgun, Kaushik Subramanian, Jaeeun Shim, Andrea Lockerd Thomaz: Learning Tasks and Skills Together From a Human Teacher.
Zachary Dodds: Can Quadrotors Succeed as an Educational Platform?
Michael Ferguson, Kim Gero, Joao Salles, James Weis: Playing Chess with a Human-Scale Mobile Manipulator.
Stephan Goebel, Ruben Jubeh, Simon-Lennert Raesch: A Robotics Environment for Software Engineering Courses.
Michael Lanighan, Jerod Sikorskyj, Debra T. Burhans, Robert Selkowitz: Lego Plays Chess: A Low-Cost, Low-Complexity Approach to Intelligent Robotics.
Juan Pablo Munoz, Arif T. Ozgelen, Elizabeth Sklar: Learning from Demonstration in Spatial Exploration.
Arif T. Ozgelen, Michael Costantino, Adiba Ishak, Moses Kingston, Diquan Moore, Samuel Sanchez, Juan Pablo Munoz, Simon Parsons, Elizabeth Sklar: Approaches to Multi-Robot Exploration and Localization.
Kim Wheeler, Robin Knight, Collin Horvat, Daniel Packard, Casey Kuhns, Brent Wilkins, Robert Shiely: Hekateros: A Desktop 5 Degree-of-Freedom Robot Arm for the Small-Scale Manipulation Robot Chess Challenge.



