The 1995 AAAI Spring Symposia Reports

AI Magazine

The Association for the Advancement of Artificial Intelligence held its 1995 Spring Symposium Series on March 27 to 29 at Stanford University. This article contains summaries of the nine symposia that were conducted: (1) Empirical Methods in Discourse Interpretation and Generation; (2) Extending Theories of Action: Formal Theory and Practical Applications; (3) Information Gathering from Heterogeneous, Distributed Environments; (4) Integrated Planning Applications; (5) Interactive Story Systems: Plot and Character; (6) Lessons Learned from Implemented Software Architectures for Physical Agents; (7) Representation and Acquisition of Lexical Knowledge: Polysemy, Ambiguity, and Generativity; (8) Representing Mental States and Mechanisms; and (9) Systematic Methods of Scientific Discovery.


vii

AAAI Conferences

Preface The Third International Cognitive Robotics Workshop (CogRob2002) was held July 28, 2002 in Edmonton, Alberta, Canada. It was sponsored by the American Association for Artificial Intelligence, and held in conjunction with AAAI 2002, the Eighteenth National Conference Artificial Intelligence. This workshop was the third in a series of successful workshops addressing issues related to the growing field of cognitive robotics. CogRob2002 followed the very successful AAAI Fall Symposium 1998 on Cognitive Robotics held in Orlando and the Second International Cognitive Robotics Workshop, held in conjunction with ECAI-2000. Research in robotics has traditionally emphasized low-level sensing and control tasks including sensory processing, path planning, and manipulator design and control.


Articles

AI Magazine

The symposium took place in July 2009 in Lake Arrowhead, California. Consequently, ARA techniques have been studied in various subfields in AI and related disciplines and have been used in various settings including automated reasoning, cognitive modeling, constraint programming, design, diagnosis, machine learning, model-based reasoning, planning, reasoning, scheduling, search, theorem proving, and intelligent tutoring. The considerable interest in ARA techniques and the great diversity of the researchers involved had led to work on ARA being presented at many different venues. Consequently, there was a need to have a single forum where researchers of different backgrounds and disciplines could discuss their work on ARA. As a result, the Symposium on Abstraction, Reformulation, and Approximation (SARA) was established in 1994 after a series of workshops in 1988, 1990, and 1992.