{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,27]],"date-time":"2026-01-27T11:48:08Z","timestamp":1769514488952,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":92,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,10,10]],"date-time":"2022-10-10T00:00:00Z","timestamp":1665360000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","award":["RGPIN-2022-04357"],"award-info":[{"award-number":["RGPIN-2022-04357"]}],"id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003151","name":"Fonds de recherche du Qu\u00e9bec \u2013 Nature et technologies","doi-asserted-by":"publisher","award":["B2X-319955"],"award-info":[{"award-number":["B2X-319955"]}],"id":[{"id":"10.13039\/501100003151","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,10,10]]},"DOI":"10.1145\/3551349.3560433","type":"proceedings-article","created":{"date-parts":[[2023,1,5]],"date-time":"2023-01-05T20:43:54Z","timestamp":1672951434000},"page":"1-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Consistent Scene Graph Generation by Constraint Optimization"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1451-3603","authenticated-orcid":false,"given":"Boqi","family":"Chen","sequence":"first","affiliation":[{"name":"Electrical and Computer Engineering, McGill University, Canada"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9135-8256","authenticated-orcid":false,"given":"Krist\u00f3f","family":"Marussy","sequence":"additional","affiliation":[{"name":"Deptartment of Measurement and Information Systems, Budapest University of Technology and Economics, Hungary"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4942-0757","authenticated-orcid":false,"given":"Sebastian","family":"Pilarski","sequence":"additional","affiliation":[{"name":"Electrical and Computer Engineering, McGill University, Canada"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3592-5105","authenticated-orcid":false,"given":"Oszk\u00e1r","family":"Semer\u00e1th","sequence":"additional","affiliation":[{"name":"Deptartment of Measurement and Information Systems, Budapest University of Technology and Economics, Hungary"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8790-252X","authenticated-orcid":false,"given":"Daniel","family":"Varro","sequence":"additional","affiliation":[{"name":"Electrical and Computer Engineering, McGill University, Hungary"}]}],"member":"320","published-online":{"date-parts":[[2023,1,5]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180160"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238192"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-020-09864-1"},{"key":"e_1_3_2_1_4_1","unstructured":"Rob Alexander Hamid Asgari Rob Ashmore Andrew Banks Rajiv Bongirwar Ben Bradshaw John Bragg John Clegg Jane Fenn Chris Harper 2020. Safety assurance objectives for autonomous systems."},{"key":"e_1_3_2_1_5_1","unstructured":"Carlos Ans\u00f3tegui and Joel Gabas. 2013. Solving (Weighted) Partial MaxSAT with ILP.. In CPAIOR Vol.\u00a013. 403\u2013409."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3293454"},{"key":"e_1_3_2_1_7_1","unstructured":"Masataro Asai. 2018. Photo-Realistic Blocksworld Dataset. ArXiv abs\/1812.01818(2018)."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Aren\u00a0A Babikian Oszk\u00e1r Semer\u00e1th Anqi Li Krist\u00f3f Marussy and D\u00e1niel Varr\u00f3. 2021. Automated generation of consistent models using qualitative abstractions and exploration strategies. Software and Systems Modeling(2021) 1\u201325.","DOI":"10.1007\/s10270-021-00918-6"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2904904"},{"key":"e_1_3_2_1_10_1","volume-title":"MoDELS(Lecture Notes in Computer Science, Vol.\u00a08767)","author":"Bergmann G\u00e1bor","unstructured":"G\u00e1bor Bergmann. 2014. Translating OCL to Graph Patterns. In MoDELS(Lecture Notes in Computer Science, Vol.\u00a08767). Springer, 670\u2013686."},{"key":"e_1_3_2_1_11_1","unstructured":"Andrea Borghesi Federico Baldo and Michela Milano. 2020. Improving Deep Learning Models via Constraint-Based Domain Knowledge: a Brief Survey. ArXiv abs\/2005.10691(2020)."},{"key":"e_1_3_2_1_12_1","volume-title":"AI-enabled Automation for Completeness Checking of Privacy Policies","author":"Sallam Abualhaija Orlando\u00a0Amaral CEJAS","year":"2021","unstructured":"Orlando\u00a0Amaral CEJAS, Sallam Abualhaija, Damiano Torre, Mehrdad Sabetzadeh, and Lionel Briand. 2021. AI-enabled Automation for Completeness Checking of Privacy Policies. IEEE Transactions on Software Engineering(2021)."},{"key":"e_1_3_2_1_13_1","volume-title":"A Comprehensive Survey of Scene Graphs: Generation and Application","author":"Chang Xiaojun","year":"2021","unstructured":"Xiaojun Chang, Pengzhen Ren, Pengfei Xu, Zhihui Li, Xiaojiang Chen, and Alexander\u00a0G Hauptmann. 2021. A Comprehensive Survey of Scene Graphs: Generation and Application. IEEE Transactions on Pattern Analysis and Machine Intelligence (2021)."},{"key":"e_1_3_2_1_14_1","unstructured":"Boqi Chen. 2022. Clevr-Relational. https:\/\/github.com\/20001LastOrder\/Clevr-Relational."},{"key":"e_1_3_2_1_15_1","volume-title":"Counterfactual Critic Multi-Agent Training for Scene Graph Generation. 2019 IEEE\/CVF International Conference on Computer Vision (ICCV)","author":"Chen Long","year":"2019","unstructured":"Long Chen, Hanwang Zhang, Jun Xiao, Xiangnan He, Shiliang Pu, and Shih-Fu Chang. 2019. Counterfactual Critic Multi-Agent Training for Scene Graph Generation. 2019 IEEE\/CVF International Conference on Computer Vision (ICCV) (2019), 4612\u20134622."},{"key":"e_1_3_2_1_16_1","volume-title":"Knowledge-Embedded Routing Network for Scene Graph Generation. 2019 IEEE\/CVF Conference on Computer Vision and Pattern Recognition (CVPR)","author":"Chen Tianshui","year":"2019","unstructured":"Tianshui Chen, Weihao Yu, Riquan Chen, and Liang Lin. 2019. Knowledge-Embedded Routing Network for Scene Graph Generation. 2019 IEEE\/CVF Conference on Computer Vision and Pattern Recognition (CVPR) (2019), 6156\u20136164."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243127.3243128"},{"key":"e_1_3_2_1_18_1","volume-title":"Statistical power analysis for the behavioral sciences","author":"Cohen Jacob","unstructured":"Jacob Cohen. 2013. Statistical power analysis for the behavioral sciences. Routledge."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3240508.3240668"},{"key":"e_1_3_2_1_20_1","volume-title":"Advances in Neural Information Processing Systems, Vol.\u00a032. Curran Associates","author":"Dai Wang-Zhou","unstructured":"Wang-Zhou Dai, Qiuling Xu, Yang Yu, and Zhi-Hua Zhou. 2019. Bridging Machine Learning and Logical Reasoning by Abductive Learning. In Advances in Neural Information Processing Systems, Vol.\u00a032. Curran Associates, Inc."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"Tirtharaj Dash Sharad Chitlangia Aditya Ahuja and Ashwin Srinivasan. 2022. A review of some techniques for inclusion of domain-knowledge into deep neural networks. Scientific Reports 12(2022).","DOI":"10.1038\/s41598-021-04590-0"},{"key":"e_1_3_2_1_22_1","unstructured":"DIYer22. 2022. bpycv. https:\/\/github.com\/DIYer22\/bpycv."},{"key":"e_1_3_2_1_23_1","volume-title":"Optimally splitting cases for training and testing high dimensional classifiers. BMC medical genomics 4, 1","author":"Dobbin K","year":"2011","unstructured":"Kevin\u00a0K Dobbin and Richard\u00a0M Simon. 2011. Optimally splitting cases for training and testing high dimensional classifiers. BMC medical genomics 4, 1 (2011), 1\u20138."},{"key":"e_1_3_2_1_24_1","unstructured":"Honghua Dong Jiayuan Mao Tian Lin Chong Wang Lihong Li and Denny Zhou. 2019. Neural Logic Machines. In ICLR."},{"key":"e_1_3_2_1_25_1","unstructured":"Matteo Doni. 2012.. flickr. https:\/\/www.flickr.com\/photos\/todoleo\/8310164456\/"},{"key":"e_1_3_2_1_26_1","volume-title":"Conference on robot learning. PMLR, 1\u201316","author":"Dosovitskiy Alexey","year":"2017","unstructured":"Alexey Dosovitskiy, German Ros, Felipe Codevilla, Antonio Lopez, and Vladlen Koltun. 2017. CARLA: An open urban driving simulator. In Conference on robot learning. PMLR, 1\u201316."},{"key":"e_1_3_2_1_27_1","volume-title":"Towards Reinforcement Learning for In-Place Model Transformations. In 2021 ACM\/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS). IEEE, 82\u201388","author":"Eisenberg Martin","year":"2021","unstructured":"Martin Eisenberg, Hans-Peter Pichler, Antonio Garmendia, and Manuel Wimmer. 2021. Towards Reinforcement Learning for In-Place Model Transformations. In 2021 ACM\/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS). IEEE, 82\u201388."},{"key":"e_1_3_2_1_28_1","unstructured":"Marc Fischer Mislav Balunovic Dana Drachsler-Cohen Timon Gehr Ce Zhang and Martin\u00a0T. Vechev. 2019. DL2: Training and Querying Neural Networks with Logic. In ICML."},{"key":"e_1_3_2_1_29_1","volume-title":"International\u00a0Organization for Standardization","author":"ISO","year":"2018","unstructured":"ISO: International\u00a0Organization for Standardization. 2018. ISO 26262-1, Road vehicles \u2014 Functional safety."},{"key":"e_1_3_2_1_30_1","volume-title":"International\u00a0Organization for Standardization","author":"ISO","year":"2019","unstructured":"ISO: International\u00a0Organization for Standardization. 2019. ISO\/PAS 21448, Road vehicles - Safety of the intended functionality."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314633"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409737"},{"key":"e_1_3_2_1_33_1","unstructured":"Geoffrey Gordon Sue\u00a0Ann Hong and Miroslav Dud\u00edk. 2012. First-order mixed integer linear programming. arXiv preprint arXiv:1205.2644(2012)."},{"key":"e_1_3_2_1_34_1","volume-title":"Object Constraint Language Specification, version 2.0","author":"Object\u00a0Modeling Group","unstructured":"Object\u00a0Modeling Group. 2005. Object Constraint Language Specification, version 2.0. Object Modeling Group."},{"key":"e_1_3_2_1_35_1","volume-title":"Scene Graph Generation With External Knowledge and Image Reconstruction. 2019 IEEE\/CVF Conference on Computer Vision and Pattern Recognition (CVPR) (2019)","author":"Gu Jiuxiang","year":"2019","unstructured":"Jiuxiang Gu, Handong Zhao, Zhe\u00a0L. Lin, Sheng Li, Jianfei Cai, and Mingyang Ling. 2019. Scene Graph Generation With External Knowledge and Image Reconstruction. 2019 IEEE\/CVF Conference on Computer Vision and Pattern Recognition (CVPR) (2019), 1969\u20131978."},{"key":"e_1_3_2_1_36_1","unstructured":"Gurobi Optimization LLC. 2022. Gurobi Optimizer Reference Manual. https:\/\/www.gurobi.com"},{"key":"e_1_3_2_1_37_1","volume-title":"Mask R-CNN. In Proceedings of the IEEE international conference on computer vision. 2961\u20132969","author":"He Kaiming","year":"2017","unstructured":"Kaiming He, Georgia Gkioxari, Piotr Doll\u00e1r, and Ross Girshick. 2017. Mask R-CNN. In Proceedings of the IEEE international conference on computer vision. 2961\u20132969."},{"key":"e_1_3_2_1_38_1","unstructured":"Roei Herzig Moshiko Raboh Gal Chechik Jonathan Berant and Amir Globerson. 2018. Mapping Images to Scene Graphs with Permutation-Invariant Structured Prediction. In NeurIPS."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE48521.2020.00028"},{"key":"e_1_3_2_1_40_1","unstructured":"Nicholas Hoernle Rafael-Michael Karampatsis Vaishak Belle and Ya\u2019akov Gal. 2021. MultiplexNet: Towards Fully Satisfied Logical Constraints in Neural Networks. ArXiv abs\/2111.01564(2021)."},{"key":"e_1_3_2_1_41_1","unstructured":"IncQuery. 2022. IncQuery Model Validator. https:\/\/incquery.io\/solutions\/incquery-model-validator"},{"key":"e_1_3_2_1_42_1","volume-title":"Assisting Scene Graph Generation with Self-Supervision.arXiv: Computer Vision and Pattern Recognition","author":"Inuganti Sandeep","year":"2020","unstructured":"Sandeep Inuganti and Vineeth\u00a0N. Balasubramanian. 2020. Assisting Scene Graph Generation with Self-Supervision.arXiv: Computer Vision and Pattern Recognition (2020)."},{"key":"e_1_3_2_1_43_1","volume-title":"CLEVR: A Diagnostic Dataset for Compositional Language and Elementary Visual Reasoning. 2017 IEEE Conference on Computer Vision and Pattern Recognition (CVPR) (2017)","author":"Johnson Justin","year":"2017","unstructured":"Justin Johnson, Bharath Hariharan, Laurens van\u00a0der Maaten, Li Fei-Fei, C.\u00a0Lawrence Zitnick, and Ross\u00a0B. Girshick. 2017. CLEVR: A Diagnostic Dataset for Compositional Language and Elementary Visual Reasoning. 2017 IEEE Conference on Computer Vision and Pattern Recognition (CVPR) (2017), 1988\u20131997."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2015.7298990"},{"key":"e_1_3_2_1_45_1","volume-title":"Generative Compositional Augmentations for Scene Graph Prediction. 2021 IEEE\/CVF International Conference on Computer Vision (ICCV)","author":"Knyazev Boris","year":"2021","unstructured":"Boris Knyazev, Harm de Vries, C\u0103t\u0103lina Cangea, Graham\u00a0W. Taylor, Aaron\u00a0C. Courville, and Eugene Belilovsky. 2021. Generative Compositional Augmentations for Scene Graph Prediction. 2021 IEEE\/CVF International Conference on Computer Vision (ICCV) (2021), 15807\u201315817."},{"key":"e_1_3_2_1_46_1","volume-title":"Visual Genome: Connecting Language and Vision Using Crowdsourced Dense Image Annotations. https:\/\/arxiv.org\/abs\/1602.07332","author":"Krishna Ranjay","year":"2016","unstructured":"Ranjay Krishna, Yuke Zhu, Oliver Groth, Justin Johnson, Kenji Hata, Joshua Kravitz, Stephanie Chen, Yannis Kalantidis, Li-Jia Li, David\u00a0A Shamma, Michael Bernstein, and Li Fei-Fei. 2016. Visual Genome: Connecting Language and Vision Using Crowdsourced Dense Image Annotations. https:\/\/arxiv.org\/abs\/1602.07332"},{"key":"e_1_3_2_1_47_1","unstructured":"Bohan Li Yutai Hou and Wanxiang Che. 2021. Data Augmentation Approaches in Natural Language Processing: A Survey. ArXiv abs\/2110.01852(2021)."},{"key":"e_1_3_2_1_48_1","unstructured":"Chengshu Li Fei Xia Roberto Mart\u00edn-Mart\u00edn Michael Lingelbach Sanjana Srivastava Bokui Shen Kent Vainio Cem Gokmen Gokul Dharan Tanish Jain 2021. Igibson 2.0: Object-centric simulation for robot learning of everyday household tasks. arXiv preprint arXiv:2108.03272(2021)."},{"key":"e_1_3_2_1_49_1","volume-title":"Deep Variation-Structured Reinforcement Learning for Visual Relationship and Attribute Detection. 2017 IEEE Conference on Computer Vision and Pattern Recognition (CVPR)","author":"Liang Xiaodan","year":"2017","unstructured":"Xiaodan Liang, Lisa Lee, and Eric\u00a0P. Xing. 2017. Deep Variation-Structured Reinforcement Learning for Visual Relationship and Attribute Detection. 2017 IEEE Conference on Computer Vision and Pattern Recognition (CVPR) (2017), 4408\u20134417."},{"key":"e_1_3_2_1_50_1","unstructured":"Nan Liu Shuang Li Yilun Du Joshua\u00a0B. Tenenbaum and Antonio Torralba. 2021. Learning to Compose Visual Relations. ArXiv abs\/2111.09297(2021)."},{"key":"e_1_3_2_1_51_1","unstructured":"Jos\u00e9 Antonio\u00a0Hern\u00e1ndez L\u00f3pez Javier\u00a0Luis C\u00e1novas\u00a0Izquierdo and Jes\u00fas\u00a0S\u00e1nchez Cuadrado. 2021. ModelSet: a dataset for machine learning in model-driven engineering. Software and Systems Modeling(2021) 1\u201320."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-46448-0_51"},{"key":"e_1_3_2_1_53_1","volume-title":"Advances in Neural Information Processing Systems, Vol.\u00a031. Curran Associates","author":"Manhaeve Robin","unstructured":"Robin Manhaeve, Sebastijan Dumancic, Angelika Kimmig, Thomas Demeester, and Luc De\u00a0Raedt. 2018. DeepProbLog: Neural Probabilistic Logic Programming. In Advances in Neural Information Processing Systems, Vol.\u00a031. Curran Associates, Inc."},{"key":"e_1_3_2_1_54_1","unstructured":"Jiayuan Mao Chuang Gan Pushmeet Kohli Joshua\u00a0B. Tenenbaum and Jiajun Wu. 2019. The Neuro-Symbolic Concept Learner: Interpreting Scenes Words and Sentences From Natural Supervision. In ICLR."},{"key":"e_1_3_2_1_55_1","volume-title":"ECAI(Frontiers in Artificial Intelligence and Applications, Vol.\u00a0325)","author":"Marra Giuseppe","unstructured":"Giuseppe Marra, Michelangelo Diligenti, Francesco Giannini, Marco Gori, and Marco Maggini. 2020. Relational Neural Machines. In ECAI(Frontiers in Artificial Intelligence and Applications, Vol.\u00a0325). IOS Press, 1340\u20131347."},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/SBST.2019.00008"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-021-00913-x"},{"key":"e_1_3_2_1_58_1","volume-title":"Using Weighted MAX-SAT Engines to Solve MPE","author":"Park D.","unstructured":"James\u00a0D. Park. 2002. Using Weighted MAX-SAT Engines to Solve MPE. In AAAI. AAAI Press \/ The MIT Press, 682\u2013687."},{"key":"e_1_3_2_1_59_1","unstructured":"Luis Perez and Jason Wang. 2017. The Effectiveness of Data Augmentation in Image Classification using Deep Learning. ArXiv abs\/1712.04621(2017)."},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-020-00856-9"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-015-5494-z"},{"key":"e_1_3_2_1_62_1","unstructured":"Daniel Reich Felix Putze and Tanja Schultz. 2021. Adventurer\u2019s Treasure Hunt: A Transparent System for Visually Grounded Compositional Visual Question Answering based on Scene Graphs. ArXiv abs\/2106.14476(2021)."},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.2016.2577031"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-019-00266-2"},{"key":"e_1_3_2_1_65_1","unstructured":"SAIC. 2022. Digital Engineering Validation Tool. https:\/\/www.saic.com\/digital-engineering-validation-tool"},{"key":"e_1_3_2_1_66_1","unstructured":"Axel Sauer Kashyap Chitta Jens Muller and Andreas Geiger. 2021. Projected GANs Converge Faster. ArXiv abs\/2111.01007(2021)."},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-015-0485-x"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"crossref","unstructured":"Robyn Speer Joshua Chin and Catherine Havasi. 2017. ConceptNet 5.5: An Open Multilingual Graph of General Knowledge. ArXiv abs\/1612.03975(2017).","DOI":"10.1609\/aaai.v31i1.11164"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-008-0109-9"},{"key":"e_1_3_2_1_70_1","unstructured":"Zachary Susskind Bryce Arden Lizy\u00a0K. John Patrick Stockton and Eugene\u00a0B. John. 2021. Neuro-Symbolic AI: An Emerging Class of AI Workloads and their Characterization. CoRR abs\/2109.06133(2021). arXiv:2109.06133https:\/\/arxiv.org\/abs\/2109.06133"},{"key":"e_1_3_2_1_71_1","volume-title":"International Conference on Intelligent Autonomous Systems. Springer, 954\u2013963","author":"Szalay Zsolt","year":"2018","unstructured":"Zsolt Szalay, Zolt\u00e1n Hamar, and Peter Simon. 2018. A multi-layer autonomous vehicle and simulation validation ecosystem axis: Zalazone. In International Conference on Intelligent Autonomous Systems. Springer, 954\u2013963."},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"crossref","unstructured":"Naoya Takeishi and Yoshinobu Kawahara. 2019. Knowledge-based regularization in generative modeling. arXiv preprint arXiv:1902.02068(2019).","DOI":"10.24963\/ijcai.2020\/331"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR42600.2020.00377"},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1145\/3474085.3475545"},{"key":"e_1_3_2_1_75_1","volume-title":"Kodkod: A Relational Model Finder. In TACAS(Lecture Notes in Computer Science, Vol.\u00a04424)","author":"Torlak Emina","year":"2007","unstructured":"Emina Torlak and Daniel Jackson. 2007. Kodkod: A Relational Model Finder. In TACAS(Lecture Notes in Computer Science, Vol.\u00a04424). Springer, 632\u2013647."},{"key":"e_1_3_2_1_76_1","volume-title":"AAAI","author":"Towell G.","year":"1990","unstructured":"Geoffrey\u00a0G. Towell, Jude\u00a0W. Shavlik, and Michiel\u00a0O. Noordewier. 1990. Refinement of approximate domain theories by knowledge-based neural networks. In AAAI 1990."},{"key":"e_1_3_2_1_77_1","volume-title":"Neural-Symbolic Integration: A Compositional Perspective","author":"Tsamoura Efthymia","unstructured":"Efthymia Tsamoura, Timothy\u00a0M. Hospedales, and Loizos Michael. 2021. Neural-Symbolic Integration: A Compositional Perspective. In AAAI. AAAI Press, 5051\u20135060."},{"key":"e_1_3_2_1_78_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV.2019.00775"},{"key":"e_1_3_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.3389\/frobt.2018.00086"},{"key":"e_1_3_2_1_80_1","volume-title":"International Conference on Machine Learning. PMLR, 6545\u20136554","author":"Wang Po-Wei","year":"2019","unstructured":"Po-Wei Wang, Priya Donti, Bryan Wilder, and Zico Kolter. 2019. Satnet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver. In International Conference on Machine Learning. PMLR, 6545\u20136554."},{"key":"e_1_3_2_1_81_1","volume-title":"Generalizing from a Few Examples: A Survey on Few-shot Learning. ACM Comput. Surv. 53, 3","author":"Wang Yaqing","year":"2020","unstructured":"Yaqing Wang, Quanming Yao, James\u00a0T. Kwok, and Lionel\u00a0M. Ni. 2020. Generalizing from a Few Examples: A Survey on Few-shot Learning. ACM Comput. Surv. 53, 3 (2020), 63:1\u201363:34."},{"key":"e_1_3_2_1_82_1","unstructured":"Thomas Winters Giuseppe Marra Robin Manhaeve and Luc\u00a0De Raedt. 2021. DeepStochLog: Neural Stochastic Logic Programming. ArXiv abs\/2106.12574(2021)."},{"key":"e_1_3_2_1_83_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3338958"},{"key":"e_1_3_2_1_84_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2017.330"},{"key":"e_1_3_2_1_85_1","unstructured":"Jingyi Xu Zilu Zhang Tal Friedman Yitao Liang and Guy\u00a0Van den Broeck. 2018. A Semantic Loss Function for Deep Learning with Symbolic Knowledge. In ICML."},{"key":"e_1_3_2_1_86_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-01246-5_41"},{"key":"e_1_3_2_1_87_1","volume-title":"CLEVRER: Collision Events for Video Representation and Reasoning. In ICLR.","author":"Yi Kexin","year":"2020","unstructured":"Kexin Yi, Chuang Gan, Yunzhu Li, Pushmeet Kohli, Jiajun Wu, Antonio Torralba, and Joshua\u00a0B. Tenenbaum. 2020. CLEVRER: Collision Events for Video Representation and Reasoning. In ICLR."},{"key":"e_1_3_2_1_88_1","unstructured":"Kexin Yi Jiajun Wu Chuang Gan Antonio Torralba Pushmeet Kohli and Joshua\u00a0B. Tenenbaum. 2018. Neural-Symbolic VQA: Disentangling Reasoning from Vision and Language Understanding. In NeurIPS."},{"key":"e_1_3_2_1_89_1","volume-title":"Scene-graph augmented data-driven risk assessment of autonomous vehicle decisions","author":"Yu Shih-Yuan","year":"2021","unstructured":"Shih-Yuan Yu, Arnav\u00a0Vaibhav Malawade, Deepan Muthirayan, Pramod\u00a0P Khargonekar, and Mohammad\u00a0Abdullah Al\u00a0Faruque. 2021. Scene-graph augmented data-driven risk assessment of autonomous vehicle decisions. IEEE Transactions on Intelligent Transportation Systems (2021)."},{"key":"e_1_3_2_1_90_1","doi-asserted-by":"crossref","unstructured":"Alireza Zareian Svebor Karaman and Shih-Fu Chang. 2020. Bridging Knowledge Graphs to Generate Scene Graphs. In ECCV.","DOI":"10.1007\/978-3-030-58592-1_36"},{"key":"e_1_3_2_1_91_1","volume-title":"Neural Motifs: Scene Graph Parsing with Global Context. 2018 IEEE\/CVF Conference on Computer Vision and Pattern Recognition","author":"Zellers Rowan","year":"2018","unstructured":"Rowan Zellers, Mark Yatskar, Sam Thomson, and Yejin Choi. 2018. Neural Motifs: Scene Graph Parsing with Global Context. 2018 IEEE\/CVF Conference on Computer Vision and Pattern Recognition (2018), 5831\u20135840."},{"key":"e_1_3_2_1_92_1","doi-asserted-by":"crossref","unstructured":"Ji Zhang Kevin\u00a0J. Shih A. Elgammal Andrew Tao and Bryan Catanzaro. 2019. Graphical Contrastive Losses for Scene Graph Generation. ArXiv abs\/1903.02728(2019).","DOI":"10.1109\/CVPR.2019.01180"}],"event":{"name":"ASE '22: 37th IEEE\/ACM International Conference on Automated Software Engineering","location":"Rochester MI USA","acronym":"ASE '22"},"container-title":["Proceedings of the 37th IEEE\/ACM International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3551349.3560433","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3551349.3560433","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T07:59:59Z","timestamp":1755849599000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3551349.3560433"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,10]]},"references-count":92,"alternative-id":["10.1145\/3551349.3560433","10.1145\/3551349"],"URL":"https:\/\/doi.org\/10.1145\/3551349.3560433","relation":{},"subject":[],"published":{"date-parts":[[2022,10,10]]},"assertion":[{"value":"2023-01-05","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}