@inproceedings{ijcai/Qin15,
  author    = {Biao Qin},
  title     = {Differential Semantics of Intervention in {B}ayesian Networks},
  booktitle = {{IJCAI}},
  pages     = {710--716},
  publisher = {{AAAI} Press},
  year      = {2015}
}

@inproceedings{causalityAC,
  title={Causal Inference with Tractable Circuits},
  author={Adnan Darwiche},
  booktitle={Why-21 Workshop, NeurIPS},
  year={2021},
  note = {https://arxiv.org/abs/2202.02891}
}


@article{jair/Halpern00,
  author    = {Joseph Y. Halpern},
  title     = {Axiomatizing Causal Reasoning},
  journal   = {J. Artif. Intell. Res.},
  volume    = {12},
  pages     = {317--337},
  year      = {2000}
}


@inproceedings{aaai/HuangV06,
  author    = {Yimin Huang and
               Marco Valtorta},
  title     = {Identifiability in Causal Bayesian Networks: {A} Sound and Complete
               Algorithm},
  booktitle = {{AAAI}},
  pages     = {1149--1154},
  publisher = {{AAAI} Press},
  year      = {2006}
}


@inproceedings{ijcai/WangLK21,
  author    = {Benjie Wang and
               Clare Lyle and
               Marta Kwiatkowska},
  title     = {Provable Guarantees on the Robustness of Decision Rules to Causal
               Interventions},
  booktitle = {{IJCAI}},
  pages     = {4258--4265},
  publisher = {ijcai.org},
  year      = {2021}
}

@incollection{neusys22,
  author      = "Adnan Darwiche",
  title       = "Tractable {B}oolean and Arithmetic Circuits",
  editor      = "Pascal Hitzler and Md Kamruzzaman Sarker",
  booktitle   = "Neuro-symbolic Artificial Intelligence: The State of the Art",
  publisher   = "Frontiers in Artificial Intelligence and Applications. IOS Press",
  year        =  "2022",
  note = "In print",
  chapter     = 6,
}

@inproceedings{uai/LeeCB19,
  author    = {Sanghack Lee and
               Juan D. Correa and
               Elias Bareinboim},
  title     = {General Identifiability with Arbitrary Surrogate Experiments},
  booktitle = {{UAI}},
  series    = {Proceedings of Machine Learning Research},
  volume    = {115},
  pages     = {389--398},
  publisher = {{AUAI} Press},
  year      = {2019}
}

@article{pnas/BareinboimP16,
  author    = {Elias Bareinboim and
               Judea Pearl},
  title     = {Causal inference and the data-fusion problem},
  journal   = {Proc. Natl. Acad. Sci. {USA}},
  volume    = {113},
  number    = {27},
  pages     = {7345--7352},
  year      = {2016}
}

@book{daglib/0016622,
  author    = {Rina Dechter},
  title     = {Constraint processing},
  publisher = {Elsevier Morgan Kaufmann},
  year      = {2003}
}


@inproceedings{aaai/TianP02,
  author    = {Jin Tian and
               Judea Pearl},
  title     = {A General Identification Condition for Causal Effects},
  booktitle = {{AAAI/IAAI}},
  pages     = {567--573},
  publisher = {{AAAI} Press / The {MIT} Press},
  year      = {2002}
}

@inproceedings{wg/Bodlaender06,
  author    = {Hans L. Bodlaender},
  title     = {Treewidth: Characterizations, Applications, and Computations},
  booktitle = {{WG}},
  series    = {Lecture Notes in Computer Science},
  volume    = {4271},
  pages     = {1--14},
  publisher = {Springer},
  year      = {2006}
}

@article{tcs/BodlaenderF05,
  author    = {Hans L. Bodlaender and
               Fedor V. Fomin},
  title     = {Equitable colorings of bounded treewidth graphs},
  journal   = {Theor. Comput. Sci.},
  volume    = {349},
  number    = {1},
  pages     = {22--30},
  year      = {2005}
}

@article{jal/RobertsonS86,
  author    = {Neil Robertson and
               Paul D. Seymour},
  title     = {Graph Minors. {II.} Algorithmic Aspects of Tree-Width},
  journal   = {J. Algorithms},
  volume    = {7},
  number    = {3},
  pages     = {309--322},
  year      = {1986}
}


@inproceedings{ijcai/LagniezM17,
  author    = {Jean{-}Marie Lagniez and
               Pierre Marquis},
  editor    = {Carles Sierra},
  title     = {An Improved Decision-DNNF Compiler},
  booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
               19-25, 2017},
  pages     = {667--673},
  publisher = {ijcai.org},
  year      = {2017},
  url       = {https://doi.org/10.24963/ijcai.2017/93},
  doi       = {10.24963/ijcai.2017/93},
  timestamp = {Tue, 20 Aug 2019 16:17:27 +0200},
  biburl    = {https://dblp.org/rec/conf/ijcai/LagniezM17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{uai/BoutilierFGK96,
  author    = {Craig Boutilier and
               Nir Friedman and
               Mois{\'{e}}s Goldszmidt and
               Daphne Koller},
  title     = {Context-Specific Independence in Bayesian Networks},
  booktitle = {{UAI}},
  pages     = {115--123},
  publisher = {Morgan Kaufmann},
  year      = {1996}
}

@article{DBLP:journals/corr/abs-1302-3562,
  author    = {Craig Boutilier and
               Nir Friedman and
               Mois{\'{e}}s Goldszmidt and
               Daphne Koller},
  title     = {Context-Specific Independence in {B}ayesian Networks},
  journal   = {CoRR},
  volume    = {abs/1302.3562},
  year      = {2013}
}

@inproceedings{uai/DilkasB21,
  author    = {Paulius Dilkas and Vaishak Belle},
  title     = {Weighted Model Counting with Conditional Weights for {B}ayesian Networks},
  booktitle = {{UAI}},
  year      = {2021}
}

@inproceedings{ijcai/AgrawalPM21,
  author    = {Durgesh Agrawal and
               Yash Pote and
               Kuldeep S. Meel},
  title     = {Partition Function Estimation: {A} Quantitative Study},
  booktitle = {{IJCAI}},
  pages     = {4276--4285},
  publisher = {ijcai.org},
  year      = {2021}
}

@unpublished{lagniez:hal-02963599,
  TITLE = {{Enhanced Caching for \#SAT Solving}},
  AUTHOR = {Lagniez, Jean-Marie and Marquis, Pierre},
  URL = {https://hal.archives-ouvertes.fr/hal-02963599},
  NOTE = {working paper or preprint},
  YEAR = {2020},
  MONTH = Oct,
  KEYWORDS = {Model counting ; \#SAT ; caching},
  PDF = {https://hal.archives-ouvertes.fr/hal-02963599/file/caching-arxiv.pdf},
  HAL_ID = {hal-02963599},
  HAL_VERSION = {v1},
}

@inproceedings{aaai/KoppSK16,
  author    = {Timothy Kopp and
               Parag Singla and
               Henry A. Kautz},
  editor    = {Adnan Darwiche},
  title     = {Toward Caching Symmetrical Subtheories for Weighted Model Counting},
  booktitle = {Beyond NP, Papers from the 2016 {AAAI} Workshop, Phoenix, Arizona,
               USA, February 12, 2016},
  series    = {{AAAI} Workshops},
  volume    = {{WS-16-05}},
  publisher = {{AAAI} Press},
  year      = {2016},
  url       = {http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12684},
  timestamp = {Wed, 05 Apr 2017 12:53:50 +0200},
  biburl    = {https://dblp.org/rec/conf/aaai/KoppSK16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{sat/SangBBKP04,
  author    = {Tian Sang and
               Fahiem Bacchus and
               Paul Beame and
               Henry A. Kautz and
               Toniann Pitassi},
  title     = {Combining Component Caching and Clause Learning for Effective Model
               Counting},
  booktitle = {{SAT} 2004 - The Seventh International Conference on Theory and Applications
               of Satisfiability Testing, 10-13 May 2004, Vancouver, BC, Canada,
               Online Proceedings},
  year      = {2004},
  url       = {http://www.satisfiability.org/SAT04/programme/21.pdf},
  timestamp = {Thu, 12 Mar 2020 11:37:14 +0100},
  biburl    = {https://dblp.org/rec/conf/sat/SangBBKP04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@misc{choi2020hls,
      title={When HLS Meets FPGA HBM: Benchmarking and Bandwidth Optimization}, 
      author={Young-kyu Choi and Yuze Chi and Jie Wang and Licheng Guo and Jason Cong},
      year={2020},
      eprint={2010.06075},
      archivePrefix={arXiv},
      primaryClass={cs.AR}
}

@misc{chi2020extending,
      title={Extending High-Level Synthesis for Task-Parallel Programs}, 
      author={Yuze Chi and Licheng Guo and Young-kyu Choi and Jie Wang and Jason Cong},
      year={2020},
      eprint={2009.11389},
      archivePrefix={arXiv},
      primaryClass={cs.AR}
}

@misc{AI_EDU, 
place={Peking}, 
title="On {AI} Education", 
journal={ Tsinghua University}, 
publisher={China}, 
author={Adnan Darwiche}, 
note={Global Forum on the Discipline of Computer Science. Tsinghua University, China, September, 2018. URL: https://www.youtube.com/watch?v=bzaMyYqJ030}
}



@inproceedings{MattingerDarwicheChoi18,
  author    = {Ingrid Mattinger and Adnan Darwiche and Arthur Choi},
  title     = {Integrating Grammars with Logic},
  booktitle = {13th Women in Machine Learning Workshop (WIML)},
  year      = {2018},
}

@article{backdoor,
 ISSN = {08834237},
 URL = {http://www.jstor.org/stable/2245965},
 author = {Judea Pearl},
 journal = {Statistical Science},
 number = {3},
 pages = {266--269},
 publisher = {Institute of Mathematical Statistics},
 title = {[Bayesian Analysis in Expert Systems]: Comment: Graphical Models, Causality and Intervention},
 volume = {8},
 year = {1993}
}


@inproceedings{uai/PearlR95,
  author    = {Judea Pearl and
               James M. Robins},
  editor    = {Philippe Besnard and
               Steve Hanks},
  title     = {Probabilistic evaluation of sequential plans from causal models with
               hidden variables},
  booktitle = {{UAI} '95: Proceedings of the Eleventh Annual Conference on Uncertainty
               in Artificial Intelligence, Montreal, Quebec, Canada, August 18-20,
               1995},
  pages     = {444--453},
  publisher = {Morgan Kaufmann},
  year      = {1995},
  url       = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&smnu=2\&article\_id=463\&proceeding\_id=11},
  timestamp = {Wed, 06 May 2015 15:02:56 +0200},
  biburl    = {https://dblp.org/rec/conf/uai/PearlR95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{aaai/Darwiche02,
  author    = {Adnan Darwiche},
  editor    = {Rina Dechter and
               Michael J. Kearns and
               Richard S. Sutton},
  title     = {A Compiler for Deterministic, Decomposable Negation Normal Form},
  booktitle = {Proceedings of the Eighteenth National Conference on Artificial Intelligence
               and Fourteenth Conference on Innovative Applications of Artificial
               Intelligence, July 28 - August 1, 2002, Edmonton, Alberta, Canada},
  pages     = {627--634},
  publisher = {{AAAI} Press / The {MIT} Press},
  year      = {2002},
  url       = {http://www.aaai.org/Library/AAAI/2002/aaai02-094.php},
  timestamp = {Mon, 26 Feb 2018 07:08:45 +0100},
  biburl    = {https://dblp.org/rec/conf/aaai/Darwiche02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{aaai/ChoiD13,
  author    = {Arthur Choi and
               Adnan Darwiche},
  editor    = {Marie desJardins and
               Michael L. Littman},
  title     = {Dynamic Minimization of Sentential Decision Diagrams},
  booktitle = {Proceedings of the Twenty-Seventh {AAAI} Conference on Artificial
               Intelligence, July 14-18, 2013, Bellevue, Washington, {USA}},
  publisher = {{AAAI} Press},
  year      = {2013},
  url       = {http://www.aaai.org/ocs/index.php/AAAI/AAAI13/paper/view/6470},
  timestamp = {Tue, 17 Dec 2013 19:26:12 +0100},
  biburl    = {https://dblp.org/rec/conf/aaai/ChoiD13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{ecai/Darwiche04,
  author    = {Adnan Darwiche},
  editor    = {Ram{\'{o}}n L{\'{o}}pez de M{\'{a}}ntaras and
               Lorenza Saitta},
  title     = {New Advances in Compiling {CNF} into Decomposable Negation Normal
               Form},
  booktitle = {Proceedings of the 16th Eureopean Conference on Artificial Intelligence,
               ECAI'2004, including Prestigious Applicants of Intelligent Systems,
               {PAIS} 2004, Valencia, Spain, August 22-27, 2004},
  pages     = {328--332},
  publisher = {{IOS} Press},
  year      = {2004},
  timestamp = {Fri, 11 May 2018 12:42:30 +0200},
  biburl    = {https://dblp.org/rec/conf/ecai/Darwiche04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@book{kollerbook,
  author    = {Daphne Koller and
               Nir Friedman},
  title     = {Probabilistic Graphical Models - Principles and Techniques},
  publisher = {{MIT} Press},
  year      = {2009},
  url       = {http://mitpress.mit.edu/catalog/item/default.asp?ttype=2\&tid=11886},
  isbn      = {978-0-262-01319-2},
  timestamp = {Wed, 09 Feb 2011 09:34:30 +0100},
  biburl    = {https://dblp.org/rec/books/daglib/0023091.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@misc{colnet2020causal,
      title={Causal inference methods for combining randomized trials and observational studies: a review}, 
      author={Bénédicte Colnet and Imke Mayer and Guanhua Chen and Awa Dieng and Ruohong Li and Gaël Varoquaux and Jean-Philippe Vert and Julie Josse and Shu Yang},
      year={2020},
      eprint={2011.08047},
      archivePrefix={arXiv},
      primaryClass={stat.ME}
}

@book{PetersBook,
author = {Jonas Peters and Dominik Janzing and Bernhard Schölkopf},
title = {Elements of Causal Inference:
Foundations and Learning Algorithms},
year = {2017},
publisher = {MIT Press}
}

@book{SpirtesBook,
  author    = {Peter Spirtes and
               Clark Glymour and
               Richard Scheines},
  title     = {Causation, Prediction, and Search, Second Edition},
  series    = {Adaptive computation and machine learning},
  publisher = {{MIT} Press},
  year      = {2000},
  isbn      = {978-0-262-19440-2},
  timestamp = {Thu, 18 Jul 2019 17:10:46 +0200},
  biburl    = {https://dblp.org/rec/books/daglib/0023012.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{uai/BalkeP95,
  author    = {Alexander Balke and
               Judea Pearl},
  editor    = {Philippe Besnard and
               Steve Hanks},
  title     = {Counterfactuals and Policy Analysis in Structural Models},
  booktitle = {{UAI} '95: Proceedings of the Eleventh Annual Conference on Uncertainty
               in Artificial Intelligence, Montreal, Quebec, Canada, August 18-20,
               1995},
  pages     = {11--18},
  publisher = {Morgan Kaufmann},
  year      = {1995},
  url       = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&smnu=2\&article\_id=414\&proceeding\_id=11},
  timestamp = {Wed, 06 May 2015 15:02:55 +0200},
  biburl    = {https://dblp.org/rec/conf/uai/BalkeP95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{pnas/BareinboimP16,
  author    = {Elias Bareinboim and
               Judea Pearl},
  title     = {Causal inference and the data-fusion problem},
  journal   = {Proc. Natl. Acad. Sci. {USA}},
  volume    = {113},
  number    = {27},
  pages     = {7345--7352},
  year      = {2016},
  url       = {https://doi.org/10.1073/pnas.1510507113},
  doi       = {10.1073/pnas.1510507113},
  timestamp = {Thu, 16 Apr 2020 13:54:27 +0200},
  biburl    = {https://dblp.org/rec/journals/pnas/BareinboimP16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{corr/PearlB15,
  author    = {Judea Pearl and
               Elias Bareinboim},
  title     = {External Validity: From Do-Calculus to Transportability Across Populations},
  journal   = {CoRR},
  volume    = {abs/1503.01603},
  year      = {2015},
  url       = {http://arxiv.org/abs/1503.01603},
  archivePrefix = {arXiv},
  eprint    = {1503.01603},
  timestamp = {Mon, 13 Aug 2018 16:46:32 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/PearlB15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{aaai/LeeCB20a,
  author    = {Sanghack Lee and
               Juan D. Correa and
               Elias Bareinboim},
  title     = {General Transportability - Synthesizing Observations and Experiments
               from Heterogeneous Domains},
  booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
               2020, The Thirty-Second Innovative Applications of Artificial Intelligence
               Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
               Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
               February 7-12, 2020},
  pages     = {10210--10217},
  publisher = {{AAAI} Press},
  year      = {2020},
  url       = {https://aaai.org/ojs/index.php/AAAI/article/view/6582},
  timestamp = {Thu, 04 Jun 2020 11:36:40 +0200},
  biburl    = {https://dblp.org/rec/conf/aaai/LeeCB20a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{ShenCD18,
  author    = {Yujia Shen and
               Arthur Choi and
               Adnan Darwiche},
  title     = {Conditional PSDDs: Modeling and Learning With Modular Knowledge},
  booktitle = {{AAAI}},
  pages     = {6433--6442},
  publisher = {{AAAI} Press},
  year      = {2018}
}

@inproceedings{PoonD11,
  author    = {Hoifung Poon and
               Pedro M. Domingos},
  title     = {Sum-Product Networks: {A} New Deep Architecture},
  booktitle = {{UAI}},
  pages     = {337--346},
  publisher = {{AUAI} Press},
  year      = {2011}
}

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

@inproceedings{Darwiche11,
  author    = {Adnan Darwiche},
  title     = {{SDD:} {A} New Canonical Representation of Propositional Knowledge
               Bases},
  booktitle = {{IJCAI}},
  pages     = {819--826},
  publisher = {{IJCAI/AAAI}},
  year      = {2011}
}


@inproceedings{PipatsrisawatD08,
  author    = {Knot Pipatsrisawat and
               Adnan Darwiche},
  title     = {New Compilation Languages Based on Structured Decomposability},
  booktitle = {{AAAI}},
  pages     = {517--522},
  publisher = {{AAAI} Press},
  year      = {2008}
}

@inproceedings{ShenCD16,
  author    = {Yujia Shen and
               Arthur Choi and
               Adnan Darwiche},
  title     = {Tractable Operations for Arithmetic Circuits of Probabilistic Models},
  booktitle = {{NIPS}},
  pages     = {3936--3944},
  year      = {2016}
}

@article{jacm/Darwiche01,
  author    = {Adnan Darwiche},
  title     = {Decomposable negation normal form},
  journal   = {J. {ACM}},
  volume    = {48},
  number    = {4},
  pages     = {608--647},
  year      = {2001}
}

@article{jancl/Darwiche01,
  author    = {Adnan Darwiche},
  title     = {On the Tractable Counting of Theory Models and its Application to
               Truth Maintenance and Belief Revision},
  journal   = {J. Appl. Non Class. Logics},
  volume    = {11},
  number    = {1-2},
  pages     = {11--34},
  year      = {2001}
}

@article{DarwicheMSS17,
  author    = {Adnan Darwiche and
               Pierre Marquis and
               Dan Suciu and
               Stefan Szeider},
  title     = {Recent Trends in Knowledge Compilation (Dagstuhl Seminar 17381)},
  journal   = {Dagstuhl Reports},
  volume    = {7},
  number    = {9},
  pages     = {62--85},
  year      = {2017}
}

@article{DarwicheM02,
  author    = {Adnan Darwiche and
               Pierre Marquis},
  title     = {A Knowledge Compilation Map},
  journal   = {J. Artif. Intell. Res.},
  volume    = {17},
  pages     = {229--264},
  year      = {2002}
}

@inproceedings{nips/TikkaHK19,
  author    = {Santtu Tikka and
               Antti Hyttinen and
               Juha Karvanen},
  title     = {Identifying Causal Effects via Context-specific Independence Relations},
  booktitle = {NeurIPS},
  pages     = {2800--2810},
  year      = {2019}
}

@article{Tikka2019IdentifyingCE,
  title={Identifying Causal Effects via Context-specific Independence Relations},
  author={S. Tikka and Antti Hyttinen and J. Karvanen},
  journal={ArXiv},
  year={2019},
  volume={abs/2009.09768}
}

@article {WhatisGainedfromPastLearning,
      author = "Judea Pearl",
      title = "What is Gained from Past Learning",
      journal = "Journal of Causal Inference",
      year = "01 Mar. 2018",
      publisher = "De Gruyter",
      address = "Berlin, Boston",
      volume = "6",
      number = "1",
      doi = "https://doi.org/10.1515/jci-2018-0005",
      pages=      "20180005",
      url = "https://www.degruyter.com/view/journals/jci/6/1/article-20180005.xml"
}

@article{OztokD18,
  author    = {Umut Oztok and
               Adnan Darwiche},
  title     = {An Exhaustive {DPLL} Algorithm for Model Counting},
  journal   = {J. Artif. Intell. Res.},
  volume    = {62},
  pages     = {1--32},
  year      = {2018}
}

@inproceedings{HuangD05,
  author    = {Jinbo Huang and
               Adnan Darwiche},
  title     = {{DPLL} with a Trace: From {SAT} to Knowledge Compilation},
  booktitle = {{IJCAI}},
  pages     = {156--162},
  publisher = {Professional Book Center},
  year      = {2005}
}

@article{HuangD07,
  author    = {Jinbo Huang and
               Adnan Darwiche},
  title     = {The Language of Search},
  journal   = {J. Artif. Intell. Res.},
  volume    = {29},
  pages     = {191--219},
  year      = {2007}
}

@book{primer16,
  author = "Judea Pearl, Madelyn Glymour and Nicholas P. Jewell",
  title = "Causal Inference in Statistics: A Primer",
  year = "2016",
  publisher = "Wiley"
}

@inproceedings{docalculus,
  author    = {Ilya Shpitser and
               Judea Pearl},
  title     = {Identification of Joint Interventional Distributions in Recursive
               Semi-Markovian Causal Models},
  booktitle = {{AAAI}},
  pages     = {1219--1226},
  publisher = {{AAAI} Press},
  year      = {2006}
}

@article {DisjunctiveActions,
      author = "Judea Pearl",
      title = "Physical and Metaphysical Counterfactuals: Evaluating Disjunctive Actions",
      journal = "Journal of Causal Inference",
      year = "01 Sep. 2017",
      publisher = "De Gruyter",
      address = "Berlin, Boston",
      volume = "5",
      number = "2",
      doi = "https://doi.org/10.1515/jci-2017-0018",
      pages=      "20170018",
      url = "https://www.degruyter.com/view/journals/jci/5/2/article-20170018.xml"
}

@inproceedings{ecsqaru/ChoiKD13,
  author    = {Arthur Choi and
               Doga Kisa and
               Adnan Darwiche},
  title     = {Compiling Probabilistic Graphical Models Using Sentential Decision
               Diagrams},
  booktitle = {{ECSQARU}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7958},
  pages     = {121--132},
  publisher = {Springer},
  year      = {2013}
}

@inproceedings{DarwichePODS20,
  author    = {Adnan Darwiche},
  title     = {Three Modern Roles for Logic in {AI}},
  booktitle = {{PODS}},
  pages     = {229--243},
  publisher = {{ACM}},
  year      = {2020}
}

@article{DarwicheJACM03,
  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}
}

@inproceedings{BareinboimP12,
  author    = {Elias Bareinboim and
               Judea Pearl},
  title     = {Causal Inference by Surrogate Experiments: z-Identifiability},
  booktitle = {{UAI}},
  pages     = {113--120},
  publisher = {{AUAI} Press},
  year      = {2012}
}


@article{DBLP:journals/cacm/Pearl19,
  author    = {Judea Pearl},
  title     = {The seven tools of causal inference, with reflections on machine learning},
  journal   = {Commun. {ACM}},
  volume    = {62},
  number    = {3},
  pages     = {54--60},
  year      = {2019}
}

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

@book{pearl00b,
key = "pearl00b",
author = "Judea Pearl",
title = "Causality",
year = "2000",
publisher = "Cambridge University Press"
}

@book{pearl18,
key = "pearl18",
author = "Judea Pearl and Dana Mackenzie",
title = "The Book of Why: The New Science of Cause and Effect",
year = "2018",
publisher = "Basic Books"
}

@inproceedings{LiP19,
  author    = {Ang Li and
               Judea Pearl},
  title     = {Unit Selection Based on Counterfactual Logic},
  booktitle = {{IJCAI}},
  pages     = {1793--1799},
  publisher = {ijcai.org},
  year      = {2019}
}

@article{DBLP:journals/amai/TianP00,
  author    = {Jin Tian and
               Judea Pearl},
  title     = {Probabilities of causation: Bounds and identification},
  journal   = {Ann. Math. Artif. Intell.},
  volume    = {28},
  number    = {1-4},
  pages     = {287--313},
  year      = {2000}
}

@misc{ling2020combining,
      title={Combining Propositional Logic Based Decision Diagrams with Decision Making in Urban Systems}, 
      author={Jiajing Ling and Kushagra Chandak and Akshat Kumar},
      year={2020},
      note={To Appear in AAAI 2021},
      eprint={2011.04405},
      archivePrefix={arXiv},
      primaryClass={cs.AI}
}

@article{Peharz20,
  author    = {Robert Peharz and
               Steven Lang and
               Antonio Vergari and
               Karl Stelzner and
               Alejandro Molina and
               Martin Trapp and
               Guy Van den Broeck and
               Kristian Kersting and
               Zoubin Ghahramani},
  title     = {Einsum Networks: Fast and Scalable Learning of Tractable Probabilistic
               Circuits},
  journal   = {CoRR},
  volume    = {abs/2004.06231},
  year      = {2020},
}

@inproceedings{ShenGoyankaDarwicheChoi19,
author = {Yujia Shen and Anchal Goyanka and Adnan Darwiche and Arthur Choi},
title = {Structured {B}ayesian Networks: From Inference to Learning with Routes},
booktitle = {Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI)},
booktitle = {AAAI},
year = {2019}
}


@inproceedings{ChoiTavabiDarwiche16,
author = {Arthur Choi and Nazgol Tavabi and Adnan Darwiche},
title = {Structured Features in Naive {B}ayes Classification},
booktitle = {AAAI},
year = {2016},
}

@inproceedings{ChoiVdbDarwiche15,
author = {Arthur Choi and Guy {Van den Broeck} and Adnan Darwiche},
title = {Tractable Learning for Structured Probability Spaces: A Case Study in Learning Preference Distributions},
booktitle = {IJCAI},
year = {2015},
}

@inproceedings{ShenChoiDarwiche17,
author = {Yujia Shen and Arthur Choi and Adnan Darwiche},
title = {A Tractable Probabilistic Model for Subset Selection},
booktitle = {Proceedings of the 33rd Conference on Uncertainty in Artificial Intelligence (UAI)},
year = {2017},
}

@inproceedings{ChoiSD17,
author = {Arthur Choi and Yujia Shen and Adnan Darwiche},
title = {Tractability in Structured Probability Spaces},
booktitle = {Advances in Neural Information Processing Systems 30 (NIPS)},
year = {2017},
}

@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{aaai/ShenGDC19,
  author    = {Yujia Shen and
               Anchal Goyanka and
               Adnan Darwiche and
               Arthur Choi},
  title     = {Structured Bayesian Networks: From Inference to Learning with Routes},
  booktitle = {{AAAI}},
  pages     = {7957--7965},
  publisher = {{AAAI} Press},
  year      = {2019}
}

@misc{diliello2020efficient,
      title={Efficient Generation of Structured Objects with Constrained Adversarial Networks}, 
      author={Luca Di Liello and Pierfrancesco Ardino and Jacopo Gobbi and Paolo Morettin and Stefano Teso and Andrea Passerini},
      year={2020},
      eprint={2007.13197},
      archivePrefix={arXiv},
      primaryClass={cs.LG}
}

@inproceedings{SDDgraphs17,
author = {Nishino, Masaaki and Yasuda, Norihito and Minato, Shin-ichi and Nagata, Masaaki},
title = {Compiling Graph Substructures into Sentential Decision Diagrams},
year = {2017},
publisher = {AAAI Press},
booktitle = {Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence},
pages = {1213–1221},
numpages = {9},
location = {San Francisco, California, USA},
series = {AAAI'17}
}

@inproceedings{aaai/ShenGDC19,
  author    = {Yujia Shen and
               Anchal Goyanka and
               Adnan Darwiche and
               Arthur Choi},
  title     = {Structured Bayesian Networks: From Inference to Learning with Routes},
  booktitle = {{AAAI}},
  pages     = {7957--7965},
  publisher = {{AAAI} Press},
  year      = {2019}
}


@inproceedings{XieXMKS19,
  author    = {Yaqi Xie and
               Ziwei Xu and
               Kuldeep S. Meel and
               Mohan S. Kankanhalli and
               Harold Soh},
  title     = {Embedding Symbolic Knowledge into Deep Networks},
  booktitle = {NeurIPS},
  pages     = {4235--4245},
  year      = {2019}
}

@inproceedings{KuldeepSampling2,
author = {Baranov, Eduard and Legay, Axel and Meel, Kuldeep S.},
title = {Baital: An Adaptive Weighted Sampling Approach for Improved t-Wise Coverage},
year = {2020},
isbn = {9781450370431},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/3368089.3409744},
doi = {10.1145/3368089.3409744},
booktitle = {Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering},
pages = {1114–1126},
numpages = {13},
keywords = {Configurable software, t-wise coverage, Weighted sampling},
location = {Virtual Event, USA},
series = {ESEC/FSE 2020}
}



@inproceedings{SharmaGRM18,
  author    = {Shubham Sharma and
               Rahul Gupta and
               Subhajit Roy and
               Kuldeep S. Meel},
  title     = {Knowledge Compilation meets Uniform Sampling},
  booktitle = {{LPAR}},
  series    = {EPiC Series in Computing},
  volume    = {57},
  pages     = {620--636},
  publisher = {EasyChair},
  year      = {2018}
}

@inproceedings{XuZFLB18,
  author    = {Jingyi Xu and
               Zilu Zhang and
               Tal Friedman and
               Yitao Liang and
               Guy Van den Broeck},
  title     = {A Semantic Loss Function for Deep Learning with Symbolic Knowledge},
  booktitle = {{ICML}},
  series    = {Proceedings of Machine Learning Research},
  volume    = {80},
  pages     = {5498--5507},
  publisher = {{PMLR}},
  year      = {2018}
}

@inproceedings{kr/Darwiche02,
  author    = {Adnan Darwiche},
  editor    = {Dieter Fensel and
               Fausto Giunchiglia and
               Deborah L. McGuinness and
               Mary{-}Anne Williams},
  title     = {A Logical Approach to Factoring Belief Networks},
  booktitle = {Proceedings of the Eights International Conference on Principles and
               Knowledge Representation and Reasoning (KR-02), Toulouse, France,
               April 22-25, 2002},
  pages     = {409--420},
  publisher = {Morgan Kaufmann},
  year      = {2002},
  timestamp = {Tue, 22 Jul 2003 15:20:23 +0200},
  biburl    = {https://dblp.org/rec/conf/kr/Darwiche02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{ijcai/ChaviraD05,
  author    = {Mark Chavira and
               Adnan Darwiche},
  editor    = {Leslie Pack Kaelbling and
               Alessandro Saffiotti},
  title     = {Compiling {B}ayesian Networks with Local Structure},
  booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
               on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
               5, 2005},
  pages     = {1306--1312},
  publisher = {Professional Book Center},
  year      = {2005},
  url       = {http://ijcai.org/Proceedings/05/Papers/0931.pdf},
  timestamp = {Tue, 20 Aug 2019 16:17:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ijcai/ChaviraD05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{ai/ChaviraD08,
  author    = {Mark Chavira and
               Adnan Darwiche},
  title     = {On probabilistic inference by weighted model counting},
  journal   = {Artif. Intell.},
  volume    = {172},
  number    = {6-7},
  pages     = {772--799},
  year      = {2008},
  url       = {https://doi.org/10.1016/j.artint.2007.11.002},
  doi       = {10.1016/j.artint.2007.11.002},
  timestamp = {Sat, 27 May 2017 14:24:42 +0200},
  biburl    = {https://dblp.org/rec/journals/ai/ChaviraD08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@INPROCEEDINGS{Chavira.Darwiche.Ijcai.2007,
  AUTHOR = "Chavira, Mark and Darwiche, Adnan",
  TITLE  = "Compiling {B}ayesian Networks Using Variable Elimination",
  BOOKTITLE = "Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI)",
  YEAR = 2007,
  PAGES = "2443--2449"
}

@article{do-calculus-95,
 author    = {Judea Pearl},
 journal = {Biometrika},
 number = {4},
 pages = {669--688},
 publisher = {[Oxford University Press, Biometrika Trust]},
 title = {Causal Diagrams for Empirical Research},
 volume = {82},
 year = {1995}
}

@article{ijar/ChaviraDJ06,
  author    = {Mark Chavira and
               Adnan Darwiche and
               Manfred Jaeger},
  title     = {Compiling relational {B}ayesian networks for exact inference},
  journal   = {Int. J. Approx. Reason.},
  volume    = {42},
  number    = {1-2},
  pages     = {4--20},
  year      = {2006}
}

@inproceedings{DarwicheECAI20b,
  author    = {Adnan Darwiche},
  title     = {An Advance on Variable Elimination with Applications to Tensor-Based
               Computation},
  booktitle = {{ECAI}},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {325},
  pages     = {2559--2568},
  publisher = {{IOS} Press},
  year      = {2020}
}

@inproceedings{kr/OztokCD16,
  author    = {Umut Oztok and
               Arthur Choi and
               Adnan Darwiche},
  editor    = {Chitta Baral and
               James P. Delgrande and
               Frank Wolter},
  title     = {Solving PP\({}^{\mbox{PP}}\)-Complete Problems Using Knowledge Compilation},
  booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
               of the Fifteenth International Conference, {KR} 2016, Cape Town, South
               Africa, April 25-29, 2016},
  pages     = {94--103},
  publisher = {{AAAI} Press},
  year      = {2016},
  url       = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12910},
  timestamp = {Thu, 21 Apr 2016 20:01:05 +0200},
  biburl    = {https://dblp.org/rec/conf/kr/OztokCD16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:PGM20a,
  author    = {Yizuo Chen and
               Arthur Choi and
               Adnan Darwiche},
  title     = {Supervised Learning with Background Knowledge},
  booktitle   = {{PGM}},
  year      = {2020}
}

@book{DarwicheBook09,
  author    = {Adnan Darwiche},
  title     = {Modeling and Reasoning with {B}ayesian Networks},
  publisher = {Cambridge University Press},
  year      = {2009}
}

@article{DBLP:journals/cacm/Darwiche18,
  author    = {Adnan Darwiche},
  title     = {Human-level intelligence or animal-like abilities?},
  journal   = {Commun. {ACM}},
  volume    = {61},
  number    = {10},
  pages     = {56--67},
  year      = {2018}
}

@article{ParkD04,
  author    = {James D. Park and
               Adnan Darwiche},
  title     = {Complexity Results and Approximation Strategies for {MAP} Explanations},
  journal   = {J. Artif. Intell. Res.},
  volume    = {21},
  pages     = {101--133},
  year      = {2004}
}

@incollection{DarwicheCh14,
  author    = {Adnan Darwiche},
  title     = {Tractable Knowledge Representation Formalisms},
  booktitle = {Tractability},
  pages     = {141--172},
  publisher = {Cambridge University Press},
  year      = {2014}
}