Automated Deduction in Nonstandard Logics

AI Magazine

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.


The 1993 International Logic Programming Symposium

AI Magazine

The 1993 International Logic Programming Symposium was held in Vancouver, British Columbia, on 26-29 October. It presented the state of the art in logic programming, emphasizing the deliberate interaction with other fields, in particular, humanistic fields. Topics covered at the symposium included algorithmic analysis, programming methodologies, semantic analysis, deductive databases, and programming language design.



AAAI 2007 Spring Symposium Series Reports

AI Magazine

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.


AAAI 2002 Fall Symposium Series Reports

AI Magazine

The Association for the Advancement of Artificial Intelligence held its 2001 Fall Symposium Series November 2-4, 2001 at the Sea Crest Conference Center in North Falmouth, Massachusetts. The topics of the five symposia in the 2001 Fall Symposia Series were (1) Anchoring Symbols to Sensor Data in Single and Multiple Robot Systems, (2) Emotional and Intelligent II: The Tangled Knot of Social Cognition, (3) Intent Inference for Collaborative Tasks, (4) Negotiation Methods for Autonomous Cooperative Systems, and (5) Using Uncertainty within Computation. This article contains brief reports of those five symposia.