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 this has made the congress more international. This book is dedicated to Emeritus Professor Atsuyuki Suzuki in commemoration of his honourable retirement from Shizuoka University, March 2005. Prof. Suzuki is learned in application of para consistent logic and has contributed many papers as a member of the program committee to LAPTEC since the beginning.
