Advances in Logic Based Intelligent Systems

LAPTEC' 2005 promoted the discussion and interaction between researchers and practitioners focused on both theoretical and practical disciplines concerning logics applied to technology, with diverse backgrounds including all kinds of intelligent systems having classical or non-classical logics as underlying common matters. It was the first time for LAPTEC to be held in a different country than Brazil since its birth in 2000, and has made the congress more international. This book is dedicated to Emeritus Professor Atsuyuki Suzuki in commemoration of his honorable retirement from Shizuoka University, March, 2005. Prof. Suzuki is learned in application of para consistent logic, and has contributed many papers and as a member of the program committee to LAPTEC since the beginning.