Duligur Ibeling

According to our database, Duligur Ibeling authored at least 12 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Is Causal Reasoning Harder than Probabilistic Reasoning?

Milan Mossé, Duligur Ibeling, Thomas Icard

Rev. Symb. Log., 2024

On Probabilistic and Causal Reasoning with Summation Operators.

Duligur Ibeling, Thomas F. Icard III, Milan Mossé

CoRR, 2024

Probing the quantitative-qualitative divide in probabilistic reasoning.

Duligur Ibeling, Thomas Icard, Krzysztof Mierzewski, Milan Mossé

Ann. Pure Appl. Log., 2024

2023

Comparing Causal Frameworks: Potential Outcomes, Structural Models, Graphs, and Abstractions.

Duligur Ibeling, Thomas Icard

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

2022

On Pearl's Hierarchy and the Foundations of Causal Inference.

Elias Bareinboim, Juan D. Correa, Duligur Ibeling, Thomas Icard

Proceedings of the Probabilistic and Causal Inference: The Works of Judea Pearl, 2022

2021

A Topological Perspective on Causal Inference.

Duligur Ibeling, Thomas Icard

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

2020

Probabilistic Reasoning Across the Causal Hierarchy.

Duligur Ibeling, Thomas Icard

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

On Open-Universe Causal Reasoning.

Duligur Ibeling, Thomas Icard

Proceedings of the Thirty-Fifth Conference on Uncertainty in Artificial Intelligence, 2019

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, Shantanu Thakoor, Haoze Wu, Aleksandar Zeljic, David L. Dill, Mykel J. Kochenderfer, Clark W. Barrett

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

CVC4 at the SMT Competition 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

CoRR, 2018

Causal Modeling with Probabilistic Simulation Models.

Duligur Ibeling

Proceedings of the 5th International Workshop on Probabilistic Logic Programming, 2018

On the Conditional Logic of Simulation Models.

Duligur Ibeling, Thomas Icard

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018