
@inproceedings{AcaIhMeSu08, 
  author = "Umut A. Acar and Alexander T. Ihler and Ramgopal R. Mettu and {\"O}zg{\"u}r S{\"u}mer",
  title = "{Adaptive Inference on General Graphical Models}",
  booktitle = "UAI-08 Proceedings of the 24th Conference on Uncertainty in Artificial Intelligence",
  pages = "1--8",
  year = "2008",
  publisher = {AUAI Press}
}

@inproceedings{Buether2017Formal,
  author={Florian Büther and Florian Lau and Marc Stelzner and Sebastian Ebers},
  title={A Formal Definition for Nanorobots and Nanonetworks},
  booktitle={The 17th International Conference on Next Generation Wired/Wireless Advanced Networks and Systems + The 10th conference on Internet of Things and Smart Spaces (NEW2AN ruSMART 2017)},
  address={St.Petersburg, Russia},
  days={27},
  publisher={Springer},
  month={Sep},
  year={2017}
}

@article{LAU2021100348,
  title = {Efficient in-message computation of prevalent mathematical operations in DNA-based nanonetworks},
  journal = {Nano Communication Networks},
  pages = {100348},
  year = {2021},
  issn = {1878-7789},
  author = {Florian-Lennert Adrian Lau and Regine Wendt and Stefan Fischer}
}

@inproceedings{fl2020bodyNets,
	title = {Solving Generic Decision Problems by in-Message Computation in DNA-Based Molecular Nanonetworks},
	booktitle = {15th {International} {Conference} on {Body} {Area} {Networks}},
	publisher = {ICST},
	author = {Lau, Florian-Lennert and Wendt, Regine and Fischer, Stefan},
	year = {2020}
}

@phdthesis{LAU20,
	type = {{PhD} {Thesis}},
	title = {DNA-basierte Nanonetzwerke },
	school = {Universität zu Lübeck},
	author = {Florian-Lennert Adrian Lau},
	year = {2020},
  keywords = {flau, lau},
}

@article{LAU2019,
  title="{Computation of Decision Problems within Messages in DNA-tile-based Molecular Nanonetworks}",
  journal={Nano Communication Networks},
  year={2019},
  issn={1878-7789},
  author={Florian-Lennert Adrian Lau and Florian Büther and Regine Geyer and Stefan Fischer}
}

@article{akyildiz2008nanonetworks,
  title = "Nanonetworks: A new communication paradigm ",
  journal = "Computer Networks ",
  volume = "52",
  number = "12",
  pages = "2260--2279",
  year = "2008",
  publisher = "Elsevier",
  author = "Ian F. Akyildiz and Fernando Brunetti and Cristina Blázquez"
  }

@article{SEEMAN1982237,
  title = "Nucleic Acid Junctions and Lattices",
  journal = "Journal of Theoretical Biology",
  volume = "99",
  number = "2",
  pages = "237 - 247",
  year = "1982",
  issn = "0022-5193",
  author = "Nadrian Charles Seeman"
}

@article{winfree1998design,
  title={Design and Self-assembly of Two-dimensional DNA Crystals},
  author={Winfree, Erik and Liu, Furong and Wenzler, Lisa A and Seeman, Nadrian C},
  journal={Nature},
  volume={394},
  number={6693},
  pages={539},
  year={1998},
  publisher={Nature Publishing Group}
}

@article{andersen2009self,
  title={Self-assembly of a Nanoscale DNA Box with a Controllable Lid},
  author={Andersen, Ebbe S and Dong, Mingdong and Nielsen, Morten M and Jahn, Kasper and Subramani, Ramesh and Mamdouh, Wael and Golas, Monika M and Sander, Bjoern and Stark, Holger and Oliveira, Cristiano LP and others},
  journal={Nature},
  volume={459},
  number={7243},
  pages={73--76},
  year={2009},
  publisher={Nature Publishing Group}
}

@inproceedings{Lau2017Computational,
  author={Florian Lau and Florian Büther and Bennet Gerlach},
  title={Computational Requirements for {Nano-Machines:} There is Limited Space at the Bottom},
  booktitle={8th ACM International Conference on Nanoscale Computing and Communication 2021 (ACM NanoCom'21)},
  address={Washington DC, USA},
  year={2017},
  days={27},
  month={August},
  pages={11:1--11:6},
  publisher={ACM}
}

@inproceedings{Lau21DNA,
  author={Florian Lau and Regine Wendt and Stefan Fischer},
  title={DNA-Based Molecular Communication as a Paradigm for Multi-Parameter Detection of Diseases},
  booktitle={4th ACM International Conference on Nanoscale Computing and Communication 2017 (ACM NanoCom'17)},
  year={2021},
  publisher={ACM}
}

@Article{Rothemund2006,
  author={Rothemund, Paul W. K.},
  title={Folding DNA to Create Nanoscale Shapes and Patterns},
  journal={Nature},
  year={2006},
  publisher={Nature Publishing Group SN},
  volume={440},
  pages={297--302}
}

@inproceedings{AcaIhMeSu08a, 
  author = "Umut A. Acar and Alexander T. Ihler and Ramgopal R. Mettu and {\"O}zg{\"u}r S{\"u}mer",
  title = "{Adaptive Bayesian Inference}",
  booktitle = "NIPS-07 Advances in Neural Information Processing Systems 21",
  pages = "1441--1448",
  year = "2008",
  publisher = {Curran Associates, Inc.}
}

@article{AhmKeMlNa13, 
  author = "Babak Ahmadi and Kristian Kersting and Martin Mladenov and Sriraam Natarajan",
  title = "{Exploiting Symmetries for Scaling Loopy Belief Propagation and Relational Training}",
  journal = "Machine Learning",
  volume = "92",
  number = "1",
  pages = "91--132",
  year = "2013",
  publisher = {Springer}
}

@inproceedings{AhmKeNa12, 
  author = "Babak Ahmadi and Kristian Kersting and Sriraam Natarajan",
  title = "{Lifted Online Training of Relational Models with Stochastic Gradient Methods}",
  booktitle = "Machine Learning and Knowledge Discovery in Databases",
  pages = "585--600",
  year = "2012",
  publisher = {Springer}
}

@inproceedings{AhmKeSa11, 
  author = "Babak Ahmadi and Kristian Kersting and Scott Sanner",
  title = "{Multi-evidence Lifted Message Passing with Application to PageRank and the Kalman Filter}",
  booktitle = "IJCAI-11 Proceedings of the 22nd International Joint Conference on Artificial Intelligence",
  pages = "1152--1158",
  year = "2011",
  publisher = {IJCAI Organization}
}

@article{Aok65,
  title={{Optimal control of partially observable Markovian systems}},
  author={Masanao Aoki},
  journal={Journal of the Franklin Institute},
  volume={280},
  number={5},
  pages={367--386},
  year={1965}
}

@inproceedings{ApsBr11, 
  author = "Udi Apsel and Ronen I. Brafman",
  title = "{Extended Lifted Inference with Joint Formulas}",
  booktitle = "UAI-11 Proceedings of the 27th Conference on Uncertainty in Artificial Intelligence",
  pages = "74--83",
  year = "2011",
  publisher = {AUAI Press}
}

@inproceedings{ApsBr12, 
  author = "Udi Apsel and Ronen I. Brafman",
  title = "{Exploiting Uniform Assignments in First-Order MPE}",
  booktitle = "UAI-12 Proceedings of the 28th Conference on Uncertainty in Artificial Intelligence",
  pages = "74--83",
  year = "2012",
  publisher = {AUAI Press}
}

@inproceedings{ApsBr12a, 
  author = "Udi Apsel and Ronen I. Brafman",
  title = "{Lifted MEU by Weighted Model Counting}",
  booktitle = "AAAI-12 Proceedings of the 26th AAAI Conference on Artificial Intelligence",
  pages = "1861--1867",
  year = "2012",
  publisher = {AAAI Press}
}

@inproceedings{ApsKeMl14, 
  author = "Udi Apsel and Kristian Kersting and Martin Mladenov",
  title = "{Lifting Relational MAP-LPs Using Cluster Signatures}",
  booktitle = "AAAI-12 Proceedings of the 28th AAAI Conference on Artificial Intelligence",
  pages = "2403--2409",
  year = "2012",
  publisher = {AAAI Press}
}

@article{Ast65,
  title={{Optimal Control of Markov Processes with Incomplete State Information}},
  author={Karl J. {\AA}str\"om},
  journal={Journal of Mathematical Analysis and Applications},
  volume={10},
  number={1},
  pages={174--205},
  year={1965},
  publisher={Elsevier}
}

@article{BacBrHuGe17, 
  author = "Stephen H. Bach and Matthias Broecheler and Bert Huang and Lise Getoor",
  title = "{Hinge-Loss Markov Random Fields and Probabilistic Soft Logic}",
  journal = "Journal of Machine Learning Research",
  pages = "1--67",
  volume = "18",
  year = "2017"
}

@inproceedings{BeaLiRoSu14, 
  author = "Paul Beame and Jerry Li and Sudeepa Roy and Dan Suciu",
  title = "{Model Counting of Query Expressions: Limitations of Propositional Methods}",
  booktitle = "ICDT-14 Proceedings of the International Conference on Database Theory",
  pages = {1--12},
  year = "2014"
}

@article{BeaLiRoSu17, 
  author = "Paul Beame and Jerry Li and Sudeepa Roy and Dan Suciu",
  title = "{Exploiting Symmetries for Scaling Loopy Belief Propagation and Relational Training}",
  journal = "ACM Transactions on Database Systems",
  pages = "1--46",
  volume = "42",
  number = "1",
  year = "2017"
}

@inproceedings{BecGe96, 
  author = "Ann Becker and Dan Geiger",
  title = "{A Sufficiently Fast Algorithm for Finding Close to Optimal Junction Trees}",
  booktitle = "UAI-96 Proceedings of the 12th Conference on Uncertainty in Artificial Intelligence",
  pages = "81--89",
  year = "1996",
  publisher = {AUAI Press}
}

@article{BeiKeSaBoRa19,
  author = "Christoph Beierle and Gabriele Kern-Isberner and Kai Sauerwald and Tanja Bock and Marco Ragni",
  title = "Towards a General Framework for Kinds of Forgetting in Common-Sense Belief Management",
  journal = "KI - K{\"u}nstliche Intelligenz",
  pages = "57--68",
  volume = "33",
  number = "1",
  year = "2019"
}

@inproceedings{BelBrPa15, 
  author = "Vaishak Belle and Guy {Van den Broeck} and Andrea Passerini",
  title = "{Hashing-based Approximate Probabilistic Inference in Hybrid Domains}",
  booktitle = "UAI-15 Proceedings of the 31st Conference on Uncertainty in Artificial Intelligence",
  pages = "141--150",
  year = "2015",
  publisher = {AUAI Press}
}

@inproceedings{BelBrPa16, 
  author = "Vaishak Belle and Guy {Van den Broeck} and Andrea Passerini",
  title = "{Component Caching in Hybrid Domains with Piecewise Polynomial Densities}",
  booktitle = "AAAI-16 Proceedings of the 30th AAAI Conference on Artificial Intelligence",
  pages = "3369--3375",
  year = "2016",
  publisher = {AAAI Press}
}

@article{BelLaRiCoZe14, 
  author = "Elena Bellodi and Evelina Lamma and Fabrizio Riguzzi and Vitor Santos Costa and Riccardo Zese",
  title = "{Lifted Variable Elimination for Probabilistic Logic Programming}",
  journal = "Theory and Practice of Logic Programming",
  pages = "681--695",
  volume = "14",
  number = "4--5",
  year = "2014"
}

@article{Bes74, 
  author = "Julian Besag",
  title = "{Spatial Interaction and the Statistical Analysis of Lattice Systems}",
  journal = "Journal of the Royal Statistical Society. Series B: Methodological",
  pages = "192--236",
  volume = "36",
  number = "2",
  year = "1974"
}

@misc{BLOG14,
  author = "Brian Milch and Lei Li",
  title = "{BLOG Programming Language}",
  year = "2014",
  url = "https://bayesianlogic.github.io",
  note = "[Accessed 25 February 2016]"
}

@inproceedings{BorCeLu17,
  author = {Stefan Borgwardt and {\.{I}}smail {\.{I}}lkan Ceylan and Thomas Lukasiewicz},
  title = "{Ontology-mediated Queries for Probabilistic Databases}",
  booktitle = {AAAI-17 Proceedings of the 31th AAAI Conference on Artificial Intelligence},
  pages = "1063--1069",
  year = {2017},
  publisher = {AAAI Press}
}

@inproceedings{BouRePr01,
  author={Craig Boutilier and Ray Reiter and Bob Price},
  title={{Symbolic Dynamic Programming for First-order MDPs}},
  booktitle = {IJCAI-01 Proceedings of the 17th International Joint Conference on Artificial Intelligence},
  year = {2001},
  pages = {690--697},
  publisher = {IJCAI Organization},
}

@inproceedings{BoyKo98,
  author = {Xavier Boyen and Daphne Koller},
  title = "{Tractable Inference for Complex Stochastic Processes}",
  booktitle = {UAI-98 Proceedings of the 14th Conference on Uncertainty in Artificial Intelligence},
  pages = "33--42",
  year = {1998},
  publisher = {AUAI Press}
}

@phdthesis{Braz07, 
  author = "Rodrigo de Salvo Braz",
  title = "{Lifted First-order Probabilistic Inference}",
  school = "University of Illinois at Urbana Champaign",
  year = "2007"
}

@inproceedings{BrazAmRo05, 
  author = "Rodrigo de Salvo Braz and Eyal Amir and Dan Roth",
  title = "{Lifted First-order Probabilistic Inference}",
  booktitle = "IJCAI-05 Proceedings of the 19th International Joint Conference on Artificial Intelligence",
  pages = {1319--1325},
  year = "2005",
  publisher = {IJCAI Organization}
}

@inproceedings{BrazAmRo06, 
  author = "Rodrigo de Salvo Braz and Eyal Amir and Dan Roth",
  title = "{MPE and Partial Inversion in Lifted Probabilistic Variable Elimination}",
  booktitle = "AAAI-06 Proceedings of the 21st AAAI Conference on Artificial Intelligence",
  pages = {1123--1130},
  year = "2006",
  publisher = {AAAI Press}
}

@inproceedings{BrazAmRo08, 
  author = "Rodrigo de Salvo Braz and Eyal Amir and Dan Roth",
  title = "{A Survey of First-order Probabilistic Models}",
  booktitle = "Innovations in Bayesian Networks",
  pages = {289--317},
  year = "2008",
  publisher = "Springer"
}

@inproceedings{BrazNaBuShRu09, 
  author = "Rodrigo de Salvo Braz and Sriraam Natarajan and Hung Bui and Jude Shavlik and Stuart Russell",
  title = "{Anytime Lifted Belief Propagation}",
  booktitle = "6th International Workshop on Statistical Relational Learning",
  year = "2009",
  pages = {1--3}
}

@inproceedings{BrazOrGoDe15, 
  author = "Rodrigo de Salvo Braz and Ciaran O'Reilly and Vibhav Gogate and Rina Dechter",
  title = "{Probabilistic Inference Modulo Theories}",
  booktitle = "IJCAI-16 Proceedings of the 25th International Joint Conference on Artificial Intelligence",
  pages = {3591--3599},
  year = "2015",
  publisher = {IJCAI Organization}
}

@article{BreEiTr11, 
  author = "Gerhard Brewka and Thomas Eiter and Miroslaw Truszczynski",
  title = "{Answer Set Programming at a Glance}",
  journal = "Communications of the ACM",
  pages = {92--103},
  volume = {15},
  number = {12},
  year = "2011"
}

@inproceedings{Bro11, 
  author = "Guy {Van den Broeck}",
  title = "{On the Completeness of First-order Knowledge Compilation for Lifted Probabilistic Inference}",
  booktitle = "NIPS-11 Advances in Neural Information Processing Systems 24",
  pages = "1386--1394",
  year = "2011",
  publisher = {Curran Associates, Inc.}
}

@phdthesis{Bro13, 
  author = "Guy {Van den Broeck}",
  title = "{Lifted Inference and Learning in Statistical Relational Models}",
  school = "KU Leuven",
  year = "2013"
}

@inproceedings{BroDa12, 
  author = "Guy {Van den Broeck} and Jesse Davis",
  title = "{Conditioning in First-Order Knowledge Compilation and Lifted Probabilistic Inference}",
  booktitle = "AAAI-12 Proceedings of the 26th AAAI Conference on Artificial Intelligence",
  pages = "1961--1967",
  year = "2012",
  publisher = {AAAI Press}
}

@inproceedings{BroDa13, 
  author = "Guy {Van den Broeck} and Adnan Darwiche",
  title = "{On the Complexity and Approximation of Binary Evidence in Lifted Inference}",
  booktitle = "NIPS-13 Advances in Neural Information Processing Systems 26",
  pages = "2868--2876",
  year = "2013",
  publisher = {Curran Associates, Inc.}
}

@inproceedings{BroMeDa14, 
  author = "Guy {Van den Broeck} and Wannes Meert and Adnan Darwiche",
  title = "{Skolemisation for Weighted First-order Model Counting}",
  booktitle = "KR-14 Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning",
  pages = "111--120",
  year = "2014",
  publisher = {AAAI Press}
}

@inproceedings{BroMiGe10, 
  author = "Matthias Br{\"{o}}cheler and Lilyana Mihalkova and Lise Getoor",
  title = "{Probabilistic Similarity Logic}",
  booktitle = "UAI-10 Proceedings of the 26th Conference on Uncertainty in Artificial Intelligence",
  pages = "73--82",
  year = "2010",
  publisher = {AUAI Press}
}

@inproceedings{BroNi15, 
  author = "Guy {Van den Broeck} and Mathias Niepert",
  title = "{Lifted Probabilistic Inference for Asymmetric Graphical Models}",
  booktitle = "AAAI-15 Proceedings of the 29th AAAI Conference on Artificial Intelligence",
  pages = "3599--3605",
  year = "2015",
  publisher = {AAAI Press}
}

@inproceedings{BroTaMeDaRa11, 
  author = "Guy {Van den Broeck} and Nima Taghipour and Wannes Meert and Jesse Davis and Luc {De Raedt}",
  title = "{Lifted Probabilistic Inference by First-order Knowledge Compilation}",
  booktitle = "IJCAI-11 Proceedings of the 22nd International Joint Conference on Artificial Intelligence",
  pages = {2178--2185},
  year = "2011",
  publisher = {IJCAI Organization}
}

@inproceedings{BroThOtRa10, 
  author = "Guy {Van den Broeck} and Ingo Thon and Martijn van Otterlo and Luc De Raedt",
  title = "{DTProbLog: A Decision-theoretic Probabilistic Prolog}",
  booktitle = "AAAI-10 Proceedings of the 24th AAAI Conference on Artificial Intelligence",
  pages = "1217--1222",
  year = "2010",
  publisher = {AAAI Press}
}

@inproceedings{BuiHuBr12, 
  author = "Hung H. Bui and Tuyen N. Huyhn and Rodrigo de Salvo Braz",
  title = "{Exact Lifted Inference with Distinct Soft Evidence on Every Object}",
  booktitle = "AAAI-12 Proceedings of the 26th AAAI Conference on Artificial Intelligence",
  pages = {1875--1881},
  year = "2012",
  publisher = {AAAI Press}
}

@inproceedings{CeyDaBr16,
  author = {{\.{I}}smail {\.{I}}lkan Ceylan and Adnan Darwiche and Guy {Van den Broeck}},
  title = "{Open-world Probabilistic Databases}",
  booktitle = {KR-16 Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning},
  pages = {339--348},
  year = {2016},
  publisher = {AAAI Press}
}

@inproceedings{CeyBoLu17,
  author = {{\.{I}}smail {\.{I}}lkan Ceylan and Stefan Borgwardt and Thomas Lukasiewicz},
  title = "{Most Probable Explanations for Probabilistic Database Queries}",
  booktitle = {IJCAI-17 Proceedings of the 26th International Joint Conference on Artificial Intelligence},
  pages = {950--956},
  year = {2017},
  publisher = {IJCAI Organization}
}

@inproceedings{ChaSrZhKa17, 
  author = "Tathagata Chakraborti and Sarath Sreedharan and Yu Zhang and Subbarao Kambhampati",
  title = "{Plan Explanations as Model Reconciliation: Moving Beyond Explanation as Soliloquy}",
  booktitle = "IJCAI-17 Proceedings of the 26th International Joint Conference on Artificial Intelligence",
  pages = "156--163",
  year = "2017",
  publisher = {IJCAI Organization}
}

@inproceedings{ChaDa07, 
  author = "Mark Chavira and Adnan Darwiche",
  title = "{Compiling Bayesian Networks Using Variable Elimination}",
  booktitle = "IJCAI-07 Proceedings of the 20th International Joint Conference on Artificial Intelligence",
  pages = "2443--2449",
  year = "2007",
  publisher = {IJCAI Organization}
}

@article{ChaDa08, 
  author = "Mark Chavira and Adnan Darwiche",
  title = "{On Probabilistic Inference by Weighted Model Counting}",
  journal = "Artificial Intelligence",
  volume="172",
  number = "6--7",
  pages = "772--799",
  year = "2008"
}

@article{CheErShRu16,
  author = "Hugh Chen and Yusuf Erol and Eric Shen and Stuart Russell",
  title = "{Probabilistic Model-based Approach for Heart Beat Detection}",
  journal = "Physiological Measurement",
  pages = {1404--1421},
  volume = "37",
  number = "9",
  year = "2016"
}

@inproceedings{ChoiBrBu11, 
  author = "Jaesik Choi and Rodrigo de Salvo Braz and Hung H. Bui",
  title = "{Efficient Methods for Lifted Inference with Aggregate Factors}",
  booktitle = "AAAI-11 Proceedings of the 25th AAAI Conference on Artificial Intelligence",
  pages = {1030-1036},
  year = "2011",
  publisher = {AAAI Press}
}

@inproceedings{ChoiAm12, 
  author = "Jaesik Choi and Eyal Amir",
  title = "{Lifted Relational Variational Inference}",
  booktitle = "UAI-12 Proceedings of the 28th Conference on Uncertainty in Artificial Intelligence",
  pages = "196--206",
  year = "2012",
  publisher = {AUAI Press}
}

@inproceedings{ChoiAmHi12, 
  author = "Jaesik Choi and Eyal Amir and David J. Hill",
  title = "{Lifted Inference for Relational Continuous Models}",
  booktitle = "UAI-10 Proceedings of the 26th Conference on Uncertainty in Artificial Intelligence",
  pages = "13--18",
  year = "2010",
  publisher = {AUAI Press}
}

@article{Coh16,
  author = "William W. Cohen",
  title = "{TensorLog: A Differentiable Deductive Database}",
  journal = "ArXiv e-prints",
  year = "2016",
  url = {https://arxiv.org/abs/1605.06523}
}

@article{CohYaMa17,
  author = "William W. Cohen and Fan Yang and Kathryn Rivard Mazaitis",
  title = "{TensorLog: Deep Learning Meets Probabilistic Databases}",
  journal = "ArXiv e-prints",
  year = "2017",
  url = {https://arxiv.org/pdf/1707.05390.pdf}
}

@article{DalSu12, 
  author = "Nilesh Dalvi and Dan Suciu",
  journal = "Journal of the ACM",
  title = "{The Dichotomy of Probabilistic Inference for Unions of Conjunctive Queries}",
  pages = "1--97",
  volume = "59",
  number = "6",
  year = "2012"
}

@article{Dar01,
  author = "Adnan Darwiche",
  journal = "Artificial Intelligence",
  title = "{Recursive Conditioning}",
  pages = "4--51",
  volume = "2",
  number = "1--2",
  year = "2001"
}

@inproceedings{DarHo01, 
  author = "Adnan Darwiche and Mark Hopkins",
  booktitle = "ECSQARU-01 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty",
  title = "{Using Recursive Decomposition to Construct Elimination Orders, Jointrees, and Dtrees}",
  pages = "180--191",
  year = "2001",
  publisher = {Springer}
}

@book{Dar09, 
  author = "Adnan Darwiche",
  title = "{Modeling and Reasoning with Bayesian Networks}",
  year = "2009",
  publisher = "Cambridge University Press"
}

@article{DarMa02, 
  author = "Adnan Darwiche and Pierre Marquis",
  title = "{A Knowledge Compilation Map}",
  journal = "Journal of Artificial Intelligence Research",
  pages = "229--264",
  volume = "17",
  number = "1",
  year = "2002"
}

@inproceedings{DaWuKhKeNa16,
  author = {Mayukh Das and Yunqing Wu and Tushar Khot and Kristian Kersting and Sriraam Natarajan}, 
  title = {{Scaling Lifted Probabilistic Inference and Learning Via Graph Databases}}, 
  booktitle = {Proceedings of the SIAM International Conference on Data Mining},
  pages = "738--746",
  year = {2016},
  publisher = {SIAM}
}

@article{Daw92, 
  author = "Alexander Philip Dawid",
  title = "{Applications of a General Propagation Algorithm for Probabilistic Expert Systems}",
  journal = "Statistics and Computing",
  pages = "25--36",
  volume = "2",
  number = "1",
  year = "1992"
}

@inproceedings{DeaGh04,
  author = {Jeffrey Dean and Sanjay Ghemawat}, 
  title = {{MapReduce: Simplified Data Processing on Large Clusters}}, 
  booktitle = {6th Symposium on Operating System Design and Implementation},
  pages = "137--150",
  year = {2004}
}

@incollection{Deb59,
  author = {Gerard Debreu}, 
  title = {{Topological Methods in Cardinal Utility Theory}}, 
  booktitle = {Mathematical Methods in the Social Sciences},
  pages = {1--17},
  year = {1959},
  publisher = {Stanford University Press}
}

@inproceedings{Dec96,
  author = {Rina Dechter}, 
  title = {{Bucket Elimination: A Unifying Framework for Probabilistic Inference}}, 
  booktitle = {UAI-96 Proceedings of the 12th Conference on Uncertainty in Artificial Intelligence},
  pages = "211--219",
  year = {1996},
  publisher = {AUAI Press}
}

@incollection{Dec99,
  author = {Rina Dechter}, 
  title = {{Bucket Elimination: A Unifying Framework for Probabilistic Inference}}, 
  booktitle = {Learning and Inference in Graphical Models.},
  pages = "75--104",
  year = {1999},
  publisher = {MIT Press}
}

@inproceedings{DelGrKaPe95,
  author = {Arthur L. Delcher and Adam J. Grove and Simon Kasif and Judea Pearl},
  title = {{Logarithmic-time Updates and Queries in Probabilistic Networks}},
  booktitle = {UAI-95 Proceedings of the 11th Conference on Uncertainty in Artificial Intelligence},
  pages = "116--124",
  year = {1995},
  publisher = {AUAI Press}
}

@misc{DesGe14,
  author = "Amol Deshpande and Lise Getoor",
  title = "{Managing and Querying Large-scale Uncertain Databases}",
  year = "2014",
  note = "Research Project"
}

@incollection{Dom06, 
  author = "Pedro Domingos",
  title = "{What's Missing in AI: The Interface Layer}",
  booktitle = "Artificial Intelligence: The First Hundred Years",
  year = "2006",
  publisher = {AAAI Press}
}

@article{Fag99, 
  author = {Ronald Fagin}, 
  title = "{Combining Fuzzy Information from Multiple Systems}", 
  journal = {Journal of Computer and System Sciences}, 
  pages = {83--99},
  volume = {58}, 
  number = "1",
  year = {1999},
  publisher = {Elsevier}
}

@article{FieBrReShGuThJaRa15, 
  author = {Daan Fierens and Guy {Van den Broeck} and Joris Renkens and Dimitar Shterionov and Bernd Gutmann and Ingo Thon and Gerda Janssens and Luc {De Raedt}}, 
  title = "{Inference and Learning in Probabilistic Logic Programs Using Weighted Boolean Formulas}", 
  journal = {Theory and Practice of Logic Programming}, 
  pages = {358--401},
  volume = {15}, 
  number = "3",
  year = {2015}
}

@article{ForFu56,
  title={{Maximal Flow through a Network}},
  author={Lester R. Ford and Delbert R. Fulkerson},
  journal={Canadian Journal of Mathematical },
  volume={8},
  pages={399--404},
  year={1956},
  publisher={Cambridge University Press}
}

@inproceedings{Fri98, 
  author = "Nir Friedman",
  title = "{The Bayesian Structural EM Algorithm}",
  booktitle = "UAI-98 Proceedings of the 14th Conference on Uncertainty in Artificial Intelligence",
  pages = "129--138",
  year = "1998",
  publisher = {AUAI Press}
}

@inproceedings{FriBr18,
  author = {Tal Friedman and Guy {Van den Broeck}},
  title = "{Approximate Knowledge Compilation by Online Collapsed Importance Sampling}",
  booktitle = {NIPS-18 Advances in Neural Information Processing Systems 31},
  pages = {8034--8044},
  year = {2018},
  publisher = {Curran Associates, Inc.}
}

@inproceedings{FriBr20,
  author = {Tal Friedman and Guy {Van den Broeck}},
  title = "{Symbolic Querying of Vector Spaces: Probabilistic Databases Meets Relational Embeddings}",
  booktitle = {UAI-20 Proceedings of the 36th Conference on Uncertainty in Artificial Intelligence},
  year = {2020}
}

@inproceedings{Fuh95, 
  author = "Norbert Fuhr",
  title = "{Probabilistic Datalog - A Logic for Powerful Retrieval Methods}",
  booktitle = "SIGIR-95 Proceedings of the 18th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval",
  pages = "282--290",
  year = "1995",
  publisher = {ACM}
}

@inproceedings{GatSu15, 
  author = "Wolfgang Gatterbauer and Dan Suciu",
  title = "{Approximate Lifted Inference with Probabilistic Databases}",
  booktitle = "Proceedings of the 41st International Conference on Very Large Data Bases",
  pages = {629--640},
  year = "2015",
  publisher = {VLDB Endowment}
}

@book{GetTa07, 
  author = "Lise Getoor and Ben Taskar",
  title = "{Introduction to Statistical Relational Learning}",
  year = "2007",
  publisher = "MIT Press"
}

@incollection{Gha02, 
  author = "Zoubin Ghahramani",
  title = "{Graphical Models: Parameter Learning}",
  booktitle = "Handbook of Brain Theory and Neural Networks, 2nd Edition",
  pages = "486--490",
  year = {2002},
  publisher = {MIT Press}
}

@misc{GCF13,
  author = "Nima Taghipour",
  title = "{GC-FOVE}",
  year = "2013",
  url = "https://dtai.cs.kuleuven.be/software/gcfove",
  note = "[Accessed 12 May 2016]"
}

@inproceedings{GogDo10, 
  author = "Vibhav Gogate and Pedro Domingos",
  title = "{Exploiting Logical Structure in Lifted Probabilistic Inference}",
  booktitle = "Working Note of the Workshop on Statistical Relational Artificial Intelligence at the 24th Conference on Artificial Intelligence",
  pages = "19--25",
  year = "2010"
}

@inproceedings{GogDo11, 
  author = "Vibhav Gogate and Pedro Domingos",
  title = "{Probabilistic Theorem Proving}",
  booktitle = "UAI-11 Proceedings of the 27th Conference on Uncertainty in Artificial Intelligence",
  pages = "256--265",
  year = "2011",
  publisher = {AUAI Press}
}

@inproceedings{GogJhVe12, 
  author = "Vibhav Gogate and Abhay Jha and Deepak Venugopal",
  title = "{Advances in Lifted Importance Sampling}",
  booktitle = "AAAI-12 Proceedings of the 26th AAAI Conference on Artificial Intelligence",
  pages = "1910--1916",
  year = "2012",
  publisher = "AAAI Press"
}

@misc{Gra53,
  author = "Frank Gray",
  title = "{Pulse Code Communication}",
  year = "1953",
  note = "U.S. Patent 2{,}632{,}058"
}

@inproceedings{GriBrSu14, 
  author = "Eric Gribkoff and Guy {Van den Broeck} and Dan Suciu",
  title = "{The Most Probable Database Problem}",
  booktitle = "Proceedings of the 1st International Workshop on Big Uncertain Data",
  pages = {1--7},
  year = "2014"
}

@article{GriSuBr14, 
  author = "Eric Gribkoff and Dan Suciu and Guy {Van den Broeck}",
  title = "{Lifted Probabilistic Inference: A Guide for the Database Researcher}",
  journal = "Bulletin of the Technical Committee on Data Engineering",
  pages = {6--17},
  volume = "37",
  year = "2014"
}

@unpublished{HamCl71,
  author = "John Hammersley and Peter Clifford",
  title = "{Markov Fields on Finite Graphs and Lattices}",
  year = "1971",
  note = "unpublished"
}

@inproceedings{HaqChKhBa14, 
  author = "Ahsanul Haque and Swarup Chandra and Latifur Khan and Michael Baron",
  title = "{MapReduce-guided Approximate Inference over Graphical Models}",
  booktitle = "2014 IEEE Symposium on Computational Intelligence and Data Mining",
  pages = {446--453},
  year = "2014",
  publisher = {IEEE}
}

@inproceedings{HolMiBr19, 
  author = "Steven Holtzen and Todd Millstein and Guy {Van den Broeck}",
  title = "{Generating and Sampling Orbits for Lifted Probabilistic Inference}",
  booktitle = "UAI-19 Proceedings of the 35th Conference on Uncertainty in Artificial Intelligence",
  pages = "1--10",
  year = "2019",
  publisher = {AUAI Press}
}

@incollection{How77, 
  author = "R. A. Howard",
  title = "{Risk Preference}",
  booktitle = "Readings in Decision Analysis",
  pages = "429--465",
  year = "1977",
  publisher = {Decision Analysis Group, SRI International}
}

@incollection{HowMa84, 
  author = "R. A. Howard and J. E. Matheson",
  title = "{Influence Diagrams}",
  booktitle = "Readings on the Principles and Applications of Decision Analysis",
  pages = "721--762",
  year = "1984",
  publisher = {Strategic Decision Group}
}

@misc{HUG16,
  author = "{{Hugin Expert A/S}}",
  title = "{HUGIN Development Environment}",
  year = "2016",
  url = "http://www.hugin.com/index.php",
  note = "[Accessed 25 February 2016]"
}

@misc{hMET07, 
  author = "George Karypis",
  title = "{hMETIS - Hypergraph and Circuit Partitioning}",
  year = "2007",
  url = "http://glaros.dtc.umn.edu/gkhome/metis/hmetis/overview",
  note = "[Accessed 26 February 2016]"
}

@inproceedings{Jae97,
  author = {Manfred Jaeger},
  title = "{Relational Bayesian Networks}",
  booktitle = {UAI-97 Proceedings of the 13th Conference on Uncertainty in Artificial Intelligence},
  year = {1997},
  pages = {191--199},
  publisher = {Morgan Kaufmann}
} 

@inproceedings{JaeBr12, 
  author = "Manfred Jaeger and Guy {Van den Broeck}",
  title = "{Liftability of Probabilistic Inference: Upper and Lower Bounds}",
  booktitle = "Proceedings of the 2nd International Workshop on Statistical Relational AI",
  year = "2012"
}

@inproceedings{JaeSc18, 
  author = "Manfred Jaeger and Oliver Schulte",
  title = "{Inference, Learning, and Population Size: Projectivity for SRL Models}",
  booktitle = "StarAI-18 Workshop on Statistical Relational AI",
  year = "2018"
}

@inproceedings{JaiMeFr07,
  author = {Ariel Jaimovich and Ofer Meshi and Nir Friedman},
  title = "{Template Based Inference in Symmetric Relational Markov Random Fields}",
  booktitle = {UAI-07 Proceedings of the 23rd Conference on Uncertainty in Artificial Intelligence},
  year = {2007},
  pages = {191--199},
  publisher = {AUAI Press}
} 

@article{JenLaOl90, 
  author = "Finn V. Jensen and Steffen L. Lauritzen and Kristian G. Olesen",
  title = "{Bayesian Updating in Recursive Graphical Models by Local Computations}",
  journal = "Computational Statistics Quarterly",
  pages = "269--282",
  volume = "4",
  year = "1990"
}

@inproceedings{JhaGoMeSu10, 
  author = "Abhay Jha and Vibhav Gogate and Alexandra Meliou and Dan Suciu",
  title = "{Lifted Inference Seen from the Other Side: The Tractable Features}",
  booktitle = "NIPS-10 Advances in Neural Information Processing Systems 23",
  year = "2010",
  pages = {973--981},
  publisher = {Curran Associates, Inc.}
}

@article{JirPr95, 
  author = "Radim Jirou\u{s}ek and Stanislav P\u{r}eu\u{c}il",
  title = "{Lifted Inference Seen from the Other Side: The Tractable Features}",
  journal = "Computational Statistics \& Data Analysis",
  pages = {177--189},
  volume = {19},
  year = "1995"
}

@article{JohLaNaSi07,
  title={{Enterprise Architecture Analysis with Extended Influence Diagrams}},
  author={Pontus Johnson and Robert Lagerstr\"om and Per N\"arman and M\aarton Simonsson},
  journal={Information System Frontiers},
  volume={9},
  pages={163--180},
  year={2007},
  publisher={Springer}
}

@inproceedings{JosKeKh09,
  title={{Generalized First Order Decision Diagrams for First Order Markov Decision Processes}},
  author={Saket Joshi and Kristian Kersting and Roni Khardon},
  pages={1916--1921},
  booktitle = {IJCAI-09 Proceedings of the 21st International Joint Conference on Artificial Intelligence},
  year={2009},
  publisher = {Morgan Kaufmann Publishers Inc.}
}

@inproceedings{Kam19,
  title = "{Synethesizing Explainable Behavior for Human-AI Collaboration}",
  author = "Subbarao Kambhampati",
  booktitle = {AAMAS-19 Proceedings of the 18th International Conference on Autonomous Agents and Multiagent Systems},
  pages = {1--2},
  year = {2019},
  publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
  note = {Keynote talk}
}

@article{Kam21,
  title = "{Polanyi's Revenge and AI's New Romance with Tacit Knowledge}",
  author = "Subbarao Kambhampati",
  journal = {Communications of the ACM},
  volume = {64},
  issue =  {2},
  pages = {31--32},
  year = {2021},
  publisher = {ACM}
}

@inproceedings{KazPo16, 
  author = "Seyed Mehran Kazemi and David Poole",
  title = "{Why is Compiling Lifted Inference into a Low-Level Language so Effective?}",
  booktitle = "6th International Workshop on Statistical Relational AI at the 25th International Joint Conference on Artificial Intelligence",
  pages = {1--7},
  year = "2016"
}

@inproceedings{KazPo16a, 
  author = "Seyed Mehran Kazemi and David Poole",
  title = "{Knowledge Compilation for Lifted Probabilistic Inference: Compiling to a Low-Level Language}",
  booktitle = "KR-16 Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning",
  pages = {561--564},
  year = "2016"
}

@inproceedings{KazKiBrPo17, 
  author = "Seyed Mehran Kazemi and Angelika Kimmig and Guy {Van den Broeck} and David Poole",
  title = "{Domain Recursion for Lifted Inference with Existential Quantifiers}",
  booktitle = "7th International Workshop on Statistical Relational AI at the 33rd Conference on Uncertainty in Artificial Intelligence",
  pages = {1--6},
  year = "2017"
}

@inproceedings{KerAhNa09, 
  author = "Kristian Kersting and Babak Ahmadi and Sriraam Natarajan",
  title = "{Counting Belief Propagation}",
  booktitle = "UAI-09 Proceedings of the 25th Conference on Uncertainty in Artificial Intelligence",
  pages = "277--284",
  year = "2009",
  publisher = {AUAI Press}
}

@inproceedings{Ker12, 
  author = "Kristian Kersting",
  title = "{Lifted Probabilistic Inference}",
  booktitle = "ECAI-12 Proceedings of the 20th European Conference on Artificial Intelligence",
  pages = {33-38},
  year = "2012",
  publisher = {IOS Press}
}

@inproceedings{KidDo10, 
  author = "Chloe Kiddon and Pedro Domingos",
  title = "{Leveraging Ontologies for Lifted Probabilistic Inference and Learning}",
  booktitle = "Papers from the Workshop on Statistical Relational Artificial Intelligence at the 24th Conference on Artificial Intelligence",
  year = "2010"
}

@article{KerMlTo17, 
  author = "Kristian Kersting and Martin Mladenov and Pavel Tokmakov",
  title = "{Relational Linear Programming}",
  journal = "Artificial Intelligence",
  pages = "188--216",
  volume = "244",
  year = "2017"
}

@article{KerNa15, 
  author = "Kristian Kersting and Sriraam Natarajan",
  title = "{Statistical Relational Artificial Intelligence: From Distributions through Actions to Optimisation}",
  journal = "KI - KÃŒnstliche Intelligenz",
  pages = "363--368",
  volume = "29",
  issue = {4},
  year = "2015"
}

@inproceedings{KimBrRa11, 
  author = "Angelika Kimmig and Guy {Van den Broeck} and Luc {De Raedt}",
  title = "{An Algebraic Prolog for Reasoning about Possible Worlds}",
  booktitle = "AAAI-11 Proceedings of the 25th AAAI Conference on Artificial Intelligence",
  pages="209--214",
  year = "2011",
  publisher = {AAAI Press}
}

@article{KimBrRa17, 
  author = "Angelika Kimmig and Guy {Van den Broeck} and Luc {De Raedt}",
  title = "{Algebraic Model Counting}",
  journal = "Journal of Applied Logic",
  pages="46--62",
  volume="22",
  number = "C",
  year = "2017"
}

@inproceedings{KisPo09, 
  author = "Jacek J. Kisynski and David Poole",
  title = "{Constraint Processing in Lifted Probabilistic Inference}",
  booktitle = "UAI-09 Proceedings of the 25th Conference on Uncertainty in Artificial Intelligence",
  pages = {293--302},
  year = "2009",
  publisher = {AUAI Press}
}

@phdthesis{Kis10, 
  author = "Jacek J. Kisynski",
  title = "{Aggregation and Constraint Processing in Lifted Probabilistic Inference}",
  school = "University of British Columbia",
  year = "2010"
}

@article{KohSh00, 
  author = "J{\"u}rg Kohlas and Prakash P. Shenoy",
  title = "{Computation in Valuation Algebras}",
  journal = "Handbook of Defeasible Reasoning and Uncertainty Management Systems: Algorithms for Uncertainty and Defeasible Reasoning",
  pages = "5--39",
  volume = "5",
  year = "2000"
}

@book{KolFr09, 
  author = "Daphne Koller and Nir Friedman",
  title = {{Probabilistic Graphical Models: Principles and Techniques}},
  year = "2009",
  publisher = "The MIT Press"
}

@article{KscFrLo01, 
  author = "Frank R. Kschischang and Brendan J. Frey and Hans-Andrea Loeliger",
  title = "{Factor Graphs and the Sum-product Algorithm}",
  journal = "IEEE Transactions on Information Theory",
  pages = "498--519",
  volume = "47",
  number = "2",
  year = "2001"
}

@inproceedings{KulSrKa19, 
  author = "Anagha Kulkarni and Sarath Sreedharan and Subbarao Kambhampati",
  title = "{A Unified Framework for Planning in Adversarial and Cooperative Environments}",
  booktitle = "AAAI-19 Proceedings of the 33rd AAAI Conference on Artificial Intelligence",
  pages = "2479--2487",
  year = "2019",
  publisher = {AAAI Press}
}

@article{LauSp88,
  author = "Steffen L. Lauritzen and David J. Spiegelhalter",
  title = "{Local Computations with Probabilities on Graphical Structures and Their Application to Expert Systems}",
  journal = "Journal of the Royal Statistical Society. Series B: Methodological",
  pages = "157--224",
  volume = "50",
  year = "1988"
}

@misc{LeC18,
  author = "Yann LeCun",
  title = "{Learning World Models: the Next Step Towards AI}",
  howpublished = "Invited Talk at IJCAI-ECAI 2018",
  note = "https://www.youtube.com/watch?v=U2mhZ9E8Fk8, accessed November 19, 2018",
  year = "2018",
  publisher = {IJCAI Organization}
}

@inproceedings{LeeHo15, 
  author = "Sanghack Lee and Vasant Honavar",
  title = "{Lifted Representation of Relational Causal Models Revisited: Implications for Reasoning and Structure Learning}",
  booktitle = "ACI-15 Proceedings of the UAI 2015 Conference on Advances in Causal Inference",
  pages = {56--65},
  year = "2015",
  publisher = {CEUR-WS.org}
}

@inproceedings{LeeHo16, 
  author = "Sanghack Lee and Vasant Honavar",
  title = "{On Learning Causal Models from Relational Data}",
  booktitle = "AAAI-16 Proceedings of the 30th AAAI Conference on Artificial Intelligence",
  pages = {3263--3270},
  year = "2016",
  publisher = {AAAI Press}
}

@inproceedings{LepSh98, 
  author = "Vasilica Lepar and Prakash P. Shenoy",
  title = "{A comparison of Lauritzen-Spiegelhalter, Hugin, and Shenoy-Shafer Architectures for Computing Marginals of Probability Distributions}",
  booktitle = "UAI-98 Proceedings of the 14th Conference on Uncertainty in Artificial Intelligence",
  pages = {328--337},
  year = "1998",
  publisher = {AUAI Press}
}

@article{LiHuLiWuYa15,
  author = "Ren Li and Haibo Hu and Heng Li and Yunsong Wu and Jianxi Yang",
  title = "{MapReduce Parallel Programming Model: A State-of-the-Art Survey}",
  journal = "International Journal of Parallel Programming",
  pages = "832--866",
  volume = "44",
  number = "4",
  year = "2015",
  publisher = "Springer"
}

@inproceedings{LotJo16, 
  author = "Foad Lotfifar and Matthew Johnson",
  title = "{A Serial Multilevel Hypergraph Partitioning Algorithm}",
  booktitle = "Computing Research Repository",
  year = "2016"
}

@inproceedings{LueScBaKeKi18, 
  author = {Stefan L\"{u}dtke and Max Schr\"{o}der and Sebastian Bader and Kristian Kersting and Thomas Kirste},
  title = "{Lifted Filtering via Exchangeable Decomposition}",
  booktitle = "IJCAI-18 Proceedings of the 27th International Joint Conference on Artificial Intelligence",
  pages = {5067--5073},
  year = "2018",
  publisher = {IJCAI Organization}
}

@article{LuoZhXuFuRe17, 
  author = "Ting Luo and Xinwei Zheng and Guangluan Xu and Kun Fu and Wenjuan Renl",
  title = "{An Improved DBSCAN Algorithm to Detect Stops in Individual Trajectories}",
  journal = "International Journal of Geo-Information",
  pages = {63},
  volume = {6},
  year = "2017"
}

@inproceedings{MaiTaOkJe10, 
  author = "Marc Maier and Brian Taylor and Huseyin Oktay and David Jensen",
  title = "{Learning Causal Models of Relational Domains}",
  booktitle = "AAAI-10 Proceedings of the 25th AAAI Conference on Artificial Intelligence",
  pages = "531--538",
  year = "2010",
  publisher = {AAAI Press}
}

@inproceedings{MaiMaArJe13, 
  author = "Marc Maier and Katerina Marazopoulou and David Arbour and David Jensen",
  title = "{A Sound and Complete Algorithm for Learning Causal Models from Relational Data}",
  booktitle = "UAI-13 Proceedings of the 29th Conference on Uncertainty in Artificial Intelligence",
  pages = {371--380},
  year = "2013",
  publisher = {AUAI Press}
}

@inproceedings{MaXiPr12, 
  author = "Nam Ma and Yinglong Xia and Viktor K. Prasanna",
  title = "{Parallel Exact Inference on Multicore Using MapReduce}",
  booktitle = "2012 IEEE 24th International Symposium on Computer Architecture and High Performance Computing ",
  pages = {187--194},
  year = "2012",
  publisher = {IEEE}
}

@techreport{McC63, 
  author = "John McCarthy",
  title = "{Situations, Actions, and Causal Laws}",
  year = "1963",
  institution = "{Standford University}"
}

@inproceedings{MihRi09, 
  author = "Lilyana Mihalkova and Matthew Richardson",
  title = "{Speeding up Inference in Statistical Relational Learning by Clustering Similar Query Literals}",
  booktitle = "ILP-09 Proceedings of the 19th International Conference on Inductive Logic Programming",
  pages = {110--122},
  year = "2009",
  publisher = {Springer}
}

@phdthesis{Mil06, 
  author = "Brian Milch",
  title = "{Probabilistic Models with Unknown Objects}",
  school = {University of California, Berkeley},
  year = {2006}
}

@inproceedings{MilMaRuSoOnKo05, 
  author = "Brian Milch and Bhaskara Marthi and Stuart Russell and David Sontag and Daniel L. Long and Andrey Kolobov",
  title = "{BLOG: Probabilistic Models with Unknown Objects}",
  booktitle = "IJCAI-05 Proceedings of the 19rd International Joint Conference on Artificial Intelligence",
  pages = "1352--1359",
  year = "2005",
  publisher = {IJCAI Organization}
}

@inproceedings{MilZeKeHaKa08, 
  author = "Brian Milch and Luke S. Zettelmoyer and Kristian Kersting and Michael Haimes and Leslie Pack Kaelbling",
  title = "{Lifted Probabilistic Inference with Counting Formulas}",
  booktitle = "AAAI-08 Proceedings of the 23rd AAAI Conference on Artificial Intelligence",
  pages = "1062--1068",
  year = "2008",
  publisher = {AAAI Press}
}

@inproceedings{MinWi09,
  title={Gates},
  author={Tom Minka and John Winn},
  booktitle={NIPS-09 Advances in Neural Information Processing Systems 23},
  pages={1073--1080},
  year={2009},
  publisher = {Curran Associates, Inc.}
}

@inproceedings{MitBhGoSi19, 
  author = "Happy Mittal and Ayush Bhardwaj and Vibhav Gogate and Parag Singla",
  title = "{Domain-size Aware Markov Logic Networks}",
  booktitle = "AISTATS-19 Proceedings of the 22nd International Conference on Artificial Intelligence and Statistics",
  pages={3216--3224},
  year = "2019",
  publisher = {PMLR}
}

@inproceedings{MlaKeGl14, 
  author = "Martin Mladenov and Kristian Kersting and Amir Globerson",
  title = "{Efficient Lifting of MAP LP Relaxations Using k-Locality}",
  booktitle = "AISTATS-14 Proceedings of the 17th International Conference on Artificial Intelligence and Statistics",
  pages = {623--632},
  year = "2014",
  publisher = {PMLR}
}

@article{MunSgBaLu17, 
  author = "Luis Mu{\~{n}}oz-Gonz{\'{a}}lez and Daniele Sgandurra and Mart{\'{\i}}n Barr{\`{e}}re and Emil C. Lupu",
  title = "{Exact Inference Techniques for the Analysis of Bayesian Attack Graphs}",
  journal = "IEEE Transactions on Dependable and Secure Computing",
  volume = "PP",
  number = "99",
  pages = "1--14",
  year = "2017"
}

@phdthesis{Mur02,
  author = {Kevin Patrick Murphy},
  title = "{Dynamic Bayesian Networks: Representation, Inference and Learning}",
  school = {University of California, Berkeley},
  year = {2002}
}

@inproceedings{NaiTaYoPyMa03, 
  author = "Ranjit Nair and Milind Tambe and Makoto Yokoo and David V.\ Pynadath and Stacy Marsella",
  title = "{Taming Decentralized POMDPs: Towards Efficient Policy Computation for Multiagent Settings}",
  booktitle = "IJCAI-03 Proceedings of the 18th International Joint Conference on Artificial Intelligence",
  pages = {705--711},
  year = "2003",
  publisher = {IJCAI Organization}
}

@inproceedings{NatDo09,
  title="{A Language for Relational Decision Theory}",
  author={Aniruddh Nath and Pedro Domingos},
  booktitle={Proceedings of the 6th International Workshop on Statistical Relational Learning},
  year={2009}
}

@inproceedings{NatDo10, 
  author = "Aniruddh Nath and Pedro Domingos",
  title = "{Efficient Belief Propagation for Utility Maximisation and Repeated Inference}",
  booktitle = "AAAI-10 Proceedings of the 24th AAAI Conference on Artificial Intelligence",
  pages = {1187--1192},
  year = "2010",
  publisher = {AAAI Press}
}

@inproceedings{NatDo10a, 
  author = "Aniruddh Nath and Pedro Domingos",
  title = "{Efficient Lifting for Online Probabilistic Inference}",
  booktitle = "AAAI-10 Proceedings of the 24th AAAI Conference on Artificial Intelligence",
  pages = {64--69},
  year = "2010",
  publisher = {AAAI Press}
}

@article{NieJe04,
  author = "Thomas D. Nielsen and Finn V. Jensen",
  title = "{Learning a Decision Maker's Utility Function from (Possibly) Inconsistent Behaviour}",
  journal = "Artificial Intelligence",
  pages = "53--78",
  volume = "160",
  year = "2004"
}

@inproceedings{Nie12, 
  author = "Mathias Niepert",
  title = "{Markov Chains on Orbits of Permutation Groups}",
  booktitle = "UAI-12 Proceedings of the 28th Conference on Uncertainty in Artificial Intelligence",
  pages = {624--633},
  year = "2012",
  publisher = {AUAI Press}
}

@inproceedings{Nie13, 
  author = "Mathias Niepert",
  title = "{Symmetry-aware Marginal Density Estimation}",
  booktitle = "AAAI-13 Proceedings of the 27th AAAI Conference on Artificial Intelligence",
  pages = {725--731},
  year = "2013",
  publisher = {AAAI Press}
}

@inproceedings{NieBr14, 
  author = "Mathias Niepert and Guy {Van den Broeck}",
  title = "{Tractability through Exchangeability: A New Perspective on Efficient Probabilistic Inference}",
  booktitle = "AAAI-14 Proceedings of the 28th AAAI Conference on Artificial Intelligence",
  pages = {2467--2475},
  year = "2014",
  publisher = {AAAI Press}
}

@masterthesis{Nil94,
  author = "D. Nilsson",
  title = "{An Algorithm for Finding the M Most Probable Configurations of Discrete Variables That Are Specified in Probabilistic Expert Systems}",
  year = "1994",
  school = "University of Copenhagen"
}

@article{Nil98, 
  author = "D. Nilsson",
  journal = "Statistics and Computing",
  title = "{An Efficient Algorithm for Finding the M Most Probable Configurations in Probabilistic Expert Systems}",
  volume = "8",
  number = "2",
  pages = "159--173",
  year = "1998"
}

@book{OliAm16, 
  author = "Frans A. Oliehoek and Christopher Amato",
  title = "{A Concise Introduction to Decentralised POMDPs}",
  year = "2016",
  publisher = "Springer"
}

@incollection{PapMa07, 
  author = "David A. Papa and Igor L. Markov",
  title = "{Hypergraph Partitioning and Clustering}",
  booktitle = "Handbook of Approximation Algorithms and Metaheuristics",
  year = "2007",
  publisher = "Chapman and Hall/CRC"
}

@inproceedings{Par02, 
  author = "James D. Park",
  title = "{Using Weighted MAX-SAT Engines to Solve MPE}",
  booktitle = "Proceedings of the 18th National Conference on Artificial intelligence",
  pages = "682--687",
  year = "2002",
  publisher = {AAAI Press}
}

@inproceedings{ParDa03, 
  author = "James D. Park and Adnan Darwiche",
  title = "{Morphing the Hugin and Shenoy-Shafer Architectures}",
  booktitle = "ECSQARU-03 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty",
  pages = "149--160",
  year = "2003"
}

@inproceedings{Pas14, 
  author = "Stephen Pasteris",
  title = "{A Time and Space Efficient Junction Tree Algorithm}",
  booktitle = "Computing Research Repository",
  year = "2014"
}

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

@article{Pea95, 
  author = "Judea Pearl",
  title = "{Causal Diagrams for Empirical Research}",
  journal = "Biometrika",
  pages = "669--688",
  volume = "82",
  issue = "4",
  year = "1995"
}

@article{Pea09, 
  author = "Judea Pearl",
  title = "{Causal Inference in Statistics: An Overview}",
  journal = "Statistics Survey",
  pages = "96--146",
  volume = "3",
  year = "2009"
}

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

@article{PeaVe95, 
  author = "Judea Pearl and Thomas S. Verma",
  title = "{A Theory of Inferred Causation}",
  journal = "Studies in Logic and the Foundations of Mathematics",
  pages = {789--811},
  volume = {134},
  year = "1995"
}

@article{Poo97, 
  author = "David Poole",
  title = "{The Independent Choice Logic for Modelling Multiple Agents under Uncertainty}",
  journal = "Jounal of Artificial Intelligence",
  pages = "7--56",
  volume = "94",
  year = "1997"
}

@inproceedings{Poo03, 
  author = "David Poole",
  title = "{First-order Probabilistic Inference}",
  booktitle = "IJCAI-03 Proceedings of the 18th International Joint Conference on Artificial Intelligence",
  pages = {985--991},
  year = "2003",
  publisher = {IJCAI Organization}
}

@inproceedings{PooBuKaKeNa14, 
  author = "David Poole and David Buchman and Seyed Mehran Kazemi and Kristian Kersting and Sriraam Natarajan",
  title = "{Population Size Extrapolation in Relational Probabilistic Modeling}",
  booktitle = "SUM-14 Proceedings of the 8th International Conference on Scalable Uncertainty Management",
  pages = {292--305},
  year = "2014",
  publisher = {Springer}
}

@article{PooZh03, 
  author = "David Poole and Nevin L. Zhang",
  title = "{Exploiting Contextual Independence in Probabilistic Inference}",
  journal = "Jounal of Artificial Intelligence",
  pages = "263--313",
  volume = "18",
  year = "2003"
}

@inproceedings{RaeTh10,
  author={Luc {De Raedt} and Ingo Thon},
  title="{Probabilistic Rule Learning}",
  booktitle={ILP-10 Proceedings of the International Conference on Inductive Logic Programming},
  pages={47--58},
  year={2010},
  publisher = {Springer}
}

@inproceedings{RaeDrThBrVe15,
  author={Luc {De Raedt} and Anton Dries and Ingo Thon and Guy {Van den Broeck} and Mathias Verbeke},
  title="{Inducing Probabilistic Relational Rules from Probabilistic Examples}",
  booktitle={IJCAI-15 Proceedings of 24th International Joint Conference on Artificial Intelligence},
  pages={1835--1842},
  year={2015},
  publisher = {IJCAI Organization}
}

@inproceedings{RaeKiTo07,
  author={Luc {De Raedt} and Angelika Kimmig and Hannu Toivonen},
  title="{ProbLog: A Probabilistic Prolog and its Application in Link Discovery}",
  booktitle={IJCAI-07 Proceedings of 20th International Joint Conference on Artificial Intelligence},
  pages={2062--2467},
  year={2007},
  publisher = {IJCAI Organization}
}

@incollection{Ram31, 
  author = "Frank P. Ramsey",
  title = "{Truth and Probability}",
  booktitle = "The Foundations of Mathematics and Other Logical Essays",
  year = "1931",
  publisher = {Harcourt Brace Jovanovich}
}

@book{RamGe03, 
  author = "Raghu Ramakrishnan and Johannes Gehrke",
  title = "{Database Management Systems (3. ed.)}",
  year = "2003",
  publisher = "McGraw-Hill"
}

@article{RicDo06, 
  author = "Matthew Richardson and Pedro Domingos",
  title = "{Markov Logic Networks}",
  journal = "Machine Learning",
  volume = "62",
  number = "1--2",
  pages = "107--136",
  year = "2006",
  publisher = {Kluwer Academic Publishing}
}

@book{RusNo10, 
  author = "Stuart Russell and Peter Norvig",
  title = "{Artificial Intelligence: A Modern Approach}",
  year = "2010",
  publisher = "Pearson"
}

@book{RusNo20, 
  author = "Stuart Russell and Peter Norvig",
  title = "{Artificial Intelligence: A Modern Approach}",
  year = "2020",
  publisher = "Pearson"
}

@inproceedings{SanBeKa05,
  author = {Tian Sang and Paul Bearne and Henry Kautz},
  title = "{Performing Bayesian Inference by Weighted Model Counting}",
  booktitle = {Proceedings of the 20th National Conference on Artificial Intelligence},
  year = {2005},
  pages = {475--481},
  publisher = {AAAI Press}
}

@inproceedings{SanBo05,
  author={Scott Sanner and Craig Boutilier},
  title={{Approximate Solution Techniques for First-order MDPs}},
  booktitle = {UAI-05 Proceedings of the 21th Conference on Uncertainty in Artificial Intelligence},
  year = {2005},
  pages = {509--517},
  publisher = {AUAI Press}
}

@inproceedings{SanBo07,
  author={Scott Sanner and Craig Boutilier},
  title={{Approximate Solution Techniques for Factored First-order MDPs}},
  booktitle = {ICAPS-07 Proceedings of the 17th International Conference on Automated Planning and Scheduling},
  year = {2007},
  pages = {288--295},
  publisher = {AAAI Press},
}

@article{SanBo09,
  author={Scott Sanner and Craig Boutilier},
  title={{Practical Solution Techniques for First-order MDPs}},
  journal = {Artificial Intelligence Journal},
  year = {2009},
  volume = {173},
  issue = {5--6},
  pages = {748--788},
  publisher = {Elsevier},
}

@article{SanDoWe05,
  author = "Sumit Sanghai and Pedro Domingos and Daniel Weld",
  title = "{Relational Dynamic Bayesian Networks}",
  journal = "Journal of Artificial Intelligence Research",
  pages = "759--797",
  volume = "24",
  year = "2005"
}
  number = "1",

@inproceedings{SanKe10,
 author = {Scott Sanner and Kristian Kersting},
 title = {{Symbolic Dynamic Programming for First-order POMDPs}},
 booktitle = {AAAI-10 Proceedings of the 24th AAAI Conference on Artificial Intelligence},
 year = {2010},
 pages = {1140--1146},
 publisher = {AAAI Press},
} 

@inproceedings{SarVeSiGo14,
    author = {Somdeb Sarkhel and Deepak Venugopal and Parag Singla and Vibhav Gogate},
    title = "{Lifted MAP Inference for Markov Logic Networks}",
    booktitle = {AISTATS-14 Proceedings of the 17th International Conference on Artificial Intelligence and Statistics},
    pages = {859--867},
    year = {2014},
    publisher = {AAAI Press}
}

@inproceedings{Sat95,
    author = {Taisuke Sato},
    title = "{A Statistical Learning Method for Logic Programs with Distribution Semantics}",
    booktitle = {Proceedings of the 12th International Conference on Logic Programming},
    year = {1995},
    pages = {715--729},
    publisher = {MIT Press}
}

@inproceedings{SchLuBaKrKi17,
  author = {Max Schr\"oder and Stefan L\"udtke and Sebastian Bader and Frank Kr\"uger and Thomas Kirste}, 
  title = {{LiMa: Sequential Lifted Marginal Filtering on Multiset State Descriptions}}, 
  booktitle = {Proceedings of {KI} 2017: Advances in Artificial Intelligence}, 
  pages = "222--235",
  year = {2017},
  publisher = {Springer}
}

@inproceedings{SenDeGe09, 
  author = "Prithviraj Sen and Amol Deshpande and Lise Getoor",
  title = "{Bisimulation-based Approximate Lifted Inference}",
  booktitle = "UAI-09 Proceedings of the 25th Conference on Uncertainty in Artificial Intelligence",
  pages = {496--505},
  year = "2009",
  publisher = {AUAI Press}
}

@article{ShaSh89, 
  author = "Glenn R. Shafer and Prakash P. Shenoy",
  title = "{Probability Propagation}",
  journal = "Annals of Mathematics and Artificial Intelligence",
  volume = "2",
  number = "1",
  pages = "327--351",
  year = "1990"
}

@techreport{ShaSh91, 
  author = "Glenn R. Shafer and Prakash P. Shenoy",
  title = "{Local Computations in Hypertrees}",
  year = "1991",
  institution = "{School of Business Working Paper}"
}

@inproceedings{ShaShMiGoSi18, 
  author = "Vishal Sharma and Noman Ahmed Sheikh and Happy Mittal and Vibhav Gogate and Parag Singla",
  title = "{Lifted Marginal MAP Inference}",
  booktitle = "UAI-18 Proceedings of the 34th Conference on Uncertainty in Artificial Intelligence",
  pages={917--926},
  year = "2018",
  publisher = {AUAI Press}
}

@article{SheSh90, 
  author = "Prakash P. Shenoy and Glenn R. Shafer",
  title = "{Axioms for Probability and Belief-Function Propagation}",
  journal = "Uncertainty in Artificial Intelligence 4",
  pages = "169--198",
  volume = "9",
  year = "1990"
}

@inproceedings{ShtReVlKiMeJa15,
 author = {Dimitar Shterionov and Joris Renkens and Jonas Vlasselaer and Angelika Kimmig and Wannes Meert and Gerda Janssens},
 title = {The Most Probable Explanation for Probabilistic Logic Programs with Annotated Disjunctions},
 booktitle = {Revised Selected Papers of the 24th International Conference on Inductive Logic Programming - Volume 9046},
 pages = {139--153},
 year = {2015},
 publisher = {Springer}
} 

@inproceedings{SinDo07, 
  author = "Parag Singla and Pedro Domingos",
  title = "{Markov Logic in Infinite Domains}",
  booktitle = "UAI-07 Proceedings of the 23rd Conference on Uncertainty in Artificial Intelligence",
  pages = "368--375",
  year = "2007",
  publisher = {AUAI Press}
}

@inproceedings{SinDo08, 
  author = "Parag Singla and Pedro Domingos",
  title = "{Lifted First-order Belief Propagation}",
  booktitle = "AAAI-08 Proceedings of the 23rd AAAI Conference on Artificial Intelligence",
  pages = "1094--1099",
  year = "2008",
  publisher = {AAAI Press}
}

@inproceedings{SinNaDo10, 
  author = "Parag Singla and Aniruddh Nath and Pedro Domingos",
  title = "{Approximate Lifted Belief Propagation}",
  booktitle = "Proceedings of the 6th AAAI Conference on Statistical Relational Artificial Intelligence",
  pages = {92--97},
  year = "2010",
  publisher = {AAAI Press}
}

@inproceedings{SinNaDo14, 
  author = "Parag Singla and Aniruddh Nath and Pedro Domingos",
  title = "{Approximate Lifting Techniques for Belief Propagation}",
  booktitle = "AAAI-14 Proceedings of the 28th AAAI Conference on Artificial Intelligence",
  pages = {2497--2504},
  year = "2014",
  publisher = {AAAI Press}
}

@inproceedings{SmiGo13, 
  author = "David Brodie Smith and Vibhav Gogate",
  title = "{The Inclusion-Exclusion Rule and its Application to the Junction Tree Algorithm}",
  booktitle = "IJCAI-13 Proceedings of the 23th International Joint Conference on Artificial Intelligence",
  pages = {2568--2575},
  year = "2014",
  publisher = {IJCAI Organization}
}

@inproceedings{SpiGlSc90, 
  author = "Peter Spirtes and Clark Glymour and Richard Scheines",
  title = "{Causality from Probability}",
  booktitle = "Proceedings of the Conference on Advanced Computing for the Social Sciences",
  pages = {1--18},
  year = "1990"
}

@article{SpiGl91, 
  author = "Peter Spirtes and Clark Glymour",
  title = "{An Algorithm for Fast Recovery of Sparse Causal Graphs}",
  journal = "Social Science Computer Review",
  volume = {9},
  issue = {1},
  pages = {62--72},
  year = "1991"
}

@inproceedings{SriRuPf12,
  author={Siddharth Srivastava and Stuart Russell and Avi Pfeffer},
  title={{First-order Models for POMDPs}},
  booktitle={StarAI-12 Workshop on Statistical Relational Artificial Intelligence},
  year={2012}
}

@inproceedings{SriRuRuCh14,
  author={Siddharth Srivastava and Stuart Russell and Paul Ruan and Xiang Cheng},
  title={{First-order Open-universe POMDPs}},
  booktitle={UAI-14 Proceedings of the 30th Conference on Uncertainty in Artificial Intelligence},
  pages = {742--751},
  year={2014},
  organization={AUAI Press}
}

@phdthesis{Tag13, 
  author = "Nima Taghipour",
  title = "{Lifted Probabilistic Inference by Variable Elimination}",
  school = "KU Leuven",
  year = "2013"
}

@inproceedings{TagDa12, 
  author = "Nima Taghipour and Jesse Davis",
  title = "{Generalised Counting for Lifted Variable Elimination}",
  booktitle = "Proceedings of the 2nd International Workshop on Statistical Relational AI",
  pages = "1--8",
  year = "2012"
}

@incollection{TagDaBl13,
  author = {Nima Taghipour and Jesse Davis and Hendrik Blockeel},
  title = {{First-order Decomposition Trees}},
  booktitle = {NIPS-13 Advances in Neural Information Processing Systems 26},
  pages = "1052--1060",
  year = {2013},
  publisher = {Curran Associates, Inc.}
}
%  url = {http://papers.nips.cc/paper/5160-first-order-decomposition-trees.pdf}

@inproceedings{TagDaBl13a,
  author = "Nima Taghipour and Jesse Davis and Hendrik Blockeel",
  title = "{Generalised Counting for Lifted Variable Elimination}",
  booktitle = "ILP-13 Proceedings of the International Conference on Inductive Logic Programming",
  pages = "107--122",
  year = "2013",
  publisher= "Springer"
}

@article{TagFiDaBl13,
  author = "Nima Taghipour and Daan Fierens and Jesse Davis and Hendrik Blockeel",
  title = "{Lifted Variable Elimination: Decoupling the Operators from the Constraint Language}",
  journal = "Journal of Artificial Intelligence Research",
  pages = "393--439",
  volume = "47",
  number = "1",
  year = "2013"
}

@inproceedings{TagFiBrDaBl13,
  author = "Nima Taghipour and Daan Fierens and Guy {Van den Broeck} and Jesse Davis and Hendrik Blockeel",
  title = "{Completeness Results for Lifted Variable Elimination}",
  booktitle = "AISTATS-13 Proceedings of the 16th International Conference on Artificial Intelligence and Statistics",
  pages = "572--580",
  year = "2013",
  publisher = {AAAI Press}
}

@inproceedings{TehWe03,
  author = "Yee Whye Teh and Max Welling",
  title = "{On Improving the Efficiency of the Iterative Proportional Fitting Procedure}",
  booktitle = "AISTATS-03 Proceedings of the 9th International Workshop on Artificial Intelligence and Statistics",
  pages = "1--8",
  year = "2003",
  publisher = {Society for Artificial Intelligence and Statistics}
}

@inproceedings{ThiFiLoKeBe10, 
  author = "Matthias Thimm and Marc Finthammer and Sebastian Loh and Gebriele Kern-Isberner and Christoph Beierle",
  title = "{A System for Relational Probabilistic Reasoning on Maximum Entropy}",
  booktitle = "FLAIRS-10 Proceedings of the 23rd International Florida Artificial Intelligence Research Society Conference",
  pages = "116--121",
  year = "2010",
  publisher = {AAAI Press}
}

@article{VatNo14, 
  author = "Divyanshu Vats and Robert D. Nowak",
  journal = "Journal of Machine Learning Research",
  title = "{A Junction Tree Framework for Undirected Graphical Model Selection}",
  pages = {147--191},
  volume = "15",
  year = "2014"
}

@inproceedings{VenGo12, 
  author = "Deepak Venugopal and Vibhav Gogate",
  title = "{On Lifting the Gibbs Sampling Algorithm}",
  booktitle = "NIPS-12 Advances in Neural Information Processing Systems 25",
  pages = {1655--1663},
  year = "2012",
  publisher = {Curran Associates, Inc.}
}

@inproceedings{VenGo14, 
  author = "Deepak Venugopal and Vibhav Gogate",
  title = "{Evidence-Based Clustering for Scalable Inference in Markov Logic}",
  booktitle = "ECML PKDD 2014: Machine Learning and Knowledge Discovery in Databases",
  pages = {258--273},
  year = "2014",
  publisher = {Springer}
}

@inproceedings{VenSaCh16, 
  author = "Deepak Venugopal and Somdeb Sarkhel and Kyle Cherry",
  title = "{Non-parametric Domain Approximation for Scalable Gibbs Sampling in MLNs}",
  booktitle = "UAI-16 Proceedings of the 32nd Conference on Uncertainty in Artificial Intelligence",
  pages = {745--754},
  year = "2016",
  publisher = {AUAI Press}
}

@inproceedings{VenSaGo15, 
  author = "Deepak Venugopal and Somdeb Sarkhel and Vibhav Gogate",
  title = "{Just Count the Satisfied Groundings: Scalable Local-Search and Sampling Based Inference in MLNs}",
  booktitle = "AAAI-15 Proceedings of the 29th AAAI Conference on Artificial Intelligence",
  pages = {3606-3612},
  year = "2015",
  publisher = {AAAI Press}
}

@phdthesis{Vla13, 
  author = "Jonas Vlasselaer",
  title = "{Probabilistic Inference for Dynamic and Relational Models}",
  school = "KU Leuven",
  year = "2013"
}

@article{VlaMeBrRa16, 
  author = "Jonas Vlasselaer and Wannes Meert and Guy {Van den Broeck} and Luc {De Raedt}",
  title = "{Exploiting Local and Repeated Structure in Dynamic Baysian Networks}",
  journal = "Artificial Intelligence",
  pages = "43--53",
  volume = "232",
  year = "2016"
}

@book{NeuMo44, 
  author = "John von Neumann and Oskar Morgenstern",
  title = "{Theory of Games and Economic Behaviour}",
  year = "1944",
  publisher = "Princeton University Press"
}

@inproceedings{WemMoWiLeKaNe07,
  author = "Bastian Wemmenhove and Joris M. Mooij and Wim Wiegerinck and Martijn Leisink and Hilbert J. Kappen and Jan P. Neijt",
  title = "{Inference in the Promedas Medical Expert System}",
  booktitle = "Conference on Artificial Intelligence in Medicine in Europe",
  pages = "456--460",
  year = "2007",
  publisher = "Springer"
}

@inbook{WieKaBu10,
  author = "Wim Wiegerinck and Bert Kappen and Willem Burgers",
  title = "{Bayesian Networks for Expert Systems: Theory and Practical Applications}",
  booktitle = "Interactive Collaborative Information Systems",
  pages = "547--578",
  year = "2010",
  publisher = "Springer",
}

@inproceedings{Win12,
  title={Causality with Gates},
  author={John Winn},
  booktitle={AISTATS-12 Proceedings of the 15th International Conference on Artificial Intelligence and Statistics},
  pages={1314--1322},
  year={2012},
  publisher = {PMLR}
}

@inproceedings{XiaPr08, 
  author = "Yinglong Xia and Viktor K. Prasanna",
  title = "{Junction Tree Decomposition for Parallel Exact Inference}",
  booktitle = "Proceedings of the 22nd International Parallel and Distributed Processing Symposium",
  pages = {1--12},
  year = "2008",
  publisher = {IEEE}
}

@inproceedings{ZhaPo94, 
  author = "Nevin L. Zhang and David Poole",
  title = "{A Simple Approach to Bayesian Network Computations}",
  booktitle = "Proceedings of the 10th Canadian Conference on Artificial Intelligence",
  pages = "171--178",
  year = "1994",
  publisher = {Springer}
}

@inproceedings{ZhaSrKuChZhKa17, 
  author = "Yu Zhang and Sarath Sreedharan and Anagha Kulkarni and Tathagata Chakraborti and Hankz Hankui Zhuo and Subbarao Kambhampati",
  title = "{Plan Explicability and Predictability for Robot Task Planning}",
  booktitle = "ICRA-17 Proceedings of the International Conference on Robotics and Automation",
  pages = "1313--1320",
  year = "2017",
  publisher = {IEEE Organization}
}


@techreport{BraMo16,
  author = {Tanya Braun and Ralf M\"oller},
  title = {{Lifted Junction Tree Algorithm}},
  year = {2016},
  institution = {IFIS, Universit{\"a}t zu L{\"u}beck},
  note = {Long version of the KI 2016 conference paper}
}

@inproceedings{BraMo16a,
  author = {Tanya Braun and Ralf M\"oller}, 
  title = {{Lifted Junction Tree Algorithm}}, 
  booktitle = {Proceedings of {KI} 2016: Advances in Artificial Intelligence}, 
  pages = "30--42",
  year = {2016},
  publisher = "Springer"
}
%  doi = {10.1007/978-3-319-46073-4},
%  isbn = {978-3-319-46072-7}
% - 39th Annual German Conference on AI, Klagenfurt, Austria, September 26--30, 2016},

@inproceedings{BraMo17,
  author = {Tanya Braun and Ralf M\"oller}, 
  title = {{Counting and Conjunctive Queries in the Lifted Junction Tree Algorithm}}, 
  booktitle = {GKR 2017 5th International Workshop on Graph Structures for Knowledge Representation and Reasoning},
  year = {2017}
}

@inproceedings{BraMo17a,
  author = {Tanya Braun and Ralf M\"oller}, 
  title = {{Preventing Groundings and Handling Evidence in the Lifted Junction Tree Algorithm}}, 
  booktitle = {Proceedings of {KI} 2017: Advances in Artificial Intelligence}, 
  pages = "85--98",
  year = {2017},
  publisher = "Springer"
}
% - 40th Annual German Conference on AI, Dortmund, Germany, September 25--29, 2017},
%doi = {10.1007/978-3-319-46073-4},
%isbn = {978-3-319-46072-7}

@inproceedings{BraMo18,
  author = {Tanya Braun and Ralf M\"oller}, 
  title = {{Counting and Conjunctive Queries in the Lifted Junction Tree Algorithm - Extended}}, 
  booktitle = {Postproceedings of the 5th International Workshop on Graph Structures for Knowledge Representation and Reasoning at the 26th International Joint Conference on Artificial Intelligence},
  pages = "54--72",
  year = {2018},
  publisher = {Springer}
}

@inproceedings{BraMo18a,
  author = {Tanya Braun and Ralf M\"oller}, 
  title = {{Lifted Most Probable Explanation}}, 
  booktitle = {Proceedings of the International Conference on Conceptual Structures},
  pages = "39--54",
  year = {2018},
  publisher = {Springer}
}

@inproceedings{BraMo18b,
  author = {Tanya Braun and Ralf M\"oller}, 
  title = {{Parameterised Queries and Lifted Query Answering}}, 
  booktitle = {IJCAI-18 Proceedings of the 27th International Joint Conference on Artificial Intelligence},
  pages = {4980--4986},
  year = {2018},
  publisher = {IJCAI Organization}
}

@inproceedings{BraMo18c,
  author = {Tanya Braun and Ralf M\"oller}, 
  title = {{Fusing First-order Knowledge Compilation and the Lifted Junction Tree Algorithm}}, 
  booktitle = {8th International Workshop on Statistical Relational AI at the 27th International Joint Conference on Artificial Intelligence}, 
  year = {2018}
}

@inproceedings{BraMo18d,
  author = {Tanya Braun and Ralf M\"oller}, 
  title = {{Fusing First-order Knowledge Compilation and the Lifted Junction Tree Algorithm}}, 
  booktitle = {Proceedings of {KI} 2018: Advances in Artificial Intelligence}, 
  pages = {24--37},
  year = {2018},
  publisher = {Springer}
}

@inproceedings{BraMo18e,
  author = {Tanya Braun and Ralf M\"oller}, 
  title = {{Adaptive Inference on Probabilistic Relational Models}}, 
  booktitle = {Proceedings of {AI} 2018: Advances in Artificial Intelligence}, 
  pages = {487--500},
  year = {2018},
  publisher = {Springer}
}

@inproceedings{BraMo19a,
  author = {Tanya Braun and Ralf M\"oller}, 
  title = {{Exploring Unknown Universes in Probabilistic Relational Models}}, 
  booktitle = {Proceedings of {AI} 2019: Advances in Artificial Intelligence}, 
  year = {2019},
  publisher = {Springer}
}
  pages = {487--500},
  
@inproceedings{BraMo20a,
  author = {Tanya Braun and Ralf M\"oller}, 
  title = {{Exploring Unknown Universes in Probabilistic Relational Models}}, 
  booktitle = {9th International Workshop on Statistical Relational AI at the 34th AAAI Conference on Artificial Intelligence}, 
  year = {2020}
}

@inproceedings{Bra19,
  author = {Tanya Braun}, 
  title = {{StaRAI or StaRDB? - A Tutorial on Statistical Relational AI}}, 
  booktitle = {BTW-19 Proceedings Datenbanksysteme f\"ur Business, Technologie und Web -- Workshopband}, 
  pages = {263--266},
  year = {2019},
  publisher = {Gesellschaft f\"ur Informatik}
}

 @inproceedings{BraGe19a,
  author = {Tanya Braun and Marcel Gehrke}, 
  title = {{Inference in Statistical Relational AI}}, 
  Booktitle = {Proceedings of the International Conference on Conceptual Structures 2019},
  year = {2019},
  publisher = {Springer}
}

@phdthesis{Bra20, 
  author = {Tanya Braun},
  title = {{Rescued from a Sea of Queries: Exact Inference in Probabilistic Relational Models}},
  school = {University of L\"ubeck},
  year = {2020}
}

@inproceedings{BraMo20,
  author = {Tanya Braun and Ralf M\"oller}, 
  title = {{Exploring Unknown Universes in Probabilistic Relational Models}}, 
  booktitle = {9th International Workshop on Statistical Relational AI at the 34th AAAI Conference on Artificial Intelligence}, 
  year = {2020},
  url = {https://arxiv.org/abs/2001.02021}
}
  
@inproceedings{BraMo20b,
  author = {Tanya Braun and Ralf M\"oller}, 
  title = {{Lifting Queries for Lifted Inference -- Highlight Paper}}, 
  booktitle = {Proceedings of the 24th European Conference on Artificial Intelligence (ECAI 2020)}, 
  year = {2020}
}
  
  
@inproceedings{BraKuMo17,
  author = {Tanya Braun and Felix Kuhr and Ralf M\"oller}, 
  title = {{Unsupervised Text Annotations}}, 
  booktitle = {Formal and Cognitive Reasoning - Workshop at the 40th German Conference on Artificial Intelligence (KI-2017)},
  year = {2017}
}


@article{BraMoready, 
  author = {Tanya Braun and Ralf M\"oller}, 
  title = "{Avoiding Repetition in Repeated Inference on Probabilistic Relational Models: The Lifted Junction Tree Algorithm}",
  note = "Submitted."
}
  journal = "Journal of Artificial Intelligence Research",
  volume = "0",
  pages = "1--60",
  year = "2019",
  
 @techreport{BraMo, 
  author = {Tanya Braun and Ralf M\"oller}, 
  title = "{Lifted Most Probable Assignments}",
}
  note = "To be submitted."
%  journal = "Artificial Intelligence",
  pages = "1--86",

@techreport{BraMo21, 
  author = {Tanya Braun and Ralf M\"oller}, 
  title = "{Even More Queries on Probabilistic Relational Models}",
}
  pages = "1--86",
  note = "To be submitted."
%  journal = "Journal of Artificial Intelligence Research",
  volume = "0",
  year = "2019",
  

@inproceedings{FinGeBrPoMo2020,
  title = {Investigating Matureness of Probabilistic Graphical Models for Dry-Bulk Shipping},
  booktitle = {Proceedings of Machine Learning Research},
  author = {Nils Finke and Marcel Gehrke and Tanya Braun and Tristan Potten and Ralf Möller},
  year = {2020}
}

@inproceedings{FiBrGeMo21a,
  author = {Nils Finke and Tanya Braun and Marcel Gehrke and Ralf Möller},
  title = {Concept Drift Detection in Dynamic Probabilistic Relational Models},
  booktitle = {FLAIRS-34 Proceedings of the 34rd International Florida Artificial Intelligence Research Society Conference},
  year = {2021},
  notes = {accepted for publication}
}

@inproceedings{FiBrGeMo21b,
  author = {Nils Finke and Tanya Braun and Marcel Gehrke and Ralf Möller},
  title = {Dynamic Domain Sizes in Temporal Probabilistic Relational Models},
  booktitle = {FLAIRS-34 Proceedings of the 34rd International Florida Artificial Intelligence Research Society Conference},
  year = {2021},
  notes = {accepted for publication}
}

@inproceedings{GehBrMo18,
  author = {Marcel Gehrke and Tanya Braun and Ralf M{\"o}ller},
  title = {{Lifted Dynamic Junction Tree Algorithm}},
  booktitle = {Proceedings of the International Conference on Conceptual Structures},
  pages = "55--69",
  year = {2018},
  publisher = {Springer},
}
%  doi = {https://doi.org/10.1007/978-3-319-91379-7_5}

@inproceedings{GehBrMo18a,
  author = {Marcel Gehrke and Tanya Braun and Ralf M\"oller and Alexander Waschkau and Christoph Strumann and Jost Steinh\"auser},
  title = {{Towards Lifted Maximum Expected Utility}},
  booktitle = {Proceedings of the First Joint Workshop on Artificial Intelligence in Health at the 27th International Joint Conference on Artificial Intelligence},
  pages = {93--96},
  volume = {2142},
  year = {2018},
  publisher = {CEUR-WS.org}
}
%series    = {{CEUR} Workshop Proceedings},

@inproceedings{GehBrMo18b,
  author = {Marcel Gehrke and Tanya Braun and Ralf M\"oller}, 
  title = {{Preventing Unnecessary Groundings in the Lifted Dynamic Junction Tree Algorithm}}, 
  booktitle = {8th International Workshop on Statistical Relational AI at the 27th International Joint Conference on Artificial Intelligence}, 
  year = {2018}
}

@inproceedings{GehBrMo18c,
  author = {Marcel Gehrke and Tanya Braun and Ralf M\"oller}, 
  title = {{Answering Hindsight Queries with Lifted Dynamic Junction Trees}}, 
  booktitle = {8th International Workshop on Statistical Relational AI at the 27th International Joint Conference on Artificial Intelligence}, 
  year = {2018}
}

@inproceedings{GehBrMo18d,
  author = {Marcel Gehrke and Tanya Braun and Ralf M\"oller}, 
  title = {{Towards Preventing Unnecessary Groundings in the Lifted Dynamic Junction Tree Algorithm}}, 
  booktitle = {Proceedings of {KI} 2018: Advances in Artificial Intelligence}, 
  pages = {38--45},
  year = {2018},
  publisher = {Springer}
}
%  doi = {https://doi.org/10.1007/978-3-030-00111-7_4}

@inproceedings{GehBrMo18e,
  author = {Marcel Gehrke and Tanya Braun and Ralf M\"oller}, 
  title = {{Answering Multiple Conjunctive Queries with the Lifted Dynamic Junction Tree Algorithm}}, 
  booktitle = {Proceedings of {AI} 2018: Advances in Artificial Intelligence}, 
  year = {2018},
  publisher = {Springer}
}

@inproceedings{GehBrMo18f,
  author = {Marcel Gehrke and Tanya Braun and Ralf M\"oller}, 
  title = {{Preventing Unnecessary Groundings in the Lifted Dynamic Junction Tree Algorithm}}, 
  booktitle = {Proceedings of {AI} 2018: Advances in Artificial Intelligence}, 
  year = {2018},
  publisher = {Springer}
}

@inproceedings{GehBrMo19a,
  author = {Marcel Gehrke and Tanya Braun and Ralf M\"oller}, 
  title = {{Relational Forward Backward Algorithm for Multiple Queries}}, 
  booktitle = {FLAIRS-19 Proceedings of the 32nd International Florida Artificial Intelligence Research Society Conference},
  year = {2019},
  publisher = {AAAI Press}
}

@inproceedings{GehBrMo19b,
  author = {Marcel Gehrke and Tanya Braun and Ralf M\"oller and Alexander Waschkau and Christoph Strumann and Jost Steinh\"{a}user},
  title = {{Lifted Maximum Expected Utility}},
  booktitle = {Artificial Intelligence in Health}, 
  pages={131--141},
  year = {2019},
  publisher = {Springer}
}

@inproceedings{GehBrMo19c,
  author = {Marcel Gehrke and Tanya Braun and Ralf M\"oller}, 
  title = {{Lifted Temporal Most Probable Explanation}}, 
  booktitle = {Proceedings of the International Conference on Conceptual Structures 2019},
  pages = {380--386},
  year = {2019},
  publisher = {Springer}
}

@inproceedings{GehBrMo19d,
  author = {Marcel Gehrke and Tanya Braun and Ralf M\"oller}, 
  title = {{Lifted Temporal Maximum Expected Utility}}, 
	Booktitle = {Proceedings of the 32nd Canadian Conference on Artificial Intelligence, Canadian AI 2019},
  year = {2019},
  publisher = {Springer}
}

@inproceedings{GehBrMo19e,
  author = {Marcel Gehrke and Tanya Braun and Ralf M\"oller}, 
  title = {{Uncertain Evidence for Probabilistic Relational Models}}, 
  Booktitle = {Proceedings of the 32nd Canadian Conference on Artificial Intelligence, Canadian AI 2019},
  year = {2019},
  publisher = {Springer}
}

@inproceedings{GehBrMo19f,
  author = {Marcel Gehrke and Tanya Braun and Ralf M\"oller}, 
  title = {{Efficient Multiple Query Answering in Switched Probabilistic Relational Models}}, 
  Booktitle = {Proceedings of {AI} 2019: Advances in Artificial Intelligence},
  year = {2019},
  publisher = {Springer},
}

@inproceedings{GehBrMo20,
  author = {Marcel Gehrke and Tanya Braun and Ralf M\"oller}, 
  title = {{Taming Reasoning in Temporal Probabilistic Relational Models}}, 
  booktitle = {9th International Workshop on Statistical Relational AI at the 34th AAAI Conference on Artificial Intelligence}, 
  year = {2020}
}

@inproceedings{GehBrMo20a,
  author = {Marcel Gehrke and Tanya Braun and Ralf M\"oller}, 
  title = {{Taming Reasoning in Temporal Probabilistic Relational Models}}, 
  booktitle = {ECAI-20 Proceedings of the 24th European Conference on Artificial Intelligence}, 
  year = {2020}
}

@inproceedings{LueGeBrMoKi20,
  author = {Stefan L\"udtke and Marcel Gehrke and Tanya Braun and Ralf M\"oller and Thomas Kirste}, 
  title = {{Lifted Marginal Filtering for Asymmetric Models by Clustering-based Merging}}, 
  booktitle = {ECAI-20 Proceedings of the 24th European Conference on Artificial Intelligence}, 
  year = {2020}
}

@inproceedings{GehBrPo20,
  author = {Marcel Gehrke and Tanya Braun and Simon Polovina}, 
  title = {{Restricting the Maximum Number of Actions for Decision Support under Uncertaitny}}, 
  booktitle = {ICCS-20 Proceedings of the 25th International Conference on Conceptual Structures}, 
  year = {2020}
}

@inproceedings{GehSchBrMo19a,
  title={{Which Patient to Treat Next? Probabilistic Stream-based Reasoning for Decision Support and Monitoring}},
  author = {Marcel Gehrke and Simon Schiff and Tanya Braun and Ralf M\"oller}, 
  booktitle={Proceedings of the ICBK 2019},
  year={2019},
  pages={73--80},
  publisher = {IEEE}
}

@inproceedings{HarBrMo21,
  author = {Mattis Hartwig and Tanya Braun and Ralf M\"oller}, 
  title = {{Handling Overlaps When Lifting Gaussian Bayesian Networks}}, 
  booktitle = {IJCAI-21 Proceedings of the 30th International Joint Conference on Artificial Intelligence},
  year = {2021},
  publisher = {IJCAI Organization},
  note = {accepted for publication}
}
  pages = {4980--4986},

@inproceedings{KuBrBeMo19a,
  author = {Felix Kuhr and Tanya Braun and Magnus Bender and Ralf M\"oller}, 
  title = {{To Extend or not to Extend? Context-specific Corpus Enrichment}}, 
  booktitle = {Proceedings of {AI} 2019: Advances in Artificial Intelligence},
  year = {2019},
  publisher = {Springer}
}

@inproceedings{KuhBrMo20a,
  author={Felix Kuhr and Tanya Braun and Ralf M\"oller},
  booktitle={{ICSC-20 Proceedings of the 14th IEEE International Conference on Semantic Computing}},
  title={{Augmenting and Automating Corpus Enrichment}},
  year={2020},
  note={Best Student Paper Award}
}

@inproceedings{KuhBeBrMo20b,
  author={Felix Kuhr and Magnus Bender and Tanya Braun and Ralf M\"oller},
  booktitle={{ICSC-20 Proceedings of the 14th IEEE International Conference on Semantic Computing}},
  title={{Maintaining Topic Models for Growing Corpora}},
  year={2020}
}

@article{KuhBeBrMo20c,
  author={Felix Kuhr and Magnus Bender and Tanya Braun and Ralf M\"oller},
  title={Augmenting and Automating Corpus Enrichment},
  journal={International Journal on Semantic Computing},
  volume={14},
  number={2},
  pages= {173--197},
  year={2020}
}

@inproceedings{PotBr20,
  author = {Tristan Potten and Tanya Braun}, 
  title = {{Benchmarking Inference Algorithms for Probabilistic Relational Models}}, 
  booktitle = {ICCS-20 Proceedings of the 25th International Conference on Conceptual Structures}, 
  year = {2020},
  note = {Best Short Paper}
}


@book{GoeBrSc20, 
  author = {G\"unther G\"orz and Tanya Braun and Ute Schmid (Eds.)},
  title = {{Handbuch der Künstlichen Intelligenz}},
  year = {2020},
  publisher = {De Gruyter}
}

@book{AlaBrYu20, 
  author = {Mehwish Alam and Tanya Braun and Bruno Yun (Eds.)},
  title = {{ICCS-20 Proceedings of the 25th International Conference on Conceptual Structures}},
  year = {2020},
  publisher = {Springer}
}

@inproceedings{BraFiLaMo21,
  author = {Tanya Braun and Stefan Fischer and Florian Lau and Ralf M\"oller}, 
  title = {{Lifting DecPOMDPs for Nanoscale Systems --- A Work in Progress}}, 
  booktitle = {10th International Workshop on Statistical Relational AI at the 1st International Joint Conference on Learning and Reasoning}, 
  year = {2021},
  url = {https://arxiv.org/abs/2110.09152}
}