Logic, Artificial Intelligence, and Robotics: LAPTEC'2001

This volume contains the approved and invited papers of the 3rd Congress of Logic Applied to Technology—LAPTEC'2002. Logic (Classical and Non-Classical) is being increasingly related with other in almost every scientific discipline and human activity. In this volume we have emphasized its role in Artificial Intelligence, Robotics, Informatics in general, Technology, and correlated themes, written by some of the most prominent scientist of nowadays.