Each award winner and received a B.S. in electrical received a certificate and a check engineering from the Technion Haifa for $2500.

The Eighth Annual Mobile Robot Competition and Exhibition was held as part of the Sixteenth National Conference on Artificial Intelligence in Orlando, Florida, 18 to 22 July. The goals of these robot events are to foster the sharing of research and technology, allow research groups to showcase their achievements, encourage students to enter robotics and AI fields at both the undergraduate and graduate level, and increase awareness of the field. The 1999 events included two robot contests; a new, long-term robot challenge; an exhibition; and a National Botball Championship for high school teams sponsored by the KISS Institute. Each of these events is described in detail in this article.

Austin, Texas, the "live music capital For more information about AAAI is pleased to announce the continued Conferences/conferences.html. Expository Writing Award will be presented members. AAAI is delighted to announce the 31-August 3 in Austin, Texas. This The conference will be held July collocation of SARA-2000 with AAAIaward joins the two special awards 31-August 3, 2000, at the Austin Convention 2000. The Symposium on Abstraction, established last year, the AAAI Classic Center and Hyatt Regency Reformulation, and Approximation Paper Award and the AAAI Distinguished Austin in Austin, Texas. AAAI-2000 will be held July 26-29, just outside Austin in Lago Vista on Lake Travis, Service Award. For more information about The AAAI Effective Expository Writing the Innovative Applications of SARA-2000, please visit sara2000.unl. Award honors the author(s) of a Artificial Intelligence, the Mobile edu/ high-quality, effective piece of writing, Robot Competition and Exhibition, AAAI also welcomes SARA-2000 as accessible to the general public or the Intelligent Systems Demonstrations, our first affiliate conference. For more to a broad AI audience (not just a subarea), the Robot Building Laboratory, information about the AAAI Affiliates written within the last two and the Doctoral Consortium. New Program, please write to Carol Hamilton years. The contribution should be for 2000 will be a technical paper at hamilton@aaai.org. Nominated papers must be Uncertainty: Operations Research AAAI is pleased to announce the continuation in English and must have been published Meets AI (Again)"; Justine Cassell, of its Student Abstract and in a publicly accessible place "Why Do We Need a Body Anyway?"; Poster Program, the SIGART/AAAI (for example, periodical, hard copy, or Carla Gomes, "Structure, Duality, and Doctoral Consortium, and the AAAI online journal but not only as a web Randomization: Common Themes in Scholarship and Volunteer Programs. The author(s) AI and OR"; James Hendler, "Missed Students interested in attending the of the award-winning paper(s) will Perceptions: AI versus the Funding National Conference on Artificial receive a $2500 prize (shared if more Agencies"; Geoff Hinton, "Modeling Intelligence in Austin, July 31-August than one author) as well as lodging High-Dimensional Data Distributions 3, 2000, should consult the AAAI web and travel to the National Conference by Combining Simple Experts"; Rich site for further information about all on Artificial Intelligence.

The global vision system runs at a speed of 35 hertz with a resolution of 320 240. The basic algorithm used is blob to students to prepare them for designing, analysis (Gonzalez and Woods 1992). To determine integrating, and maintaining highly complex the identity of each robot and its orientation, systems. Another objective of the project is to the robots have color patches on top as explore the interplay between AI, dynamics, well as the team color marker (blue or yellow and control theory. This article describes the Ping-Pong ball).

With the growing importance of multiagent team-work, tools that can help humans analyze, evaluate, and understand team behaviors are also becoming increasingly important. To this end, we are creating isaac, a team analyst agent for post hoc, offline agent-team analysis. ISAAC'S novelty stems from a key design constraint that arises in team analysis: Multiple types of models of team behavior are necessary to analyze different granularities of team events, including agent actions, interactions, and global performance. These heterogeneous team models are automatically acquired by machine learning over teams' external behavior traces, where the specific learning techniques are tailored to the particular model learned. Additionally, ISAAC uses multiple presentation techniques that can aid human understanding of the analyses. This article presents ISAAC'S general conceptual framework and its application in the RoboCup soccer domain, where ISAAC was awarded the RoboCup Scientific Challenge Award.

RoboCup is an initiative designed to promote the full integration of AI and robotics research. Following the success of the first RoboCup in 1997 at Nagoya (Kitano 1998; Noda et al. 1998) and the second RoboCup in Paris in 1998, the Third Robot World Cup Soccer Games and Conferences, RoboCup-99, were held in Stockholm from 27 July to 4 August 1999 in conjunction with the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI-99). There were four different leagues: (1) the simulation league, (2) the small-size real robot league, (3) the middle-size real robot league, and (4) the Sony legged robot league. RoboCup-2000, the Fourth Robot World Cup Soccer Games and Conferences, will take place in Melbourne, Australia, in August 2000.

We investigate the space efficiency of a Propositional Knowledge Representation (PKR) formalism. Intuitively, the space efficiency of a formalism F in representing a certain piece of knowledge A, is the size of the shortest formula of F that represents A. In this paper we assume that knowledge is either a set of propositional interpretations (models) or a set of propositional formulae (theorems). We provide a formal way of talking about the relative ability of PKR formalisms to compactly represent a set of models or a set of theorems. We introduce two new compactness measures, the corresponding classes, and show that the relative space efficiency of a PKR formalism in representing models/theorems is directly related to such classes. In particular, we consider formalisms for nonmonotonic reasoning, such as circumscription and default logic, as well as belief revision operators and the stable model semantics for logic programs with negation. One interesting result is that formalisms with the same time complexity do not necessarily belong to the same space efficiency class.

We hope to see you in along with one or two new developments.

We order its events and find meaning in them by assimilating them to more or less familiar narratives. Temporal A wide variety of systems were presented: 1999, at the Sea Crest Oceanfront and modal logics have been used to story generation, interactive Resort and Conference Center. The reason about time, action, and adaptive fiction (including the first public titles of the five symposia were change and to program and verify demonstration from Joseph Bates's networked systems. How can we create characters from specifications of service quality in which interactive narrative emerges? The symposium focused mainly on a single, comprehensive theoretical framework, Clark's grounding model.

Intelligent-agent technology is one of the most exciting, active areas of research and development in computer science and information technology today. The First Asia-Pacific Conference on Intelligent- Agent Technology (IAT'99) attracted researchers and practitioners from diverse fields such as computer science, information systems, business, telecommunications, manufacturing, human factors, psychology, education, and robotics to examine the design principles and performance characteristics of various approaches in agent technologies and, hence, fostered the cross-fertilization of ideas on the development of autonomous agents and multiagent systems among different domains.