{"id":"https://openalex.org/W4200057034","doi":"https://doi.org/10.1007/s10472-021-09777-9","title":"Nonmonotonic reasoning from conditional knowledge bases with system W","display_name":"Nonmonotonic reasoning from conditional knowledge bases with system W","publication_year":2021,"publication_date":"2021-12-14","ids":{"openalex":"https://openalex.org/W4200057034","doi":"https://doi.org/10.1007/s10472-021-09777-9"},"language":"en","primary_location":{"id":"doi:10.1007/s10472-021-09777-9","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10472-021-09777-9","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10472-021-09777-9.pdf","source":{"id":"https://openalex.org/S90199469","display_name":"Annals of Mathematics and Artificial Intelligence","issn_l":"1012-2443","issn":["1012-2443","1573-7470"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Mathematics and Artificial Intelligence","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10472-021-09777-9.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5027301233","display_name":"Christian Komo","orcid":null},"institutions":[{"id":"https://openalex.org/I120691247","display_name":"FernUniversit\u00e4t in Hagen","ror":"https://ror.org/04tkkr536","country_code":"DE","type":"education","lineage":["https://openalex.org/I120691247"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Christian Komo","raw_affiliation_strings":["Faculty of Mathematics and Computer Science, Fern Universit\u00e4t in Hagen, 58084, Hagen, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Mathematics and Computer Science, Fern Universit\u00e4t in Hagen, 58084, Hagen, Germany","institution_ids":["https://openalex.org/I120691247"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5002320735","display_name":"Christoph Beierle","orcid":"https://orcid.org/0000-0002-0736-8516"},"institutions":[{"id":"https://openalex.org/I120691247","display_name":"FernUniversit\u00e4t in Hagen","ror":"https://ror.org/04tkkr536","country_code":"DE","type":"education","lineage":["https://openalex.org/I120691247"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Christoph Beierle","raw_affiliation_strings":["Faculty of Mathematics and Computer Science, Fern Universit\u00e4t in Hagen, 58084, Hagen, Germany"],"raw_orcid":"https://orcid.org/0000-0002-0736-8516","affiliations":[{"raw_affiliation_string":"Faculty of Mathematics and Computer Science, Fern Universit\u00e4t in Hagen, 58084, Hagen, Germany","institution_ids":["https://openalex.org/I120691247"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5027301233"],"corresponding_institution_ids":["https://openalex.org/I120691247"],"apc_list":{"value":2780,"currency":"USD","value_usd":2780},"apc_paid":{"value":2780,"currency":"USD","value_usd":2780},"fwci":2.8043,"has_fulltext":true,"cited_by_count":31,"citation_normalized_percentile":{"value":0.91810121,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":97,"max":99},"biblio":{"volume":"90","issue":"1","first_page":"107","last_page":"144"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9997000098228455,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9997000098228455,"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.993399977684021,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9901000261306763,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/ranking","display_name":"Ranking (information retrieval)","score":0.5726025700569153},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.5290725827217102},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5254760384559631},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.4653379023075104},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.4637826681137085},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4382247030735016},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.41014382243156433},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.33367985486984253}],"concepts":[{"id":"https://openalex.org/C189430467","wikidata":"https://www.wikidata.org/wiki/Q7293293","display_name":"Ranking (information retrieval)","level":2,"score":0.5726025700569153},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.5290725827217102},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5254760384559631},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.4653379023075104},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.4637826681137085},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4382247030735016},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.41014382243156433},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.33367985486984253},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s10472-021-09777-9","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10472-021-09777-9","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10472-021-09777-9.pdf","source":{"id":"https://openalex.org/S90199469","display_name":"Annals of Mathematics and Artificial Intelligence","issn_l":"1012-2443","issn":["1012-2443","1573-7470"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Mathematics and Artificial Intelligence","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s10472-021-09777-9","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10472-021-09777-9","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10472-021-09777-9.pdf","source":{"id":"https://openalex.org/S90199469","display_name":"Annals of Mathematics and Artificial Intelligence","issn_l":"1012-2443","issn":["1012-2443","1573-7470"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Mathematics and Artificial Intelligence","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4200057034.pdf","grobid_xml":"https://content.openalex.org/works/W4200057034.grobid-xml"},"referenced_works_count":29,"referenced_works":["https://openalex.org/W1184059260","https://openalex.org/W1481955269","https://openalex.org/W1542254017","https://openalex.org/W1591187701","https://openalex.org/W1658874078","https://openalex.org/W2015209298","https://openalex.org/W2020872479","https://openalex.org/W2054294763","https://openalex.org/W2071743233","https://openalex.org/W2080142817","https://openalex.org/W2111398557","https://openalex.org/W2127333323","https://openalex.org/W2167907160","https://openalex.org/W2172126546","https://openalex.org/W2406580145","https://openalex.org/W2546802184","https://openalex.org/W2605591720","https://openalex.org/W2621115875","https://openalex.org/W2739652095","https://openalex.org/W2791808283","https://openalex.org/W2810015195","https://openalex.org/W2970730041","https://openalex.org/W3080439228","https://openalex.org/W3085246250","https://openalex.org/W3117420285","https://openalex.org/W3134062867","https://openalex.org/W3188101853","https://openalex.org/W4230560363","https://openalex.org/W4243832938"],"related_works":["https://openalex.org/W2051487156","https://openalex.org/W2073681303","https://openalex.org/W2188500270","https://openalex.org/W2303858293","https://openalex.org/W2544423928","https://openalex.org/W2798198862","https://openalex.org/W2055243143","https://openalex.org/W2915512527","https://openalex.org/W2620666624","https://openalex.org/W7602594"],"abstract_inverted_index":{"Abstract":[0],"For":[1],"nonmonotonic":[2,199],"reasoning":[3,43],"in":[4,110,135,291,307,343],"the":[5,17,59,89,120,142,178,181,203,213,231,247,264,299,303,337,341],"context":[6],"of":[7,16,49,64,81,91,95,122,139,146,183,205,220,233,236,249,305,325,336],"a":[8,73,172],"knowledge":[9,319],"base":[10],"$\\mathcal":[11,50,65,82,96,111,184,277,292,308,344],"{R}$":[12,51,66,83,97,112,185,278,293,309,345],"R":[13,52,67,84,98,113,186,279,294,310,346],"containing":[14],"conditionals":[15,124,290,306,342],"formIf":[18],"A":[19],"then":[20],"usually":[21],"B,":[22],"system":[23,33,130,161,166,191,206,234],"P":[24],"provides":[25],"generally":[26],"accepted":[27],"axioms.":[28],"Inference":[29],"solely":[30],"based":[31],"on":[32,177,227],"P,":[34,207],"however,":[35],"is":[36,149,223,269,283,311,331],"inherently":[37],"skeptical":[38],"because":[39],"it":[40],"coincides":[41],"with":[42,274],"that":[44,99,127,190,241,251,263,302,316,329],"takes":[45,78],"all":[46,79,92,123,289],"ranking":[47,62,93],"models":[48,94],"into":[53,85,256],"account.":[54,86],"System":[55,153],"Z":[56,131,162],"uses":[57],"only":[58],"unique":[60],"minimal":[61],"model":[63],",":[68],"and":[69,114,132,157,163,211,238],"c-inference,":[70],"realized":[71],"via":[72],"complex":[74],"constraint":[75],"satisfaction":[76],"problem,":[77],"c-representations":[80,250],"C-representations":[87],"constitute":[88],"subset":[90],"are":[100,318],"obtained":[101],"by":[102,126,171],"assigning":[103],"non-negative":[104],"integer":[105],"impacts":[106,121,338],"to":[107,150,224,245,253,276,298,340],"each":[108],"conditional":[109,209],"summing":[115],"up,":[116],"for":[117,198,258,271,347],"every":[118],"world,":[119],"falsified":[125],"world.":[128],"While":[129],"c-inference":[133,273],"license":[134],"general":[136],"different":[137],"sets":[138],"desirable":[140],"entailments,":[141],"first":[143],"major":[144],"objective":[145],"this":[147,221],"article":[148,222],"presentsystem":[151],"W.":[152],"W":[154,167,192],"fully":[155,348],"captures":[156],"strictly":[158],"extends":[159],"both":[160],"c-inference.":[164,260,350],"Moreover,":[165],"can":[168,242],"be":[169,243,254],"represented":[170],"single":[173],"strict":[174],"partial":[175],"order":[176],"worlds":[179],"over":[180],"signature":[182],".":[187,295],"We":[188,261],"show":[189,262],"exhibits":[193],"further":[194],"inference":[195],"properties":[196],"worthwhile":[197],"reasoning,":[200],"like":[201],"satisfying":[202],"axioms":[204],"respecting":[208],"indifference,":[210],"avoiding":[212],"drowning":[214],"problem.":[215],"The":[216],"other":[217],"main":[218],"goal":[219],"provide":[225],"results":[226],"our":[228],"investigations,":[229],"underlying":[230],"development":[232],"W,":[235],"upper":[237,265,323,334],"lower":[239],"bounds":[240],"used":[244],"restrict":[246],"set":[248],"have":[252],"taken":[255],"account":[257],"realizing":[259],"bound":[266,324,335],"ofn\u2212":[267],"1":[268],"sufficient":[270],"capturing":[272,349],"respect":[275],"havingnconditionals":[280],"if":[281],"there":[282,317,330],"at":[284],"least":[285],"one":[286],"world":[287],"verifying":[288],"In":[296],"contrast":[297],"previous":[300],"conjecture":[301],"number":[304],"always":[312],"sufficient,":[313],"we":[314],"prove":[315],"bases":[320],"requiring":[321],"an":[322],"2n\u2212":[326],"1,":[327],"implying":[328],"no":[332],"polynomial":[333],"assigned":[339]},"counts_by_year":[{"year":2026,"cited_by_count":4},{"year":2025,"cited_by_count":7},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":6},{"year":2022,"cited_by_count":9}],"updated_date":"2026-08-28T12:50:07.497085","created_date":"2025-10-10T00:00:00"}