Computer Science BooksArtificial Intelligence Books

Implementing Mathematics with The Nuprl Proof System

Advertisement

Implementing Mathematics with The Nuprl Proof System

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):

sNA Pages
Similar Books
Artificial Intelligence and Games

Artificial Intelligence and Games

This PDF covers the following topics related to Artificial Intelligence and Games : AI Methods, Ways of Using AI in Games, Playing Games, Generating Content, Modeling Players, Game AI Panorama, Frontiers of Game AI Research.

s359 Pages
Lecture Notes On Artificial Intelligence By Dr. Prashanta Kumar Patra

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.

s128 Pages
Artificial Intelligence by Seoul National University

Artificial Intelligence by Seoul National University

This book explains the following topics: History of AI, Machine Evolution, Evolutionary Computation, Components of EC, Genetic Algorithms, Genetic Programming, Uninformed Search, Search Space Graphs, Depth-First Search, Breadth-First Search, Iterative Deepening, Heuristic Search, The Propositional Calculus, Resolution in the Propositional Calculus, The Predicate Calculus, Resolution in the Predicate Calculus, Reasoning with Uncertain Information, Agent Architectures.

sNA Pages
Artificial Intelligence Lecture Materials

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.

sNA Pages
Techniques of Artificial Intelligence by Vrije Universiteit Brussel

Techniques of Artificial Intelligence by Vrije Universiteit Brussel

This note explains the following topics: State Space Search, Decision Trees, Evaluating Hypotheses, Evaluation of hypothesis, Neural Networks, Computational Learning Theory, DMF Clustering, Data Mining, Text Mining, Graph Mining, Text Mining.

sNA Pages
Artificial   Intelligence Lecture Notes MIT

Artificial Intelligence Lecture Notes MIT

This course note introduces representations, techniques, and architectures used to build applied systems and to account for intelligence from a computational point of view.

sNA Pages
Machine Learning, Neural and Statistical Classification (D. Michie, D. Spiegelhalter, C. Taylor)

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.

sNA Pages
Practical     Artificial Intelligence Programming in Java

Practical Artificial Intelligence Programming in Java

This book is for both professional programmers and home hobbyists who already know how to program in Java and who want to learn practical Artificial Intelligence (AI) programming and information processing techniques. Topics covered includes: Search, Reasoning, Semantic Web, Expert Systems, Genetic Algorithms, Neural Networks, Machine Learning with Weka, Statistical Natural Language Processing.

s222 Pages
Machine Learning, Neural and Statistical Classification

Machine Learning, Neural and Statistical Classification

Currently this section contains no detailed description for the page, will update this page soon.

s Pages
Artificial Intelligence I (W. Jones)

Artificial Intelligence I (W. Jones)

Currently this section contains no detailed description for the page, will update this page soon.

s Pages

Advertisement