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.