{"type":"ScholarlyArticle","title":"Probabilistic Inference in Hybrid Domains","authors":[{"name":"Paolo Morettin","slug":"paolo-morettin","given":"Paolo","family":"Morettin","affiliation":"Structured Machine Learning Group , University of Trento , Italy"}],"abstract":"This extended abstract presents my PhD research project on learning and reasoning in Hybrid Domains. In particular, it focuses on my current work on exact probabilistic inference in these domains, as well as presenting other research directions that are going to be explored.","doi":"10.24963/ijcai.2017/756","url":"https://ijcai.org/proceedings/2017/756","pdf":"https://ijcai.org/proceedings/2017/0756.pdf","markdown":"https://ijcai.org/proceedings/2017/756.md","bibtex":"https://ijcai.org/proceedings/2017/bibtex/756","volume":{"slug":"2017","title":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2017","url":"https://ijcai.org/proceedings/2017/","year":2017,"location":"Melbourne, Australia","dates":"19-25 August 2017","editors":"Carles Sierra","isbn":"978-0-9992411-0-3","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2017"},"section":"Doctoral Consortium","track":"Doctoral Consortium","number":756,"pages":{"first":5193,"last":5194},"keywords":["Artificial Intelligence: artificial intelligence","Artificial Intelligence: machine learning"],"videos":[],"references":[{"position":1,"raw":"[Bacchus et al., 2009] F. Bacchus, S. Dalmao, and T. Pitassi. Solving #SAT and Bayesian inference with backtrack- ing search. Journal of Artificial Intelligence Research, 34(1):391-442, 2009.","title":"Solving #SAT and Bayesian inference with backtracking search","authors":"F Bacchus, S Dalmao, T Pitassi","year":"2009","venue":"Journal of Artificial Intelligence Research","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Barrett et al., 2009] Clark W Barrett, Roberto Sebastiani, Sanjit A Seshia, and Cesare Tinelli. Satisfiability modulo theories. Handbook of satisfiability, 185:825-885, 2009.","title":"Satisfiability modulo theories","authors":"Clark W Barrett, Roberto Sebastiani, Sanjit A Seshia, Cesare Tinelli","year":"2009","venue":"Handbook of satisfiability","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Belle et al., 2015a] V. Belle, A. Passerini, and G. Van den Broeck. Probabilistic inference in hybrid domains by weighted model integration. In Proc. IJCAI, 2015.","title":"Probabilistic inference in hybrid domains by weighted model integration","authors":"Belle","year":"2015","venue":"Proc. IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2015/392"},{"position":4,"raw":"[Belle et al., 2015b] Vaishak Belle, Guy Van den Broeck, and Andrea Passerini. Hashing-based approximate proba- bilistic inference in hybrid domains. In UAI, pages 141- 150, 2015.","title":"Hashing-based approximate probabilistic inference in hybrid domains","authors":"Belle","year":"2015","venue":"UAI","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Chavira and Darwiche, 2008] Mark Chavira and Adnan Darwiche. On probabilistic inference by weighted model counting. Artificial Intelligence, 172(6-7):772-799, April 2008.","title":"On probabilistic inference by weighted model counting","authors":"Darwiche Chavira, Mark Chavira, Adnan Darwiche","year":"2008","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Choi et al., 2013] Arthur Choi, Doga Kisa, and Adnan Dar- wiche. Compiling probabilistic graphical models using sentential decision diagrams. In Symbolic and Quanti- tative Approaches to Reasoning with Uncertainty, pages 121-132. Springer, 2013.","title":"Compiling probabilistic graphical models using sentential decision diagrams","authors":"Choi","year":"2013","venue":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[de Salvo Braz et al., 2016] R. de Salvo Braz, C. O'Reilly, V. Gogate, and R. Dechter. Probabilistic Inference Mod- ulo Theories. In Proceedings of the Twenty-Fifth Inter- national Joint Conference on Artificial Intelligence, New York, USA, 2016.","title":"Probabilistic Inference Modulo Theories","authors":"R De Salvo, C Braz, V O'reilly, R Gogate, Dechter","year":"2016","venue":"Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":"/proceedings/2016/506"},{"position":8,"raw":"[Fierens et al., 2013] Daan Fierens, Guy Van den Broeck, Joris Renkens, Dimitar Shterionov, Bernd Gutmann, Ingo Thon, Gerda Janssens, and Luc De Raedt. Inference and learning in probabilistic logic programs using weighted Boolean formulas. Theory and Practice of Logic Program- ming, 2013.","title":"Inference and learning in probabilistic logic programs using weighted Boolean formulas","authors":"Daan Fierens, Guy Van Den, Joris Broeck, Dimitar Renkens, Bernd Shterionov, Ingo Gutmann, Gerda Thon, Luc Janssens, Raedt De","year":"2013","venue":"Theory and Practice of Logic Programming","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Graf and Saïdi, 1997] Susanne Graf and Hassen Saïdi. Con- struction of abstract state graphs with pvs. In Proceedings of the 9th International Conference on Computer Aided Verification, CAV '97, pages 72-83, London, UK, UK, 1997. Springer-Verlag.","title":"Construction of abstract state graphs with pvs","authors":"Susanne Graf, Hassen Saïdi","year":"1997","venue":"Proceedings of the 9th International Conference on Computer Aided Verification, CAV '97","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Sang et al., 2004] Tian Sang, Fahiem Bacchus, Paul Beame, Henry A. Kautz, and Toniann Pitassi. Combining com- ponent caching and clause learning for effective model counting. In SAT, 2004.","title":"Combining component caching and clause learning for effective model counting","authors":"Tian Sang, Fahiem Bacchus, Paul Beame, Henry A Kautz, Toniann Pitassi","year":"2004","venue":"SAT","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Suciu et al., 2011] Dan Suciu, Dan Olteanu, Christopher Ré, and Christoph Koch. Probabilistic databases. Syn- thesis Lectures on Data Management, 3(2):1-180, 2011.","title":"Probabilistic databases","authors":"Dan Suciu, Dan Olteanu, Christopher Ré, Christoph Koch","year":"2011","venue":"Synthesis Lectures on Data Management","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}