Advances in Logic Based Intelligent Systems: Selected Papers of LAPTEC 2005: Volume 132 Frontiers in Artificial Intelligence and Applications

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.IOS Press is an international science, technical and medical publisher of high-quality books for academics, scientists, and professionals in all fields. Some of the areas we publish in: -Biomedicine -Oncology -Artificial intelligence -Databases and information systems -Maritime engineering -Nanotechnology -Geoengineering -All aspects of physics -E-governance -E-commerce -The knowledge economy -Urban studies -Arms control -Understanding and responding to terrorism -Medical informatics -Computer Sciences