Advances in Logic Based Intelligent Systems: Selected Papers of Laptec 2005

Advances in Logic Based Intelligent Systems: Selected Papers of Laptec 2005
Summary
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.