Advances in Logic, Artificial Intelligence and Robotics: LAPTEC 2002

This volume contains the approved and invited papers of the 3rd Congress of Logic Applied to Technology—LAPTEC'2002 held in São Paulo, Brazil, from Nov. 11 to 13, 2002. Logic (Classical and Non-Classical) is being increasingly related with other fields 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 scient...