Techniques in Artificial Intelligence (SMA 5504) | Electrical Engineering and Computer Science | MIT OpenCourseWare

Assignments

blocks_extracredit.txt

blocks.txt

dataA.txt

dataB.txt

FOL.jar

PL.jar

RRPC.jar

sibling.txt

solutions.pdf

solveable.cnf

solveable.solution

proj1b.pdf

proj1c.pdf

satisfiable1.cnf

test1.cnf

test1.dimacs

trains1.txt

unsatisfiable1.cnf

satisfiable2.cnf

test2.cnf

test2.dimacs

trains2.txt

unsatisfiable2.cnf

hwk3.pdf

test3.cnf

test4.cnf

test5.cnf

zchaff2001217linux.gz

zchaff2001217solaris.gz

zchaff2001217srctar.gz

Course Info

Instructors

Departments

Electrical Engineering and Computer Science

As Taught In

Fall 2002

Level

Graduate

Topics

Learning Resource Types

Lecture Notes

Programming Assignments

Download Course

MIT Open Learning

Over 2,500 courses & materials

Freely sharing knowledge with learners and educators around the world. Learn more

© 2001–2025 Massachusetts Institute of Technology

Accessibility

Creative Commons License

Terms and Conditions

Proud member of:

© 2001–2025 Massachusetts Institute of Technology