Paul Piho, Jane Hillston. Combining Quantitative Data with Logic-Based Specifications for Parameter Inference. In Juliana Bowles, Giovanna Broccia, Roberto Pellungrini, editors, From Data to Models and Back - 10th International Symposium, DataMod 2021, Virtual Event, December 6-7, 2021, Revised Selected Papers. Volume 13268 of Lecture Notes in Computer Science, pages 121-137, Springer, 2021. [doi]
Abstract is missing.