Decidability and Expressiveness for First-order Logics of Probability


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


  • Presentations referencing similar topics