Advertisements
Learning from book names the same by Ronald Faigin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi.
Duration: Two Days,
Day 1: Chapters 1 to 6 and Day 2: Chapters 7 to 11
- Introduction and Overview.
- A Model for Knowledge.
- Completeness and Complexity.
- Knowledge in Multi-Agent Systems.
- Protocols and Programs.
- Common Knowledge and Agreement.
- Knowledge-Based Programming.
- Evolving Knowledge.
- Logical Omniscience.
- Knowledge and Computation.
- Common Knowledge Revisited.
This course investigates reasoning about knowledge
Advertisements