Logic, Artificial Intelligence and Robotics

This volume contains the approved and invited papers of the Third Congress of Logic Applied to Technology - LAPTEC'2002. Logic (classical and non-classical) is being increasingly related with other issues in almost every scientific discipline and human activity. This work emphasizes its role in artificial intelligence, robotics, informatics in general, technology, and correlated themes. The papers were contributed by some prominent scientists.