Loading...
COMP-SCI 461
Introduction To Artificial Intelligence
|
|
Search space generation, pruning and searching, employment of heuristics in simulation of the cognitive process, an overview of predicate calculus, automatic theorem proving.
|
Prerequisite(s):
COMP-SCI 441
|
Faculty:
School of Computing & Engineer
|
Department:
Comp Sci & Elect Engr
|
|