On the Conditional Logic of Simulation Models. - Duligur Ibeling; Thomas Icard (IJCAI, 2018)

Causal Modeling with Probabilistic Simulation Models. - Duligur Ibeling (PLP@ILP, 2018)

CVC4 at the SMT Competition 2018. - Clark W. Barrett; Haniel Barbosa; Martin Brain; Duligur Ibeling; Tim King 001; Paul Meng; Aina Niemetz; Andres Nötzli; Mathias Preiner; Andrew Reynolds 001; Cesare Tinelli (CoRR, 2018)

The Marabou Framework for Verification and Analysis of Deep Neural Networks. - Guy Katz; Derek A. Huang; Duligur Ibeling; Kyle Julian; Christopher Lazarus; Rachel Lim; Parth Shah 003; Shantanu Thakoor; Haoze Wu 001; Aleksandar Zeljic; David L. Dill; Mykel J. Kochenderfer; et al. (CAV (1), 2019)

On Open-Universe Causal Reasoning. - Duligur Ibeling; Thomas Icard (UAI, 2019)

Probabilistic Reasoning Across the Causal Hierarchy. - Duligur Ibeling; Thomas Icard (AAAI, 2020)

A Topological Perspective on Causal Inference. - Duligur Ibeling; Thomas Icard (NeurIPS, 2021)

On Pearl's Hierarchy and the Foundations of Causal Inference. - Elias Bareinboim; Juan D. Correa; Duligur Ibeling; Thomas Icard (Probabilistic and Causal Inference, 2022)

Comparing Causal Frameworks: Potential Outcomes, Structural Models, Graphs, and Abstractions. - Duligur Ibeling; Thomas Icard (NeurIPS, 2023)

Probing the quantitative-qualitative divide in probabilistic reasoning. - Duligur Ibeling; Thomas Icard; Krzysztof Mierzewski; Milan Mossé (Ann. Pure Appl. Log., 2024)

On Probabilistic and Causal Reasoning with Summation Operators. - Duligur Ibeling; Thomas F. Icard III; Milan Mossé (CoRR, 2024)

Is Causal Reasoning Harder than Probabilistic Reasoning? - Milan Mossé; Duligur Ibeling; Thomas Icard (Rev. Symb. Log., 2024)