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 
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
Lecture Notes On Artificial Intelligence By Dr. Prashanta Kumar Patra
This book covers the following topics: AI Technique, Level of the Model,Problem Spaces, and Search: Defining the Problem as a State Space Search, Production Systems, Problem Characteristics, Production System Characteristics, Issues in the Design of Search Programs. Heuristic Search Techniques: Generate-andTest, Hill Climbing, Best-first Search, Problem Reduction, Constraint Satisfaction, Means-ends, Symbolic Reasoning Under Uncertainty, Game Playing, Learning: Rote Learning.
Author(s): Dr. Prashanta Kumar Patra
128 Pages
Machine Learning Advanced Techniques and Emerging Applications
This book covers recent advances of machine learning techniques in a broad range of applications in smart cities, automated industry, and emerging businesses.
Author(s): Hamed Farhadi
NA Pages
Artificial Intelligence by Prof. Pallab Dasgupta and Prof. Partha Pratim Chakrabarti
This note covers the following topics: Problem Solving by Search, Informed State Space Search, Propositional Logic, Informed State Space Search, AND/OR Graphs and Game Trees, Method of Resolution Refutation, GraphPLAN and SATPlan, Reasoning under Uncertainty, Learning Decision Trees, Convolutional and Recurrent Neural Networks.
Author(s): Prof. Pallab Dasgupta and Prof. Partha Pratim Chakrabarti
NA Pages
Techniques in Artificial Intelligence
This note provides an introduction to artificial intelligence. Topics covered include: representation and inference in first-order logic, modern deterministic and decision-theoretic planning techniques, basic supervised learning methods, and Bayesian network inference and learning.
Author(s): Prof. Tomas Lozano-Perez and Prof. Leslie Kaelbling
NA Pages
Artificial Intelligence Lecture Notes
This course note covers major topics of AI, including Search, Logic and Knowledge Representation, and Natural Language Processing, with brief coverage of the Brain and Machine Vision.
Author(s): Gordon S. Novak Jr
NA Pages
Artificial Intelligence Lectures slides and readings
This note covers the following topics: Search, Backtracking Search, Game Tree Search, Reasoning Under Uncertainty, Planning, Decision Making under Uncertainty.
Author(s): Fahiem Bacchus
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
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
