Handbook of Knowledge Representation
by Frank van Harmelen, Vladimir Lifschitz, Bruce Porter
Publisher: Elsevier Science 2008
ISBN/ASIN: 0444522115
ISBN-13: 9780444522115
Number of pages: 1035
Description:
Knowledge Representation, which lies at the core of Artificial Intelligence, is concerned with encoding knowledge on computers to enable systems to reason automatically. The Handbook of Knowledge Representation is an up-to-date review of twenty-five key topics in knowledge representation, written by the leaders of each field. This book is an essential resource for students, researchers and practitioners in all areas of Artificial Intelligence.
Download or read it online for free here:
Download link
(11MB, PDF)
Similar books
Foundations of Computationby Carol Critchlow, David Eck - Hobart and William Smith Colleges
The book covers material on logic, sets, and functions that would often be taught in a course in discrete mathematics. The second part covers automata, formal languages, and grammar that would ordinarily be encountered in an upper level course.
(17932 views)
Delftse Foundations of Computationby Stefan Hugtenburg, Neil Yorke-Smith - TU Delft Open
This is a textbook for a one quarter introductory course in theoretical computer science. It includes topics from propositional and predicate logic, proof techniques, set theory and the theory of computation, along with practical applications to CS.
(8959 views)
Foundations of Computer Scienceby Hans-Peter Bischof
This text is an introduction to the formal study of computation. The course will provide students with a broad perspective of computer science and will acquaint them with various formal systems on which modern computer science is based.
(15802 views)
Building Blocks for Theoretical Computer Scienceby Margaret M. Fleck - University of Illinois, Urbana-Champaign
This book provides a survey of basic mathematical objects, notation, and techniques useful in later computer science courses. It gives a brief introduction to some key topics: algorithm analysis and complexity, automata theory, and computability.
(14797 views)