Advertisement
Implementing Mathematics with The Nuprl Proof System
This book covers the following topics: Introduction to Type Theory, Statements and Definitions in Nuprl, Proofs, Proof Tactics, System Description, The Rules, The Metalanguage, Building Theories, Recursive definition.
Author(s): Computing and Information Science, Cornell University
NA Pages 
Digital Notes on Artificial Intelligence by Sri Indu College of Engineering and Technology
This note explains the following topics: Problem Solving by Search , Knowledge and Reasoning, Planning Classical Planning, Uncertain knowledge and Learning.
Author(s): Department of CSE, Sri Indu College of Engineering and Technology
140 Pages
Lecture note on Artificial Intelligence
This note describes the following topics: introduction to AI and production systems, Representation of Knowledge, Knowledge Representation using predicate logic, Knowledge Inference, Planning and Machine Learning, Expert Systems and Meta Knowledge.
Author(s): St Anne College of Engineering and Technology
173 Pages
Introduction to Artificial Intelligence by Bojana Dalbelo Basic and Jan Snajder
This note covers the following topics: Atlas: humanoid robot, VoiceTra Real-Time Machine Translation, DeepMind&
Author(s): Prof. Bojana Dalbelo Basic and Assoc. Prof. Jan Snajder
79 Pages
Artificial Intelligence Lecture Materials
This note will provide an introduction to the field of Artificial Intelligence. It will cover a number of AI ideas and techniques, as well as give you a brief introduction to symbolic computing.
Author(s): Diane Cook
NA Pages
Artificial Intelligence by Professor Yun Peng
This note is designed as a broad rather than in-depth introduction to the principles of artificial intelligence, its characteristics, major techniques, and important sub-fields and applications.
Author(s): Professor Yun Peng
NA Pages
Artificial Intelligence by IIT Kharagpur
This lecture note covers the following topics: Introduction to Agent, Problem Solving using Search, State Space Search, Pegs and Disks problem, Uninformed Search , Single agent search, Informed Search Strategies, Two agent, Constraint satisfaction problems, Knowledge Representation and Logic, First Order Logic, Rule based Systems, Other representation formalisms, Planning, Reasoning with Uncertainty - Probabilistic reasoning, Reasoning with uncertainty-Fuzzy Reasoning.
Author(s): IIT Kharagpur
NA Pages
Building Expert Systems In Prolog (Amzi)
Currently this section contains no detailed description for the page, will update this page soon.
Author(s):
Pages
Machine Learning, Neural and Statistical Classification (D. Michie, D. Spiegelhalter, C. Taylor)
This book is based on the EC (ESPRIT) project StatLog which compare and evaluated a range of classification techniques, with an assessment of their merits, disadvantages and range of application. It provides a concise introduction to each method, and reviews comparative trials in large-scale commercial and industrial problems.
Author(s): D. Michie, D.J. Spiegelhalter, C.C. Taylor
NA Pages
Artificial Intelligence II (David Marshall)
AI is the part of computer science concerned with designing intelligent computer systems, that is, computer systems that exhibit the characteristics we associate with intelligence in human behaviour - understanding language, learning, reasoning and solving problems .A theme we will develop in this course note is that most AI systems can broken into: Search, Knowledge Representation and applications of the above.
Author(s): David Marshall
NA Pages
Artificial Intelligence I (W. Jones)
Currently this section contains no detailed description for the page, will update this page soon.
Author(s):
PagesAdvertisement
