The Association for the Advancement of Artificial Intelligence, in cooperation with Stanford University's Department of Computer Science, presented the 2003 Spring Symposium Series, Monday through Wednesday, 24-26 March 2003, at Stanford University. The titles of the eight symposia were Agent-Mediated Knowledge Management, Computational Synthesis: From Basic Building Blocks to High- Level Functions, Foundations and Applications of Spatiotemporal Reasoning (FASTR), Human Interaction with Autonomous Systems in Complex Environments, Intelligent Multimedia Knowledge Management, Logical Formalization of Commonsense Reasoning, Natural Language Generation in Spoken and Written Dialogue, and New Directions in Question-Answering Motivation.

This article presents the methodology that has been successfully used over the past seven years by an interdisciplinary team to create the International Committee for Documentation of the International Council of Museums (CIDOC) CONCEPTUAL REFERENCE MODEL (CRM), a high-level ontology to enable information integration for cultural heritage data and their correlation with library and archive information. The CIDOC CRM is now in the process to become an International Organization for Standardization (ISO) standard. This article justifies in detail the methodology and design by functional requirements and gives examples of its contents. The CIDOC CRM analyzes the common conceptualizations behind data and metadata structures to support data transformation, mediation, and merging. It is argued that such ontologies are propertycentric, in contrast to terminological systems, and should be built with different methodologies. It is demonstrated that ontological and epistemological arguments are equally important for an effective design, in particular when dealing with knowledge from the past in any domain. It is assumed that the presented methodology and the upper level of the ontology are applicable in a far wider domain.

WEBODE is a scalable workbench for ontological engineering that eases the design, development, and management of ontologies and includes middleware services to aid in the integration of ontologies into real-world applications. WEBODE presents a framework to integrate new ontology-based tools and services, where developers only worry about the new logic they want to provide on top of the knowledge stored in their ontologies.

We can only state these relationships by adding axioms of some sort. Getting the axioms right, and getting algorithms based on them right, has not been easy. As a result, the basic situation calculus lived as a textbook curiosity for several years. Researchers interested in practical applications of temporal reasoning, such as automated planning, kept the basic ontology of the and execution. Haas (1987), Schubert (1990), and not hold true. To express the papers that have given new life to of Reiter (1991), breathed new fact that adopting a person makes the attempt to formalize realistic reasoning life into the situation calculus (Mc-him/her one's child, we might write in temporal contexts.

The Eighteenth National Conference on Artificial Intelligence (AAAI-02) and the Fourteenth Conference on Innovative Applications of AI (IAAI- 02) were positively received by those who attended. This report provides a few snapshots of the vast and varied content of the 2002 conferences. Proceedings of AAAI-02 and IAAI-02 are available from AAAI Press (www.- aaaipress.org).

This article summarizes the results of the 6-7 July Workshop on Human Language Technology and Knowledge Management held in Toulouse, France. It describes invited keynotes, presentations, and results of brainstorming sessions to create a technology road map for this important area. The group also articulated grand challenges in human language technology and solutions to these challenges that could benefit facilities for knowledge discovery, access, and exploitation.

Simple conceptual graphs are considered as the kernel of most knowledge representation formalisms built upon Sowa's model. Reasoning in this model can be expressed by a graph homomorphism called projection, whose semantics is usually given in terms of positive, conjunctive, existential FOL. We present here a family of extensions of this model, based on rules and constraints, keeping graph homomorphism as the basic operation. We focus on the formal definitions of the different models obtained, including their operational semantics and relationships with FOL, and we analyze the decidability and complexity of the associated problems (consistency and deduction). As soon as rules are involved in reasonings, these problems are not decidable, but we exhibit a condition under which they fall in the polynomial hierarchy. These results extend and complete the ones already published by the authors. Moreover we systematically study the complexity of some particular cases obtained by restricting the form of constraints and/or rules.

A final chapter overviews the avoid being puzzled by the many confusions, to be a "general textbook of problems and the techniques for

Knowledge portals provide views onto domain-specific information on the World Wide Web, thus helping their users find relevant, domain-specific information. The construction of intelligent access and the contribution of information to knowledge portals, however, remained an ad hoc task, requiring extensive manual editing and maintenance by the knowledge portal providers. To diminish these efforts, we use ontologies as a conceptual backbone for providing, accessing, and structuring information in a comprehensive approach for building and maintaining knowledge portals. We present one research study and one commercial case study that show how our approach, called seal (semantic portal), is used in practice.

Deployed applications are three-dimensional scenes, speech input Rapid Development of a systems that have been in use for at for information access, multimodal Course-of-Action Critiquer," by Gheorghe least several months by individuals or dialog, machine learning in engineering Tecuci, Mihai Boicu, Mike Bowman, organizations other than their developers, design, ontologies, agent models, and Dorin Marcu, describes a critiquing have measurable benefits, and and case-based reasoning.