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
CMSC 671 Fall 2005
61 Slide(s),
124 Views, Added 7 years ago
Classified as :
Computer Engineering
»
Artificial Intelligence
»
Deduction and Theorem Proving
»
Deduction
Computer Engineering
»
Artificial Intelligence
»
Deduction and Theorem Proving
»
Inference engines
and 4 more...
Artificial Intelligence Inference in firstorder logic
40 Slide(s),
116 Views, Added 7 years ago
Classified as :
Computer Engineering
»
Artificial Intelligence
»
Deduction and Theorem Proving
»
Deduction
Computer Engineering
»
Artificial Intelligence
»
Deduction and Theorem Proving
»
Inference engines
and 3 more...
Artificial Intelligence Chapter 7: Logical Agents
71 Slide(s),
65 Views, Added 7 years ago
Classified as :
Computer Engineering
»
Artificial Intelligence
»
Deduction and Theorem Proving
»
Deduction
Computer Engineering
»
Artificial Intelligence
»
Deduction and Theorem Proving
»
Inference engines
and 4 more...
CSC 480: Artificial Intelligence
83 Slide(s),
80 Views, Added 7 years ago
Classified as :
Computer Engineering
»
Artificial Intelligence
»
Deduction and Theorem Proving
»
Deduction
Computer Engineering
»
Artificial Intelligence
»
Deduction and Theorem Proving
»
Resolution
and 5 more...
CSC 480: Artificial Intelligence
83 Slide(s),
45 Views, Added 7 years ago
Classified as :
Computer Engineering
»
Artificial Intelligence
»
Deduction and Theorem Proving
»
Deduction
Computer Engineering
»
Artificial Intelligence
»
Deduction and Theorem Proving
»
Resolution
and 4 more...
Logic review
110 Slide(s),
36 Views, Added 7 years ago
Classified as :
Computer Engineering
»
Artificial Intelligence
»
Deduction and Theorem Proving
»
Deduction
Computer Engineering
»
Artificial Intelligence
»
Deduction and Theorem Proving
»
Logic programming
and 2 more...
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