CIS 6650 Special Topics in Computer Science I (Fall 2012)

Automated Reasoning

• Course Syllabus

• Assignment Submission Procedure

• Lecture notes (in pdf)
  • Constraint Satisfaction Problems

  • Inference with Uncertain Knowledge

  • MDP and Reinforcement Learning

  • Learning Bayesian Networks

• Resource
  
  • map6

  • map19

  • 6queen

  • cryptarithmetic

  • burglar.bn

  • xy-burglar.txt

  • Bayes Net Editor

  • Bayes Net Editor User Guide

  • Grid File 1

  • Grid File 2

  • Grid File 3

  • Grid File 4

  • Control File 1

  • Control File 4

  • ActiveADP Log