{"id":"https://openalex.org/W1597219291","doi":"https://doi.org/10.3233/978-1-60750-606-5-1065","title":"Horn Belief Change: A Contraction Core","display_name":"Horn Belief Change: A Contraction Core","publication_year":2010,"publication_date":"2010-01-01","ids":{"openalex":"https://openalex.org/W1597219291","doi":"https://doi.org/10.3233/978-1-60750-606-5-1065","mag":"1597219291"},"language":"en","primary_location":{"id":"doi:10.3233/978-1-60750-606-5-1065","is_oa":true,"landing_page_url":"https://doi.org/10.3233/978-1-60750-606-5-1065","pdf_url":null,"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://doi.org/10.3233/978-1-60750-606-5-1065","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5063501905","display_name":"Richard Booth","orcid":"https://orcid.org/0000-0002-6647-6381"},"institutions":[{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]},{"id":"https://openalex.org/I4405259781","display_name":"Interdisciplinary Centre for Security, Reliability and Trust","ror":"https://ror.org/02qav7c04","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577","https://openalex.org/I4405259781"]}],"countries":["LU"],"is_corresponding":false,"raw_author_name":"Booth Richard","raw_affiliation_strings":["FSTC - Faculty of Science, Technology and Communication [Luxembourg] (6, rue Richard Coudenhove-Kalergi\r\nL-1359 Luxembourg - Luxembourg)","SnT - Interdisciplinary Centre for Security, Reliability and Trust [Luxembourg] (6, rue Richard Couhenhove-Kalergi L-1359 Luxembourg - Luxembourg)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"FSTC - Faculty of Science, Technology and Communication [Luxembourg] (6, rue Richard Coudenhove-Kalergi\r\nL-1359 Luxembourg - Luxembourg)","institution_ids":[]},{"raw_affiliation_string":"SnT - Interdisciplinary Centre for Security, Reliability and Trust [Luxembourg] (6, rue Richard Couhenhove-Kalergi L-1359 Luxembourg - Luxembourg)","institution_ids":["https://openalex.org/I186903577","https://openalex.org/I4405259781"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102011951","display_name":"Thomas Meyer","orcid":"https://orcid.org/0000-0003-2204-6969"},"institutions":[{"id":"https://openalex.org/I4210128300","display_name":"Institut de Chimie","ror":"https://ror.org/02cte4b68","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I4210128300"]},{"id":"https://openalex.org/I4387153550","display_name":"Chimie de la Mati\u00e8re Complexe","ror":"https://ror.org/01cgac405","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I4387153550","https://openalex.org/I68947357"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Meyer Thomas","raw_affiliation_strings":["CMC - Chimie de la mati\u00e8re complexe (Institut Le Bel - 4, rue Blaise Pascal - 67070 STRASBOURG CEDEX - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CMC - Chimie de la mati\u00e8re complexe (Institut Le Bel - 4, rue Blaise Pascal - 67070 STRASBOURG CEDEX - France)","institution_ids":["https://openalex.org/I4210128300","https://openalex.org/I4387153550"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034598656","display_name":"Ivan Varzinczak","orcid":"https://orcid.org/0000-0002-0025-9632"},"institutions":[{"id":"https://openalex.org/I4210115519","display_name":"Centre de Recherche en Informatique","ror":"https://ror.org/020cdve92","country_code":"FR","type":"facility","lineage":["https://openalex.org/I190752583","https://openalex.org/I2746051580","https://openalex.org/I4210091621","https://openalex.org/I4210115519","https://openalex.org/I70768539"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Varzinczak Ivan","raw_affiliation_strings":["CRIL - Centre de Recherche en Informatique de Lens (Facult\u00e9 Jean Perrin Rue Jean Souvraz - SP 18 - 62307 LENS CEDEX - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CRIL - Centre de Recherche en Informatique de Lens (Facult\u00e9 Jean Perrin Rue Jean Souvraz - SP 18 - 62307 LENS CEDEX - France)","institution_ids":["https://openalex.org/I4210115519"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5031456220","display_name":"Renata Wassermann","orcid":"https://orcid.org/0000-0001-8065-1433"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wassermann Renata","raw_affiliation_strings":["Institute of Mathematics ans Statistics [Sao Paulo] (Rua do Mat\u00e3o, 1010 \r\nCEP 05508-090 \r\nS\u00e3o Paulo - SP - Brazil)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Mathematics ans Statistics [Sao Paulo] (Rua do Mat\u00e3o, 1010 \r\nCEP 05508-090 \r\nS\u00e3o Paulo - SP - Brazil)","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.3217,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.8580946,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9990000128746033,"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.9990000128746033,"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.9817000031471252,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9715999960899353,"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/contraction","display_name":"Contraction (grammar)","score":0.6942129731178284},{"id":"https://openalex.org/keywords/core","display_name":"Core (optical fiber)","score":0.413754940032959},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.3586335778236389},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.31927788257598877},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.17193180322647095},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.15146693587303162},{"id":"https://openalex.org/keywords/telecommunications","display_name":"Telecommunications","score":0.08878439664840698}],"concepts":[{"id":"https://openalex.org/C163415756","wikidata":"https://www.wikidata.org/wiki/Q126473","display_name":"Contraction (grammar)","level":2,"score":0.6942129731178284},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.413754940032959},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.3586335778236389},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.31927788257598877},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.17193180322647095},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.15146693587303162},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.08878439664840698}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.3233/978-1-60750-606-5-1065","is_oa":true,"landing_page_url":"https://doi.org/10.3233/978-1-60750-606-5-1065","pdf_url":null,"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"},{"id":"pmh:oai:orbilu.uni.lu:10993/10364","is_oa":false,"landing_page_url":"https://orbilu.uni.lu/handle/10993/10364","pdf_url":null,"source":{"id":"https://openalex.org/S4306401815","display_name":"Open Repository and Bibliography (University of Luxembourg)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I186903577","host_organization_name":"University of Luxembourg","host_organization_lineage":["https://openalex.org/I186903577"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010), 1065\u20131066 (2010); Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010), 2010","raw_type":"http://purl.org/coar/resource_type/c_5794"},{"id":"pmh:oai:HAL:hal-03674201v1","is_oa":false,"landing_page_url":"https://univ-artois.hal.science/hal-03674201","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"19th European Conference on Artificial Intelligence (ECAI'10), 2010, Lisbon, Portugal. pp.1065-1066","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:orbilu.uni.lu:10993/10364","is_oa":false,"landing_page_url":"http://orbilu.uni.lu/handle/10993/10364","pdf_url":null,"source":{"id":"https://openalex.org/S4306401815","display_name":"Open Repository and Bibliography (University of Luxembourg)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I186903577","host_organization_name":"University of Luxembourg","host_organization_lineage":["https://openalex.org/I186903577"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010) (pp. 1065\u20131066). (2010).","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"doi:10.3233/978-1-60750-606-5-1065","is_oa":true,"landing_page_url":"https://doi.org/10.3233/978-1-60750-606-5-1065","pdf_url":null,"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":[{"id":"https://metadata.un.org/sdg/10","score":0.4300000071525574,"display_name":"Reduced inequalities"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":7,"referenced_works":["https://openalex.org/W147223905","https://openalex.org/W1939688226","https://openalex.org/W1982345710","https://openalex.org/W2055240122","https://openalex.org/W2148347076","https://openalex.org/W2149420462","https://openalex.org/W2912182247"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"We":[0],"show":[1],"that":[2,37],"Booth":[3],"et":[4],"al.'s":[5],"Horn":[6,28,38,70],"contraction":[7,16,29,61,71],"based":[8],"on":[9],"infra-remainder":[10],"sets":[11,74],"corresponds":[12],"exactly":[13],"to":[14],"kernel":[15],"for":[17,30,69,72],"belief":[18,31,39,49,53,73],"sets.":[19],"This":[20],"result":[21,68],"is":[22,41],"obtained":[23],"via":[24],"a":[25,45,64,77],"detour":[26],"through":[27],"bases,":[32],"which":[33,76],"supports":[34],"the":[35,57,80],"conjecture":[36],"change":[40,51],"best":[42],"viewed":[43],"as":[44],"“hybrid”":[46],"version":[47,78],"of":[48,79],"set":[50],"and":[52],"base":[54,60],"change.":[55],"Moreover,":[56],"link":[58],"with":[59],"gives":[62],"us":[63],"more":[65],"elegant":[66],"representation":[67],"in":[75],"Core-retainment":[81],"postulate":[82],"features.":[83]},"counts_by_year":[{"year":2019,"cited_by_count":2},{"year":2016,"cited_by_count":2},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":1}],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2025-10-10T00:00:00"}