Publisher's Synopsis
Logic (both classical and non-classical) is being increasingly related with other fields in almost every scientific discipline and human activity. This work covers its role in artificial intelligence, robotics, informatics, technology, and correlated themes.