Automated Deduction in Nonstandard Logics

The American Association for Artificial Intelligence held its 1993 Fall Symposium Series on October 22-24 in Raleigh, North Carolina. This article contains summaries of the five symposia that were conducted: Automated Deduction in Nonstandard Logics; Games: Planning and Learning; Human-Computer Collaboration: Reconciling Theory, Synthesizing Practice; Instantiating Intelligent Agents; and Machine Learning and Computer Vision: What, Why, and How? This article contains summaries of the five symposia that were conducted: Automated Deduction in Nonstandard Logics; Games: Planning and Learning; Human-Computer Collaboration: Reconciling Theory, Synthesizing Practice; Instantiating Intelligent Agents; and Machine Learning and Computer Vision: What, Why, and How? Over the past decade, a wide variety of methods have been developed for automating deduction, with an even wider variety of nonstandard logics. The goals of the Automated Deduction in Nonstandard Logics Symposium were to bring together researchers working in this area with the aim of promoting comparisons of the various deduction methods that have been proposed, foster discussion of the different problems involved in automating the various logics, and obtain reports on the use of theorem provers for nonstandard logics in AI systems.