Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Learning and Reasoning in Hybrid Structured Spaces. Frontiers in Artificial Intelligence and Applications IOS Press, (2022)Semantic Loss Functions for Neuro-Symbolic Structured Prediction., , , , , , , , , and 1 other author(s). Compendium of Neurosymbolic Artificial Intelligence, volume 369 of Frontiers in Artificial Intelligence and Applications, IOS Press, (2023)Probabilistic Inference in Hybrid Domains.. IJCAI, page 5193-5194. ijcai.org, (2017)Top-Down Knowledge Compilation for Counting Modulo Theories., , , and . CoRR, (2023)Enhancing SMT-based Weighted Model Integration by structure awareness., , , , and . Artif. Intell., (March 2024)Probabilistic Inference with Algebraic Constraints: Theoretical Limits and Practical Approximations., , , , and . NeurIPS, (2020)A Unified Framework for Probabilistic Verification of AI Systems via Weighted Model Integration., , and . CoRR, (2024)Learning Weighted Model Integration Distributions., , , and . AAAI, page 5224-5231. AAAI Press, (2020)Hybrid Probabilistic Inference with Logical and Algebraic Constraints: a Survey., , , and . IJCAI, page 4533-4542. ijcai.org, (2021)Efficient Weighted Model Integration via SMT-Based Predicate Abstraction., , and . IJCAI, page 720-728. ijcai.org, (2017)