Publisher's Synopsis
These papers exemplify some of the trends in current approaches to logic, language and computation. They include reasoning with incomplete information, reasoning about knowledge and beliefs, linear logic and approaches to formalized reasoning.