Chapter 13: Logics of Knowledge and Belief Slides Slides by Iyad Rahwan, covering Sections 13.1 13.4 can be found here: lecture reasoning about knowledge...
Why Ada.pdf BruceBarkstrom 18 Apr 2009 This portion of the material contains four major parts:1. Documentation in the form of two pdf files for an Ada implementation...