{"id":"https://openalex.org/W4403486939","doi":"https://doi.org/10.3233/faia240858","title":"A More Practical Algorithm for Weighted First-Order Model Counting with Linear Order Axiom","display_name":"A More Practical Algorithm for Weighted First-Order Model Counting with Linear Order Axiom","publication_year":2024,"publication_date":"2024-10-16","ids":{"openalex":"https://openalex.org/W4403486939","doi":"https://doi.org/10.3233/faia240858"},"language":"en","primary_location":{"id":"doi:10.3233/faia240858","is_oa":true,"landing_page_url":"https://doi.org/10.3233/faia240858","pdf_url":"https://ebooks.iospress.nl/pdf/doi/10.3233/FAIA240858","source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://ebooks.iospress.nl/pdf/doi/10.3233/FAIA240858","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5053734421","display_name":"Qiaolan Meng","orcid":null},"institutions":[{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qiaolan Meng","raw_affiliation_strings":["State Key Laboratory of Software Development Environment, Beihang University, China"],"raw_orcid":"https://orcid.org/0009-0003-3413-5421","affiliations":[{"raw_affiliation_string":"State Key Laboratory of Software Development Environment, Beihang University, China","institution_ids":["https://openalex.org/I82880672"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083481477","display_name":"Jan T\u00f3th","orcid":"https://orcid.org/0000-0003-2663-248X"},"institutions":[{"id":"https://openalex.org/I44504214","display_name":"Czech Technical University in Prague","ror":"https://ror.org/03kqpb082","country_code":"CZ","type":"education","lineage":["https://openalex.org/I44504214"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Jan T\u00f3th","raw_affiliation_strings":["Faculty of Electrical Engineering, Czech Technical University in Prague, Czech Republic"],"raw_orcid":"https://orcid.org/0000-0003-2663-248X","affiliations":[{"raw_affiliation_string":"Faculty of Electrical Engineering, Czech Technical University in Prague, Czech Republic","institution_ids":["https://openalex.org/I44504214"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101852624","display_name":"Yuanhong Wang","orcid":"https://orcid.org/0000-0003-1801-9634"},"institutions":[{"id":"https://openalex.org/I4210126257","display_name":"CRRC (China)","ror":"https://ror.org/033g21894","country_code":"CN","type":"company","lineage":["https://openalex.org/I4210126257"]},{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuanhong Wang","raw_affiliation_strings":["CRRC Zhuzhou Insitute, Zhuzhou, China","State Key Laboratory of Software Development Environment, Beihang University, China","Tengen Intelligence Institute, Zhuzhou, China"],"raw_orcid":"https://orcid.org/0000-0003-1801-9634","affiliations":[{"raw_affiliation_string":"CRRC Zhuzhou Insitute, Zhuzhou, China","institution_ids":["https://openalex.org/I4210126257"]},{"raw_affiliation_string":"State Key Laboratory of Software Development Environment, Beihang University, China","institution_ids":["https://openalex.org/I82880672"]},{"raw_affiliation_string":"Tengen Intelligence Institute, Zhuzhou, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102730412","display_name":"Yuyi Wang","orcid":"https://orcid.org/0000-0001-7273-9873"},"institutions":[{"id":"https://openalex.org/I4210126257","display_name":"CRRC (China)","ror":"https://ror.org/033g21894","country_code":"CN","type":"company","lineage":["https://openalex.org/I4210126257"]},{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuyi Wang","raw_affiliation_strings":["CRRC Zhuzhou Insitute, Zhuzhou, China","State Key Laboratory of Software Development Environment, Beihang University, China","Tengen Intelligence Institute, Zhuzhou, China"],"raw_orcid":"https://orcid.org/0000-0001-7273-9873","affiliations":[{"raw_affiliation_string":"CRRC Zhuzhou Insitute, Zhuzhou, China","institution_ids":["https://openalex.org/I4210126257"]},{"raw_affiliation_string":"State Key Laboratory of Software Development Environment, Beihang University, China","institution_ids":["https://openalex.org/I82880672"]},{"raw_affiliation_string":"Tengen Intelligence Institute, Zhuzhou, China","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5021262042","display_name":"Ond\u0159ej Ku\u017eelka","orcid":"https://orcid.org/0000-0002-6523-9114"},"institutions":[{"id":"https://openalex.org/I44504214","display_name":"Czech Technical University in Prague","ror":"https://ror.org/03kqpb082","country_code":"CZ","type":"education","lineage":["https://openalex.org/I44504214"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Ond\u0159ej Ku\u017eelka","raw_affiliation_strings":["Faculty of Electrical Engineering, Czech Technical University in Prague, Czech Republic"],"raw_orcid":"https://orcid.org/0000-0002-6523-9114","affiliations":[{"raw_affiliation_string":"Faculty of Electrical Engineering, Czech Technical University in Prague, Czech Republic","institution_ids":["https://openalex.org/I44504214"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.3718609,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9269000291824341,"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9269000291824341,"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/T10876","display_name":"Fault Detection and Control Systems","score":0.9128999710083008,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.6620368361473083},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5400169491767883},{"id":"https://openalex.org/keywords/axiom-of-choice","display_name":"Axiom of choice","score":0.5392910242080688},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.5128377079963684},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5035170912742615},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4442428946495056},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.04197496175765991},{"id":"https://openalex.org/keywords/set-theory","display_name":"Set theory","score":0.040399909019470215},{"id":"https://openalex.org/keywords/economics","display_name":"Economics","score":0.03566873073577881}],"concepts":[{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.6620368361473083},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5400169491767883},{"id":"https://openalex.org/C151797676","wikidata":"https://www.wikidata.org/wiki/Q179692","display_name":"Axiom of choice","level":4,"score":0.5392910242080688},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.5128377079963684},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5035170912742615},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4442428946495056},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.04197496175765991},{"id":"https://openalex.org/C153046414","wikidata":"https://www.wikidata.org/wiki/Q12482","display_name":"Set theory","level":3,"score":0.040399909019470215},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.03566873073577881},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3233/faia240858","is_oa":true,"landing_page_url":"https://doi.org/10.3233/faia240858","pdf_url":"https://ebooks.iospress.nl/pdf/doi/10.3233/FAIA240858","source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.3233/faia240858","is_oa":true,"landing_page_url":"https://doi.org/10.3233/faia240858","pdf_url":"https://ebooks.iospress.nl/pdf/doi/10.3233/FAIA240858","source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},"sustainable_development_goals":[{"score":0.4300000071525574,"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4403486939.pdf"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W2051487156","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W2031083694","https://openalex.org/W4210343663","https://openalex.org/W2373903136"],"abstract_inverted_index":{"We":[0],"consider":[1],"the":[2,27,68,72,76,89,92,97,107,115,124,131,153,159,166,183,193],"task":[3],"of":[4,13,22,30,32,52,79,114,185],"weighted":[5,28],"first-order":[6,35,80,170],"model":[7,44],"counting":[8],"(WFOMC),":[9],"a":[10,33,39,47,50,103,111,146,189],"fundamental":[11],"problem":[12],"probabilistic":[14],"inference":[15],"in":[16,64,67,75,95,106],"statistical":[17],"relational":[18],"learning.":[19],"The":[20],"goal":[21],"WFOMC":[23,60,129,151],"is":[24,45,74,85,94],"to":[25,88,109,140,158,176],"compute":[26],"sum":[29],"models":[31],"given":[34],"logic":[36,81,171],"sentence":[37,73,93,108],"over":[38,192],"finite":[40],"domain,":[41],"where":[42,91],"each":[43],"assigned":[46],"weight":[48],"by":[49],"pair":[51],"weighting":[53,174],"functions.":[54],"Past":[55],"work":[56],"has":[57],"shown":[58],"that":[59],"can":[61],"be":[62],"solved":[63],"polynomial":[65,121],"time":[66],"domain":[69,116],"size":[70],"if":[71],"two-variable":[77],"fragment":[78],"(FO2).":[82],"This":[83,143],"result":[84],"later":[86],"extended":[87],"case":[90],"FO2with":[96],"linear":[98,112,132,154],"order":[99,133,155],"axiom,":[100],"which":[101],"requires":[102],"binary":[104],"predicate":[105],"introduce":[110],"ordering":[113],"elements.":[117],"However,":[118],"despite":[119],"its":[120],"theoretical":[122],"complexity,":[123],"existing":[125,160,194],"domain-liftable":[126],"algorithm":[127,149,164],"for":[128,150],"with":[130,152],"often":[134],"suffers":[135],"from":[136],"inefficiencies":[137],"when":[138],"applied":[139],"real-world":[141],"problems.":[142],"paper":[144],"introduces":[145],"novel":[147],"domain-lifted":[148],"axiom.":[156],"Compared":[157],"approach,":[161,187],"our":[162,186],"proposed":[163],"exploits":[165],"inherent":[167],"symmetries":[168],"within":[169],"sentences":[172],"and":[173],"functions":[175],"minimize":[177],"redundant":[178],"computations.":[179],"Experimental":[180],"results":[181],"verify":[182],"efficiency":[184],"demonstrating":[188],"significant":[190],"speedup":[191],"approach.":[195]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}