Decidability and Expressiveness for First-order Logics of Probability

Abstract

This work may not be copied or reproduced in whole or in part for any commercial purpose. Permission to copy in whole or in part without payment of fee is granted for nonproot educational and research purposes provided that all such whole or partial copies include the following: a notice that such copying is by permission of the Systems Research Center of… (More)

1 Figure or Table

Topics

  • Presentations referencing similar topics