{"id":"https://openalex.org/W2956008534","doi":"https://doi.org/10.23919/iconac.2018.8749047","title":"A Bucket-Tree Based Algorithm for Automated Reasoning","display_name":"A Bucket-Tree Based Algorithm for Automated Reasoning","publication_year":2018,"publication_date":"2018-09-01","ids":{"openalex":"https://openalex.org/W2956008534","doi":"https://doi.org/10.23919/iconac.2018.8749047","mag":"2956008534"},"language":"en","primary_location":{"id":"doi:10.23919/iconac.2018.8749047","is_oa":false,"landing_page_url":"https://doi.org/10.23919/iconac.2018.8749047","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 24th International Conference on Automation and Computing (ICAC)","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/A5101423312","display_name":"Chunling Hu","orcid":"https://orcid.org/0000-0002-1601-5413"},"institutions":[{"id":"https://openalex.org/I39774598","display_name":"Hefei University","ror":"https://ror.org/01f5rdf64","country_code":"CN","type":"education","lineage":["https://openalex.org/I39774598"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Chunling Hu","raw_affiliation_strings":["Department of Computer Science and Technology, Hefei University, Hefei, China"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, Hefei University, Hefei, China","institution_ids":["https://openalex.org/I39774598"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084887481","display_name":"Gang Lv","orcid":"https://orcid.org/0000-0002-4246-5610"},"institutions":[{"id":"https://openalex.org/I39774598","display_name":"Hefei University","ror":"https://ror.org/01f5rdf64","country_code":"CN","type":"education","lineage":["https://openalex.org/I39774598"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Gang Lv","raw_affiliation_strings":["Department of Computer Science and Technology, Hefei University, Hefei, China"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, Hefei University, Hefei, China","institution_ids":["https://openalex.org/I39774598"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100333215","display_name":"Xiaofeng Wang","orcid":"https://orcid.org/0000-0001-7592-277X"},"institutions":[{"id":"https://openalex.org/I39774598","display_name":"Hefei University","ror":"https://ror.org/01f5rdf64","country_code":"CN","type":"education","lineage":["https://openalex.org/I39774598"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaofeng Wang","raw_affiliation_strings":["Department of Computer Science and Technology, Hefei University, Hefei, China"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, Hefei University, Hefei, China","institution_ids":["https://openalex.org/I39774598"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5101423312"],"corresponding_institution_ids":["https://openalex.org/I39774598"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.27765442,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9926999807357788,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9926999807357788,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9918000102043152,"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9898999929428101,"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.7503112554550171},{"id":"https://openalex.org/keywords/tree","display_name":"Tree (set theory)","score":0.6445140242576599},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.6238415837287903},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.6105105876922607},{"id":"https://openalex.org/keywords/reasoning-system","display_name":"Reasoning system","score":0.48167097568511963},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3221258223056793},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.13873103260993958},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.07565480470657349}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7503112554550171},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.6445140242576599},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.6238415837287903},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.6105105876922607},{"id":"https://openalex.org/C89288958","wikidata":"https://www.wikidata.org/wiki/Q7301504","display_name":"Reasoning system","level":2,"score":0.48167097568511963},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3221258223056793},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.13873103260993958},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.07565480470657349},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.23919/iconac.2018.8749047","is_oa":false,"landing_page_url":"https://doi.org/10.23919/iconac.2018.8749047","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 24th International Conference on Automation and Computing (ICAC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W189329303","https://openalex.org/W1484037121","https://openalex.org/W1526328753","https://openalex.org/W1664678313","https://openalex.org/W2000967095","https://openalex.org/W2029634712","https://openalex.org/W2073302931","https://openalex.org/W2080430334","https://openalex.org/W2162672359","https://openalex.org/W2293453011","https://openalex.org/W2295420503","https://openalex.org/W2490951533","https://openalex.org/W2501928778","https://openalex.org/W2516024904","https://openalex.org/W2952272306","https://openalex.org/W2963579811","https://openalex.org/W6607607337","https://openalex.org/W6637200073","https://openalex.org/W6697449767"],"related_works":["https://openalex.org/W2051487156","https://openalex.org/W2073681303","https://openalex.org/W2053286651","https://openalex.org/W2181743346","https://openalex.org/W2187401768","https://openalex.org/W2181413294","https://openalex.org/W2989452537","https://openalex.org/W2052122378","https://openalex.org/W2544423928","https://openalex.org/W2062023542"],"abstract_inverted_index":{"Both":[0],"bucket":[1,43,62,92],"elimination":[2,44,70,93],"algorithm":[3,8,23,41,50,75,118],"and":[4,42,113],"junction":[5,19,34],"tree":[6,20],"reasoning":[7,12,21,48,59],"are":[9],"popular":[10],"automated":[11,58,108],"algorithms.":[13],"In":[14,36],"this":[15],"paper,":[16],"a":[17,46,86,101],"new":[18],"(JTR)":[22],"is":[24,51],"proposed":[25,52,74],"to":[26,53],"improve":[27,54,79,121],"efficiency":[28],"of":[29,56,60],"message":[30],"propagation":[31],"through":[32],"the":[33,67,73],"tree.":[35],"addition,":[37],"based":[38],"on":[39],"JTR":[40],"algorithm,":[45,72,94],"bucket-junction-tree":[47],"(BJTR)":[49],"inefficiency":[55],"multi-task":[57,107,125],"classical":[61,91],"elimination(BE)":[63],"algorithm.":[64],"Compared":[65],"with":[66,90,100],"homogenous":[68],"bucket-tree":[69],"(BTE)":[71],"BJTR":[76,95,117],"can":[77,119],"effectively":[78,96,120],"time":[80,98,122],"performance":[81,84,99,105,123],"while":[82],"space":[83,104],"decreases":[85],"little.":[87],"Furthermore,":[88],"compared":[89],"improves":[97],"slightly":[102],"lower":[103],"for":[106,124],"reasoning.":[109,126],"Finally,":[110],"both":[111],"examples":[112],"experiments":[114],"demonstrate":[115],"that":[116]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}