LAPTEC' 2005 promoted the discussion and interaction between researchers and practitioners focused on both theoretical and practical disciplines concerning logi

The use of mathematical logic as a formalism for artificial intelligence was recognized by John McCarthy in 1959 in his paper on Programs with Common Sense. In

This book represents the experience of successful researchers from four continents on a broad range of intelligent systems, and it hints how to avoid anticipate

"Recent Advances in Intelligent Control Systems" gathers contributions from workers around the world and presents them in four categories according to the style

This book presents the latest trends in and approaches to computational intelligence research and its application to intelligent systems. It covers a long list