{"id":"https://openalex.org/W1803713705","doi":"https://doi.org/10.1007/978-3-540-76928-6_52","title":"Implementing Iterated Belief Change Via Prime Implicates","display_name":"Implementing Iterated Belief Change Via Prime Implicates","publication_year":2007,"publication_date":"2007-11-22","ids":{"openalex":"https://openalex.org/W1803713705","doi":"https://doi.org/10.1007/978-3-540-76928-6_52","mag":"1803713705"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-76928-6_52","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-76928-6_52","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","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/A5007027633","display_name":"Zhiqiang Zhuang","orcid":"https://orcid.org/0000-0003-0081-1703"},"institutions":[{"id":"https://openalex.org/I31746571","display_name":"UNSW Sydney","ror":"https://ror.org/03r8z3t63","country_code":"AU","type":"education","lineage":["https://openalex.org/I31746571"]}],"countries":["AU"],"is_corresponding":true,"raw_author_name":"Zhi Qiang Zhuang","raw_affiliation_strings":["School of Computer Science and Engineering, The University of New South Wales, Sydney, NSW 2052, Australia","School of Computer Science and Engineering, The university of New South Wales, Sydney, NSW, Australia"],"affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, The University of New South Wales, Sydney, NSW 2052, Australia","institution_ids":["https://openalex.org/I31746571"]},{"raw_affiliation_string":"School of Computer Science and Engineering, The university of New South Wales, Sydney, NSW, Australia","institution_ids":["https://openalex.org/I31746571"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069777357","display_name":"Maurice Pagnucco","orcid":"https://orcid.org/0000-0001-7712-6646"},"institutions":[{"id":"https://openalex.org/I31746571","display_name":"UNSW Sydney","ror":"https://ror.org/03r8z3t63","country_code":"AU","type":"education","lineage":["https://openalex.org/I31746571"]},{"id":"https://openalex.org/I42894916","display_name":"Data61","ror":"https://ror.org/03q397159","country_code":"AU","type":"other","lineage":["https://openalex.org/I1292875679","https://openalex.org/I2801453606","https://openalex.org/I42894916","https://openalex.org/I4387156119"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Maurice Pagnucco","raw_affiliation_strings":["ARC Centre of Excellence for Autonomous Systems and National ICT Australia, School of Comp. Sci. and Eng., The University of New South Wales, Sydney, NSW 2052, Australia","ARC Centre of Excellence for Autonomous Systems and National ICT Australia, School of Comp. Sci. and Eng., The University of New South Wales, Sydney, NSW, Australia#TAB#"],"affiliations":[{"raw_affiliation_string":"ARC Centre of Excellence for Autonomous Systems and National ICT Australia, School of Comp. Sci. and Eng., The University of New South Wales, Sydney, NSW 2052, Australia","institution_ids":["https://openalex.org/I42894916","https://openalex.org/I31746571"]},{"raw_affiliation_string":"ARC Centre of Excellence for Autonomous Systems and National ICT Australia, School of Comp. Sci. and Eng., The University of New South Wales, Sydney, NSW, Australia#TAB#","institution_ids":["https://openalex.org/I31746571"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102011951","display_name":"Thomas Meyer","orcid":"https://orcid.org/0000-0003-2204-6969"},"institutions":[{"id":"https://openalex.org/I42894916","display_name":"Data61","ror":"https://ror.org/03q397159","country_code":"AU","type":"other","lineage":["https://openalex.org/I1292875679","https://openalex.org/I2801453606","https://openalex.org/I42894916","https://openalex.org/I4387156119"]},{"id":"https://openalex.org/I31746571","display_name":"UNSW Sydney","ror":"https://ror.org/03r8z3t63","country_code":"AU","type":"education","lineage":["https://openalex.org/I31746571"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Thomas Meyer","raw_affiliation_strings":["National ICT Australia and School of Computer Science and Engineering, The University of New South Wales, Sydney, Australia","National ICT Australia and School of Computer Science and Engineering, The University of New South Wales, Sydney, Australia#TAB#"],"affiliations":[{"raw_affiliation_string":"National ICT Australia and School of Computer Science and Engineering, The University of New South Wales, Sydney, Australia","institution_ids":["https://openalex.org/I42894916","https://openalex.org/I31746571"]},{"raw_affiliation_string":"National ICT Australia and School of Computer Science and Engineering, The University of New South Wales, Sydney, Australia#TAB#","institution_ids":["https://openalex.org/I31746571"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5007027633"],"corresponding_institution_ids":["https://openalex.org/I31746571"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.458,"has_fulltext":false,"cited_by_count":17,"citation_normalized_percentile":{"value":0.65856354,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"507","last_page":"518"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9995999932289124,"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.9995999932289124,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9973999857902527,"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.9958999752998352,"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/semantic-reasoner","display_name":"Semantic reasoner","score":0.9360671043395996},{"id":"https://openalex.org/keywords/belief-revision","display_name":"Belief revision","score":0.8344486951828003},{"id":"https://openalex.org/keywords/iterated-function","display_name":"Iterated function","score":0.7484415173530579},{"id":"https://openalex.org/keywords/rationality","display_name":"Rationality","score":0.7329245805740356},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5869430303573608},{"id":"https://openalex.org/keywords/prime","display_name":"Prime (order theory)","score":0.5239253640174866},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.5151492357254028},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.4173113703727722},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.41567832231521606},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.3911397457122803},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3851280212402344},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.25100964307785034},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.24104928970336914},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.14903298020362854}],"concepts":[{"id":"https://openalex.org/C9616225","wikidata":"https://www.wikidata.org/wiki/Q3929429","display_name":"Semantic reasoner","level":2,"score":0.9360671043395996},{"id":"https://openalex.org/C128913409","wikidata":"https://www.wikidata.org/wiki/Q3566063","display_name":"Belief revision","level":2,"score":0.8344486951828003},{"id":"https://openalex.org/C140479938","wikidata":"https://www.wikidata.org/wiki/Q5254619","display_name":"Iterated function","level":2,"score":0.7484415173530579},{"id":"https://openalex.org/C201717286","wikidata":"https://www.wikidata.org/wiki/Q938185","display_name":"Rationality","level":2,"score":0.7329245805740356},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5869430303573608},{"id":"https://openalex.org/C184992742","wikidata":"https://www.wikidata.org/wiki/Q7243229","display_name":"Prime (order theory)","level":2,"score":0.5239253640174866},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.5151492357254028},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.4173113703727722},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.41567832231521606},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.3911397457122803},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3851280212402344},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.25100964307785034},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.24104928970336914},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.14903298020362854},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"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/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-540-76928-6_52","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-76928-6_52","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W128886069","https://openalex.org/W145128706","https://openalex.org/W620923504","https://openalex.org/W1481348708","https://openalex.org/W1557825796","https://openalex.org/W1602903215","https://openalex.org/W1757386999","https://openalex.org/W2018291801","https://openalex.org/W2027468426","https://openalex.org/W2047315525","https://openalex.org/W2055344243","https://openalex.org/W2068982639","https://openalex.org/W2085022454","https://openalex.org/W2111398557","https://openalex.org/W2134878247","https://openalex.org/W2144078201","https://openalex.org/W2149420462","https://openalex.org/W2283247648","https://openalex.org/W2912435539","https://openalex.org/W4241442473","https://openalex.org/W4388282953"],"related_works":["https://openalex.org/W2964604098","https://openalex.org/W2997512100","https://openalex.org/W1527191935","https://openalex.org/W2393933887","https://openalex.org/W2188645286","https://openalex.org/W164606784","https://openalex.org/W1803713705","https://openalex.org/W1757386999","https://openalex.org/W2995288575","https://openalex.org/W1533743898"],"abstract_inverted_index":null,"counts_by_year":[{"year":2020,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":4},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}