Artificial Intelligence Programs and Laboratory Experiments in Prolog

Zdravko Markov
Professor of Computer Science, Central Connecticut State University

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