Rule-Based Conditioning of Probabilistic Data

van Keulen, Maurice (Corresponding author); Kaminski, Benjamin Lucien; Matheja, Christoph; Katoen, Joost-Pieter

Cham : Springer International Publishing (2018)
Contribution to a book, Contribution to a conference proceedings

In: Scalable Uncertainty Management : 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings / edited by Davide Ciucci, Gabriella Pasi, Barbara Vantaggi
Page(s)/Article-Nr.: 290-305

Institutions

• UnRAVeL Research Training Group [080060]
• Department of Computer Science [120000]
• Chair of Computer Science 2 (Software Modeling and Verification) [121310]