Twenty-Fifth AAAI Conference on Artificial Intelligence (AAAI-11) Twenty-Third Conference on Innovative Applications of Artificial Intelligence (IAAI-11)

Second Symposium on Educational Advances in Artificial Intelligence (EAAI-11)

August 7 – 11, 2011 Hyatt Regency San Francisco San Francisco, California, USA

Sponsored by the Association for the Advancement of Artificial Intelligence

Cosponsored by the National Science Foundation, AI Journal, Google, Inc. Microsoft Research, Cornell University Institute for Computational Sustainability Naval Research Laboratory, Yahoo! Research Labs, NASA Ames Research Center University of Southern California/Information Sciences Institute, ACM/SIGART IBM Research, Videolectures.net, and David E. Smith Conference Program Acknowledgments Robotics Program Chair Contents The Association for the Advancement of Artifi- Andrea Thomaz (Georgia Institute of Technology, USA) cial Intelligence acknowledges and thanks the Acknowledgments / 2 following individuals for their generous contri- Poker Competition Cohairs AI Video Competition / 18 butions of time and energy to the successful Nolan Bard (University of Alberta, Canada) Awards / 2–4 creation and planning of the Twenty-Fifth AAAI Jonathan Rubin (University of Auckland, New Competitions / 18–19 Conference on Artificial Intelligence and the Zealand) Conference at a Glance / 5 Twenty-Third Conference on Innovative Appli- AI Video Competition Cochairs Doctoral Consortium / 8 cations of Artificial Intelligence. David Aha (Naval Research Laboratory, USA) EAAI-11 Program / 9 Arnav Jhala (University of California, Santa Cruz, Exhibition / 16 AAAI-11 Conference Committee USA) General Information / 20 IAAI-11 Program / 10–15 AAAI Conference Committee Chair A complete listing of the AAAI-11 / IAAI-11 / Invited Presentations / 3, 6–7 Dieter Fox (University of Washington, USA) EAAI-11 Program Committee members appears in Poker Competition / 18 AAAI-11 Program Cochairs the conference proceedings. Posters / 17–18 Wolfram Burgard (University of Freiburg, Germany) Registration / 21 Dan Roth (University of Illinois, Urbana-Cham- Awards Robotics Program / 19 paign, USA) All AAAI-11, IAAI-11, and AAAI Special Special Events and Programs / 3, 8 Awards will be presented Tuesday, August 9, Special Meetings / 3 IAAI-11 Conference Chair and Cochair 8:30 – 9:00 am, in the Grand Ballroom on the Sponsoring Organizations / 2 Daniel Shapiro (Institute for the Study of Learning Street Level of the Hyatt Regency. Technical Program / 10–15 and Expertise (ISLE), USA) Markus Fromherz (ACS, a Xerox Company, USA) Tutorial Forum / 7 AAAI-11 Awards EAAI-11 Symposium Chair Workshop Program / 4 The AAAI-11 Awards will be presented by Pro- Marie desJardins (University of Maryland, Baltimore gram Cochairs Wolfram Burgard and Dan Roth. County, USA) AAAI-11 Outstanding Paper Awards Special Track on Artificial Intelligence and the Web Cochairs Complexity of and Algorithms for Borda Manip- ulation — Jessica Davies, George Katsirelos, Nina Sponsoring Chin-Yew Lin (Microsoft Research Asia, China) Narodytska, Toby Walsh Michael Strube (HITS gGmbH, Germany) Organizations Computational Sustainability and Special Track on Computational Sustainability and Artificial Intelligence Track Artificial Intelligence Cochairs AAAI gratefully acknowledges Dynamic Resource Allocation in Conservation Carla P. Gomes (Cornell University, USA) the generous contributions of the Planning — Daniel Golovin, Andreas Krause, Beth Brian C. Williams (Massachusetts Institute of Tech- following organizations to AAAI-11: Gardner, Sarah J. Converse, Steve Morey nology, USA) Special Track on Integrated Intelligence Cochairs AAAI-11 Outstanding Senior Program Committee Member Awards Platinum Sponsors Paul Rosenbloom (University of Southern California, National Science Foundation USA) José Neira (University of Zaragoza, Spain) AI Journal William Swartout (University of Southern California, Kilian Q. Weinberger (Washington University in USA) St. Louis, USA) Gold Sponsors Special Track on Physically Grounded Artificial AAAI-11 Outstanding Program Committee Member Intelligence Cochairs Google, Inc. Award Kurt Konolige (Willow Garage and Stanford Univer- Microsoft Research Shane Bergsma (Johns Hopkins University, USA) sity, USA) Tanzeem Choudhury (Cornell University, USA) IAAI-11 Deployed Applications Awards Silver Sponsors Nectar Program Cochairs The five IAAI-11 Deployed Application awards Cornell University Institute for Berthe Y. Choueiry (University of Nebraska-Lincoln, will be announced by the IAAI-11 chair Daniel Computational Sustainability USA) Shapiro and cochair Markus Fromherz. Please Alan Fern (Oregon State University, USA) Naval Research Laboratory see the schedule for paper titles. Certificates will Tutorial Program Cochairs be presented during paper sessions. Thomas Lukasiewicz (Oxford University Computing Robert S. Engelmore Memorial Award and Lecture Bronze Sponsors Laboratory, UK) The Robert S. Engelmore Award is sponsored Patrick Pantel (Microsoft Research, USA) Yahoo! Research by IAAI-11 and AI Magazine, and will be pre- Workshop Program Cochairs NASA Ames Research Center sented by Daniel Shapiro and Markus Giuseppe De Giacomo (Sapienza Universita’ di Ro- Fromherz, IAAI-11 chair and cochair, and University of Southern California / ma, Italy) Information Sciences Institute David B. Leake, editor-in-chief, AI Magazine. Dragos Margineantu (Boeing Research and Technol- The award and lecture was established in 2003 ogy, USA) to honor Robert Engelmore’s extraordinary ser- Sponsors Doctoral Consortium Cochairs vice to AAAI, AI Magazine, and the AI applica- ACM/SIGART Bradley J. Clement (Jet Propulsion Laboratory, USA) tions community, and his contributions to ap- IBM Research Elizabeth Sklar (Brooklyn College, City University of plied AI. The 2011 award will be presented to Videolectures.net New York, USA) Ramon Lopez de Mantaras (Artificial Intelli- David E. Smith Student Abstract and Poster Cochairs gence Research Institute (IIIA) and Spanish Na- Ugur Kuter (Smart Information Flow Technologies, tional Research Council (CSIC)) for pioneering USA) research contributions in a breadth of artificial Rudolph Triebel (University of Oxford, United intelligence areas, especially pattern recogni- Kingdom) tion and case-based reasoning, leading to nov- el applications in design, diagnosis, and music,

2 CONTENTS, ACKNOWLEDGEMENTS, SPONSORS, AND AWARDS and for extensive international leadership and service for the AI community. The lecture will IAAI/AAAI Joint Invited Talk be held Wednesday, August 10, 10:20 AM, in Bayfront B on the Bay Level of the Hyatt Re- David Ferrucci gency. (IBM T. J. Watson Research Center) Tuesday, August 9, 10:20 – 11:20 AM, Grand Ballroom AAAI Special Awards and Recognition Computer systems that can directly and accurately answer peoples’ ques- The AAAI Special Awards and Recognition will tions over a broad domain of human knowledge have been envisioned by be presented by Eric Horvitz, Awards Commit- scientists and writers since the advent of computers themselves. Open do- tee Chair and AAAI Past President, and Henry main question answering holds tremendous promise for facilitating in- Kautz, AAAI President. Edward Feigenbaum formed decision making over vast volumes of natural language content. Ap- plications in business intelligence, healthcare, customer support, enterprise will help present the first AAAI Feigenbaum knowledge management, social computing, science and government would Prize. all benefit from deep language processing. The DeepQA project is aimed at exploring how advancing and integrating natural language processing, information retrieval, machine learning, massively paral- 2011 Feigenbaum Prize lel computation, and knowledge representation and reasoning can greatly advance open-domain auto- The AAAI Feigenbaum Prize was established to matic question answering. An exciting proof-point in this challenge is to develop a computer system that can successfully compete against top human players at the Jeopardy! quiz show. Attaining cham- recognize and encourage outstanding artificial pion-level performance Jeopardy! requires a computer system to rapidly and accurately answer rich intelligence research advances that are made by open-domain questions, and to predict its own performance on any given category/question. The sys- using experimental methods of computer sci- tem must deliver high degrees of precision and confidence over a very broad range of knowledge and ence. The 2011 prize is being awarded jointly to natural language content with a 3-second response time. To do this DeepQA evidences and evaluates Sebastian Thrun, Stanford University and many competing hypotheses. A key to success is automatically learning and combining accurate con- William A. “Red” Whittaker, Carnegie Mellon fidences across an array of complex algorithms and over different dimensions of evidence. Accurate University, for their influential contributions to confidences are needed to know when to “buzz in” against your competitors and how much to bet. artificial intelligence via achievements in au- High precision and accurate confidence computations are just as critical for providing real value in business settings where helping users focus on the right content sooner and with greater confidence tonomous vehicle research, including experi- can make all the difference. The need for speed and high precision demands a massively parallel com- mental efforts and research leadership of teams puting platform capable of generating, evaluating and combing 1000s of hypotheses and their associ- addressing challenges with the fielding of ated evidence. In this talk I will introduce the audience to the Jeopardy! Challenge and how we tack- robotic systems in the open world. The Feigen- led it using DeepQA. baum Prize is supported by a grant from the David Ferrucci is the lead researcher and principal investigator for the Watson/Jeopardy! project. He has Feigenbaum Nii Foundation. been a research staff member at IBM’s T. J. Watson’s Research Center since 1995 where he heads up the Semantic Analysis and Integration department. Ferrucci focuses on technologies for automatically Classic Paper Award discovering valuable knowledge in natural language content and using it to enable better decision mak- ing. The 2011 AAAI Classic Paper award honors the authors of two complementary papers deemed most influential from the Tenth National Con- ference on Artificial Intelligence, held in 1992 in San Jose, California for their significant con- AAAI-11 25th Conference Anniversary Panel tributions to the area of automated reasoning Tuesday, August 9, 9:15 – 10:00 AM Grand Ballroom via methods and analyses on satisfiability, pro- Moderated by Manuela Veloso, AAAI president-elect. Panelists: Daniel Bobrow, Ronald J. Brachman, Ed- viding foundational insights about constraint ward Feigenbaum, Kenneth Forbus, Eric Horvitz, Henry Kautz, Edwina Rissland, David Waltz, Bon- satisfaction and search. nie Webber (additional panelists may be announced onsite) Hard and Easy Distribution of SAT Problems — The first AAAI Conference was held in 1980 at Stanford University. AAAI-11 will bring together sev- David Mitchell, Bart Selman, and Hector Levesque eral members of the 1980 program committee, authors, and conference participants, as well as current officers and past presidents, to reflect on the rich history of AAAI, its evolution over the past 25 years, A New Method for Solving Hard Satisfiability and its significance today. Problems — Bart Selman, Hector Levesque, and David Mitchell

Distinguished Service Award Social Events The AAAI Distinguished Service award recog- nizes one individual each year for extraordinary Opening Reception service to the AI community. The 2011 recipi- The AAAI-11 Opening Reception will be held Monday, August 8, 6:00 – 7:00 pm in the ent is David L. Waltz, Director, Center for Com- Grand Ballroom of the Hyatt Regency. This event will provide the traditional opportunity putational Learning Systems, Columbia Univer- for attendees to socialize in a relaxed setting prior to the beginning of the first day of tech- sity, for his extraordinary and long-term techni- nical sessions. A variety of hors d’oeuvres and a no-host bar will be available. Admittance to cal contributions to artificial intelligence in- the reception is free to AAAI-11 technical registrants. A $65.00 per person fee ($30.00 for cluding ground-breaking work in computer vi- children) will be charged for spouses and other nontechnical conference registrants. sion, memory-based reasoning, classification, and information retrieval, and dedicated orga- AAAI-11 Poster Session nizational leadership within the AI research A conference-wide poster session will be held on Wednesday, August 10, 6:30 – 9:30 pm community. Beyond the influence of his ideas in the Grand Ballroom of the Hyatt Regency and will feature selected AAAI-11 Technical and guidance, his insights, wisdom, and gener- Program posters, Student Abstracts, Doctoral Consortium Abstracts, Educational Advances ous mentorship have been of great value in the in AI Symposium posters, and Poker Competition posters. (For a complete listing of posters, nurturing and support of numerous students please refer to page 17.) The accompanying reception will include a light dinner buffet and and colleagues. a no-host bar. Admittance to the reception is free to AAAI-11 registrants. A $50.00 per per- son fee ($25.00 for children) will be charged for spouses and other nontechnical conference AAAI Fellows Recognition registrants. Each year, the Association for the Advancement

KEYNOTE ADDRESS, AWARDS, 25TH ANNIVERSARY PANEL, AND SOCIAL EVENTS 3 Workshop Program

Sunday, August 7 W7: Computational Models of W15: Scalable Integration of W8: Generalized Planning Natural Argument Analytics and Visualization Organizers: Siddharth Srivastava, Sheila W1: Activity Context Representa- McIlraith, Paolo Traverso, and Shlomo Organizers: Floriana Grasso, Nancy Organizers: Ole Mengshoel, Ted Selker, Zilberstein tion: Techniques and Languages Green, and Chris Reed and Henry Lieberman Garden B, Atrium Lobby Level, Pacific H, Pacific Concourse, Boardroom C, Atrium Lobby Level, Organizers: Vikas Agrawal, Lokendra 8:50 AM – 5:50 PM Shastri, James “Bo” Begole, Tim Finin, 8:30 AM – 12:00 PM 9:00 AM – 6:00 PM Henry Kautz, and Matthai Philipose W9: Human Computation Golden Gate Room, Bay Level, W12: Language - Action Tools for Monday, August 8 Organizers: Luis von Ahn, Panagiotis Sunday, 9:00 AM – 5:00 PM Cognitive Artificial Agents: Ipeirotis, Edith Law, Haoqi Zhang, and Monday, 9:00 AM – 5:15 PM Integrating Vision, Action and W1: Activity Context Representa- Jing Wang W3: Applied Adversarial Reason- Language tion: Techniques and Languages Bayview A, Bay Level, 8:45 AM – 5:45 PM ing and Risk Modeling (AARM) Organizers: Katerina Pastra, Yiannis Aloi- Continued from Sunday monos, Giorgio Metta, and Luciano Monday, 9:00 AM – 5:15 PM W10: Human-Robot Interaction Organizers: Noa Agmon, Christopher Fadiga Kiekintveld, Michael Bowling, and in Elder Care Janusz Marecki Seacliff D, Bay Level W2: Analyzing Microtext Sunday, 9:00 AM – 6:00 PM, Regency B, Street Level, Organizers: Ted Metzler, Susan Barnes, Monday, 9:00 AM – 6:00 PM Organizers: David W. Aha, Douglas W. and Lundy Lewis 9:00 AM – 6:00 PM Oard, Sowyma Ramachandran, and W13: Lifelong Learning from David C. Uthus Pacific H, Pacific Concourse, W5: AI for Data Center Manage- 8:30 am – 6:00 PM Sensorimotor Experience Garden A, Atrium Lobby Level, ment and Cloud Computing 8:30 AM – 6:00 PM W11: Interactive Decision Theory Organizers: Joseph Modayil, Doina Pre- Organizers: Donagh Buckley, Burt Kalis- cup, and Satinder Singh W4: Artificial Intelligence and and Game Theory ki, and Barry O’Sullivan Garden B, Atrium Lobby Level, Smarter Living: The Conquest of Pacific G, Pacific Concourse, Organizers: Piotr Gmytrasiewicz, 8:30 AM – 5:30 PM Prashant Doshi, Simon Parsons, and Karl AM PM Complexity 9:00 – 5:30 Tuyls W6: Automated Action Planning W14: Plan, Activity, and Intent Organizers: Benjamin Johnston, Mary- Pacific I, Pacific Concourse, Recognition (PAIR 2011) Anne Williams, Ryan Calo, Xiaoping 9:15 AM – 4:45 PM for Autonomous Mobile Robots Chen, Michael Genesereth, Sajjad Organizers: Gita Sukthankar, Hung Bui, Haider, Roland Vogl, Xun Wang, and W12: Language - Action Tools for Organizers: Sanem Sariel-Talay, Stephen Christopher W. Geib, and David V. Py- Glenn Wightwick F. Smith, and Nilufer Onder nadath Pacific G, Pacific Concourse, Cognitive Artificial Agents: Bayview A, Bay Level, Regency A, Street Level, 9:00 AM – 5:00 PM Integrating Vision, Action and 9:00 AM – 5:35 PM 9:00 AM – 5:15 PM Language Continued from Sunday 9:00 AM – 6:00 PM

Special Meetings AAAI Executive Council Meeting The AAAI Executive Council Meeting will be held Monday, August 8, 9:00 AM – 4:00 PM, Boardroom C, Atrium Lobby Level, Hyatt Regency San Francisco. Continental breakfast will be available at 8:30 AM. AAAI Business Meeting The AAAI Annual Business Meeting will be held Monday, August 8, 1:15 AAAI Publications Committee Meeting PM – 1:45 PM, Seacliff C, Bay Level, Hyatt Regency San Francisco. The AAAI Publications Committee Meeting will be held Wednesday, Au- gust 10, 12:30 – 1:30 PM, Boardroom B, Atrium Lobby Level, Hyatt Re- AAAI Conference Committee Meeting gency San Francisco. AAAI Conference Committee Meeting will be held Thursday, August 11, 7:45 AM – 8:45 AM, Boardroom B, Atrium Lobby Level, Hyatt Regency AI Magazine Editorial Board Meeting San Francisco. The AI Magazine Editorial Board Meeting will be held Tuesday, August 9, 12:30 – 2:00 PM, Boardroom C, Atrium Lobby Level, Hyatt Regency San Francisco.

of Artificial Intelligence recognizes a small number of members who have Shlomo Zilberstein (University of Massachusetts Amherst, USA) made significant sustained contributions to the field of artificial intelligence, AAAI Senior Member Recognition and who have attained unusual distinction in the profession. AAAI is pleased to announce the six newly elected Fellows for 2011, who will be honored AAAI congratulates the inaugural group of AAAI senior members, who are during the annual Fellows dinner on Tuesday, August 9: being recognized for their long-term participation in AAAI and their distinc- tion in the field of artificial intelligence. The list of new senior members will Dieter Fox (University of Washington, USA) be announced in the AAAI-11 Opening Ceremony. Robert C. Holte (University of Alberta, Canada) Sheila A. McIlraith (University of Toronto, Canada) Special Competition Awards Satinder Singh Baveja (University of Michigan, USA) Makoto Yokoo (Kyushu University, Japan) For information about the special competition awards, please see the sec-

4 AWARDS, WORKSHOP PROGRAM, STUDENT PROGRAMS Morning AFTERNOON EVENING

Sunday, August 7

Registration Registration Tutorial Forum Tutorial Forum Workshops Workshops AAAI/SIGART DC AAAI/SIGART DC

Monday, August 8

Registration Registration Opening Reception AAAI Business Meeting Video Competition Tutorial Forum Tutorial Forum Workshops Workshops AAAI/SIGART DC AAAI/SIGART DC

Tuesday, August 9

Registration Registration Student Reception AAAI / IAAI Opening Ceremony Invited Talks IAAI Google Lab Event Awards and Recognition AAAI-11 / IAAI-11 / EAAI-11 Fellows Dinner AAAI-11 Anniversary Panel Robotics Program AAAI-11 / IAAI-11 / EAAI-11 Exhibits Robotics Program Exhibits

Wednesday, August 10

Registration Registration Poster Reception Invited Talks Invited Talks AAAI-11 / IAAI-11 / EAAI-11 AAAI-11 / IAAI-11 / EAAI-11 Robotics Program Robotics Program Exhibits Exhibits

Thursday, August 11

Registration Invited Talks AAAI-11 / IAAI-11 AAAI-11 / IAAI-11 Exhibits

CONFERENCE AT A GLANCE 5 Invited Talks

Tuesday, August 9 1:50 – 2:50 PM AAAI-11 Invited Talk 9:15 – 10:00 AM Strategic Intelligence in Social Networks AAAI-11 25th Conference Anniversary Panel Michael Kearns (University of Pennsylvania) Moderator: Manuela Veloso (Carnegie Mellon University) Grand Ballroom, Street Level Grand Ballroom, Street Level (see description on page 3) For the past six years at the University of Pennsylva- nia, we have been conducting controlled human-sub- 10:20 – 11:20 AM ject experiments on strategic interaction in social net- IAAI-11/AAAI-11 Joint Invited Talk works. The overarching goal of these experiments is to Building Watson: An Overview of DeepQA provide a behavioral counterpart to the flourishing re- for the Jeopardy! Challenge search on mathematical models of social networks, David Ferrucci (IBM T J Watson Research Center) diffusion dynamics, influence in social networks, and Grand Ballroom, Street Level (see description on page 3) related topics. To date we have conducted experi- ments on a wide variety of strategic and computational tasks in social net- 1:50 – 2:50 PM works, including graph coloring (which can be viewed as a problem of so- AAAI-11 Invited Talk cial differentiation), consensus, biased voting, trading and bargaining in From Turn-Taking to Social Ties networks, and network formation. These experiments have yielded a Karrie Karahalios (University of Illinois) wealth of findings and data on the ability of human subjects to solve chal- Grand Ballroom, Street Level lenging collective tasks from only local interactions, and have shed light on Online communities have been studied from various basic topics such as influence and altruism in social networks, and the re- perspectives since the 1980s. Much of this work has lationship between network structure and collective and individual per- taken existing sociology techniques and molded them formance and behavior. The experiments also raise interesting challenges to fit a specific electronic environment such as IRC, for notions of collective intelligence in humans and machines, and for the Usenet, Facebook, and others. The existence of digital application of machine learning to the resulting data. traces of online interaction has made this research possible at a large scale. In this talk, Karahalios begins Thursday, August 11 by discussing a brief history of the study of online in- 9:00 – 10:00 AM teraction and the cues used by researchers to formulate their research. She AAAI-11 Invited Talk continues describing how the study of online social spaces has changed through the lens of the work done in the Social Spaces Group. Karahalios Towards Artificial Systems: What argues that digital traces can be misleading and new techniques and inter- Can We Learn from Human Perception? faces are necessary to improve and study social online interaction. This dis- Heinrich H. Buelthoff (Max Planck Institute for Biological Cybernetics) cussion includes work highlighting the differences between interaction be- Grand Ballroom, Street Level tween rural and urban areas, tie strength from social network software, and Recent progress in learning algorithms and sensor implications of this work. Karahalios concludes by highlighting how on- hardware has led to rapid advances in artificial sys- line social interaction is diverging from face-to-face interaction and the im- tems. However, their performance continues to fall portance of new methodologies and interfaces for studying this change. short of the efficiency and plasticity of human behav- ior. In many ways, a deeper understanding of how hu- Wednesday, August 10 mans process and act upon physical sensory informa- tion can contribute to the development of better arti- 9:00 – 10:00 AM ficial systems. In this presentation, Buelthoff will high- AAAI-11 Invited Talk light how the latest tools in computer vision, computer graphics, and vir- Registration and Recognition for Robotics tual reality technology can be used to systematically understand the factors Kurt Konolige (Willow Garage, Inc and Stanford University) that determine how humans behave and solve tasks in realistic scenarios. Grand Ballroom, Street Level 10:20 – 11:20 AM Robotic manipulation around the home and office re- IAAI-11 Invited Talk quires perception of the environment and objects HaloBook and Progress Towards Digital Aristotle within it. In this talk, Konolige highlights the key roles played by visual registration. The first role is in keep- David Gunning (Vulcan Inc.) Bayview B, Bay Level ing track of where the robot is, and for understanding how multiple views of the environment correspond to Project Halo is a long-range research effort, pursuing each other. The second is in finding and manipulating the vision of the Digital Aristotle— a system contain- objects in the world. Registration and recognition ing large volumes of scientific knowledge and capable methods will be illustrated with examples from Willow Garage’s PR2 of applying sophisticated problem-solving methods to robot. answer novel questions, with applications in educa- tion and scientific research. The current focus of the 10:20 – 11:20 AM project is the development of HaloBook — an elec- IAAI-11 Invited Talk — Robert S. Engelmore Memorial Award Lecture: tronic textbook capable of answering a student’s ques- Playing with Cases: Rendering Expressive Music Performance tions. This talk will summarize the history and motivation for Project Ha- with Case-Based Reasoning lo, describe the current work on HaloBook, and discuss possible Grand Ramon Lopez de Mantaras (Artificial Intelligence Research Institute (IIIA) Challenges to motivate future research. and Spanish National Research Council (CSIC)) Bayview B, Bay Level (see description on page 7)

6 INVITED TALKS IAAI-11 Invited Talk Robert S. Engelmore Memorial Award Lecture: Playing with Cases: Rendering Expressive Music Performance with Case-Based Reasoning Ramon Lopez de Mantaras (Artificial Intelligence Research Institute (IIIA) and Spanish National Research Council (CSIC)) Wednesday, 10:20 – 11:20 AM Bayview B, Bay Level

Rendering expressive music performances involves complex processes that constitute a challenging research area for computer music re- search. Besides, it is a rich field for investigating aspects of human intelligence, emotion, and creativity. Case-based reasoning is one of the AI techniques that have produced more promising results in rendering expressive music performances. Furthermore, it has advanced the state of the art in case-based reasoning through the invention of new approaches to case representation, case retrieval and case reuse adapt- ed to musical knowledge. In this talk Lopez de Mantaras will describe in some detail two successful case-based reasoning systems applied to expressive music performance that have been developed at the Artificial Intelligence Research Institute.

Tutorial Forum

AAAI-11 technical registrants may attend up to four consecutive tutorials.

Session I: Sunday, August 7 Session III: Monday, August 8 9:00 AM – 1:00 PM 9:00 AM – 1:00 PM SA1: Machine Learning in Time Series Databases (and Everything is a MA1: Collective Intelligence Time Series!) Haym Hirsh Eamonn Keogh Bayview B, Bay Level Bayview B, Bay Level MA2: Discourse Models for Generating Optimized User Interfaces: SA2: Security Games Theory from AI and Application in HCI Chris Kiekintveld, Nicola Gatti, and Manish Jain Hermann Kaindl Seacliff C, Bay Level Seacliff C, Bay Level SA3: Discourse Structure: Theory and Practice MA3: From Structured Prediction to Inverse Reinforcement Learning Bonnie Webber, Markus Egg, and Valia Kordoni Hal Daume III Seacliff B, Bay Level Seacliff B, Bay Level

Session II: Sunday, August 7 MA4: Opinion Mining and Sentiment Analysis Bing Liu 2:00 PM – 6:00 PM Seacliff A, Bay Level SP1: Event Processing - State of the Art and Research Challenges Opher Etzion and Yagil Engel Session IV: Monday, August 8 Bayview B, Bay Level 2:00 PM – 6:00 PM SP2: Human Computation: Core Research Questions and State of the Art MP1: Algorithms for Classical Planning Luis von Ahn and Edith Law Jussi Rintanen Seacliff C, Bay Level Bayview B, Bay Level SP3: Large-Scale Data Processing with MapReduce MP2: Conformal Predictions for Reliable Machine Learning: Theory and Jimmy Lin Applications Seacliff B, Bay Level Vineeth N. Balasubramanian, Shen-Shyang Ho, Sethuraman Panchanathan, and Vladimir Vovk SP4: Recognizing Behavior in a Spatio-Temporal Context Seacliff C, Bay Level Hans W. Guesgen, Mehul Bhatt, and Stephen Marsland Seacliff A, Bay Level MP3: Information Organization and Retrieval with Collaboratively Gen- erated Content Eugene Agichtein and Evgeniy Gabrilovich Seacliff B, Bay Level MP4: Philosophy as AI and AI as Philosophy Aaron Sloman Seacliff A, Bay Level

INVITED TALKS AND TUTORIAL FORUM 7 with a panel of established researchers. The fifteen students accepted Student Programs to participate in this program will also participate in the AAAI-11 Poster Session. All interested AAAI-11 student registrants are invited AAAI-11 Student Only Reception to observe the presentations and participate in discussions at the USC/Information Sciences Institute will host the fifth annual AAAI workshop. AAAI and SIGART gratefully acknowledge grants from the Student Only Reception, Tuesday, August 9 from 5:45 – 6:45 PM in National Science Foundation, Microsoft Research, and David E. the Seacliff Foyer on the Bay level of the Hyatt Regency. Snacks and Smith, which provide partial funding for this event. beverages will be served. All AAAI-11 registered students are wel- AAAI Fellow / Student Lunches come. First held in 2006, the AAAI Fellow / Student program provides an AAAI/SIGART Doctoral Consortium (DC-11) opportunity for a small number of students to chat with a AAAI Fel- The Sixteenth AAAI/SIGART Doctoral Consortium program will be low over an informal lunch during the conference. Sign-up sheets are held on Sunday and Monday, August 7 – 8, in Marina on the Bay lev- available at the onsite registration desk in the Market Street Foyer on el of the Hyatt. The Doctoral Consortium provides an opportunity for the street level of the Hyatt Regency. Students should meet their des- a group of Ph.D. students to discuss and explore their research inter- ignated Fellow in onsite registration on their assigned day. ests and career objectives in an interdisciplinary workshop together

Doctoral Consortium Schedule

The Sixteenth AAAI/SIGART Doctoral Consortium program will be held on Sunday and Monday, August 7 – 8, in Marina on the Bay level of the Hyatt. The Doctoral Consortium provides an opportunity for a group of Ph.D. students to discuss and explore their research interests and career objectives in an interdisciplinary workshop together with a panel of established researchers. The fifteen students accepted to participate in this program will also participate in the AAAI-11 Poster Session. All interested AAAI-11 student registrants are invited to observe the pre- sentations and participate in discussions at the workshop. AAAI and SIGART gratefully acknowledge grants from the National Science Foun- dation, Microsoft Research, and David E. Smith, which provide partial funding for this event.

Sunday, August 7 3:10 – 3:50 PM 1:10 – 2:10 PM Learning with Imprecise Classes, Rare Instances, Lunch 8:40 – 9:00 AM and Complex Relationships 2:10 – 2:50 PM Welcome and Introductions Seinath Ravindran (Mentor: David Aha) Joint Inference for Extracting Text Descriptors 9:00 – 9:40 AM 3:50 – 4:20 PM from Triage Images of Mass Disaster Victims Modeling the Effects of Emotion on Cognition Break Niyati Chhaya (Mentor: Bill Smart) Marc Sparagen (Mentor: Charles Isbell) 4:20 – 5:20 PM 2:50 – 3:30 PM 9:40 – 10:20 AM Panel The AC(C) Language: Integrating Answer Set Pro- Long-Term Declarative Memory for Generally In- Sven Koenig (additional panelists will be added) gramming and Constraint Logic Programming telligent Agents Forrest Bao (Mentor: Jeremy Frank) 7:00 PM Nate Derbinsky (Mentor: Dave Pynadath) Dinner 3:30 – 4:00 PM 10:20 – 10:50 AM Break/Survey Break Monday, August 8 4:00 – 4:40 PM 10:50 – 11:30 AM Model Update for Automated Planning Incentive-Compatible Trust Mechanisms 9:00 – 9:40 AM Maria Viviane de Menezes (Mentor: Jeremy Jens Witkowski (Mentor: Simon Parsons) A Probabilistic Trust and Reputation Model for Frank) Supply Chain Management 11:30 AM – 12:10 PM Yasaman Haghpanah (Mentor: Munindar Singh) 4:40 – 5:20 PM Scaling Up Game Theory: Achievable Set Methods Pruning Techniques in Search and Planning for Efficiently Solving Stochastic Games of Com- 9:40 – 10:20 AM Nir Pochter (Mentor: David Smith) plete and Incomplete Information Predicting Text Quality for Scientific Articles 5:20 – 5:30 PM Liam Mac Dermed (Mentor: Michael Bowling) Annie Louis (Mentor: Kiri Wagstaff) Farewell / Collection of Surveys 12:10 – 12:50 PM 10:20 – 10:50 AM Six Steps to a Successful Research Program Break Brad Clement 10:50 – 11:30 AM 12:50 – 1:50 PM Developing a Language for Spoken Programming Lunch Benjamin Gordon (Mentor: Kiri Wagstaff)

1:50 – 2:30 PM 11:30 AM – 12:10 PM Designing Water Efficient Residential Landscapes Learning Sensor, Space and Object Geometry with Agent-Based Modeling Jeremy Stober (Mentor: Rich Sutton) Rhonda Hoenigman (Mentor: Berthe Choueiry) 12:10 – 1:10 PM 2:30 – 3:10 PM Panel Ensemble Classification for Relational Domains Sonia Chernova, Matthew Taylor (additional pan- Hoda Eldardiry (Mentor: Amy McGovern) elists may be added)

8 SPECIAL MEETINGS AND DOCTORAL CONSORTIUM SCHEDULE AAAI 2011 Symposium on Educational Advances in AI (EAAI-11)

EAAI-11 provides a venue for researchers and educators to discuss peda- broadly. EAAI-11 features a technical program, a poster program as part of gogical issues and share resources related to teaching AI and using AI in ed- the conference-wide poster session on Wednesday evening, and a “Model ucation across a variety of curricular levels (K-12 through postgraduate AI” session highlighting innovative, ready-to-adopt materials. EAAI-11 is training), with a natural emphasis on undergraduate and graduate teaching included in the AAAI-11 technical registration fee, but an EAAI-11 only and learning. The symposium will explore how to more effectively teach registration option is also available. AI, as well as how themes from AI may be used to enhance education more

EAAI Schedule

The Symposium on Educational Advances in AI (EAAI-11) will be held in Garden B, Atrium Lobby Level.

Tuesday, August 9 Mastermind Course Project Marie desJardins and Tim Oates 11:30 AM – 12:30 PM Reinforcement Learning in a Generalized Mario Domain Opening Session Matthew Taylor Welcome Remarks Mehran Sahami, EAAI-11 Organizing Committee Wednesday, August 10 Invited Talk Rethinking Educational Impact: Topical Robotics for Social 10:20 AM – 11:20 AM Action Teaching and Mentoring Workshop I Illah Nourbakhsh (Carnegie Mellon University) Introduction and Keynote Lecture: Creating Classroom Engagement through Active Learning 1:50 PM – 2:50 PM Mehran Sahami (Stanford University) Teaching AI with Games Teaching Introductory Artificial Intelligence through Java-Based Games 11:30 AM – 12:30 PM Amy McGovern, Zachery Tidwell, and Derek Rushing Teaching and Mentoring Workshop II Active Learning Working Sessions Introducing Uninformed Search with Tangible Board Games Fred Martin 2:00 PM – 3:00 PM Teaching Reinforcement Learning with Mario: An Argument and Case Study Teaching and Mentoring Workshop III Matthew Taylor Presentations and Review

3:00 PM – 4:00 PM 3:00 PM – 4:00 PM AI and Education Teaching and Mentoring Workshop IV Science Fiction as an Introduction to AI Research Teaching Challenges in the Classroom Judy Goldsmith and Nicholas Mattei 4:20 – 5:20 PM Playing to Program: An Intelligent Programming Tutor for RUR-PLE (Poster CS2013: ACM/IEEE-CS Curriculum Revision Spotlight) Mehran Sahami (Stanford University) and Zachary Dodds (Harvey Mudd College) Marie desJardins, Amy Ciavolino, Robert Deloatch, and Eliana Feasley Lightning Talks 6:30 PM – 9:30 PM Open microphone presentations EAAI Poster Session (AAAI-11 Poster Reception) 4:20 PM – 5:20 PM Model AI Assignments Clue Deduction: An Introduction to Satisfiability Reasoning Todd Neller, Zdravko Markov, Ingrid Russell, and Dave Musicant

SYMPOSIUM ON EDUCATIONAL ADVANCES IN AI 9 SEACLIFF B, BAY LEVEL SEACLIFF C, BAY LEVEL SEACLIFF D, BAY LEVEL GARDEN A, LOBBY LEVEL

8:30 – 9:00 AM Grand Ballroom, Street Level AAAI-11/IAAI-11 Opening Ceremony Welcome and Opening Remarks Outstanding Award Presentations — Papers, SPC Member, PC Member Wolfram Burgard and Dan Roth, AAAI-11 Program Cochairs 8:30–10:00 AM

9:15 – 10:00 AM Grand Ballroom, Street Level AAAI-11 25th Conference Anniversary Panel Moderator: Manuela Veloso, AAAI President-Elect (Carnegie Mellon University) Panelists: Daniel Bobrow, Ronald J. Brachman, Edward Feigenbaum, Kenneth Forbus, Eric Horvitz, Henry Kautz, Edwina Rissland, David Waltz, Bonnie Webber (additional panelists may be added) 9:15–10:00 AM

Multi-Agent Systems 1 Social Networks 1 Mechanism Design 1 Description Logics 1 Constrained Coalition Formation Composite Social Network for Predicting Dominant-Strategy Auction Design for Revisiting Semantics for Epistemic Exten- Talal Rahwan, Tomasz Michalak, Edith Elkind, Pi- Mobile Apps Installation Agents with Uncertain, Private Values sions of Description Logics otr Faliszewski, Jacek Sroka, Michael Wooldridge, Wei Pan, Nadav Aharony, Alex (Sandy) Pentland David R. M. Thompson, Kevin Leyton-Brown Anees Mehdi, Sebastian Rudolph Nicholas R. Jennings Simulated Annealing Based Influence Maxi- Market Manipulation with Outside Incen- Integrating Rules and Description Logics by Computing an Extensive-Form Perfect mization in Social Networks tives Circumscription Equilibrium in Two-Player Games Qingye Jiang, Guojie Song, Gao Cong, Yu Wang, Yiling Chen, Xi Alice Gao, Rick Goldstein, Ian A. Qian Yang, Jia-Huai You, Zhiyong Feng Nicola Gatti, Claudio Iuliano Wenjun Si, Kunqing Xie Kash Conjunctive Query Inseparability of OWL Learning in Repeated Games with Minimal Co-Evolution of Selection and Influence in Incentive-Compatible Escrow Mechanisms 2QL TBoxes Information: The Effects of Learning Bias Social Networks Jens Witkowski, Sven Seuken, David C. Parkes B. Konev, R. Kontchakov, M. Ludwig, T. Schnei- Jacob W. Crandall, Asad Ahmed, Michael A. Yoon-Sik Cho, Greg Ver Steeg, Aram Galstyan der, F. Wolter, M. Zakharyaschev

11:30 AM–12:30 PM Goodrich

AAAI-11 Invited Talk Grand Ballroom, Street Level From Turn-Taking to Social Ties Karrie Karahalios (University of Illinois) 1:50–2:50 PM

Multiagent Systems 2 Natural Language Processing 1 Activity and Plan Recognition Classification 1 A Game-Theoretic Approach to Influence in WikiSimple: Automatic Simplification of Recognizing Plans with Loops Represented Across-Model Collective Ensemble Classifi- Networks Wikipedia Articles in a Lexicalized Grammar cation Mohammad T. Irfan, Luis E. Ortiz Kristian Woodsend, Mirella Lapata Christopher W. Geib, Robert P. Goldman Hoda Eldardiry, Jennifer Neville Commitment to Correlated Strategies Leveraging Wikipedia Characteristics for Unsupervised Learning of Human Be- Towards Maximizing the Area under the Vincent Conitzer, Dmytro Korzhyk Search and Candidate Generation in Ques- haviours ROC Curve for Multi-Class Classification tion Answering Sook-Ling Chua, Stephen Marsland, Hans W. Problems Refinement of Strong Stackelberg Equilibria Jennifer Chu-Carroll, James Fan Guesgen Ke Tang, Rui Wang, Tianshi Chen in Security Games Bo An, Milind Tambe, Fernando Ordonez, Eric Grammatical Error Detection for Corrective PGAI: Balancing Safety and Exploitability in Adaptive Large Margin Training for Multil- Shieh, Christopher Kiekintveld Feedback Provision in Oral Conversations Opponent Modeling abel Classification 3:00–4:00 PM Sungjin Lee, Hyungjong Noh, Kyusong Lee, Gary Zhikun Wang, Abdeslam Boularias, Katharina Yuhong Guo, Dale Schuurmans Geunbae Lee Mülling, Jan Peters

Computational Social Choice 1 Natural Language Processing 2 Mechanism Design 2 Computational Sustainability 1: Energy and Natural Resources Campaign Management under Approval- Enhancing Semantic Role Labeling for Efficiency and Privacy Tradeoffs in Mecha- Driven Voting Rules Tweets Using Self-Training nism Design Stochastic Model Predictive Controller for Ildikó Schlotter, Piotr Faliszewski, Edith Elkind Xiaohua Liu, Kuan Li, Ming Zhou, Zhongyang Xin Sui, Craig Boutilier the Integration of Building Use and Tem- Xiong perature Regulation Optimal Envy-Free Cake Cutting On Expressing Value Externalities in Posi- Alie El-Din Mady, Gregory M. Provan, Conor Yuga J. Cohler, John K. Lai, David C. Parkes, Ariel Learning to Interpret Natural Language tion Auctions Ryan, Kenneth N. Brown D. Procaccia Navigation Instructions from Observations Florin Constantin, Malvika Rao, Chien-Chung David L. Chen, Raymond J. Mooney Huang, David C. Parkes Linear Dynamic Programs for Resource Dominating Manipulations in Voting with Management Partial Information Analogical Dialogue Acts: Supporting VCG Redistribution with Gross Substitutes Marek Petrik, Shlomo Zilberstein

4:20–5:20 PM Vincent Conitzer, Toby Walsh, Lirong Xia Learning by Reading Analogies in Instruc- Mingyu Guo tional Texts Hybrid Planning with Temporally Extended David M. Barbella, Kenneth D. Forbus Goals for Sustainable Ocean Observing Hui Li, Brian Williams

Coffee breaks will be held at 10:00 – 10:20 AM and 4:00 – 4:20 PM. The lunch break will be held from 12:30 – 1:50 PM.

Student Reception, 5:45–6:45 PM, Seacliff Foyer, Bay Level / IAAI Google Lab Tour (preregistration required) 6:30–9:30 PM EVENING

10 CONFERENCE SCHEDULE—TUESDAY AUGUST 9 GOLDEN GATE, BAY LEVEL MARINA ROOM , BAY LEVEL BAYVIEW A, BAY LEVEL BAYVIEW B, BAY LEVEL

Grand Ballroom, Street Level IAAI Welcome, Robert S. Engelmore Award, Deployed Application Award Announcements Daniel Shapiro, IAAI-11 Conference Chair, Markus Fromherz, IAAI-11 Program Cochair, and David Leake, AI Magazine Editor-in-Chief Fellows Announcement, Senior Member Recognition, Feigenbaum Prize, AAAI Classic Paper Award, Distinguished Service Award Eric Horvitz, AAAI Past President and Awards Committee Chair; Henry Kautz, AAAI President

10:20 – 11:20 AM Grand Ballroom, Street Level IAAI-11/AAAI-11 Joint Invited Talk Building Watson: An Overview of DeepQA for the Jeopardy! Challenge David Ferrucci (IBM T J Watson Research Center) 10:20–11:20 AM 8:30–10:00 AM

Relational Probabilistic Models A* Search Machine Learning 1 IAAI: Knowledge Access 1 (News Finding) Abductive Markov Logic for Plan Recogni- Block A*: Database-Driven Search with Ap- Nectar: Quantity Makes Quality: Learning tion plications in Any-Angle Path-Planning with Partial Views Deployed: NewsFinder: Automating an Arti- Parag Singla, Raymond J. Mooney Peter Yap, Neil Burch, Rob Holte, Jonathan Scha- Nicolò Cesa-Bianchi, Shai Shalev-Shwartz, Ohad ficial Intelligence News Service effer Shamir Liang Dong, Reid G. Smith, Bruce Buchanan Markov Logic Sets: Towards Lifted Informa- tion Retrieval Using PageRank and Label Optimal Graph Search with Iterated Graph Symmetric Graph Regularized Constraint Deployed: The News that Matters to You De- Propagation Cuts Propagation sign and Deployment of a Personalized Marion Neumann, Babak Ahmadi, Kristian Kerst- David Burkett, David Hall, Dan Klein Zhenyong Fu, Zhiwu Lu, Horace H. S. Ip, Yuxin News Service ing Peng, Hongtao Lu Mark J. Stefik, Lance Good ANA*: Anytime Nonparametric A* Coarse-to-Fine Inference and Learning for Jur van den Berg, Rajat Shah, Arthur Huang, Ken Improving Semi-Supervised Support Vector First-Order Probabilistic Models Goldberg Machines through Unlabeled Instances Se-

11:30 AM–12:30 PM Chloé Kiddon, Pedro Domingos lection Yu-Feng Li, Zhi-Hua Zhou

IAAI: Planning and Search 1 (Military Operations) Hybrid Qualitative Simulation of Military Operations Thomas Hinrichs, Kenneth Forbus, Johan de Kleer, Sungwook Yoon, Eric Jones, Robert Hyland, Jason Wilson Deployed: Learning by Demonstration Tech- nology for Military Planning and Decision Making: A Deployment Story 1:50-2:50 PM Karen Myers, Jake Kolojejchick, Carl Angiolillo, Tim Cummings, Tom Garvey, Melinda Gervasio, Will Haines, Chris Jones, Janette Knittel, David Morley, William Ommert, Scott Potter

Graphical Models Search 1 Knowledge Representation and IAAI: Intelligence Analysis Reasoning 1 Pushing the Power of Stochastic Greedy Or- Optimal Packing of High-Precision Rectan- Abductive Inference for Combat: Using dering Schemes for Inference in Graphical gles A Modular Consistency Proof for DOLCE SCARE-S2 to Find High-Value Targets in Models Eric Huang, Richard E. Korf Oliver Kutz, Till Mossakowski Afghanistan Kalev Kask, Andrew Gelfand, Lars Otten, Rina Paulo Shakarian, Margo K. Nagel, Brittany E. Dechter Intrinsic Chess Ratings Relational Blocking for Causal Discovery Schuetzle, V. S. Subrahmanian Kenneth W. Regan, Guy McC. Haworth Matthew J. H. Rattigan, Marc Maier, David Jensen Stopping Rules for Randomized Greedy Tri- Monitoring Entities in an Uncertain World: angulation Schemes Euclidean Heuristic Optimization A Semantical Account of Progression in the Entity Resolution and Referential Integrity Andrew E. Gelfand, Kalev Kask, Rina Dechter Chris Rayner, Michael Bowling, Nathan Sturtevant Presence of Uncertainty Steven N. Minton, Sofus A. Macskassy, Peter LaM- Vaishak Belle, Gerhard Lakemeyer onica, Kane See, Craig A. Knoblock, Greg Barish, Nectar: Global Seismic Monitoring: A 3:00–4:00 PM Matthew Michelson, Raymond Liuzzi Bayesian Approach Nimar S. Arora, Stuart Russell, Paul Kidwell, Erik Sudderth

Sparse Methods Search 2 Knowledge Representation and IAAI: Security and Privacy Reasoning 2 Sparse Matrix-Variate t Process Inner Regions and Interval Linearizations A Machine Learning Based System for Semi- Blockmodels for Global Optimization Causal Theories of Actions Revisited Automatically Redacting Documents Zenglin Xu, Feng Yan, Yuan Qi Gilles Trombettoni, Ignacio Araya, Bertrand Fangzhen Lin, Mikhail Soutchanski Chad Cumby, Rayid Ghani Neveu, Gilles Chabert Sparse Group Restricted Boltzmann Ma- Preferred Explanations: Theory and Genera- Testing Cyber Security with Simulated Hu- chines Optimal Route Planning for Electric Vehi- tion via Planning mans Heng Luo, Ruimin Shen, Changyong Niu, Carsten cles in Large Networks Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith Jim Blythe, Aaron Botello, Joseph Sutton, David Ullrich Jochen Eisner, Stefan Funke, Sabine Storandt Mazzoco, Jerry Lin, Marc Spraragen, Michael Zy- Transportability of Causal and Statistical da Efficiently Learning a Distance Metric for Succinct Set-Encoding for State-Space Relations: A Formal Approach Large Margin Nearest Neighbor Classifica- Search Judea Pearl, Elias Bareinboim 4:20–5:20 PM tion Tim Schmidt, Rong Zhou Kyoungup Park, Chunhua Shen, Zhihui Hao, Ju- nae Kim

Coffee breaks will be held at 10:00 – 10:20 AM and 4:00 – 4:20 PM. The lunch break will be held from 12:30 – 1:50 PM.

Student Reception, 5:45–6:45 PM, Seacliff Foyer, Bay Level / IAAI Google Lab Tour (preregistration required) 6:30–9:30 PM

CONFERENCE SCHEDULE—TUESDAY, AUGUST 9 11 SEACLIFF B, BAY LEVEL SEACLIFF C, BAY LEVEL SEACLIFF D, BAY LEVEL GARDEN A, LOBBY LEVEL

AAAI-11 Invited Talk Grand Ballroom, Street Level Registration and Recognition for Robotics Kurt Konolige (Willow Garage, Inc and Stanford University)

Computational Social Choice 2 Natural Language Processing 3 Multi-Agent Systems 3 Computational Sustainability 2: Eco- nomics, Society & Sustainability Impacts Outstanding Paper Identifying Evaluative Sentences in Online Branch and Price for Multi-Agent Plan Complexity of and Algorithms for Borda Discussions Recognition Verifying Intervention Policies to Counter Manipulation Zhongwu Zhai, Bing Liu, Lei Zhang, Hua Xu, Peifa Bikramjit Banerjee, Landon Kraemer Infection Propagation over Networks … Jessica Davies, George Katsirelos, Nina Narodyts- Jia Ganesh Ram Santhanam, Yuly Suvorov, Samik Strategic Information Disclosure to People Basu, Vasant Honavar ka, Toby Walsh Partially Supervised Text Classification with with Multiple Alternatives Manipulation of Nanson’s and Baldwin’s Multi-Level Examples Amos Azaria, Zinovi Rabinovich, Sarit Kraus, Discovering Life Cycle Assessment Trees Rules Tao Liu, Xiaoyong Du, Minghui Li, Yongdong Xu, Claudia V. Goldman from Impact Factor Databases Nina Narodytska, Toby Walsh, Lirong Xia Xiaolong Wang N. Sundaravaradan, D. Patnaik, N. Ramakrish- Coordinated Multi-Agent Reinforcement nan, M. Marwah, A. Shah How to Calibrate the Scores of Biased Re- Exploiting Phase Transition in Latent Net- Learning in Networked Distributed works for Clustering POMDPs Modeling and Monitoring Crop Disease in 10:20–11:20 AMviewers 9:00–10:00 AM by Quadratic Programming Magnus Roos, Jörg Rothe, Björn Scheuermann Vahed Qazvinian, Dragomir R. Radev Chongjie Zhang, Victor Lesser Developing Countries John Quinn, Kevin Leyton-Brown, Ernest Mwebaze

Multi-Agent Systems 4 Natural Language Processing 4 Cost-Sensitive Planning Description Logics 2 A Kernel-Based Iterative Combinatorial Tree Sequence Kernel for Natural Language Planning in Domains with Cost Function A Closer Look at the Probabilistic Auction Jun Sun, Min Zhang, Chew Lim Tan Dependent Actions Description Logic Prob-EL Sébastien Lahaie Mike Phillips, Maxim Likhachev Víctor Gutiérrez-Basulto, Jean Christoph Jung, A Simple and Effective Unsupervised Word Carsten Lutz, Lutz Schröder Mechanism Design for Federated Sponsored Segmentation Approach Heuristic Search for Large Problems with Search Auctions Songjian Chen, Yabo Xu, Huiyou Chang Real Costs Two-Dimensional Description Logics for Sofia Ceppi, Nicola Gatti, Enrico H. Gerding Matthew Hatem, Ethan Burns, Wheeler Ruml Context-Based Semantic Interoperability Lossy Conservative Update (LCU) Sketch: Szymon Klarman, Víctor Gutiérrez-Basulto M-Unit EigenAnt: An Ant Algorithm to Succinct Approximate Count Storage Improving Cost-Optimal Domain-Indepen- Find the M Best Solutions Amit Goyal, Hal Daumé III dent Symbolic Planning Adding Default Attributes to EL++ Sameena Shah, Jayadeva, Ravi Kothari, Suresh Peter Kissmann, Stefan Edelkamp Piero A. Bonatti, Marco Faella, Luigi Sauro Chandra 11:30 AM–12:30 PM

AAAI-11 Invited Talk Grand Ballroom, Street Level Strategic Intelligence in Social Networks Michael Kearns (University of Pennsylvania) 1:50–2:50 PM

Multi-Agent Systems 5 Natural Language Processing 5 Reasoning about Plans 1 Knowledge and Text Comparing Agents’ Success against People Semantic Relatedness Using Salient Seman- On Improving Conformant Planners by An- II: Cross Media Entity Extraction and Link- in Security Domains tic Analysis alyzing Domain-Structures age for Chemical Documents R. Lin, S. Kraus, N. Agmon, S. Barrett, P. Stone Samer Hassan, Rada Mihalcea Khoi Nguyen, Vien Tran, Tran Cao Son, Enrico Su Yan, W. Scott Spangler, Ying Chen Pontelli Parameterized Complexity of Problems in Using Semantic Cues to Learn Syntax AIW: SemRec: A Semantic Enhancement Coalitional Resource Games Tahira Naseem, Regina Barzilay A Switching Planner for Combined Task Framework for Tag Based Recommendation Rajesh Chitnis, MohammadTaghi Hajiaghayi, and Observation Planning Guandong Xu, Yanhui Gu, Peter Dolog, Yanchun Vahid Liaghat Integrating Clustering and Multi-Document Moritz Göbelbecker, Charles Gretton, Richard Zhang, Masaru Kitsuregawa Summarization by Bi-Mixture Probabilistic Dearden A Distributed Anytime Algorithm for Dy- Latent Semantic Analysis (PLSA) with Sen- AIW: Creative Introspection and Knowledge namic Task Allocation in Multi-Agent Sys- tence Bases A POMDP Model of Eye-Hand Coordina- Acquisition: Learning about the World 3:00–4:00 PM tems Chao Shen, Tao Li, Chris H. Q. Ding tion through Introspective Questions and Ex- Kathryn S. Macarthur, Ruben Stranders, Sarvapali Tom Erez, Julian J. Tramper, William D. Smart, ploratory Metaphors D. Ramchurn, Nicholas R. Jennings Stan C. A. M. Gielen Tony Veale, Guofu Li

Computational Sustainability 3: Energy Reinforcement Learning 1 Reasoning about Plans 2 Perception and Autonomous Traffic Management Tracking User-Preference Varying Speed in Planning for Operational Control Systems PGAI: DISCO: Describing Images Using Efficient Energy-Optimal Routing for Elec- Collaborative Filtering with Predictable Exogenous Events Scene Contexts and Objects tric Vehicles Ruijiang Li, Bin Li, Cheng Jin, Xiangyang Xue, Ronen I. Brafman, Carmel Domshlak, Yagil Engel, Ifeoma Nwogu, Yingbo Zhou, Christopher Brown Martin Sachenbacher, Martin Leucker, Andreas Xingquan Zhu Zohar Feldman Artmeier, Julian Haselmayr PGAI: A Scalable Tree-Based Approach for An Online Spectral Learning Algorithm for Extending Classical Planning Heuristics to Joint Object and Pose Recognition Enforcing Liveness in Autonomous Traffic Partially Observable Nonlinear Dynamical Probabilistic Planning with Dead-Ends Kevin Lai, Liefeng Bo, Xiaofeng Ren, Dieter Fox Management Systems Florent Teichteil-Königsbuch, Vincent Vidal, Guil- Tsz-Chiu Au, Neda Shahidi, Peter Stone Byron Boots, Geoffrey J. Gordon laume Infantes PGAI: Recognizing Text through Sound Alone 4:20–5:20 PM Green Driver: AI in a Microcosm Non-Parametric Approximate Linear Pro- Exploiting Path Refinement Abstraction in Wenzhe Li, Tracy Hammond J. Apple, P. Chang, A. Clauson, H. Dixon, H. gramming for MDPs Domain Transition Graphs Fakhoury, M. Ginsberg, E. Keenan, A. Leighton, Jason Pazis, Ronald Parr Peter Gregory, Derek Long, Craig McNulty, Su- K. Scavezze, B. Smith sanne Murphy

Coffee breaks will be held at 10:00 – 10:20 AM and 4:00 – 4:20 PM. The lunch break will be held from 12:30 – 1:50 PM.

Poster Reception, 6:30–9:30 PM, GRAND BALLROOM, STREET LEVEL (see page 17) EVENING

12 CONFERENCE SCHEDULE—WEDNESDAY, AUGUST 10 GOLDEN GATE, BAY LEVEL MARINA ROOM, BAY LEVEL BAYVIEW A, BAY LEVEL BAYVIEW B, BAY LEVEL

IAAI: Machine Learning 1 Deployed: Machine Learning and Sensor … N. Vyas, J. Farringdon, D. Andre, J. Stivoric Detecting Falls with Location Sensors… M. Lustrek, H. Gjoreski, S. Kozina, B. Cvetkovic, V. Mirchevska, M. Gams

Learning Preferences and Social Recom- Search 3 Knowledge Representation and IAAI-11 Invited Talk: Robert S. Engel- mendations Reasoning 3 more Memorial Award Lecture: A Novel Technique for Avoiding Plateaus of Social Recommendation Using Low-Rank Greedy Best-First Search in Satisficing Plan- Spectrum-Based Sequential Diagnosis Playing with Cases: Rendering Expressive Semidefinite Program ning Alberto Gonzalez-Sanchez, Rui Abreu, Hans-Ger- Music Performance with Case-Based Rea- Jianke Zhu, Hao Ma, Chun Chen, Jiajun Bu Tatsuya Imai, Akihiro Kishimoto hard Gross, Arjan J. C. van Gemund soning Ramon Lopez de Mantaras (Artificial Intelligence Collaborative Users’ Brand Preference Min- The Compressed Differential Heuristic The Epistemic Logic Behind the Game De- Research Institute (IIIA) and Spanish National Re- ing across Multiple Domains from Implicit Meir Goldenberg, Nathan Sturtevant, Ariel Felner, scription Language search Council (CSIC)) Feedbacks Jonathan Schaeffer Ji Ruan, Michael Thielscher Jian Tang, Jun Yan, Lei Ji, Ming Zhang, Shaodan Guo, Ning Liu, Xianfang Wang, Zheng Chen Nectar: The Next Best Solution Higher-Order Description Logics for Do- R. Brafman, E. Pilotto, F. Rossi, D. Salvagnin, K. main Metamodeling Scaling Up Reinforcement Learning through B. Venable, T. Walsh Giuseppe De Giacomo, Maurizio Lenzerini, Ric- 10:20–11:20 AM 9:00–10:00 AM Targeted Exploration cardo Rosati Timothy A. Mann, Yoonsuck Choe

Density Ratio Estimation and Manifolds Game-Theoretic Solution Techniques Reasoning and Planning and the Web IAAI: Machine Learning 2 Direct Density-Ratio Estimation with Di- Automated Action Abstraction of Imperfect AIW: Continual Planning with Sensing for Emerging Applications for Intelligent Dia- mensionality Reduction via Hetero-Distri- Information Extensive-Form Games Web Service Composition betes Management butional Subspace Analysis John Hawkin, Robert Holte, Duane Szafron Eirini Kaldeli, Alexander Lazovik, Marco Aiello Cindy Marling, Matthew Wiley, Razvan Bunescu, Makoto Yamada, Masashi Sugiyama Jay Shubrook, Frank Schwartz Risk-Averse Strategies for Security Games AIW: Towards Large-Scale Collaborative A Generalised Solution to the Out-of-Sam- with Execution and Observational Uncer- Planning: Answering High-Level Search Learning a Skill-Teaching Curriculum with ple Extension Problem in Manifold Learn- tainty Queries Using Human Computation Dynamic Bayes Nets ing Zhengyu Yin, Manish Jain, Milind Tambe, Fernan- Edith Law, Haoqi Zhang Derek T. Green, Thomas J. Walsh, Paul R. Cohen Harry Strange, Reyer Zwiggelaar do Ordóñez AIW: Temporal Dynamics of User Interests Ordinal Regression via Manifold Learning Quick Polytope Approximation of all Corre- in Tagging Systems Yang Liu, Yan Liu, Keith C. C. Chan lated Equilibria in Stochastic Games Dawei Yin, Liangjie Hong, Zhenzhen Xue, Brian

11:30 AM–12:30 PM Liam MacDermed, Karthik S. Narayan, Charles L. D. Davison Isbell, Lora Weiss

IAAI: Natural Language Automatically Mapping Natural Language Requirements to Domain-Specific Process Models Uthayashankar Thayasivam, Kunal Verma, Alex Kass, Reymonrod Vasquez The Stock Sonar — Sentiment Analysis of Stocks Based on a Hybrid Approach Ronen Feldman, Benjamin Rosenfeld, Roy Bar- Haim, Moshe Fresko 1:50-2:50 PM

Matrix Approximation, Completion, and Social Networks 2 Knowledge Representation and IAAI: Data Mining Factorization Reasoning 4 Item-Level Social Influence Prediction with Accelerating the Discovery of Data Quality Multi-Level Cluster Indicator Decomposi- Probabilistic Hybrid Factor Matrix Factor- Trajectory Regression on Road Networks Rules: A Case Study tions of Matrices and Tensors ization Tsuyoshi Idé, Masashi Sugiyama Peter Z. Yeh, Colin A. Puri, Mark Wagman, Ajay Dijun Luo, Chris Ding, Heng Huang Peng Cui, Fei Wang, Shiqiang Yang, Lifeng Sun K. Easo Learning from Spatial Overlap A Fast Spectral Relaxation Approach to Ma- AIW: Trust Transitivity in Complex Social Michael H. Coen, M. Hidayath Ansari, Nathanael Modeling Player Retention in Madden NFL trix Completion via Kronecker Products Networks Fillmore 11 Hui Zhao, Jiuqiang Han, Naiyan Wang, Congfu Guanfeng Liu, Yan Wang, Mehmet A. Orgun Ben G. Weber, Michael John, Michael Mateas, Ar- Xu, Zhihua Zhang Language Splitting and Relevance-Based Be- nav Jhala AIW: Identifying Missing Node Information lief Change in Horn Logic Towards Evolutionary Nonnegative Matrix in Social Networks Maonian Wu, Dongmo Zhang, Mingyi Zhang 3:00–4:00 PM Factorization Ron Eyal, Sarit Kraus, Avi Rosenfeld Fei Wang, Hanghang Tong, Ching-Yung Lin

Constraints 1 Search Engines & Question Answering 1 Knowledge Representation and IAAI: Planning and Search 2 Reasoning 5 Core-Guided Binary Search Algorithms for AIW: A Whole Page Click Model to Better Designing Resilient Long-Reach Passive Op- Maximum Satisfiability Interpret Search Engine Click Data Progression Semantics for Disjunctive Logic tical Networks Federico Heras, Antonio Morgado, Joao Marques- Weizhu Chen, Zhanglong Ji, Si Shen, Qiang Yang Programs Deepak Mehta, Barry O’Sullivan, Luis Quesada, Silva Yi Zhou, Yan Zhang Marco Ruffini, David Payne, Linda Doyle AIW: Artificial Intelligence for Artificial Ar- Solving Difficult CSPs with Relational tificial Intelligence An Algebraic Prolog for Reasoning about Online Planning to Control a Packaging In- Neighborhood Inverse Consistency Peng Dai, Mausam, Daniel S. Weld Possible Worlds feed System Robert J. Woodward, Shant Karakashian, Berthe Angelika Kimmig, Guy Van den Broeck, Luc De Minh Do, Lawrence Lee, Rong Zhou, Lara Craw- Y. Choueiry, Christian Bessiere AIW: Fast Query Recommendation by Raedt ford, Serdar Uckun Search 4:20–5:20 PM Extensible Automated Constraint Modelling Qixia Jiang, Maosong Sun Bounded Forgetting Ozgur Akgun, Ian Miguel, Chris Jefferson, Alan M. Yi Zhou, Yan Zhang Frisch, Brahim Hnich

Coffee breaks will be held at 10:00 – 10:20 AM and 4:00 – 4:20 PM. The lunch break will be held from 12:30 – 1:50 PM.

Poster Reception, 6:30–9:30 PM, GRAND BALLROOM, STREET LEVEL (see page 17) EVENING

CONFERENCE SCHEDULE—WEDNESDAY, AUGUST 10 13 SEACLIFF B, BAY LEVEL SEACLIFF C, BAY LEVEL SEACLIFF D, BAY LEVEL GARDEN A, LOBBY LEVEL

AAAI-11 Invited Talk Grand Ballroom, Street Level Towards Artificial Systems: What Can We Learn from Human Perception? Heinrich H. Buelthoff (Max Planck Institute for Biological Cybernetics)

Computational Sustainability 4: Conser- Reinforcement Learning 2 Reasoning about Plans 3 Knowledge Based Information Systems vation Planning Differential Eligibility Vectors for Advantage Nectar: Termination and Correctness Analy- Deriving a Web-Scale Common Sense Fact Outstanding Paper: Dynamic Resource Allo- Updating and Gradient Methods sis of Cyclic Control Database cation in Conservation Planning Francisco S. Melo Siddharth Srivastava, Neil Immerman, Shlomo Niket Tandon, Gerard de Melo, Gerhard Weikum Daniel Golovin, Andreas Krause, Beth Gardner, Zilberstein Sarah J. Converse, Steve Morey Basis Function Discovery Using Spectral AIW: Commonsense Causal Reasoning Us- Clustering and Bisimulation Metrics Qualitative Numeric Planning ing Millions of Personal Stories Policy Gradient Planning for Environmental Gheorghe Comanici, Doina Precup Siddharth Srivastava, Shlomo Zilberstein, Neil Im- Andrew S. Gordon, Cosmin Adrian Bejan, Kenji Decision Making with Existing Simulators merman, Hector Geffner Sagae Mark Crowley, David Poole Value Function Approximation in Rein- forcement Learning Using the Fourier Basis Conjunctive Representations in Contingent COSTRIAGE: A Cost-Aware Triage Algo- The Steiner Multigraph Problem: Wildlife George Konidaris, Sarah Osentoski, Philip Thomas Planning: Prime Implicates versus Minimal rithm for Bug Reporting Systems

10:20–11:20 AMCorridor 9:00–10:00 AM Design for Multiple Species CNF Formula Jin-woo Park, Mu-Woong Lee, Jinhan Kim, Seung- Katherine Lai, Carla Gomes, Michael Schwartz, Son Thanh To, Tran Cao Son, Enrico Pontelli won Hwang, Sunghun Kim Kevin McKelvey, David Calkin, C. Montgomery

Computational Sustainability 5: Smart Machine Learning 2 Reasoning about Plans 4 Transfer Learning Grid & Buildings Mean Field Inference in Dependency Net- Nectar: Planning with Specialized SAT Selective Transfer between Learning Tasks Learned Behaviors of Multiple Autonomous works: An Empirical Study Solvers Using Task-Based Boosting Agents in Smart Grid Markets Daniel Lowd, Arash Shamaei Jussi Rintanen Eric Eaton, Marie desJardins Prashant P. Reddy, Manuela M. Veloso Efficient Subspace Segmentation via Exploiting Problem Symmetries in State- Transfer Learning by Structural Analogy Decentralised Control of Micro-Storage in Quadratic Programming Based Planners Huayan Wang, Qiang Yang the Smart Grid Shusen Wang, Xiaotong Yuan, Tiansheng Yao, Nir Pochter, Aviv Zohar, Jeffrey S. Rosenschein Thomas D. Voice, Perukrishnen Vytelingum, Sar- Shuicheng Yan, Jialie Shen Heterogeneous Transfer Learning with vapali D. Ramchurn, Alex Rogers, Nicholas R. Jen- PGAI: Self-Aware Traffic Route Planning RBMs nings Automatic Group Sparse Coding David Wilkie, Jur van den Berg, Ming Lin, Dinesh Bin Wei, Christopher Pal Fei Wang, Noah Lee, Jimeng Sun, Jianying Hu, Manocha A Large-Scale Study on Predicting and Con- Shahram Ebadollahi

11:30 AM–12:30 PM textualizing Building Energy Usage J. Zico Kolter, Joseph Ferreira Jr.

Computational Sustainability 6: Natural Multitask Learning Nectar: RL Classification 2 Resources and Ecosystems Multi-Task Learning in Square Integrable A POMDP-Based Optimal Control of P300- A Nonparametric Bayesian Model of Multi- Logistic Methods for Resource Selection Space Based Brain-Computer Interfaces Level Category Learning Functions and Presence-Only Species Dis- Wei Wu, Hang Li, Yunhua Hu, Rong Jin Jaeyoung Park, Kee-Eung Kim, Yoon-Kyu Song Kevin R. Canini, Thomas L. Griffiths tribution Models Steven J. Phillips, Jane Elith Multi-Task Learning in Heterogeneous Fea- Design and Analysis of Value Creation Net- Convex Sparse Coding, Subspace Learning, ture Spaces works and Semi-Supervised Extensions Water Conservation through Facilitation on Yu Zhang, Dit-Yan Yeung S. Kameshwaran, Sameep Mehta, Vinayaka Pandit Xinhua Zhang, Yaoliang Yu, Martha White, Residential Landscapes Ruitong Huang, Dale Schuurmans Rhonda Hoenigman, Elizabeth Bradley, Nichole Learning Structured Embeddings of Knowl- Recommendation Sets and Choice Queries: Barger edge Bases There Is No Exploration/Exploitation Learning Instance Specific Distance for

1:50-2:50 PM Antoine Bordes, Jason Weston, Ronan Collobert, Tradeoff! Multi-Instance Classification Incorporating Boosted Regression Trees into Yoshua Bengio Paolo Viappiani, Craig Boutilier Hua Wang, Feiping Nie, Heng Huang Ecological Latent Variable Models R. Hutchinson, L.-P. Liu, T. Dietterich

Cognitive Modeling Reasoning under Uncertainty 1 Integrated Intelligence Clustering 1 The Influence of Emotion Expression on Memory-Efficient Dynamic Programming Cognitive Synergy between Procedural and Large Scale Spectral Clustering with Perceptions of Trustworthiness in Negotia- for Learning Optimal Bayesian Networks Declarative Learning in the Control of Ani- Landmark-Based Representation tion Brandon Malone, Changhe Yuan, Eric A. Hansen mated and Robotic Agents … Xinlei Chen, Deng Cai Dimitrios Antos, Celso De Melo, Jonathan Gratch, B. Goertzel, J. Pitt, J. Wigmore, N. Geisweiller, Z. Barbara Grosz Dual Decomposition for Marginal Inference Cai, R. Lian, D. Huang, G. Yu Localized K-Flats Justin Domke Yong Wang, Yuan Jiang, Yi Wu, Zhi-Hua Zhou Co-Training as a Human Collaboration Pol- Contextually-Based Utility: An Appraisal- icy Efficient Methods for Lifted Inference with Based Approach at Modeling Framing and Learning a Kernel for Multi-Task Clustering Xiaojin Zhu, Bryan R. Gibson, Timothy T. Rogers Aggregate Factors Decisions Quanquan Gu, Zhenhui Li, Jiawei Han Jaesik Choi, Rodrigo de Salvo Braz, Hung H. Bui Jonathan Ito, Stacy Marsella Human Spatial Relational Reasoning: Pro- 3:00–4:00 PM cessing Demands, Representations, and Combining Learned Discrete and Continu- Cognitive Model ous Action Models Marco Ragni, Sven Brüssow Joseph Z. Xu, John E. Laird

Multidisciplinary Topics Reasoning under Uncertainty 2 Ranking Ontologies Social Relations Model for Collaborative Fil- Utilizing Partial Policies for Identifying AIW: CCRank: Parallel Learning to Rank Nectar: New Expressive Languages for On- tering Equivalence of Behavioral Models with Cooperative Coevolution tological Query Answering Wu-Jun Li, Dit-Yan Yeung Yifeng Zeng, Prashant Doshi, Yinghui Pan, Hua S. Wang, B. Gao, K. Wang, H. Lauw Andrea Calì, Georg Gottlob, Andreas Pieris Mao, Muthukumaran Chandrasekaran, Jian Luo A Functional Analysis of Historical Memory AIW: Maximum Entropy Context Models Finding Answers and Generating Explana- Retrieval Bias in the Word Sense Disam- When to Stop? That Is the Question for Ranking Biographical Answers to Open- tions for Complex Biomedical Queries biguation Task Shulamit Reches, Meir Kalech, Rami Stern Domain Definition Questions Esra Erdem, Yelda Erdem, Halit Erdogan, Umut Nate Derbinsky, John E. Laird Alejandro Figueroa, John Atkinson Oztok Fast Parallel and Adaptive Updates for Du- Nectar: Two Visual Strategies for Solving al-Decomposition Solvers AIW: Transfer Learning for Multiple-Domain AIW: Towards Practical ABox Abduction in the Raven’s Progressive Matrices Intelli- Özgür Sümer, Umut A. Acar, Alexander T. Ihler, Sentiment Analysis — Identifying Domain Large OWL DL Ontologies 4:20–5:20 PM gence Test Ramgopal R. Mettu Dependent/Independent Word Polarity Jianfeng Du, Guilin Qi, Yi-Dong Shen, Jeff Z. Pan Maithilee Kunda, Keith McGreggor, Ashok Goel Yasuhisa Yoshida, Tsutomu Hirao, Tomoharu Iwa- ta, Masaaki Nagata, Yuji Matsumoto

Coffee breaks will be held at 10:00 – 10:20 AM and 4:00 – 4:20 PM. The lunch break will be held from 12:30 – 1:50 PM.

14 CONFERENCE SCHEDULE—THURSDAY, AUGUST 11 GOLDEN GATE, BAY LEVEL MARINA ROOM, BAY LEVEL BAYVIEW A, BAY LEVEL BAYVIEW B, BAY LEVEL

IAAI: Knowledge Access 2 (9:30 AM) Deployed: The Glass Infrastructure: Using Common Sense to Create a Dynamic, Place-Based Social Information System C. Havasi, R. Borovoy, B. Kizelshteyn, P. Ypodi- matopoulos, J. Ferguson, H. Holtzman, A. Lipp- man, D. Schultz, M. Blackshaw, G. Elliott, C. Ng

Constraints 2 Search Engines & Question Answering 2 Robotics 1 IAAI-11 Invited Talk Distributed Constraint Optimization under AIW: Learning to Suggest Questions in On- PGAI: Autonomous Skill Acquisition on a HaloBook and Progress Towards Digital Stochastic Uncertainty line Forums Mobile Manipulator Aristotle Thomas Léauté, Boi Faltings Tom Chao Zhou, Chin-Yew Lin, Irwin King, George Konidaris, Scott Kuindersma, Roderic Gru- David Gunning (Vulcan Inc.) Michael R. Lyu, Young-In Song, Yunbo Cao pen, Andrew Barto A Comparison of Lex Bounds for Multiset Variables in Constraint Programming AIW: Integrating Community Question and PGAI: Understanding Natural Language Y. C. Law, J. H. M. Lee, M. H. C. Woo, T. Walsh Answer Archives Commands for Robotic Navigation and Mo- Wei Wei, Gao Cong, Xiaoli Li, See-Kiong Ng, bile Manipulation Limits of Preprocessing Guohui Li S. Tellex, T. Kollar, S. Dickerson, M. Walter, A. Stefan Szeider Banerjee, S. Teller, N. Roy AIW: Analyzing and Predicting Not-An-

10:20–11:20 AM 9:30–10:00 AM swered Questions … PGAI: Multi-Observation Sensor Resetting Lichun Yang, Shenghua Bao, Qingliang Lin, Xian Localization with Ambiguous Landmarks Wu, Dingyi Han, Zhong Su, Yong Yu Brian Coltin, Manuela Veloso

Constraints 3 Multilingual Web Robotics 2 A General Nogood-Learning Framework for AIW: Generating True Relevance Labels in Online Graph Pruning for Pathfinding on Pseudo-Boolean Multi-Valued SAT Chinese Search Engine Using Clickthrough Grid Maps Siddhartha Jain, Ashish Sabharwal, Meinolf Sell- Data Daniel Harabor, Alban Grastien mann Hengjie Song, Chunyan Miao, Zhiqi Shen Learning Dimensional Descent for Optimal On the Complexity of BDDs for State Space AIW: Detecting Multilingual and Multi-Re- Motion Planning in High-Dimensional Search: A Case Study in Connect Four gional Query Intent in Web Search Spaces Stefan Edelkamp, Peter Kissmann Yi Chang, Ruiqiang Zhang, Srihari Reddy, Yan Liu Paul Vernaza, Daniel D. Lee The Inter-League Extension of the Traveling AIW: Cross-Language Latent Relational Multiagent Patrol Generalized to Complex Tournament Problem and its Application to Search: Mapping Knowledge across Lan- Environmental Conditions Sports Scheduling guages Noa Agmon, Daniel Urieli, Peter Stone

11:30 AM–12:30 PM Richard Hoshino, Ken-ichi Kawarabayashi Nguyen Tuan Duc, Danushka Bollegala, Mitsuru Ishizuka

Active Learning Game Playing Robotics 3 Nectar: Effective End-User Interaction with Reasoning about General Games Described Complete Information Pursuit Evasion in Machine Learning in GDL-II Polygonal Environments Saleema Amershi, James Fogarty, Ashish Kapoor, Stephan Schiffel, Michael Thielscher Kyle Klein, Subhash Suri Desney Tan Bayesian Learning of Generalized Board Po- Automated Abstractions for Patrolling Secu- AIW: Active Dual Collaborative Filtering sitions for Improved Move Prediction in rity Games with Both Item and Attribute Feedback Computer Go Nicola Basilico, Nicola Gatti Luheng He, Nathan N. Liu, Qiang Yang Martin Michalowski, Mark Boddy, Mike Neilsen Generating Diverse Plans Using Quantita- OASIS: Online Active SemI-Supervised First-Order Logic with Counting for Gener- tive and Qualitative Plan Distance Metrics

1:50–2:50 PM Learning al Game Playing Alexandra Coman, Hector Munoz-Avila Andrew B. Goldberg, Xiaojin Zhu, Alex Furger, Lukasz Kaiser, Lukasz Stafiniak Jun-Ming Xu

Clustering 2 Social Media Machine Learning 3 Nonnegative Spectral Clustering with Dis- Understanding User Migration Patterns in Optimal Rewards versus Leaf-Evaluation criminative Regularization Social Media Heuristics in Planning Agents Yi Yang, Heng Tao Shen, Feiping Nie, Rongrong Ji, Shamanth Kumar, Reza Zafarani, Huan Liu Jonathan Sorg, Satinder Singh, Richard L. Lewis Xiaofang Zhou User-Controllable Learning of Location Pri- Nectar: End-User Feature Labeling via Lo- Transfer Latent Semantic Learning: Mi- vacy Policies with Gaussian Mixture Models cally Weighted Logistic Regression croblog Mining with Less Supervision Justin Cranshaw, Jonathan Mugan, Norman Sadeh Weng-Keen Wong, Ian Oberst, Shubhomoy Das, Dan Zhang, Yan Liu, Richard D. Lawrence, Vijil Travis Moore, Simone Stumpf, Kevin McIntosh, Chenthamarakshan Personalizing Your Web Services with Con- Margaret Burnett structive DL Reasoning Join

3:00–4:00 PM Linear Discriminant Analysis: New Formu- Freddy Lécué Fast Newton-CG Method for Batch Learn- lations and Overfit Analysis ing of Conditional Random Fields Dijun Luo, Chris Ding, Heng Huang Yuta Tsuboi, Yuya Unno, Hisashi Kashima, Naoa- ki Okazaki

Learning in Social Media Feature Selection Robotics 4 AIW: Propagating Both Trust and Distrust Latent Semantic Learning by Efficient Comparing Action-Query Strategies in Se- with Target Differentiation for Combating Sparse Coding with Hypergraph Regulariza- mi-Autonomous Agents Web Spam tion Robert Cohn, Edmund Durfee, Satinder Singh Xianchao Zhang, You Wang, Nan Mou, Wenxin Zhiwu Lu, Yuxin Peng Liang PGAI: Continuous Occupancy Mapping Size Adaptive Selection of Most Informative with Integral Kernels AIW: Predicting Author Blog Channels with Features Simon T. O’Callaghan, Fabio T. Ramos High Value Future Posts for Monitoring Si Liu, Hairong Liu, Longin Jan Latecki, Shuicheng S. Wu, T. Elsayed, W. Rand, L. Raschid Yan, Changsheng Xu, Hanqing Lu PGAI: Learning Accuracy and Availability of Humans Who Help Mobile Robots

4:20–5:20 PM AIW: Heterogeneous Transfer Learning for A Feasible Nonconvex Relaxation Approach Stephanie Rosenthal, Manuela Veloso, Anind K. Image Classification to Feature Selection Dey Yin Zhu, Yuqiang Chen, Zhongqi Lu, Sinno Jialin Cuixia Gao, Naiyan Wang, Qi Yu, Zhihua Zhang Pan, Gui-Rong Xue, Yong Yu, Qiang Yang

Coffee breaks will be held at 10:00 – 10:20 AM and 4:00 – 4:20 PM. The lunch break will be held from 12:30 – 1:50 PM.

CONFERENCE SCHEDULE—THURSDAY, AUGUST 11 15 Exhibit Program

The exhibit program will be held Tuesday – Thursday, August 9 – 11 in the Seacliff Foyer, Bay Level. Exhibit hours are: Tuesday, 11:00 AM – 5:30 PM; Wednesday, 10:00 AM – 5:30 PM; and Thursday: 10:00 AM – 1:00 PM.

AAAI Press IOS Press 445 Burgess Drive Nieuwe Hemweg 6B, 1013 Menlo Park, CA 94025-3442, USA Amsterdam, The Netherlands +1-650-328-3123 iospress.nl [email protected] IOS Press publishes around 100 international journals and approximately 130 aaai.org/Press/press.php book titles a year, ranging from computer sciences and mathematics to medicine and the natural sciences. This year the 226th volume in the book series Frontiers AAAS Science & Technology Policy Fellowships in Artificial Intelligence and Applications is published. Commencing its publishing 1200 New York Ave NW activities in 1987, IOS Press serves the information needs of scientific and med- Washington, DC 20005, USA ical communities worldwide. IOS Press continues its rapid growth, embracing fellowships.aaas.org new technologies for the timely dissemination of information. All journals are available electronically and an online book platform has been launched in the Apply your science to serve society. Become an AAAS Science and Technology first half of 2006. Policy Fellow. Since 1973, over 2,000 scientists and engineers have contributed their analytical skills to policymaking in Washington, DC, while learning about the role of science in the federal government system. Career-enhancing oppor- Morgan & Claypool Publishers tunities are available in approximately 30 Congressional offices and 15 federal 1537 Fourth Street, Suite 228 agencies for professionals of all career stages. Applicants must be US citizens and San Rafael, CA 94901 hold a terminal degree (PhD, MD, DVM, etc.) in any scientific discipline or a 415-462-0004 master’s degree in engineering (+ 3 years of post-degree experience). Visit fel- [email protected] lowships.aaas.org. Morgan & Claypool publishes the Synthesis Lectures on Artificial Intelligence and Machine Learning edited by Ron Brachman, William W. Cohen, and Tom Diet- AI Topics terich. Synthesis lectures are 75 – 150 page revisable digital documents pre- aaai.org/aitopics senting key topics written by prominent contributors for an audience of stu- AI Topics is the premier source of information about AI! Stop by the AITopics dents, researchers and developers. Synthesis lectures are available by institu- booth to pick up a luggage tag, sign up for the free AI-Alert service for weekly tional online subscription to the Synthesis Digital Library of Engineering and Com- summaries of news stories that have mentioned AI; see what AITopics can pro- puter Science and for individual digital and print purchase. New titles include: vide for your classroom instruction or term papers; suggest improvements, or Visual Object Recognition by Kristen Grauman and Bastian Leibe, Leaning with become an assistant editor to help meet the needs of the AI community! Support Vector Machines by Colin Campbell and Yiming Ying, Human Computa- tion by Edith Law and Luis von Ahn, Trading Agents by Michael Wellman, and A Short Introduction to Preferences by Francesca Rossi, Kristen Venable, and To- Cambridge University Press by Walsh. Other titles are available on natural language processing, computer 32 Avenue of the Americas vision and the semantic web. New York, NY, USA 212-924-3900 The MIT Press cambridge.org/us/ 55 Hayward Street Cambridge’s publishing in books and journals combines state-of-the-art content Cambridge, MA 02142, USA with the highest standards of scholarship, writing and production. Visit our mitpress.mit.edu stand to browse new titles such as Kowalski’s Computational Logic and Human Thinking and Barber’s Bayesian Reasoning and Machine Learning, available at a Please visit The MIT Press publisher’s table to see our newest titles in artificial 20% discount. Pick up sample issues of our journals like Brain and Behavioral intelligence, machine learning and robotics. Sciences, Knowledge Engineering Review, AI-EDAM. Visit our website to see every- thing we do: www.cambridge.org/us/computerscience. Navy Center for Applied Research in Artificial Intelligence Washington DC, USA Google Inc. www.nrl.navy.mil/aic research.google.com The Navy Center for Applied Research in Artificial Intelligence (NCARAI), part Google’s mission is to organize the world’s information and make it universally of the Naval Research Laboratory, has been involved in both basic and applied accessible and useful. Perhaps as remarkable as two Stanford research students research in artificial intelligence, human factors, and human-centered comput- having the ambition to found a company with such a lofty objective is the ing since its inception in 1981. The emphasis at NCARAI is the linkage of the- progress the company has made to that end. Ten years ago, Larry Page and ory and application in demonstration projects that use a full spectrum of artifi- Sergey Brin applied their research to a real problem and invented the world’s cial intelligence techniques to address critical Navy and national problems. With most popular search engine. The same spirit holds true at Google today. The the FY12 opening of the Autonomous Systems Research Laboratory, the Center mission of research at Google is to deliver cutting-edge innovation that improves will carry on the support of autonomous systems research for the Navy and the Google products and enriches the lives of all who use them. We publish inno- Marine Corps. vation through industry standards, and our researchers are often helping to de- fine not just today’s products but also tomorrow’s. USC Information Sciences Institute 4676 Admiralty Way Institute for Computational Sustainability Marina del Rey, CA 90292, USA 5136 Upson Hall +1-310-822-1511 Ithaca, NY 14850, USA Founded in 1972, the University of Southern California’s Information Sciences cis.cornell.edu/ics Institute is home to more than one hundred AI researchers working on natural The Institute for Computational Sustainability (ICS), founded in 2008 with sup- language, data integration, social networks, machine translation, bioinformatics, port from an Expeditions in Computing grant from the National Science Foun- robotics, cyberlearning, eScience, computational behavior among many others. dation, advances research in the emerging field of computational sustainability. ISI provides a unique experience in that it combines an academic environment The vision of the institute is that computer scientists can — and should — play for basic research with practical projects that cross disciplinary boundaries and a key role in increasing the efficiency and effectiveness in the way we manage and are highly collaborative and broad practical relevance. Come to our booth to dis- allocate our natural resources, while enriching and transforming computer sci- cuss opportunities to join us as a researcher, graduate student, research pro- ence and related fields. The institute is a joint venture involving scientists from grammer, summer intern, or sabbatical visitor. Cornell University, Bowdoin College, the Conservation Fund, Howard Universi- ty, Oregon State University, and the Pacific Northwest National Laboratory.

16 EXHIBIT PROGRAM Poster Session

The poster session will be held Wednesday, August 10, in the Grand Ballroom, 6:30 – 9:30 PM.

Main Track Technical Papers Multidisciplinary Topics Student Abstracts Constraints, Satisfiability, and Search Co-Evolution of Selection and Influence in Social Networks Learning Compact Representations of Time-Varying Pro- Yoon-Sik Cho, Greg Ver Steeg, Aram Galstyan cesses A General Nogood-Learning Framework for Pseudo- The Epistemic Logic Behind the Game Description Lan- Philip Bachman, Doina Precup Boolean Multi-Valued SAT guage Assessing Quality in the Web of Linked Sensor Data Siddhartha Jain, Ashish Sabharwal, Meinolf Sellmann Ji Ruan, Michael Thielscher Chris Baillie, Peter Edwards, Edoardo Pignotti Planning in Domains with Cost Function Dependent Ac- Natural Language Processing Medical Treatment Conflict Resolving in Answer Set Pro- tions gramming Mike Phillips, Maxim Likhachev Leveraging Wikipedia Characteristics for Search and Can- Forrest Sheng Bao, Zhizheng Zhang, Yuanlin Zhang Euclidean Heuristic Optimization didate Generation in Question Answering Jennifer Chu-Carroll, James Fan Controlling Selection Bias in Causal Inference Chris Rayner, Michael Bowling, Nathan Sturtevant Elias Bareinboim, Judea Pearl Inner Regions and Interval Linearizations for Global Op- Semantic Relatedness Using Salient Semantic Analysis Samer Hassan, Rada Mihalcea Solving 4x5 Dots-And-Boxes timization Joseph K. Barker, Richard E. Korf Gilles Trombettoni, Ignacio Araya, Bertrand Neveu, Gilles Using Semantic Cues to Learn Syntax Chabert Tahira Naseem, Regina Barzilay Ad Hoc Teamwork in Variations of the Pursuit Domain Samuel Barrett, Peter Stone Knowledge-Based Information Systems WikiSimple: Automatic Simplification of Wikipedia Articles Reconstructing the Stochastic Evolution Diagram of Dy- Tracking User-Preference Varying Speed in Collaborative Kristian Woodsend, Mirella Lapata namic Complex Systems Filtering Navid Bazzazzadeh, Benedikt Brors, Roland Eils Ruijiang Li, Bin Li, Cheng Jin, Xiangyang Xue, Xingquan Zhu Reasoning about Plans, Processes, and Actions Provoking Opponents to Facilitate the Recognition of their Intentions Knowledge Representation and Reasoning Conjunctive Representations in Contingent Planning: Prime Implicates versus Minimal CNF Formula Francis Bisson, Froduald Kabanza, Abder Rezak Benaskeur, A Semantical Account of Progression in the Presence of Son Thanh To, Tran Cao Son, Enrico Pontelli Hengameh Irandoust Uncertainty Dynamic Batch Mode Active Learning via L1 Vaishak Belle, Gerhard Lakemeyer Reasoning under Uncertainty Regularization A Closer Look at the Probabilistic Description Logic Prob- When to Stop? That Is the Question Shayok Chakraborty, Vineeth Balasubramanian, Sethuraman EL Shulamit Reches, Meir Kalech, Rami Stern Panchanathan Víctor Gutiérrez-Basulto, Jean Christoph Jung, Carsten Lutz, Heuristic Planning in Adversarial Dynamic Domains Lutz Schröder Special Tracks Simon Chamberland, Froduald Kabanza Conjunctive Query Inseparability of OWL 2QLTBoxes Using Neural Networks for Evaluation in Heuristic B. Konev, R. Kontchakov, M. Ludwig, T. Schneider, F. Wolter, Artificial Intelligence and the Web Search Algorithm M. Zakharyaschev A Whole Page Click Model to Better Interpret Search En- Hung-Che Chen, Jyh-Da Wei Preferred Explanations: Theory and Generation via Plan- gine Click Data Can Collective Sentiment Expressed on Twitter Predict ning Weizhu Chen, Zhanglong Ji, Si Shen, Qiang Yang Political Elections? Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith Artificial Intelligence for Artificial Artificial Intelligence Jessica Chung, Eni Mustafaraj Machine Learning Peng Dai, Mausam, Daniel S. Weld Conflict-Driven Constraint Answer Set Solving with Lazy Commonsense Causal Reasoning Using Millions of Per- Nogood Generation Selective Transfer between Learning Tasks Using Task- sonal Stories Christian Drescher, Toby Walsh Based Boosting Andrew S. Gordon, Cosmin Adrian Bejan, Kenji Sagae Probabilistic Plan Graph Heuristic for Probabilistic Planning Eric Eaton, Marie desJardins Transfer Learning for Multiple-Domain Sentiment Analy- Yolanda E-Martín, María D. R-Moreno, David E. Smith OASIS: Online Active SemI-Supervised Learning sis — Identifying Domain Dependent/Independent Word Optimal Subset Selection for Active Learning Andrew B. Goldberg, Xiaojin Zhu, Alex Furger, Jun-Ming Xu Polarity Yifan Fu, Xingquan Zhu Linear Discriminant Analysis: New Formulations and Yasuhisa Yoshida, Tsutomu Hirao, Tomoharu Iwata, Masaaki Nagata, Yuji Matsumoto Efficient Issue-Grouping Approach for Multi-Issues Ne- Overfit Analysis gotiation between Exaggerator Agents Dijun Luo, Chris Ding, Heng Huang Propagating Both Trust and Distrust with Target Differ- Katsuhide Fujita, Mark Klein, Takayuki Ito Nonnegative Spectral Clustering with Discriminative Reg- entiation for Combating Web Spam Xianchao Zhang, You Wang, Nan Mou, Wenxin Liang Hybrid Tractable Classes of Binary Quantified Constraint ularization Satisfaction Problems Yi Yang, Heng Tao Shen, Feiping Nie, Rongrong Ji, Xiaofang Jian Gao, Minghao Yin, Junping Zhou Zhou Computational Sustainability and Artificial Intelligence Green Driver: AI in a Microcosm Role-Based Ad Hoc Teamwork Transfer Latent Semantic Learning: Microblog Mining Katie Genter, Noa Agmon, Peter Stone with Less Supervision Jim Apple, Paul Chang, Aran Clauson, Heidi Dixon, Hiba Dan Zhang, Yan Liu, Richard D. Lawrence, Vijil Chenthama- Fakhoury, Matt Ginsberg, Erin Keenan, Alex Leighton, Kevin Using Conditional Random Fields to Exploit Token rakshan Scavezze, Bryan Smith Structure and Labels for Accurate Semantic Annotation Aman Goel, Craig A. Knoblock, Kristina Lerman Convex Sparse Coding, Subspace Learning, and Semi-Su- Policy Gradient Planning for Environmental Decision pervised Extensions Making with Existing Simulators Large Scale Diagnosis Using Associations between System Xinhua Zhang, Yaoliang Yu, Martha White, Ruitong Huang, Mark Crowley, David Poole Outputs and Components Dale Schuurmans Dynamic Resource Allocation in Conservation Planning Ting Guo, Zhanshan Li, Ruizhi Guo, Xingquan Zhu A Fast Spectral Relaxation Approach to Matrix Comple- Daniel Golovin, Andreas Krause, Beth Gardner, Sarah J. Con- On the Discovery and Utility of Precedence Constraints tion via Kronecker Products verse, Steve Morey in Temporal Planning Hui Zhao, Jiuqiang Han, Naiyan Wang, Congfu Xu, Zhihua Discovering Life Cycle Assessment Trees from Impact Yanmei Hu, Minghao Yin, Dunbo Cai Zhang Factor Databases Exact Phase Transitions and Approximate Algorithm of Naren Sundaravaradan, Debprakash Patnaik, Naren Ra- #CSP Multiagent Systems makrishnan, Manish Marwah, Amip Shah Ping Huang, Minghao Yin, Ke Xu Complexity of and Algorithms for Borda Manipulation Decentralised Control of Micro-Storage in the Smart Grid Extending the Applications of Recent Real-time Heuristic Jessica Davies, George Katsirelos, Nina Narodytska, Toby Thomas D. Voice, Perukrishnen Vytelingum, Sarvapali D. Search Walsh Ramchurn, Alex Rogers, Nicholas R. Jennings Daniel Huntley, Vadim Bulitko Automated Action Abstraction of Imperfect Information Physically Grounded Artificial Intelligence Multiple-Instance Learning: Multiple Feature Selection on Extensive-Form Games Instance Representation John Hawkin, Robert Holte, Duane Szafron A Scalable Tree-Based Approach for Joint Object and I-Hong Jhuo, D. T. Lee Quick Polytope Approximation of all Correlated Equilib- Pose Recognition An Event-Based Framework for Process Inference ria in Stochastic Games Kevin Lai, Liefeng Bo, Xiaofeng Ren, Dieter Fox Michael Joya Liam MacDermed, Karthik Narayan, Charles Isbell, Lora Weiss Understanding Natural Language Commands for Robotic Toward Learning to Solve Insertion Tasks: A Efficiency and Privacy Tradeoffs in Mechanism Design Navigation and Mobile Manipulation Developmental Approach Using Exploratory Behaviors Xin Sui, Craig Boutilier Stefanie Tellex, Thomas Kollar, Steven Dickerson, Matthew R. and Proprioception Walter, Ashis Gopal Banerjee, Seth Teller, Nicholas Roy Dominant-Strategy Auction Design for Agents with Un- Philip Koonce, Vasha Dutell, José Farrington, Vladimir Sukhoy, Alexander Stoytchev certain, Private Values EAAI-11 David R. M. Thompson, Kevin Leyton-Brown Time Complexity of Iterative-Deepening A*: The Infor- Risk-Averse Strategies for Security Games with Execution Playing to Program: Towards an Intelligent Programming mativeness Pathology (Abstract) and Observational Uncertainty Tutor for RUR-PLE Levi Lelis, Sandra Zilles, Robert C. Holte Zhengyu Yin, Manish Jain, Milind Tambe, Fernando Ordóñez Marie desJardins, Amy Ciavolino, Robert Deloatch, Eliana Feasley POSTER SESSION 17 An Empirical Study of Bagging Predictors for Different Modeling Opponent Actions for Table-Tennis Playing Scaling Up Game Theory: Achievable Set Methods for Ef- Learning Algorithms Robot ficiently Solving Stochastic Games of Complete and In- Guohua Liang, Xingquan Zhu, Chengqi Zhang Zhikun Wang, Abdeslam Boularias, Katharina Mülling, complete Information An Efficient and Complete Approach for Cooperative Jan Peters Liam MacDermed Path-Finding Adaptive Neighborhood Inverse Consistency as Looka- Pruning Techniques in Search and Planning (Research Ryan Luna, Kostas E. Bekris head for Non-Binary CSPs Abstract) Generating Explanations for Complex Biomedical Queries Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, Nir Pochter Umut Oztok, Esra Erdem Christian Bessiere Learning with Imprecise Classes, Rare Instances, and An Intelligent System for Prolonging Independent Living A Local Monte Carlo Tree Search Approach in Determin- Complex Relationships of Elderly istic Planning Srinath Ravindran Bogdan Pogorelc Fan Xie, Hootan Nakhost, Martin Müller Modeling the Effects of Emotion on Cognition Evolution of Node Behavior in Link Prediction Discovering Latent Strategies Marc Spraragen Baojun Qiu, Qi He, John Yen Xiaoxi Xu Learning Sensor, Space and Object Geometry Web Personalization and Cohort Information Services for Doctoral Consortium Abstracts Jeremy Stober Natural Resource Managers Incentive-Compatible Trust Mechanisms (Extended Ab- Crystal E. Redman TheAC(C) Language: Integrating Answer Set Program- stract) Using Partitions and Superstrings for Lossless Compres- ming and Constraint Logic Programming Jens Witkowski sion of Pattern Databases Forrest Sheng Bao Ethan L. Schreiber, Richard E. Korf Joint Inference for Extracting Text Descriptors from Poker Competition Posters Convergence Properties of (mu + lambda) Evolutionary Triage Images of Mass Disaster Victims Results from the 6th Annual Computer Poker Competi- Algorithms Niyati Chhaya tion Aram Ter-Sarkisov, Stephen Marsland Model Update for Automated Planning Nolan Bard and Jonathan Rubin On the Effectiveness of Belief State Representation in Maria Viviane de Menezes, Leliane Nunes de Barros Hyperborean 2011 Contingent Planning Long-Term Declarative Memory for Generally Intelligent Computer Poker Research Group: Michael Johanson, Nolan Son Thanh To, Tran Cao Son, Enrico Pontelli Agents Bard, Michael Bowling, Neil Burch, Richard Gibson, John A Bayesian Reinforcement Learning Framework Using Nate Derbinsky Hawkin, Rob Holte, Jonathan Schaeffer, Duane Szafron (Uni- Relevant Vector Machines Ensemble Classification for Relational Domains versity of Alberta) Nikolaos Tziortziotis, Konstantinos Blekas Hoda Eldardiry LUCKY7-MAS A Poker Playing Multi Agent System A Framework for Integration of Logical and Probabilistic Developing a Language for Spoken Programming Bojan Butolen, Simon Zelic, Mitja Cof, Milan Zorman Knowledge Benjamin M. Gordon Metareasoning for Opponent Modeling in Texas Hold'em Jingsong Wang, Marco Valtorta A Probabilistic Trust and Reputation Model for Supply Poker Solution Quality Improvements for Massively Multi- Chain Management Adam Eck, L. Dee Miller, Leen-Kiat Soh Agent Pathfinding Yasaman Haghpanah Ko-Hsin Cindy Wang, Adi Botea, Philip Kilby Designing Water Efficient Residential Landscapes with Online Updating the Generalized Inverse of Centered Agent-Based Modeling Matrices Rhonda Hoenigman Qing Wang, Liang Zhang Predicting Text Quality for Scientific Articles Annie Louis Competitions

AI Video Competition Awards Monday, August 8, 7:00 PM – 8:00 PM, Grand Ballroom Foyer The Fifth AI Video Competition Awards Ceremony will be held immedi- ately after the opening reception. Come and see exciting videos about AI research and applications. The winners will be presented with a trophy named a “Shakey” — which honors SRI’s pioneering robot. The objective of this competition is to communicate to the world the fun of pursuing research in AI, and illustrate the impact of some of our ap- plications. Submitters were asked to create narrated videos of 1-5 minutes in length. The submissions were reviewed by an international program committee, led by cochairs David Aha (Naval Research Laboratory) and Arnav Jhala (University of California, Santa Cruz). Awards will be presented in the following categories: Best Video, Best Student Video, Best Educational Video, Best Narration, Best Short Video, and Most Innovative Video. AAAI gratefully acknowledges the generous contributions of the AI Jour- nal Review Board, Josef Stefan Institute, and VideoLectures.net for their sponsorship. Computer Poker Competition Wednesday, August 10, 6:30 PM – 9:30 PM, Grand Ballroom, Street Level For the Sixth Annual AAAI Computer Poker Competition teams will de- velop programs for playing heads-up Texas Hold-Em, both limit and no- limit, and 3-player ring limit Texas Hold’em. Programs will be judged based upon their robustness (ability to beat any opponent head-to-head) and/or their ability to learn (to exploit weaker opponents for more mon- ey). The winner of a competition will be determined by matches between bots that were submitted to that specific competition. If resources allow, unofficial results will also include matches between all pairs of bots in a di- vision. At AAAI results and posters describing the bots will be presented. AAAI thanks Poker Competition organizers Nolan Bard and Jonathan Ru- bin for all their efforts in making this event possible, as well as David Parkes, who serves as the impartial “arbiter” for the competition. 18 POSTER SESSION AND COMPETITIONS Twentieth Annual AAAI Robotics Program

Grand Ballroom Foyer and Regency Ballroom, Street Level, Monday – Wednesday, August 8-10

Twentieth Annual AAAI world chess champion. Yet, it was humans moving the pieces. The second AAAI Small- Robotics Exhibition, Scale Manipulation Challenge will highlight ad- Challenges, and Workshop vances in embodied intelligence using smaller than human size robots. Robotic chess requires The 20th Edition of the Robotics Program at the integration of sensing, planning and actua- AAAI features the long-standing Robotics Exhi- tion and provides an opportunity for perfor- bitions as well as demonstration and challenges mance evaluation on a common, well-defined in emerging areas of robotics research. The task. Robotics Program has a long tradition of demonstrating innovative research in robotics at Challenge Teams the intersection with artificial intelligence. This University at Albany year, the AAAI-11 Robotics Program will feature Canisius College a workshop, demonstrations from Robotics Ed- Carnegie Mellon University ucation, and two robotics challenge events (Ma- RoadNarrows LLC nipulation and Learning by Demonstration). Robotics Education Track Embodied Intelligence: The AAAI This venue offers an accessible and flexible op- Robotics Workshop portunity for undergraduate, early graduate, or Monday, August 8 pre-college student teams to design, implement, 8:00 AM – 5:30 PM and demonstrate an autonomous robotic sys- The theme of the workshop aims to cultivate tem. The tasks involved can span physically- challenge experiments to advance specific prob- embodied AI: exploration, interaction, and lems in robotics research and education. The learning within an unknown environment. In workshop focuses on how to leverage robotics the long run, the goal is to motivate hands-on knowledge and research in other communities AI robotics investigation both for its own sake through the use of standardized platforms. Very and in service to other academic disciplines and few existing robotics development architectures educational goals. are used outside of the group developing them. Exhibition Teams In addition, algorithms and approaches devel- Aldebaran Robotics oped in one architecture are rarely ported to an- Carnegie Mellon University other, creating a barrier to reusing good solu- University of Kassel tions and hampering the ability to validate re- City University New York (2 teams) Robotics Education Track sults in more than one environment. The goal is to create a roadmap to common environments Harvey Mudd College The Robotics Education Track exhibits will be and tools. The workshop will feature presenta- on display throughout the day: tions by exhibitors in challenge areas that high- Schedule of Events Tuesday, August 9 light current research. 10:00 AM – 4:30 PM Chess Challenge Wednesday, August 10 Learning by Matches between all of the chess challenge 10:00 AM – 4:30 PM Demonstration Challenge teams will happen at the following times: Robot Demonstrations The third annual exhibit and challenge on robot Tuesday, August 9: 9:30 – 11:00 AM Robot demonstrations from all categories will be Learning by Demonstration (LbD) brings to- Tuesday, August 9: 3:30 – 5:00 PM on display Wednesday evening, 6:30 – 9:30 PM. gether research groups to demonstrate complete Wednesday, August 10: 9:30 – 11:00 AM platforms performing LbD tasks. This year’s Learning by Demonstration event has a single challenge task focused on Robotics Program food preparation. The task requires a combina- Since most teams are sharing a common PR2 Organizing Committee tion of low-level skills, such as picking up and platform, the LbD challenge will feature each of manipulating objects, and high-level task rea- the six teams showing their entry once for thir- Program Chair soning. The event will feature five teams tack- ty minutes on each day. This will happen at the Andrea L. Thomaz (Georgia Institute of ling this task with the Willow Garage PR2 robot, following times: Technology) and one team showing related LbD research on Tuesday, August 9 their custom industrial robot. Learning from Demonstration Challenge Chair 10:00 AM – 10:30 AM Challenge Teams 11:00 AM – 11:30 AM Sonia Chernova (Worcester Polytechnic Ecole Polytechnique Federale de Lausanne 12:30 PM – 1:00 PM Institute) Georgia Institute of Technology 2:00 PM – 2:30 PM Small Scale Manipulation Challenge: Robot Chess Italian Institute of Technology 3:00 PM – 3:30 PM Cochairs Massachusetts Institute of Technology 4:00 PM – 4:30 PM David S. Touretzky (Carnegie Mellon Tufts University Wednesday, August 10 University) Worcester Polytechnic Institute 10:00 AM – 10:30 AM Mike Stillman (Georgia Institute of 11:00 AM – 11:30 AM Technology) Small Scale Manipulation 12:30 PM – 1:00 PM Robotics Education Track Chair 2:00 PM – 2:30 PM Challenge: Robotic Chess Zach Dodds (Harvey Mudd College) 3:00 PM – 3:30 PM Fourteen years ago Deep Blue defeated the 4:00 PM – 4:30 PM

ROBOTICS PROGRAM 19 General Information

ADA Devices tional half hour is $7.50. There are several self tional person. Green/white vans with silver let- The staff at the Hyatt Regency San Francisco is parking garages and lots in the area. Please in- ters. Hours: 3:00 am – 10:00 pm. 415-467- committed to ensuring that they meet and ex- quire at the hotel reception desk for locations. 1800. ceed all of the requirements for the Americans Printed Materials Taxi with Disabilities Act. The staff is trained to ac- Display tables for the distribution of promotion- Fare is $40 – $45 to San Francisco International commodate guests with special needs. al and informational materials of interest to con- Airport. Admission ference attendees will be located in the registra- Budget Rental Car Each conference attendee will receive a name tion area. Located on the street level in Hyatt Regency San badge upon registration. This badge is required Proceedings CDs Francisco. 415-433-3717. for admittance to the technical, tutorial, IAAI, Mon-Fri 7:30 am – 5:30 pm; Sat 8:00 am – 1:00 Each technical registrant will receive a ticket EAAI, and workshop programs. Tutorial and pm, Sun 8:00 am – 1:00 pm. Please note this lo- with the registration materials for one copy of Workshop attendees must present their atten- cation does accept Drop-Off Cars. the conference CD. Tickets can be redeemed in dance tickets for admittance to the rooms. the onsite registration area in the Market Street Bay Area Rapid Transit (BART) Smoking, drinking and eating are not allowed in Foyer, located on the street level of the Hyatt Re- $8.10 each way — Exit at Embarcadero from any of the technical, tutorial, workshop, IAAI, or gency during registration hours. All tickets must San Francisco International Airport: Any San EAAI sessions. be redeemed onsite by Thursday, August 11 at Francisco bound (north bound) train will stop at Banking 11:00 am. AAAI cannot mail CDs to registrants “Embarcadero Station”. Hotel is located directly There is an ATM machine located on the Atrium after the conference. outside the station. Trains are available every 15 – 20 minutes. Lobby level of the hotel.The Bank of America, Hotel Restaurant Wells Fargo, Chase, along with several other Hours from Embarcadero Station: A flyer containing a listing and map of other lo- Monday – Friday: 4:55 am – 1:01 am banks are located within walking distance of the cal restaurants is included in the registration Saturday: 6:32 am – 1:01 am hotel. bags. Please also see the hotel lobby or concierge Sunday: 8:32 am – 1:01 am Business Center/Shipping for local restaurants and eateries in the area. Amtrak The Hyatt’s Business Center is located on the Bay Eclipse Restaurant & Lounge Connecting bus service to trains in Oakland and Level and provides services such as photocopy- In the hotel’s atrium lobby, Eclipse offers a casu- Emeryville is available across the street from the ing, faxing, secretarial service, pager and cell al and delicious dining option in a relaxing at- Hyatt Regency at the Ferry Building. Please see phone rentals, shipping, computer use and mosphere. Full breakfast menu and convenient amtrak.com for more information. rentals and office supplies. The business center is buffet are offered. Weekdays: 6:00 am – 11:30 Caltrain open 24 hours for hotel guests, who do not re- am, weekends: 6:00 am – 12:00 pm quire assistance from staff, with access using a Lunch service includes fresh sandwiches, sal- Located at 4th and King Streets, approximately guest room key. Staffed Hours: Monday – Fri- ads, and seasonal specialties. Served daily from 1.5 miles; taxi fare $6.00. Serves the peninsula day, 7:30 am – 4:00 pm 11:30 am – 2:30 pm. Dinner service features a from San Francisco to Gilroy. See caltrain.com for more information. Career Information medley of local and international flare sure to satisfy your appetite. Served nightly from 5:30 Local Transit System: A bulletin board for job opportunities in the ar- pm – 10:00 pm For more information about public transporta- tificial intelligence industry will be made avail- tion in the city of San Francisco, please see sfm- able in the registration area. Attendees are wel- In Room Dining ta.com. Rates: MUNI, $2.00; Cable Car, $5.00. come to post job descriptions of openings at Opens daily for breakfast at 6:00 am – 10:30 am their company or institution. Reopens for all day dining 11:30 am – 11:00 pm Volunteer Station Housing Airport Transportation The volunteer station will be located in the on- site registration area. All volunteers are required For information regarding hotel reservations, Lorries Shuttle to sign in prior to their shift, and sign out when please contact the hotel directly. Operates 4:00 am – 11:30 pm, seven days a they finish. Internet Access week. Door to door service between SFO Airport Workshop Technical Reports and Working Notes AAAI-11 has arranged for complimentary wire- and the Hyatt. Price is $16 one way per person. Workshop participants will receive a ticket in less Internet access for all registrants in the Hyatt At the airport, look for the White and Green their registration envelopes, which can be re- meeting spaces and guest rooms. Guests staying Vans with lettering that says Go Lorrie’s at the deemed for a copy of the AAAI-11 Workshop overnight will be provided with login informa- shuttle pick up area. For information call 415- Program Technical Report Series on CD, con- tion upon check-in to the hotel. 334-9000. Reservations are required for trans- portation from the hotel to the airport. taining the papers for all workshops, except W8. List of Attendees Super Shuttle For W8 (Generalized Planning), attendees will A list of preregistered attendees of the conference receive a CD with only the notes for this indi- Operates 24 hours/seven days a week. Door to will be available for review at the AAAI Desk in vidual workshop. door service between San Francisco and the SFO the registration area. Attendee lists will not be Airport. From the Airport, go to the upper level distributed. (median strip or courtesy island) and look for Parking the blue and yellow van. Price is $17 one way. Valet Parking at the Hyatt is $57.00 with in/out Call 415-558-8500. Contact concierge for fur- privileges for hotel guests and $62.50 with no ther details. Rates are per person. in/out privileges for transient guests. For day- Bay Porter time guests, the maximum daily rate is $50.00 Price $34 for first person and $15 for each addi- plus tax. The first hour is $15.00 and each addi-

20 GENERAL INFORMATION Disclaimer In offering the Hyatt Regency San Francisco, Freeman, San Francisco International Airport, and all other service providers (hereinafter re- Registration ferred to as “Supplier(s)” for the AAAI Confer- Conference registration is located in Market Street Foyer on the street level of the Hyatt Re- ence on Artificial Intelligence and the Innovative gency San Francisco, beginning Sunday, August 7. Registration hours are: Applications Conference), AAAI acts only in the capacity of agent for the Suppliers that are the Sunday, August 7 7:30 AM – 5:00 pM providers of the service. Because AAAI has no Monday, August 8 7:30 AM – 5:00 PM Tuesday, August 9 8:00 AM – 5:00 PM control over the personnel, equipment or oper- Wednesday, August 10 8:30 AM – 5:00 PM ations of providers of accommodations or other Thursday, August 11 8:30 AM – 12:00 PM services included as part of the AAAI-11/IAAI- 11 program, AAAI assumes no responsibility for Only checks drawn on U.S. banks, U.S. currency, VISA, MasterCard, American Express, and will not be liable for any personal delay, in- and traveler’s checks will be accepted. conveniences or other damage suffered by con- Registration Fees ference participants which may arise by reason All fees quoted are in US dollars of (1) any wrongful or negligent acts or omis- The AAAI-11/IAAI-11 technical program registration includes admission to all technical sions on the part of any Supplier or its employ- paper and poster sessions, invited talks, EAAI-11, exhibits, demos, and competitions, the ees, (2) any defect in or failure of any vehicle, opening reception, and a copy of the AAAI-11/IAAI-11/EAAI-11 conference proceedings equi pment or instrumentality owned, operated on CD (the hardcopy proceedings is available at additional cost). Students must present or otherwise used by any Supplier, or (3) any proof of full-time student status to qualify for the student rate. Onsite technical program wrongful or negligent acts or omissions on the fees are as follows: part of any other party not under the control, di- Technical Registration Fees rect or otherwise, of AAAI. Regular Member $845 Regular Nonmember $1015 Student Member $330 Student Nonmember $435 AAAI Platinum Fees (Includes one-, three-, or five-year new or renewal membership in AAAI) Regular One-Year $980 Regular Three-Year $1250 Regular Five-Year $1520 Student $395 Symposium on Educational Advances in Artificial Intelligence (EAAI-11) The AAAI-11/IAAI-11 technical program registration includes participation in EAAI-11 for invited participants and other interested individuals. Although there is no additional cost for this event, registration is required. For nontechnical registrants, an EAAI-only rate is of- fered. EAAI-11 only Regular $745 Student $230 Tutorial Forum The AAAI-11/IAAI-11 technical program registration includes participation in up to four consecutive tutorials. Although there is no additional cost for this event, registration is re- quired. Workshop Program Registration includes admittance to one workshop and the AAAI-11 Workshop Technical Report CD. (A CD of working notes only will be available for W8.) Please note that W1 and W12 are two-day workshops. Workshop with technical program Regular $185 Student $165 Regular 2-Day $285 Student 2-Day $250 Workshop Only (no technical program) Regular $335 Student $215 Regular 2-Day $410 Student 2-Day $300 Opening Reception (Monday, August 8) Adult Guest $65.00 Child $30.00 Poster Session Reception (Wednesday, August 10) Adult Guest $50.00 Child $25.00 Proceedings Copies of the hardcopy proceedings are available for purchase in onsite registration, and will be mailed after the conference (late summer). The calculated shipping cost is approx- imate, and will be recalculated at the time of shipment. If different, you will be notified be- fore shipment. Special Conference Rate for hardcopy of proceedings: $95.00 (normally $250.00) Extra copies of the AAAI-11 / IAAI-11 Proceedings CD and the Workshop Technical Re- port CD are available in onsite registration. Special Conference Rate for Proceedings CD or Workshop CD: $25.00 each (normally $39.00)

DISCLAIMER AND REGISTRATION 21 Bay Level

Atrium Lobby Level

Street Level

22 FACILITIES MAPS Pacific Concourse Foyer

Poster Session, Grand Ballroom, Street Level

FACILITIES MAPS 23 2 vols., references, index, illus., ISBN 978-1-57735-507-6 Special Conference Price $95.00 (plus shipping)

Special price available only to conference registrants. No other discounts may be applied. Orders must be placed and paid for on site.