{"id":"https://openalex.org/W4412888824","doi":"https://doi.org/10.18653/v1/2025.findings-acl.92","title":"Logical Consistency is Vital: Neural-Symbolic Information Retrieval for Negative-Constraint Queries","display_name":"Logical Consistency is Vital: Neural-Symbolic Information Retrieval for Negative-Constraint Queries","publication_year":2025,"publication_date":"2025-01-01","ids":{"openalex":"https://openalex.org/W4412888824","doi":"https://doi.org/10.18653/v1/2025.findings-acl.92"},"language":"en","primary_location":{"id":"doi:10.18653/v1/2025.findings-acl.92","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/2025.findings-acl.92","pdf_url":"https://aclanthology.org/2025.findings-acl.92.pdf","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Findings of the Association for Computational Linguistics: ACL 2025","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://aclanthology.org/2025.findings-acl.92.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5080136488","display_name":"Ganlin Xu","orcid":"https://orcid.org/0000-0001-8276-3199"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ganlin Xu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073781773","display_name":"Zikun Zhang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhoujia Zhang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Wangyi Mei","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wangyi Mei","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075507821","display_name":"Jiaqing Liang","orcid":"https://orcid.org/0000-0003-0670-5602"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jiaqing Liang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057819415","display_name":"Weijia L\u00fc","orcid":"https://orcid.org/0000-0002-7899-6034"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Weijia Lu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5107482137","display_name":"Xiaodong Zhang","orcid":"https://orcid.org/0000-0003-4137-3535"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xiaodong Zhang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5104283452","display_name":"Zhifei Yang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhifei Yang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073925011","display_name":"Xiaofeng Ma","orcid":"https://orcid.org/0000-0003-0561-6448"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xiaofeng Ma","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5115595421","display_name":"Yanghua Xiao","orcid":"https://orcid.org/0000-0001-7417-0799"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yanghua Xiao","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5072181882","display_name":"Deqing Yang","orcid":"https://orcid.org/0000-0002-1390-3861"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Deqing Yang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1828","last_page":"1847"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10320","display_name":"Neural Networks and Applications","score":0.9810000061988831,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10320","display_name":"Neural Networks and Applications","score":0.9810000061988831,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7695873975753784},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.6209094524383545},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.6058455109596252},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.5691512227058411},{"id":"https://openalex.org/keywords/local-consistency","display_name":"Local consistency","score":0.5440442562103271},{"id":"https://openalex.org/keywords/causal-consistency","display_name":"Causal consistency","score":0.41053518652915955},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4045841693878174},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.35452014207839966},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.32374560832977295},{"id":"https://openalex.org/keywords/constraint-satisfaction-problem","display_name":"Constraint satisfaction problem","score":0.3019040822982788},{"id":"https://openalex.org/keywords/sequential-consistency","display_name":"Sequential consistency","score":0.2788735628128052},{"id":"https://openalex.org/keywords/data-consistency","display_name":"Data consistency","score":0.20914360880851746},{"id":"https://openalex.org/keywords/consistency-model","display_name":"Consistency model","score":0.16450071334838867},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.15423163771629333},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.12859702110290527},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.09386131167411804}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7695873975753784},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.6209094524383545},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.6058455109596252},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.5691512227058411},{"id":"https://openalex.org/C137105694","wikidata":"https://www.wikidata.org/wiki/Q3407510","display_name":"Local consistency","level":4,"score":0.5440442562103271},{"id":"https://openalex.org/C175652121","wikidata":"https://www.wikidata.org/wiki/Q4379351","display_name":"Causal consistency","level":5,"score":0.41053518652915955},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4045841693878174},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35452014207839966},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.32374560832977295},{"id":"https://openalex.org/C199622910","wikidata":"https://www.wikidata.org/wiki/Q1128326","display_name":"Constraint satisfaction problem","level":3,"score":0.3019040822982788},{"id":"https://openalex.org/C82029504","wikidata":"https://www.wikidata.org/wiki/Q4373882","display_name":"Sequential consistency","level":4,"score":0.2788735628128052},{"id":"https://openalex.org/C93361087","wikidata":"https://www.wikidata.org/wiki/Q4426698","display_name":"Data consistency","level":2,"score":0.20914360880851746},{"id":"https://openalex.org/C37279795","wikidata":"https://www.wikidata.org/wiki/Q2492305","display_name":"Consistency model","level":3,"score":0.16450071334838867},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.15423163771629333},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.12859702110290527},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.09386131167411804},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.18653/v1/2025.findings-acl.92","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/2025.findings-acl.92","pdf_url":"https://aclanthology.org/2025.findings-acl.92.pdf","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Findings of the Association for Computational Linguistics: ACL 2025","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.18653/v1/2025.findings-acl.92","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/2025.findings-acl.92","pdf_url":"https://aclanthology.org/2025.findings-acl.92.pdf","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Findings of the Association for Computational Linguistics: ACL 2025","raw_type":"proceedings-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities","score":0.44999998807907104}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4412888824.pdf","grobid_xml":"https://content.openalex.org/works/W4412888824.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2118249115","https://openalex.org/W2569549435","https://openalex.org/W3018903097","https://openalex.org/W2091348864","https://openalex.org/W1592998112","https://openalex.org/W1510768092","https://openalex.org/W2611003898","https://openalex.org/W1564991550","https://openalex.org/W2098650100","https://openalex.org/W2604924028"],"abstract_inverted_index":{"Ganlin":[0],"Xu,":[1],"Zhoujia":[2],"Zhang,":[3,11],"Wangyi":[4],"Mei,":[5],"Jiaqing":[6],"Liang,":[7],"Weijia":[8],"Lu,":[9],"Xiaodong":[10],"Zhifei":[12],"Yang,":[13],"Xiaofeng":[14],"Ma,":[15],"Yanghua":[16],"Xiao,":[17],"Deqing":[18],"Yang.":[19],"Findings":[20],"of":[21],"the":[22],"Association":[23],"for":[24],"Computational":[25],"Linguistics:":[26],"ACL":[27],"2025.":[28,29]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-07-16T13:24:37.021932","created_date":"2025-10-10T00:00:00"}