Publisher's Synopsis
This volume in the "Machine Intelligence" seies maintains the theme of the representation of machine knowledge in a variety of disciplines.;There are theoretical papers on computation and logic, on problem-solving and proof, and on applications to logic programming and machine learning. The study marks the twentieth year of the Machine Intelligence Workshops.