AAAI-07 / IAAI-07
Based on an original photograph courtesy, Tourism Vancouver. Conference Program Twenty-Second AAAI Conference on Artificial Intelligence (AAAI-07) Nineteenth Conference on Innovative Applications of Artificial Intelligence (IAAI-07)
July 22 – 26, 2007 Hyatt Regency Vancouver Vancouver, British Columbia, Canada
Sponsored by the Association for the Advancement of Artificial Intelligence
Cosponsored by the National Science Foundation, Microsoft Research, Michael Genesereth, Google, Inc., NASA Ames Research Center, Yahoo! Research Labs, Intel, USC/Information Sciences Institute, AICML/University of Alberta, ACM/SIGART, The Boeing Company, IISI/Cornell University, IBM Research, and the University of British Columbia Tutorial Forum Cochairs Awards Contents Carla Gomes (Cornell University) Andrea Danyluk (Williams College) All AAAI-07, IAAI-07, AAAI Special Awards, Acknowledgments / 2 Workshop Cochairs and the IJCAI-JAIR Best Paper Prize will be AI Video Competition / 18 Bob Givan (Purdue University) presented Tuesday, July 24, 8:30–9:00 AM, Simon Parsons (Brooklyn College, CUNY) Awards / 2–3 in the Regency Ballroom on the Convention Competitions / 18–19 Doctoral Consortium Chair and Cochair Level. Computer Poker Competition / 18 Terran Lane (The University of New Mexico) Conference at a Glance / 5 Colleen van Lent (California State University Doctoral Consortium / 4 Long Beach) AAAI-07 Awards Exhibition / 16 Student Abstract and Poster Cochairs Presented by Robert C. Holte and Adele General Game Playing Competition / 18 Mehran Sahami (Google Inc.) Howe, AAAI-07 program chairs. General Information / 19–20 Kiri Wagstaff (Jet Propulsion Laboratory) AAAI-07 Outstanding Paper Awards IAAI-07 Program / 8–13 Matt Gaston (University of Maryland, PLOW: A Collaborative Task Learning Agent Intelligent Systems Demos / 17 Baltimore County) James Allen, Nathanael Chambers, Invited Talks / 3, 7 Intelligent Systems Demonstrations George Ferguson, Lucian Galescu, Hyuckchul Man vs. Machine Poker Challenge / 18 Cochairs Jung, Mary Swift, and William Taysom Posters / 14–15 Rob Miller (Massachusetts Institute Thresholded Rewards: Acting Optimally in Registration / 21 of Technology) Timed, Zero-Sum Games Robot Competition and Exhibition / 19 Holger Hoos (University of British Columbia) Colin McMillen and Manuela Veloso Social Events / 3 General Game Playing Competition Chair AAAI-07 Outstanding Senior Program Special Meetings / 6 and Cochair Committee Member Award Student Programs / 4 Michael Genesereth (Stanford University) Gerhard Brewka (University of Leipzig) Sponsoring Organizations / 2 Eric Schkufza (Stanford University) Technical Program / 8–13 AAAI-07 Outstanding Program Mobile Robot Competition and Exhibition Committee Member Awards Trading Agents Competition / 19 General Cochairs Tutorial Forum / 6 Jeffrey Forbes (Duke University) Kiri Wagstaff (Jet Propulsion Laboratory) Workshop Program / 4 Paul Oh (Drexel University) Honorable Mention Malte Helmert (Albert-Ludwigs-Universität Computer Poker Competition Chair Freiburg) Martin Zinkevich (University of Alberta) Acknowledgments Man Versus Machine Poker Challenge Chair IAAI-07 Awards Jonathan Schaeffer (University of Alberta) The Association for the Advancement of Arti- Deployed Applications Awards Video Competition Cochairs ficial Intelligence acknowledges and thanks David Aha (Naval Research Laboratory) The eight IAAI-07 Deployed Application the following individuals for their generous Sebastian Thrun (Stanford University) Awards will be announced by the IAAI-07 contributions of time and energy to the suc- Student Participation Associate Cochairs chair William Cheetham and cochair cessful creation and planning of the Twenty- Martin Michalowski and Matt Michelson Mehmet Goker. Please see the schedule Second AAAI Conference on Artificial Intelli- (USC/Information Sciences Institute) for paper titles. Certificates will be pre- gence and the Nineteenth Conference on In- Technical Program Software Chair sented during paper sessions. novative Applications of Artificial Intelligence. Ken Barker (University of Texas at Austin) Robert S. Engelmore AAAI Conference Chair A complete listing of the AAAI-07 and IAAI- Yolanda Gil (USC/Information Memorial Award and Lecture Sciences Institute) 07 Program Committee members appears The Robert S. Engelmore Award is spon- in the conference proceedings. AAAI-07 Technical Program Cochairs sored by IAAI-07 and AI Magazine, and will Robert C. Holte (University of Alberta) be presented by William Cheetham and Adele Howe (Colorado State University) Sponsoring Organizations Mehmet Goker, IAAI-07 chair and cchair, IAAI-07 Chair and Cochair AAAI gratefully acknowledges the generous and David B. Leake, editor-in-chief, AI Mag- William Cheetham contributions of the following organizations azine. The award and lecture was estab- (General Electric Research) to AAAI-07: lished in 2003 to honor Dr. Engelmore’s ex- Mehmet Göker (PricewaterhouseCoopers) Platinum Sponsor traordinary service to AAAI, AI Magazine, Special Track on Artificial Intelligence and National Science Foundation and the AI applications community, and his the Web Cochairs contributions to applied AI. The 2007 Tim Finin (University of Maryland, Gold Sponsor award will be presented to Oren Etzioni, Baltimore County) Microsoft Research professor of computer science at the Uni- Peter Norvig (Google Inc.) Silver Sponsors versity of Washington, for longstanding Special Track on Integrated Intelligence Michael Genesereth Cochairs Google, Inc. technical and entrepreneurial contributions Reid Simmons (Carnegie Mellon University) NASA Ames Research Center to artificial intelligence, including seminal Pat Langley (Arizona State University / ISLE) Bronze Sponsors research on AI on the web and the deploy- Senior Member Papers Cochairs Yahoo! Research Labs ment of AI technologies in high-impact ap- Michael Wellman (University of Michigan) AICML / University of Alberta plications. The lecture will be held Wednes- Charles Rich (Mitsubishi Electric Intel day, July 25, 10:20 AM, in Regency B. Research Labs) USC/Information Sciences Institute Bill Swartout (USC/Institute for Creative Sponsors AAAI Special Awards Technologies) ACM/SIGART The AAAI special awards will be presented AAAI Nectar Papers Cochairs The Boeing Company Elaine Rich (University of Texas at Austin) IISI / Cornell University by Ronald J. Brachman, Awards Committee Sven Koenig (University of Southern IBM Research chair and AAAI past president, and Alan California) University of British Columbia Mackworth, AAAI president.
2 CONTENTS, ACKNOWLEDGEMENTS, SPONSORS, AND AWARDS Classic Paper Award The 2007 AAAI Classic Paper award honors Presidential Address the authors of the paper deemed most in- fluential from the Seventh National Confer- Alan K. Mackworth ence on Artificial Intelligence, held in 1988 (Professor of Computer Science, University of British Columbia in St. Paul, Minnesota. and Canada Research Chair in AI) Bayesian Classification Peter Cheeseman, Matthew Self, Jim Kelly, Tuesday, July 24, 9:00 – 10:00 AM Will Taylor, Don Freeman Regency Ballroom, Hyatt Regency Vancouver Honorable Mention A Robust, Qualitative Method for Robot Spa- tial Learning Artificial intelligence focuses on agents carrying out tasks in an environment. Consider the evo- Benjamin J. Kuipers, Yung-Tai Byun lution of the agent-task-environment triple. In good old fashioned AI and robotics (GOFAIR), a Distinguished Service Award single agent typically solved a puzzle in a fully-observable, fully-predictable world. Constraint- The AAAI Distinguished Service award rec- based agents were initially proposed in that paradigm. Robot soccer, developed in our lab in ognizes one individual each year for ex- 1991, caught on as an international challenge task. The community had to deal with multia- gent, dynamic, online, situated, embodied activity in a partially-observable, partially-predictable traordinary service to the AI community. world. We evolved new constraint-based hybrid agent controllers for such tasks. The main chal- The 2007 recipient is Tom Mitchell, Fredkin lenge is to design agents that are both proactive and reactive. As our systems migrate into Professor of AI and Machine Learning, the real world, critical issues of reliability, trust and ethics must be addressed. For example, Carnegie Mellon University, for outstanding making ethical choices about our mutual interactions with robots presupposes that we are service to artificial intelligence and com- able to foresee the possible future effects of that interaction (or inaction). This presupposition puter science, including seminal intellectu- puts strong requirements on the design space for robot architectures. We cannot use ad hoc or opaque models of robot structure or function. We need languages for modeling the con- al and service contributions to machine straints on an agent’s dynamics (where we may take “dynamics” quite abstractly) and lan- learning and leadership at Carnegie Mellon guages for writing constraint-based behavioral specifications. Moreover, we need techniques University and in AAAI, NRC, and AAAS. for determining if an agent will, or is likely to, satisfy its specifications. Some of the exciting new applications of our science, such as assistive technology, require that we pay particular IJCAI-JAIR Best Paper Prize attention to these concerns of reliability and trust. The IJCAI-JAIR Best Paper Prize, which will AAAI President Alan Mackworth is a professor of computer science and Canada Research Chair in Artificial Intelligence at the University of British Columbia. He works on constraint- be presented by Toby Walsh, editor-in-chief based computational intelligence with applications in vision, robotics, and situated agents, of JAIR, is awarded to an outstanding paper and is a pioneer in the areas of constraint satisfaction, robot soccer, and constraint-based published in JAIR in the preceding five cal- agents. He has published over 100 scientific papers, and coauthored Computational Intelli- endar years. The award is presented to: gence: A Logical Approach. In addition, he has served as president of IJCAI and CSCSI. He was the founding director of the UBC Laboratory for Computational Intelligence. Efficient Solution Algorithms for Factored MDPs C. Guestrin, D. Koller, R. Parr, and S. Venkataraman (2003). JAIR 19(2003), 399–468 Honorable Mention Additive Pattern Database Heuristics A, Felner, R, E, Korf, and S. Hanan. Social Events JAIR 22(2004), 279–318 Opening Reception 2007 AAAI Fellows Recognition The AAAI-07 Opening Reception will be held Monday, July 23, 6:00–7:00 PM in the Regency Ballroom of the Hyatt Regency Vancouver. This event will provide the tra- Each year, the Association for the Ad- ditional opportunity for attendees to socialize in a relaxed setting prior to the be- vancement of Artificial Intelligence recog- ginning of the first day of technical sessions. A variety of hors d’oeuvres and a no- nizes a small number of members who host bar will be available. Admittance to the reception is free to AAAI-07 regis- have made significant sustained contribu- trants. A $30.00 per person fee ($10.00 for children) will be charged for spouses tions to the field of artificial intelligence, and other nontechnical conference registrants. and who have attained unusual distinction in the profession. AAAI is pleased to an- AAAI-07 Poster / Demonstration Session nounce the seven newly elected Fellows for A conference-wide poster and demonstration session will be held on Wednesday, 2007, who will be honored during the an- July 25, 6:30–10:00 PM and will feature AAAI-07 technical posters, Nectar posters, nual Fellows dinner on Tuesday, July 24: student abstracts, doctoral consortium abstracts, and intelligent systems demon- ■ Pierre F. Baldi (University of California, strations. (For a complete listing of posters, please refer to page 14.) The accom- Irvine) panying reception will include a light dinner buffet and a no-host bar. Admittance to ■ Adnan Y. Darwiche (University of the reception is free to AAAI-07 registrants. A $45.00 per person fee ($10.00 for California, Los Angeles) children) will be charged for spouses and other nontechnical conference regis- ■ Hector A Geffner (ICREA and Universitat trants. Pompeu Fabra) ■ Carla P. Gomes (Cornell University) ■ Russell Greiner (University of Alberta) ■ Stephen F. Smith (Carnegie Mellon University) ■ Milind Tambe (University of Southern For information about the special competition awards, please see the section on AAAI-07 California) Competitions on page 18 of this program.
PRESIDENTIAL ADDRESS, AWARDS, AND SOCIAL EVENTS 3 Workshop Program
Registration for a workshop re- Sunday, July 22 Monday, July 23 W12: Semantic e-Science quires a supplemental fee for Organizers: Huajun Chen, Yimin W4: Evaluation Methods W1: Acquiring Planning AAAI-07 technical registrants. for Machine Learning II Knowledge via Demonstration Wang, Kei Cheung, Zhaohui Wu Cavendish, Fourth Floor Individuals who do not wish to Organizers: Chris Drummond, Organizers: Mark Burstein, 9:00 AM–6:00 PM participate in any other AAAI-07 William Elazmeh, Nathalie Jap- Jim Hendler programs or events may elect kowicz, Sofus A. Macskassy Regency B, Third Floor W14: Trading Agent Design and the workshop only registration Regency A, Third Floor 9:00 AM–5:00 PM Analysis fee. Workshops will be held in 9:00 AM–6:00 PM W7/W11: Joint Workshop on Organizer: John Collins the Hyatt Regency Vancouver. W6: Human Implications Intelligent Techniques for Web Plaza C, Second Level of Human-Robot Interaction Personalization and Recom- 9:00 AM–5:30 PM Sunday and Monday, Organizer: Ted Metzler mender Systems in E-Commerce W15: Information Integration on July 22–23 Brighton, Fourth Floor Organizers: Bamshad Mobasher, the Web (IIWeb) Sarabjot Singh Anand, Alfred W2: Configuration 8:30 AM–5:30 PM Organizers: Ullas Nambiar, Kobsa, Dietmar Jannach Organizers: Barry O’Sullivan, W10: Preference Handling for Zaiqing Nie Artificial Intelligence Brighton, Fourth Floor Regency E, Third Floor Klas Orsvarn 8:30 AM–5:30 PM Cypress, 34th Floor Organizers: Jon Doyle, Judy 8:30 AM–5:50 PM Goldsmith, Ulrich Junker, W8: Mobile Robot Workshop W3: Evaluating Architectures Organizer: Jeffrey Forbes for Intelligence Jérôme Lang Regency B, Third Floor Regency A, Third Floor A limited number of workshop Organizers: Gal A. Kaminka, 8:30 AM–6:00 PM 8:45 AM–3:45 PM technical reports will be avail- Catherina R. Burghart able for sale after the conclu- Kensington, Fourth Floor W13: Spatial and W9: Plan, Activity, and Intent Temporal Reasoning Recognition (PAIR) sion of the workshop program at the AAAI-07 registration Organizers: Hans W. Guesgen, Organizers: Christopher Geib, W5: Explanation-Aware desk. Computing Gerard Ligozat, Jochen Renz, Ri- David Pynadath ta V. Rodriguez Constable, Fourth Floor Organizers: Thomas Roth- Cavendish, Fourth Floor 8:30 AM–6:00 PM Berghofer, Stefan Schulz, David 9:00 AM–5:30 PM B. Leake Seymour, 34th Floor 8:45 AM–4:30 PM Sunday, 9:15 AM–5:00 PM Monday
Student Programs
AAAI-07 Student Only Reception USC/Information Sciences Institute will host the first AAAI Student Only Reception, Tuesday, July 24, 7:30–10:30 PM in the ballroom and Thea’s Lounge of the Graduate Student Center at the University of British Columbia. Snacks and beverages will be served. All AAAI-07 registered students are welcome. Public transportation is available between downtown Vancouver (Granville and West Geor- gia Street) and the University of British Columbia campus via busses #4 and #17. AAAI/SIGART Doctoral Consortium (DC-07) The Twelfth AAAI/SIGART Doctoral Consortium program will be held on Sunday and Monday, July 22–23, in Grouse on the 34th floor of the Hyatt. The Doctoral Consortium provides an opportunity for a group of Ph.D. students to discuss and explore their research in- terests and career objectives in an interdisciplinary workshop together with a panel of established researchers. The eighteen students accepted to participate in this program will also participate in the AAAI-07 Poster/Demo Session. All interested AAAI-07 student reg- istrants are invited to observe the presentations and participate in discussions at the workshop. AAAI and SIGART gratefully acknowl- edge grants from the National Science Foundation and Microsoft that provide partial funding for this event. AAAI Fellow / Student Lunches First held in 2006, this program provides an opportunity for a small number of students to chat with a AAAI Fellow over an informal lunch during the conference. Preregistration prior to the conference was required. Preregistered students should meet their designat- ed Fellow in onsite registration in the Regency Ballroom foyer on their assigned day. AAAI-07 Student Blog/Forums The AAAI-07 Student Blog is a student run blog that describes and documents AAAI-07 and IAAI-07 from a student’s perspective. A small group of student bloggers attending the conferences will post daily items describing their observations, experiences, reactions, thoughts and questions. Pictures from the conference will be uploaded to the linked photo blog. Other students attending AAAI are welcome to participate by adding their own observations via comments attached to posts and photographs. In addition, several stu- dent-run forums are available via the AAAI-07 Student Activities website. The website and blog are available from the following site: pegasus2.isi.edu/aaai07-studentinfo/.
4 WORKSHOP PROGRAM / STUDENT PROGRAMS Morning AFTERNOON EVENING
Sunday, July 22
Registration Registration Tutorial Forum Tutorial Forum Workshops Workshops AAAI/SIGART DC AAAI/SIGART DC Game Playing Competition Game Playing Competition
Monday, July 23
Registration Registration Opening Reception AAAI Business Meeting Video Competition Tutorial Forum Tutorial Forum Man Versus Machine Poker Workshops Workshops Challenge AAAI/SIGART DC AAAI/SIGART DC Game Playing Competitition Game Playing Competition
Tuesday, July 24
Registration Registration Student Reception at the AAAI-07 Presidential Address IAAI-07 Invited Talk University of British Columbia AAAI-07 and IAAI-07 AAAI-07 and IAAI-07 Exhibits and Robots Exhibits and Robots Poker Competition Poker Competition Man Versus Machine Exhibition Man Versus Machine Exhibition Trading Agent Competition Trading Agent Competition
Wednesday, July 25
Registration Registration Posters and Demos Invited Talks Reception AAAI-07 and IAAI-07 AAAI-07 and IAAI-07 Exhibits and Robots Exhibits and Robots Poker Tournament Poker Tournament Man Versus Machine Exhibition Man Versus Machine Exhibition Trading Agent Competition Trading Agent Competition
Thursday, July 26
Registration AAAI-07 Invited Talks AAAI-07 and IAAI-07 AAAI-07 and IAAI-07 Exhibits and Robots Poker Competition Man Versus Machine Exhibition
CONFERENCE AT A GLANCE 5 Tutorial Forum
AAAI-07 technical registrants may attend up to four consecu- Session III: Monday, July 23 tive tutorials for an additional registration fee. All tutorials will 9:00 AM–1:00 PM be held on the second level of the Hyatt Regency Vancouver. MA1: New Frontiers in Session I: Sunday, July 22 Representation Discovery Sridhar Mahadevan 9:00 AM–1:00 PM Georgia A SA1: Autonomous Bidding Agents MA2: Automatic Semantic Role Labeling Michael Wellman and Peter Stone Scott Wen-tau Yih and Kristina Toutanova Georgia A Georgia B SA2: Information Integration on the Web MA3: Constraint-based Local Subbarao Kambhampati and Craig Knoblock Search in Comet Georgia B Pascal Van Hentenryck and Laurent Michel SA3: Domain Modeling for Planning Plaza A Mark Boddy and Robert P. Goldman MA4: Topics in Automated Planning and Scheduling Part I: Plaza A Planning and Scheduling with Over-Subscribed Resources, SA4: Algorithms for Satisfiability Testing Preferences, and Soft Constraints Anbulagan and Jussi Rintanen Minh Do, Terry Zimmerman, and Subbarao Kambhampati Plaza B Plaza B
Session II: Sunday, July 22 Session IV: Monday, July 23
2:00 PM–6:00 PM 2:00 PM–6:00 PM SP1: Human-Computer Interaction Based on Discourse Modeling: MP1: Managing Uncertainty and Theory from AI and Application in HCI Vagueness in Semantic Web Languages Hermann Kaindl Thomas Lukasiewicz and Umberto Straccia Georgia A Georgia A SP2: Constraint Processing for Planning and Scheduling MP2: Representing, Eliciting, and Roman Bartak Reasoning with Preferences Georgia B Ronen Brafman and Carmel Domshlak SP3: Beyond Traditional SAT Reasoning: QBF, Model Counting, Georgia B and Solution Sampling MP3: Practical Statistical Relational AI Ashish Sabharwal and Bart Selman Pedro Domingos Plaza A Plaza A SP4: General Game Playing MP4: Topics in Automated Planning and Scheduling Part II: Michael Thielscher Coordinating Distributed Planning and Scheduling Agents Plaza B Stephen F. Smith, Bradley J. Clement, and Keith S. Decker Plaza B
Special Meetings
AAAI Business Meeting AAAI Strategic Planning Board Meeting The AAAI Annual Business Meeting will be held Monday, July 23, The AAAI Strategic Planning Board Meeting will be held Wednes- 12:45–1:15 PM, Regency B, Third Floor day, July 25, 7:30–9:00 AM, Cavendish, Fourth Floor AAAI Conference Committee Meeting AI Journal Editorial Board Meeting AAAI Conference Committee Meeting will be held Thursday, July The AI Journal Editorial Board Meeting will be held Tuesday, July 26, 7:45–8:45 AM, Windsor, Third Floor 24, 12:30–3:30 PM, Cavendish, Fourth Floor AAAI Executive Council Meeting AI Magazine Editorial Board Meeting The AAAI Executive Council Meeting will be held Monday, July 23, The AI Magazine Editorial Board Meeting will be held Wednesday, 9:00 AM–4:00 PM, Stanley Room, 34th Floor. Continental breakfast July 25, 12:30–2:00 PM, Cavendish, Fourth Floor will be available at 8:30 AM. JAIR Meeting AAAI Press Editorial Board Meeting The JAIR Meeting of Advisory Board and Associate Editors will be The AAAI Press Editorial Board Meeting will be held Wednesday, Wednesday, July 25, 12:30–1:50 PM, Tropika Restaurant, 1128 July 25, 7:45–8:45 AM, Windsor, Third Floor Robson, Second Floor AAAI Publications Committee Meeting IJCAI Trustees Meetings The AAAI Publications Committee Meeting will be held Monday, The IJCAI Trustees Meetings will be held Thursday, July 26, July 23, 7:30–9:00 PM, Windsor, Third Floor 12:00–6:00 PM and Friday, July 27, 8:00 AM–12:00 PM, Tennyson, Fourth Floor
6 TUTORIAL FORUM AND SPECIAL MEETINGS AAAI-07 / IAAI-07 Invited Talks
Tuesday, July 24 9:00–10:00 AM As we move from teleoperation toward col- AAAI-07 Invited Talk laboration, human-robot interactions be- 9:00–10:00 AM come more complex and require that the Logic for Automated Mechanism AAAI Presidential Address human and the robot share more common Design — A Progress Report Agents, Bodies, Constraints knowledge about the world. At the collab- Michael Wooldridge and Dynamics orative level of interaction, the robot and (University of Liverpool, UK) human must exercise mixed initiative in Alan K. Mackworth Regency D problem solving, each taking advantage of (University of British Columbia) their unique skills, location, and perspec- Regency Ballroom Cooperation logics, such as Coalition Log- ic and ATL, have proved to be a powerful tive of the current situation. Working to- ward solutions to human-robot collabora- 1:50–2:50 PM formal tool for reasoning about game-like mechanisms such as social choice proce- tion requires a highly multi-disciplinary ap- IAAI-07 Invited Talk dures. In this talk, Wooldridge presents a proach, as well as integration of very dif- Revolutionizing Prostheses: A Program survey of his work in this area. He will be- ferent areas of research, as can be seen of the Defense Advanced Research gin by introducing ATL-like logics, and in the emerging field of human-robot inter- Projects Agency (DARPA) demonstrating that they form a natural action. This talk will describe recent multi- Geoffrey S. F. Ling (DARPA) tool for the specification of social choice disciplinary approaches in shared per- spective. Regency B procedures. He will show how ATL model checkers can be used to verify economic The Defense Advanced Research Projects 9:00–10:00 AM properties of social choice mechanisms. Agency (DARPA) sponsors revolutionary re- He will then discuss the main research is- AAAI-07 Invited Talk search targeted at bridging gaps between sues in the area, discussing, for example, Representing and Reasoning about the needs of the warfighter and current the succinct representation of social technological, medical, and scientific ca- Preferences choice rules, the complexity of reasoning pabilities. In the realm of neurology, Toby Walsh (NICTA and with such representations, and the han- specifically, the Human Assisted Neural University of New South Wales) dling of preferences. This talk will report Devices (HAND) and Revolutionizing Pros- Regency D joint work with Thomas Agotnes (Bergen), thesis programs are efforts aimed at ad- Wiebe van der Hoek (Liverpool), Marc Preferences turn up in many AI applica- vancing the interfaces between assistive Pauly (Stanford), and Paul E. Dunne (Liv- tions. How do we represent preferences? devices and users by leveraging off of bio- erpool). How do we elicit them from a user? How logical capabilities. Both programs have do we aggregate preferences of multiple provided the basis for paradigm shifts in 10:20–11:20 AM agents? Can we do this fairly and effi- treatment of extremity injury and traumat- IAAI-07 Invited Talk: Robert S. Engelmore ciently? How do we reason about prefer- ic brain injury. ences (“I’d prefer a ski trip to a city Memorial Award Lecture break”) and constraints (“It must cost Wednesday, July 25 AI in a Moore’s Law World: The Stories less than my budget”). In this talk, Walsh of Farecast and KnowItAll 9:00–10:00 AM will describe ongoing work to answer such Oren Etzioni (University of Washington) questions. Research in this area is an in- AAAI-07 Invited Talk Regency B teresting intersection between knowledge Graph Identification What is the role for AI as CPUs, disks, and representation, decision theory, and mul- Lise Getoor (University of Maryland, networks become exponentially more pow- tiagent systems. It is also an area where College Park) erful? Perhaps, as some have suggested, computational intractability can be our Regency C the application of simple processing tech- friend. niques to unprecedented mountains of da- Within the machine learning community, 10:20–11:20 AM there has been a growing interest in learn- ta will suffice. Alternatively, perhaps Luis ing structured models from input data that von Ahn’s paradigm of “Human Computa- IAAI-07 Invited Talk is itself structured. Graph identification tion” will yield any intelligence that is re- Big “A,” Small “I”: Smart Ends from refers to methods that transform an ob- quired. Etzioni will argue, to the contrary, Simple Means served input graph into an inferred output that sophisticated AI techniques such as Matt Brown (Maxis / Electronic Arts) graph. Examples include inferring organi- data mining and information extraction are Regency B necessary for exciting new applications. zational hierarchies from social network The talk will cover various elements of the data and identifying gene regulatory net- But these techniques have to be improved in important ways. He will make these game design, behavioral AI and structure works from protein-protein interactions. behind The Sims 2 as well as future ef- The key processes in graph identification points through the stories of Farecast. com and the KnowItAll research project. forts in products such as The Sims and are entity resolution, link prediction, and SimCity. Emphasis will be on simplifica- collective classification. Getoor will Thursday, July 26 tion of abstraction and underlying world overview algorithms for these processes, representations, prototyping and demon- discuss the need for integrating the re- 9:00–10:00 AM stration of practical results. Discussion sults to solve the overall problem collec- AAAI-07 Invited Talk will focus around players’ perceptual mod- tively, and show how these methods are els and manipulating available information Moving toward Peer-to-Peer relevant to foundational problems in AI and expectations to simplify design. such as knowledge representation, refor- Human-Robot Interaction mulation, and reasoning. Alan C. Schultz (Naval Research Laboratory) Regency C
INVITED TALKS 7 REGENCY A REGENCY C REGENCY F GEORGIA A
AAAI-07/IAAI-07 Opening Ceremony Welcome and Opening Remarks IAAI-07 Welcome, Robert S. Engelmore Award, Awards (Regency Ballroom) and Presidential Address (Regency Ballroom) Deployed Application Award Announcements William Cheetham, IAAI-07 Conference Chair, IJCAI-JAIR Best Paper Prize (All events from 8:30–10:00 AM will be held in AAAI Welcome, Outstanding Paper Mehmet Goker, IAAI-07 Program Cochair, and David Toby Walsh, Editor-in-Chief of the Journal of Artificial the Regency Ballroom) and Program Committee Awards Leake, AI Magazine Editor-in-Chief Intelligence Research (JAIR) Robert C. Holte and Adele Howe, AAAI-07 Program Chairs
AI and the Web: Semantic Web Constraint Reasoning-1 Knowledge Representation Unsupervised Learning-1 Session Chair: Thomas Lukasiewicz Session Chair: Toby Walsh and Reasoning Session Chair: Kagan Tumer Towards Large Scale Argumentation Learning to Solve QBF Session Chair: Jim Delgrande A Meta-learning Approach for Selecting Support on the Semantic Web Horst Samulowitz, Roland Memisevic A Temporal Mereology for Distinguishing between Response Automation Strategies Iyad Rahwan, Fouad Zablith, Chris Reed between Integral Objects and Portions of Stuff in a Help-desk Domain Combining Multiple Heuristics Online Thomas Bittner, Maureen Donnelly Y. Marom, I. Zukerman, N. Japkowicz Making the Difference in Semantic Matthew Streeter, Daniel Golovin, Stephen F. Smith Web Service Composition Forgetting Actions in Domain Descriptions Nectar: Manifold Denoising as Preprocessing Freddy Lécue, Alexandre Delteil Restart Schedules for Esra Erdem, Paolo Ferraris for Finding Natural Representations of Data Ensembles of Problem Instances Matthias Hein, Markus Maier Partial Matchmaking Using Matthew Streeter, Daniel Golovin, Stephen F. Smith A Generalized Gelfond-Lifschitz Transformation Approximate Subsumption for Logic Programs with Abstract Constraints COD: Online Temporal Clustering for 10:20–11:20 AM10:20–11:20 Heiner AM Stuckenschmidt 8:30–10:00 Yi-Dong Shen, Jia-Huai You Outbreak Detection Tomás Singliar, Denver H. Dash
AI and the Web: Wikipedia Consistency and Resolution Fundamental Algorithms Semisupervised Learning Session Chair: James Fan Session Chair: Willem-Jan van Hoeve Session Chair: Ashish Sabharwal Session Chair: Kiri Wagstaff Deriving a Large-Scale Taxonomy from Wikipedia Data Structures for Generalised Arc Computational Aspects of Covering in Improving Learning in Networked Data by Simone Paolo Ponzetto, Michael Strube Consistency for Extensional Constraints Dominance Graphs Combining Explicit and Mined Links Ian P. Gent, Chris Jefferson, Ian Miguel, Peter Felix Brandt, Felix Fischer Sofus A. Macskassy Relation Extraction from Wikipedia Nightingale Using Subtree Mining Graph Partitioning Based on Link Distributions Semisupervised Learning by Mixed Dat P. T. Nguyen, Yutaka Matsuo, Mitsuru Ishizuka Conservative Dual Consistency Bo Long, Mark (Zhongfei) Zhang, Philip S. Yu Label Propagation Christophe Lecoutre, Stéphane Cardon, Julien Vion Wei Tong, Rong Jin Finding Related Pages Using Green Measures: Discovering Near Symmetry in Graphs An Illustration with Wikipedia Nectar: Refutation by Randomised Maria Fox, Derek Long, Julie Porteous Semisupervised Learning with Very Yann Ollivier, Pierre Senellart General Resolution Few Labeled Training Examples Steven Prestwich, Inês Lynce Zhi-Hua Zhou, De-Chuan Zhan, Qiang Yang 11:30 AM–12:30 PM AM–12:30 11:30
AI and the Web: User Interactions NL-Based Inference Causal Models Reinforcement Learning-1 Session Chair: Vinay Chaudhri Session Chair: TBA Session Chair: Denver Dash Session Chair: Shimon Whiteson Modeling Contextual Factors of Click Rates Semantic Inference at the On the Identification of a Class of Linear Models Nectar: Temporal Difference and Policy Search Hila Becker, Christopher Meek, David Maxwell Lexical-Syntactic Level Jin Tian Methods for Reinforcement Learning Chickering Roy Bar-Haim, Ido Dagan, Iddo Greental, Matthew Taylor, Shimon Whiteson, Peter Stone Eyal Shnarch Possibilistic Causal Networks for Handling KA-CAPTCHA: An Opportunity for Interventions: A New Propagation Algorithm A Reinforcement Learning Algorithm with Knowledge Acquisition on the Web Recognizing Textual Entailment Salem Benferhat, Salma Smaoui Polynomial Interaction Complexity for Bruno Norberto da Silva, Ana Cristina Using a Subsequence Kernel Method Only-Costly-Observable MDPs Bicharra Garcia Rui Wang, Günter Neumann Learning Causal Models for Noisy Biological Roy Fox, Moshe Tennenholtz Data Mining: An Application to 1:50-2:50 PM PhotoSlap: A Multi-player Online Nectar: Learning and Inference Ovarian Cancer Detection Compact Spectral Bases for Value Function Game for Semantic Annotation for Hierarchically Split PCFGs Ghim-Eng Yap, Ah-Hwee Tan, Hwee-Hwa Pang Approximation Using Kronecker Factorization Chien-Ju Ho, Tsung-Hsiang Chang, Slav Petrov, Dan Klein Jeff Johns, Sridhar Mahadevan, Chang Wang Jane Yung-jen Hsu
AI and the Web: Supporting Business Information Gathering Action/Agent Logics Transfer Learning Session Chair: Norman Sadeh-Koniecpol Session Chair: TBA Session Chair: Iyad Rahwan Session Chair: Pedro Domingos Towards Efficient Dominant Relationship Nonmyopic Informative Path Planning A Logic of Agent Programs Measuring the Level of Transfer Learning Exploration of the Product Items on the Web in Spatio-Temporal Models N. Alechina, M. Dastani, B. S. Logan, by an AP Physics Problem-Solver Zhenglu Yang, Lin Li, Botao Wang, Alexandra Meliou, Andreas Krause, Carlos Guestrin, J.-J. Ch. Meyer Matthew Klenk, Kenneth D. Forbus Masaru Kitsuregawa Joseph M. Hellerstein Optimal Regression for Reasoning about Mapping and Revising Markov Logic Networks Design of a Mechanism for Promoting Purely Epistemic Markov Decision Processes Knowledge and Actions for Transfer Learning Honesty in E-Marketplaces Régis Sabbadin, Jérôme Lang, Hans van Ditmarsch, Andreas Herzig, Lilyana Mihalkova, Tuyen Huynh, Raymond J. Jie Zhang, Robin Cohen Nasolo Ravoanjanahry Tiago de Lima Mooney
3:00–4:00 PM Representing and Reasoning about VOILA: Efficient Feature-value ESP: A Logic of Only-Knowing, Transferring Naive Bayes Classifiers for Text Commitments in Business Processes Acquisition for Classification Noisy Sensing and Acting Classification Nirmit Desai, Amit K. Chopra, Munindar P. Singh Mustafa Bilgic, Lise Getoor Alfredo Gabaldon, Gerhard Lakemeyer Wenyuan Dai, Gui-Rong Xue, Qiang Yang, Yong Yu
Planning on the Web Search Algorithm Models of Agency Collective Inference Session Chair: Craig Knoblock Synthesis/Comparison Session Chair: Yoav Shoham Session Chair: Kagan Tumer Senior Member: Model-lite Planning for the Web Session Chair: Steve Minton A Logic of Emotions for Intelligent Agents Joint Inference in Information Extraction Age Masses: The Challenges of Planning with Nectar: An Experimental Comparison of Bas R. Steunebrink, Mehdi Dastani, Hoifung Poon, Pedro Domingos Incomplete and Evolving Domain Models Constraint Logic Programming and John-Jules Ch. Meyer Subbarao Kambhampati Answer Set Programming Cautious Inference in Collective Classification Agostino Dovier, Andrea Formisano, Enrico Pontelli Intention Guided Belief Revision Luke K. McDowell, Kalyan Moy Gupta, David W. Aha Web Service Composition as Planning, Timothy William Cleaver, Abdul Sattar Revisited: In Between Background Theories and Synthesis of Constraint-Based Local Nectar: Online Collective Entity Resolution Initial State Uncertainty Search Algorithms from High-Level Models A Modal Logic for Beliefs and Pro Attitudes Indrajit Bhattacharya, Lise Getoor Jörg Hoffmann, Piergiorgio Bertoli, Marco Pistore Pascal Van Hentenryck, Laurent Michel Kaile Su, Abdul Sattar, Han Lin, Mark Reynolds 4:20–5:20 PM AIW: A Planning Approach for Message-Oriented Automatic Algorithm Configuration Semantic Web Service Composition Based on Local Search Zhen Liu, Anand Ranganathan, Anton Riabov Frank Hutter, Holger H. Hoos, Thomas Stützle
Coffee breaks will be held at 10:00 – 10:20 AM and 4:00 – 4:20 PM. The lunch break will be held from 12:30 – 1:50 PM.
AAAI-07 Students-Only Reception, 7:30–10:30 PM, University of British Columbia EVENING
8 CONFERENCE SCHEDULE—TUESDAY JULY 24 REGENCY D GEORGIA B REGENCY E REGENCY B
Awards (Regency Ballroom) AAAI Presidential Address (Regency Ballroom) AAAI Classic Paper and Distinguished Service Awards 9:00-10:00 AM (Regency Ballroom) Ronald J. Brachman, AAAI Past President and Agents, Bodies, Constraints and Dynamics Awards Committee Chair Alan Mackworth (University of British Columbia) Alan Mackworth, AAAI President
Multiagent Systems POMDPs Human Studies IAAI-07: Machine Learning Session Chair: Shlomo Zilberstein Session Chair: Sridhar Mahadevan Session Chair: Brian Scassellati Session Chair: Samy Uthurusamy A Multi-Dimensional Trust Model Indefinite-Horizon POMDPs with Humans Perform Semisupervised Emerging: Stochastic Optimization for for Heterogeneous Contract Observations Action-Based Termination Classification Too Collision Selection in High Energy Physics Steven Reece, Stephen Roberts, Alex Rogers, Eric A. Hansen Xiaojin Zhu, Timothy Rogers, Ruichen Qian, Shimon Whiteson, Daniel Whiteson Nicholas R. Jennings Chuck Kalish Scaling Up: Solving POMDPs through Emerging: Adaptive Timeout Policies for Fast Improved State Estimation in Multiagent Value Based Clustering Modeling Reciprocal Behavior in Fine-Grained Power Management Settings with Continuous or Large Yan Virin, Guy Shani, Solomon Eyal Shimony, Human Bilateral Negotiation Branislav Kveton, Prashant Gandhi, Georgios Discrete State Spaces Ronen Brafman Ya’akov Gal, Avi Pfeffer Theocharous, Shie Mannor, Barbara Rosario, Prashant Doshi Nilesh Shah Point-Based Policy Iteration Nectar: Using Eye-Tracking Data for High-Level 10:20–11:20 AM10:20–11:20 An α-approximation AM 8:30–10:00 Protocol for Shihao Ji, Ronald Parr, Hui Li, User Modeling in Adaptive Interfaces the Generalized Mutual Assignment Problem Xuejun Liao, Lawrence Carin Cristina Conati, Christina Merten, Katsutoshi Hirayama Saleema Amershi, Kasia Muldner
Negotiation Heuristic Search-1 Integrated Intelligence: Spatial Cognition IAAI-07: Space Applications Session Chair: Shlomo Zilberstein Session Chair: Rich Korf Session Chair: Benjamin Kuipers Session Chair: Samy Uthurusamy On the Benefits of Exploiting Underlying Near-Optimal Search in Continuous Domains Spatial Representation and Reasoning for Emerging: Machine Learning for Automatic Goals in Argument-based Negotiation Samuel Ieong, Nicolas Lambert, Yoav Shoham, Human-Robot Collaboration Mapping of Planetary Surfaces Iyad Rahwan, Philippe Pasquier, Liz Sonenberg, Ronen Brafman W. Kennedy, M. Bugajska, M. Marge, W. Adams, Tomasz F. Stepinski, Soumya Ghosh, Ricardo Vilalta Frank Dignum B. Fransen, D. Perzanowski, A. Schultz, J. Trafton Parallel Structured Duplicate Detection An Integrated Robotic System for Spatial Deployed: The Virtual Solar-Terrestrial Reasoning about Bargaining Situations Rong Zhou, Eric A. Hansen Understanding and Situated Interaction … Observatory: A Deployed Semantic Web Dongmo Zhang Application Case Study for Scientific Research Best-First Search for Treewidth H. Zender, P. Jensfelt, Ó. Martínez Mozos, Deborah McGuinness, Peter Fox, Luca Cinquini, P. Alex Dow, Richard E. Korf G. Kruijff, W. Burgard Patrick West, Jose Garcia, James L. Benedict, Predicate Projection in a Bimodal Don Middleton Spatial Reasoning System 11:30 AM–12:30 PM AM–12:30 11:30 Samuel Wintermute, John E. Laird
Mechanism Design-1 Heuristic Search-2 Localization IAAI-07 Invited Talk Session Chair: Jeff Rosenschein Session Chair: Rich Korf Session Chair: Maria Gini Revolutionizing Prostheses: Implementing the Maximum of Domain-Independent Construction of Pattern Hybrid Inference for Sensor Network A Program of the Defense Advanced Research Monotone Algorithms Database Heuristics for Cost-Optimal Planning Localization Using a Mobile Robot Projects Agency (DARPA) Liad Blumrosen Patrik Haslum, Adi Botea, Malte Helmert, Dimitrios Marinakis, David Meger, Geoffrey S. F. Ling (DARPA) Blai Bonet, Sven Koenig Ioannis Rekleitis, Gregory Dudek Automated Online Mechanism Design and Prophet Inequalities Theta*: Any-Angle Path Planning on Grids Online Co-Localization in Indoor Wireless Mohammad Taghi Hajiaghayi, Robert Kleinberg, Alex Nash, Kenny Daniel, Sven Koenig, Ariel Felner Networks by Dimension Reduction Tuomas Sandholm Jeffrey Pan, Qiang Yang, Sinno Jialin Pan On the Value of Good Advice: The Complexity of 1:50-2:50 PM An Ironing-Based Approach to Adaptive Online A* Search with Accurate Heuristics Adaptive Localization in a Dynamic WiFi Mechanism Design in Single-Valued Domains Hang Dinh, Alexander Russell, Yuan Su Environment through Multi-view Learning David C. Parkes, Quang Duong Sinno Jialin Pan, James T. Kwok, Qiang Yang, Jeffrey Junfeng Pan
Auctions Optimal Planning Probabilistic Methods-1 IAAI-07: Medical Applications Session Chair: Jeff Rosenschein Session Chair: Joerg Hoffmann Session Chair: Denver Dash Session Chair: Randy Hill Nectar: Making VCG More Robust in Filtering, Decomposition and Search Space Best-First AND/OR Search for Graphical Models Deployed: Biomind ArrayGenius and Combinatorial Auctions via Reduction for Optimal Sequential Planning Radu Marinescu, Rina Dechter GeneGenius: Web Services Offering Microarray Submodular Approximation Stéphane Grandcolas, Cyril Pain-Barre and SNP Data Analysis via Novel Machine Makoto Yokoo, Atsushi Iwasaki Sampling with Memoization Learning Methods Planning as Satisfiability with Preferences Avi Pfeffer Ben Goertzel, Cassio Pennachin, Lucio Coelho, Valuation Uncertainty and Imperfect Enrico Giunchiglia, Marco Maratea Leonardo Shikida, Murilo Queiroz Introspection in Second-Price Auctions Generalized Evidence Pre-propagated David R. M. Thompson, Kevin Leyton-Brown Asymptotically Optimal Encodings of Importance Sampling for Hybrid Emerging: Real-Time Identification of Conformant Planning in QBF Bayesian Networks Operating Room State from Video 3:00–4:00 PM Revenue Monotonicity in Combinatorial Auctions Jussi Rintanen Changhe Yuan, Marek J. Druzdzel Beenish Bhatia, Tim Oates, Yan Xiao, Peter Hu Baharak Rastegari, Anne Condon, Kevin Leyton-Brown
Game Theory-1 Vision Integrated Intelligence: IAAI-07: Information Systems Session Chair: Sam Ieong Session Chair: TBA Learning/Teaching Session Chair: Ted Senator Session Chair: Dragos Margineantu A New Algorithm for Generating Equilibria A Vision-Based System for a UGV to AAAI-07 Outstanding Paper: PLOW: Deployed: Using AI for e-Government Automatic in Massive Zero-Sum Games Handle a Road Intersection A Collaborative Task Learning Agent Assessment of Immigration Application Forms Martin Zinkevich, Michael Bowling, Neil Burch Javed Ahmed, Mubarak Shah, Andrew Miller, J. Allen, N. Chambers, G. Ferguson, L. Galescu, Andy Hon Wai Chun Don Harper, M. N. Jafri Learning Equilibrium in H. Jung, M. Swift, W. Taysom Deployed: Journal-Ranking.com: An Resource Selection Games Photometric and Geometric Restoration of Integrated Introspective Case-Based Reasoning Online Interactive Journal Ranking System Itai Ashlagi, Dov Monderer, Moshe Tennenholtz Document Images Using Inpainting and for Intelligent Tutoring Systems Andrew Lim, Hong Ma, Qi Wen, Zhou Xu, Shape-from-Shading Leen-Kiat Soh Brenda Cheang, Bernard Tan, Wenbin Zhu On the Reasoning Patterns of Agents Li Zhang, Andy M. Yip, Chew Lim Tan
4:20–5:20 PM in Games Integrating Natural Language, KR and R, and Avi Pfeffer, Ya’akov Gal Detection of Multiple Deformable Analogical Processing to Learn by Reading Objects Using PCA-SIFT K. Forbus, C. Riesbeck, L. Birnbaum, K. Livingston, Stefan Zickler, Alexei Efros A. Sharma, L. Ureel
Coffee breaks will be held at 10:00 – 10:20 AM and 4:00 – 4:20 PM. The lunch break will be held from 12:30 – 1:50 PM.
CONFERENCE SCHEDULE—TUESDAY, JULY 24 9 REGENCY A REGENCY C REGENCY F / STANLEY GEORGIA A
AAAI-07 Invited Talk Introduction by Tom Dietterich Graph Identification Lise Getoor (University of Maryland, College Park)
AI and the Web: Trust and Authority Constraint Reasoning-2 Action/Agent Languages (Regency F) Kernel Methods Session Chair: Robin Cohen Session Chair: Steve Prestwich Session Chair: Jussi Rintanen Session Chair: Richard Maclin SUNNY: A New Algorithm for Trust Inference Propagating Knapsack Constraints A Modular Action Description Language A Randomized String Kernel and in Social Networks Using Probabilistic in Sublinear Time for Protocol Composition Its Application to RNA Interference Confidence Models Irit Katriel, Meinolf Sellmann, Eli Upfal, Nirmit Desai, Munindar P. Singh Shibin Qiu, Terran Lane, Ljubomir Buturovic Ugur Kuter, Jennifer Golbeck Pascal Van Hentenryck Expressiveness of ADL and Golog: Kernel Regression with Order Preferences From Whence Does Your Authority Come? Dynamic DFS Tree in ADOPT-ing Functions Make a Difference Xiaojin Zhu, Andrew B. Goldberg Utilizing Community Relevance in Ranking Marius C. Silaghi, Makoto Yokoo Gabriele Röger, Bernhard Nebel Lan Nie, Brian D. Davison, Baoning Wu Nectar: The Pyramid Match: Efficient On the Partial Observability of The Semantics of Variables in Learning with Partial Correspondences Reasoning about Attribute Authenticity in a Web Temporal Uncertainty Action Descriptions Kristen Grauman 10:20–11:20 AM10:20–11:20 Environment AM 9:00–10:00 Michael D. Moffitt Vladimir Lifschitz, Wanwan Ren Thomas Wölfl
AI and the Web: Ontologies Constrained Optimization Logic/Database Query Answering (Regency F) Unsupervised Learning-2 Session Chair: Chris Welty Session Chair: K. Brent Venable Session Chair: Mirek Truszczynski Session Chair: Dragos Margineantu Approximating OWL-DL Ontologies Search Space Reduction and Scalable Semantic Retrieval through Clustering with Local and Global Regularization Jeff Z. Pan, Edward Thomas Russian Doll Search Summarization and Refinement Fei Wang, Changshui Zhang, Tao Li Kenil C. K. Cheng, Roland H. C. Yap J. Dolby, A. Fokoue, A. Kalyanpur, Repairing Ontology Mappings A. Kershenbaum, E. Schonberg, K. Srinivas, L. Ma Isometric Projection Christian Meilicke, Heiner Stuckenschmidt, Multi-Objective Russian Doll Search Deng Cai, Xiaofei He, Jiawei Han Andrei Tamilin Emma Rollon, Javier Larrosa Approximate Query Answering in Locally Closed Databases Discovering Multivariate Motifs Using A Semantic Importing Approach to Knowledge Computing Optimal Subsets Á. Cortés-Calabuig, M. Denecker, O. Arieli, Subsequence Density Estimation and Reuse from Multiple Ontologies Maxim Binshtok, Ronen I. Brafman, M. Bruynooghe Greedy Mixture Learning Jie Bao, Giora Slutzki, Vasant Honavar Solomon E. Shimony, Ajay Martin, Craig Boutilier David Minnen, Charles L. Isbell, Irfan Essa, Facts Do Not Cease to Exist Because Thad Starner 11:30 AM–12:30 PM AM–12:30 11:30 They Are Ignored … J. Oetsch, H. Tompits, S. Woltran
AI and the Web: Networks and Constraint Reasoning-3 Reasoning with Beliefs (Stanley, 34th Floor) Mathematical Programming Semantics Session Chair: Francesca Rossi Session Chair: Mirek Truszczynski Session Chair: TBA Session Chair: Neil Yorke-Smith Transposition Tables for Constraint Satisfaction Mutual Belief Revision: A Mathematical Programming Formulation for Provisioning Heterogeneous and Unreliable Christophe Lecoutre, Lakhdar Sais, Semantics and Computation Sparse Collaborative Computer Aided Diagnosis Providers for Service Workflows Sébastien Tabary, Vincent Vidal Yi Jin, Michael Thielscher, Dongmo Zhang Jinbo Bi, Tao Xiong Sebastian Stein, Nicholas R. Jennings, Terry R. Payne Representative Explanations for An Egalitarist Fusion of Incommensurable Refining Rules Incorporated into Knowledge- Over-Constrained Problems Ranked Belief Bases under Constraints Based Support Vector Learners Via Successive A Distributed Constraint Optimization Barry O’Sullivan, Alexandre Papadopoulos, Salem Benferhat, Sylvain Lagrue, Julien Rossit Linear Programming Solution to the P2P Video Streaming Problem Boi Faltings, Pearl Pu Richard Maclin, Edward Wild, Jude Shavlik, Theodore Elhourani, Nathan Denny, Belief Change and Cryptographic Lisa Torrey, Trevor Walker 1:50-2:50 PM Michael Marefat Diagnosis of Discrete-Event Systems Protocol Verification Using Satisfiability Algorithms Aaron Hunter, James P. Delgrande A Method for Large-Scale GRIN : A Graph Based RDF Index Alban Grastien, Anbulagan, Jussi Rintanen, Elena l1-Regularized Logistic Regression O. Udrea, A. Pugliese, V. S. Subrahmanian Kelareva Kwangmoo Koh, Seung-Jean Kim, Stephen Boyd
AI and the Web: Language Technology CSPs Description Logics-1 (Stanley, 34th Floor) Link Mining Session Chair: Chris Welty Session Chair: K. Brent Venable Session Chair: Giuseppe De Giacomo Session Chair: Pedro Domingos Improving Similarity Measures for Using Expectation Maximization to Find Likely Complexity Boundaries for Horn Probabilistic Community Discovery Using Short Segments of Text Assignments for Solving CSP’s Description Logics Hierarchical Latent Gaussian Mixture Model Wen-tau Yih, Christopher Meek Eric I. Hsu, Matthew Kitching, Fahiem Bacchus, Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler Haizheng Zhang, C. Lee Giles, Henry C. Foley, Sheila A. McIlraith John Yen Topic Segmentation Algorithms for Text DL-Lite in the Light of First-Order Logic Summarization and Passage Retrieval: On Balanced CSPs with High Treewidth Alessandro Artale, Diego Calvanese, Roman Relationship Identification for An Exhaustive Evaluation Carlos Ansótegui, Ramón Béjar, Kontchakov, Michael Zakharyaschev Social Network Discovery Gaël Dias, Elsa Alves. José Gabriel Pereira Lopes César Fernàndez, Carles Mateu Christopher P. Diehl, Galileo Namata, Lise Getoor Answering Regular Path Queries in Expressive
3:00–4:00 PM Robust Estimation of Google Counts for Social Inference Rules for High-Order Description Logics: An Automata-Theoretic L2R: A Logical Method for Reference Network Extraction Consistency in Weighted CSP Approach Reconciliation Yutaka Matsuo, Hironori Tomobe, Carlos Ansótegui, María L. Bonet, Jordi Levy, Diego Calvanese, Thomas Eiter, Magdalena Ortiz Fatiha Saïs, Nathalie Pernelle, Takuichi Nishimura Felip Manyà Marie Christine Rousset
Web Mining/Retrieval Model Counting Description Logics-2 (Stanley, 34th Floor) Learning Semantics from Text Session Chair: Shieu-Hong Lin Session Chair: Toby Walsh Session Chair: Diego Calvenese Session Chair: Shieu-Hong Lin Mining Web Query Hierarchies from Approximate Counting by Sampling Description Logics for Multi-Issue Bilateral Learning Language Semantics from Clickthrough Data the Backtrack-free Search Space Negotiation with Incomplete Information Ambiguous Supervision Dou Shen, Min Qin, Weizhu Chen, Qiang Yang, Vibhav Gogate, Rina Dechter Azzurra Ragone, Tommaso Di Noia, Rohit J. Kate, Raymond J. Mooney Zheng Chen Eugenio Di Sciascio, Francesco M. Donini Using More Reasoning to Improve #SAT Solving A Robot That Uses Existing Vocabulary to Infer TableRank: A Ranking Algorithm for Jessica Davies, Fahiem Bacchus On the Approximation of Instance Level Non-Visual Word Meanings from Observation Table Search and Retrieval Update and Erasure in Description Logics Kevin Gold, Brian Scassellati Ying Liu, Kun Bai, Prasenjit Mitra, C. Lee Giles Counting CSP Solutions Using Giuseppe De Giacomo, Maurizio Lenzerini, Generalized XOR Constraints Antonella Poggi, Riccardo Rosati Nectar: Modeling and Learning Vague Event
4:20–5:20 PM Carla P. Gomes, Willem-Jan van Hoeve, Durations for Temporal Reasoning Ashish Sabharwal, Bart Selman On Capturing Semantics in Ontology Mapping Feng Pan, Rutu Mulkar-Mehta, Jerry R. Hobbs B. Hu, S. Dasmahapatra, P. Lewis, N. Shadbolt
Coffee breaks will be held at 10:00 – 10:20 AM and 4:00 – 4:20 PM. The lunch break will be held from 12:30 – 1:50 PM.
AAAI-07 Poster Demo Reception, 6:30–10:00 PM EVENING
10 CONFERENCE SCHEDULE—WEDNESDAY, JULY 25 REGENCY D / GROUSE GEORGIA B REGENCY E / CYPRESS REGENCY B
AAAI-07 Invited Talk (Regency D) IAAI-07: Agents Introduction by Jeff Rosenschein Session Chair: Nestor Rychtyckyj Deployed: Coordinating Hundreds of Coopera- Logic for Automated Mechanism tive, Autonomous Vehicles in Warehouses Design—A Progress Report P. Wurman, R. D’Andrea, Mick Mountz Michael Wooldridge (University of Liverpool, UK) Emerging: A Multi-Agent Approach to Distributed Rendering Optimization C. Gonzalez-Morcillo, G. Weiss, L. Jimenez, D. Vallejo
Agents Modeling Other Agents (Regency D) Sensor-Based Systems AI in Art and Science (Regency E) IAAI-07 Invited Talk Session Chair: Shlomo Zilberstein Session Chair: Maria Gini Session Chair: TBA Robert S. Engelmore Memorial Award Lecture Approximate Solutions of Interactive Dynamic Nectar: Dominance and Equivalence Recognition of Hand Drawn Chemical Diagrams AI in a Moore’s Law World: Influence Diagrams Using Model Clustering for Sensor-Based Agents Tom Y. Ouyang, Randall Davis The Stories of Farecast and KnowItAll Yifeng Zeng, Prashant Doshi, Qiongyu Chen Jason M. O’Kane, Steven M. LaValle Oren Etzioni (University of Washington) Posterior Probability Profiles for the Automated Minimal Mental Models Topological Mapping with Weak Sensory Data Assessment of the Recovery of Stroke Patients David V. Pynadath, Stacy C. Marsella Gregory Dudek, Dimitri Marinakis Gert Van Dijck, Jo Van Vaerenbergh, Marc M. Van Hulle Incorporating Observer Biases in Simple Robots with Minimal Sensing: Keyhole Plan Recognition (Efficiently!) From Local Visibility to Global Geometry A Corpus-Based Hybrid Approach to Dorit Avrahami-Zilberbrand, Gal A. Kaminka Subhash Suri, Elias Vicari, Peter Widmayer Music Analysis and Composition 10:20–11:20 AM10:20–11:20 AM 9:00–10:00 Bill Manaris, Patrick Roos, Penousal Machado, Dwight Krehbiel, Luca Pellicoro, Juan Romero
Multiagent Coordination (Regency D) Games-1 Integrated Intelligence: Producing IAAI-07: Decision Support Session Chair: Iyad Rahwan Session Chair: Rich Korf Pictures or Songs (Regency E) Session Chair: Reid Smith Anytime Coordination Using Visualization and Adjustment of Evaluation Session Chair: Bryan Loyall Deployed: MasDISPO: A Multiagent Decision Separable Bilinear Programs Functions Based on Evaluation Values A Text-to-Picture Synthesis System for Support System for Steel Production Marek Petrik, Shlomo Zilberstein and Win Probability Augmenting Communication and Control Shogo Takeuchi, Tomoyuki Kaneko, Xiaojin Zhu, Andrew B. Goldberg, Mohamed Eldawy, Sven Jacobi, Esteban León-Soto, A Logical Theory of Coordination and Kazunori Yamaguchi, Satoru Kawai Charles R. Dyer, Bradley Strock Cristián Madrigal-Mora, Klaus Fischer Joint Ability Hojjat Ghaderi, Hector Levesque, Yves Lespérance Heuristic Evaluation Functions for An Intelligent System for Chinese Calligraphy Emerging: Optimizing Anthrax Outbreak General Game Playing Songhua Xu, Hao Jiang, Francis C. M. Lau, Detection Using Reinforcement Learning Anytime Optimal Coalition Structure Generation James Clune Yunhe Pan Masoumeh T. Izadi, David L. Buckeridge Talal Rahwan, Sarvapali D. Ramchurn, Viet D. Dang, Andrea Giovannucci, Fluxplayer: A Successful General Game Player Learning to Sing Like a Bird: 11:30 AM–12:30 PM AM–12:30 11:30 Nicholas R. Jennings Stephan Schiffel, Michael Thielscher The Self-Supervised Acquisition of Birdsong Michael H. Coen
Mechanism Design-2 (Grouse, 34th Floor) Games-2 Probabilistic Methods-2 (Cypress, 34th Floor) IAAI-07: Business Automation Session Chair: Jeff Rosenschein Session Chair: Nathan Sturtevant Session Chair: Thomas Lukasiewicz Session Chair: Samy Uthurusamy Partial Revelation Automated M2ICAL Analyses HC-Gammon Logical Generative Models for Deployed: The VITA Financial Services Sales Mechanism Design Wee-Chong Oon, Martin Henz Probabilistic Reasoning about Existence, Support Environment Nathanaël Hyafil, Craig Boutilier Roles and Identity Alexander Felfernig, Klaus Isak, Kalman Szabo, Potential-Aware Automated Abstraction of David Poole Peter Zachar Strongly Decomposable Voting Rules Sequential Games, and Holistic Equilibrium on Multiattribute Domains Analysis of Texas Hold’em Poker Efficient Structure Learning in Deployed: Custom DU®—A Web Based Lirong Xia, Jérôme Lang, Mingsheng Ying Andrew Gilpin, Tuomas Sandholm, Factored-State MDPs Business User Driven Automated Troels Bjerre Sørensen Alexander L. Strehl, Carlos Diuk, Michael L. Littman Underwriting System Llull and Copeland Voting Broadly Srinivas Krovvidy, Robin Landsman, Steve Opdahl, 1:50-2:50 PM Resist Bribery and Control Particle Filtering for Dynamic Agent Authorial Idioms for Target Distributions Nancy Templeton, Sydnor Smalera Piotr Faliszewski, Edith Hemaspaandra, Modeling in Simplified Poker in TTD-MDPs Lane A. Hemaspaandra, Jörg Rothe Nolan Bard, Michael Bowling David L. Roberts, Sooraj Bhat, Kenneth St. Clair, Charles L. Isbell
Scheduling (Grouse, 34th Floor) Games-3 Cognitive/Brain Models (Cypress, 34th Floor) IAAI-07: Human Computer Interaction Session Chair: David E. Smith Session Chair: Bryan Loyall Session Chair: Bill Swartout Session Chair: Randy Hill Understanding Performance Tradeoffs in Algo- Acquiring Visibly Intelligent Behavior Senior Member: On the Prospects for Deployed: Enabling Intelligent Content Discovery rithms for Solving Oversubscribed Scheduling with Example-Guided Neuroevolution Building a Working Model of the Visual Cortex on the Mobile Internet Laurence A. Kramer, Laura V. Barbulescu, Stephen Bobby D. Bryant, Risto Miikkulainen Thomas Dean, Glenn Carroll, Richard Washington Barry Smyth, Paul Cotter, Stephen Oman F. Smith Nectar: Beyond Individualism: Modeling Team A Connectionist Cognitive Model for Emerging: Supporting Feedback and Randomized Adaptive Spatial Decoupling for Playing Behavior in Robot Soccer through Temporal Synchronisation and Learning Assessment of Digital Ink Answers to Large-Scale Vehicle Routing with Time Windows Case-Based Reasoning Luís C. Lamb, Rafael V. Borges, Artur S. d’Avila In-Class Exercises Russell Bent, Pascal Van Hentenryck Raquel Ros, Manuela Veloso, Ramon López de Garcez Kimberle Koile, Kevin Chevalier, Michel Rbeiz, Mántaras, Carles Sierra, Josep Lluis Arcos Adam Rogal, David Singer, Jordan Sorensen, 3:00–4:00 PM Population-Based Simulated Annealing Towards a Cognitive Model of Crowd Behavior Amanda Smith, Kah Seng Tay, Kenneth Wu for Traveling Tournaments II: R-CAST: Integrating Team Intelligence Based on Social Comparison Theory Pascal Van Hentenryck, Yannis Vergados for Human-Centered Teamwork Natalie Fridman, Gal A. Kaminka Xiaocong Fan, John Yen
Trading/Negotiating Agents Robots that Learn Diagnosis (Cypress, 34th Floor) IAAI-07: Planning and Workflow (Grouse, 34th Floor) Session Chair: Benjamin Kuipers Session Chair: Martin Sachenbacher Session Chair: Reid Smith Session Chair: John Collins Autonomous Development of a Grounded A Qualitative Approach to Multiple Emerging: Optimal Multi-Agent Scheduling Efficient Statistical Methods for Evaluating Object Ontology by a Learning Robot Fault Isolation in Continuous Systems with Constraint Programming Trading Agent Performance Joseph Modayil, Benjamin Kuipers Matthew Daigle, Xenofon Koutsoukos, Willem-Jan van Hoeve, Carla P. Gomes, Eric Sodomka, John Collins, Maria Gini Gautam Biswas Bart Selman, Michele Lombardi Stochastic Filtering in a Probabilistic Allocating Goods on a Graph to Eliminate Envy Action Model Nectar: Efficient Datalog Abduction Emerging: Wings for Pegasus: Creating Yann Chevaleyre, Ulle Endriss, Nicolas Maudet Hannaneh Hajishirzi, Eyal Amir through Bounded Treewidth Large-Scale Scientific Applications Using Georg Gottlob, Reinhard Pichler, Fang Wei Semantic Representations of Computational Gender-Sensitive Automated Negotiators Detecting Execution Failures Using Workflows
4:20–5:20 PM Ron Katz, Sarit Kraus Learned Action Models A Spectrum of Symbolic Yolanda Gil, Varun Ratnakar, Ewa Deelman, Maria Fox, Jonathan Gough, Derek Long On-line Diagnosis Approaches Gaurang Mehta, Jihie Kim Anika Schumann, Yannick Pencolé, Sylvie Thiébaux
Coffee breaks will be held at 10:00 – 10:20 AM and 4:00 – 4:20 PM. The lunch break will be held from 12:30 – 1:50 PM.
AAAI-07 Poster Demo Reception, 6:30–10:00 PM EVENING
CONFERENCE SCHEDULE—WEDNESDAY, JULY 25 11 REGENCY A REGENCY C REGENCY F GEORGIA A
AAAI-07 Invited Talk Introduction by Reid Simmons Moving Toward Peer-to-Peer Human-Robot Inter- action Alan C. Schultz (Naval Research Laboratory)
AI and the Web: Extraction and NL Summarization and Interfaces Modal Logic Training Sample Selection Understanding Session Chair: TBA Session Chair: Yves Lesperance Session Chair: Dragos Margineantu Session Chair: Chris Welty Turning Lectures into Comic Books Probabilistic Modal Logic Active Algorithm Selection Harvesting Relations from the Web— Using Linguistically Salient Gestures Afsaneh Shirazi, Eyal Amir Feilong Chen, Rong Jin Quantifiying the Impact of Filtering Functions Jacob Eisenstein, Regina Barzilay, Randall Davis Sebastian Blohm, Philipp Cimiano, Egon Stemle Prime Implicates and Prime Actively Exploring Creation of Face Space(s) Single Document Summarization with Implicants in Modal Logic for Improved Face Recognition Template-Independent News Extraction Document Expansion Meghyn Bienvenu Nitesh V. Chawla, Kevin W. Bowyer Based on Visual Consistency Xiaojun Wan, Jianwu Yang Shuyi Zheng, Ruihua Song, Ji-Rong Wen The Modal Logic S4F, the Default Logic, Nectar: Informed Case Base Maintenance: Enabling Domain-Awareness for a and the Logic Here-and-There A Complexity Profiling Approach Comprehending and Generating Apt Generic Natural Language Interface Miroslaw Truszczynski Susan Craw, Stewart Massie, Nirmalie Wiratunga 10:20–11:20 AM10:20–11:20 Metaphors: AM 9:00–10:00 A Web-driven, Case-based Yunyao Li, Ishan Chaudhuri, Huahai Yang, Approach to Figurative Language Satinder Singh, H. V. Jagadish Tony Veale, Yanfen Hao
AI and the Web: Reputation and NL Analysis Argumentation Machine Learning Sentiment Session Chair: James Fan Session Chair: Iyad Rahwan Session Chair: Kiri Wagstaff Session Chair: TBA Disambiguating Noun Compounds Action-Based Alternating Transition Nectar: Learning by Combining Unsupervised Shilling Detection Su Nam Kim, Timothy Baldwin Systems for Arguments about Action Observations and User Edits for Collaborative Filtering Katie Atkinson, Trevor Bench-Capon Vittorio Castelli, Lawrence Bergman, B. Mehta Content Analysis for Proactive Intelligence: Daniel Oblinger Marshaling Frame Evidence Reasoning from Desires to Intentions: Mobile Service for Reputation Extraction from A. Sanfilippo, A. Cowell, S. Tratz, A. Boek, A Dialectical Framework Multi-Label Learning by Instance Differentiation Weblogs—Public Experiment and Evaluation A. Cowell, C. Posse, L. Pouchard Nicolás D. Rotstein, Alejandro J. García, Min-Ling Zhang, Zhi-Hua Zhou T. Kawamura, S. Nagano, M. Inaba, Y. Mizoguchi Guillermo R. Simari Mining Sequential Patterns and The Impact of Time on the Accuracy of Sentiment Tree Patterns to Detect Erroneous Sentences Real Arguments are Approximate Arguments Classifiers Created from a Web Log Corpus Guihua Sun, Gao Cong, Xiaohua Liu, Anthony Hunter 11:30 AM–12:30 PM AM–12:30 11:30 K. Durant, M. Smith Chin-Yew Lin, Ming Zhou
AI and the Web: Social Networks Decision Diagrams Theory Merging Reinforcement Learning-2 Session Chair: Mark Greaves Session Chair: TBA Session Chair: Dongmo Zhang Session Chair: Shimon Whiteson Extracting Influential Nodes for Knowledge Compilation Properties A Model-based Approach for Merging Prioritized Efficient Reinforcement Learning with Information Diffusion on a Social Network of Tree-of-BDDs Knowledge Bases in Possibilistic Logic Relocatable Action Models Masahiro Kimura, Kazumi Saito, Ryohei Nakano Sathiamoorthy Subbarayan, Lucas Bordeaux, Guilin Qi Bethany R. Leffler, Michael L. Littman, Youssef Hamadi Timothy Edmunds Temporal and Information Flow Based Generality and Equivalence Relations Event Detection from Social Text Streams Compressing Configuration Data in Default Logic Active Imitation Learning Qiankun Zhao, Prasenjit Mitra, Bi Chen for Memory Limited Devices Katsumi Inoue, Chiaki Sakama Aaron P. Shon, Deepak Verma, Rajesh P. N. Rao Esben Rune Hansen, Peter Tiedemann Analyzing Reading Behavior by Blog Mining Equilibria in Heterogeneous Abstraction in Predictive State Representations 1:50-2:50 PM Tadanobu Furukawa, Mitsuru Ishizuka, Interactive Configuration with Nonmonotonic Multi-Context Systems Vishal Soni, Satinder Singh Yutaka Matsuo, Ikki Ohmukai, Koki Uchiyama Regular String Constraints Gerhard Brewka, Thomas Eiter Esben Rune Hansen, Henrik Reif Andersen
A coffee break will be held at 10:00 – 10:20 AM. The lunch break will be held from 12:30 – 1:50 PM.
12 CONFERENCE SCHEDULE—THURSDAY, JULY 26 REGENCY D GEORGIA B REGENCY E REGENCY B
AAAI-07 Invited Talk Introduction by Francesca Rossi Representing and Reasoning about Preferences Toby Walsh (NICTA and University of New South Wales)
Distributed AI Planning Representation Issues Probabilistic Methods-3 IAAI-07 Invited Talk Session Chair: John Collins Session Chair: Jussi Rintanen Session Chair: Xiaojin Zhu Big “A,” Small “I”: Centralized, Distributed or Something Else? Action-Space Partitioning for Planning Macroscopic Models of Clique Tree Growth for Smart Ends from Simple Means Making Timely Decisions in Multi-Agent Systems Natalia H. Gardiol, Leslie Pack Kaelbling Bayesian Networks Matt Brown (Maxis / Electronic Arts) Tim Harbers, Rajiv T. Maheswaran, Pedro Szekely Ole J. Mengshoel Concurrent Action Execution with Shared Fluents Automatic Synthesis of a Global Behavior from Michael Buro, Alexander Kovarsky Nectar: A Kernel Approach to Multiple Distributed Behaviors Comparing Distributions Sebastian Sardina, Fabio Patrizi, A Situation-Calculus Semantics for an Arthur Gretton, Karsten M. Borgwardt, Malte Rasch, Giuseppe De Giacomo Expressive Fragment of PDDL Bernhard Schölkopf, Alexander J. Smola Jens Claßen, Yuxiao Hu, Gerhard Lakemeyer Agent Influence as a Predictor of Difficulty Learning Graphical Model Structure Using 10:20–11:20 AM10:20–11:20 for Decentralized AM 9:00–10:00 Problem-Solving L1-Regularization Paths Martin Allen, Shlomo Zilberstein Mark Schmidt, Alexandru Niculescu-Mizil, Kevin Murphy
Game Theory-2 Optimization Integrated Intelligence: IAAI-07: Agents in Virtual Environments Session Chair: Kevin Leyton-Brown Session Chair: Xiaojin Zhu Integration Issues Session Chair: Bill Cheetham AAAI-07 Outstanding Paper: Thresholded Nectar: Near-optimal Observation Session Chair: Nick Cassimatis Emerging: An Integrated Development Rewards: Acting Optimally in Selection Using Submodular Functions Extending Cognitive Architecture Environment and Architecture for Timed, Zero-Sum Games Andreas Krause, Carlos Guestrin with Episodic Memory Soar-Based Agents Colin McMillen, Manuela Veloso Andrew M. Nuxoll, John E. Laird Ari Yakir, Gal Kaminka Solving a Stochastic Queueing Design and Computational Complexity of Control Problem with Constraint Programming Towards an Integrated Robot with Emerging: RETALIATE: Learning Winning Weighted Threshold Games Daria Terekhov, J. Christopher Beck, Multiple Cognitive Functions Policies in First-Person Shooter Games Edith Elkind, Leslie Ann Goldberg, Kenneth N. Brown N. Hawes, A. Sloman, J. Wyatt, M. Zillich, H. Jacob- Megan Smith, Stephen Lee-Urban, Paul Goldberg, Michael Wooldridge sson, G. Kruijff, M. Brenner, G. Berginc, D. Skocaj Héctor Muñoz-Avila Evolutionary and Lifetime Learning in Varying A Unification of Extensive-Form Games and NK Fitness Landscape Changing Environments: An Architecture for Adaptive Algorithmic Hybrids 11:30 AM–12:30 PM AM–12:30 11:30 Markov Decision Processes An Analysis of Both Fitness and Diversity Nicholas Cassimatis, Magdalena Bugajska, Scott H. Brendan McMahan, Geoffrey J. Gordon Dara Curran, Colm O’Riordan, Humphrey Sorensen Dugas, Arthi Murugesan, Paul Bello
Game Theory-3 Heuristic Search-3 Knowledge Base Construction IAAI-07: Machine Learning II Session Chair: Sam Ieong Session Chair: Sven Koenig Session Chair: James Fan Session Chair: Nestor Rychtyckyj Computing Pure Nash Equilibria in Symmetric Inconsistent Heuristics ASKNet: Automated Semantic Knowledge Network Emerging: Adaptive Traitor Tracing with Action Graph Games Uzi Zahavi, Ariel Felner, Jonathan Schaeffer, Nathan Brian Harrington, Stephen Clark Bayesian Networks Albert Xin Jiang, Kevin Leyton-Brown Sturtevant Philip Zigoris, Hongxia Jin Learning Large Scale Common The Impact of Network Topology on Analyzing the Performance of Sense Models of Everyday Life Deployed: Fish Inspection System Using a Pure Nash Equilibria in Graphical Games Pattern Database Heuristics W. Pentney, M. Philipose, J. Bilmes, H. Kautz Parallel Neural Network Chip and Image Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal Richard E. Korf Knowledge Builder Application Learning by Reading: A Prototype System, Per- Anne Menendez, Guy Paillet Learning Voting Trees Nectar: A* Search via Approximate Factoring formance Baseline and Lessons Learned 1:50-2:50 PM Ariel D. Procaccia, Aviv Zohar, Yoni Peleg, Aria Haghighi, John DeNero, Dan Klein K. Barker, B. Agashe, S. Chaw, J. Fan, N. Friedland, Jeffrey S. Rosenschein M. Glass, J. Hobbs, E. Hovy, D. Israel, D. Kim, R. Mulkar-Mehta, S. Patwardhan, B. Porter, D. Tecuci, P. Yeh
A Coffee break will be held at 10:00 – 10:20 AM. The lunch break will be held from 12:30 – 1:50 PM.
CONFERENCE SCHEDULE—THURSDAY, JULY 26 13 AAAI-07 Poster Session
The poster session will be held Wednesday, July 25, in the Regency Ballroom, from 6:30–10:00 PM.
Agents, Game Theory, Auctions, Multidisciplinary Topics and Applications Dugas, Arthi Murugesan, Paul Bello and Mechanism Design A Corpus-Based Hybrid Approach to Music Analysis Integrating Natural Language, Knowledge Represen- Implementing the Maximum of Monotone Algo- and Composition. Bill Manaris, Patrick Roos, Pe- tation and Reasoning, and Analogical Processing rithms. Liad Blumrosen nousal Machado, Dwight Krehbiel, Luca Pellicoro, to Learn by Reading. Kenneth D. Forbus, Christo- Juan Romero The Impact of Network Topology on Pure Nash Equi- pher Riesbeck, Lawrence Birnbaum, Kevin Liv- libria in Graphical Games. Bistra Dilkina, Carla P. Recognition of Hand Drawn Chemical Diagrams. Tom ingston, Abhishek Sharma, Leo Ureel Gomes, Ashish Sabharwal Y. Ouyang, Randall Davis Towards an Integrated Robot with Multiple Cognitive Functions. Nick Hawes, Aaron Sloman, Jeremy Real Arguments are Approximate Arguments. Antho- Authorial Idioms for Target Distributions in TTD- Wyatt, Michael Zillich, Henrik Jacobsson, Geert- ny Hunter MDPs. David L. Roberts, Sooraj Bhat, Kenneth St. Clair, Charles L. Isbell Jan M. Kruijff, Michael Brenner, Gregor Berginc, On the Reasoning Patterns of Agents in Games. Avi Danijel Skocaj Pfeffer, Ya’akov Gal Humans Perform Semisupervised Classification Too. Xiaojin Zhu, Timothy Rogers, Ruichen Qian, Spatial Representation and Reasoning for Human- Reasoning about Bargaining Situations. Dongmo Chuck Kalish Robot Collaboration. William G. Kennedy, Mag- Zhang dalena D. Bugajska, Matthew Marge, William Natural-Language Processing Adams, Benjamin R. Fransen, Dennis Perzanows- Constraints and Satisfiability A Robot That Uses Existing Vocabulary to Infer Non- ki, Alan C. Schultz, J. Gregory Trafton Interactive Configuration with Regular String Con- Visual Word Meanings from Observation. Kevin An Integrated Robotic System for Spatial Under- straints. Esben Rune Hansen, Henrik Reif Ander- Gold, Brian Scassellati standing and Situated Interaction in Indoor Envi- sen ronments. Hendrik Zender, Patric Jensfelt, Óscar Robotics and Perception Conservative Dual Consistency. Christophe Martínez Mozos, Geert-Jan M. Kruijff, Wolfram Lecoutre, Stéphane Cardon, Julien Vion Hybrid Inference for Sensor Network Localization Us- Burgard ing a Mobile Robot. Dimitrios Marinakis, David Solving a Stochastic Queueing Design and Control Meger, Ioannis Rekleitis, Gregory Dudek New Scientific and Technical Advances in Problem with Constraint Programming. Daria Research (NECTAR) Terekhov, J. Christopher Beck, Kenneth N. Brown Search and Metareasoning Online Collective Entity Resolution. Indrajit Bhat- Population-Based Simulated Annealing for Traveling Heuristic Evaluation Functions for General Game tacharya, Lise Getoor Tournaments. Pascal Van Hentenryck, Yannis Playing. James Clune Using Eye-Tracking Data for High-Level User Model- Vergados Anytime Optimal Coalition Structure Generation. Ta- ing in Adaptive Interfaces. Cristina Conati, Christi- Knowledge and Information Systems lal Rahwan, Sarvapali D. Ramchurn, Viet D. Dang, na Merten, Saleema Amershi, Kasia Muldner Andrea Giovannucci, Nicholas R. Jennings Learning by Reading: A Prototype System, Perfor- Informed Case Base Maintenance: A Complexity Pro- mance Baseline and Lessons Learned. Ken Bark- Combining Multiple Heuristics Online. Matthew filing Approach. Susan Craw, Stewart Massie, Nir- er, Bhalchandra Agashe, Shaw-Yi Chaw, James Streeter, Daniel Golovin, Stephen F. Smith malie Wiratunga Fan, Noah Friedland, Michael Glass, Jerry Hobbs, Inconsistent Heuristics. Uzi Zahavi, Ariel Felner, The Pyramid Match: Efficient Learning with Partial Eduard Hovy, David Israel, Doo Soon Kim, Rutu Jonathan Schaeffer, Nathan Sturtevant Correspondences. Kristen Grauman Mulkar-Mehta, Sourabh Patwardhan, Bruce A* Search via Approximate Factoring. Aria Haghighi, Porter, Dan Tecuci, Peter Yeh Uncertainty in AI John DeNero, Dan Klein A Temporal Mereology for Distinguishing between In- VOILA: Efficient Feature-value Acquisition for Classi- Modeling and Learning Vague Event Durations for tegral Objects and Portions of Stuff. Thomas Bit- fication. Mustafa Bilgic, Lise Getoor Temporal Reasoning. Feng Pan, Rutu Mulkar- tner, Maureen Donnelly Computing Optimal Subsets. Maxim Binshtok, Ro- Mehta, Jerry R. Hobbs Learning Causal Models for Noisy Biological Data nen I. Brafman, Solomon E. Shimony, Ajay Mar- Learning and Inference for Hierarchically Split Mining: An Application to Ovarian Cancer Detec- tin, Craig Boutilier PCFGs. Slav Petrov, Dan Klein tion. Ghim-Eng Yap, Ah-Hwee Tan, Hwee-Hwa AAAI-07 Outstanding Paper: Thresholded Rewards: Refutation by Randomised General Resolution. Pang Acting Optimally in Timed, Zero-Sum Games. Col- Steven Prestwich, Inês Lynce in McMillen, Manuela Veloso Knowledge Representation and Logic Generalized Evidence Pre-propagated Importance Student Abstracts Equilibria in Heterogeneous Nonmonotonic Multi- Sampling for Hybrid Bayesian Networks. Changhe Data Clustering with a Relational Push-Pull Model. Context Systems. Gerhard Brewka, Thomas Eiter Yuan, Marek J. Druzdzel Adam Anthony, Marie desJardins Answering Regular Path Queries in Expressive De- Special Track on Artificial Intelligence and UNDERTOW: Multi-Level Segmentation of Real-Val- scription Logics: An Automata-Theoretic Ap- ued Time Series. Tom Armstrong, Tim Oates proach. Diego Calvanese, Thomas Eiter, Mag- the Web Explanation Support for the Case-Based Reasoning dalena Ortiz A Semantic Importing Approach to Knowledge Reuse from Multiple Ontologies. Jie Bao, Giora Slutzki, Tool myCBR. Daniel Bahls, Thomas Roth- Discovering Near Symmetry in Graphs. Maria Fox, Berghofer Derek Long, Julie Porteous Vasant Honavar Mobile Service for Reputation Extraction from We- A Markovian Model for Dynamic and Constrained Re- Belief Change and Cryptographic Protocol Verifica- source Allocation Problems. Camille Besse, tion. Aaron Hunter, James P. Delgrande blogs—Public Experiment and Evaluation. Takahi- ro Kawamura, Shinichi Nagano, Masumi Inaba, Brahim Chaib-draa Facts Do Not Cease to Exist Because They Are Ig- Yumiko Mizoguchi Implementing Modal Extensions of Defeasible Logic nored: Relativised Uniform Equivalence with An- SUNNY: A New Algorithm for Trust Inference in Social for the Semantic Web. Nikos Dimaresis, Grigoris swer-Set Projection. Johannes Oetsch, Hans Antoniou Tompits, Stefan Woltran Networks Using Probabilistic Confidence Models. Ugur Kuter, Jennifer Golbeck Ungreedy Methods for Chinese Deterministic Depen- A Generalized Gelfond-Lifschitz Transformation for dency Parsing. Xiangyu Duan, Jun Zhao, Bo Xu Logic Programs with Abstract Constraints. Yi- From Whence Does Your Authority Come? Utilizing Using Multiresolution Learning for Transfer in Image Dong Shen, Jia-Huai You Community Relevance in Ranking. Lan Nie, Brian D. Davison, Baoning Wu Classification. Eric Eaton, Marie desJardins, John Knowledge Compilation Properties of Tree-of-BDDs. Stevenson Sathiamoorthy Subbarayan, Lucas Bordeaux, Deriving a Large-Scale Taxonomy from Wikipedia. Si- mone Paolo Ponzetto, Michael Strube Robust Estimation of 3-D Line Segments from Satel- Youssef Hamadi lite Images for Model Building and Change De- Design of a Mechanism for Promoting Honesty in E- tection. Ibrahim Eden, David B. Cooper Machine Learning Marketplaces. Jie Zhang, Robin Cohen Classifiers Fusion for EEG Signals Processing in Hu- A Method for Large-Scale l1-Regularized Logistic Re- gression. Kwangmoo Koh, Seung-Jean Kim, Special Track on Integrated Intelligence man-Computer Interface Systems. Maryam Es- Stephen Boyd AAAI-07 Outstanding Paper: PLOW: A Collaborative maeili Task Learning Agent. James Allen, Nathanael On Policy Learning in Restricted Policy Spaces. Rob- Multiagents Chambers, George Ferguson, Lucian Galescu, by Goetschalckx, Jan Ramon A New Algorithm for Generating Equilibria in Massive Hyuckchul Jung, Mary Swift, William Taysom Two Approaches for Building an Unsupervised De- Zero-Sum Games. Martin Zinkevich, Michael An Architecture for Adaptive Algorithmic Hybrids. pendency Parser and Their Other Applications. Ja- Bowling, Neil Burch Nicholas Cassimatis, Magdalena Bugajska, Scott gadeesh Gorla, Amit Goyal, Rajeev Sangal 14 POSTER SESSION ASKNet: Automated Semantic Knowledge Network. Using Iterated Best-Response to Find Bayes-Nash Handling Non-Sentential Utterances in a Continuous Brian Harrington Equilibria in Auctions. Victor Naroditskiy, Amy Understanding Framework. Carlos Gómez Gallo TeamTalk: A Platform for Multi-Human-Robot Dialog Greenwald ASKNet: Automatically Generating Semantic Knowl- Research in Coherent Real and Virtual Spaces. The Marchitecture: A Cognitive Architecture for a edge Networks. Brian Harrington Thomas K. Harris, Alexander I. Rudnicky Robot Baby. Marc Pickett I, Tim Oates A Framework for Modeling Influence, Opinions and Reputation in the Venture Games. Philip Hendrix, Integrative Construction and Analysis of Condition- Structure in Social Media. Akshay Java Barbara J. Grosz specific Biological Networks. Sushmita Roy, Ter- Empirical Game-Theoretic Methods for Strategy De- Evolutionary Rhythm Composition with Trajectory- ran Lane, Margaret Werner-Washburne sign and Analysis in Complex Games. Christo- based Fitness Evaluation. John Huddleston, Jian- Extracting Student Models for Intelligent Tutoring pher Kiekintveld na Zhang Systems. John C. Stamper, Tiffany Barnes, Mar- Using Spatial Language in Multi-Modal Knowledge Identifying Protein Interaction Abstracts with Contex- vin Croy Capture. Kate Lockwood tual Bag of Words. Hsi-Chuan Hung, Richard Unscented Message Passing for Arbitrary Continu- Responding to Student Affect and Efficacy through Tzong-Han Tsai, Wen-Lian Hsu ous Variables in Bayesian Networks. Wei Sun, Empathetic Companion Agents in Interactive Modeling User Perception of Interaction Opportuni- Kuo-Chu Chang Learning Environments. Scott W. McQuiggan ties in Collaborative Human-Computer Settings. An Investigation into Computational Recognition of The Übercruncher: Concept Formation by Analogy Ece Kamar, Barbara J. Grosz, David Sarne Children’s Jokes. Julia M. Taylor, Lawrence J. Ma- Discovery. Marc Pickett I zlack Towards an Adaptive Approach for Distributed Re- Harnessing Algorithm Bias in Classical Planning. source Allocation in a Multi-agent System for Representation Transfer via Elaboration. Matthew E. Mark Roberts Taylor, Peter Stone Solving Dynamic Vehicle Routing Problems. Igor Reacting to Agreement and Error in Spoken Dialogue Kiselev, Andrey Glaschenko, Alexander Chevelev, Situated Conversational Agents. Will Thompson Systems Using Degrees of Groundedness. Anto- Petr Skobelev Scaling Up: Solving POMDPs through Value Based nio Roque On Possible Applications of Rough Mereology to Han- Clustering. Yan Virin, Guy Shani, Solomon E. Shi- A Framework for Ontology-Based Service Selection in dling Granularity in Ontological Knowledge. Pavel mony, Ronen I. Brafman Dynamic Environments. Murat Sensoy Klinov, Lawrence J. Mazlack Learn to Compress and Restore Sequential Data. Yi Flexible Provisioning of Service Workflows. Sebas- Fuzzy Set Theory-Based Belief Processing for Natural Wang, Jianhua Feng, Shixia Liu tian Stein Language Texts. Ralf Krestel, René Witte, Sabine Interest-Matching Comparisons Using CP-nets. An- Autonomous Inter-Task Transfer in Reinforcement Bergler drew W. Wicker, Jon Doyle Learning Domains. Matthew E. Taylor Knowledge-Driven Learning and Discovery. Benjamin Counting Models Using Extension Rules. Minghao Predictive Exploration for Autonomous Science. Lambert, Scott E. Fahlman Yin, Hai Lin, Jigui Sun David R. Thompson Reinforcement Using Supervised Learning for Policy User Model and Utility Based Power Management. Spatial Reference Resolution for an Embodied Dia- Generalization. Julien Laumonier Chih-Han Yu, Shie Mannor, Georgios logue Agent. Timothy Weale Theocharous, Avi Pfeffer Aggregating User-Centered Rankings to Improve Web An Incentive Mechanism for Promoting Honesty in E- Search. Lin Li, Zhenglu Yang, Masaru Kitsuregawa Measuring the Uncertainty of Differences for Con- Marketplaces. Jie Zhang Recommending Travel Packages Upon Distributed trasting Groups. Jilian Zhang, Shichao Zhang, Xi- Knowledge. Fabiana Lorenzi, Ana L.C. Bazzan, aofeng Zhu, Xindong Wu, Chengqi Zhang Mara Abel Cost-Sensitive Imputing Missing Values with Order- BlogVox: Learning Sentiment Classifiers. Justin Mar- ing. Xiaofeng Zhu, Shichao Zhang, Jilian Zhang, Please see page 17 for the list of Intelli- tineau, Akshay Java, Pranam Kolari, Tim Finin, Chengqi Zhang gent Systems Demonstrations. Anupam Joshi, James Mayfield Impromptu Teams of Heterogeneous Mobile Robots. Doctoral Consortium Abstracts Ross Mead, Jerry B. Weinberg Continuous State POMDPs for Object Manipulation Time-Delay Neural Networks and Independent Com- Tasks. Emma Brunskill ponent Analysis for EEG-Based Prediction of Approximate Inference in Probabilistic Graphical Epileptic Seizures Propagation. Piotr W. Mirowski, Models with Determinism. Vibhav Gogate Deepak Madhavan, Yann LeCun
Regency Ballroom, Poster / Demo Floorplan
POSTER SESSION 15 Exhibit Program
The AAAI-07 Exhibit Program will be held fices throughout the Americas, Europe, Robot Soccer Case Study and Nikos Vlas- Tuesday–Thursday, July 24–26, in the and Asia. Stop by our booth to learn more sis: A Concise Introduction to Multiagent Regency Foyer, Convention Level, Hyatt about research and career opportunities Systems and Distributed Artificial Intelli- Regency. around the world. gence. Exhibit Hours Kodak Intelligence Systems Springer Tuesday, July 24: 9:00 AM–6:00 PM Research Center 233 Spring Street Wednesday, July 25: 1:00 PM–9:30 PM 1999 Lake Avenue New York, NY 10013 Thursday, July 26: 9:00 AM–12:00 PM Rochester, NY 14650-2217 www.springer.com [email protected] Visit the Springer booth and Save 20 per- 585-588-9945 cent on all computer science books. Take Exhibitors The Intelligent Systems Research Center your research and skills to the next level at Kodak Research Laboratories performs with Springer by getting further acquainted AAAI Press research in machine learning, computer vi- with a remarkable portfolio of publica- 445 Burgess Drive sion, automated planning, and ubiquitous tions—an abundant selection of top-notch Menlo Park, CA 94025-3442 computing in support of Kodak’s digital titles by award-winning authors and highly Tel: 650-328-3123 business units. Current projects include cited journals in all areas of computer sci- Fax: 650-321-4457 learning to interpret multi-modal data, au- ence. You will find an authoritative range Email: [email protected] tomated planning for print shop workflow, of journals, books, and major reference Online: www.aaai.org/Press/press.php gesture recognition, and the camera of the works, including the highly respected Lec- ture Notes in Computer Science. Don’t for- BAE Systems, Advanced Information future. KRL supports research collabora- tions at many universities through Kodak get to ask about how to receive free ac- Technologies Educational Alliances, and has opportuni- cess to journals and books in the Com- 6 New England Executive Park ties for graduate summer internships in puter Science Reading Room! Burlingon, MA 01803 computer science, material science, elec- TextDigger, Inc. Tel: 781-262-4511 trical engineering, and other fields. For Baesystems.com more information visit research.kodak. 12 South First Street, Suite 620 com. San Jose, CA 95113 Cambridge University Press www.textdigger.com 32 Avenue of the Americas Microsoft Research University of Alberta New York, NY 10013-2473 One Microsoft Way Visit the CUP stand for a 20 percent dis- Redmond, WA 98052 AICML, Computing Science 2-21 Athabasca Hall count on all books and journals on display The MIT Press at AAAI-07. New editions of bestselling ti- University of Alberta tles include the eagerly-awaited Third Edi- 55 Hayward Street Edmonton, AB Canada T6G 2E8 tion of Numerical Recipes; the second edi- Cambridge MA 02142-1315 www.aicml.ca tion of Suchman’s Human-Machine Config- mitpress.mit.edu The Alberta Ingenuity Centre for Machine urations; and the second edition of The The MIT Press publishes extensively in the Learning is a world-class institute recog- Description Logic Handbook by Baader, et fields of computer science, artificial intelli- nized for its pure and applied research in- al. Brand-new titles include Kogan’s Intro- gence, robotics, and intelligent systems. to many areas of machine learning. We duction to Clustering Large and High Di- Please visit our booth for a 20 percent dis- are seeking the best undergraduates, mensional Data; Cucker and Zhou’s Learn- count on our latest titles. graduate students and post doctoral fel- ing Theory; and Apt and Wallace’s Con- lows to join us at the University of Alberta. Morgan and Claypool Publishers straint Logic Programming Using Eclipse. Long term (sabbatical) visits available. 1537 Fourth Street, Suite 228 Google Inc. San Rafael, CA 94901 1600 Amphitheatre Parkway 415-462-0004 Mountain View, CA 94043 Morgan and Claypool is announcing the 650-253-0000 Synthesis Lectures on Artificial Intelli- 650-253-0001 (Fax) gence and Machine Learning edited by Google’s innovative search technologies Ron Brachman and Tom Dietterich. Syn- connect millions of people around the thesis lectures are 50-150 page revisable world with information every day. Founded digital documents presenting key topics in 1998 by Stanford Ph.D. students Larry written by prominent contributors for an Page and Sergey Brin, Google today is a audience of students, researchers and de- top web property in all major global mar- velopers. Synthesis lectures are available kets. Google’s targeted advertising pro- by institutional subscription to the Synthe- gram provides businesses of all sizes with sis Digital Library of Engineering and Com- measurable results, while enhancing the puter Science and for individual digital and overall web experience for users. Google print purchase. Just published: Peter is headquartered in Silicon Valley with of- Stone: Intelligent Autonomous Robotics: A
16 EXHIBIT PROGRAM solves the difficult problem of interacting NPCs which autonomous agents act as manufactur- Intelligent Systems and of interruptible and resumable behaviors. ers in a two- tier supply chain marketplace. Demonstrations We demonstrate how this model generates The objective of this demonstration is to complex NPC behaviors from behavior patterns showcase various methods our research team The Intelligent Systems Demonstrations in a commercial game without writing code. and others have developed in this domain to will be held Wednesday, July 25, in the Re- run simulations and analyze agent perfor- Table #2 mance in an efficient manner. gency Ballroom, from 6:30–10:00 PM. Continuing advances in artificial intelli- A Deployed Semantically-Enabled Interdisciplinary Virtual Observatory Table #4 gence research are making it possible to Freebase: A Shared Database of develop intelligent systems in a wide range Deborah McGuinness (Stanford University and McGuinness Associates), Peter Fox (Na- Structured General Human Knowledge of application areas. The AAAI-07 Intelli- tional Center for Atmospheric Research), Lu- Kurt Bollacker and Timothy Kientzle (Metaweb gent Systems Demonstrations program ca Cinquini (National Center for Atmospheric Technologies, Inc.) showcases state-of-the-art AI implementa- Research), Patrick West (National Center for Freebase is a practical, scalable, graph- tions and provides AI researchers with an Atmospheric Research), Jose Garcia (Nation- shaped database of structured, general hu- opportunity to show applications of their re- al Center for Atmospheric Research), James man knowledge, inspired by semantic web re- search in action. The program is intended L. Benedict (McGuinness Associates), Don search and collaborative data communities Middleton (National Center for Atmospheric such as wikipedia. Freebase allows public to highlight innovative contributions to the Research) science of AI with an emphasis on the ben- reads and writes through an http-based graph- We have used semantic technologies to de- query API and a sophisticated AJAX for web efits to be gained from developing and us- sign, implement, and deploy an interdisci- access. (See www.freebase.com) ing implemented systems in AI research. plinary virtual observatory. The Virtual Solar- This year’s demonstrations cover a Terrestrial Observatory is a production data Table #8 broad range of domains: game playing, se- framework providing access to observational Generating and Solving Logic Puzzles mantic web, distributed optimization, intel- datasets. It is in use by a community of sci- through Constraint Satisfaction ligent tutors, and more. System builders entists, students, and data providers interest- ed in the middle and upper Earth’s atmo- Barry O’Sullivan and John Horan (University will be on hand to present their work. All sphere, and the Sun. The data sets span up- College Cork, Ireland) that is needed to make this evening a big per atmospheric terrestrial physics to solar Solving logic puzzles has become a very pop- success is your active exploration of these physics. The observatory allows virtual access ular pasttime, particularly since the Sudoku interactive systems! to a highly distributed and heterogeneous set puzzle started appearing in newspapers all of data that appears as if all resources are or- over the world. We have developed a puzzle Table #6 ganized, stored and accessible from a local generator for a modification of Sudoku, called AURA: Enabling Domain Experts to machine. The system has been operational Jidoku, in which clues are binary disequalities since the summer of 2006 and has shown between cells on a 9 x 9 grid. Our generator Construct Declarative Knowledge registered data access by over 75 percent of guarantees that puzzles have unique solu- Bases from Science Textbooks the active community (last count over 600 of tions, have graded difficulty, and can be Ken Barker (University of Texas at Austin), the estimated 800 person active research solved using inference alone. Vinay Chaudhri (SRI International), Shaw-Yi community). This demonstration will highlight This demonstration provides a fun applica- Chaw (University of Texas at Austin), Peter E. how semantic technologies are being used to tion of many standard constraint satisfaction Clark (The Boeing Company), Daniel Hansch support data integration and more efficient techniques, such as problem formulation, (Ontoprise), Bonnie John (Carnegie Mellon data access in a multi-disciplinary setting. A global constraints, search and inference. It is University), Sunil Mishra (SRI International), full paper on this work is being published in ideal as both an education and outreach tool. John Pacheco (SRI International), Bruce Porter the IAAI 07 deployed paper track. Our demonstration will allow people to gener- (University of Texas at Austin), Aaron Spauld- ate and interactively solve puzzles of user-se- ing (SRI International), Moritz Weiten (Onto- Table #7 lected difficulty, with the aid of hints if re- prise) Evac-Op: Disaster Evacuation Support quired, through a specifically built Java applet. We will demonstrate the AURA system that Christopher J. Carpenter, Christopher J. can enable students in physics, chemistry, Dugan, Joseph B. Kopena, Robert N. Lass, Table #5 and biology to author knowledge in a college Gaurav Naik, Duc N. Nguyen, Evan Sultanik, An Interactive Constraint-Based level science textbook in a way that the re- Pragnesh Jay Modi, William C. Regli Approach to Sudoku sulting knowledge base can be used to an- (Drexel University) Christopher G. Reeson (University of Nebras- swer questions from an Advanced Placement Evac-Op is a prototype system for assisting ka-Lincoln), Kai-Chen Huang (USC/Information examination in the respective discipline. The emergency personnel in monitoring and con- Sciences Institute), Berthe Y. Choueiry (Uni- system supports a knowledge formulation in- ducting evacuation and sheltering operations. versity of Nebraska-Lincoln and USC/Informa- terface based on concept maps, equations, It is a novel application of distributed con- tion Sciences Institute) tables and a query formulation interface straint optimization combined with mobile We present a Java applet that allows a user to based on controlled English. We will also wireless networking to sharing situation infor- interactively solve a Sudoku puzzle using con- demonstrate a semantic wiki application for mation and making global decisions on is- straint processing (CP) techniques. Our sys- collaborative knowledge formulation and show sues such as shelter assignments. In addi- tem showcases the power of CP techniques in how users can map large amounts of the wi- tion to exploring this application and new ap- solving problems through a widely familiar and ki’s knowledge into AURA. plications of distributed constraint optimiza- easily approachable puzzle. It allows the tion, Evac-Op is intended as a vehicle for in- users to apply several consistency algorithms Table #1 vestigating distributed decision making under or work independently of our algorithms. The A Demonstration of ScriptEase poor communications, uncertainty, and system is available online: sudoku.unl.edu Interruptible and Resumable change. /Solver and sudoku.unl.edu/Constructor. Behaviors for CRPGs Table #3 Table #10 Maria Cutumisu, Duane Szafron, Jonathan A Framework for Experimental Re- Schaeffer, Kevin Waugh, Curtis Onuczko, Jeff The More the Merrier: Multi-Party Siegel, Allan Schumacher (University of Alber- search of Autonomous Trading Agents Negotiation with Virtual Humans ta) Eric Sodomka, John Collins, Maria Gini Patrick Kenny, Arno Hartholt, Jonathan We developed a behavior model based on gen- (University of Minnesota) Gratch, David Traum, Stacy Marsella, Bill erative design patterns for intelligent non-play- The Trading Agent Competition for Supply Swartout (USC/Institute for Creative Tech- er characters (NPCs) using ScriptEase that Chain Management is a market simulation in nologies) INTELLIGENT SYSTEMS DEMONSTRATIONS 17 The Institute for Creative Technologies at USC General game players are systems able to Computer Poker Competition virtual human demo will focus on fully embod- accept declarative descriptions of arbitrary The Computer Poker Competition will be ied conversational characters that contain games at “runtime” and able to use such task and emotion models. The user will use held Tuesday–Thursday, July 24–26 in descriptions to play those games effective- natural speech to negotiate with the agents to Plaza B. ly without human intervention. move a clinic. The agents will engage in multi- For the second annual AAAI Computer party dialogue using verbal and nonverbal be- Because game descriptions are present- Poker Competition, 28 teams from 10 havior. ed at runtime, unlike specialized game countries will develop computer programs players such as Deep Blue, general game for playing heads-up limit and no-limit Table #9 players cannot rely on algorithms designed Texas Hold’em. Programs will be judged The PhotoSlap Game: Play to Annotate in advance for specific games. Instead, to based upon their robustness (ability to Tsung-Hsiang Chang, Chien-Ju Ho, and Jane perform well general game players must in- Yung-jen Hsu (National Taiwan University) beat any opponent head-to-head) and their corporate various artificial intelligence tech- ability to learn (to exploit weaker oppo- PhotoSlap, an intelligent system for semantic nologies and techniques such as knowl- nents for more money). The University of Al- annotation of photos, contains a semiauto- edge representation, reasoning, learning, berta is providing 34 months of computer matic face detector, a bulk annotation tool, and rational decision-making. Moreover, and a multi-player online game. By exploring time to allow each program to play millions the design principles of gameplay and apply- they must do so in an integrated fashion. of hands. At AAAI, the results, highlighted ing game theoretic analysis, PhotoSlap is de- While general game playing is a topic hands, and posters describing the bots will signed as a fun and productive game, which with inherent interest, work in its area has be presented. Visitors will have an oppor- adapts itself to different players to produce practical value as well. Its underlying tech- tunity to play against some of the submit- the desired output. nology can be used in a variety of other ap- ted poker programs. plication areas, such as business process management, electronic commerce, and Man Versus Machine Competitions military operations. Poker Challenge AI Video Competition The Competition The Man Versus Machine Poker Challenge This year’s AAAI competition is designed to will be held Monday, July 23, from 12:00 The AI Video competition will be held Mon- test the abilities of general game playing PM–7:00 PM, in Regency B and Tuesday, Ju- day, July 23, 9:00 AM–8:00 PM in the North systems by comparing their performance ly 24, from 9:00 AM–5:00 PM, in Plaza B. Regency Foyer. Awards will be presented at on a variety of previously unseen games. AAAI will play host to the first scientific 7:00 PM. The 2007 competition will consist of four man versus machine challenge in poker. AAAI is holding an exciting new event rounds of competition held during June Poker is a game of skill and luck. A “short” this year at AAAI-07, which will take place 2007, with a final championship round to match, even one of 10,000 hands, may not during the opening reception: The inaugural be held in Vancouver at the AAAI. Over the be enough to identify the better player. At AI Video Competition (www.aivideo.org). four rounds, each general game player will AAAI, two professional poker players (Phil Come and watch some exciting videos play approximately 80 matches, where the Laak and Ali Esmali) will play a duplicate about AI. And witness the best videos in combined scores accumulated during match against two copies of the University the field win a “Shakey”—AAAI’s new those matches will be used to determine of Alberta Polaris poker program. There will award for the best short videos in AI. player rankings as well as the finalists in be four sessions played, each with $5,000 The objective of this competition has the championship round. The winner of the at stake. In a session, each human plays been to communicate to the world the fun championship round will be crowned the 500 hands against a copy of Polaris. How- of pursuing research in AI, and illustrate winner of the competition, and its program- ever, the cards dealt in the first match to the impact of some of our applications. mer(s) will be awarded a $10,000 prize. the human will be dealt to the computer in Submitters were asked to create narrated Additionally, this year’s winner will be given the second match, and vice versa. The re- videos of 1-5 minutes in length, focused on the opportunity to compete in a special sult of the session is the sum of the two interesting AI research. Videos were then general-game-player-versus-human exposi- humans’ scores versus the sum of the two reviewed by an international program com- tion match. AAAI gratefully acknowledges programs’ scores. This format, inspired by mittee, led by the founding chairs of this the generous contribution of Michael Gene- the rules of duplicate bridge, significantly competition, David Aha and Sebastian sereth, who has made this award possible. reduces the luck element, increasing the Thrun. The creators of the best videos will Entrants will compete on a wide variety chances that the best team will win based be presented with awards named in honor of games organized into taxonomies de- on skill. of Shakey, SRI’s pioneering robot. Be sure signed to isolate features of general games The matches will be played in front of an not to miss the winners of this cool online that are both exploitable and scientifically audience, and the human competitors will video about AI research and applications! interesting. Examples of such taxonomies be encouraged to think out loud. The result AAAI gratefully acknowledges the generous include number of players, branching fac- will be entertaining, and give insights as to contributions of Microsoft Research and tor, repeated states, and decomposability the state of the art in AI technology for a Yahoo! Research, which made this program into independent subgames. Entrants will challenging imperfect information domain. possible. be expected to play games that require Trading Agent Competition General Game both competition and cooperation, as well as games that may not be exhaustively The Trading Agent Competition will be held Playing Competition searchable in the time allowed. Prior to Tuesday–Thursday, July 24–26, in Plaza C. The General Game Playing Competition will competition, entrants will be told nothing The annual Trading Agent Competition be held Sunday–Monday, July 22–23, in about the games that they will play beyond (TAC) pits agents from research groups the Prince of Wales room and the follow-up the taxonomies that they will be organized around the world against each other in Human Versus Machine Exhibition will be into. Instead, the rules for all games will be challenging market-trading domains. The held Tuesday–Thursday, July 24–26, in transmitted to players electronically at the 2007 tournament features a supply chain Plaza A. beginning of each match. management (SCM) game, as well as a 18 COMPETITIONS new game in the domain of market design. events. The exhibition gives researchers an and it does not use any range finder. It has In TAC/SCM, agents representing PC man- opportunity to showcase current robotics two video cameras whose pan, tilt, vergence, ufacturers bid for customer orders, negoti- and embodied-AI research that does not fit focus, and exposure are controlled by the in- stalled computers to perform the active vi- ate with suppliers for components, and into the competition tasks. Second, the ex- sion. It can accommodate up to five ATX size manage their production schedules in order hibition provides a venue for faculty using computer motherboards to handle the CPU in- to maximize profits. robotics in education to present their ap- tensive vision computation. The robot is de- The 2007 TAC/SCM tournament com- proaches and experiences. signed for both indoor and outdoor use equipped with two powerful motors and sturdy prises a main event for the SCM game, and General Cochairs chassis that can carry up to 250 pounds of two special challenge divisions focusing on Jeffrey Forbes, Duke University batteries for extended operation of powerful specialized tasks: price forecasting and Paul Oh, Drexel University computers. long-term procurement. In a new market de- Semantic Robot Vision Cochairs sign game (dubbed “CAT,” or reverse TAC), Virginia Tech Paul Rybski, Carnegie Mellon University RoMeLa: Robotics and the agents represent market specialists Alexei Efros, Carnegie Mellon University Mechanisms Laboratory who compete by setting rules and matching Exhibition Chairs Team Members: Dennis Hong, Karl Muecke, policies to attract traders and mediate prof- Research: Andrea L. Thomaz, Massachusetts Brad Pullins, and Gabriel Goldman itable trades. Institute of Technology Event: Robot Exhibition Preliminary rounds for TAC-07 were held Education: Zach Dodds, Harvey Mudd College “DARwIn: Dynamic Anthropomorphic Robot during June and July, with final rounds to be Mobile Robot Workshop Chair with Intelligence” is a humanoid bipedal robot held at the AAAI-07 conference, starting research platform to study dynamic gaits and Chad Jenkins, Brown University locomotion. Outfitted with a sensor suite and Monday at the workshop on Trading Agent computers, DARwIn can also perform compli- Design and Analysis, and continuing Tues- cated high-level tasks and autonomous be- day and Wednesday during the main con- Robot Teams haviors such as playing soccer. DARwIn will be the first and only US entry into the hu- ference. More details, including game rules Brown University manoid division of the international au- and the call for participation can be found Robotics, Learning and Autonomy at Brown tonomous soccer competition, RoboCup. at www.sics.se/tac. Event: Robot Exhibition Harvey Mudd College Sixteenth Annual AAAI Event: Robot Exhibition Mobile Robot Competition General Information Kansas State University and Exhibition KSU Willie The AAAI Mobile Robot Competition and Ex- Event: Robot Competition Admission hibition will be held Monday–Thursday, July Princeton University/University of Illinois at Each conference attendee will receive a 23–26 in Balmoral. Urbana-Champaign name badge upon registration. This badge The robot program brings together OPTIMOL is required for admittance to the technical, teams from universities, colleges, and re- Team Members: Fei-Fei Li (Princeton), Jia Li tutorial, IAAI and workshop programs. Tuto- search laboratories to compete and to (Illinois), Juan Carlos Niebles (Illinois), Bren- rial and Workshop attendees must present demonstrate cutting edge, state of the art dan Collins (Princeton), Rahul Mehta (Illinois) their attendance tickets for admittance to Event: Robot Competition and Exhibition research in robotics and artificial intelli- the rooms. Smoking, drinking and eating gence. OPTIMOL is a novel, automatic dataset col- are not allowed in any of the technical, tu- lecting and model learning system for object torial, workshop or IAAI sessions. Mobile Robot Workshop categorization developed by a joint UIUC- The robot events commence with a work- Princeton team. Our algorithm mimics the hu- man learning process of iteratively cumulating Banking shop where participants describe the re- model knowledge and image examples. As a There is an ATM at Royal Bank located in search behind their entries. The workshop fully automated system, OPTIMOL uses the In- the Royal Centre Mall by Rexall Drugs, ad- will include a panel of academic, industrial, ternet as the (nearly) unlimited resource for jacent to the Hyatt. The Bank of Montreal is and governmental roboticists that will ad- images. The learning and image collection located across the street from the Hyatt in dress “The Personal Robotics Revolution: processes are done by applying object recog- nition techniques in an iterative and incre- Bentall Mall. Where does it stand and where is it going?” mental way. The goal of this work is to use the Semantic Robot Vision Challenge tremendous web resource to learn robust ob- Business Centers ject category models in order to detect and In this competition, robots are given a list- search for objects in real-world cluttered The Hyatt Regency Vancouver offers an ex- ing of objects that they must locate and scenes. tensive selection of business services for recognize. In order to determine what these its guests. The services include photocopy- objects look like, the robots are given an Southern Illinois University, Edwardsville ing, on-site computer and software use, Fishtank Assassin opportunity to search the web for images of Event: Robot Exhibition courier services, facsimile services, office the objects in their list before starting their supplies, equipment rental, shipping and search. This competition attempts to push University of British Columbia postal services and more. The Business the state of the art of semantic image un- UBC LCI Robotics Center is located on the Lobby Level, Event: Robot Competition derstanding by requiring that robots make across from the front desk and is open use of the wealth of unstructured image da- University of Manitoba Monday–Friday, 7:00 AM–7:00 PM. If you ta that exist on the Internet today. Keystone Mixed Reality need assistance with copying, faxing or Event: Robot Exhibition computer services after hours, please con- The Robot Exhibition University of Washington tact the front desk. Telephone: 604-639- The mission of the Robot Exhibition is Team Sunflowers 4767. twofold. The first goal is to demonstrate Team Contact: Masaharu Kobashi Staples Office Supply and services is lo- state of the art research in a less struc- Event: Robot Competition and Exhibition cated in Royal Centre Mall. FedEx Kinko’s tured environment than the competition Our robot interprets the environment by vision ROBOT COMPETITION AND EXHIBITION AND GENERAL INFORMATION 19 is located on Pender Street (3 blocks from AAAI Desk in the registration area. At- Shipping the Hyatt). tendee lists will not be distributed. The Hyatt Regency Vancouver Business Centre located on the Lobby Level, across Career Information Parking from the front desk can assist with ship- A bulletin board for job opportunities in the Hyatt Regency Vancouver offers valet and ping and postal services. artificial intelligence industry will be made self-parking options for its guests. The cost available in the registration area. Atten- for valet parking is $28.00/CAD per day Transportation dees are welcome to post job descriptions and the cost for self-parking is of openings at their company or institution. $24.00/CAD per day. All parking includes Taxi 24-hour in/out privileges, as well as taxes. Taxis are available at the airport 24-hours Handicapped Facilities a day, including wheelchair accessible The Hyatt Regency Vancouver is committed Printed Materials vans. Taxi queue areas are located at both to ensuring that they meet and exceed all Display tables for the distribution of pro- the domestic and international terminals. of the requirements of Access Canada. The motional and informational materials of in- The approximate cost to the Hyatt is staff is trained to accommodate guests terest to conference attendees will be lo- $30.00 CAD. with special needs, so that all guests, in- cated in the registration area. Shuttle Service cluding those with disabilities, are able to Airporter Bus (to and from Vancouver Inter- have an enjoyable and safe stay. Proceedings CD national Airport): Bright green bus labeled Each technical registrant will receive a tick- “Airporter.” To the airport: Scheduled pick- Hotel Shops et with the registration materials for one ups begin at 7:30 AM at the hotel. Please A host of shops and services are available copy of the conference CD. Tickets can be see the concierge for an exact schedule. to Hyatt guests in the adjacent Royal Cen- redeemed at the proceedings distribution Tickets may be purchased at the hotel, tre. Easily accessible through the hotel lob- center in the King George Room, located on airport, or on the bus. The cost is $13.50 by, Royal Centre features men’s and wom- the third level of the Hyatt Regency Van- CAD one way, and $21.00 CAD roundtrip en’s clothing, sundries and gifts, drugs and couver during registration hours. All tickets per adult, $6.00 CAD one way and $12.00 cosmetics, travel agency, office supplies, must be redeemed onsite by Thursday, Ju- CAD roundtrip for children. Senior and fam- newsstand, florist, shoe repair and a full ly 26 at 11:00 AM. AAAI cannot mail CDs to ily discounts are available. For more infor- service spa. Shopping Hours: Monday–Fri- registrants after the conference. mation, visit www.yvrairporter.com/ day, 9:30 AM–5:30 PM and Saturday, City Transit System 10:00 AM–4:00 PM. Closed on Sundays. Restaurants Skytrain—this fast and effective trans- There are over 20 restaurants and fast portation system will get you to your desti- Housing food outlets in the Royal Center Mall con- nation quickly and easily. The Burrard Sta- For information regarding hotel reserva- nected to the Hyatt. Popular eateries in the tion is located across the street from the tions, please contact the hotel directly. For Royal Center include McDonald’s, Star- Hyatt Regency. Single trip and Day Passes student housing, please contact University bucks Coffee, Subway, Six Sense Care, Fly- are available. of British Columbia at 604-822-1000. ing Wedge Pizza and more. Restaurant hours vary and they are closed on Sunday. Volunteer Station Internet Access Mosaic Bar and Grille, The volunteer station will be located in the Arrangements have been made for AAAI-07 (Hyatt Regency Vancouver) onsite registration area. All volunteers are attendees to receive complimentary wire- From the elevated perch of the second-sto- required to sign in prior to their shift, and less access in some of the public areas of ry locale, diners can gaze upon the bustling sign out when they finish. the Hyatt. The number of users is limited street scenes as well as the nearby moun- per area. There is a charge of $9.95 CAD tains and ocean. The Mosaic offers hearty per 24-hour day for wireless Internet ac- breakfasts, gourmet lunch entrees and sal- cess in the sleeping rooms. ads, delicious dinner options, and tempting Please Note: AAAI-07 and the Hyatt Re- desserts. Be sure to visit the colorful and gency Vancouver strongly recommend that welcoming lounge for a refreshing drink be- users take measures to ensure the securi- fore dinner in the Mosaic. ty of their Internet connections. Like any Breakfast Hours: Monday through Friday, high-speed service, including DSL and ca- 6:30 AM–11:00 AM (buffet until 10:00 AM); ble, the Hyatt’s wireless network is not in- Saturday and Sunday, 6:30 AM–11:30 AM herently secure. Although they support cus- Lunch Hours: 11:30 AM–2:00 PM daily tomer-initiated security solutions such as Dinner Hours: 5:30 PM–10:00 PM daily; virtual private networks (VPN), encryption Mosaic Bar, 11:30 AM–11:00 PM daily and personal firewalls, they do not provide Latte Café and Bistro these solutions for their users and cannot (Hyatt Regency Vancouver) guarantee or otherwise be responsible for Latte Café and Bistro serves up delicious their effectiveness. It is the user’s respon- foods and beverages for its busy guests on sibility to adopt security measures that are the run. Freshly brewed coffee, pastries best suited to their situation. and open-faced sandwiches and salads are available. Wi-fi service is available in the List of Attendees Bistro. Open Monday through Friday, 6:00 A list of preregistered attendees of the con- AM–5:00 PM and weekends, 6:30 AM–2:00 ference will be available for review at the PM. 20 GENERAL INFORMATION Disclaimer Registration In offering the Hyatt Regency Vancouver, University of British Columbia, Levy Show Conference registration is located on the third level of the Hyatt Regency Vancouver, Service Inc., Vancouver International Air- beginning Sunday, July 22. Registration hours are: port, and all other service providers (here- Sunday, July 22 7:30 AM–6:00 PM inafter referred to as “Supplier(s)” for the Monday, July 23 7:30 AM–6:00 PM AAAI Conference on Artificial Intelligence Tuesday, July 24 8:00 AM–5:30 PM and the Innovative Applications Confer- ence), AAAI acts only in the capacity of Wednesday, July 25 8:30 AM–5:30 PM agent for the Suppliers that are the Thursday, July 26 8:30 AM–12:00 PM providers of the service. Because AAAI has Only checks drawn on U.S. banks, U.S. and Canadian currency, VISA, MasterCard, no control over the personnel, equipment American Express, and traveler’s checks will be accepted. or operations of providers of accommoda- tions or other services included as part of Registration Fees the AAAI-07/IAAI-07 program, AAAI as- All fees quoted are in US dollars. A Canadian conversion rate is available at onsite sumes no responsibility for and will not be registration. liable for any personal delay, inconve- niences or other damage suffered by con- The AAAI-07/IAAI-07 technical program registration includes admission to all techni- ference participants which may arise by cal paper and poster sessions, invited talks, exhibits, demos, and competitions, the reason of (1) any wrongful or negligent acts opening reception, and a copy of the AAAI-07/IAAI-07 conference proceedings on CD or omissions on the part of any Supplier or (the hardcopy proceedings is available at additional cost). Students must present its employees, (2) any defect in or failure of proof of full-time student status to qualify for the student rate. Onsite technical pro- any vehicle, equipment or instrumentality gram fees are as follows: owned, operated or otherwise used by any Technical Registration Fees Supplier, or (3) any wrongful or negligent Regular Member $765 acts or omissions on the part of any other Regular Nonmember $935 party not under the control, direct or other- Student Member $295 wise, of AAAI. Student Nonmember $395 AAAI Platinum Fees (Includes one year new or renewal membership in AAAI) Regular US/Canada $860 Regular International $900 Student US/Canada $330 Student International $370 Tutorial Forum Includes admittance to up to four consecutive tutorials. In addition to the fee below, all tutorial participants must register for the AAAI-07/IAAI-07 technical program. Regular $150 Student$40 Workshop Program Includes admittance to one workshop and the accompanying technical report. Workshop with technical program Regular $170 ($255 for 2-day) Student$150 ($230 for 2-day) Workshop Only (no technical program) Regular $305 ($380 for 2-day) Student $200 ($270 for 2-day) Opening Reception (Monday, July 23) Adult Guest $30.00 Child $10.00 Poster/Demo Reception (Wednesday, July 25) Adult Guest $45.00 Child $10.00
DISCLAIMER AND REGISTRATION INFORMATION 21 Fourth Floor
Perspectives Level (34th Floor)
22 MAPS Convention Level, Third Floor Plaza Level, Second Floor
MAPS 23