CS 6764

Last Updated

  • Schedule of Classes - June 10, 2022 7:44AM EDT
  • Course Catalog - June 9, 2022 7:14PM EDT

CS 6764
Reasoning about Knowledge

Course information provided by the Courses of Study 2021-2022.

Knowledge plays a crucial role in distributed systems, game theory, and artificial intelligence. Material examines formalizing reasoning about knowledge and the extent to which knowledge is applicable to those areas. Issues include common knowledge, knowledge-based programs, applying knowledge to analyzing distributed systems, attainable states of knowledge, modeling resource-bounded reasoning, and connections to game theory.

When Offered Spring.

Comments Mathematical maturity and acquaintance with propositional logic.

View Enrollment Information

Syllabi: none

  •   Regular Academic Session. 

  • 4 Credits Stdnt Opt

  • 18194 CS 6764   LEC 001

  •  
    • TR Online Meeting
    • Jan 24 - May 10, 2022

    • Halpern, J

  • Instruction Mode: Distance Learning-Synchronous
    Restricted to graduate students only. All others must add themselves to the waitlist during add/drop.