Product Description: This book provides a systematic approach to knowledge representation, computation, and learning using higher-order logic. For those interested in computational logic, it provides a framework for knowledge representation and computation based on higher-order logic, and demonstrates its advantages over more standard approaches based on first-order logic...read more

Product Description: These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conference covered all aspects of the theory, implementation, and application of computational logic, where computational logic is to be understood broadly as the use of logic in computer science...read more (view table of contents, read Amazon.com's description)

Product Description: Book by Lloyd, J. W.

Product Description: This volume has a dual significance to the ESPRIT Basic Research efforts towards forging strong links between European academic and industrial teams carrying out research, often interdisciplinary, at the forefront of Information Technology...read more