[Eecs_phd] New Course offered in the Spring as a CS Technical Elective-Foundations of Artificial Intelligence-CS 4900/5900 113

[Hunter, Tiffany]

The course emphasizes the importance of fundamental concepts in AI, and the formal mathematical theory underlying AI techniques.  Topics include:

      *    Definitions of AI
      *    Search
      *    Heuristic (Intelligent) Search
      *    Game Playing (adversarial search)
      *    Knowledge and Reasoning
      *    Theorem Proving Systems
      *    Logical Reasoning Systems
      *    Planning
      *    Advanced Topics (varies each offering)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.ohio.edu/pipermail/eecs_phd/attachments/20210112/6324b016/attachment.html>