acapulco
The Workshop on Logic-Based Artificial Intelligence
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.
AAAI News
AAAI is delighted to announce the continuation of its cooperative effort with AI Journal, giving unlimited access to the online version of the Artificial Intelligence Journal to all regular AAAI members. AAAI regular members can view and browse tables of contents, view articles published in recent issues of AI Journal, and utilize the current features available through Elsevier's electronic journal service. They may also view, print, and/or download excerpts of reasonable quantity, provided that the use of such excerpts is personal and does not amount to, or result in, commercial distribution. Participation in this experimental program is included in your normal AAAI membership dues. If you are a current regular member and have not received your reader key and instructions for accessing the online AI Journal, please contact membership03@aaai.org for more information.
IJCAI-03 Conference Highlights
This summer's AI conference in Acapulco offered attendees wide variety of program choices as well as ample time to catch up with friends and colleagues. For many, scheduling time was probably the biggest challenge because the conference included numerous invited speakers, 189 technical paper presentations, 93 posters, a Mobile Robot Competition, 19 Innovative Applications of AI (IAAI) award-winning paper presentations, a Trading Agents Competition, a special track on AI and the web, and the vendor exhibit.
Advances in Artificial Intelligence Research and Applications at IJCAI-03
Successes and Challenges" by Alon Halevy, University of Washington; "Constraint Satisfaction, Santa Cruz; "Self-Reconfiguring Robots: Challenges and Successes" by Daniela Rus, Dartmouth University; "Automated Verification Graphs, Automata, and Logic" by Moshe Vardi, "Quantum Information: Fundamentals the world have gathered each summer One hundred the conference is always after conference hours. Also among this year's invited As part of the American Association As In addition to the strong technical to advance the science and practice part of a special track on AI and the track of the conference, the Fifteenth of AI, the organization continues web, Henzinger will discuss the future Innovative Applications of AI conference to play a leading role in organizing of search engines on the internet, (IAAI-03) will be collocated with and sponsoring these annual summer describing work under way to IJCAI. Through the years, we have conferences. Other invited talks include "Deploying in a broad range of computer systems, Information Agents on the machinery, and electronic devices Because AI is an umbrella term for a of Southern California; "Web However, where is the newest, most This book looks at some of the results of this synergy among AI, cognitive science, and education. Examples include virtual students whose misconceptions force students to reflect on their own knowledge, intelligent tutoring systems, and speech recognition technology that helps students learn to read.
AAAI News
We hope by sending a message to majordomo@aaai.org AAAI regular members in the body of the message: subscribe can view and browse tables of aaai-members. Acapulco is the largest and most AAAI events and deadlines. They may also view, print, at www.aaai.org/AITopics/aitopics. stunning beaches, exuberant natural and/or download excerpts of reasonable html. Participation in this Registration information for the America, since its functional, modern experimental program is included in Eighteenth International Joint Conference infrastructure has had very little impact your normal AAAI membership dues.