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. For those
interested in machine learning, the book explains how higher-order
logic provides suitable knowledge representation formalisms and
hypothesis languages for machine learning applications.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!