The workshop was organized by Jack Minker and John McCarthy. The Program Committee members were Krzysztof Apt, John Horty, Sarit Kraus, Vladimir Lifschitz, John McCarthy, Jack Minker, Don Perlis, and Ray Reiter. The purpose of the workshop was to bring together researchers who use logic as a fundamental tool in AI to permit them to review accomplishments, assess future directions, and share their research in LBAI. This article is a summary of the workshop. The areas selected for discussion at the workshop were abductive and inductive reasoning, applications of theorem proving, commonsense reasoning, computational logic, constraints, logic and high-level robotics, logic and language, logic and planning, logic for agents and actions, logic of causation and action, logic, probability and decision theory, nonmonotonic reasoning, theories of belief, and knowledge representation.

The 28th International Workshop on Qualitative Reasoning (QR-15) presented advances toward reasoning tractably with massive qualitative and quantitative models, automatically learning and reasoning about continuous processes, and representing knowledge about space, causation, and uncertainty. The technical track included two invited talks, 11 oral presentations, and 5 poster presentations.

Researchers and technology developers from the National Aeronautics and Space Administration (NASA), other government agencies, academia, and industry recently met in Pasadena, California, to take stock of past and current work and future challenges in the application of AI to highly autonomous systems. In our lifetime, through the eyes of simple robots, grand vistas on other worlds have been unveiled for the first time. Enigmatic questions compel us to go further, to touch these distant landscapes and learn the secrets of the solar system. However, in trying, we find our reach wanting, limited by the link to Earth on which our probes depend. We are learning that to explore further, these probes must go alone, and to go alone, they must become much more intelligent.

AI Magazine AI has come a long way in the 12 years since AI Magazine began. At that point, we had already made it through our infancy, when even simple things were exciting and being done for the first time. We were probably somewhere in our childhood. The new things were a bit more complicated, and there were still a lot of stops and starts. Then we hit the raging hormones of adolescence.

The AAAI-2000 Workshop Program was held Sunday and Monday, 30-31 July 2000 at the Hyatt Regency Austin and the Austin Convention Center in Austin, Texas. The 15 workshops held were (1) "Agent-Oriented Information Systems," (2) "Artificial Intelligence and Music," (3) "Artificial Intelligence and Web Search," (4) "Constraints and AI Planning," (5) "Integration of AI and OR: Techniques for Combinatorial Optimization," (6) "Intelligent Lessons Learned Systems," (7) "Knowledge-Based Electronic Markets," (8) "Learning from Imbalanced Data Sets," (9) "Learning Statistical Models from Relational Data," (10) "Leveraging Probability and Uncertainty in Computation, (11) "Mobile Robotic Competition and Exhibition," (12) "New Research Problems for Machine Learning," (13) "Parallel and Distributed Search for Reasoning," (14) "Representational Issues for Real-World Planning Systems," and (15) "Spatial and Temporal Granularity." The AAAI-2000 Workshop Program was held Sunday and Monday, 30-31 July 2000 at the Hyatt Regency Austin and the Austin Convention Center in Austin, Texas. The 15 workshops held were (1) "Agent-Oriented Information Systems," (2) "Artificial Intelligence and Music," (3) "Artificial Intelligence and Web Search," (4) "Constraints and AI Planning," (5) "Integration of AI and OR: Techniques for Combinatorial Optimization," (6) "Intelligent Lessons Learned Systems," (7) "Knowledge-Based Electronic Markets," (8) "Learning from Imbalanced Data Sets," (9) "Learning Statistical Models from Relational Data," (10) "Leveraging Probability and Uncertainty in Computation, (11) "Mobile Robotic Competition and Exhibition," (12) "New Research Problems for Machine Learning," (13) "Parallel and Distributed Search for Reasoning," (14) "Representational Issues for Real-World Planning Systems," and (15) "Spatial and Temporal Granularity." Information systems are, and continue to be, the predominant application of computing technologies.

Electronic Versions of ALL AAAI Proceedings are Now Available! This year's theme was bridging theory and practice: theorybased practical implementations and commercial applications. In keeping with this theme, part of the symposium focused on demonstrations of unique and innovative AI applications. There were 24 half-hour contributed talks and the following four 1-hour invited lectures: Reid Simmons (Carnegie Mellon University) presented "Creating Reliable Autonomous Systems," which featured monitoring and error recovery and formal verification techniques for intelligent systems. The Bar Ilan Symposia on the Foundations of Artificial Intelligence are a series of research meetings held in Israel every two years.

Computational analogy and case-based reasoning (CBR) are closely related research areas. Both employ prior cases to reason in complex situations with incomplete information. Analogy research often focuses on modeling human cognitive processes, the structural alignment between a base/source and target, and adaptation/abstraction of the analogical source content. While CBR research also deals with alignment and adaptation, the field tends to focus more on retrieval, case-base maintenance, and pragmatic solutions to real-world problems. However, despite their obvious overlap in research goals and approaches, cross communication and collaboration between these areas has been progressively diminishing. CBR and computational analogy researchers stand to benefit greatly from increased exposure to each other's work and greater cross-pollination of ideas. The objective of this workshop is to promote such communication by bringing together researchers from the two areas, to foster new collaborative endeavors, to stimulate new ideas and avoid reinventing old ones.

The CCC-sponsored initiative in robotics, led by Henrik Christensen, has made great progress and provided a model example of a CCC initiative. Having finished their series of workshops and developed a roadmap, they are now bringing targeted portions of that roadmap to NSF, NIST, DARPA, NIH and the Office of Science and Technology Policy. They are also organizing a U.S. Congressional caucus on robotics to take place in March. Additionally several companies have expressed an interest in engaging in a broader effort on robotics across United States. Back in early 2008, they began organizing four workshops, one each in four topical areas of robotics: manufacturing and logistics, healthcare and medical robotics, service robotics and emerging technologies.

AAAI 2008 Workshop Reports

The Association for the Advancement of Artificial Intelligence (AAAI) presented the AAAI-02 Workshop Program on Sunday and Monday, 28-29 July 2002 at the Shaw Convention Center in Edmonton, Alberta, Canada. The AAAI-02 workshop program included 18 workshops covering a wide range of topics in AI. The workshops were Agent-Based Technologies for B2B Electronic-Commerce; Automation as a Caregiver: The Role of Intelligent Technology in Elder Care; Autonomy, Delegation, and Control: From Interagent to Groups; Coalition Formation in Dynamic Multiagent Environments; Cognitive Robotics; Game-Theoretic and Decision-Theoretic Agents; Intelligent Service Integration; Intelligent Situation-Aware Media and Presentations; Meaning Negotiation; Multiagent Modeling and Simulation of Economic Systems; Ontologies and the Semantic Web; Planning with and for Multiagent Systems; Preferences in AI and CP: Symbolic Approaches; Probabilistic Approaches in Search; Real-Time Decision Support and Diagnosis Systems; Semantic Web Meets Language Resources; and Spatial and Temporal Reasoning.