Advances in Intelligent Systems and Robotics

This publication present the approved and invited papers of the 4th Congress of Logic Applied to Technology - LAPTEC'2003. Logic (Classical and Non-Classical) is being increasingly related with almost every other scientific discipline and human activity. In this volume the role of logic in several disciplines is emphasized its. The disciplines discussed are Artificial Intelligence, Robotics, Informatics in general, Technology and correlated themes. Through the wide variety of papers, the publications gives a great overview of the recent developments in the area of Logic.