{"id":"https://openalex.org/W4385484710","doi":"https://doi.org/10.1109/ijcnn54540.2023.10191306","title":"On a New Type of Neural Computation for Probabilistic Symbolic Reasoning","display_name":"On a New Type of Neural Computation for Probabilistic Symbolic Reasoning","publication_year":2023,"publication_date":"2023-06-18","ids":{"openalex":"https://openalex.org/W4385484710","doi":"https://doi.org/10.1109/ijcnn54540.2023.10191306"},"language":"en","primary_location":{"id":"doi:10.1109/ijcnn54540.2023.10191306","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/ijcnn54540.2023.10191306","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 International Joint Conference on Neural Networks (IJCNN)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5082414506","display_name":"Ximing Qiao","orcid":null},"institutions":[{"id":"https://openalex.org/I170897317","display_name":"Duke University","ror":"https://ror.org/00py81415","country_code":"US","type":"education","lineage":["https://openalex.org/I170897317"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Ximing Qiao","raw_affiliation_strings":["Duke University,Department of Electrical and Computer Engineering,Durham,NC,USA","Department of Electrical and Computer Engineering, Duke University, Durham, NC, USA"],"affiliations":[{"raw_affiliation_string":"Duke University,Department of Electrical and Computer Engineering,Durham,NC,USA","institution_ids":["https://openalex.org/I170897317"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Duke University, Durham, NC, USA","institution_ids":["https://openalex.org/I170897317"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100429403","display_name":"Hai Li","orcid":"https://orcid.org/0000-0003-3228-6544"},"institutions":[{"id":"https://openalex.org/I170897317","display_name":"Duke University","ror":"https://ror.org/00py81415","country_code":"US","type":"education","lineage":["https://openalex.org/I170897317"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hai Li","raw_affiliation_strings":["Duke University,Department of Electrical and Computer Engineering,Durham,NC,USA","Department of Electrical and Computer Engineering, Duke University, Durham, NC, USA"],"affiliations":[{"raw_affiliation_string":"Duke University,Department of Electrical and Computer Engineering,Durham,NC,USA","institution_ids":["https://openalex.org/I170897317"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Duke University, Durham, NC, USA","institution_ids":["https://openalex.org/I170897317"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5082414506"],"corresponding_institution_ids":["https://openalex.org/I170897317"],"apc_list":null,"apc_paid":null,"fwci":0.1751,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.54455007,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"1","issue":null,"first_page":"1","last_page":"9"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9937999844551086,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9937999844551086,"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.9932000041007996,"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/T12535","display_name":"Machine Learning and Data Classification","score":0.9873999953269958,"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/probabilistic-logic","display_name":"Probabilistic logic","score":0.7885979413986206},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7415404319763184},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.6865020394325256},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.6630432605743408},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5562823414802551},{"id":"https://openalex.org/keywords/recurrent-neural-network","display_name":"Recurrent neural network","score":0.4987959861755371},{"id":"https://openalex.org/keywords/transformer","display_name":"Transformer","score":0.45380499958992004},{"id":"https://openalex.org/keywords/models-of-neural-computation","display_name":"Models of neural computation","score":0.4292046129703522},{"id":"https://openalex.org/keywords/probabilistic-ctl","display_name":"Probabilistic CTL","score":0.4259325861930847},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4065379798412323},{"id":"https://openalex.org/keywords/probabilistic-analysis-of-algorithms","display_name":"Probabilistic analysis of algorithms","score":0.21097290515899658},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1562427580356598}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.7885979413986206},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7415404319763184},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.6865020394325256},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.6630432605743408},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5562823414802551},{"id":"https://openalex.org/C147168706","wikidata":"https://www.wikidata.org/wiki/Q1457734","display_name":"Recurrent neural network","level":3,"score":0.4987959861755371},{"id":"https://openalex.org/C66322947","wikidata":"https://www.wikidata.org/wiki/Q11658","display_name":"Transformer","level":3,"score":0.45380499958992004},{"id":"https://openalex.org/C3832189","wikidata":"https://www.wikidata.org/wiki/Q8588916","display_name":"Models of neural computation","level":3,"score":0.4292046129703522},{"id":"https://openalex.org/C52063229","wikidata":"https://www.wikidata.org/wiki/Q7246845","display_name":"Probabilistic CTL","level":4,"score":0.4259325861930847},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4065379798412323},{"id":"https://openalex.org/C24404364","wikidata":"https://www.wikidata.org/wiki/Q7246846","display_name":"Probabilistic analysis of algorithms","level":3,"score":0.21097290515899658},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1562427580356598},{"id":"https://openalex.org/C165801399","wikidata":"https://www.wikidata.org/wiki/Q25428","display_name":"Voltage","level":2,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ijcnn54540.2023.10191306","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/ijcnn54540.2023.10191306","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 International Joint Conference on Neural Networks (IJCNN)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","score":0.7300000190734863,"display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W1570515701","https://openalex.org/W1586767291","https://openalex.org/W1993984071","https://openalex.org/W2013494846","https://openalex.org/W2072160811","https://openalex.org/W2131257014","https://openalex.org/W2137983211","https://openalex.org/W2157745749","https://openalex.org/W2164151151","https://openalex.org/W2194321275","https://openalex.org/W2892924523","https://openalex.org/W2900091806","https://openalex.org/W2991223644","https://openalex.org/W3036143115","https://openalex.org/W3036700096","https://openalex.org/W3095319910","https://openalex.org/W3102824770","https://openalex.org/W3123228431","https://openalex.org/W3126220825","https://openalex.org/W3205597769","https://openalex.org/W4239535235","https://openalex.org/W4287554891","https://openalex.org/W4385245566","https://openalex.org/W6679380649","https://openalex.org/W6684410512","https://openalex.org/W6739901393","https://openalex.org/W6779797550","https://openalex.org/W6779909828","https://openalex.org/W6787728148","https://openalex.org/W6802647179"],"related_works":["https://openalex.org/W1497573972","https://openalex.org/W2138707849","https://openalex.org/W2289277223","https://openalex.org/W2749065928","https://openalex.org/W1499367685","https://openalex.org/W4238495367","https://openalex.org/W90591307","https://openalex.org/W2225666389","https://openalex.org/W2289944023","https://openalex.org/W2371210594"],"abstract_inverted_index":{"New":[0],"types":[1,56],"of":[2,7,24,57,96,111],"neural":[3,27,58,90,100,127],"computations,":[4],"i.e.,":[5],"methods":[6],"computing":[8],"neuron":[9],"activities":[10,15],"based":[11],"on":[12,99,103],"other":[13],"neurons'":[14],"and":[16,69,83],"connectivity":[17],"strengths,":[18],"are":[19],"continuously":[20],"pushing":[21],"the":[22,31,39,77,88,94,109],"boundary":[23],"more":[25,54],"powerful":[26,55],"networks.":[28,101,128],"For":[29],"example,":[30],"attention":[32],"mechanism":[33],"with":[34,46],"dynamic":[35],"weight":[36],"computation":[37,91],"enables":[38],"Transformer-family":[40],"models":[41,45],"significantly":[42],"surpass":[43,62],"old":[44],"fixed-weight":[47],"transformations.":[48],"We":[49],"ask":[50],"whether":[51],"there":[52],"exist":[53],"computations":[59],"that":[60,92],"further":[61],"attention-based":[63],"models,":[64],"to":[65,114],"reason":[66],"under":[67],"uncertainty":[68],"manipulate":[70],"abstract":[71,116],"symbols?":[72],"Using":[73],"probabilistic":[74,82,97],"programming":[75],"as":[76],"mathematical":[78],"framework":[79],"for":[80],"capturing":[81],"symbolic":[84],"reasoning,":[85],"we":[86],"develop":[87],"first":[89],"allows":[93],"execution":[95],"programs":[98],"Evaluation":[102],"early":[104],"language":[105],"acquisition":[106],"tasks":[107],"shows":[108],"advantage":[110],"our":[112],"method":[113],"learn":[115],"rules":[117],"from":[118],"raw":[119],"data,":[120],"a":[121],"capability":[122],"not":[123],"possessed":[124],"by":[125],"classical":[126]},"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2025-12-23T23:11:35.936235","created_date":"2025-10-10T00:00:00"}