KR2021Proceedings of the 18th International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning

Online event. November 3-12, 2021.

Edited by

ISSN: 2334-1033
ISBN: 978-1-956792-99-7

Sponsored by
Published by

Copyright © 2021 International Joint Conferences on Artificial Intelligence Organization

Formalizing Statistical Beliefs in Hypothesis Testing Using Program Logic

  1. Yusuke Kawamoto(AIST, Japan, PRESTO, JST, Japan)
  2. Tetsuya Sato(Tokyo Institute of Technology, Japan)
  3. Kohei Suenaga(Kyoto University, Japan)

Bibtex record

@inproceedings{KR2021-39,
    title     = {{Formalizing Statistical Beliefs in Hypothesis Testing Using Program Logic}},
    author    = {Kawamoto, Yusuke and Sato, Tetsuya and Suenaga, Kohei},
    booktitle = {{Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {411--421},
    year      = {2021},
    month     = {11},
    doi       = {10.24963/kr.2021/39},
    url       = {https://doi.org/10.24963/kr.2021/39},
  }