{"id":"https://openalex.org/W2735336176","doi":"https://doi.org/10.1109/ijcnn.2017.7966113","title":"Symbolic manipulation based on deep neural networks and its application to axiom discovery","display_name":"Symbolic manipulation based on deep neural networks and its application to axiom discovery","publication_year":2017,"publication_date":"2017-05-01","ids":{"openalex":"https://openalex.org/W2735336176","doi":"https://doi.org/10.1109/ijcnn.2017.7966113","mag":"2735336176"},"language":"en","primary_location":{"id":"doi:10.1109/ijcnn.2017.7966113","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ijcnn.2017.7966113","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 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/A5026226560","display_name":"Cheng\u2010Hao Cai","orcid":"https://orcid.org/0000-0001-6815-9091"},"institutions":[{"id":"https://openalex.org/I4210112150","display_name":"Institute of Automation","ror":"https://ror.org/022c3hy66","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210112150"]},{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Cheng-Hao Cai","raw_affiliation_strings":["National Laboratory of Pattern Recognition, Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"National Laboratory of Pattern Recognition, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210112150","https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102845007","display_name":"Dengfeng Ke","orcid":"https://orcid.org/0000-0001-8459-0412"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210112150","display_name":"Institute of Automation","ror":"https://ror.org/022c3hy66","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210112150"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Dengfeng Ke","raw_affiliation_strings":["National Laboratory of Pattern Recognition, Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"National Laboratory of Pattern Recognition, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210112150","https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100704964","display_name":"Yanyan Xu","orcid":"https://orcid.org/0000-0001-7174-6588"},"institutions":[{"id":"https://openalex.org/I31683504","display_name":"Beijing Forestry University","ror":"https://ror.org/04xv2pc41","country_code":"CN","type":"education","lineage":["https://openalex.org/I1327237609","https://openalex.org/I31683504","https://openalex.org/I4210127390"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yanyan Xu","raw_affiliation_strings":["School of Information Science and Technology, Beijing Forestry University, Beijing, China"],"affiliations":[{"raw_affiliation_string":"School of Information Science and Technology, Beijing Forestry University, Beijing, China","institution_ids":["https://openalex.org/I31683504"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5037325282","display_name":"Kaile Su","orcid":"https://orcid.org/0000-0001-6741-9699"},"institutions":[{"id":"https://openalex.org/I11701301","display_name":"Griffith University","ror":"https://ror.org/02sc3r913","country_code":"AU","type":"education","lineage":["https://openalex.org/I11701301"]},{"id":"https://openalex.org/I159948400","display_name":"Jinan University","ror":"https://ror.org/02xe5ns62","country_code":"CN","type":"education","lineage":["https://openalex.org/I159948400"]}],"countries":["AU","CN"],"is_corresponding":false,"raw_author_name":"Kaile Su","raw_affiliation_strings":["Department of Computer Science, Jinan University, Guangzhou, China","School of Information and Communication Technology, Griffith University, Brisbane, Queensland, Australia"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Jinan University, Guangzhou, China","institution_ids":["https://openalex.org/I159948400"]},{"raw_affiliation_string":"School of Information and Communication Technology, Griffith University, Brisbane, Queensland, Australia","institution_ids":["https://openalex.org/I11701301"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5026226560"],"corresponding_institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210112150"],"apc_list":null,"apc_paid":null,"fwci":2.044,"has_fulltext":false,"cited_by_count":18,"citation_normalized_percentile":{"value":0.88217201,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"2136","last_page":"2143"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.986299991607666,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.986299991607666,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T13083","display_name":"Advanced Text Analysis Techniques","score":0.9804999828338623,"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/T10028","display_name":"Topic Modeling","score":0.9781000018119812,"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/axiom","display_name":"Axiom","score":0.6927501559257507},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6923647522926331},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.6836894750595093},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.6828078031539917},{"id":"https://openalex.org/keywords/deep-learning","display_name":"Deep learning","score":0.6309543251991272},{"id":"https://openalex.org/keywords/logical-reasoning","display_name":"Logical reasoning","score":0.4339004158973694},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.42387694120407104},{"id":"https://openalex.org/keywords/deep-neural-networks","display_name":"Deep neural networks","score":0.41512158513069153},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.3270624876022339},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1750611960887909}],"concepts":[{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.6927501559257507},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6923647522926331},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.6836894750595093},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.6828078031539917},{"id":"https://openalex.org/C108583219","wikidata":"https://www.wikidata.org/wiki/Q197536","display_name":"Deep learning","level":2,"score":0.6309543251991272},{"id":"https://openalex.org/C43971567","wikidata":"https://www.wikidata.org/wiki/Q3142865","display_name":"Logical reasoning","level":2,"score":0.4339004158973694},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.42387694120407104},{"id":"https://openalex.org/C2984842247","wikidata":"https://www.wikidata.org/wiki/Q197536","display_name":"Deep neural networks","level":3,"score":0.41512158513069153},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3270624876022339},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1750611960887909},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/ijcnn.2017.7966113","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ijcnn.2017.7966113","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 International Joint Conference on Neural Networks (IJCNN)","raw_type":"proceedings-article"},{"id":"pmh:oai:research-repository.griffith.edu.au:10072/355078","is_oa":false,"landing_page_url":"http://hdl.handle.net/10072/355078","pdf_url":null,"source":{"id":"https://openalex.org/S4306402548","display_name":"Griffith Research Online (Griffith University, Queensland, Australia)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I11701301","host_organization_name":"Griffith University","host_organization_lineage":["https://openalex.org/I11701301"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference output"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5199999809265137,"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":44,"referenced_works":["https://openalex.org/W1955857676","https://openalex.org/W1964812476","https://openalex.org/W1993882792","https://openalex.org/W2046084401","https://openalex.org/W2049266248","https://openalex.org/W2061750601","https://openalex.org/W2063484738","https://openalex.org/W2076379208","https://openalex.org/W2076579537","https://openalex.org/W2083023271","https://openalex.org/W2087588854","https://openalex.org/W2102003408","https://openalex.org/W2108911687","https://openalex.org/W2119845837","https://openalex.org/W2127426251","https://openalex.org/W2127434665","https://openalex.org/W2132424367","https://openalex.org/W2133585753","https://openalex.org/W2140609507","https://openalex.org/W2143612262","https://openalex.org/W2144499799","https://openalex.org/W2145339207","https://openalex.org/W2146044645","https://openalex.org/W2156387975","https://openalex.org/W2157760596","https://openalex.org/W2158139315","https://openalex.org/W2159727905","https://openalex.org/W2189004000","https://openalex.org/W2257979135","https://openalex.org/W2293634267","https://openalex.org/W2303427901","https://openalex.org/W2427182019","https://openalex.org/W2521274174","https://openalex.org/W2530887700","https://openalex.org/W2535574375","https://openalex.org/W2919115771","https://openalex.org/W4235096090","https://openalex.org/W4244296837","https://openalex.org/W4250846042","https://openalex.org/W6678846912","https://openalex.org/W6682889407","https://openalex.org/W6683557909","https://openalex.org/W6686613007","https://openalex.org/W6696934422"],"related_works":["https://openalex.org/W178365807","https://openalex.org/W4375867731","https://openalex.org/W2081441417","https://openalex.org/W4240676090","https://openalex.org/W4377865163","https://openalex.org/W3193857078","https://openalex.org/W2888956734","https://openalex.org/W3000197790","https://openalex.org/W4315865067","https://openalex.org/W3208304128"],"abstract_inverted_index":{"Symbolic":[0],"reasoning":[1,8,23,64,116],"is":[2,30,35],"difficult":[3],"for":[4,16],"neural":[5,28,60,89,111,129,205],"networks.":[6],"Especially,":[7],"with":[9,117],"variables":[10,118],"can":[11,190,207],"be":[12],"a":[13,21,67,141,177],"challenging":[14],"task":[15],"them.":[17,103],"In":[18,104,122],"this":[19,33,106],"paper,":[20],"symbolic":[22,166],"method":[24,34,41,107],"based":[25],"on":[26,53,195],"deep":[27,59,88,110,128,204],"networks":[29,61,90,112,130,206],"proposed,":[31],"and":[32,62,85,98,137,199],"applied":[36],"to":[37,79,92,113,133,135],"axiom":[38,196],"discovery.":[39],"This":[40],"makes":[42],"use":[43],"of":[44,47,57,66,144,165,171],"the":[45,54,58,63,87,109,127,148,155,161,186,203],"concept":[46],"\u201csymbolic":[48],"manipulation\u201d.":[49],"Specifically,":[50],"it":[51],"relies":[52],"learning":[55,163],"ability":[56,65,164],"logical":[68,71,149],"system:":[69],"The":[70],"system":[72],"generates":[73],"training":[74],"examples,":[75,95],"which":[76],"indicate":[77],"how":[78],"manipulate":[80],"symbols,":[81],"from":[82,102,140],"given":[83],"data,":[84],"then":[86],"try":[91],"learn":[93,134],"these":[94],"score":[96],"them":[97],"abstract":[99],"possible":[100],"axioms":[101,211],"particular,":[105],"enables":[108],"realise":[114],"simple":[115],"in":[119,212],"predicate":[120],"logic.":[121],"experiments,":[123],"we":[124,152,183,200],"demonstrate":[125],"that":[126,154,185,202],"are":[131],"able":[132],"copy":[136],"generate":[138],"symbols":[139],"certain":[142],"form":[143],"rules":[145],"produced":[146],"by":[147],"system.":[150],"Moreover,":[151],"find":[153,184],"more":[156,187],"hidden":[157,172,188],"layers":[158,173,189],"usually":[159,174],"mean":[160],"stronger":[162],"manipulation:":[167],"An":[168],"increasing":[169],"number":[170],"bring":[175,191],"about":[176,192],"higher":[178],"rule":[179],"acceptance":[180],"rate.":[181],"Also,":[182],"better":[193],"results":[194],"discovery":[197],"tasks,":[198],"show":[201],"discover":[208],"some":[209],"useful":[210],"mathematics.":[213]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}