Duligur Ibeling

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 19

Top Topics

Structural Model

Probabilistic Reasoning

Top Venues

Ann. Pure Appl. Log.

Publications

Milan Mossé, Duligur Ibeling, Thomas Icard
Is Causal Reasoning Harder than Probabilistic Reasoning? Rev. Symb. Log. 17 (1) (2024)
Duligur Ibeling, Thomas F. Icard III, Milan Mossé
On Probabilistic and Causal Reasoning with Summation Operators. CoRR (2024)
Duligur Ibeling, Thomas Icard, Krzysztof Mierzewski, Milan Mossé
Probing the quantitative-qualitative divide in probabilistic reasoning. Ann. Pure Appl. Log. 175 (9) (2024)
Duligur Ibeling, Thomas Icard
Comparing Causal Frameworks: Potential Outcomes, Structural Models, Graphs, and Abstractions. CoRR (2023)
Duligur Ibeling, Thomas Icard
Comparing Causal Frameworks: Potential Outcomes, Structural Models, Graphs, and Abstractions. NeurIPS (2023)
Duligur Ibeling, Thomas Icard, Krzysztof Mierzewski, Milan Mossé
Probing the Quantitative-Qualitative Divide in Probabilistic Reasoning. CoRR (2023)
Duligur Ibeling, Thomas Icard
A Topological Perspective on Causal Inference. CoRR (2021)
Milan Mossé, Duligur Ibeling, Thomas Icard
Is Causal Reasoning Harder than Probabilistic Reasoning? CoRR (2021)
Duligur Ibeling, Thomas Icard
A Topological Perspective on Causal Inference. NeurIPS (2021)
Duligur Ibeling, Thomas Icard
Probabilistic Reasoning Across the Causal Hierarchy. AAAI (2020)
Duligur Ibeling, Thomas Icard
Probabilistic Reasoning across the Causal Hierarchy. CoRR (2020)
Guy Katz, Derek A. Huang, Duligur Ibeling, Kyle Julian, Christopher Lazarus, Rachel Lim, Parth Shah, Shantanu Thakoor, Haoze Wu, Aleksandar Zeljic, David L. Dill, Mykel J. Kochenderfer, Clark W. Barrett
The Marabou Framework for Verification and Analysis of Deep Neural Networks. CAV (1) (2019)
Duligur Ibeling, Thomas Icard
On Open-Universe Causal Reasoning. CoRR (2019)
Duligur Ibeling, Thomas Icard
On Open-Universe Causal Reasoning. UAI (2019)
Duligur Ibeling
Causal Modeling with Probabilistic Simulation Models. PLP@ILP (2018)
Duligur Ibeling, Thomas Icard
On the Conditional Logic of Simulation Models. CoRR (2018)
Duligur Ibeling
Causal Modeling with Probabilistic Simulation Models. CoRR (2018)
Clark W. Barrett, Haniel Barbosa, Martin Brain, Duligur Ibeling, Tim King, Paul Meng, Aina Niemetz, Andres Nötzli, Mathias Preiner, Andrew Reynolds, Cesare Tinelli
CVC4 at the SMT Competition 2018. CoRR (2018)
Duligur Ibeling, Thomas Icard
On the Conditional Logic of Simulation Models. IJCAI (2018)