Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI-14) Twenty-Sixth Conference on Innovative Applications of Artificial Intelligence (IAAI-14)
Fih Symposium on Educational Advances in Artificial Intelligence (EAAI-14)
July 27 – 31, 2014 Québec Convention Centre Québec City, Québec, Canada
Sponsored by the Association for the Advancement of Artificial Intelligence
Cosponsored by the AI Journal, National Science Foundation, Microso Research, Google, Amazon, Disney Research, IBM Research, Nuance Communications, Inc., USC/Information Sciences Institute, Yahoo Labs!, and David E. Smith
In cooperation with the Cognitive Science Society and ACM/SIGAI Conference Program Contents AAAI-14 Conference Committee
AI Video Competition / 7 AAAI acknowledges and thanks the following individuals for their generous contributions of time and Awards / 3–4 energy to the successful creation and planning of the AAAI-14, IAAI-14, and EAAI-14 Conferences. Computer Poker Competition / 7 Committee Chair Conference at a Glance / 5 CRA-W / CDC Events / 4 Subbarao Kambhampati (Arizona State University, USA) Doctoral Consortium / 6 AAAI-14 Program Cochairs EAAI-14 Program / 6 Carla E. Brodley (Northeastern University, USA) Exhibition /24 Peter Stone (University of Texas at Austin, USA) Fun & Games Night / 4 IAAI Chair and Cochair General Information / 25 David Stracuzzi (Sandia National Laboratories, USA) IAAI-14 Program / 11–19 David Gunning (PARC, USA) Invited Presentations / 3, 8–9 EAAI-14 Symposium Chair and Cochair Posters / 4, 23 Registration / 9 Laura Brown (Michigan Technological University, USA) Todd Neller (Gettysburg College, USA) Robotics / 7 Senior Member Program / 9 Tutorial Forum Cochairs Social Events / 4 Emma Brunskill (Carnegie Mellon University, USA) Special Meetings / 7 Kevin Leyton-Brown (University of British Columbia, Canada) Speed Dating / 4 Workshop Cochairs Student Programs / 6 Eric Eaton (University of Pennsylvania, USA) Technical Program / 10–21 Weng-Keen Wong (oregon State University, USA) What’s Hot Talks / 9 Senior Member Track Cochairs Tutorial Forum / 22 Pascal Van Hentenryck (NICTA, Australia) Workshop Program / 22 Luc De Raedt (Katholieke Universiteit Leuven, Belgium) Amy Greenwald (Brown University, USA) What's Hot Chairs Robert Holte (University of Alberta, Canada) Joelle Pineaeu (McGill University, Canada) Doctoral Consortium Cochairs Ayanna Howard (Georgia Institute of Technology, USA) Sponsoring Matthew E. Taylor (Washington State University) Organizations Student Abstract and Poster Program Cochairs AAAI gratefully acknowledges Kristian Kersting (University of Bonn, Germany) the generous contributions Scott Sanner (NICTA/Australian National University, Australia) of the following organizations and Sriraam Natarajan (Indiana University, USA) individuals to AAAI-14: Computer Poker Competition Cochairs Neil Burch (University of Alberta, Canada) Platinum Sponsor Kevin Waugh (Carnegie Mellon University, USA) AI Journal General Game Playing Competition Gold Sponsors Michael Genesereth (Stanford University, USA) Bertrand Decoster (Stanford University, USA) National Science Foundation CRA Committee on the Status of Women in Robotics Chair Computing Research / Coalition George Konidaris (Massachusetts Institute of Technology, USA) to Diversify Computing Gregory Dudek (McGill University, Canada) Brian Scassellati, CogSci Cochair (Yale University) Silver Sponsor AI Video Competition Cochairs Microso Research Mauro Birattari (Université Libre de Bruxelles, Belgium) Sabine Hauert (University of Bristol, UK) Bronze Sponsors Fundraising Chairs Google, Inc. Alan Fern (oregon State University, USA) Amazon Vibhav Gogate (e University of Texas at Dallas, USA) Disney Research Entertainment Chair IBM Research Michael Littman (Brown University, USA) Nuance Communications, Inc. Speed Dating Chair and Cochair USC/Information Sciences Institute Toby Walsh (NICTA and UNSW, Australia) Yahoo Labs! Claude-Guy Quimper (Laval University, Canada) General Sponsors CRA-W/CDC Broadening Participation in AI Organizers ACM/SIGAI Maria Gini (University of Minnesota, USA) Monica Anderson (University of Alabama, USA) David E. Smith Andrea Danyluk (Williams College, USA) Videolectures.net Adele Howe (Colorado State University, USA)
2 CoNTENTS, SPoNSoRS, AND CoNFERENCE CoMMITTEE Awards AAAI Presidential Address: AAAI-14 Awards AI and AAAI: Fascinating Research e AAAI-14 Awards will be presented in Hall 200 and Engaged Community A on July 29, from 8:30 – 9:00 AM by program cochairs Carla Brodley and Peter Stone. Manuela Veloso (Carnegie Mellon University) AAAI-14 Outstanding Paper Award Introduction by Henry Kautz is year, AAAI's Program Cochairs have selected Wednesday, July 30, 1:00 PM – 2:00 PM Hall 200A five finalists for the AAAI-14 outstanding Paper AI research and development are currently in great demand. As we experience an enormous increase Award, which honors papers that exemplify high in a wide variety of cyber-physical-social systems and the goals to make them increasingly intelligent, standards in technical contribution and exposition. AI is needed in all its multiple and varied technical facets. e talk will make the case for the need of Candidate papers for the AAAI-14 awards were se- an increased integration of our worldwide research, development, and organizational efforts and ini- lected based on overall ratings and nominations by tiatives. Highlights of the past, of the recent present, and proposed directions for the future of AAAI members of the AAAI-14 Program Committee. e will be presented. e talk will include and acknowledge input from the AAAI office, members, and winner of the award will be selected by a panel of se- current and past leadership. nior program committee members and chairs based on oral and poster presentations at the conference Manuela Veloso is the Herbert Simon University Professor at Carnegie Mellon Uni- in Québec City, as well as final papers that appear in versity. She researches in artificial intelligence and robotics, in particular on agents this proceedings. Papers will be judged on scientific that collaborate, observe, reason, act, and learn (CoRAL group). She is a Fellow of quality of the research, especially as it can be appre- AAAI, IEEE, and AAAS. Veloso cofounded RoboCup, a worldwide initiative inves- ciated by a broad AAAI audience. tigating teams of autonomous robots in highly uncertain environments. With her e finalists for the AAAI-14 outstanding Paper students, realizing that autonomous robots inevitably have limitations in percep- Award are: tion, cognition, and action, Veloso introduced symbiotic autonomous robots that can proactively ask for help from humans, other AI agents, and the web. Her symbiotic CoBot robots have serviced and Recovering from Selection Bias in Causal and Statisti- cal Inference traversed more 500 kilometers at CMU. Elias Bareinboim, Jin Tian, Judea Pearl Placement of Loading Stations for Electric Vehicles: Robert S. Engelmore Memorial AAAI Honors and Special Awards No Detours Necessary! Stefan Funke, André Nusser, Sabine Storandt Award and Lecture AAAI Honors and Special Awards will be presented by Henry Kautz, Awards Committee chair and Manifold Learning for Jointly Modeling Topic and Vi- e Robert S. Engelmore Award is sponsored by sualization IAAI-14 and AI Magazine, and will be presented by AAAI Past President, Manuela Veloso, AAAI presi- Tuan M. V. Le, Hady W. Lauw David Stracuzzi and David Gunning, IAAI-14 chair dent, and omas Dietterich, AAAI president-elect. and cochair, and David B. Leake, editor-in-chief, AI Tractability through Exchangeability: A New Perspec- 2014 AAAI Fellows Recognition Magazine. e award and lecture was established in tive on Efficient Probabilistic Inference Each year, the Association for the Advancement of 2003 to honor Dr. Engelmore's extraordinary ser- Mathias Niepert, Guy Van den Broeck Artificial Intelligence recognizes a small number of vice to AAAI, AI Magazine, and the AI applications members who have made significant sustained con- Generalized Label Reduction for Merge-and-Shrink community, and his contributions to applied AI. tributions to the field of artificial intelligence, and Heuristics e 2014 award will be presented to Craig Knoblock Silvan Sievers, Martin Wehrle, Malte Helmert who have attained unusual distinction in the profes- (University of Southern California) for seminal con- sion. AAAI is pleased to announce the nine newly tributions to machine learning and information in- Outstanding Program Committee Members elected Fellows for 2014, who will be honored dur- tegration, high-impact deployed applications and Each year, AAAI recognizes several outstanding ing the annual Fellows dinner on Monday, July 28: open-source projects, and extensive service to AAAI program committee and senior program committee and international AI. e lecture will be held Tues- Carla E. Brodley (Northeastern University, USA) members. ese individuals have gone above and Jonathan Gratch (USC Institute for Creative Technolo- day, July 29, 9:00 AM, in Hall 200A on the 2nd level beyond the expectations for the role, showing ex- gies, USA) of the Québec Convention Centre. (See lecture desc- ceptional judgment, clarity, knowledgeability, and Michael N. Huhns (University of South Carolina, USA) cription on page 9.) leadership in reaching a consensus decision. Kevin Knight (Information Sciences Institute, Univer- sity of Southern California, USA) Outstanding Senior Program Committee Members IJCAI-JAIR Best Paper Award James C. Lester (North Carolina State University, USA) Adele Howe (Colorado State University, USA) Chih-Jen Lin (National Taiwan University, USA) e IJCAI-JAIR Best Paper Prize is awarded annual- Malte Helmert (University of Basel, Switzerland) Sridhar Mahadevan (University of Massachusetts Dragos Margineantu (Boeing, USA) ly to an outstanding paper published in JAIR in the Amherst, USA) preceding five calendar years. e prize will be pre- Outstanding Program Committee Members Mark Maybury (e MITRE Corporation, USA) sented by Craig Boutilier, editor-in-chief, JAIR. e David C. Parkes (Harvard University, USA) Johannes Fürnkranz (TU Darmstadt, Germany) Prize Committee is comprised of associate editors Andrey Kolobov (Microso Research, USA) and members of the JAIR Advisory Board. eir de- Senior Member Recognition Ulle Endriss (ILLC, University of Amsterdam, Nether- AAAI is pleased to announce the 2014 AAAI senior lands) cision is based on both the significance of the paper members, who are being recognized for their long- Umberto Grandi (University of Padova, Italy) and the quality of presentation. e winners of the prize receive certificates and an award of $500. term participation in AAAI and their distinction in IAAI-14 Deployed Applications Funding for the award is provided by the Interna- the field of artificial intelligence. tional Joint Conferences on Artificial Intelligence. Juan Carlos Augusto (Middlesex University, UK) Awards e 2014 winners are: Vinay K. Chaudhri (SRI International, USA) e seven IAAI-14 Deployed Application Awards Evgeniy Gabrilovich and Shaul Markovitch (2009). Peter E. Clark (Allen Institute for Artificial Intelli- will be announced by the IAAI-14 chair David Wikipedia-Based Semantic Interpretation for Natural gence, USA) Stracuzzi and cochair David Gunning. Please see the Language Processing, Volume 34, pages 443-498. Robin Cohen (University of Waterloo, Canada) schedule for paper titles. Certificates will be present- David W. Franke (Vast.com, USA) Honorable Mention Alex A. Freitas (University of Kent, UK) ed during paper sessions. Joel Veness, Kee Siong Ng, Marcus Hutter, William Judy Goldsmith (University of Kentucky, USA) Uther and David Silver (2011). A Monte-Carlo AIXI Jeff Heflin (Lehigh University, USA) Approximation, Volume 40, pages 95-142.
PRESIDENTIAL ADDRESS, AWARDS 3 Robert R. Hoffman (Institute for Human and Machine Cognition, USA) Social Events Vasant Honavar (e Pennsylvania State University, USA) Lawrence E. Hunter (University of Colorado School of Opening Reception Medicine, USA) Monday, July 28, 6:00 – 7:00 PM Froduald Kabanza (Universite de Sherbrooke, Cana- Hall 200C of the Québec Convention Centre. da) e AAAI-14 opening Reception will provide the traditional opportunity for attendees to socialize in James Liu (Hong Kong Polytechnic University, Hong a relaxed setting prior to the beginning of the technical program. A variety of hors d’oeuvres and one Kong) complimentary beverage will be served. A no-host bar will also be available. Admittance to the recep- Cindy Marling (ohio University, USA) tion is included in the AAAI-14 technical registration. A $55.00 per person fee ($30.00 for children) David L. Martin (Nuance Communications, Inc., USA) will be charged for guests and other nontechnical conference registrants. e reception will be followed Maja J. Mataric (University of Southern California, immediately by the Joint AAAI-14/IAAI-14 Invited Talk by Adam Cheyer at 7:30 PM in Hall 200A. USA) Alice M. Mulvehill (Memory Based Research, LLC, AAAI-14 Conference Fête USA) e AAAI-14 Conference Fête will be held Tuesday evening, July 29, 7:30 PM – 10:30 PM at Le éâtre Lin Padgham (RMIT University, Australia) Capitole and Le Cabaret du Capitole de Québec, 972 Rue Saint-Jean, Québec, QC G1R 1R5, a 5 minute Lynne E. Parker (University of Tennessee, USA) walk from the Convention Center. Established in 1903 and located in the heart of old Québec, this Gerald Penn (University of Toronto, Canada) unique urban architectural building is considered the loveliest banquet hall in Québec City. e con- William C. Regli (Drexel University, USA) necting Cabaret is the old Cinema de Paris and has a charming Art Deco style. A jazz trio will perform, Sandip Sen (University of Tulsa, USA) and heavy hors d'oevres and desserts will be served along with a complimentary beverage. Your admit- Miroslav N. Velev (Aries Design Automation, LLC, tance to the AAAI-14 Conference Fete is included in your conference registration. Guests and children USA) are welcome to attend for a guest fee of $100.00 per person. John Yen (e Pennsylvania State University, USA) Zhi-Hua Zhou (Nanjing University, China) AAAI-14 Poster Sessions Classic Paper Award is year, there will be three poster sessions (one each day) with scheduled presentations by plenary e 2014 AAAI Classic Paper award honors the fol- session technical presenters and authors of papers presented in poster format only. However, all ac- cepted technical papers will be presented in poster format and will be available throughout the techni- lowing authors of paper(s) deemed most influential cal program, beginning at 2:00 PM on Tuesday, July 29 in Hall 200C. from the irteenth National Conference on Artifi- e Tuesday, July 29, early evening poster session, to be held at 5:30 – 7:00 PM, will also include Stu- cial Intelligence, held in 1996 in Portland, oregon. dent Abstracts, Doctoral Consortium Abstracts, EAAI-14 posters, and Poker Competition posters. (For 2014 AAAI Classic Paper Awards a complete listing of posters, please refer to page 23.) e reception originally scheduled at this time Michael Pazzani will present a talk on Tuesday, July has been moved to Wednesday, July 30, 6:00 – 7:15 PM (see Fun and Games Night below). 29, at 11:35 AM, Room 303A, third level. CRA-W/CDC Broadening Participation in AI — AAAI-14 Women's Lunch 2014 Classic Paper Award Syskill & Webert: Identifying Interesting Web Sites Tuesday, July 29, 11:50 AM – 1:00 PM Michael J. Pazzani, Jack Muramatsu and Daniel Billsus Room 206A/B For significant contributions to the field of personaliz- AAAI, in cooperation with AI Journal and CRA-W/CDC, is pleased to host the first Women’s Lunch. ing Internet content and learning user profiles. is lunch is one component of the CRA-W/CDC Broadening Participation in AI program. other com- ponents of this program include an aernoon workshop on Monday, July 28 (Room 204A), and a Honorable Mention breakfast on ursday, July 31 (Room 205A), both of which are by invitation only. e main goal of Estimating the Absolute Position of a Mobile Robot this program is to increase participation of women and members of other underrepresented groups in Using Position Probability Grids Artificial Intelligence by providing community building and networking sessions as well as career Wolfram Burgard, Dieter Fox, Daniel Hennig, and mentoring advice. Participants will have ample opportunities to interact with established researchers, Timo Schmidt to network with other participants, and to receive mentoring about career planning and career options. For significant contributions to solving the problem of Pre-registration was required for the lunch. self-localization of mobile robots. Pushing the Envelope: Planning, Propositional Logic, AAAI Fun and Games Night / Wednesday Evening Buffet and Stochastic Search Wednesday, July 30, 7:30 PM – 10:30 PM Pasta Station, 6:00 PM – 7:15 PM Henry Kautz and Bart Selman Room 206A/B Hall 200C For establishing satisfiability testing as a wide-ranging e very successful 2013 Puzzle Hunt will be followed up this year by an evening of activities designed method for solving planning problems. to boggle the mind and create lots of fun! Join us for AI Bingo, AI Family Feud, board games, and more! Fun and Games Night will be preceded by a Pasta Station Buffet from 6:00 – 7:15 PM in Hall 200C. A Distinguished Service Award $35.00 per person fee ($15.00 for children) will be charged for guests and other nontechnical confer- e AAAI Distinguished Service award recognizes ence registrants attending the Wednesday Evening Buffet. one individual each year for extraordinary service to the AI community. e 2014 recipient is David B. AAAI Speed Dating Leake, Indiana University, who is being recognized Wednesday, July 30, 5:00 PM – 6:00 PM for his outstanding work as editor-in-chief of AI Room 206A/B Magazine, the journal of record for the AI commu- Meet someone new! e president of AAAI. e president of IJCAI. e editor-in-chief of AI Maga- nity, for more than 15 years, his sustained service as zine. e editors-in-chief of the AI Journal. or one of your colleagues from down the hall. We are pleased to present the inaugural AAAI speed date. It's sure to be a fun hour with drinks and nibbles, a AAAI publications chair, and his seminal work and welcome gi, and a free raffle for a Nexus 7 and other goodies. We'll be using ancient Chinese astro- service in the case-based reasoning and learning logical information as a means of organizing the dates. Doors open at 5:00 PM sharp. ere will be no communities. admittance aer 5:10 PM, and admittance is limited to the first 240 people to arrive. It's sure to be a great opportunity to network, and to receive or give mentoring and career advice.
4 SoCIAL EVENTS, AWARDS CoNTINUED Morning AFTERNooN EVENING
Sunday, July 27
Tutorial Forum Tutorial Forum Workshops Workshops AAAI/SIGAI DC AAAI/SIGAI DC Robotics Robotics
Monday, July 28
AAAI Business Meeting opening Reception Tutorial Forum Tutorial Forum Workshops Workshops AAAI/IAAI Joint Talk: Cheyer AAAI/SIGAI DC AAAI/SIGAI DC EAAI-14 EAAI-14 Fellows Dinner CRA-W/CDC Workshop CRA-W/CDC Workshop Robotics Robotics
Tuesday, July 29
AAAI / IAAI opening Ceremony / Women’s Lunch Scheduled Poster Session Awards and Honors AAAI Posters Available + Students, EAAI, Poker IAAI RSE Talk: Knoblock AAAI Talks: Kearns and Breazeal What’s Hot / Classic Paper Talks AAAI-14 Conference Fête AAAI/IAAI/EAAI Technical Program AAAI/IAAI/EAAI Technical Program Robotics/Exhibits Robotics/Exhibits
Wednesday, July 30
IAAI Talk: Kaplan Presidential Address: Veloso Speed Dating Senior Member / What’s Hot Papers AAAI/IAAI Technical Program Pasta Station Buffet AAAI/IAAI Technical Program Scheduled Poster Session Fun & Games Night AAAI Posters Available Robotics/Exhibits Robotics/Exhibits
ursday, July 31
Senior Member / What’s Hot Papers / AAAI Community Meeting IJCAI-JAIR Award Talk AAAI Talk: Smyth AI Video Competition AAAI Talk: Tambe AAAI/IAAI Technical Program Awards AAAI/IAAI Technical Program Scheduled Poster Session AAAI Posters Available Robotics/Exhibits
CoNFERENCE AT A GLANCE 5 e Fih Symposium on Educational Advances in AI (EAAI-14)
EAAI-14 2:30 – 3:30 PM — Model AI Assignments Session Monday – Tuesday, July 28 – 29 Party Affiliation Classification from State of the Union Addresses Room 203 Laura E. Brown EAAI-14 provides a venue for researchers and educators to discuss pedagogi- Comparing Brute-Force Searching versus the MRV Heuristic in Sudoku Puzzles cal issues and share resources related to teaching AI and using AI in education Roger L. West across a variety of curricular levels (K-12 through postgraduate training), with 3:30 – 4:00 PM — Coffee Break a natural emphasis on undergraduate and graduate teaching and learning. e symposium will explore how to more effectively teach AI, as well as how 4:00 – 4:30 PM — Poster Spotlight themes from AI may be used to enhance education more broadly. EAAI-14 Jim: A Platform for Affective AI in an Interdisciplinary Setting features a technical program, a poster program as part of the poster reception Robert Selkowitz, Michael Heilemann, Jon Mrowczynski on Tuesday evening, and a "Model AI" session highlighting innovative, ready- Easychair as a Pedagogical Tool Engaging Graduate Students in the Reviewing Pro- to-adopt materials. EAAI-14 is included in the AAAI-14 technical registration cess fee, but an EAAI-14 only registration option is also available. Kartik Talamadupula, Subbarao Kambhampati
EAAI-14 Program Schedule 4:30 – 5:00 PM (Please consult www.cs.mtu.edu/~lebrown/eaai/ for any last-minute schedule updates.) EAAI Big Ideas Discussion Monday, July 28, 2014 Tuesday, July 29, 2014
9:30 – 10:40 AM — Opening and Invited Talk 8:30 – 9:00 AM Welcome AAAI-14 Opening Ceremony and Awards Laura Brown and Todd Neller, EAAI-14 Cochairs 9:00 – 10:00 AM EAAI-14 Invited Talk IAAI-14 Robert S. Engelmore Award Lecture Michael Littman Craig Knoblock
10:40 – 11:00 AM — Coffee Break 10:00 – 10:20 AM — Coffee Break
11:00 – 12:00 PM — Paper Session 10:20 – 11:40 AM Shallow Blue: Lego-Based Embodied AI as a Platform for Cross-Curricular Project Teaching and Mentoring Workshop, Part I Based Learning Robert Selkowitz, Debra T. Burhans e workshop brings attendees together in an engaging, interative setting to discuss and share creative teaching strategies and facilitate the creation of professional con- DOROTHY: Enhancing Bidirectional Communication between a 3D Programming tacts and mentoring relationships. Interface and Mobile Robots — Teaching with Watson Emilie Featherston, Mohan Sridharan, Susan Urban, Joseph Urban 2:10 – 2:50 PM Teaching with Watson Teaching and Mentoring Workshop, Part II Michael Wollowski 2:50 – 3:40 PM 1:30 – 2:30 PM — Model AI Assignments Session Networking and Brainstorming Session An Introduction to Monte Carlo Techniques in AI — Part I 3:40 – 4:00 PM — Coffee Break Todd W. Neller Multi-Player Games: Introducing Assignments with Open-Ended Strategies in CS2 4:00 – 10:30 PM — AAAI Program James Heliotis, Sean Strout, Ivona Bezáková Invited Talk, Plenary Session, Poster Session Strimko by Resolution Bikramjit Banerjee, Daniel ompson
AAAI-14 Student Programs
AAAI-14 Student Abstract and Poster Program AAAI/SIGAI Doctoral Consortium (DC-14) is program provides a forum in which students can present and discuss e Nineteenth AAAI/SIGAI Doctoral Consortium program will be held on their work during its early stages, meet some of their peers who have related Sunday and Monday, July 27 - 28, in 206B. e Doctoral Consortium provides interests, and introduce themselves to more senior members of the field. e an opportunity for a group of Ph.D students to discuss and explore their re- Student Poster session will be held Tuesday, July 29, 5:30 – 7:00 PM in Hall search interests and career objectives in an interdisciplinary workshop togeth- 200B. er with a panel of established researchers. e sixteen students accepted to participate in this program will also participate in the AAAI-14 evening Poster AAAI Fellow / Student Lunches Session on Tuesday, July 29. All interested AAAI-14 student registrants are in- First held in 2006, this program provides an opportunity for a small number vited to observe the presentations and participate in discussions at the work- of students to chat with a AAAI Fellow over an informal lunch during the con- shop. AAAI and SIGAI gratefully acknowledge grants from the National Sci- ference. Sign-up sheets are available at the onsite registration desk in the Con- ence Foundation and David E. Smith, providing partial funding for this event. vention Center. Students should meet their designated Fellow in onsite regis- e final schedule is available at eecs.wsu.edu/~taylorm/aaai2014-dc/ tration on their assigned day.
6 EAAI TECHNICAL SCHEDULE, AAAI-14 STUDENT PRoGRAMS AI Video Competition Awards Special Meetings
e Eighth AI Video Competition Awards Ceremo- AAAI Business Meeting AAAI Publications Committee Meeting ny will be held immediately following the poster e AAAI Annual Business Meeting will be held e AAAI Publications Committee Meeting will session on ursday, July 31, from 5:30 – 6:30 PM in Monday, July 28, 1:15 – 1:45 PM, Room 301A. All be held Wednesday, July 30, 7:45 – 8:45 AM in the the Main Hall, Foyer 4, Loggia. Authors of award- AAAI members are welcome. Hilton Québec. winning videos will be presented with Shakey tro- phies that honor SRI's Shakey robot and its pioneer- AAAI Community Meeting AI Journal Editorial Board Meeting ing video. Award winning videos will be screened at Please join us for a community meeting! We in- e AI Journal Editorial Board Meeting will be the ceremony. e objective of this competition is to vite you to join the AAAI Executive Council held Wednesday, July 30, 12:00 PM – 1:00 PM in communicate to the world the fun of pursuing re- members, and bring your thoughts and ideas for the Solarium, 3rd Level. search in AI, and illustrate the impact of some of the future of AAAI! e gathering will be held AI Magazine Editorial Board Meeting our applications. Submitters were asked to create ursday, July 31, 12:00 – 1:00 PM in Room 301A. narrated videos of 1-5 minutes in length. Everyone is welcome! e AI Magazine Editorial Board Meeting will be e submissions were reviewed by an interna- held Tuesday, July 29, 12:00 - 1:00 PM, Solarium, tional program committee, led by cochairs Mauro AAAI Conference Committee Meeting 3rd Level. AAAI Conference Committee Meeting will be Birattari (Université Libre de Bruxelles, Belgium) JAIR Editorial Board Meeting and Sabine Hauert (University of Bristol, UK). held ursday, July 31, 7:45 – 8:45 AM in the Awards will be presented in the following cate- Hilton Québec. e JAIR Editorial Board Meeting will be held ursday, July 31, 12:00 – 2:00 PM, Solarium, 3rd gories: Best Video, Best Short Video, Best Student AAAI Executive Council Meeting Video, Best Robot Video, and Most Entertaining Level. Video. AAAI gratefully acknowledges the AI Journal e AAAI Executive Council Meeting will be held Review Board for its donation and the DMRC of the Monday, July 28, 9:00 PM – 4:00 PM, Solarium, University of Paderborn, Germany, for help with 3rd Level. Continental breakfast will be available the manufacturing of the awards. at 8:30 AM.
Computer Poker Competition & Workshop AAAI/CogSci Robotics Exhibition Saturday, July 26 – ursday, July 31, Room 202 e AAAI Annual Computer Poker Competition showcases state-of-the-art intelligent programs for playing poker. e 2014 competition will consist of AAAI and the Cognitive Science Society invite INRIA/ENSTA-Paristech Robot Name: Poppy Project four poker variants — two-player Texas Hold'em you to visit the joint AAAI/CogSci Robotics Exhi- bition. e exhibition is an opportunity to view Team Name: Flowers with both limit and no-limit betting structures, Contacts: Pierre-Yves oudeyer, Jonathan Grizou, three-player limit Texas Hold'em, and three-player robot systems and demonstrations that highlight advances in the last five years. Teams represent- Nicolas Jahier Kuhn poker. With many interesting challenges in all e Poppy Project develops an open-source 3D four categories, we expect this year's competition to ing the following institutions will participate in the exhibition: printed humanoid platform based on robust, flexi- continue to spur the development of new tech- ble, easy-to-use and reproduce hardware and so- niques for playing large games of imperfect infor- ware. In particular, the use of 3D printing and rapid Canisius College mation. e accompanying 2014 Computer Poker prototyping technologies is a central aspect of this Contact: Debra Burhans Workshop (W4) that will take place on Sunday, July project, and makes it easy and fast not only to re- produce the platform, but also to explore morpho- 27 in 205A will provide a forum where researchers Institute for Robotics and Mechatronics / studying computer poker and other games of im- logical variants. Poppy targets three domains of University of Toronto use: science, education and art. It was designed to perfect information can share current research and Robot Name: e Socially Assistive Robot Tangy be a new experimental platform opening the possi- gather ideas about how to improve the state of the Contact: Goldie Nejat bility to systematically study the role of morpholo- art and advance AI research in these areas. e re- Did anyone say Bingo? e mobile socially assistive gy in sensorimotor control, in human-robot inter- sults of the 2014 AAAI Annual Computer Poker robot, Tangy, is currently being developed to pro- action and in cognitive development. Competition will be announced during the work- vide cognitive and social interventions to elderly res- shop. Some poster authors will present their work at idents in long-term care facilities. Presently, the University of Michigan the AAAI-14 poster reception on Tuesday evening, robot focuses on assisting multiple residents in the Robot Name: Rosie 5:30 – 7:00 PM, Hall 200B. group-based recreational activity of Bingo. Tangy is Team Name: University of Michigan Soar Group capable of autonomously: 1) planning and schedul- Contact: John Laird ing Bingo games based on the schedules of the resi- Come see Rosie learn new tasks and games in real dents, and 2) facilitating and promoting engagement time from natural language instruction. Rosie is the in these games. Come join us at the exhibition to ex- first robot to demonstrate on-line interactive task perience a one-on-one Bingo game facilitated by our learning of several different tasks from scratch. robot Tangy and see how the robot can assist users Rosie is built on the Soar cognitive architecture and during the game. We will also present other exciting learns colors, shapes, sizes, prepositions, verbs, and robots being developed at IRM. task from restricted natural language. It also learns new games such as Tic-Tac-Toe and Tower of Social Robotics Lab at Yale University Hanoi. Rosie also addresses challenges that arise at Contact: Larissa Hall the interface of robotics and AI including cogni- tively driven object tracking, knowledge-rich ma- chine learning with sparse data, and game-play in the physical world.
AFFILIATED EVENTS, SPECIAL MEETINGS 7 AAAI-14 / IAAI-14 Invited Talks
All AAAI-14 and IAAI-14 Invited Talks, July 29 – 31 will be held in Hall 200A Second Level, unless otherwise noted. Monday, July 28 Wednesday, July 30
PM PM 7:30 – 8:30 , Hall 200A 9:00 AM – 10:00 AM IAAI / AAAI Joint Invited Talk IAAI-14 Invited Talk Siri: Back to the Future e Conversational User Interface Adam Cheyer Ron Kaplan (Nuance Communications, Inc.) (Please see full description on page 9) Introduction by David Stracuzzi Work on both the graphical user interface (GUI) and the conversational user in- Tuesday, July 29 terface (CUI) started at about the same time, about 40 years ago. e GUI was a 8:30 AM – 9:00 AM lot easier to implement, and it made computing and information resources avail- AAAI-14 / IAAI-14 Opening Ceremony able to ordinary people. But over the years it has lost much of its simplicity and AAAI Welcome and Award Presentations charm. e CUI has taken many more years to develop, requiring major scien- tific and engineering advances in speech, natural language processing , user- Carla Brodley and Peter Stone, AAAI-14 Program Cochairs modeling, and reasoning, not to mention increases in cost-effec tive computa- IAAI Welcome and Award Presentations tion. But the infrastructure is now in place for the creation and widespread dis- tribution of conversational interfaces. is talk describes some natural modes of David Stracuzzi, IAAI-14 Conference Chair; David Gunning, IAAI-14 Program conversational interaction and some of the supporting Cochair; and David Leake, AI Magazine Editor-in-Chief technologies that are now under development. IJCAI–JAIR Best Paper Award Presentations 1:00 PM – 2:00 PM Craig Boutilier, Editor-in-Chief, JAIR AAAI-14 Presidential Address Fellows Announcement, Senior Member Recognition, AI and AAAI: Fascinating Research and Engaged Community AAAI Classic Paper Award, Distinguished Service Award Manuela M. Veloso (Carnegie Mellon University) Henry Kautz, AAAI Past President and Awards Committee Chair; (Please see full description on page 3) Manuela Veloso, AAAI President; and omas Dietterich, AAAI President-Elect ursday, July 31 9:00 AM – 10:00 AM AAAI 2014 Robert S. Engelmore Award Lecture 10:15 AM – 11:15 AM From Virtual Museums to Peacebuilding: Creating and Using Linked AAAI-14 Invited Talk Knowledge Game eory for Security: Key Algorithmic Principles, Deployed Appli- Craig A. Knoblock (University of Southern California) cations, Research Challenges (Please see full description on page 9) Milind Tambe (University of Southern California)
1:00 PM – 2:00 PM Introduction by Peter Stone AAAI-14 Invited Talk Security is a global concern, requiring efficient, randomized allocation and Behavioral Network Science scheduling of limited security resources. To that end, we have used computation- al game theory to build decision aids for security agencies around the world. Michael Kearns (University of Pennsylvania) ese decision aids are in use by agencies such as the US Coast Guard for protec- Introduction by Peter Stone tion of ports and ferry traffic, and the Federal Air Marshals Service and LAX po- For a number of years, we have been conducting human subject experiments on lice for protecting air traffic; our game-theoretic algorithms are also under eval- collective and individual behavior and performance in social networks. ese ex- uation for suppression of urban crime and for protection of wildlife and fisheries. periments have investigated diverse competitive, cooperative and computational I will overview my group's research in this growing area of security games. tasks that include graph coloring, voting, trading and viral marketing under a wide variety of network structures. In this talk I will survey these experiments 1:30 PM– 2:30 PM and their findings, emphasizing the questions they raise for multi-agent systems, AAAI-14 Invited Talk machine learning, and other disciplines. Invited Talk
4:00 PM – 5:00 PM Padhraic Smyth (University of California, Irvine) AAAI-14 Invited Talk Introduction by Carla Brodley Invited Talk Padhraic Smyth received a first class honors degree in Electronic Engineering from National University of Ireland (Galway) in 1984, and the MSEE and PhD Cynthia Breazeal (Massachusetts Institute of Technology) degrees (in 1985 and 1988 respectively) in Electrical Engineering from the Cali- Introduction by Carla Brodley fornia Institute of Technology. From 1988 to 1996 he was a technical group lead- Cynthia Breazeal is an Associate Professor at MIT where she founded and directs er at the Jet Propulsion Laboratory, Pasadena, and has been on the faculty at UC the Personal Robots Group at the Media Lab. She is recognized as a key pioneer Irvine since 1996, where he is a professor in the Department of Computer Sci- of Social Robotics and Human Robot Interaction. Her research spans both the ence and the Department of Statistics, and is director of the Center for Machine creation of intelligent and socially responsive robots, as well as studying their Learning and Intelligent Systems. His research interests include machine learn- impact on contributing to people’s quality of life across early childhood learning, ing, pattern recognition, and applied statistics. He is an ACM Fellow (2013), a creativity, health, telecommunications, and play. She has authored the book “De- AAAI Fellow (2010), and a recipient of the ACM SIGKDD Innovation Award signing Sociable Robots” and has published over 100 peer-reviewed articles. She (2009). He is co-author of the text Principles of Data Mining (with David Hand has presented at TED, is a recipient of Technology Review’s TR100/TR35 Award, and Heikki Mannila in 2001), and served as program chair of the UAI 2014 and TIME magazine’s Best Inventions, and was honored as finalist in the National ACM SIGKDD 2011 conferences. In addition to his academic research he is also Design Awards in Communication. She received her doctoral degree from MIT active in industry consulting and has worked with companies such as Samsung, in 2000. eBay, Yahoo!, Microso, oracle, Nokia, and AT&T, as well as serving as an aca- demic advisor to Netflix for the Netflix prize competition from 2006 to 2009.
8 INVITED SPEAKERS AAAI / IAAI Joint Invited Talk Siri: Back to the Future
Adam Cheyer Introduction by David Gunning Monday, July 28, 7:30 PM – 8:30 PM, Hall 200A
Siri is the virtual personal assistant resident inside hundreds of millions of Apple devices. Ask Siri to buy you a movie ticket, make a restaurant reservation, send a message or a tweet, or get the score of the big game and Siri will help you get the job done quickly and easily, through a conversational interaction. People oen ask me, "What technology is really behind Siri" and "What's next for Siri?" As a former Apple employee, I'm not at liberty to talk about either of these questions. However, without saying anything related to Apple's system or roadmaps, I can describe the past, explaining what got le "on the cutting room floor" as Siri moved forward from research to commercialization up to an eventual acquisition by Apple. In this talk, I will present the technology and features behind a lineage of systems leading towards Apple's Siri: oAA, Vanguard, CALo, Active, the startup Siri. We will do it in reverse: the farther we go back in time, the more futuristic each version gets, with fantastic capabilities not available in any later version. As Steve Jobs famously said, "You can't connect the dots looking forward, you can only connect them looking backwards..."
AAAI 2014 Robert S. Engelmore Award Lecture From Virtual Museums to Peacebuilding: Creating and Using Linked Knowledge
Craig A. Knoblock (University of Southern California) Introduction by David Leake Tuesday, July 29, 9:00 AM – 10:00 AM, Hall 200A Second Level
Companies, such as Google and Microso, are building web-scale linked knowledge bases for the purpose of indexing and searching the web, but these efforts do not address the problem of building accurate, fine-grained, deep knowledge bases for specific application domains. We are developing an integration framework, called Karma, which supports the rapid, end-to-end construction of such linked knowledge bases. In this talk I will describe machine-learning techniques for mapping new data sources to a domain model and linking the data across sources. I will also present several applications of this technology, including building virtual museums and integrating data sources for peacebuilding.
Senior Member Presentations What’s Hot Talks
In the AAAI-14 "Senior Member Presentation" track established researchers e AAAI-14 “What’s Hot” track aims to present exciting recent advances and provide broad talks on a well-developed body of research or an important new current challenges in subareas of Artificial Intelligence with major confer- research area. ese presentations provided a "big picture" view, in contrast to ences of their own. In addition, the program features speakers from areas that the regular contributions that focus on a specific contribution. e eleven se- are “hot” but do not have a conference of their own yet. In this category are nior member presentations are scheduled Wednesday and ursday morn- Ken Barker's talk on Challenges beyond Factoid Question Answering and ings, just prior to the commencement of the technical paper talks, and are list- Volodymyr Mnih’s talk on What’s Hot in Reinforcement Learning. e ed in the schedule on pages 10–21. “What’s Hot” presentations are scheduled on Tuesday at 11:35, and on Wednesday and ursday mornings, just prior to the commencement of the technical paper talks. e talks are listed in the schedule on pages 10–21.
Registration Conference registration is located on the second level of the Québec Conven- AAAI attendees who wish to register onsite will be asked to complete an on- tion Center, beginning Sunday, July 27. Registration hours are: site form, and then process their own registration at the AAAI-14 registration Sunday, July 27 7:30 AM – 5:00 PM site: www.regonline.com/aaai14 within the following 24-hour period. ey will be issued a badge at the time that they complete the form. For a list of reg- Monday, July 28 7:30 AM – 5:00 PM istration rates, please see aaai.org/AAAI14 or visit onsite registration. Atten- Tuesday, July 29 8:00 AM – 5:00 PM dees who select not to use the online system will be required to pay by check Wednesday, July 30 8:30 AM – 5:00 PM or cash onsite.
ursday, July 31 8:30 PM – 12:00 PM
AAAI-IAAI JoINT TALK, ENGELMoRE LECTURE, SENIoR MEMBER AND WHAT’S HoT TRACKS, REGISTRATIoN 9 HALL 200A 301A 301B 302A
AAAI-14 / IAAI-14 Opening Ceremony AAAI Welcome and Award Presentations Carla Brodley and Peter Stone, AAAI-14 Program Cochairs AM IAAI Welcome and Award Presentations David Stracuzzi, David Gunning, David Leake IJCAI-JAIR Best Paper Award Presentations Craig Boutilier, Editor-in-Chief, JAIR
8:30 – 9:00 AAAI Special Awards: Fellows Announcement, Senior Member Recognition, AAAI Classic Paper Award, Distinguished Service Award Henry Kautz, Manuela Veloso, omas Dietterich
IAAI 2014 Robert S. Engelmore Award Novel Machine Learning Algorithms Knowledge Representation and Reason- Search and Constraint Satisfaction Lecture ing Representation Acquisition for Task-Level Boosting SBDS for Partial Symmetry From Virtual Museums to Peacebuilding: Planning e Complexity of Reasoning with FoDD Breaking in Constraint Programming Creating and Using Linked Knowledge George Konidaris, Leslie Pack Kaelbling, Tomas and GFoDD Jimmy H. M. Lee, Zichen Zhu Craig A. Knoblock (University of Southern Cal- Lozano-Perez Benjamin J. Hescott, Roni Khardon ifornia) — Introduction by David Leake Linear-Time Filtering Algorithms for the Imitation Learning with Demonstrations Querying Inconsistent Description Logic Disjunctive Constraint and Shaping Rewards Knowledge Bases under Preferred Repair Hamed Fahimi, Claude-Guy Quimper Kshitij Judah, Alan Fern, Prasad Tadepalli, Semantics
AM Robby Goetschalckx Meghyn Bienvenu, Camille Bourgaux, François Backdoors into Heterogeneous Classes of Goasdoué SAT and CSP Spectral ompson Sampling Serge Gaspers, Neeldhara Misra, Sebastian Or- Tomáš Kocák, Michal Valko, Remi Munos, e Computational Complexity of Struc- dyniak, Stefan Szeider, Stanislav Živný Shipra Agrawal ture-Based Causality Gadi Aleksandrowicz, Hana Chockler, Joseph A Support-Based Algorithm for the Bi-ob- Best Paper Nominee: Manifold Learning for Y. Halpern, Alexander Ivrii jective Pareto Constraint Jointly Modeling Topic and Visualization Renaud Hartert, Pierre Schaus 9:00 – 10:00 Tuan M. V. Le, Hady W. Lauw A Knowledge Compilation Map for or- dered Real-Valued Decision Diagrams Helene Fargier, Pierre Marquis, Alexandre Niveau, Nicolas Schmidt
CoFFEE BREAK, 10:00 – 10:20 AM
Novel Machine Learning Algorithms Planning and Scheduling Game eory and Multiagent Systems Wormhole Hamiltonian Monte Carlo Parametrized Families of Hard Planning Congestion Games for V2G-Enabled EV Shiwei Lan, Jeffrey Streets, Babak Shahbaba Problems from Phase Transitions Charging Eleanor G. Rieffel, Davide Venturelli, Minh Do, Benny Lutati, Vadim Levit, Tal Grinshpoun, Learning the Structure of Probabilistic Itay Hen, Jeremy Frank Amnon Meisels Graphical Models with an Extended Cas- cading Indian Buffet Process Backdoors to Planning A Game-eoretic Analysis of Catalog op- Patrick Dallaire, Philippe Giguère, Brahim Martin Kronegger, Sebastian Ordyniak, An- timization Chaib-Draa dreas Pfandler Joel Oren, Nina Narodytska, Craig Boutilier Small-Variance Asymptotics for Dirichlet Scheduling for Transfers in Pickup and De- Robust Winners and Winner Determina-
AM Process Mixtures of SVMs livery Problems with Very Large Neighbor- tion Policies under Candidate Uncertainty Yining Wang, Jun Zhu hood Search Craig Boutilier, Jérôme Lang, Joel Oren, Hector Brian Coltin, Manuela Veloso Palacios Using the Matrix Ridge Approximation to Speedup Determinantal Point Processes A Scheduler for Actions with Iterated Du- eory of Cooperation in Complex Social Sampling Algorithms rations Networks Shusen Wang, Chao Zhang, Hui Qian, Zhihua James Paterson, Eric Timmons, Brian C. Bijan Ranjbar-Sahraei, Haitham Bou Ammar,
10:20– 11:35 Zhang Williams Daan Bloembergen, Karl Tuyls, Gerhard Weiss Large-Scale optimistic Adaptive Submodu- Best Paper Nominee: Generalized Label Re- Prices Matter for the Parameterized Com- larity duction for Merge-and-Shrink Heuristics plexity of Shi Bribery Victor Gabillon, Branislav Kveton, Zheng Wen, Silvan Sievers, Martin Wehrle, Malte Helmert Robert Bredereck, Jiehua Chen, Piotr Faliszews- Brian Eriksson, S. Muthukrishnan ki, André Nichterlein, Rolf Niedermeier
What’s Hot: ICAPS What’s Hot: AAMAS
AM Challenges in Planning What’s Hot in Autonomous Agents Rao Khambampati Noa Agmon 11:35 – 11:50
LUNCH, 11:50 AM– 1:00 PM
10 CoNFERENCE SCHEDULE—TUESDAY MoRNING, JULY 29 302B 303A 303B 304A/B AM 8:30 – 9:00
NLP and Text Mining Computational Sustainability and AI Game eory and Economic Paradigms IAAI 2014 Robert S. Engelmore Award Lecture (Hall 200A) Lifetime Lexical Variation in Social Media Best Paper Nominee: Placement of Loading A Control Dichotomy for Pure Scoring Liao Lizi, Jing Jiang, Ying Ding, Heyan Huang, Stations for Electric Vehicles: No Detours Rules From Virtual Museums to Peacebuilding: Ee-Peng Lim Necessary! Edith Hemaspaandra, Lane A. Hemaspaandra, Creating and Using Linked Knowledge Stefan Funke, André Nusser, Sabine Storandt Henning Schnoor Craig A. Knoblock (University of Southern Cal- Extracting Keyphrases from Research Pa- ifornia) — Introduction by David Leake pers Using Citation Networks A Latent Variable Model for Discovering False-Name Bidding and Economic Effi- Sujatha Das Gollapalli, Cornelia Caragea Bird Species Commonly Misidentified by ciency in Combinatorial Auctions Citizen Scientists Colleen Alkalay-Houlihan, Adrian Vetta
AM Detecting Information-Dense Texts In Jun Yu, Rebecca A. Hutchinson, Weng-Keen Item Bidding for Combinatorial Public Multiple News Domains Wong Yinfei Yang, Ani Nenkova Projects Intelligent System for Urban Emergency Evangelos Markakis, Orestis Telelis Chinese overt Pronoun Resolution: A Management During Large-Scale Disaster Betting Strategies, Market Selection, and Bilingual Approach Xuan Song, Quanshi Zhang, Yoshihide Sekimo- Chen Chen, Vincent Ng the Wisdom of Crowds to, Ryosuke Shibasaki Willemien Kets, David M. Pennock, Rajiv Sethi, 9:00 – 10:00 Contextually Supervised Source Separation Nisarg Shah with Application to Energy Disaggregation Matt Wytock, J. Zico Kolter
CoFFEE BREAK, 10:00 – 10:20 AM
AI and the Web Human Computation and Crowd Sourc- Reasoning under Uncertainty IAAI Deployed Applications ing Who Also Likes It? Generating the Most Best Paper Nominee: Recovering from Se- Session Chair: Ted Senator Persuasive Social Explanations in Recom- Acquiring Commonsense Knowledge for lection Bias in Causal and Statistical Infer- Deployed: Evaluation and Deployment of a mender Systems Sentiment Analysis through Human Com- ence People-to-People Recommender in online Beidou Wang, Martin Ester, Jiajun Bu, Deng putation Elias Bareinboim, Jin Tian, Judea Pearl Dating Cai Marina Boia, Claudiu Cristian Musat, Boi A. Krzywicki, W. Wobcke, Y. S. Kim, X. Cai, M. Faltings Best Paper Nominee: Tractability through Leveraging Decomposed Trust in Proba- Exchangeability: A New Perspective on Ef- Bain, P. Compton, A. Mahidadia bilistic Matrix Factorization for Effective Signals in the Silence: Models of Implicit ficient Probabilistic Inference Deployed: e Quest Dra: An Automated Recommendation Feedback in a Recommender System for Mathias Niepert, Guy Van den Broeck Course Allocation Algorithm Hui Fang, Yang Bao, Jie Zhang Crowdsourcing
AM Richard Hoshino, Caleb Raible-Clark Christopher H. Lin, Ece Kamar, Eric Horvitz Liing Relational MAP-LPs Using Cluster TopicMF: Simultaneously Exploiting Rat- Signatures Deployed: THink: Inferring Cognitive Sta- ings and Reviews for Recommendation online and Stochastic Learning with a Hu- Udi Apsel, Kristian Kersting, Martin Mladenov tus from Subtle Behaviors Yang Bao, Hui Fang, Jie Zhang man Cognitive Bias Randall Davis, David J. Libon, Rhoda Au, Hidekazu Oiwa, Hiroshi Nakagawa Approximate Liing Techniques for Belief Combining Heterogenous Social and Geo- Propagation David Pitman, Dana L. Penney graphical Information for Event Recom- Anytime Active Learning Parag Singla, Aniruddh Nath, Pedro Domingos
10:20– 11:35 mendation Maria E. Ramirez-Loaiza, Aron Culotta, Zhi Qiao, Peng Zhang, Yanan Cao, Chuan Mustafa Bilgic Explanation-Based Approximate Weighted Zhou, Li Guo, Bingxing Fang Model Counting for Probabilistic Logics Generating Content for Scenario-Based Se- Joris Renkens, Angelika Kimmig, Guy Van den Parallel Materialisation of Datalog Pro- rious-Games Using CrowdSourcing Broeck, Luc De Raedt grams in Centralised, Main-Memory RDF Sigal Sina, Avi Rosenfeld, Sarit Kraus Systems Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks, Dan Olteanu
Classic Paper Award What’s Hot: CogSci
AM 2014 Classic Paper Award: Syskill & We- What’s Hot in Cognitive Science bert: Identifying Interesting Web Sites Matthias Scheutz Michael J. Pazzani, Jack Muramatsu and Daniel Billsus 11:35 – 11:50
LUNCH, 11:50 AM– 1:00 PM
CoNFERENCE SCHEDULE—TUESDAY MoRNING, JULY 29 11 HALL 200A 301A 301B 302A
AAAI-14 Invited Talk PM Behavioral Network Science Michael Kearns (University of Pennsylvania) Introduction by Peter Stone 1:00 – 2:00
Plenary Technical Session 1 (Hall 200A) Automatic Construction and Natural-Language Description of Can Agent Development Affect Developer’s Strategy? Nonparametric Regression Models Avshalom Elmalech, David Sarne, Noa Agmon James Robert Lloyd, David Duvenaud, Roger Grosse, Joshua B. Tenenbaum, Zoubin Ghahramani Active Learning with Model Selection Confident Reasoning on Raven’s Progressive Matrices Tests Keith McGreggor, Ashok Goel
PM Alnur Ali, Rich Caruana, Ashish Kapoor Sketch Recognition with Natural Correction and Editing Learning Deep Representations for Graph Clustering Jie Wu, Changhu Wang, Liqing Zhang, Yong Rui Fei Tian, Bin Gao, Qing Cui, Enhong Chen, Tie-Yan Liu Designing Fast Absorbing Markov Chains Capturing Difficulty Expressions in Student online Q&A Discussions Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman Jaebong Yoo, Jihie Kim 2:00 – 2:30 on Hair Recognition in the Wild by Machine Quality-Based Learning for Web Data Classification Joseph Roth, Xiaoming Liu Ou Wu, Ruiguang Hu, Xue Mao, Weiming Hu How Do Your Friends on Social Media Disclose Your Emotions? A Region-Based Model for Estimating Urban Air Pollution Yang Yang, Jia Jia, Shumei Zhang, Boya Wu, Qicong Chen, Juanzi Li, Chunxiao Xing, Jie Tang Arnaud Jutzeler, Jason Jingshi Li, Boi Faltings
Robotics Knowledge Representation and Reason- Vision ing Robust Visual Robot Localization across Semantic Graph Construction for Weakly- Seasons Using Network Flows A Tractable Approach to ABox Abduction Supervised Image Parsing Tayyab Naseer, Luciano Spinello, Wolfram over Description Logic ontologies Wenxuan Xie, Yuxin Peng, Jianguo Xiao Burgard, Cyrill Stachniss Jianfeng Du, Kewen Wang, Yi-Dong Shen Efficient object Detection via Adaptive on- A Framework for Task Planning in Hetero- Reasoning on LTL on Finite Traces: Insen- line Selection of Sensor-Array Elements geneous Multi Robot Systems Based on sitivity to Infiniteness Matthai Philipose
PM Robot Capabilities Giuseppe De Giacomo, Riccardo De Masellis, Jennifer Buehler, Maurice Pagnucco Marco Montali Grounding Acoustic Echoes in Single View Geometry Estimation Schedule-Based Robotic Search for Multi- Datalog Rewritability of Disjunctive Data- Wajahat Hussain, Javier Civera, Luis Montano ple Residents in a Retirement Home Envi- log Programs and its Applications to on- ronment tology Reasoning Sub-Selective Quantization for Large-Scale Image Search 2:35– 3:35 Markus Schwenk, Tiago Vaquero, Goldie Nejat Mark Kaminski, Yavor Nenov, Bernardo Cuen- ca Grau Yeqing Li, Chen Chen, Wei Liu, Junzhou GP-Localize: Persistent Mobile Robot Lo- Huang calization Using online Sparse Gaussian Capturing Relational Schemas and Func- Process observation Model tional Dependencies in RDFS Nuo Xu, Kian Hsiang Low, Jie Chen, Keng Kiat Diego Calvanese, Wolfgang Fischl, Reinhard Lim, Etkin Baris Özgül Pichler, Emanuel Sallinger, Mantas Simkus
CoFFEE BREAK, 3:35 – 4:00 PM Hall 200C
PM AAAI-14 Invited Talk Cynthia Breazeal (Massachusetts Institute of Technology) Introduction by Carla Brodley 4:00 – 5:00
Plenary Technical Session 2 (Hall 200A) Tailoring Local Search for Partial MaxSAT Solving Imperfect Information Games Using Decomposition Shaowei Cai, Chuan Luo, John ornton, Kaile Su Neil Burch, Michael Johanson, Michael Bowling Multi-Instance Learning with Distribution Change Exploiting Competition Relationship for Robust Visual Recognition Wei-Jia Zhang, Zhi-Hua Zhou
PM Liang Du, Haibin Ling A Strategy-Proof online Auction with Time Discounting Values Source Free Transfer Learning for Text Classification Fan Wu, Junming Liu, Zhenzhe Zheng, Guihai Chen Zhongqi Lu, Yin Zhu, Sinno Jialin Pan, Evan Wei Xiang, Yujing Wang, Qiang Yang Non-Linear Label Ranking for Large-Scale Prediction of Long-Term User Interests Locality Preserving Hashing Nemanja Djuric, Mihajlo Grbovic, Vladan Radosavljevic, Narayan Bhamidipati, Slobodan Kang Zhao, Hongtao Lu, Jincheng Mei Vucetic 5:00 – 5:30 R2: An Efficient MCMC Sampler for Probabilistic Programs Improving Semi-Supervised Target Alignment via Label-Aware Base Kernels Aditya V. Nori, Chung-Kil Hur, Sriram K. Rajamani, Selva Samuel Qiaojun Wang, Kai Zhang, Guofei Jiang, Ivan Marsic Modeling and Predicting Popularity Dynamics via Reinforced Poisson Process Combining Multiple Correlated Reward and Shaping Signals by Measuring Confidence Huawei Shen, Dashun Wang, Chaoming Song, Albert-László Barabási Tim Brys, Ann Nowé, Daniel Kudenko, Matthew E. Taylor
PM PoSTER SESSIoN I, 5:30 – 7:00 PM Hall 200C (Please see insert)
CoNFERENCE FêTE, 7:30 – 10:30 PM Le éâtre Capitole and Le Cabaret du Capitole de Québec, 972 Rue Saint-Jean (5 minute walk) 5:30 – 5:30 10:30
12 CoNFERENCE SCHEDULE—TUESDAY AFTERNooN, JULY 29 302B 303A 303B 304A/B PM 1:00 – 2:00
IAAI: Resource Scheduling Session Chair: Jana Koehler Deployed: Engineering Works Scheduling for Hong Kong’s Rail Network Andy Hon Wai Chun, Ted Yiu Tat Suen PM Emerging: A Schedule optimization Tool for Destructive and Non-Destructive Vehi- cle Tests Jeremy Ludwig, Annaka Kalton, Robert Richards, Brian Bautsch, Craig Markusic, J.
2:00 – 2:30 Schumacher Emerging: STREETS: Game-eoretic Traf- fic Patrolling with Exploration and Ex- ploitation Matthew Brown, Sandhya Saisubramanian, Pradeep Varakantham, Milind Tambe Cognitive Systems Machine Learning Applications Game eory and Economic Paradigms / Emerging: AI-MIX: Using Automated Plan- Multiagent Systems Learning Compositional Sparse Models of Identifying Differences in Physician Com- ning to Steer Human Workers towards Bimodal Percepts munication Styles with a Log-Linear Tran- Increasing VCG Revenue by Decreasing the Better Crowdsourced Plans Suren Kumar, Vikas Dhiman, Jason J. Corso sition Component Model Quality of Items Lydia Manikonda, Tathagata Chakraborti, Byron C. Wallace, Issa J. Dahabreh, omas A. Mingyu Guo, Argyrios Deligkas, Rahul Savani Sushovan De, Kartik Talamadupula, Subbarao Learning Goal-oriented Hierarchical Tasks Trikalinos, M. Barton Laws, Ira Wilson, Eu- Kambhampati from Situated Interactive Instruction gene Charniak Incentives for Truthful Information Elicita- Shiwali Mohan, John E. Laird tion of Continuous Signals
PM Accurate Household occupant Behavior Goran Radanovic, Boi Faltings Social Planning: Achieving Goals by Alter- Modeling Based on Data Mining Tech- ing others’ Mental States niques Equilibria in Epidemic Containment Chris Pearce, Ben Meadows, Pat Langley, Mike Márcia Baptista, Anjie Fang, Helmut Games Barley Prendinger, Rui Prada, Yohei Yamaguchi Sudip Saha, Abhijin Adiga, Anil Kumar S. Vul- likanti Using Narrative Function to Extract Quali- 2:35– 3:35 Learning Latent Engagement Patterns of tative Information from Natural Language Students in online Courses Texts Arti Ramesh, Dan Goldwasser, Bert Huang, Clion McFate, Kenneth Forbus, omas Hin- Hal Daumé III, Lise Getoor richs Decomposing Activities of Daily Living to Discover Routine Clusters Onur Yürüten, Jiyong Zhang, Pearl Pu
CoFFEE BREAK, 3:35 – 4:00 PM Hall 200C PM 4:00 – 5:00 PM 5:00 – 5:30
PM PoSTER SESSIoN I, 5:30 – 7:00 PM Hall 200C (Please see insert)
CoNFERENCE FêTE, 7:30 – 10:30 PM Le éâtre Capitole and Le Cabaret du Capitole de Québec, 972 Rue Saint-Jean (5 minute walk) 5:30 – 5:30 10:30
CoNFERENCE SCHEDULE— TUESDAY AFTERNooN, JULY 29 13 HALL 200A 301A 301B 302A
What’s Hot: RL/ ECMLPKDD / RSS Senior Member Senior Member: What’s Hot in Reinforce- Program Induction in the Real World ment Learning Stephen Muggleton Volodymyr Mnih Implications of Algorithmic and High-Fre- What’s Hot in Machine Learning quency Trading Animashree Anandkumar Michael Wellman Challenges in Robotics Spectral Learning Methods for Natural
AM Stefanie Tellex Language Processing Lyle Ungar 8:30 – 9:15
Novel Machine Learning Algorithms Knowledge Representation and Reason- Heuristic Search and Optimization ing / Applications Kernelized Bayesian Transfer Learning Exponential Deepening A* for Real-Time Mehmet Gönen, Adam A. Margolin Using Model-Based Diagnosis to Improve Agent-Centered Search Soware Testing Guni Sharon, Ariel Felner, Nathan R. Sturte- Dropout Training for Support Vector Ma- Tom Zamir, Roni Stern, Meir Kalech vant chines Ning Chen, Jun Zhu, Jianfei Chen, Bo Zhang Pay-As-You-Go oWL Query Answering Identifying Hierarchies for Fast optimal Using a Triple Store Search ReLISH: Reliable Label Inference via
AM Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Tansel Uras, Sven Koenig Smoothness Hypothesis Grau, Ian Horrocks Chen Gong, Dacheng Tao, Keren Fu, Jie Yang Elimination ordering in Lied First-order e Most Uncreative Examinee: A First Probabilistic Inference Step toward Wide Coverage Natural Lan- Seyed Mehran Kazemi, David Poole guage Math Problem Solving Takuya Matsuzaki, Hidenao Iwane, Hirokazu
9:15 – 10:00 Anai, Noriko Arai
CoFFEE BREAK, 10:00 – 10:20 AM
Novel Machine Learning Algorithms NLP and Knowledge Representation / Vision NLP and Vision Encoding Tree Sparsity in Multi-Task Learning Low-Rank Representations with Learning: A Probabilistic Framework SenticNet 3: A Common and Common- Classwise Block-Diagonal Structure for Ro- Lei Han, Yu Zhang, Guojie Song, Kunqing Xie Sense Knowledge Base for Cognition-Driv- bust Face Recognition en Sentiment Analysis Yong Li, Jing Liu, Zechao Li, Yangmuzi Zhang, Labeling Complicated objects: Multi-View Erik Cambria, Daniel Olsher, Dheeraj Ra- Hanqing Lu, Songde Ma Multi-Instance Multi-Label Learning jagopal Cam-Tu Nguyen, Xiaoliang Wang, Zhi-Hua Semantic Segmentation Using Multiple Zhou Improving Domain-Independent Cloud- Graphs with Block-Diagonal Constraints Based Speech Recognition with Domain- Ke Zhang, Wei Zhang, Sheng Zeng, Xiangyang Cross-Domain Metric Learning Based on Dependent Phonetic Post-Processing Xue Information eory Johannes Twiefel, Timo Baumann, Stefan Hao Wang, Wei Wang, Chen Zhang, Fanjiang Heinrich, Stefan Wermter Locality-Constrained Low-Rank Coding for Xu Image Classification
AM Knowledge Graph Embedding by Translat- Ziheng Jiang, Ping Guo, Lihong Peng HC-Search for Multi-Label Prediction: An ing on Hyperplanes Empirical Study Zhen Wang, Jianwen Zhang, Jianlin Feng, Diagram Understanding in Geometry Janardhan Rao Doppa, Jun Yu, Chao Ma, Alan Zheng Chen Problems Fern, Prasad Tadepalli Min Joon Seo, Hannaneh Hajishirzi, Ali Farha- Mind the Gap: Machine Translation by di, Oren Etzioni Learning Instance Concepts from Multiple- Minimizing the Semantic Gap in Embed- Instance Data with Bags as Distributions ding Space Latent Domains Modeling for Visual Do-
10:20 – 11:50 Gary Doran, Soumya Ray Jiajun Zhang, Shujie Liu, Mu Li, Ming Zhou, main Adaptation Chengqing Zong Caiming Xiong, Scott McCloskey, Shao-Hang online Multi-Task Learning via Sparse Hsieh, Jason J. Corso Dictionary optimization Hybrid Singular Value resholding for Paul Ruvolo, Eric Eaton Tensor Completion Low-Rank Tensor Learning with Discrimi- Xiaoqin Zhang, Zhengyuan Zhou, Di Wang, Yi nant Analysis for Action Classification and Ma Image Recovery Chengcheng Jia, Guoqiang Zhong, Yun Fu PREGo: An Action Language for Belief- Based Cognitive Robotics in Continuous Domains Vaishak Belle, Hector J. Levesque
LUNCH BREAK, 11:50 AM– 1:00 PM
14 CoNFERENCE SCHEDULE—WEDNESDAY MoRNING, JULY 30 302B 303A 303B 304A/B
What’s Hot: ICWSM/SoCS/CogSci Senior Member What’s Hot in Social Media Advances in Developing Physical and Cog- Eytan Adar nitive Surrogates for Remote operations: e Mars Exploration Rovers as Collabora- Challenges in Combinatorial Search tion Tools Nathan Sturtevant William Clancey Challenges in Cognitive Science Knowledge Compilation Vincent C. Mueller Adnan Darwiche AM From Programs to Program Spaces: Lever- aging Machine Learning and optimisation for Automated Algorithm Design Holger Hoos 8:30 – 9:15
IAAI-14 Invited Talk e Conversational User Interface Ron Kaplan (Nuance Communications, Inc.) — Introduction by David Stracuzzi 9:00 – 10:00 AM Cognitive Modeling Game eory and Economic Paradigms/ Game Playing e Importance of Cognition and Affect for Artificially Intelligent Decision Makers A Parameterized Complexity Analysis of Celso M. de Melo, Jonathan Gratch, Peter J. Generalized CP-Nets Carnevale Martin Kronegger, Martin Lackner, Andreas Pfandler, Reinhard Pichler Efficient Codes for Inverse Dynamics dur- ing Walking Evolutionary Dynamics of Q-Learning over
AM Leif Johnson, Dana H. Ballard the Sequence Form Fabio Panozzo, Nicola Gatti, Marcello Restelli Modeling Subjective Experience-Based Learning under Uncertainty and Frames Two Case Studies for Trading Multiple In- Hyung-il Ahn, Rosalind W. Picard divisible Goods with Indifferences Akihisa Sonoda, Etsushi Fujita, Taiki Todo, Makoto Yokoo 9:15 – 10:00
CoFFEE BREAK, 10:00 – 10:20 AM
Planning and Scheduling AI and the Web Game eory and Economic Paradigms IAAI: Deployed Applications Decentralized Stochastic Planning with Fraudulent Support Telephone Number Game-eoretic Resource Allocation for Session Chair: Ted Senator Anonymity in Interactions Identification Based on Co-occurrence In- Protecting Large Public Events Deployed: Deploying Community Com- Pradeep Varakantham, Yossiri Adulyasak, formation on the Web Yue Yin, Bo An, Manish Jain mands: A Soware Command Recom- Patrick Jaillet Xin Li, Yiqun Liu, Min Zhang, Shaoping Ma Fixing a Balanced Knockout Tournament mender System Case Study Type-Based Exploration with Multiple Influence Maximization with Novelty De- Haris Aziz, Serge Gaspers, Simon Mackenzie, Wei Li, Justin Matejka, Tovi Grossman, George Search Queues for Satisficing Planning cay in Social Networks Nicholas Mattei, Paul Stursberg, Toby Walsh Fitzmaurice Fan Xie, Martin Müller, Robert Holte, Tatsuya Shanshan Feng, Xuefeng Chen, Gao Cong, Deployed: Predictive Models for Determin- Imai Yifeng Zeng, Yeow Meng Chee, Yanping Xiang Lazy Defenders Are Almost optimal against Diligent Attackers ing If and When to Display online Lead Symbolic Domain Predictive Control online Social Spammer Detection Avrim Blum, Nika Haghtalab, Forms Johannes Löhr, Martin Wehrle, Maria Fox, Xia Hu, Jiliang Tang, Huan Liu Ariel D. Procaccia Timothy Chan, Joseph I, Carlos Macasaet, Bernhard Nebel Daniel Kang, Robert M. Hardy, Carlos Ruiz, Stochastic Privacy Preference Elicitation and Interview Mini- Rigel Porras, Brian Baron, Karim Qazi, Padra- AM Grandpa Hates Robots — Interaction Con- Adish Singla, Eric Horvitz, Ece Kamar, Ryen mization in Stable Matchings ic Hannon, Tomonori Honda straints for Planning in Inhabited Environ- White Joanna Drummond, Craig Boutilier ments Deployed: CiteSeerX: AI in a Digital Library Uwe Köckemann, Federico Pecora, Lars Karls- k-CoRating: Filling up Data to obtain Pri- Regret Transfer and Parameter optimiza- Search Engine son vacy and Utility tion Jian Wu, Kyle Williams, Hung-Hsuan Chen, Feng Zhang, Victor E Lee, Ruoming Jin Noam Brown, Tuomas Sandholm Madian Khabsa, Cornelia Caragea, Alexander Cost-Based Query optimization via AI Ororbia, Douglas Jordan, C. Lee Giles Fast and Accurate Influence Maximization on Detecting Nearly Structured Preference 10:20 – 11:50 Planning Nathan Robinson, Sheila A. McIlraith, David on Large Networks with Pruned Monte- Profiles Toman Carlo Simulations Edith Elkind, Martin Lackner Naoto Ohsaka, Takuya Akiba, Yuichi Yoshida, Computing Contingent Plans via Fully ob- Ken-ichi Kawarabayashi servable Non-Deterministic Planning Christian Muise, Vaishak Belle, Sheila A. McIl- raith
LUNCH BREAK, 11:50 AM – 1:00 PM
CoNFERENCE SCHEDULE—WEDNESDAY MoRNING, JULY 30 15 HALL 200A 301A 301B 302A
AAAI-14 Presidential Address
PM Fascinating Research and Engaged Com- munity Manuela M. Veloso (Carnegie Mellon University) — Introduction by Henry Kautz 1:00 – 2:00
Plenary Technical Session 3 Modeling and Mining Spatiotemporal Patterns of Infection Risk from Heterogeneous Da- ta for Active Surveillance Planning Feature-Cost Sensitive Learning with Submodular Trees of Classifiers Bo Yang, Hua Guo, Yi Yang, Benyun Shi, Xiaonong Zhou, Jiming Liu Matt J. Kusner, Wenlin Chen, Quan Zhou, Zhixiang (Eddie) Xu, Kilian Q. Weinberger, Yixin Chen Scalable Sparse Covariance Estimation via Self-Concordance A Computational Challenge Problem in Materials Discovery: Synthetic Problem Genera- Anastasios Kyrillidis, Rabeeh Karimi Mahabadi, Quoc Tran Dinh, Volkan Cevher tor and Real-World Datasets Ronan Le Bras, Richard Bernstein, John M. Gregoire, Santosh K. Suram, Carla P. Gomes, Bart Sel- Spatio-Temporal Consistency as a Means to Identify Unlabeled objects in a Continuous man, R. Bruce van Dover Data Field James Faghmous, Hung Nguyen, Matthew Le, Vipin Kumar Collaborative Models for Referring Expression Generation in Situated Dialogue Rui Fang, Malcolm Doering, Joyce Y. Chai Active Learning for Crowdsourcing Using Knowledge Transfer PM Meng Fang, Jie Yin, Dacheng Tao on Boosting Sparse Parities Lev Reyzin Sequential Click Prediction for Sponsored Search with Recurrent Neural Networks Yuyu Zhang, Hanjun Dai, Chang Xu, Jun Feng, Taifeng Wang, Jiang Bian, Bin Wang, Tie-Yan Regret-Based Multi-Agent Coordination with Uncertain Task Rewards Liu Feng Wu, Nicholas R. Jennings
2:00 – 2:40 Learning Parametric Models for Social Infectivity in Multi-Dimensional Hawkes Processes How Long Will It Take? Accurate Prediction of ontology Reasoning Performance Liangda Li, Hongyuan Zha Yong-Bin Kang, Jeff Z. Pan, Shonali Krishnaswamy, Wudhichart Sawangphol, Yuan-Fang Li A Convex Formulation for Semi-Supervised Multi-Label Feature Selection Avoiding Plagiarism in Markov Sequence Generation Xiaojun Chang, Feiping Nie, Yi Yang, Heng Huang Alexandre Papadopoulos, Pierre Roy, François Pachet TacTex’13: A Champion Adaptive Power Trading Agent Fast Multi-Instance Multi-Label Learning Daniel Urieli, Peter Stone Sheng-Jun Huang, Wei Gao, Zhi-Hua Zhou
Machine Learning Applications Heuristic Search and Optimization / RL Novel Machine Learning Algorithms Accurate Integration of Aerosol Predic- Generalizing Policy Advice with Gaussian Predicting the Hardness of Learning tions by Smoothing on a Manifold Process Bandits for Dynamic Skill Im- Bayesian Networks Shuai Zheng, James T. Kwok provement Brandon Malone, Kustaa Kangas, Matti Jared Glover, Charlotte Zhu Järvisalo, Mikko Koivisto, Petri Myllymäki Robust Distance Metric Learning in the Presence of Label Noise Robust Bayesian Inverse Reinforcement Relational one-Class Classification: A Non- Dong Wang, Xiaoyang Tan Learning with Sparse Behavior Noise Parametric Approach Jiangchuan Zheng, Siyuan Liu, Lionel Ni Tushar Khot, Sriraam Natarajan, Jude Shavlik PM Predicting Postoperative Atrial Fibrillation from Independent ECG Components Multiagent Metareasoning through organi- User Group oriented Temporal Dynamics Chih-Chun Chia, James Blum, Zahi Karam, zational Design Exploration Satinder Singh, Zeeshan Syed Jason Sleight, Edmund H. Durfee Zhiting Hu, Junjie Yao, Bin Cui 2:45– 3:30 PM PoSTER SESSIoN, CoFFEE BREAK, 3:30 – 5:00 PM Hall 200C 3:30 – 5:00 PM SPEED DATING, 5:00 – 6:00 PM Hall 206A/B (First 240 people admitted; doors close at 5:10 PM) 5:00 – 6:00
PM WEDNESDAY EVENING BUFFET, PASTA STATIoN: 6:00 – 7:15 PM Hall 200C
FUN AND GAMES NIGHT, 7:30 – 10:30 PM Hall 206A/B 6:00 – 10:30
16 CoNFERENCE SCHEDULE—WEDNESDAY AFTERNooN, JULY 30 302B 303A 303B 304A/B PM 1:00 – 2:00
IAAI: Interfaces and Patterns Session Chair: Reid Smith Emerging: A Smart Range Helping Cogni- tively-Impaired Persons Cooking Bruno Bouchard, Kevin Bouchard, Abdenour Bouzouane Emerging: A Speech-Driven Second Screen Application for TV Program Discovery Peter Z. Yeh, Ben Douglas, William Jarrold,
PM Adwait Ratnaparkhi, Deepak Ramachandran, Peter F. Patel-Schneider, Stephen Laverty, Nir- vana Tikku, Sean Brown, Jeremy Mendel Emerging: Clustering Species Accumula- tion Curves to Identify Skill Levels of Citi- zen Scientists Participating in the eBird 2:00 – 2:40 Project Jun Yu, Weng-Keen Wong, Steve Kelling Emerging: Pattern Discovery in Protein Networks Reveals High-Confidence Predic- tions of Novel Interactions Hazem Radwan Ahmed, Janice I. Glasgow
Multiagent Systems AI and the Web / Vision Game eory and Economic Paradigms Give a Hard Problem to a Diverse Team: Cross-View Feature Learning for Scalable Mechanism Design for Scheduling with Exploring Large Action Spaces Social Image Analysis Uncertain Execution Time. Leandro Soriano Marcolino, Haifeng Xu, Al- Wenxuan Xie, Yuxin Peng, Jianguo Xiao Vincent Conitzer, Angelina Vidali bert Xin Jiang, Milind Tambe, Emma Bowring Unsupervised Alignment of Natural Lan- Beat the Cheater: Computing Game-eo- Dynamic Multi-Agent Task Allocation with guage Instructions with Video Segments retic Strategies for When to Kick a Gam- Spatial and Temporal Constraints Iekhar Naim, Young Chol Song, Qiguang Liu, bler out of a Casino Sofia Amador, Steven Okamoto, Roie Zivan Henry Kautz, Jiebo Luo, Daniel Gildea Troels Bjerre Sørensen, Melissa Dalis, Joshua PM Letchford, Dmytro Korzhyk, Vincent Conitzer Symbolic Model Checking Epistemic Strat- Experiments on Visual Information Ex- egy Logic traction with the Faces of Wikipedia A Characterization of the Single-Peaked Xiaowei Huang, Ron van der Meyden Md. Kamrul Hasan, Christopher Pal Single-Crossing Domain Edith Elkind, Piotr Faliszewski, Piotr Skowron 2:45– 3:30
PM IAAI: Discussion Panel PM From Research to Deployed Applications: PoSTER SESSIoN, CoFFEE BREAK, 3:30 – 5:00 Crossing the Valley of Death Hall 200C Panelists: Craig Knoblock, Adam Cheyer, David Gunning
3:30 – 5:00 4:00 – 5:00 PM PM SPEED DATING, 5:00 – 6:00 PM Hall 206A/B (First 240 people admitted; doors close at 5:10 PM) 5:00 – 6:00
PM WEDNESDAY EVENING BUFFET, PASTA STATIoN: 6:00 – 7:15 PM Hall 200C
FUN AND GAMES NIGHT, 7:30 – 10:30 PM Hall 206A/B 6:00 – 10:30
CoNFERENCE SCHEDULE—WEDNESDAY AFTERNooN, JULY 30 17 HALL 200A 301A 301B 302A
What’s Hot: ICML/RSS/ICLR Senior Member Challenges in Machine Learning Automating Science: A Grand Challenge orsten Joachims for AI Vasant Honavar What’s Hot in Robotics Ashutosh Saxena emes and Progress in Computational Scientific Discovery What’s Hot in Learning Representations Pat Langley Aaron Courville AM Task Learning: a Challenge Problem for In- tegrated Intelligent Agents John Laird, Kenneth Forbus 8:40 – 9:25
Novel Machine Learning Algorithms Novel Machine Learning Algorithms Game Design/Intelligent Tutoring Exact Subspace Clustering in Linear Time Power Iterated Color Refinement Synthesis of Geometry Proof Problems Shusen Wang, Bojun Tu, Congfu Xu, Zhihua Kristian Kersting, Martin Mladenov, Roman Chris Alvin, Sumit Gulwani, Rupak Majumdar, Zhang Garnet, Martin Grohe Supratik Mukhopadhyay Learning with Augmented Class by Ex- Convex Co-Embedding Automatic Game Design via Mechanic ploiting Unlabeled Data Farzaneh Mirzazadeh, Yuhong Guo, Dale Generation Qing Da, Yang Yu, Zhi-Hua Zhou Schuurmans Alexander Zook, Mark O. Riedl AM 9:25 – 9:55
CoFFEE BREAK, 9:55 – 10:15 AM
AAAI-14 Invited Talk AM Game eory for Security: Key Algorithmic Principles, Deployed Applications, Re- search Challenges Milind Tambe (University of Southern Califor- nia) — Introduction by Peter Stone 10:15 – 11:15
Novel Machine Learning Algorithms NLP and Machine Learning Search and Constraint Satisfaction A Spatially Sensitive Kernel to Predict Cog- Adaptive Multi-Compositionality for Re- Maximum Satisfiability Using Core-Guided nitive Performance from Short-Term cursive Neural Models with Applications to MAXSAT Resolution Changes in Neural Structure Sentiment Analysis Nina Narodytska, Fahiem Bacchus M. Hidayath Ansari, Michael H. Coen, Barbara Li Dong, Furu Wei, Ming Zhou, Ke Xu B. Bendlin, Mark A. Sager, Sterling C. Johnson Adaptive Singleton-Based Consistencies on Dataless Hierarchical Text Classifica- Amine Balafrej, Christian Bessiere, El Houssine online Classification Using a Voted RDA tion Bouyakhf, Gilles Trombettoni Method Yangqiu Song, Dan Roth PM Tianbing Xu, Jianfeng Gao, Lin Xiao, Amelia A Reasoner for the RCC-5 and RCC-8 Cal- C. Regan Instance-Based Domain Adaptation in NLP culi Extended with Constants via In-Target-Domain Logistic Approxima- Stella Giannakopoulou, Charalampos Niko- Bagging by Design (on the Suboptimality tion laou, Manolis Koubarakis
– 12:20 of Bagging) Rui Xia, Jianfei Yu, Feng Xu, Shumei Wang Periklis A. Papakonstantinou, Jia Xu, Zhu Cao Fast Consistency Checking of Very Large
AM Semi-Supervised Matrix Completion for Real-World RCC-8 Constraint Networks LASS: A Simple Assignment Model with Cross-Lingual Text Classification Using Graph Partitioning Laplacian Smoothing Min Xiao, Yuhong Guo Charalampos Nikolaou, Manolis Koubarakis Miguel Á. Carreira-Perpiñán, Weiran Wang 11:20
LUNCH BREAK, 12:20– 1:30 PM
18 CoNFERENCE SCHEDULE—THURSDAY MoRNING, JULY 31 302B 303A 303B 304A/B
Senior Member / IJCAI-JAIR 2014 Best What’s Hot: AIIDE/CP/QA Paper Challenges in Interactive Entertainment Senior Member: Tackling Real World Data Kevin Dill Streams: a Call to Arms Bernhard Pfahringer Challenges in Constraint Programming Pascal Van Hentenryck Senior Member: Computational Social Choice Challenges Beyond Factoid Question An- IAAI: Crowdsourcing Francesca Rossi swering Session Chair: Karen Haigh AM Ken Barker IJCAI-JAIR 2014 Best Paper: Wikipedia- Emerging: Robust Protection of Fisheries Based Semantic Interpretation for Natural with ComPASS Language Processing William B. Haskell, Debarun Kar, Fei Fang, Evgeniy Gabrilovich and Shaul Markovitch Milind Tambe, Sam Cheung, Lt. Elizabeth (2009) Denicola 8:40 – 9:25 Emerging: Swissnoise: online Polls with Game-eoretic Incentives Florent Garcin, Boi Faltings Emerging: Crowdsourcing for Multiple- Choice Question Answering Bahadir Ismail Aydin, Yavuz Selim Yilmaz, Yaliang Li, Qi Li, Jing Gao, Murat Demirbas 9:00 – 10:00 AM Heuristic Search and Optimization / Plan- Machine Learning / Vision Heuristic Search and Optimization ning and Scheduling Supervised Hashing for Image Retrieval via Programming by Example Using Least optimal Decomposition in Linear Con- Image Representation Learning General Generalizations straint Systems Rongkai Xia, Yan Pan, Hanjiang Lai, Cong Mohammad Raza, Sumit Gulwani, Natasa Cees Witteveen, Michel Wilson, Tomas Klos Liu, Shuicheng Yan Milic-Frayling Cached Iterative Weakening for optimal Predicting Emotions in User-Generated Distribution-Aware Sampling and Weight- Multi-Way Number Partitioning Videos ed Model Counting for SAT AM Ethan L. Schreiber, Richard E. Korf Yu-Gang Jiang, Baohan Xu, Xiangyang Xue Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi 9:25 – 9:55
CoFFEE BREAK, 9:55 – 10:15 AM
IAAI: Transportation and Personalization Session Chair: Nestor Rychtyckyj AM Emerging: A Unified Framework for Aug- mented Reality and Knowledge-Based Sys- tems in Maintaining Aircra Geun-Sik Jo, Kyeong-Jin Oh, Inay Ha, Kee- Sung Lee, Myung-Duk Hong, Ulrich Neumann, Suya You
10:15 – 11:15 Emerging: optimizing a Start-Stop Con- troller Using Policy Search Noel Hollingsworth, Jason Meyer, Ryan McGee, AI and the Web/NLP and Text Mining Computational Sustainability and AI Multiagent Systems / Game eory and Jeffrey Doering, George Konidaris, Leslie Kael- Economic Paradigms bling Acquiring Comparative Commonsense Spatial Scan for Disease Mapping on a Mo- Knowledge from the Web bile Population Multi-organ Exchange: e Whole Is Emerging: Advice Provision for Energy Niket Tandon, Gerard de Melo, Gerhard Liang Lan, Vuk Malbasa, Slobodan Vucetic Greater than the Sum of its Parts Saving in Automobile Climate Control Sys- Weikum John P. Dickerson, Tuomas Sandholm tems Rounded Dynamic Programming for Tree- Amos Azaria, Sarit Kraus, Claudia V. Gold- Emotion Classification in Microblog Texts Structured Stochastic Network Design e Computational Rise and Fall of Fair- man, Omer Tsimhoni Using Class Sequential Rules Xiaojian Wu, Daniel Sheldon, Shlomo Zilber- ness Shiyang Wen, Xiaojun Wan stein John P. Dickerson, Jonathan Goldman, Jeremy Emerging: StrokeBank: Automating Per- PM Karp, Ariel D. Procaccia, Tuomas Sandholm sonalized Chinese Handwriting Generation SUIT: A Supervised User-Item Based Topic Efficient Buyer Groups for Prediction-of- Alfred Zong, Yuke Zhu Model for Sentiment Analysis Use Electricity Tariffs online (Budgeted) Social Choice Fangtao Li, Sheng Wang, Shenghua Liu, Ming Valentin Robu, Meritxell Vinyals, Alex Rogers, Joel Oren, Brendan Lucier 10:15 – 11:45 AM
– 12:20 Zhang Nicholas R. Jennings Scalable Complex Contract Negotiation
AM Where and Why Users “Check In” Effective Management of Electric Vehicle with Structured Search and Agenda Man- Yoon-Sik Cho, Greg Ver Steeg, Aram Galstyan Storage Using Smart Charging agement Konstantina Valogianni, Wolfgang Ketter, John Xiaoqin Shelley Zhang, Mark Klein, Ivan Collins, Dmitry Zhdanov Marsa-Maestre 11:20
LUNCH BREAK, 12:20– 1:30 PM
CoNFERENCE SCHEDULE—THURSDAY MoRNING, JULY 31 19 HALL 200A 301A 301B 302A
AAAI-14 Invited Talk Padhraic Smyth (University of California, Irvine) — Introduction by Carla Brodley PM 1:30 – 2:30
Novel Machine Learning Algorithms Humans and AI Game eory and Economic Paradigms Reconsidering Mutual Information Based Dramatis: A Computational Model of Sus- A Generalization of Probabilistic Serial to Feature Selection: A Statistical Significance pense Randomized Social Choice View Brian O’Neill, Mark Riedl Haris Aziz, Paul Stursberg Xuan Vinh Nguyen, Jeffrey Chan, James Bailey ordering Effects and Belief Adjustment in Biased Games Efficient Generalized Fused Lasso and Its the Use of Comparison Shopping Agents Ioannis Caragiannis, David Kurokawa, Ariel Application to the Diagnosis of Chen Hajaj, Noam Hazon, David Sarne D. Procaccia Alzheimer’s Disease Bo Xin, Yoshinobu Kawahara, Yizhou Wang, A Strategy-Aware Technique for Learning Simultaneous Cake Cutting Wen Gao Behaviors from Discrete Human Feedback Eric Balkanski, Simina Brânzei, David PM Robert Loin, James MacGlashan, Bei Pang, Kurokawa, Ariel D. Procaccia e Role of Dimensionality Reduction in Matthew E. Taylor, Michael L. Littman, Jeff Classification Huang, David L. Roberts Incomplete Preferences in Single-Peaked Weiran Wang, Miguel Á. Carreira-Perpiñán Electorates Discovering Better AAAI Keywords via Martin Lackner Deep Modeling of Group Preferences for Clustering with Community-Sourced Con- 2:35– 3:35 Group-Based Recommendation straints Liang Hu, Jian Cao, Guandong Xu, Longbing Kelly Moran, Byron C. Wallace, Carla E. Brod- Cao, Zhiping Gu, Wei Cao ley PM PoSTER SESSIoN, CoFFEE BREAK, 3:35 – 5:30 PM Hall 200C 3:35– 5:30 PM VIDEo CoMPETITIoN, 5:30 –6:30 PM Main Hall, Foyer 4, Loggia 5:30– 6:30
20 CoNFERENCE SCHEDULE—THURSDAY AFTERNooN, JULY 31 302B 303A 303B 304A/B PM 1:30 – 2:30
Planning and Scheduling Applications Robotics Solving Uncertain MDPs by Reusing State A Hybrid Grammar-Based Approach for Efficient optimization for Autonomous Information and Plans Learning and Recognizing Natural Hand Manipulation of Natural objects Ping Hou, William Yeoh, Tran Cao Son Gestures Abdeslam Boularias, J. Andrew Bagnell, Antho- Amir Sadeghipour, Stefan Kopp ny Stentz Structured Possibilistic Planning Using De- cision Diagrams A Machine Learning Approach to Musical- Qualitative Planning with Quantitative Nicolas Drougard, Florent Teichteil-Königs- ly Meaningful Homogeneous Style Classifi- Constraints for online Learning of Robotic buch, Jean-Loup Farges, Didier Dubois cation Behaviours William Herlands, Ricky Der, Yoel Greenberg, Timothy Wiley, Claude Sammut, Ivan Bratko A Simple Polynomial-Time Randomized Simon Levin PM Distributed Algorithm for Connected Row Learning from Unscripted Deictic Gesture Convex Constraints Forecasting Potential Diabetes Complica- and Language for Human-Robot Interac- T. K. Satish Kumar, Duc ien Nguyen, tions tions William Yeoh, Sven Koenig Yang Yang, Walter Luyten, Lu Liu, Marie- Cynthia Matuszek, Liefeng Bo, Luke Zettlemoy- Francine Moens, Jie Tang, Juanzi Li er, Dieter Fox Chance-Constrained Probabilistic Simple 2:35– 3:35 Temporal Problems Minimising Undesired Task Costs in Mul- Cheng Fang, Peng Yu, Brian C. Williams ti-Robot Task Allocation Problems with In- Schedule Dependencies Bradford Heap, Maurice Pagnucco PM PoSTER SESSIoN, CoFFEE BREAK, 3:35 – 5:30 PM Hall 200C 3:35– 5:30 PM VIDEo CoMPETITIoN, 5:30 –6:30 PM Main Hall, Foyer 4, Loggia 5:30– 6:30
CoNFERENCE SCHEDULE—THURSDAY AFTERNooN, JULY 31 21 Tutorial Forum
AAAI-14 technical registrants may attend up to four consecutive tutorials. All tutorials will be held on the 3rd level. Sunday, July 27 Sunday, July 27 Monday, July 28 Monday, July 28 9:00 AM – 1:00 PM 2:00 PM – 6:00 PM 9:00 AM – 1:00 PM 2:00 PM – 6:00 PM SA1: Large-Scale NonLinear Classifica- SP1: A Concise Introduction to Plan- MA1: From Deep Blue to Monte Carlo: MP1: Bayesian Mechanism Design tion: Algorithms and Evaluations ning Models and Methods An Update on Game Tree Research Jason Hartline Zhuang J. Wang Hector Geffner and Blai Bonet (full day) Room 302A/B 302A/B Room 302A/B Akihiro Kishimoto and Martin MP2: Sentiment Mining from User Mueller SA2: Representing and Reasoning with SP2: Education and AI/Machine Learn- Generated Content Room 302A/B Qualitative Preferences: Tools and Ap- ing Ronen Feldman and Lyle Ungar plications Ken Koedinger and John Stamper MA2: Latent Tree Models Room 301A Ganesh Ram Santhanam, Samik Ba- Room 301A Nevin L. Zhang MP3: Tensor Decompostions for su, and Vasant Honavar Room 301A SP3: Game eory for Security Learning Latent Variable Models Room 301A Bo An, Manish Jain, and Albert Jiang MA3: Lied Approximate Inference: Anima Anandkumar, Daniel Hsu, SA3: SAT in AI: High Performance Room 301B Methods and eory and Sham Kakade Search Methods with Applications Hung Bui, Fabian Hadiji, Kristian Room 301B SP4: Programming by Optimization: A Jussi Rintanen Kersting, Martin Mladenov, and Sri- Practical Paradigm for Computer-Aid- Room 301B raam Natarajan ed Algorithm Design Room 301B SA4: Scaling Machine Learning Holger H. Hoos and Frank Hutter Alex Smola and Amr Ahmed Room 303A MA4: Planning in Hybrid Domains Room 303A Maria Fox, Daniele Magazzeni Room 303A
Workshop Program
Registration for a workshop requires a supplemental fee for AAAI-14 technical registrants. Individuals who do not wish to participate in any other AAAI-14 programs or events may elect the workshop only registration fee..
Sunday, July 27 Monday, July 28 W1: AI and Robotics W7: Intelligent Cinematography and Editing Room 207 Room 304A 9:00 AM – 5:30 PM 9:00 AM – 6:00 PM W2: Artificial Intelligence Applied to Assistive Technologies and W9: Machine Learning for Interactive Systems: Bridging the Gap be- Smart Environments tween Perception, Action and Communication Room 205B Room 206A 9:15 AM – 4:30 PM 8:50 AM – 5:30 PM W3: Cognitive Computing for Augmented Human Intelligence W11: Multiagent Interaction without Prior Coordination Room 205C Room 205B 8:30 AM – 5:30 PM 9:00 AM – 5:00 PM W4: Computer Poker and Imperfect Information W12: Multidisciplinary Workshop on Advances in Preference Han- Room 205A dling 9:50 AM – 5:30 PM Room 205C W5: Discovery Informatics 8:30 AM – 5:10 PM Room 304A W13: Semantic Cities — Beyond Open Data to Models, Standards 8:30 AM – 6:00 PM and Reasoning W6: Incentives and Trust in Electronic Communities Room 205A 8:30 AM – 5:30 PM Room 304B 9:30 AM – 5:30 PM W14: Sequential Decision Making with Big Data W10: Modern Artificial Intelligence for Health Analytics Room 207 9:00 AM – 6:00 PM Room 204A 9:00 AM – 6:00 PM W16: e World Wide Web and Public Health Intelligence W15: Statistical Relational AI Room 304B 9:00 AM – 6:00 PM Room 206A 9:00 AM – 5:00 PM
22 TUToRIAL PRoGRAM, WoRKSHoP PRoGRAM Poster Sessions
Poster sessions will be held in Hall 200C at the fol- optimizing and Learning Diffusion Behaviors in Coordination of Multiple Teams of Robots for an op- lowing times. Complex Network timal Global Plan Xiaojian Wu Zeynep G. Saribatur, Esra Erdem, Volkan Patoglu Tuesday, July 29, 5:30 – 7:00 PM Inference Graphs: A New Kind of Hybrid Reasoning Wednesday, July 30, 3:30 – 5:00 PM Student Abstracts System ursday, July 31, 3:35 – 5:30 PM Daniel R. Schlegel, Stuart C. Shapiro Due to the size and complexity of the 2014 AAAI Social Capital in Network organizations online Multi-Task Gradient Temporal-Difference poster session, attendees should refer to the sepa- Saad Alqithami, Henry Hexmoor Learning rate insert in their registration materials. Please To Share or Not to Share? e Single Agent in a Vishnu Purushothaman Sreenivasan, Haitham Bou Team Decision Problem Ammar, Eric Eaton note that posters for ALL AAAI technical papers Ofra Amir, Barbara J. Grosz, Roni Stern will be available for viewing throughout the confer- A Data Complexity Approach to Kernel Selection for Monte Carlo Simulation Adjusting Support Vector Machines ence, Tuesday – ursday, July 29-31. Nobuo Araki, Masakazu Muramatsu, Kunihito Hoki, Roberto Valerio, Ricardo Vilalta Listed here are the posters that will also be avail- Satoshi Takahashi A Model Attention and Selection Framework for Esti- able at the Tuesday evening poster session, includ- Advice Provision for Choice Selection Processes with mation of Many Variables, with Applications to Esti- ing those for EAAI-14, Student Abstract, Doctoral Ranked options mating object States in Large Spatial Environments Consortium, and the Poker Competition. Amos Azaria, Ya’akov Gal, Claudia V. Goldman, Sarit Lawson L. S. Wong Kraus Converting Instance Checking to Subsumption: A Re- A Knowledge Representation that Models Memory in think for object Queries over Practical ontologies EAAI-14 Posters Narrative Comprehension Jia Xu, Ubbo Visser, Mansur Kabuka Jim: A Platform for Affective AI in an Interdisci- Rogelio E. Cardona-Rivera, R. Michael Young Uncovering Hidden Structure through Parallel Prob- plinary Setting Association Rule Hiding Based on Evolutionary Mul- lem Decomposition Robert Selkowitz, Michael Heilemann, Jon Mrowczyn- ti-objective optimization by Removing Items Yexiang Xue, Stefano Ermon, Carla P. Gomes, Bart ski Peng Cheng, Jeng-Shyang Pan Selman Easychair as a Pedagogical Tool Engaging Graduate A Model for Aggregating Contributions of Synergistic Representing Words as Lymphocytes Students in the Reviewing Process Crowdsourcing Workflows Jinfeng Yang, Yi Guan, Xishuang Dong, Bin He Kartik Talamadupula, Subbarao Kambhampati Yili Fang, Hailong Sun, Richong Zhang, Jinpeng Huai, Data Clustering by Laplacian Regularized l1-Graph Yongyi Mao Yingzhen Yang, Zhangyang Wang, Jianchao Yang, Doctoral Consortium online Search Algorithm Configuration Jiangping Wang, Shiyu Chang, omas S. Huang Tadhg Fitzgerald, Yuri Malitsky, Barry O’Sullivan, Fast Algorithm for Non-Stationary Gaussian Process Making CP-Nets (More) Useful Kevin Tierney Prediction omas E. Allen Addressing Complexity in Multi-Issue Negotiation Yulai Zhang, Guiming Luo Information Sharing for Care Coordination via Utility Hypergraphs Inferring Causal Directions in Errors-in-Variables Ofra Amir Rafik Hadfi, Takayuki Ito Models e Effect of Similarity between Human and Machine Communication-Restricted Exploration for Small Yulai Zhang, Guiming Luo Action Choices on Adaptive Automation Perfor- Teams Content-Structural Relation Inference in Knowledge mance Elizabeth A. Jensen, Ken Sugawara Base Jason M. Bindewald Genotypic versus Behavioural Diversity for Teams of Zeya Zhao, Yantao Jia, Yuanzhuo Wang, Xueqi Cheng Solving Semantic Problems Using Contexts Extracted Programs under the 4-v-3 Keepaway Soccer Task from Knowledge Graphs Stephen Kelly, Malcolm I. Heywood Adrian Boteanu AAAI-14 Poker Symposium Posters A Novel Single-DBN Generative Model for optimiz- Reinforcement Learning on Multiple Correlated Sig- ing PoMDP Controllers by Probabilistic Inference Results of the 2014 Computer Poker Competition nals Igor Kiselev, Pascal Poupart Neil Burch and Kevin Waugh Tim Brys, Ann Nowé Partial Satisfaction Planning under Time Uncertainty Regret Transfer and Parameter optimization Analogy Tutor: A Tutoring System for Promoting with Control on When objectives Can Be Aborted Noam Brown and Tuomas Sandholm Conceptual Learning via Comparison Sylvain Labranche, Éric Beaudry Hyperborean 2014 Maria D. Chang Semantic Clustering of Morphologically Related Chi- Michael Bowling, Duane Szafron, Rob Holte, Nolan Imputation, Social Choice, and Partial Preferences nese Words Bard, Neil Burch, Richard Gibson, John Hawkin, John A. Doucette Chia-Ling Lee, Ya-Ning Chang, Chao-Lin Liu, Chia- Michael Johanson, Trevor Davis, Josh Davidson, and Robot Team Exploration with Communication Re- Ying Lee, Jane Yung-jen Hsu Dustin Morrill strictions Crowdsourced Explanations for Humorous Internet Asymmetric Abstractions for Adversarial Settings Elizabeth A. Jensen Memes Nolan Bard, Michael Johanson, and Michael Bowling e Semantic Interpretation of Trust in Multiagent Chi-Chin Lin, Jane Yung-jen Hsu Search in Imperfect Information Games using online Interactions LSDH: A Hashing Approach for Large-Scale Link Pre- Monte Carlo Counterfactual Regret Minimization Anup K. Kalia diction in Microblogs Marc Lanctot, Viliam Lis and Michael Bowling Modeling Argumentation and Explanation in the So- Dawei Liu, Yuanzhuo Wang, Yantao Jia, Jingyuan Li, cial Web Zhihua Yu Taraneh Khazaei Identifying Domain-Dependent Influential Microblog Automatically Creating Multilingual Lexical Re- Users: A Post-Feature Based Approach sources Nian Liu, Lin Li, Guandong Xu, Zhenglu Yang Khang Nhut Lam RepRev: Mitigating the Negative Effects of Misreport- Probabilistic Planning with Reduced Models ed Ratings Luis Pineda Yuan Liu, Siyuan Liu, Hui Fang, Jie Zhang, Han Yu, Roles and Teams Hedonic Games Chunyan Miao Matthew Spradling Reputation-Aware Continuous Double Auction Compilation Based Approaches to Probabilistic Plan- Yuan Liu, Jie Zhang, Han Yu, Chunyan Miao ning—esis Summary Computing Preferences Based on Agents’ Beliefs Ran Taig Jian Luo, Fuan Pu, Yulai Zhang, Guiming Luo Living and Searching in the World: object-Based Event Recommendation in Event-Based Social Net- State Estimation for Mobile Robots works Lawson L. S. Wong Zhi Qiao, Peng Zhang, Chuan Zhou, Yanan Cao, Li Guo, Yanchun Zhang
PoSTER SESSIoNS 23 Exhibit Program
e exhibit program will be held Tuesday – ursday, July 29–31, in the Kinova Robotics Level 2 Foyer. Exhibit hours will be: 6110, rue Doris-Lussier Boisbriand, QC, Canada Tuesday, July 29 Kinovarobotics.com 10:00 AM – 5:30 PM Kinova is a Canadian company engaged into the design and manufacture Wednesday, July 30 of innovative solutions in the field of service robotics. e team of experts 10:00 AM – 5:00 PM at Kinova is dedicated to offer simple, sexy and safe robot arms and com- ursday, July 31 ponents that solve real and concrete problematic of daily life, especially in 10:00 AM – 12:00 PM rehabilitation. Exhibitors e MIT Press one Rogers Street Cambridge, MA 02142, USA AAAI Press mitpress.mit.edu 2275 East Bayshore Road, Suite 160 e MIT Press publishes books and journals in artificial intelligence, Palo Alto, CA 94303 robotics, machine learning and related fields. Please visit our table to 650-328-3123 [email protected] browse our newest and classic titles and receive a 30% discount. aaai.org/Press/press.php Morgan & Claypool Publishers AI Topics 1537 Fourth Street, Suite 228 aaai.org/aitopics San Rafael, CA 94901 e Premier Source of Information about AI 415-462-0004 [email protected] * Stop by the AITopics booth to pick up a luggage tag * Sign up for the free AI-Alert service for weekly summaries of news stories that Morgan & Claypool publishes the Synthesis Lectures on Artificial Intelli- have mentioned AI gence and Machine Learning edited by Ron Brachman, William W. Cohen * See what AITopics can provide for your classroom instruction or term papers and Peter Stone. Synthesis lectures are 75-150 page revisable digital doc- * Suggest improvements uments presenting key topics written by prominent contributors for an * Review our list of classic papers to add your favorites audience of students, researchers and developers. Synthesis lectures are available by institutional online subscription to Cambridge University Press the Synthesis Digital Library of Engineering and Computer Science and Cambridge University Press for individual digital and print purchase. New titles include Robot Learn- 32 Avenue of the Americas ing from Human Teachers by Sonia Chernova and Andrea L. omaz, New York, NY 10013-2473 General Game Playing by Michael Genesereth and Michael ielscher, cambridge.org/us/ Stop by the Cambridge table to browse new titles such as Knowledge Rep- Judgement Aggregation: A Primer by Davide Grossi and Gabriella Pigozzi, resentation, Reasoning, and the Design of Intelligent Agents by Gelfond and and An Introduction to Constraint-Based Temporal Reasoning by Roman Kahl, Mobile Robotics by Kelly, Brain-Computer Interfacing by Rao, and Bartak, Robert A. Morris, and K. Brent Venable. other titles are available the new edition of the text Cognitive Science by Bermudez. on natural language processing, computer vision and the semantic web.
ClearPath Robotics Nuance Communications, Inc. one Wayside Road 1425 Strasburg Rd. Suite 2A Burlington, MA 01803 Kitchener, oN N2R1H2 www.nuance.com www.clearpathrobotics.com Clearpath Robotics is dedicated to automating the world’s dullest, dirtiest, Nuance Communications, Inc. (NASDQ: NUAN) is the leading provider and deadliest jobs through autonomous systems and vehicles. e compa- of voice and language solutions for businesses and consumers around the ny serves robotics leaders in over 35 countries worldwide in academic, world. our technologies, applications and services make the user experi- mining, military, agricultural and industrial markets. Recognizing the val- ence more compelling by transforming the way people interact with de- ue of future innovation, the company proudly supports programs that fa- vices and systems. We’re the people who make voice work. We design and cilitate growth within the academic disciplines of science, technology, en- deliver intuitive technologies that help people live and work more intelli- gineering and math (STEM). Clearpath Robotics provides robust solu- gently. We provide the tools to inform, to connect, and to empower people tions that are engineered for performance and designed for the customer to be more productive and creative. We give people more than just control — we are your unmanned experts. Visit Clearpath Robotics at over their communications. We give them command of their lives. www.clearpathrobotics.com, follow us on Twitter @clearpathrobots or like us on Facebook (facebook.com/clearpathrobotics).
Elsevier e Boulevard Langford Lane, Kidlington oxford, oX5 1GB, UK Elsevier and Morgan Kaufmann will be presenting key titles across artifi- cial intelligence. Please stop by and visit the booth, meet the publishers and editors in person, and take the opportunity to ask any questions and learn more about our author services and content innovation. www.elsevier.com /computerscience and www.store.elsevier.com/Morgan-Kaufmann
24 EXHIBIT PRoGRAM General Information ADA Devices Internet Access e staff at the Québec Convention Center is com- e Québec City Convention Centre offers free wireless Internet access for the duration of your mitted to ensuring that they meet and exceed all of stay. is free connection offers speeds of 10Mbps and a bandwidth limitation of 5 GB per day, the requirements for the Americans & Canadians per device. once the 5 GB quota has been reached, you will be automatically redirected to their with Disabilities Act. e staff is trained to accom- portal home page, and invited to pay for access to complete the day. You can choose from a modate guests with special needs. $15.00 code for the duration of the day with the same speed and a bandwidth usage of 10GB Admission or $125.00 for the duration of your event with a higher connection speed. Each conference attendee will receive a name badge upon registration. is badge is required for admit- tance to the technical, tutorial, IAAI, EAAI, and Connection Procedure to the Free Wireless Internet workshop programs, as well as all social events. 1. Activate the wireless network card on the computer (or other device) Smoking is not allowed in any of the technical, tuto- 2. Connect to: Vidéotron_Centre_des_congres rial, workshop, IAAI, or EAAI sessions. 3. Open a web browser and try to connect to a website. You will be redirected to our portal. Once on the home page, choose: Videotron Free Wireless Internet Banking 4. Read and accept the terms and conditions A Desjardins ATM is set near the main entrance to the Convention Center and two banks (Scotia Bank and Desjardins) are located within a 5 minute walk- ing distance.
Business Center/Shipping Printed Materials A business center will be open during the confer- Display tables for the distribution of promotional ence. Please see a Convention Center representative and informational materials of interest to confer- for location and hours. ence attendees will be located in the registration area. Career Information A bulletin board for job opportunities in the artifi- Proceedings/Technical Reports cial intelligence industry will be made available in AAAI proceedings are distributed in electronic for- the registration area. Attendees are welcome to post mat only. A downloadable PDF was made available job descriptions of openings at their company or in- to all pre-registered attendees, and the individual stitution. papers are available in the AAAI Digital Library Dining (http://www.aaai.org/Library/AAAI/aaai14con- tents.php). A sandwich cart will be available in the Québec Con- vention Centre during the lunch break. In addition, Volunteer Station there are many restaurants of varying cuisine and price points within a 5-minute walk of the Centre. e volunteer station will be located in the onsite e Hilton Québec has two restaurants, including registration area. All volunteers are required to sign the Allegro (7:00 AM – 10:00 PM daily), the LE23 in prior to their shi, and sign out when they finish. (buffet, 12:00 - 2:00 PM, Monday - Friday). A dining guide will be available in the registration area. Disclaimer In offering the Québec Convention Centre, Tessier Hotel Reservations Exhibit and Show Services, Hilton Québec Hotel, For information regarding hotel reservations, and all other service providers (hereinaer referred please contact the Hilton Québec Hotel directly at to as “Supplier(s)” for the AAAI Conference on Ar- 418-647-2411. tificial Intelligence and the Innovative Applications Conference), AAAI acts only in the capacity of agent List of Attendees for the Suppliers that are the providers of the ser- A list of preregistered attendees of the conference will vice. Because AAAI has no control over the person- be available for review at the AAAI Desk in the regis- nel, equipment or operations of providers of accom- tration area. Attendee lists will not be distributed. modations or other services included as part of the AAAI-14/IAAI-14 program, AAAI assumes no re- Parking sponsibility for and will not be liable for any person- Self-parking at the Québec Hilton is $20 CAN (tax al delay, inconveniences or other damage suffered included) and Valet Parking is $30 CAN (tax includ- by conference participants which may arise by rea- ed) per 24 hours. In and out privileges are included. son of (1) any wrongful or negligent acts or omis- ere are three public parking lots near the Québec sions on the part of any Supplier or its employees, Convention Centre with prices ranging from $2.50 (2) any defect in or failure of any vehicle, equipment (up to 20 minutes) - $20.00 CAN (24-hour period). or instrumentality owned, operated or otherwise Daily Convention rates are available for $11.00 CAN used by any Supplier, or (3) any wrongful or negli- per day. See convention.qc.ca/en/attending-event/ gent acts or omissions on the part of any other party parking for locations. not under the control, direct or otherwise, of AAAI. GENERAL INFoRMATIoN 25 26 MAP, LEVEL 2, QUÉBEC CoNVENTIoN CENTRE MAP, LEVEL 3, QUÉBEC CoNVENTIoN CENTRE 27 Please Join Us in Austin, Texas this Winter!
e purpose of the AAAI conference series is to promote research in artificial intelligence (AI) and scientific exchange among AI researchers, practitioners, scientists, students and engi- neers in AI and all affiliated disciplines. AAAI-15 is the Twenty-Ninth AAAI Conference on Artificial Intelligence. It will continue the traditions of previous AAAI conferences with multiple technical tracks, invited speakers, workshops, tutorials, student abstracts, senior member papers, poster sessions, a video com- petition, and exhibit programs, all selected according to the highest standards. AAAI-15, as the inaugural Winter AAAI conference, will also include special programs that celebrate the past and look into the future. A number of exciting innovations are planned, including addi- tional programs for students and young researchers.
Program Cochairs Blai Bonet (Universidad Simón Bolívar, Venezuela) Sven Koenig (University of Southern California, USA)
Timetable for Authors July 1, 2014 - September 10, 2014: Authors register on the AAAI web site September 10, 2014: Electronic abstracts due September 15, 2014: Electronic papers due October 22 - 24, 2014: Author feedback about initial reviews November 7, 2014: Notification of acceptance or rejection November 20, 2014: Camera-ready copy due at AAAI office