Cantor meets Scott: semantic foundations for probabilistic networks

Document Details

Document Type
Pub Defense Publication
Publication Date
Jan 01, 2017
Source ID
10.1145/3009837.3009843

Entities

People

  • Alexandra Silva
  • Dexter Kozen
  • Nate Foster
  • Praveen Kumar
  • Steffen Smolka

Organizations

  • Cornell University
  • Dutch Research Council
  • National Science Foundation
  • National Security Agency
  • Office of Naval Research
  • University College London