Advances in Logic Based Intelligent Systems
：Selected Papers of LAPTEC 2005
( Frontiers in Artificial Intelligence and Applications )
Publication subTitle ：Selected Papers of LAPTEC 2005
Publication series ： Frontiers in Artificial Intelligence and Applications
Author： Nakamatsu K.;Krö J.M.
Publisher： Ios Press
Publication year： 2005
E-ISBN: 9781607501466
P-ISBN(Paperback): 9781586035686
Subject： O141.2 proof theory
Keyword： 自动化技术、计算机技术
Language： ENG
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Description
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.
Chapter