Advances in logic, artificial intelligence, and robotics LAPTEC 2002 - Abe, Jair Minoro; Silva Filho, João Inácio da (Frontiers in artificial intelligence and applications ;, 2002)