{"id":"https://openalex.org/W3080439228","doi":"https://doi.org/10.24963/kr.2020/56","title":"Syntax Splitting = Relevance + Independence: New Postulates for Nonmonotonic Reasoning From Conditional Belief Bases","display_name":"Syntax Splitting = Relevance + Independence: New Postulates for Nonmonotonic Reasoning From Conditional Belief Bases","publication_year":2020,"publication_date":"2020-07-01","ids":{"openalex":"https://openalex.org/W3080439228","doi":"https://doi.org/10.24963/kr.2020/56","mag":"3080439228"},"language":"en","primary_location":{"id":"doi:10.24963/kr.2020/56","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2020/56","pdf_url":"https://proceedings.kr.org/2020/56/kr2020-0056-kern-isberner-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://proceedings.kr.org/2020/56/kr2020-0056-kern-isberner-et-al.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5024120048","display_name":"Gabriele Kern-Isberner","orcid":"https://orcid.org/0000-0001-8689-5391"},"institutions":[{"id":"https://openalex.org/I200332995","display_name":"TU Dortmund University","ror":"https://ror.org/01k97gp34","country_code":"DE","type":"education","lineage":["https://openalex.org/I200332995"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Gabriele Kern-Isberner","raw_affiliation_strings":["TU Dortmund"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Dortmund","institution_ids":["https://openalex.org/I200332995"]}]},{"author_position":"middle","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":"University of 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":["University of Hagen"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Hagen","institution_ids":["https://openalex.org/I120691247"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5060148794","display_name":"Gerhard Brewka","orcid":"https://orcid.org/0000-0001-9001-6820"},"institutions":[{"id":"https://openalex.org/I926574661","display_name":"Leipzig University","ror":"https://ror.org/03s7gtk40","country_code":"DE","type":"education","lineage":["https://openalex.org/I926574661"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Gerhard Brewka","raw_affiliation_strings":["Leipzig University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Leipzig University","institution_ids":["https://openalex.org/I926574661"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5024120048"],"corresponding_institution_ids":["https://openalex.org/I200332995"],"apc_list":null,"apc_paid":null,"fwci":4.2158,"has_fulltext":true,"cited_by_count":47,"citation_normalized_percentile":{"value":0.95157983,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"560","last_page":"571"},"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.9945999979972839,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9639000296592712,"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/inference","display_name":"Inference","score":0.7391327619552612},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.7377662062644958},{"id":"https://openalex.org/keywords/relevance","display_name":"Relevance (law)","score":0.7092294096946716},{"id":"https://openalex.org/keywords/conditional-independence","display_name":"Conditional independence","score":0.7038809061050415},{"id":"https://openalex.org/keywords/independence","display_name":"Independence (probability theory)","score":0.6249775290489197},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6134222149848938},{"id":"https://openalex.org/keywords/inductive-reasoning","display_name":"Inductive reasoning","score":0.563004195690155},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4590872526168823},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.4436091482639313},{"id":"https://openalex.org/keywords/interpretation","display_name":"Interpretation (philosophy)","score":0.44078823924064636},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.41520750522613525},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.41094741225242615},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.29863038659095764},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.22797280550003052}],"concepts":[{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.7391327619552612},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.7377662062644958},{"id":"https://openalex.org/C158154518","wikidata":"https://www.wikidata.org/wiki/Q7310970","display_name":"Relevance (law)","level":2,"score":0.7092294096946716},{"id":"https://openalex.org/C79772020","wikidata":"https://www.wikidata.org/wiki/Q5159264","display_name":"Conditional independence","level":2,"score":0.7038809061050415},{"id":"https://openalex.org/C35651441","wikidata":"https://www.wikidata.org/wiki/Q625303","display_name":"Independence (probability theory)","level":2,"score":0.6249775290489197},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6134222149848938},{"id":"https://openalex.org/C21563000","wikidata":"https://www.wikidata.org/wiki/Q484511","display_name":"Inductive reasoning","level":2,"score":0.563004195690155},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4590872526168823},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.4436091482639313},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.44078823924064636},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.41520750522613525},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.41094741225242615},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.29863038659095764},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.22797280550003052},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24963/kr.2020/56","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2020/56","pdf_url":"https://proceedings.kr.org/2020/56/kr2020-0056-kern-isberner-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.24963/kr.2020/56","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2020/56","pdf_url":"https://proceedings.kr.org/2020/56/kr2020-0056-kern-isberner-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.4000000059604645,"id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G2208274019","display_name":null,"funder_award_id":"BE 1700/9-1","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G8679709370","display_name":null,"funder_award_id":"SPP 1921","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"}],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3080439228.pdf","grobid_xml":"https://content.openalex.org/works/W3080439228.grobid-xml"},"referenced_works_count":36,"referenced_works":["https://openalex.org/W80728827","https://openalex.org/W1542254017","https://openalex.org/W1552095982","https://openalex.org/W1566892080","https://openalex.org/W1583346297","https://openalex.org/W1591187701","https://openalex.org/W1616000029","https://openalex.org/W1658874078","https://openalex.org/W1973899684","https://openalex.org/W2010883554","https://openalex.org/W2038037045","https://openalex.org/W2054294763","https://openalex.org/W2071743233","https://openalex.org/W2080142817","https://openalex.org/W2101081311","https://openalex.org/W2111398557","https://openalex.org/W2143336154","https://openalex.org/W2149420462","https://openalex.org/W2167907160","https://openalex.org/W2330936559","https://openalex.org/W2406580145","https://openalex.org/W2526039187","https://openalex.org/W2554800982","https://openalex.org/W2739652095","https://openalex.org/W2778562959","https://openalex.org/W2791808283","https://openalex.org/W2899509916","https://openalex.org/W2912435539","https://openalex.org/W4253257709","https://openalex.org/W6634071932","https://openalex.org/W6637197312","https://openalex.org/W6643763185","https://openalex.org/W6675317078","https://openalex.org/W6727890111","https://openalex.org/W6747655526","https://openalex.org/W6835105140"],"related_works":["https://openalex.org/W2369508406","https://openalex.org/W2371326990","https://openalex.org/W2116330613","https://openalex.org/W2379984741","https://openalex.org/W2381724853","https://openalex.org/W2377374277","https://openalex.org/W2479445596","https://openalex.org/W2004816703","https://openalex.org/W1507510709","https://openalex.org/W2042697870"],"abstract_inverted_index":{"Syntax":[0,17],"splitting,":[1,143],"first":[2],"introduced":[3],"by":[4,57],"Parikh":[5],"in":[6,96,172],"1999,":[7],"is":[8,45],"a":[9,28,47,97,131],"natural":[10],"and":[11,83,145,161,180,182],"desirable":[12],"property":[13],"of":[14,27,38,72,77,141,149],"KR":[15],"systems.":[16],"splitting":[18,79,95],"combines":[19],"two":[20,138],"aspects:":[21],"it":[22],"requires":[23,53],"that":[24,54,158],"the":[25,39,65,70,75,122,137],"outcome":[26],"certain":[29],"epistemic":[30],"operation":[31],"should":[32,60],"only":[33],"depend":[34],"on":[35,64,104],"relevant":[36],"parts":[37],"underlying":[40],"knowledge":[41,106,133],"base,":[42],"where":[43],"relevance":[44,144,179],"given":[46],"syntactic":[48],"interpretation":[49],"(relevance).":[50],"It":[51],"also":[52],"strengthening":[55],"antecedents":[56],"irrelevant":[58],"information":[59],"have":[61],"no":[62],"influence":[63],"obtained":[66],"conclusions":[67],"(independence).":[68],"In":[69,89],"context":[71],"belief":[73],"revision":[74],"study":[76],"syntax":[78,94,142,187],"already":[80],"proved":[81],"useful":[82],"led":[84],"to":[85,168,176],"numerous":[86],"new":[87],"insights.":[88],"this":[90],"paper":[91],"we":[92,110],"analyse":[93,111],"different":[98],"setting,":[99],"namely":[100],"nonmonotonic":[101],"reasoning":[102],"based":[103],"conditional":[105,132],"bases.":[107],"More":[108],"precisely,":[109],"inductive":[112,151],"inference":[113,128,152],"operators":[114],"which,":[115],"like":[116],"system":[117,119,159,162],"P,":[118],"Z,":[120,163],"or":[121],"more":[123],"recent":[124],"c-inference,":[125],"generate":[126],"an":[127],"relation":[129],"from":[130],"base.":[134],"We":[135],"axiomatize":[136],"aforementioned":[139],"aspects":[140],"independence,":[146],"as":[147],"properties":[148],"such":[150],"operators.":[153],"Our":[154],"main":[155],"results":[156],"show":[157],"P":[160],"whilst":[164],"satisfying":[165],"relevance,":[166],"fail":[167],"satisfy":[169,177],"independence.":[170],"C-inference,":[171],"contrast,":[173],"turns":[174],"out":[175],"both":[178],"independence":[181],"thus":[183],"fully":[184],"complies":[185],"with":[186],"splitting.":[188]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":8},{"year":2023,"cited_by_count":11},{"year":2022,"cited_by_count":11},{"year":2021,"cited_by_count":8},{"year":2020,"cited_by_count":1}],"updated_date":"2026-05-08T15:41:06.802602","created_date":"2025-10-10T00:00:00"}