{"type":"ScholarlyArticle","title":"From Statistical Relational to Neuro-Symbolic Artificial Intelligence","authors":[{"name":"Luc de Raedt","slug":"luc-de-raedt","given":"Luc","family":"de Raedt","affiliation":"KU Leuven , Department of Computer Science and Leuven.AI; Örebro University , Center for Applied Autonomous Sensor Systems"},{"name":"Sebastijan Dumančić","slug":"sebastijan-dumancic","given":"Sebastijan","family":"Dumancic","affiliation":"KU Leuven , Department of Computer Science and Leuven.AI"},{"name":"Robin Manhaeve","slug":"robin-manhaeve","given":"Robin","family":"Manhaeve","affiliation":"KU Leuven , Department of Computer Science and Leuven.AI"},{"name":"Giuseppe Marra","slug":"giuseppe-marra","given":"Giuseppe","family":"Marra","affiliation":"KU Leuven , Department of Computer Science and Leuven.AI"}],"abstract":"Neuro-symbolic and statistical relational artificial intelligence both integrate frameworks for learning with logical reasoning. This survey identifies several parallels across seven different dimensions between these two fields. These cannot only be used to characterize and position neuro-symbolic artificial intelligence approaches but also to identify a number of directions for further research.","doi":"10.24963/ijcai.2020/688","url":"https://ijcai.org/proceedings/2020/688","pdf":"https://ijcai.org/proceedings/2020/0688.pdf","markdown":"https://ijcai.org/proceedings/2020/688.md","bibtex":"https://ijcai.org/proceedings/2020/bibtex/688","volume":{"slug":"2020","title":"Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2020","url":"https://ijcai.org/proceedings/2020/","year":2020,"location":"Yokohama","dates":"January 2021 (postponed from 11-17 July 2020)","editors":"Christian Bessiere","isbn":"978-0-9992411-6-5","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2020"},"section":"Survey track","track":"Survey track","number":688,"pages":{"first":4943,"last":4950},"keywords":["Knowledge Representation and Reasoning: general"],"videos":[],"references":[{"position":1,"raw":"[Abboud et al., 2020] Ralph Abboud, İsmail İlkan Ceylan, and Thomas Lukasiewicz. Learning to reason: Leveraging neural networks for approximate DNF counting. In AAAI, 2020.","title":"Learning to reason: Leveraging neural networks for approximate DNF counting","authors":"Abboud","year":"2020","venue":"AAAI","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Alirezaie et al., 2019] Marjan Alirezaie, Martin Längkvist, Michael Sioutis, and Amy Loutfi. Semantic referee: A neural-symbolic framework for enhancing geospatial semantic segmentation. Semantic Web, 10, 2019.","title":"Semantic referee: A neural-symbolic framework for enhancing geospatial semantic segmentation","authors":"Marjan Alirezaie, Martin Längkvist, Michael Sioutis, Amy Loutfi","year":"2019","venue":"Semantic Web","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Bach et al., 2017] Stephen H. Bach, Matthias Broecheler, Bert Huang, and Lise Getoor. Hinge-loss markov random fields and probabilistic soft logic. J. Mach. Learn. Res., 18, 2017.","title":"Hinge-loss markov random fields and probabilistic soft logic","authors":"H Stephen, Matthias Bach, Bert Broecheler, Lise Huang, Getoor","year":"2017","venue":"J. Mach. Learn. Res","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Bader and Hitzler, 2005] Sebastian Bader and Pascal Hitzler. Di- mensions of neural-symbolic integration -A structured survey. CoRR, abs/cs/0511042, 2005.","title":"Dimensions of neural-symbolic integration -A structured survey","authors":"Hitzler Bader, Sebastian Bader, Pascal Hitzler","year":"2005","venue":null,"doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Besold et al., 2017] Tarek R. Besold, Artur S. d'Avila Garcez, Se- bastian Bader, Howard Bowman, Pedro M. Domingos, Pascal Hit- zler, Kai-Uwe Kühnberger, Luís C. Lamb, Daniel Lowd, Priscila Machado Vieira Lima, Leo de Penning, Gadi Pinkas, Hoifung Poon, and Gerson Zaverucha. Neural-symbolic learning and rea- soning: A survey and interpretation. CoRR, abs/1711.03902, 2017.","title":"Neural-symbolic learning and reasoning: A survey and interpretation","authors":"R Tarek, Artur S Besold, Sebastian Garcez, Howard Bader, Pedro M Bowman, Pascal Domingos, Kai-Uwe Hitzler, Luís C Kühnberger, Daniel Lamb, Priscila Lowd, Machado Vieira, Leo Lima, Gadi De Penning, Hoifung Pinkas, Gerson Poon, Zaverucha","year":"2017","venue":null,"doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Bošnjak et al., 2017] Matko Bošnjak, Tim Rocktäschel, Jason Naradowsky, and Sebastian Riedel. Programming with a dif- ferentiable forth interpreter. In ICML, 2017.","title":"Programming with a differentiable forth interpreter","authors":"Matko Bošnjak, Tim Rocktäschel, Jason Naradowsky, Sebastian Riedel","year":"2017","venue":"ICML","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Cohen et al., 2017] William W. Cohen, Fan Yang, and Kathryn Mazaitis. Tensorlog: Deep learning meets probabilistic dbs. CoRR, abs/1707.05390, 2017.","title":"Tensorlog: Deep learning meets probabilistic dbs","authors":"William W Cohen, Fan Yang, Kathryn Mazaitis","year":"2017","venue":null,"doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Cropper, 2019] Andrew Cropper. Playgol: Learning programs through play. In IJCAI 2019, 2019.","title":"Playgol: Learning programs through play","authors":"Andrew Cropper","year":"2019","venue":"IJCAI 2019","doi":null,"url":null,"internal_url":"/proceedings/2019/841"},{"position":9,"raw":"[Dai et al., 2019] Wang-Zhou Dai, Qiuling Xu, Yang Yu, and Zhi- Hua Zhou. Bridging machine learning and logical reasoning by abductive learning. In NeurIPS, 2019.","title":"Bridging machine learning and logical reasoning by abductive learning","authors":"Wang-Zhou Dai, Qiuling Xu, Yang Yu, Zhi-Hua Zhou","year":"2019","venue":"NeurIPS","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Darwiche, 2011] Adnan Darwiche. Sdd: A new canonical repre- sentation of propositional knowledge bases. In IJCAI, 2011.","title":"Sdd: A new canonical representation of propositional knowledge bases","authors":"Adnan Darwiche","year":"2011","venue":"IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2011/143"},{"position":11,"raw":"['Avila Garcez et al., 2019] Artur S. d'Avila Garcez, Marco Gori, Luís C. Lamb, Luciano Serafini, Michael Spranger, and Son N. Tran. Neural-symbolic computing: An effective methodology for principled integration of machine learning and reasoning. FLAP, 6, 2019.","title":"Neural-symbolic computing: An effective methodology for principled integration of machine learning and reasoning","authors":"Artur S Garcez, Marco Gori, Luís C Lamb, Luciano Serafini, Michael Spranger, Son N Tran","year":"2019","venue":"FLAP","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[De Raedt and Kimmig, 2015] Luc De Raedt and Angelika Kimmig. Probabilistic (logic) programming concepts. Machine Learning, 100, 2015.","title":"Probabilistic (logic) programming concepts","authors":"De Raedt, ; Kimmig, De Luc, Angelika Raedt, Kimmig","year":"2015","venue":"Machine Learning","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[De Raedt et al., 2016] Luc De Raedt, Kristian Kersting, Sriraam Natarajan, and David Poole. Statistical Relational Artificial Intelli- gence: Logic, Probability, and Computation. Morgan & Claypool Publishers, 2016.","title":"Statistical Relational Artificial Intelligence: Logic, Probability, and Computation","authors":"De Raedt","year":"2016","venue":null,"doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[De Raedt et al., 2019] Luc De Raedt, Robin Manhaeve, Sebastijan Dumančić, Thomas Demeester, and Angelika Kimmig. Neuro- symbolic= neural+ logical+ probabilistic. In NeSy @ IJCAI, 2019.","title":"Neuro-symbolic= neural+ logical+ probabilistic","authors":"De Raedt","year":"2019","venue":"NeSy @ IJCAI","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[De Raedt, 2008] Luc De Raedt. Logical and relational learning. Springer, 2008.","title":"Logical and relational learning","authors":"De Raedt, ; Luc, De Raedt","year":"2008","venue":null,"doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Demeester et al., 2016] Thomas Demeester, Tim Rocktäschel, and Sebastian Riedel. Lifted rule injection for relation embeddings. In EMNLP, 2016.","title":"Lifted rule injection for relation embeddings","authors":"Thomas Demeester, Tim Rocktäschel, Sebastian Riedel","year":"2016","venue":"EMNLP","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Diligenti et al., 2017] Michelangelo Diligenti, Marco Gori, and Claudio Saccà. Semantic-based regularization for learning and inference. Artif. Intell., 244, 2017.","title":"Michelangelo Diligenti, Marco Gori, and Claudio Saccà. Semantic-based regularization for learning and inference","authors":"Diligenti","year":"2017","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Donadello et al., 2017] Ivan Donadello, Luciano Serafini, and Ar- tur S. d'Avila Garcez. Logic tensor networks for semantic image interpretation. In IJCAI, 2017.","title":"Logic tensor networks for semantic image interpretation","authors":"Ivan Donadello, Luciano Serafini, Artur S Garcez","year":"2017","venue":"IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2017/221"},{"position":19,"raw":"[Dong et al., 2019] Honghua Dong, Jiayuan Mao, Tian Lin, Chong Wang, Lihong Li, and Denny Zhou. Neural logic machines. In ICLR, 2019.","title":"Neural logic machines","authors":"Honghua Dong, Jiayuan Mao, Tian Lin, Chong Wang, Lihong Li, Denny Zhou","year":"2019","venue":"ICLR","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Dumančić et al., 2019] Sebastijan Dumančić, Tias Guns, Wannes Meert, and Hendrik Blockeel. Learning relational representations with auto-encoding logic programs. In IJCAI, 2019.","title":"Learning relational representations with auto-encoding logic programs","authors":"Dumančić","year":"2019","venue":"IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2019/842"},{"position":21,"raw":"[Ellis et al., 2018a] Kevin Ellis, Lucas Morales, Mathias Sablé- Meyer, Armando Solar-Lezama, and Josh Tenenbaum. Learn- ing libraries of subroutines for neurally-guided bayesian program induction. In NeurIPS, 2018.","title":"Learning libraries of subroutines for neurally-guided bayesian program induction","authors":"Ellis","year":"2018","venue":"NeurIPS","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Ellis et al., 2018b] Kevin Ellis, Daniel Ritchie, Armando Solar- Lezama, and Josh Tenenbaum. Learning to infer graphics pro- grams from hand-drawn images. In NeurIPS, 2018.","title":"Learning to infer graphics programs from hand-drawn images","authors":"Ellis","year":"2018","venue":"NeurIPS","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Evans and Grefenstette, 2018] Richard Evans and Edward Grefen- stette. Learning explanatory rules from noisy data. J. Artif. Intell. Res., 61, 2018.","title":"Learning explanatory rules from noisy data","authors":"Richard Evans, Edward Grefenstette","year":"2018","venue":"J. Artif. Intell. Res","doi":null,"url":null,"internal_url":null},{"position":24,"raw":"[Fierens et al., 2015] Daan Fierens, Guy Van den Broeck, Joris Renkens, Dimitar Shterionov, Bernd Gutmann, Ingo Thon, Gerda Janssens, and Luc De Raedt. Inference and learning in probabilis- tic logic programs using weighted boolean formulas. Theory and Practice of Logic Programming, 15, 2015.","title":"Inference and learning in probabilistic logic programs using weighted boolean formulas","authors":"Daan Fierens, Guy Van Den, Joris Broeck, Dimitar Renkens, Bernd Shterionov, Ingo Gutmann, Gerda Thon, Luc Janssens, Raedt De","year":"2015","venue":"Theory and Practice of Logic Programming","doi":null,"url":null,"internal_url":null},{"position":25,"raw":"[Flach, 1994] Peter Flach. Simply Logical: Intelligent Reasoning by Example. John Wiley & Sons, Inc., 1994.","title":"Simply Logical: Intelligent Reasoning by Example","authors":"Peter Flach","year":"1994","venue":null,"doi":null,"url":null,"internal_url":null},{"position":26,"raw":"[Friedman et al., 1999] Nir Friedman, Lise Getoor, Daphne Koller, and Avi Pfeffer. Learning probabilistic relational models. In IJCAI, 1999.","title":"Learning probabilistic relational models","authors":"Nir Friedman, Lise Getoor, Daphne Koller, Avi Pfeffer","year":"1999","venue":"IJCAI","doi":null,"url":null,"internal_url":"/proceedings/1999/185"},{"position":27,"raw":"[Gebser et al., 2012] Martin Gebser, Roland Kaminski, Benjamin Kaufmann, and Torsten Schaub. Answer set solving in practice. Synthesis lectures on artificial intelligence and machine learning, 6, 2012.","title":"Answer set solving in practice","authors":"Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub","year":"2012","venue":"Synthesis lectures on artificial intelligence and machine learning","doi":null,"url":null,"internal_url":null},{"position":28,"raw":"[Getoor and Taskar, 2007] L. Getoor and B. Taskar, editors. An Introduction to Statistical Relational Learning. MIT Press, 2007.","title":"An Introduction to Statistical Relational Learning","authors":null,"year":"2007","venue":null,"doi":null,"url":null,"internal_url":null},{"position":29,"raw":"[Giannini et al., 2018] Francesco Giannini, Michelangelo Diligenti, Marco Gori, and Marco Maggini. On a convex logic fragment for learning and reasoning. IEEE TFS, 27, 2018.","title":"On a convex logic fragment for learning and reasoning","authors":"Francesco Giannini, Michelangelo Diligenti, Marco Gori, Marco Maggini","year":"2018","venue":"IEEE TFS","doi":null,"url":null,"internal_url":null},{"position":30,"raw":"[Gutmann et al., 2008] Bernd Gutmann, Angelika Kimmig, Kristian Kersting, and Luc De Raedt. Parameter learning in probabilistic databases: A least squares approach. In ECML&PKDD, 2008.","title":"Parameter learning in probabilistic databases: A least squares approach","authors":"Bernd Gutmann, Angelika Kimmig, Kristian Kersting, Luc De, Raedt","year":"2008","venue":"ECML&PKDD","doi":null,"url":null,"internal_url":null},{"position":31,"raw":"[Jaeger, 2008] Manfred Jaeger. Model-theoretic expressivity anal- ysis. In Luc De Raedt, Paolo Frasconi, Kristian Kersting, and Stephen Muggleton, editors, Probabilistic Inductive Logic Pro- gramming -Theory and Applications, volume 4911 of LNCS. Springer, 2008.","title":"Model-theoretic expressivity analysis","authors":"Manfred Jaeger, Jaeger","year":"2008","venue":"Probabilistic Inductive Logic Programming -Theory and Applications","doi":null,"url":null,"internal_url":null},{"position":32,"raw":"[Kalyan et al., 2018] Ashwin Kalyan, Abhishek Mohta, Oleksandr Polozov, Dhruv Batra, Prateek Jain, and Sumit Gulwani. Neural- guided deductive search for real-time program synthesis from examples. In ICLR, 2018.","title":"Neuralguided deductive search for real-time program synthesis from examples","authors":"Ashwin Kalyan, Abhishek Mohta, Oleksandr Polozov, Dhruv Batra, Prateek Jain, Sumit Gulwani","year":"2018","venue":"ICLR","doi":null,"url":null,"internal_url":null},{"position":33,"raw":"[Kersting and De Raedt, 2007] Kristian Kersting and Luc De Raedt. Bayesian logic programming: Theory and tool. In L. Getoor and B. Taskar, editors, An introduction to Statistical Relational Learning. MIT Press, 2007.","title":"Bayesian logic programming: Theory and tool","authors":"De Kersting, Kristian Raedt, Luc Kersting, Raedt De","year":"2007","venue":"An introduction to Statistical Relational Learning","doi":null,"url":null,"internal_url":null},{"position":34,"raw":"[Kok and Domingos, 2005] Stanley Kok and Pedro Domingos. Learning the structure of markov logic networks. In ICML, 2005.","title":"Learning the structure of markov logic networks","authors":"Domingos Kok, Stanley Kok, Pedro Domingos","year":"2005","venue":"ICML","doi":null,"url":null,"internal_url":null},{"position":35,"raw":"[Koller and Friedman, 2009] Daphne Koller and Nir Friedman. Probabilistic Graphical Models -Principles and Techniques. MIT Press, 2009.","title":"Probabilistic Graphical Models -Principles and Techniques","authors":"Friedman Koller, Daphne Koller, Nir Friedman","year":"2009","venue":null,"doi":null,"url":null,"internal_url":null},{"position":36,"raw":"[Lippi and Frasconi, 2009] Marco Lippi and Paolo Frasconi. Predic- tion of protein beta-residue contacts by markov logic networks with grounding-specific weights. Bioinform., 25, 2009.","title":"Marco Lippi and Paolo Frasconi. Prediction of protein beta-residue contacts by markov logic networks with grounding-specific weights","authors":"Frasconi Lippi","year":"2009","venue":"Bioinform","doi":null,"url":null,"internal_url":null},{"position":37,"raw":"[Lowd and Domingos, 2007] Daniel Lowd and Pedro Domingos. Efficient weight learning for markov logic networks. In ECML&PKDD, 2007.","title":"Efficient weight learning for markov logic networks","authors":"Daniel Lowd, Pedro Domingos","year":"2007","venue":"ECML&PKDD","doi":null,"url":null,"internal_url":null},{"position":38,"raw":"[Manhaeve et al., 2018] Robin Manhaeve, Sebastijan Dumančić, Angelika Kimmig, Thomas Demeester, and Luc De Raedt. Deep- problog: Neural probabilistic logic programming. In NeurIPS, 2018.","title":"Deepproblog: Neural probabilistic logic programming","authors":"Manhaeve","year":"2018","venue":null,"doi":null,"url":null,"internal_url":null},{"position":39,"raw":"[Mao et al., 2019] Jiayuan Mao, Chuang Gan, Pushmeet Kohli, Joshua B. Tenenbaum, and Jiajun Wu. The neuro-symbolic con- cept learner: Interpreting scenes, words, and sentences from natu- ral supervision. In ICLR, 2019.","title":"The neuro-symbolic concept learner: Interpreting scenes, words, and sentences from natural supervision","authors":"Jiayuan Mao, Chuang Gan, Pushmeet Kohli, Joshua B Tenenbaum, Jiajun Wu","year":"2019","venue":"ICLR","doi":null,"url":null,"internal_url":null},{"position":40,"raw":"[Marra and Kuželka, 2019] Giuseppe Marra and Ondrej Kuželka. Neural markov logic networks. CoRR, abs/1905.13462, 2019.","title":"Neural markov logic networks","authors":"Giuseppe Marra, Ondrej Kuželka","year":"2019","venue":null,"doi":null,"url":null,"internal_url":null},{"position":41,"raw":"[Marra et al., 2020] Giuseppe Marra, Michelangelo Diligenti, Francesco Giannini, Marco Gori, and Marco Maggini. Relational neural machines. In ECAI in press, 2020.","title":"Relational neural machines","authors":"Giuseppe Marra, Michelangelo Diligenti, Francesco Giannini, Marco Gori, Marco Maggini","year":"2020","venue":"ECAI in press","doi":null,"url":null,"internal_url":null},{"position":42,"raw":"[Minervini et al., 2017] Pasquale Minervini, Thomas Demeester, Tim Rocktäschel, and Sebastian Riedel. Adversarial sets for regularising neural link predictors. In UAI, 2017.","title":"Adversarial sets for regularising neural link predictors","authors":"Pasquale Minervini, Thomas Demeester, Tim Rocktäschel, Sebastian Riedel","year":"2017","venue":"UAI","doi":null,"url":null,"internal_url":null},{"position":43,"raw":"[Minervini et al., 2020] Pasquale Minervini, Matko Bošnjak, Tim Rocktäschel, Sebastian Riedel, and Edward Grefenstette. Differ- entiable reasoning on large knowledge bases and natural language. In AAAI, 2020.","title":"Differentiable reasoning on large knowledge bases and natural language","authors":"Pasquale Minervini, Matko Bošnjak, Tim Rocktäschel, Sebastian Riedel, Edward Grefenstette","year":"2020","venue":"AAAI","doi":null,"url":null,"internal_url":null},{"position":44,"raw":"[Muggleton, 1996] Stephen Muggleton. Stochastic logic programs. Advances in inductive logic programming, 32, 1996.","title":"Stochastic logic programs","authors":"Stephen Muggleton","year":"1996","venue":"Advances in inductive logic programming","doi":null,"url":null,"internal_url":null},{"position":45,"raw":"[Poole, 2008] David Poole. The independent choice logic and be- yond. In Probabilistic Inductive Logic Programming -Theory and Applications, volume 4911 of LNCS. Springer, 2008.","title":"The independent choice logic and beyond","authors":"David Poole","year":"2008","venue":"Probabilistic Inductive Logic Programming -Theory and Applications","doi":null,"url":null,"internal_url":null},{"position":46,"raw":"[Richardson and Domingos, 2006] Matthew Richardson and Pe- dro M. Domingos. Markov logic networks. Machine Learning, 62, 2006.","title":"Markov logic networks","authors":"Matthew Richardson, Pedro M Domingos","year":"2006","venue":"Machine Learning","doi":null,"url":null,"internal_url":null},{"position":47,"raw":"[Rocktäschel and Riedel, 2017] Tim Rocktäschel and Sebastian Riedel. End-to-end differentiable proving. In NIPS, 2017.","title":"Tim Rocktäschel and Sebastian Riedel. End-to-end differentiable proving","authors":"Riedel Rocktäschel","year":"2017","venue":"NIPS","doi":null,"url":null,"internal_url":null},{"position":48,"raw":"[Rocktäschel et al., 2015] Tim Rocktäschel, Sameer Singh, and Se- bastian Riedel. Injecting logical background knowledge into embeddings for relation extraction. In NAACL HLT, 2015.","title":"Injecting logical background knowledge into embeddings for relation extraction","authors":"Tim Rocktäschel, Sameer Singh, Sebastian Riedel","year":"2015","venue":"NAACL HLT","doi":null,"url":null,"internal_url":null},{"position":49,"raw":"[Russell, 2015] Stuart Russell. Unifying logic and probability. Com- munications of the ACM, 58, 2015.","title":"Unifying logic and probability","authors":"Russell ;, Stuart Russell","year":"2015","venue":"Communications of the ACM","doi":null,"url":null,"internal_url":null},{"position":50,"raw":"[Si et al., 2019] Xujie Si, Mukund Raghothaman, Kihong Heo, and Mayur Naik. Synthesizing datalog programs using numerical relaxation. In IJCAI, 2019.","title":"Synthesizing datalog programs using numerical relaxation","authors":"Si","year":"2019","venue":"IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2019/847"},{"position":51,"raw":"[Valkov et al., 2018] Lazar Valkov, Dipak Chaudhari, Akash Srivas- tava, Charles A. Sutton, and Swarat Chaudhuri. Houdini: Lifelong learning as program synthesis. In NeurIPS, 2018.","title":"Houdini: Lifelong learning as program synthesis","authors":"Lazar Valkov, Dipak Chaudhari, Akash Srivastava, Charles A Sutton, Swarat Chaudhuri","year":"2018","venue":"NeurIPS","doi":null,"url":null,"internal_url":null},{"position":52,"raw":"[Van den Broeck et al., 2017] Guy Van den Broeck, Dan Suciu, et al. Query processing on probabilistic data: A survey. Foundations and Trends® in Databases, 7, 2017.","title":"Query processing on probabilistic data: A survey","authors":"Broeck Van Den","year":"2017","venue":"Foundations and Trends® in Databases","doi":null,"url":null,"internal_url":null},{"position":53,"raw":"[van Krieken et al., 2020] Emile van Krieken, Erman Acar, and Frank van Harmelen. Analyzing differentiable fuzzy logic op- erators. CoRR, abs/2002.06100, 2020.","title":"Analyzing differentiable fuzzy logic operators","authors":"Van Krieken","year":"2020","venue":null,"doi":null,"url":null,"internal_url":null},{"position":54,"raw":"[Wang and Pan, 2019] Wenya Wang and Sinno Jialin Pan. Integrat- ing deep learning with logic fusion for information extraction. CoRR, abs/1912.03041, 2019.","title":"Integrating deep learning with logic fusion for information extraction","authors":"Wenya Wang, Sinno Jialin Pan","year":"2019","venue":null,"doi":null,"url":null,"internal_url":null},{"position":55,"raw":"[Weber et al., 2019] Leon Weber, Pasquale Minervini, Jannes Münchmeyer, Ulf Leser, and Tim Rocktäschel. Nlprolog: Rea- soning with weak unification for question answering in natural language. In ACL, 2019.","title":"Nlprolog: Reasoning with weak unification for question answering in natural language","authors":"Leon Weber, Pasquale Minervini, Jannes Münchmeyer, Ulf Leser, Tim Rocktäschel","year":"2019","venue":"ACL","doi":null,"url":null,"internal_url":null},{"position":56,"raw":"[Xu et al., 2018] Jingyi Xu, Zilu Zhang, Tal Friedman, Yitao Liang, and Guy Van den Broeck. A semantic loss function for deep learning with symbolic knowledge. In ICML, 2018.","title":"A semantic loss function for deep learning with symbolic knowledge","authors":"Jingyi Xu, Zilu Zhang, Tal Friedman, Yitao Liang, Guy Van Den Broeck","year":"2018","venue":"ICML","doi":null,"url":null,"internal_url":null},{"position":57,"raw":"[Yang et al., 2017] Fan Yang, Zhilin Yang, and William W Cohen. Differentiable learning of logical rules for knowledge base reason- ing. In NIPS, 2017.","title":"Differentiable learning of logical rules for knowledge base reasoning","authors":"Fan Yang, Zhilin Yang, William W Cohen","year":"2017","venue":"NIPS","doi":null,"url":null,"internal_url":null},{"position":58,"raw":"[Yi et al., 2018] Kexin Yi, Jiajun Wu, Chuang Gan, Antonio Tor- ralba, Pushmeet Kohli, and Josh Tenenbaum. Neural-symbolic vqa: Disentangling reasoning from vision and language under- standing. In NeurIPS, 2018.","title":"Neural-symbolic vqa: Disentangling reasoning from vision and language understanding","authors":"Kexin Yi, Jiajun Wu, Chuang Gan, Antonio Torralba, Pushmeet Kohli, Josh Tenenbaum","year":"2018","venue":"NeurIPS","doi":null,"url":null,"internal_url":null},{"position":59,"raw":"[Zuidberg Dos Martires et al., 2019] Pedro Zuidberg Dos Martires, Vincent Derkinderen, Robin Manhaeve, Wannes Meert, Angelika Kimmig, and Luc De Raedt. Transforming probabilistic programs into algebraic circuits for inference and learning. In Program Transformations for ML Workshop at NeurIPS, 2019.","title":"Transforming probabilistic programs into algebraic circuits for inference and learning","authors":"Zuidberg Dos, Martires","year":"2019","venue":"Program Transformations for ML Workshop at NeurIPS","doi":null,"url":null,"internal_url":null},{"position":60,"raw":"[Šourek et al., 2018] Gustav Šourek, Vojtech Aschenbrenner, Filip Zelezný, Steven Schockaert, and Ondrej Kuželka. Lifted relational neural networks: Efficient learning of latent relational structures. J. Artif. Intell. Res., 62, 2018.","title":"Lifted relational neural networks: Efficient learning of latent relational structures","authors":"Šourek","year":"2018","venue":"J. Artif. Intell. Res","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}