Advances in logic, artificial intelligence and robotics

This compilation comprises the accepted and invited papers from the 3rd Congress of Logic Applied to Technology – LAPTEC’2002, conducted in São Paulo, Brazil, from Nov. 11 to 13, 2002. The growing interconnection of logic, both classical and non-classical, with various scientific disciplines and human endeavors is evident. This volume accentuates the significance of logic in fields such as Artificial Intelligence, Robotics, Informatics, Technology, and related topics, featuring contributions from some of today’s foremost scientists.