The 2007 Spring Symposium Series was held Monday through Wednesday, March 26-28, 2007, at Stanford University, California. The titles of the nine symposia in this symposium series were (1) Control Mechanisms for Spatial Knowledge Processing in Cognitive/Intelligent Systems, (2) Game Theoretic and Decision Theoretic Agents, (3) Intentions in Intelligent Systems, (4) Interaction Challenges for Artificial Assistants, (5) Logical Formalizations of Commonsense Reasoning, (6) Machine Reading, (7) Multidisciplinary Collaboration for Socially Assistive Robotics, (8) Quantum Interaction, and (9) Robots and Robot Venues: Resources for AI Education.

We are very pleased to republish here extended versions of a sample of the papers drawn from the Innovative Applications of Artificial Intelligence Conference (IAAI-06), which was held July 17-20, 2006, in Boston, Massachusetts. Three of these articles describe deployed applications and two describe emerging applications.

It combines the advantages of highly expressive human negotiation with the advantages of electronic reverse auctions. The idea is that supply and demand are expressed in drastically greater detail than in traditional electronic auctions and are algorithmically cleared. We have hosted $35 billion of sourcing using the technology and created $4.4 billion of hard-dollar savings plus numerous harder-to-quantify benefits. The suppliers also benefited by being able to express production efficiencies and creativity, and through exposure problem removal.

We report on random stimuli generation for hardware verification at IBM as a major applica-tion of various artificial intelligence technologies, including knowledge representation, expert systems, and constraint satisfaction. For more than a decade we have developed several related tools, with huge payoffs. Research and development around this application are still thriving, as we continue to cope with the ever-increasing complexity of modern hardware systems and demanding business environments.

We describe an application of AI search and information visualization techniques to the problem of school redistricting, in which students are assigned to home schools within a county or school district. Because of the complexity of the decision-making problem, tools are needed to help end users generate, evaluate, and compare alternative school assignment plans. A key goal of our research is to aid users in finding multiple qualitatively different redistricting plans that represent different trade-offs in the decision space. We show the resulting plans using novel visualization methods that we have developed for summarizing and comparing alternative plans.

Mixed-initiative assistants are agents that interact seamlessly with humans to extend their problem-solving capabilities or provide new capabilities. Developing such agents requires the synergistic integration of many areas of AI, including knowledge representation, problem solving and planning, knowledge acquisition and learning, multiagent systems, discourse theory, and human-computer interaction. This paper introduces seven aspects of mixed-initiative reasoning (task, control, awareness, communication, personalization, architecture, and evaluation) and discusses them in the context of several state-of-the-art mixed-initiative assistants. The goal is to provide a framework for understanding and comparing existing mixed-initiative assistants and for developing general design principles and methods.

MAPGEN was deployed as a mission-critical component of the ground operations system for the Mars Exploration Rover mission. Each day, the ground-planning personnel employ MAPGEN to collaboratively plan the activities of the "Spirit and "Opportunity rovers, with the objective of achieving as much science as possible while ensuring rover safety and keeping within the limitations of the rovers' resources. The Mars Exploration Rover mission has now been operating for more than two years, and MAPGEN continues to be employed for activity plan generation for the Spirit and Opportunity rovers. These lessons have spawned new research in mixed-initiative planning and have influenced the design of a new ground operations system, called M-SLICE, that is baselined for the Mars Science Laboratory mission.

The Fifteenth Annual AAAI Robot Competition and Exhibition was held at the Twenty-First National Conference on Artificial Intelligence in Boston, Massachusetts, in July 2006. This article describes the events that were held at the conference, including the Scavenger Hunt, Human Robot Interaction, and Robot Exhibition.

Will we see autonomous humanoid robots that play (and win) soccer against the human soccer world champion in the year 2050? There are serious research questions that have to be tackled behind the scenes of a soccer game: perception, decision making, action selection, hardware design, materials, energy, and more. RoboCup is also about the nature of intelligence, and playing soccer acts as a performance measure of systems that contain artificial intelligence -- in much the same way chess has been used over the last century. This article outlines the current situation following 10 years of research with reference to the results of the 2006 World Championship in Bremen, Germany, and discusses future challenges.

The first annual workshop on the role of AI in ambient intelligence was held in Riva de Garda, Italy, on August 29, 2006. The workshop was colocated with the European Conference on Artificial Intelligence (ECAI 2006). It provided an opportunity for researchers in a variety of AI subfields together with representatives of commercial interests to explore ambient intelligence technology and applications.