{"id":"https://openalex.org/W2949276121","doi":"https://doi.org/10.18653/v1/p19-1028","title":"Augmenting Neural Networks with First-order Logic","display_name":"Augmenting Neural Networks with First-order Logic","publication_year":2019,"publication_date":"2019-01-01","ids":{"openalex":"https://openalex.org/W2949276121","doi":"https://doi.org/10.18653/v1/p19-1028","mag":"2949276121"},"language":"en","primary_location":{"id":"doi:10.18653/v1/p19-1028","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/p19-1028","pdf_url":"https://aclanthology.org/P19-1028.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 57th Annual Meeting of the Association for Computational Linguistics","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://aclanthology.org/P19-1028.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100455376","display_name":"Tao Li","orcid":"https://orcid.org/0000-0003-1697-8022"},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Tao Li","raw_affiliation_strings":["University of Utah"],"affiliations":[{"raw_affiliation_string":"University of Utah","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5013135203","display_name":"Vivek Srikumar","orcid":"https://orcid.org/0000-0003-0419-6568"},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Vivek Srikumar","raw_affiliation_strings":["University of Utah"],"affiliations":[{"raw_affiliation_string":"University of Utah","institution_ids":["https://openalex.org/I223532165"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5100455376"],"corresponding_institution_ids":["https://openalex.org/I223532165"],"apc_list":null,"apc_paid":null,"fwci":6.5028,"has_fulltext":true,"cited_by_count":74,"citation_normalized_percentile":{"value":0.97245105,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"292","last_page":"302"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10028","display_name":"Topic Modeling","score":0.9998999834060669,"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/T10028","display_name":"Topic Modeling","score":0.9998999834060669,"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.9991999864578247,"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/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.9940000176429749,"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.8246762752532959},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.6725116968154907},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.6383671164512634},{"id":"https://openalex.org/keywords/chunking","display_name":"Chunking (psychology)","score":0.6063006520271301},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.5703790187835693},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.5316059589385986},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.460908979177475},{"id":"https://openalex.org/keywords/natural-language","display_name":"Natural language","score":0.4337783753871918},{"id":"https://openalex.org/keywords/knowledge-graph","display_name":"Knowledge graph","score":0.41560444235801697},{"id":"https://openalex.org/keywords/deep-neural-networks","display_name":"Deep neural networks","score":0.4151512384414673},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.34209296107292175}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8246762752532959},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.6725116968154907},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.6383671164512634},{"id":"https://openalex.org/C203357204","wikidata":"https://www.wikidata.org/wiki/Q1089605","display_name":"Chunking (psychology)","level":2,"score":0.6063006520271301},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.5703790187835693},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.5316059589385986},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.460908979177475},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.4337783753871918},{"id":"https://openalex.org/C2987255567","wikidata":"https://www.wikidata.org/wiki/Q33002955","display_name":"Knowledge graph","level":2,"score":0.41560444235801697},{"id":"https://openalex.org/C2984842247","wikidata":"https://www.wikidata.org/wiki/Q197536","display_name":"Deep neural networks","level":3,"score":0.4151512384414673},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.34209296107292175},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.18653/v1/p19-1028","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/p19-1028","pdf_url":"https://aclanthology.org/P19-1028.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 57th Annual Meeting of the Association for Computational Linguistics","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.18653/v1/p19-1028","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/p19-1028","pdf_url":"https://aclanthology.org/P19-1028.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 57th Annual Meeting of the Association for Computational Linguistics","raw_type":"proceedings-article"},"sustainable_development_goals":[{"display_name":"Quality Education","score":0.6200000047683716,"id":"https://metadata.un.org/sdg/4"}],"awards":[{"id":"https://openalex.org/G5827994715","display_name":"SaTC: CORE: Medium: Large-Scale Data Driven Anomaly Detection and Diagnosis from System Logs","funder_award_id":"1801446","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G848032724","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320309480","display_name":"Nvidia","ror":"https://ror.org/03jdj4y14"},{"id":"https://openalex.org/F4320310050","display_name":"University of Utah","ror":"https://ror.org/03r0ha626"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2949276121.pdf","grobid_xml":"https://content.openalex.org/works/W2949276121.grobid-xml"},"referenced_works_count":54,"referenced_works":["https://openalex.org/W92973652","https://openalex.org/W1484418787","https://openalex.org/W1821462560","https://openalex.org/W1840435438","https://openalex.org/W1902237438","https://openalex.org/W1940872118","https://openalex.org/W1977970897","https://openalex.org/W1986767090","https://openalex.org/W1998162300","https://openalex.org/W2016089260","https://openalex.org/W2095705004","https://openalex.org/W2098921539","https://openalex.org/W2098949613","https://openalex.org/W2119295783","https://openalex.org/W2120480077","https://openalex.org/W2122410182","https://openalex.org/W2133564696","https://openalex.org/W2165025072","https://openalex.org/W2179686778","https://openalex.org/W2189004000","https://openalex.org/W2250539671","https://openalex.org/W2253807446","https://openalex.org/W2296268288","https://openalex.org/W2413794162","https://openalex.org/W2551396370","https://openalex.org/W2586050494","https://openalex.org/W2606347107","https://openalex.org/W2767656849","https://openalex.org/W2787693176","https://openalex.org/W2798416089","https://openalex.org/W2803917864","https://openalex.org/W2888041867","https://openalex.org/W2888491130","https://openalex.org/W2896457183","https://openalex.org/W2899771611","https://openalex.org/W2923924002","https://openalex.org/W2945531126","https://openalex.org/W2949847915","https://openalex.org/W2951299559","https://openalex.org/W2951674308","https://openalex.org/W2953084091","https://openalex.org/W2962739339","https://openalex.org/W2962926863","https://openalex.org/W2962965405","https://openalex.org/W2963341956","https://openalex.org/W2963451457","https://openalex.org/W2963545005","https://openalex.org/W2963687836","https://openalex.org/W2963718045","https://openalex.org/W2963737801","https://openalex.org/W2963748441","https://openalex.org/W2964095938","https://openalex.org/W2964263959","https://openalex.org/W2964308564"],"related_works":["https://openalex.org/W2585236228","https://openalex.org/W2346234991","https://openalex.org/W1872130062","https://openalex.org/W2293457016","https://openalex.org/W159132833","https://openalex.org/W2977842567","https://openalex.org/W2502722637","https://openalex.org/W3198474835","https://openalex.org/W2270489685","https://openalex.org/W2953084091"],"abstract_inverted_index":{"Today,":[0],"the":[1,26],"dominant":[2],"paradigm":[3],"for":[4,44],"training":[5,31,56],"neural":[6,49,71],"networks":[7,101],"involves":[8],"minimizing":[9],"task":[10],"loss":[11],"on":[12,85],"a":[13,21,41,70],"large":[14],"dataset.":[15],"Using":[16],"world":[17],"knowledge":[18,47],"to":[19,28,48,54],"inform":[20],"model,":[22],"and":[23,57,93],"yet":[24],"retain":[25],"ability":[27],"perform":[29],"end-to-end":[30],"remains":[32],"an":[33],"open":[34],"question.":[35],"In":[36],"this":[37],"paper,":[38],"we":[39],"present":[40],"novel":[42],"framework":[43,60],"introducing":[45],"declarative":[46],"network":[50,72],"architectures":[51],"in":[52,108],"order":[53],"guide":[55],"prediction.":[58],"Our":[59,96],"systematically":[61],"compiles":[62],"logical":[63],"statements":[64],"into":[65],"computation":[66],"graphs":[67],"that":[68,99],"augment":[69],"without":[73],"extra":[74],"learnable":[75],"parameters":[76],"or":[77],"manual":[78],"redesign.":[79],"We":[80],"evaluate":[81],"our":[82],"modeling":[83],"strategy":[84],"three":[86],"tasks:":[87],"machine":[88],"comprehension,":[89],"natural":[90],"language":[91],"inference,":[92],"text":[94],"chunking.":[95],"experiments":[97],"show":[98],"knowledge-augmented":[100],"can":[102],"strongly":[103],"improve":[104],"over":[105],"baselines,":[106],"especially":[107],"low-data":[109],"regimes.":[110]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":9},{"year":2023,"cited_by_count":18},{"year":2022,"cited_by_count":7},{"year":2021,"cited_by_count":18},{"year":2020,"cited_by_count":16},{"year":2019,"cited_by_count":4}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}