Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Duligur Ibeling"'
Publikováno v:
Probabilistic and Causal Inference ISBN: 9781450395861
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3950054a1f7ba9ae18324126ac43896d
https://doi.org/10.1145/3501714.3501743
https://doi.org/10.1145/3501714.3501743
Autor:
Thomas Icard, Duligur Ibeling
Publikováno v:
AAAI
We propose a formalization of the three-tier causal hierarchy of association, intervention, and counterfactuals as a series of probabilistic logical languages. Our languages are of strictly increasing expressivity, the first capable of expressing qua
Many tasks in statistical and causal inference can be construed as problems of entailment in a suitable formal language. We ask whether those problems are more difficult, from a computational perspective, for causal probabilistic languages than for p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f4d303cd9f7464f8f253f9f4fa0bc45a
http://arxiv.org/abs/2111.13936
http://arxiv.org/abs/2111.13936
Autor:
Kyle D. Julian, Rachel Lim, Derek A. Huang, Parth Shah, David L. Dill, Christopher Lazarus, Guy Katz, Duligur Ibeling, Aleksandar Zeljić, Clark Barrett, Mykel J. Kochenderfer, Haoze Wu, Shantanu Thakoor
Publikováno v:
Computer Aided Verification ISBN: 9783030255398
CAV (1)
CAV (1)
Deep neural networks are revolutionizing the way complex systems are designed. Consequently, there is a pressing need for tools and techniques for network analysis and certification. To help in addressing that need, we present Marabou, a framework fo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::076ccbc97648630d1359ed26831dea53
https://doi.org/10.1007/978-3-030-25540-4_26
https://doi.org/10.1007/978-3-030-25540-4_26
Autor:
Duligur Ibeling, Thomas Icard
Publikováno v:
IJCAI
We propose analyzing conditional reasoning by appeal to a notion of intervention on a simulation program, formalizing and subsuming a number of approaches to conditional thinking in the recent AI literature. Our main results include a series of axiom
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e7694b8b2146ce89ce53c6c4f812fd1b
Autor:
Toshihiko Kawano, Gerard Jungman, R.W. Mills, G. T. Garvey, Anna Hayes, Duligur Ibeling, James Lewis Friar
We analyze within a nuclear database framework the shoulder observed in the antineutrino spectra in current reactor experiments. We find that the ENDF/B-VII.1 database predicts that the antineutrino shoulder arises from an analogous shoulder in the a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dbf0d632ae1c04eb7d3dbbfc702bdc30
http://arxiv.org/abs/1506.00583
http://arxiv.org/abs/1506.00583
Autor:
Duligur Ibeling, Alexander Heger
Understanding the progenitors of core collapse supernovae and their population statistics is a key ingredient for many current studies in astronomy but as yet this remains elusive. Using the MESA stellar evolution code we study the dependence of the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::09752f48b3cb2f0b293bdc6eb91b8474
http://arxiv.org/abs/1301.5783
http://arxiv.org/abs/1301.5783