Computational Logic, Volume 9

This volume covers some of the main subareas of computational logic and its applications and provides a forum where philosophers and scientists interact.