{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T19:38:49Z","timestamp":1776886729100,"version":"3.51.2"},"reference-count":31,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,6,6]],"date-time":"2021-06-06T00:00:00Z","timestamp":1622937600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,6,6]],"date-time":"2021-06-06T00:00:00Z","timestamp":1622937600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,6,6]],"date-time":"2021-06-06T00:00:00Z","timestamp":1622937600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,6,6]]},"DOI":"10.1109\/icassp39728.2021.9415044","type":"proceedings-article","created":{"date-parts":[[2021,5,13]],"date-time":"2021-05-13T19:53:45Z","timestamp":1620935625000},"page":"5559-5563","source":"Crossref","is-referenced-by-count":4,"title":["Training Logical Neural Networks by Primal\u2013Dual Methods for Neuro-Symbolic Reasoning"],"prefix":"10.1109","author":[{"given":"Songtao","family":"Lu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Naweed","family":"Khan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ismail Yunus","family":"Akhalwaya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ryan","family":"Riegel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lior","family":"Horesh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Gray","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2020.3003851"},{"key":"ref30","article-title":"The alchemy tutorial","author":"domingos","year":"2010"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1515\/9781400873173"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/BF01588967"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1137\/11082381X"},{"key":"ref13","article-title":"Iteration-complexity of an inexact proximal accelerated augmented lagrangian method for solving linearly constrained smooth nonconvex composite optimization problems","author":"melo","year":"2020"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-019-01425-9"},{"key":"ref15","article-title":"First-order methods for problems with O(1) functional constraints can have almost the same convergence rate as for unconstrained problems","author":"xu","year":"2020"},{"key":"ref16","article-title":"Rate-improved inexact augmented Lagrangian method for constrained nonconvex optimization","author":"li","year":"2021","journal-title":"Proc of International Conference on Artificial Intelligence and Statistics"},{"key":"ref17","first-page":"13965","article-title":"An inexact augmented Lgrangian framework for nonconvex optimization with nonlinear constraints","author":"sahin","year":"2019","journal-title":"Proc of Advances in Neural Information Processing systems"},{"key":"ref18","author":"boyd","year":"2011","journal-title":"Distributed optimization and statistical learning via the alternating direction method of multipliers"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/s10915-018-0757-z"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1137\/18M1171011"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-006-5833-1"},{"key":"ref27","author":"bertsekas","year":"1998","journal-title":"Nonlinear Programming"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1023\/A:1007665907178"},{"key":"ref6","first-page":"7712","article-title":"Probabilistic logic neural networks for reasoning","author":"qu","year":"2019","journal-title":"Proc of Advances in Neural Information Processing systems"},{"key":"ref29","article-title":"UCI machine learning repository","author":"dua","year":"2017"},{"key":"ref5","first-page":"3846","article-title":"Hinge-loss markov random fields and probabilistic soft logic","volume":"18","author":"bach","year":"2017","journal-title":"The Journal of Machine Learning Research"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-009-9143-8"},{"key":"ref7","article-title":"Foundations of reasoning with uncertainty via real-valued logics","author":"fagin","year":"2020"},{"key":"ref2","article-title":"Neural-symbolic computing: An effective methodology for principled integration of machine learning and reasoning","author":"garcez","year":"2019"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/BF00927673"},{"key":"ref1","article-title":"Logical neural networks","author":"riegel","year":"2020"},{"key":"ref20","article-title":"First-order methods of solving nonconvex optimization problems: algorithms, convergence, and optimality","author":"lu","year":"2018","journal-title":"Graduate Theses and Dissertations"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-016-1034-2"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1137\/19M1242276"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TSP.2017.2679687"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1137\/140990309"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/3292500.3330936"},{"key":"ref25","first-page":"2722","article-title":"Training neural networks without gradients: A scalable ADMM approach","author":"taylor","year":"2016","journal-title":"Proc of International Conference on Machine Learning"}],"event":{"name":"ICASSP 2021 - 2021 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP)","location":"Toronto, ON, Canada","start":{"date-parts":[[2021,6,6]]},"end":{"date-parts":[[2021,6,11]]}},"container-title":["ICASSP 2021 - 2021 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9413349\/9413350\/09415044.pdf?arnumber=9415044","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T15:40:52Z","timestamp":1652197252000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9415044\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,6]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/icassp39728.2021.9415044","relation":{},"subject":[],"published":{"date-parts":[[2021,6,6]]}}}