Computer Science BooksArtificial Intelligence Books

Logic for Computer Science Foundations of Automatic Theorem Proving

Advertisement

Logic for Computer Science Foundations of Automatic Theorem Proving

Logic for Computer Science Foundations of Automatic Theorem Proving

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

Author(s):

s Pages

Advertisement

Advertisement

Similar Books
Introduction to Artificial Intelligence Lecture Notes

Introduction to Artificial Intelligence Lecture Notes

This book explains the following topics: Principles of knowledge-based search techniques, automatic deduction, knowledge representation using predicate logic, machine learning, probabilistic reasoning, Applications in tasks such as problem solving, data mining, game playing, natural language understanding, computer vision, speech recognition, and robotics.

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
Techniques in Artificial Intelligence

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.

sNA Pages
Artificial Intelligence by Guru Jambheshwar University

Artificial Intelligence by Guru Jambheshwar University

This book explains the following topics: Scope of Artificial Intelligence, Problem Solving, Knowledge Representation, Rule Based Systems, Structured Knowledge Representation, Handling Uncertainty and Learning, Expert Systems.

s114 Pages
Lecture Notes on Artificial Intelligence

Lecture Notes on Artificial Intelligence

This note covers the following topics: Prolog Programming, Knowledge Representation and Machine Learning, Natural Language Processing and Computer Vision.

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