Publisher's Synopsis
The first section presents an abstract knowledge-based architecture (Socrates) which is capable of being specialized and configured for particular applications. The second reports some novel research which enlarges current theorem proving technology, and which the contributors (Dept. of Artificial Intelligence, Edinburg) feel should be incorporated