Now showing items 1-2 of 2

    • Aspects Of Knowledge And Belief-Based Programming 

      Petride, Sabina (2009-08-19)
      It has long been recognized that many distributed problems can be analyzed in terms of how agents act based on what they know about the system they are in. To make this intuition formal, Fagin, Halpern, Moses, and Vardi ...
    • Knowledge-Based Sythesis of Distributed Systems Using Event Structures 

      Bickford, Mark; Constable, Robert C.; Halpern, Joseph Y.; Petride, Sabina (Cornell University, 2004-02-13)
      To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification exists. This process is particularly effective if ...