@inproceedings{Bareinboim20211OP,
  title={On {Pearl}'s Hierarchy and the Foundations of Causal Inference},
  author={E. Bareinboim and Juan David Correa and D. Ibeling and Thomas F. Icard},
  year={2021},
  note={Technical Report, R-60, Colombia University}
}

@article{ChoiXueDarwiche11,
  author    = {Arthur Choi and Yexiang Xue and Adnan Darwiche},
  title     = {Same-Decision Probability:
               A Confidence Measure for Threshold-Based Decisions},
  journal   = {International Journal of Approximate Reasoning (IJAR)},
  year      = {2012},
  pages     = {1415--1428},
  volume    = {53},
  number    = {9},
}

@article{ChenJAIR14,
    author = {Suming Chen and Arthur Choi and Adnan Darwiche},
    title = "Algorithms and Applications for the Same-Decision Probability",
    journal = {Journal of Artificial Intelligence Research},
    pages = "601-633",
    volume = "49",
    year = "2014"
}

@inproceedings{MontufarPCB14,
  author    = {Guido F. Mont{\'{u}}far and
               Razvan Pascanu and
               KyungHyun Cho and
               Yoshua Bengio},
  title     = {On the Number of Linear Regions of Deep Neural Networks},
  booktitle = {Advances in Neural Information Processing Systems 27 (NIPS)},
  pages     = {2924--2932},
  year      = {2014},
}

@inproceedings{Serra2018,
  title={Bounding and Counting Linear Regions of Deep Neural Networks},
  author={Thiago Serra and Christian Tjandraatmadja and Srikumar Ramalingam},
  booktitle={ICML},
  year={2018}
}

@inproceedings{Raghu2017,
  title={On the expressive power of deep neural networks},
  author={Maithra Raghu and Ben Poole and Jon M. Kleinberg and Surya Ganguli and Jascha Sohl-Dickstein},
  booktitle={ICML},
  year={2017}
}

@misc{Pascanu2014,
  title={On the number of inference regions of deep feed forward networks with piece-wise linear activations},
  author={Razvan Pascanu and Guido Mont{\'u}far and Yoshua Bengio},
  booktitle={ICLR},
  year={2014}
}

@book{RussellNorvig,
 author    = {Stuart Russell and Peter Norvig},
 title     = {Artificial intelligence: A Modern Approach},
 publisher = {Prentice Hall},
 year      = {2003},
}

@inproceedings{Darwiche00,
  author    = {Adnan Darwiche},
  title     = {A Differential Approach to Inference in Bayesian Networks},
  booktitle = {Proceedings of the 16th Conference in Uncertainty in Artificial Intelligence (UAI)},
  pages     = {123--132},
  year      = {2000},
}

@inproceedings{Jensen99,
  author    = {Finn Verner Jensen},
  title     = {Gradient Descent Training of {B}ayesian Networks},
  booktitle = {Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU)},
  pages     = {190--200},
  year      = {1999},
}

@inproceedings{CastilloGH96,
  author    = {Enrique F. Castillo and
               Jos{\'{e}} Manuel Guti{\'{e}}rrez and
               Ali S. Hadi},
  title     = {Goal Oriented Symbolic Propagation in Bayesian Networks},
  booktitle = {Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI)},
  pages     = {1263--1268},
  year      = {1996},
}

@InProceedings{dechterUAI96,
    author = "Rina Dechter",
    title = "Bucket Elimination: A unifying framework for probabilistic inference",
    booktitle = "Proceedings of the Twelfth Annual Conference on Uncertainty
               in Artificial Intelligence (UAI)",
    pages = "211-219",
    year = "1996"
}

@Article{zhangJAIR96a,
author = "Nevin Lianwen Zhang and David Poole",
title = "Exploiting Causal Independence in Bayesian Network Inference",
journal = "Journal of Artificial Intelligence Research",
volume = "5",
pages = "301-328",
year = "1996"
}

@inproceedings{KjaerulffG00,
  author    = {Uffe Kj{\ae}rulff and
               Linda C. van der Gaag},
  title     = {Making Sensitivity Analysis Computationally Efficient},
  booktitle = {Proceedings of the 16th Conference in Uncertainty in Artificial Intelligence (UAI)},
  pages     = {317--325},
  year      = {2000},
}

@inproceedings{TBNarXiv18,
author = {Arthur Choi and Ruocheng Wang and Adnan Darwiche},
title = {On the Relative Expressiveness of {B}ayesian and Neural Networks},
year      = {2018},
url       = {http://arxiv.org/abs/1812.08957},
archivePrefix = {arXiv}
}

@inproceedings{ChoiDarwiche18,
author = {Arthur Choi and Adnan Darwiche},
title = {On the Relative Expressiveness of {B}ayesian and Neural Networks},
booktitle = {Proceedings of the 9th International Conference on Probabilistic Graphical Models (PGM)},
pages = "157--168",
year = {2018}
}

InProceedings{ParkNIPS03,
    author = {James Park and Adnan Darwiche},
    title = "A Differential Semantics for Jointree Algorithms",
    booktitle = "NIPS",
    pages = "299--307",
    year = "2003"
}

@InProceedings{ParkNIPS03,
    author = {James Park and Adnan Darwiche},
    title = "A Differential Semantics for Jointree Algorithms",
    booktitle = "Advances in Neural Information Processing Systems 15 (NIPS)",
    pages = "299--307",
    year = "2003"
}

@article{mcculloch1943logical,
  title={A logical calculus of the ideas immanent in nervous activity},
  author={Warren S. McCulloch  and Walter Pitts},
  journal={The Bulletin of Mathematical Biophysics},
  volume={5},
  number={4},
  pages={115--133},
  year={1943},
}

@article{rosenblatt1958perceptron,
  title={The perceptron: a probabilistic model for information storage and organization in the brain},
  author={Frank Rosenblatt},
  journal={Psychological Review},
  volume={65},
  number={6},
  pages={386--408},
  year={1958},
}

@inproceedings{RanzatoPCL06,
  author    = {Marc'Aurelio Ranzato and Christopher S. Poultney and Sumit Chopra and Yann LeCun},
  title     = {Efficient Learning of Sparse Representations with an Energy-Based Model},
  booktitle = {Advances in Neural Information Processing Systems 19 (NIPS)},
  pages     = {1137--1144},
  year      = {2006},
}

@inproceedings{BengioLPL06,
  author    = {Yoshua Bengio and Pascal Lamblin and Dan Popovici and Hugo Larochelle},
  title     = {Greedy Layer-Wise Training of Deep Networks},
  booktitle = {Advances in Neural Information Processing Systems 19 (NIPS)},
  pages     = {153--160},
  year      = {2006},
}

@article{HintonOT06,
  author    = {Geoffrey E. Hinton and Simon Osindero and Yee Whye Teh},
  title     = {A Fast Learning Algorithm for Deep Belief Nets},
  journal   = {Neural Computation},
  volume    = {18},
  number    = {7},
  pages     = {1527--1554},
  year      = {2006},
}

@book{Goodfellow-et-al-2016,
    title={Deep Learning},
    author={Ian Goodfellow and Yoshua Bengio and Aaron Courville},
    publisher={MIT Press},
    year={2016}
}
    note={\url{http://www.deeplearningbook.org}},


@book{Pearl88b,
  author = "Judea Pearl",
  title = "Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference",
  year = "1988",
  publisher = "MK"
}

@inproceedings{McCarthy59,
author = {John McCarthy},
title = {Programs with common sense},
booktitle = {Proceedings of the Teddington Conference on the Mechanization of Thought Processes},
year = {1959},
}
note = {\url{http://www-formal.stanford.edu/jmc/mcc59.html}}

@inproceedings{KisaVCD14,
author = {Doga Kisa and Guy {Van den Broeck} and Arthur Choi and Adnan Darwiche},
title = {Probabilistic Sentential Decision Diagrams},
booktitle = {Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR)},
year = {2014}
}

inproceedings{KisaVCD14,
author = {Doga Kisa and Guy {Van den Broeck} and Arthur Choi and Adnan Darwiche},
title = {Probabilistic Sentential Decision Diagrams},
booktitle = {KR},
year = {2014}
}

@inproceedings{Poole2003,
	Author = {David Poole},
        booktitle={IJCAI},
	Pages = {985-991},
	Title = {First-order probabilistic inference.},
	Year = {2003}
}

@article{halpern1990analysis,
  title={An analysis of first-order logics of probability},
  author={Halpern, J.Y.},
  journal={Artificial Intelligence},
  volume={46},
  number={3},
  pages={311--350},
  year={1990},
  publisher={Elsevier}
}

@article{nilsson1986probabilistic,
  title={Probabilistic logic},
  author={Nilsson, N.J.},
  journal={Artificial intelligence},
  volume={28},
  number={1},
  pages={71--87},
  year={1986},
  publisher={Elsevier}
}

@inproceedings{LapedesF87,
  author    = {Alan S. Lapedes and
               Robert M. Farber},
  title     = {How Neural Nets Work},
  booktitle = {Neural Information Processing Systems (NIPS)},
  pages     = {442--456},
  year      = {1987},
}

inproceedings{LapedesF87,
  author    = {Alan S. Lapedes and
               Robert M. Farber},
  title     = {How Neural Nets Work},
  booktitle = {NIPS},
  pages     = {442--456},
  year      = {1987},
}

@article{Vomlel06,
  author    = {Jir{\'{\i}} Vomlel},
  title     = {Noisy-or classifier},
  journal   = {Int. J. Intell. Syst.},
  volume    = {21},
  number    = {3},
  pages     = {381--398},
  year      = {2006},
}

@article{Jones90,
  author={Lee K. Jones}, 
  title={Constructive approximations for neural networks by sigmoidal functions},
  journal={Proceedings of the IEEE}, 
  year={1990}, 
  volume={78}, 
  number={10}, 
  pages={1586-1589}, 
}


@article{Darwiche18,
author = {Adnan Darwiche},
title = {Human-Level Intelligence or Animal-Like Abilities?},
journal = {Communications of the {ACM}},
year = {2018},
url = {http://arxiv.org/abs/1707.04327},
note = {To appear}
}

@inproceedings{ShihChoiDarwiche18,
  author = {Andy Shih and Arthur Choi and Adnan Darwiche},
  title={A Symbolic Approach to Explaining {B}ayesian Network Classifiers},
  booktitle = {Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI)},
  year={2018},
  note = {To appear}
}

article{HornikSW89,
  author    = {Kurt Hornik and Maxwell B. Stinchcombe and Halbert White},
  title     = {Multilayer feedforward networks are universal approximators},
  journal   = {Neural Networks},
  volume    = {2},
  number    = {5},
  pages     = {359--366},
  year      = {1989},
}

article{Cybenko89,
  author    = {George Cybenko},
  title     = {Approximation by superpositions of a sigmoidal function},
  journal   = {Mathematics of Control, Signals, and Systems},
  volume    = {2},
  number    = {4},
  pages     = {303--314},
  year      = {1989},
}

article{Hornik91,
  author    = {Kurt Hornik},
  title     = {Approximation capabilities of multilayer feedforward networks},
  journal   = {Neural Networks},
  volume    = {4},
  number    = {2},
  pages     = {251--257},
  year      = {1991},
}

inproceedings{NarodytskaKRSW18,
  author    = {Nina Narodytska and Shiva Prasad Kasiviswanathan and Leonid Ryzhyk and Mooly Sagiv and Toby Walsh},
  title     = {Verifying Properties of Binarized Deep Neural Networks},
  booktitle = {Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence (AAAI)},
  year      = {2018},
}

inproceedings{HubaraCSEB16,
  author    = {Itay Hubara and
               Matthieu Courbariaux and
               Daniel Soudry and
               Ran El{-}Yaniv and
               Yoshua Bengio},
  title     = {Binarized Neural Networks},
  booktitle = {Advances in Neural Information Processing Systems 29 (NIPS)},
  pages     = {4107--4115},
  year      = {2016},
}

@inproceedings{RastegariORF16,
  author    = {Mohammad Rastegari and
               Vicente Ordonez and
               Joseph Redmon and
               Ali Farhadi},
  title     = {{XNOR-Net}: ImageNet Classification Using Binary Convolutional Neural Networks},
  booktitle = {ECCV},
  pages     = {525--542},
  year      = {2016},
}

@inproceedings{McDanelTK17,
  author    = {Bradley McDanel and
               Surat Teerapittayanon and
               H. T. Kung},
  title     = {Embedded Binarized Neural Networks},
  booktitle = {Proceedings of the 2017 International Conference on Embedded Wireless
               Systems and Networks (EWSN)},
  pages     = {168--173},
  year      = {2017},
}

@article{Kung2017,
author="Kung, Jaeha and Zhang, David and van der Wal, Gooitzen and Chai, Sek and Mukhopadhyay, Saibal",
title="Efficient Object Detection Using Embedded Binarized Neural Networks",
journal="Journal of Signal Processing Systems",
year="2017",
month="Jun",
day="08",
}

@book{parberry1994circuit,
  title={Circuit complexity and neural networks},
  author={Parberry, Ian},
  year={1994},
  publisher={MIT press}
}

article{LeshnoLPS93,
  author    = {Moshe Leshno and Vladimir Ya. Lin and Allan Pinkus and Shimon Schocken},
  title     = {Multilayer feedforward networks with a nonpolynomial activation function can approximate any function},
  journal   = {Neural Networks},
  volume    = {6},
  number    = {6},
  pages     = {861--867},
  year      = {1993},
}


@inproceedings{ChoiDarwiche17,
author = {Arthur Choi and Adnan Darwiche},
title = {On Relaxing Determinism in Arithmetic Circuits},
booktitle = {Proceedings of the Thirty-Fourth International Conference on Machine Learning (ICML)},
year = {2017},
pages = {825-833},
}

inproceedings{darwicheKR02,
    author = "Adnan Darwiche",
    title = "A Logical Approach to Factoring Belief Networks",
    booktitle = "Proceedings of KR",
    pages = "409--420",
    year = "2002"
}

article{Darwiche03,
  author    = {Adnan Darwiche},
  title     = {A differential approach to inference in {B}ayesian networks},
  journal   = {J. {ACM}},
  volume    = {50},
  number    = {3},
  pages     = {280--305},
  year      = {2003},
}

@Article{darwicheJAIR02,
author = "Adnan Darwiche and Pierre Marquis",
title = "A knowledge compilation map",
journal = "JAIR",
volume = "17",
pages = "229--264",
year = "2002"
}
