{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T17:01:20Z","timestamp":1762102880460},"publisher-location":"California","reference-count":0,"publisher":"International Joint Conferences on Artificial Intelligence Organization","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,8]]},"abstract":"<jats:p>Real  world  decision  making  problems  often  involve  both  discrete  and  continuous  variables  and require  a  combination  of  probabilistic  and  deterministic  knowledge. Stimulated  by  recent  advances  in  automated  reasoning  technology,   hybrid  (discrete+continuous)  probabilistic  reasoning with  constraints  has  emerged  as  a  lively  and  fast growing  research  field.   In  this  paper  we  provide a  survey  of  existing  techniques  for  hybrid  probabilistic  inference  with  logic  and  algebraic  constraints.   We leverage weighted model integration as  a  unifying  formalism  and  discuss  the  different paradigms that have been used as well as the expressivity-efficiency trade-offs that have been investigated. We conclude the survey with a comparative  overview  of  existing  implementations  and  a critical discussion of open challenges and promising research directions.<\/jats:p>","DOI":"10.24963\/ijcai.2021\/617","type":"proceedings-article","created":{"date-parts":[[2021,8,11]],"date-time":"2021-08-11T11:00:49Z","timestamp":1628679649000},"page":"4533-4542","source":"Crossref","is-referenced-by-count":0,"title":["Hybrid Probabilistic Inference with Logical and Algebraic Constraints: a Survey"],"prefix":"10.24963","author":[{"given":"Paolo","family":"Morettin","sequence":"first","affiliation":[{"name":"KU Leuven"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pedro","family":"Zuidberg Dos Martires","sequence":"additional","affiliation":[{"name":"KU Leuven"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samuel","family":"Kolb","sequence":"additional","affiliation":[{"name":"KU Leuven"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Passerini","sequence":"additional","affiliation":[{"name":"University of Trento"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"10584","event":{"number":"30","sponsor":["International Joint Conferences on Artificial Intelligence Organization (IJCAI)"],"acronym":"IJCAI-2021","name":"Thirtieth International Joint Conference on Artificial Intelligence {IJCAI-21}","start":{"date-parts":[[2021,8,19]]},"theme":"Artificial Intelligence","location":"Montreal, Canada","end":{"date-parts":[[2021,8,27]]}},"container-title":["Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence"],"original-title":[],"deposited":{"date-parts":[[2021,8,11]],"date-time":"2021-08-11T11:04:20Z","timestamp":1628679860000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ijcai.org\/proceedings\/2021\/617"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2021,8]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/ijcai.2021\/617","relation":{},"subject":[],"published":{"date-parts":[[2021,8]]}}}