Loading...
Advanced Search
Welcome Guest
RSS
RSS
Public Health
Computer Engineering
Agriculture
Environment
Legacy Lectures
Home
Authors
Public Health
|
Computer Engineering
|
Agriculture
|
Environment
Assist researchers in planning and analyzing their research efforts
Member Login
Log in or sign up for more personalized features
Please fill in your email.
Please fill in a valid email
Please fill in your password
sign up
Remember me
Forgot your password?
Home
»
Computer Engineering
»
Artificial Intelligence
» Deduction and Theorem Proving (51) lectures
Order By: Newest |
Rating
|
View Count
CPE/CSC 580: Intelligent Agents
82 Slide(s),
141 Views, Added 7 years ago
Classified as :
Computer Engineering
»
Artificial Intelligence
»
Deduction and Theorem Proving
CSC 480: Artificial Intelligence
84 Slide(s),
141 Views, Added 7 years ago
Classified as :
Computer Engineering
»
Artificial Intelligence
»
Deduction and Theorem Proving
»
Uncertainty, fuzzy and probabilistic reasoning
Computer Engineering
»
Artificial Intelligence
»
Knowledge Representation Formalisms and Methods
»
Predicate logic
and 1 more...
CS 188: Artificial Intelligence Fall 2011
36 Slide(s),
131 Views, Added 7 years ago
Classified as :
Computer Engineering
»
Artificial Intelligence
»
Deduction and Theorem Proving
»
Uncertainty, fuzzy and probabilistic reasoning
UIUC CS 497: Section EA Lecture #2
34 Slide(s),
165 Views, Added 7 years ago
Classified as :
Computer Engineering
»
Artificial Intelligence
»
Deduction and Theorem Proving
»
Resolution
Computer Engineering
»
Artificial Intelligence
»
Deduction and Theorem Proving
»
Uncertainty, fuzzy and probabilistic reasoning
Lecture 19 Reasoning about Time and Change
29 Slide(s),
142 Views, Added 7 years ago
Classified as :
Computer Engineering
»
Artificial Intelligence
»
Deduction and Theorem Proving
»
Nonmonotonic reasoning and belief revision
Logic-based Artificial Intelligence
58 Slide(s),
137 Views, Added 7 years ago
Classified as :
Computer Engineering
»
Artificial Intelligence
»
Deduction and Theorem Proving
»
Nonmonotonic reasoning and belief revision
Previous
1
2
3
4
5
........
9
Next
Computer Engineering (57,730)
Artificial Intelligence (
2,759
)
Applications and Expert Systems (
306
)
Automatic Programming (
293
)
Cognitive simulation (
72
)
Deduction and Theorem Proving (
51
)
Answer/reason extraction (
2
)
Deduction (
32
)
Inference engines (
12
)
Logic programming (
18
)
Mathematical induction (
6
)
Metatheory (
2
)
Nonmonotonic reasoning and belief revision (
9
)
Resolution (
27
)
Uncertainty, fuzzy and probabilistic reasoning (
20
)
Distributed Artificial Intelligence (
201
)
Knowledge Representation Formalisms and Methods (
322
)
Learning (
1,052
)
Natural Language Processing (
364
)
Philosophical foundations (
63
)
Problem Solving, Control Methods, and Search (
265
)
Programming Languages and Software (
169
)
Robotics (
589
)
Vision and Scene Understanding (
49
)
Computer Applications (
321
)
Computer Graphics (
1,072
)
Computer Systems Organization (
441
)
Computing Environment (
712
)
Data (
11,409
)
Document and Text Processing (
193
)
Hardware (
11,191
)
Image Processing and Computer Vision (
2,524
)
Information Systems (
4,028
)
Mathematics of Computing (
393
)
Pattern Recognition (
1,110
)
Simulation and Modeling (
1,216
)
Software (
14,813
)
Symbolic and Algebraic Manipulation (
48
)
Theory of Computation (
391
)
Unclassified (
18,885
)
Based on the
ACM
Computing Classification System
Automatically Rated
Rated By Users
Your Feedback
Title:
Content:
You forgot to fill in your feedback
Thank You
Your feedback has been sent successfully
Register
Please
sign up
or login in Science Supercourse to enjoy all its facilities !
Please fill in your email.
Please fill in a valid email
Please fill in your password