Automated Planning - Theory and Practice - Grand Format

Malik Ghallab is Directeur de Recherche at CNRS, the French national organization for scientific research. His main interests lay at the intersection of robotics and AI, in the robust integration of perception, action, and reasoning capabilities within autonomous robots. He contributed to topics such as object recognition, scene interpretation, heuristics search, pattern matching and unification algorithms, knowledge compiling for real-time synchronous systems, temporal planning, and supervision systems.
His work on the latter topic has been focused on the development of the IxTeT system for planning and chronicle recognition. IxTeT has been applied to robotics as well as to other domains, example, scheduling and process supervision. Malik Ghallab is head of the French national robotics program Robea and director of the LAAS-CNRS institute in Toulouse. Dana Nau is a professor at the University of Maryland in the Department of Computer Science and the Institute for Systems Research.
His research interests include AI planning and searching as well as computer-integrated design and manufacturing. He received his Ph.D. from Duke University in 1979, where he was a National Science Foundation (NSF) graduate fellow. He has more than 250 technical publications. He has received an NSF Presidential Young Investigator award, an Outstanding Faculty award, several "best paper" awards, and several prizes for competition-level performance of his AI planning and game-playing programs.
He is a Fellow of the American Association for Artificial Intelligence (AAAI). Paolo Traverso is Head of Division at ITC-IRST in Trentò, Italy. The Division is active in the fields of automated planning, model checking, case-based reasoning and machine learning, distributed systems, and agents. His main research interests include automated reasoning, planning under uncertainty, and the synthesis of controllers.
He has contributed to research on mechanized metatheories, formal verification, knowledge management, embedded systems, and logics for the integration of planning, acting, and sensing. for a list of recent publications. He is a member of the Editorial Board of the Journal of Artificial Intelligence Research, a member of the Executive Council of the International Conference on Automated Planning and Scheduling, and a member of the Board of Directors of the Italian Association for Artificial Intelligence.