{"id":"https://openalex.org/W7137806566","doi":"https://doi.org/10.18653/v1/2025.findings-ijcnlp.8","title":"Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection","display_name":"Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection","publication_year":2025,"publication_date":"2025-01-01","ids":{"openalex":"https://openalex.org/W7137806566","doi":"https://doi.org/10.18653/v1/2025.findings-ijcnlp.8"},"language":null,"primary_location":{"id":"doi:10.18653/v1/2025.findings-ijcnlp.8","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/2025.findings-ijcnlp.8","pdf_url":"https://aclanthology.org/2025.findings-ijcnlp.8.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":"Proceedings of the 14th International Joint Conference on Natural Language Processing and the 4th Conference of the Asia-Pacific Chapter of the Association for Computational Linguistics","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-ijcnlp.8.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5044935608","display_name":"Abhinav Lalwani","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Abhinav Lalwani","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5129749853","display_name":"Tasha Kim","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tasha Kim","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5097250694","display_name":"Lovish Chopra","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lovish Chopra","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5129695242","display_name":"Christopher Hahn","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Christopher Hahn","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5129646838","display_name":"Zhijing Jin","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhijing Jin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5129677110","display_name":"Mrinmaya Sachan","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mrinmaya Sachan","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":2,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"132","last_page":"147"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.3467999994754791,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.3467999994754791,"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"}},{"id":"https://openalex.org/T10181","display_name":"Natural Language Processing Techniques","score":0.15240000188350677,"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"}},{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.0632999986410141,"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/natural-language","display_name":"Natural language","score":0.4968999922275543},{"id":"https://openalex.org/keywords/fallacy","display_name":"Fallacy","score":0.4952999949455261},{"id":"https://openalex.org/keywords/natural","display_name":"Natural (archaeology)","score":0.37070000171661377},{"id":"https://openalex.org/keywords/logical-consequence","display_name":"Logical consequence","score":0.33640000224113464},{"id":"https://openalex.org/keywords/feature","display_name":"Feature (linguistics)","score":0.2838999927043915},{"id":"https://openalex.org/keywords/logical-conjunction","display_name":"Logical conjunction","score":0.2712000012397766}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5231000185012817},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.4968999922275543},{"id":"https://openalex.org/C2781035248","wikidata":"https://www.wikidata.org/wiki/Q186150","display_name":"Fallacy","level":2,"score":0.4952999949455261},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.4675000011920929},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.4620000123977661},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.43130001425743103},{"id":"https://openalex.org/C2776608160","wikidata":"https://www.wikidata.org/wiki/Q4785462","display_name":"Natural (archaeology)","level":2,"score":0.37070000171661377},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.33640000224113464},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.3131999969482422},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.30070000886917114},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.2838999927043915},{"id":"https://openalex.org/C21847791","wikidata":"https://www.wikidata.org/wiki/Q191081","display_name":"Logical conjunction","level":2,"score":0.2712000012397766},{"id":"https://openalex.org/C188147891","wikidata":"https://www.wikidata.org/wiki/Q147638","display_name":"Cognitive science","level":1,"score":0.2662000060081482},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.26350000500679016},{"id":"https://openalex.org/C2777152325","wikidata":"https://www.wikidata.org/wiki/Q108163","display_name":"Proposition","level":2,"score":0.26109999418258667},{"id":"https://openalex.org/C2779439875","wikidata":"https://www.wikidata.org/wiki/Q1078276","display_name":"Natural language understanding","level":3,"score":0.26100000739097595}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.18653/v1/2025.findings-ijcnlp.8","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/2025.findings-ijcnlp.8","pdf_url":"https://aclanthology.org/2025.findings-ijcnlp.8.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":"Proceedings of the 14th International Joint Conference on Natural Language Processing and the 4th Conference of the Asia-Pacific Chapter of the Association for Computational Linguistics","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.18653/v1/2025.findings-ijcnlp.8","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/2025.findings-ijcnlp.8","pdf_url":"https://aclanthology.org/2025.findings-ijcnlp.8.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":"Proceedings of the 14th International Joint Conference on Natural Language Processing and the 4th Conference of the Asia-Pacific Chapter of the Association for Computational Linguistics","raw_type":"proceedings-article"},"sustainable_development_goals":[{"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10","score":0.44197970628738403}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7137806566.pdf","grobid_xml":"https://content.openalex.org/works/W7137806566.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Abhinav":[0],"Lalwani,":[1],"Tasha":[2],"Kim,":[3],"Lovish":[4],"Chopra,":[5],"Christopher":[6],"Hahn,":[7],"Zhijing":[8],"Jin,":[9],"Mrinmaya":[10],"Sachan.":[11],"Proceedings":[12],"of":[13,27,31],"the":[14,24,28,32],"14th":[15],"International":[16],"Joint":[17],"Conference":[18,26],"on":[19],"Natural":[20],"Language":[21],"Processing":[22],"and":[23],"4th":[25],"Asia-Pacific":[29],"Chapter":[30],"Association":[33],"for":[34],"Computational":[35],"Linguistics.":[36],"2025.":[37]},"counts_by_year":[{"year":2026,"cited_by_count":2}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2026-03-18T00:00:00"}