Artificial Intelligence Programs and Laboratory Experiments in Prolog

Zdravko Markov
Professor of Computer Science, Central Connecticut State University
http://www.cs.ccsu.edu/~markov/


Required software


  1. Problem Solving by Search
  2. Heuristic (Informed) Search
  3. Constraint Satisfaction
  4. Games
  5. Knowledge-Based Agents - Propositional and First-Order Logic
  6. Inference in First-Order Logic, Logic Programming and Prolog
  7. Knowledge Representation
  8. Planning
  9. Uncertainty and Probabilistic Reasoning
  10. Natural Language Processing