{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,16]],"date-time":"2026-01-16T23:17:52Z","timestamp":1768605472586,"version":"3.49.0"},"reference-count":36,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.439.8","type":"journal-article","created":{"date-parts":[[2026,1,14]],"date-time":"2026-01-14T11:28:51Z","timestamp":1768390131000},"page":"89-113","source":"Crossref","is-referenced-by-count":0,"title":["Logic Tensor Network-Enhanced Generative Adversarial Network"],"prefix":"10.4204","volume":"439","author":[{"given":"Nijesh","family":"Upreti","sequence":"first","affiliation":[{"name":"The University of Edinburgh"}]},{"given":"Vaishak","family":"Belle","sequence":"additional","affiliation":[{"name":"The University of Edinburgh"}]}],"member":"2720","published-online":{"date-parts":[[2026,1,8]]},"reference":[{"key":"ahmed2023pseudo","article-title":"A Pseudo-Semantic Loss for Autoregressive Models with Logical Constraints","volume-title":"Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans, LA, USA, December 10 - 16, 2023","author":"Ahmed","year":"2023"},{"key":"badreddine2022logic","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2021.103649","article-title":"Logic Tensor Networks","volume":"303","author":"Badreddine","year":"2022","journal-title":"Artif. Intell."},{"key":"chao2021constrained","doi-asserted-by":"publisher","first-page":"19208","DOI":"10.1109\/ACCESS.2021.3054822","article-title":"Constrained Generative Adversarial Networks","volume":"9","author":"Chao","year":"2021","journal-title":"IEEE Access"},{"key":"CornelioWhenWhere23","article-title":"Learning where and when to reason in neuro-symbolic inference","volume-title":"The Eleventh International Conference on Learning Representations, ICLR 2023, Kigali, Rwanda, May 1-5, 2023","author":"Cornelio","year":"2023"},{"key":"ferber2024genco","article-title":"GenCO: Generating Diverse Designs with Combinatorial Constraints","volume-title":"Forty-first International Conference on Machine Learning, ICML 2024, Vienna, Austria, July 21-27, 2024","author":"Ferber","year":"2024"},{"key":"goodfellow2014generative","first-page":"2672","article-title":"Generative Adversarial Nets","volume-title":"Advances in Neural Information Processing Systems 27: Annual Conference on Neural Information Processing Systems 2014, December 8-13 2014, Montreal, Quebec, Canada","author":"Goodfellow","year":"2014"},{"key":"Heim19","doi-asserted-by":"publisher","first-page":"10753","DOI":"10.1109\/CVPR.2019.01101","article-title":"Constrained Generative Adversarial Networks for Interactive Image Generation","volume-title":"IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2019, Long Beach, CA, USA, June 16-20, 2019","author":"Heim","year":"2019"},{"issue":"10","key":"HessPhysicallyConstrainedGAN22","doi-asserted-by":"publisher","first-page":"828","DOI":"10.1038\/s42256-022-00540-1","article-title":"Physically constrained generative adversarial networks for improving precipitation fields from Earth system models","volume":"4","author":"Hess","year":"2022","journal-title":"Nat. Mac. Intell."},{"key":"hoernle2022multiplexnet","doi-asserted-by":"publisher","first-page":"5700","DOI":"10.1609\/aaai.v36i5.20512","article-title":"MultiplexNet: Towards Fully Satisfied Logical Constraints in Neural Networks","volume-title":"Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022, Thirty-Fourth Conference on Innovative Applications of Artificial Intelligence, IAAI 2022, The Twelveth Symposium on Educational Advances in Artificial Intelligence, EAAI 2022 Virtual Event, February 22 - March 1, 2022","author":"Hoernle","year":"2022"},{"key":"hu2018deep","first-page":"10522","article-title":"Deep Generative Models with Learnable Knowledge Constraints","volume-title":"Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, NeurIPS 2018, December 3-8, 2018, Montr\u00e9al, Canada","author":"Hu","year":"2018"},{"key":"JiangGenNeSyMachine20","article-title":"Generative Neurosymbolic Machines","volume-title":"Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, NeurIPS 2020, December 6-12, 2020, virtual","author":"Jiang","year":"2020"},{"key":"kumar2022constrained","doi-asserted-by":"publisher","first-page":"2251","DOI":"10.48550\/arXiv.2205.12558","article-title":"Gradient-based Constrained Sampling from Language Models","volume-title":"Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing","author":"Kumar","year":"2022"},{"issue":"11","key":"mnistlecun1998","doi-asserted-by":"publisher","first-page":"2278","DOI":"10.1109\/5.726791","article-title":"Gradient-based learning applied to document recognition","volume":"86","author":"LeCun","year":"1998","journal-title":"Proc. IEEE"},{"key":"li2020supporting","doi-asserted-by":"publisher","first-page":"2875","DOI":"10.1145\/3318464.3384414","article-title":"Supporting Database Constraints in Synthetic Data Generation based on Generative Adversarial Networks","volume-title":"Proceedings of the 2020 International Conference on Management of Data, SIGMOD Conference 2020, online conference [Portland, OR, USA], June 14-19, 2020","author":"Li","year":"2020"},{"key":"li2023neuro","article-title":"Neuro-symbolic Learning Yielding Logical Constraints","volume-title":"Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans, LA, USA, December 10 - 16, 2023","author":"Li","year":"2023"},{"key":"LiLearningLogicalConstraints23","article-title":"Learning with Logical Constraints but without Shortcut Satisfaction","volume-title":"The Eleventh International Conference on Learning Representations, ICLR 2023, Kigali, Rwanda, May 1-5, 2023","author":"Li","year":"2023"},{"key":"di2020efficient","article-title":"Efficient Generation of Structured Objects with Constrained Adversarial Networks","volume-title":"Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, NeurIPS 2020, December 6-12, 2020, virtual","author":"Liello","year":"2020"},{"issue":"12","key":"LiuBFGAN19","doi-asserted-by":"publisher","first-page":"2350","DOI":"10.1109\/TASLP.2019.2943018","article-title":"BFGAN: Backward and Forward Generative Adversarial Networks for Lexically Constrained Sentence Generation","volume":"27","author":"Liu","year":"2019","journal-title":"IEEE ACM Trans. Audio Speech Lang. Process."},{"key":"liu2020chance","first-page":"6271","article-title":"A Chance-Constrained Generative Framework for Sequence Optimization","volume-title":"Proceedings of the 37th International Conference on Machine Learning, ICML 2020, 13-18 July 2020, Virtual Event","author":"Liu","year":"2020"},{"key":"mendez2024semantic","doi-asserted-by":"publisher","first-page":"909","DOI":"10.5220\/0013229200003890","article-title":"Semantic Objective Functions: A Distribution-Aware Method for Adding Logical Constraints in Deep Learning","volume-title":"Proceedings of the 17th International Conference on Agents and Artificial Intelligence, ICAART 2025 - Volume 3, Porto, Portugal, February 23-25, 2025","author":"Lucero","year":"2025"},{"key":"misino2022vael","article-title":"VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming","volume-title":"Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, NeurIPS 2022, New Orleans, LA, USA, November 28 - December 9, 2022","author":"Misino","year":"2022"},{"key":"mollaysa2020goal","article-title":"Goal-directed Generation of Discrete Structures with Conditional Generative Models","volume-title":"Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, NeurIPS 2020, December 6-12, 2020, virtual","author":"Mollaysa","year":"2020"},{"key":"morettin2021co","article-title":"Co-creating Platformer Levels with Constrained Adversarial Networks","volume-title":"Joint Proceedings of the ACM IUI 2021 Workshops co-located with 26th ACM Conference on Intelligent User Interfaces (ACM IUI 2021), College Station, United States, April 13-17, 2021","author":"Morettin","year":"2021"},{"key":"para2021sketchgen","first-page":"5077","article-title":"SketchGen: Generating Constrained CAD Sketches","volume-title":"Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, NeurIPS 2021, December 6-14, 2021, virtual","author":"Para","year":"2021"},{"key":"PengGenUnderstand23","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2310.17451","article-title":"Generating by Understanding: Neural Visual Generation with Logical Symbol Groundings","volume":"abs\/2310.17451","author":"Peng","year":"2023","journal-title":"CoRR"},{"key":"QuanRCFLGAN24","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1109\/CSCWD61410.2024.10580839","article-title":"RCFL-GAN: Resource-Constrained Federated Learning with Generative Adversarial Networks","volume-title":"27th International Conference on Computer Supported Cooperative Work in Design, CSCWD 2024, Tianjin, China, May 8-10, 2024","author":"Quan","year":"2024"},{"key":"seff2022vitruvion","article-title":"Vitruvion: A Generative Model of Parametric CAD Sketches","volume-title":"The Tenth International Conference on Learning Representations, ICLR 2022, Virtual Event, April 25-29, 2022","author":"Seff","year":"2022"},{"key":"serafini2016logic","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/978-3-319-49130-1_25","article-title":"Learning and Reasoning with Logic Tensor Networks","volume-title":"AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29 - December 1, 2016, Proceedings","volume":"10037","author":"Serafini","year":"2016"},{"issue":"41","key":"sharma2024generative","doi-asserted-by":"publisher","first-page":"88811","DOI":"10.1007\/s11042-024-18767-y","article-title":"Generative adversarial networks (GANs): Introduction, Taxonomy, Variants, Limitations, and Applications","volume":"83","author":"Sharma","year":"2024","journal-title":"Multim. Tools Appl."},{"key":"StoianDCLG24","article-title":"How Realistic Is Your Synthetic Data? Constraining Deep Generative Models for Tabular Data","volume-title":"The Twelfth International Conference on Learning Representations, ICLR 2024, Vienna, Austria, May 7-11, 2024","author":"Stoian","year":"2024"},{"key":"stoianbeyond","article-title":"Beyond the convexity assumption: Realistic tabular data generation under quantifier-free real linear constraints","volume-title":"The Thirteenth International Conference on Learning Representations, ICLR 2025, Singapore, April 24-28, 2025","author":"Stoian","year":"2025"},{"key":"xu2018semantic","first-page":"5498","article-title":"A Semantic Loss Function for Deep Learning with Symbolic Knowledge","volume-title":"Proceedings of the 35th International Conference on Machine Learning, ICML 2018, Stockholmsm\u00e4ssan, Stockholm, Sweden, July 10-15, 2018","author":"Xu","year":"2018"},{"key":"XueEmbedding19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"616","DOI":"10.1007\/978-3-030-19212-9_41","article-title":"Embedding Decision Diagrams into Generative Adversarial Networks","volume-title":"Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings","volume":"11494","author":"Xue","year":"2019"},{"key":"yang2022injecting","first-page":"25096","article-title":"Injecting Logical Constraints into Neural Networks via Straight-Through Estimators","volume-title":"International Conference on Machine Learning, ICML 2022, 17-23 July 2022, Baltimore, Maryland, USA","author":"Yang","year":"2022"},{"key":"young2022neurosymbolic","article-title":"Neurosymbolic Deep Generative Models for Sequence Data with Relational Constraints","volume-title":"Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, NeurIPS 2022, New Orleans, LA, USA, November 28 - December 9, 2022","author":"Young","year":"2022"},{"issue":"3","key":"Yang2021enforcing","doi-asserted-by":"publisher","first-page":"635","DOI":"10.48550\/arXiv.1911.06671","article-title":"Enforcing Imprecise Constraints on Generative Adversarial Networks for Emulating Physical Systems","volume":"30","author":"Zeng","year":"2021","journal-title":"Communications in Computational Physics"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2026,1,16]],"date-time":"2026-01-16T13:29:55Z","timestamp":1768570195000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/2601.03839v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,1,8]]},"references-count":36,"URL":"https:\/\/doi.org\/10.4204\/eptcs.439.8","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,1,8]]}}}