Advances in logic, artificial intelligence, and robotics LAPTEC 2002 (IOS Press/Ohmsha, 2002)
Includes bibliographical references and index