Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving
Article in Theoretical Computer Science (September 2024)
The most recent citing publications are shown below. View all 61 publications that cite this research output on Dimensions.
Article in Theoretical Computer Science (September 2024)
Book chapter in Computer Science Foundations and Applied Logic (July 2024)
Conference proceeding (June 2024)