Semantics for Hybrid Programs with Function Symbols
Fabrizio Riguzzi · River Publishers eBooks · 2023
In this chapter we prove that the semantics of PCLP given in Section 4.5 is well-defined also when function symbols are present, i.e., that each query can be assigned a probability. In other words, we prove that the solution event SE ( q ) is measurable for every query q . These results were presented in [Azzolini et al., 2021].