@inproceedings{xu-etal-2025-logical, title = "Logical Consistency is Vital: Neural-Symbolic Information Retrieval for Negative-Constraint Queries", author = "Xu, Ganlin and Zhang, Zhoujia and Mei, Wangyi and Liang, Jiaqing and Lu, Weijia and Zhang, Xiaodong and Yang, Zhifei and Ma, Xiaofeng and Xiao, Yanghua and Yang, Deqing", editor = "Che, Wanxiang and Nabende, Joyce and Shutova, Ekaterina and Pilehvar, Mohammad Taher", booktitle = "Findings of the Association for Computational Linguistics: ACL 2025", month = jul, year = "2025", address = "Vienna, Austria", publisher = "Association for Computational Linguistics", url = "https://preview.aclanthology.org/display_plenaries/2025.findings-acl.92/", pages = "1828--1847", ISBN = "979-8-89176-256-5" }