@inproceedings(andreas16learning,
 author       = {Jacob Andreas and Marcus Rohrbach and Trevor Darrell and Dan Klein},
 year         = {2016},
 title        = {Learning to Compose Neural Networks for Question Answering},
 booktitle    = {Proceedings of the 2016 Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies},
 pages        = {1545--1554},
 doi          = {10.18653/v1/n16-1181},
)
@proceedings(baader03handbook,
 editor       = {Franz Baader and Diego Calvanese and Deborah~L. McGuinness and Daniele Nardi and Patel-Schneider, Peter~F.},
 year         = {2003},
 title        = {The Description Logic Handbook: Theory, Implementation, and Applications},
 publisher    = {Cambridge University Press},
)
@article(bre11,
 author       = {Gerhard Brewka and Ilkka Niemel\"{a} and Miroslaw Truszczynski},
 year         = {2011},
 title        = {Answer Set Programming at a Glance},
 journal      = {Communications of the ACM},
 volume       = {54(12)},
 pages        = {92--103},
 doi          = {10.1145/2043174.2043195},
)
@article(calimeri20asp,
 author       = {Francesco Calimeri and Wolfgang Faber and Martin Gebser and Giovambattista Ianni and Roland Kaminski and Thomas Krennwallner and Nicola Leone and Marco Maratea and Francesco Ricca and Torsten Schaub},
 year         = {2020},
 title        = {{ASP-C}ore-2 input language format},
 journal      = {Theory and Practice of Logic Programming},
 volume       = {20},
 number       = {2},
 pages        = {294--309},
 doi          = {10.1017/S1471068419000450},
)
@article(kathryn18tensorlog,
 author       = {William~W Cohen and Fan Yang and Kathryn~Rivard Mazaitis},
 year         = {2018},
 title        = {TensorLog: Deep Learning Meets Probabilistic Databases},
 journal      = {Journal of Artificial Intelligence Research},
 volume       = {1},
 pages        = {1--15},
)
@inproceedings(donadello17logic,
 author       = {Ivan Donadello and Luciano Serafini and Artur~D'Avila Garcez},
 year         = {2017},
 title        = {Logic tensor networks for semantic image interpretation},
 booktitle    = {Proceedings of the 26th International Joint Conference on Artificial Intelligence},
 organization = {AAAI Press},
 pages        = {1596--1602},
 doi          = {10.24963/ijcai.2017/221},
)
@inproceedings(johnson17clevr,
 author       = {Justin Johnson and Bharath Hariharan and Laurens van~der Maaten and Li~Fei-Fei and C~Lawrence~Zitnick and Ross Girshick},
 year         = {2017},
 title        = {Clevr: A diagnostic dataset for compositional language and elementary visual reasoning},
 booktitle    = {Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition},
 pages        = {2901--2910},
 doi          = {10.1109/CVPR.2017.215},
)
@inproceedings(kazemi18relnn,
 author       = {Seyed~Mehran Kazemi and David Poole},
 year         = {2018},
 title        = {RelNN: A deep neural model for relational learning},
 booktitle    = {Proceedings of the 32nd AAAI Conference on Artificial Intelligence},
)
@inproceedings(kipf17semi,
 author       = {Thomas~N. Kipf and Max Welling},
 year         = {2017},
 title        = {Semi-Supervised Classification with Graph Convolutional Networks},
 booktitle    = {Proceedings of the 5th International Conference on Learning Representations, {ICLR} 2017},
)
@inproceedings(kisa14probabilistic,
 author       = {Doga Kisa and Van~den Broeck, Guy and Arthur Choi and Adnan Darwiche},
 year         = {2014},
 title        = {Probabilistic sentential decision diagrams},
 booktitle    = {Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning},
)
@inproceedings(lee16weighted,
 author       = {Joohyung Lee and Yi~Wang},
 year         = {2016},
 title        = {Weighted Rules under the Stable Model Semantics},
 booktitle    = {Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR)},
 pages        = {145--154},
)
@inproceedings(lee18weight,
 author       = {Joohyung Lee and Yi~Wang},
 year         = {2018},
 title        = {Weight Learning in a Probabilistic Extension of Answer Set Programs},
 booktitle    = {Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR)},
 pages        = {22--31},
)
@inproceedings(lee17lpmln,
 author       = {Joohyung Lee and Zhun Yang},
 year         = {2017},
 title        = {{L}{P}{M}{L}{N}, Weak Constraints, and {P}-log},
 booktitle    = {Proceedings of the AAAI Conference on Artificial Intelligence (AAAI)},
 pages        = {1170--1177},
)
@inproceedings(lierler04cmodels,
 author       = {Yuliya Lierler and Marco Maratea},
 year         = {2004},
 title        = {Cmodels-2: SAT-based answer set solver enhanced to non-tight programs},
 booktitle    = {Proceedings of International Conference on Logic Programming and NonMonotonic Reasoning},
 organization = {Springer},
 pages        = {346--350},
 doi          = {10.1007/978-3-540-24609-1\_32},
)
@inproceedings(lif08,
 author       = {Vladimir Lifschitz},
 year         = {2008},
 title        = {What Is Answer Set Programming?},
 booktitle    = {Proceedings of the AAAI Conference on Artificial Intelligence},
 publisher    = {MIT Press},
 pages        = {1594--1597},
)
@inproceedings(lin19kagnet,
 author       = {Bill~Yuchen Lin and Xinyue Chen and Jamin Chen and Xiang Ren},
 year         = {2019},
 title        = {KagNet: Knowledge-Aware Graph Networks for Commonsense Reasoning},
 booktitle    = {Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing and the 9th International Joint Conference on Natural Language Processing (EMNLP-IJCNLP)},
 pages        = {2822--2832},
 doi          = {10.18653/v1/D19-1282},
)
@inproceedings(manhaeve18deepproblog,
 author       = {Robin Manhaeve and Sebastijan Dumancic and Angelika Kimmig and Thomas Demeester and De~Raedt, Luc},
 year         = {2018},
 title        = {Deepproblog: Neural probabilistic logic programming},
 booktitle    = {Proceedings of Advances in Neural Information Processing Systems},
 pages        = {3749--3759},
)
@inproceedings(mao19neuro,
 author       = {Jiayuan Mao and Chuang Gan and Pushmeet Kohli and Joshua~B. Tenenbaum and Jiajun Wu},
 year         = {2019},
 title        = {The neuro-symbolic concept learner: interpreting scenes, words, and sentences from natural supervision},
 booktitle    = {Proceedings of International Conference on Learning Representations},
)
@inproceedings(palm18recurrent,
 author       = {Rasmus Palm and Ulrich Paquet and Ole Winther},
 year         = {2018},
 title        = {Recurrent relational networks},
 booktitle    = {Proceedings of Advances in Neural Information Processing Systems},
 pages        = {3368--3378},
)
@book(pearl00causality,
 author       = {Judea Pearl},
 year         = {2000},
 title        = {Causality: models, reasoning and inference},
 volume       = {29},
 publisher    = {Cambridge Univ Press},
)
@article(rei80,
 author       = {Raymond Reiter},
 year         = {1980},
 title        = {A logic for default reasoning},
 journal      = {Artificial Intelligence},
 volume       = {13},
 pages        = {81--132},
 doi          = {10.1016/0004-3702(80)90014-4},
)
@inproceedings(rocktaschel17end,
 author       = {Tim Rockt{\"a}schel and Sebastian Riedel},
 year         = {2017},
 title        = {End-to-end differentiable proving},
 booktitle    = {Proceedings of Advances in Neural Information Processing Systems},
 pages        = {3788--3800},
)
@inproceedings(selsam18learning,
 author       = {Daniel Selsam and Matthew Lamm and Benedikt B{\"{u}}nz and Percy Liang and Leonardo de~Moura and David~L. Dill},
 year         = {2019},
 title        = {Learning a {SAT} Solver from Single-Bit Supervision},
 booktitle    = {Proceedings of the 7th International Conference on Learning Representations (ICLR)},
)
@inproceedings(sourek15lifted,
 author       = {{\v{S}}ourek, Gustav and Vojtech Aschenbrenner and {\v{Z}}elezny, Filip and Ku{\v{z}}elka, Ond{\v{r}}ej},
 year         = {2015},
 title        = {Lifted relational neural networks},
 booktitle    = {Proceedings of the 2015th International Conference on Cognitive Computation: Integrating Neural and Symbolic Approaches-Volume 1583},
 organization = {CEUR-WS. org},
 pages        = {52--60},
)
@inproceedings(suhr18corpus,
 author       = {Alane Suhr and Stephanie Zhou and Ally Zhang and Iris Zhang and Huajun Bai and Yoav Artzi},
 year         = {2019},
 title        = {A Corpus for Reasoning about Natural Language Grounded in Photographs},
 booktitle    = {Proceedings of the 57th Conference of the Association for Computational Linguistics (ACL)},
 pages        = {6418--6428},
 doi          = {10.18653/v1/p19-1644},
)
@inproceedings(xu18asemantic,
 author       = {Jingyi Xu and Zilu Zhang and Tal Friedman and Yitao Liang and Van~den Broeck, Guy},
 year         = {2018},
 title        = {A Semantic Loss Function for Deep Learning with Symbolic Knowledge},
 booktitle    = {Proceedings of the 35th International Conference on Machine Learning (ICML)},
 url          = {http://starai.cs.ucla.edu/papers/XuICML18.pdf},
)
@inproceedings(yang20neurasp,
 author       = {Zhun Yang and Adam Ishay and Joohyung Lee},
 year         = {2020},
 title        = {NeurASP: Embracing Neural Networks into Answer Set Programming},
 booktitle    = {Proceedings of International Joint Conference on Artificial Intelligence (IJCAI)},
 pages        = {1755--1762},
 doi          = {10.1017/S1471068419000450},
)
@inproceedings(yi19clevrer,
 author       = {Kexin Yi and Chuang Gan and Yunzhu Li and Pushmeet Kohli and Jiajun Wu and Antonio Torralba and Joshua~B. Tenenbaum},
 year         = {2020},
 title        = {{CLEVRER:} Collision Events for Video Representation and Reasoning},
 booktitle    = {Proceedings of the 8th International Conference on Learning Representations (ICLR)},
)