{"id":"https://openalex.org/W1479990281","doi":"https://doi.org/10.1002/9780470050118.ecse440","title":"Reason Maintenance Systems: Tools for Foundations\u2010Based Belief Revision","display_name":"Reason Maintenance Systems: Tools for Foundations\u2010Based Belief Revision","publication_year":2008,"publication_date":"2008-09-11","ids":{"openalex":"https://openalex.org/W1479990281","doi":"https://doi.org/10.1002/9780470050118.ecse440","mag":"1479990281"},"language":"en","primary_location":{"id":"doi:10.1002/9780470050118.ecse440","is_oa":false,"landing_page_url":"https://doi.org/10.1002/9780470050118.ecse440","pdf_url":null,"source":{"id":"https://openalex.org/S4306534807","display_name":"Wiley Encyclopedia of Computer Science and Engineering","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Wiley Encyclopedia of Computer Science and Engineering","raw_type":"other"},"type":"other","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/A5082831796","display_name":"Benedita Malheiro","orcid":"https://orcid.org/0000-0001-9083-4292"},"institutions":[{"id":"https://openalex.org/I83863532","display_name":"Polytechnic Institute of Porto","ror":"https://ror.org/04988re48","country_code":"PT","type":"education","lineage":["https://openalex.org/I83863532"]},{"id":"https://openalex.org/I4392738089","display_name":"Instituto Superior de Engenharia do Porto","ror":"https://ror.org/04h7zpy51","country_code":null,"type":"facility","lineage":["https://openalex.org/I4392738089","https://openalex.org/I83863532"]}],"countries":["PT"],"is_corresponding":true,"raw_author_name":"Benedita Malheiro","raw_affiliation_strings":["[Instituto Superior de Engenharia do Porto, Porto, Portugal]"],"affiliations":[{"raw_affiliation_string":"[Instituto Superior de Engenharia do Porto, Porto, Portugal]","institution_ids":["https://openalex.org/I83863532","https://openalex.org/I4392738089"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5082831796"],"corresponding_institution_ids":["https://openalex.org/I4392738089","https://openalex.org/I83863532"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"5"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9994000196456909,"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.9994000196456909,"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.9987000226974487,"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.9952999949455261,"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/belief-revision","display_name":"Belief revision","score":0.7742303609848022},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.7190117239952087},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6159694194793701},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.6141105890274048},{"id":"https://openalex.org/keywords/knowledge-base","display_name":"Knowledge base","score":0.524569034576416},{"id":"https://openalex.org/keywords/knowledge-representation-and-reasoning","display_name":"Knowledge representation and reasoning","score":0.5050390362739563},{"id":"https://openalex.org/keywords/core","display_name":"Core (optical fiber)","score":0.49991345405578613},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4837667942047119},{"id":"https://openalex.org/keywords/problem-solver","display_name":"Problem solver","score":0.4813028872013092},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.4451929032802582},{"id":"https://openalex.org/keywords/belief-system","display_name":"Belief system","score":0.4218190610408783},{"id":"https://openalex.org/keywords/knowledge-based-systems","display_name":"Knowledge-based systems","score":0.41443753242492676},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3727625012397766},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.35504454374313354},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.09095507860183716}],"concepts":[{"id":"https://openalex.org/C128913409","wikidata":"https://www.wikidata.org/wiki/Q3566063","display_name":"Belief revision","level":2,"score":0.7742303609848022},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.7190117239952087},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6159694194793701},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.6141105890274048},{"id":"https://openalex.org/C4554734","wikidata":"https://www.wikidata.org/wiki/Q593744","display_name":"Knowledge base","level":2,"score":0.524569034576416},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.5050390362739563},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.49991345405578613},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4837667942047119},{"id":"https://openalex.org/C3019612716","wikidata":"https://www.wikidata.org/wiki/Q730920","display_name":"Problem solver","level":2,"score":0.4813028872013092},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.4451929032802582},{"id":"https://openalex.org/C2994474205","wikidata":"https://www.wikidata.org/wiki/Q34394","display_name":"Belief system","level":2,"score":0.4218190610408783},{"id":"https://openalex.org/C115925183","wikidata":"https://www.wikidata.org/wiki/Q1412694","display_name":"Knowledge-based systems","level":2,"score":0.41443753242492676},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3727625012397766},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.35504454374313354},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.09095507860183716},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","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/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","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/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1002/9780470050118.ecse440","is_oa":false,"landing_page_url":"https://doi.org/10.1002/9780470050118.ecse440","pdf_url":null,"source":{"id":"https://openalex.org/S4306534807","display_name":"Wiley Encyclopedia of Computer Science and Engineering","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Wiley Encyclopedia of Computer Science and Engineering","raw_type":"other"},{"id":"pmh:oai:recipp.ipp.pt:10400.22/5246","is_oa":false,"landing_page_url":"http://hdl.handle.net/10400.22/5246","pdf_url":null,"source":{"id":"https://openalex.org/S4306402433","display_name":"Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"book part"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.6700000166893005,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W310942558","https://openalex.org/W1563779243","https://openalex.org/W1591503534","https://openalex.org/W1857891287","https://openalex.org/W1967756796","https://openalex.org/W1976303542","https://openalex.org/W2057819970","https://openalex.org/W2060463284","https://openalex.org/W2147096558","https://openalex.org/W2149420462","https://openalex.org/W2989570669","https://openalex.org/W3020913839","https://openalex.org/W3128581731"],"related_works":["https://openalex.org/W101241118","https://openalex.org/W2034376287","https://openalex.org/W2355172082","https://openalex.org/W2050166550","https://openalex.org/W2043728720","https://openalex.org/W2147693288","https://openalex.org/W1490246830","https://openalex.org/W2159275066","https://openalex.org/W1974013282","https://openalex.org/W206791293"],"abstract_inverted_index":{"Abstract":[0],"Dynamic":[1],"and":[2,17,27,44,84,169,205],"distributed":[3],"environments":[4],"are":[5,132,141,174,226],"hard":[6],"to":[7,42,54,82,95,111,187,228,244],"model":[8],"since":[9],"they":[10,80,90],"suffer":[11],"from":[12,274],"unexpected":[13],"changes,":[14],"incomplete":[15],"knowledge,":[16],"conflicting":[18],"perspectives":[19],"and,":[20,50],"thus,":[21],"call":[22],"for":[23,215],"appropriate":[24],"knowledge":[25,102],"representation":[26],"reasoning":[28,212,233],"(KRR)":[29],"systems.":[30,234],"Such":[31],"KRR":[32],"systems":[33,109,115,138],"must":[34,91],"handle":[35],"sets":[36],"of":[37,60,100,106,124,129,144,148,182,202,209,272],"dynamic":[38],"beliefs,":[39,87,190],"be":[40,278],"sensitive":[41],"communicated":[43],"perceived":[45],"changes":[46],"in":[47,58,236,259],"the":[48,75,97,101,125,145,163,183,189,199,207,210,219,237,245,255,260,269,284],"environment":[49],"consequently,":[51],"may":[52],"have":[53],"drop":[55],"current":[56,220],"beliefs":[57,246],"face":[59],"new":[61,66],"findings":[62],"or":[63,196,254,283],"disregard":[64],"any":[65],"data":[67],"that":[68,247],"conflicts":[69],"with":[70,86,156,165,192,268],"stronger":[71],"convictions":[72],"held":[73],"by":[74,176,213],"system.":[76],"Not":[77],"only":[78],"do":[79],"need":[81],"represent":[83],"reason":[85,113,229],"but":[88],"also":[89,133],"perform":[92],"belief":[93,149,194,241,265,286],"revision":[94],"maintain":[96,206],"overall":[98,211],"consistency":[99,208],"base.":[103],"One":[104],"way":[105],"developing":[107],"such":[108],"is":[110,186,242,266],"use":[112],"maintenance":[114,137],"(RMS).":[116],"In":[117],"this":[118],"paper":[119],"we":[120],"provide":[121],"an":[122],"overview":[123],"most":[126],"representative":[127],"types":[128],"RMS,":[130],"which":[131,140,173,275],"known":[134],"as":[135],"truth":[136],"(TMS),":[139],"computational":[142],"instances":[143],"foundations\u2010based":[146],"theory":[147],"revision.":[150],"An":[151],"RMS":[152,164,184],"module":[153,185],"works":[154],"together":[155],"a":[157],"problem":[158],"solver.":[159],"The":[160,180],"latter":[161],"feeds":[162],"assumptions":[166,273],"(core":[167,195],"beliefs)":[168],"conclusions":[170],"(derived":[171],"beliefs),":[172],"accompanied":[175],"their":[177],"respective":[178],"foundations.":[179],"role":[181],"store":[188],"associate":[191],"each":[193,216,240,264],"derived":[197],"belief)":[198],"corresponding":[200],"set":[201,271],"supporting":[203,221],"foundations":[204],"keeping,":[214],"represented":[217],"belief,":[218],"justifications.":[222],"Two":[223],"major":[224],"approaches":[225],"used":[227],"maintenance:":[230],"single\u2010and":[231],"multiple\u2010context":[232],"Although":[235],"single\u2010context":[238],"systems,":[239],"associated":[243,267],"directly":[248],"generated":[249],"it\u2014the":[250],"justification\u2010based":[251],"TMS":[252,257,281],"(JTMS)":[253],"logic\u2010based":[256],"(LTMS),":[258],"multiple":[261,285],"context":[262],"counterparts,":[263],"minimal":[270],"it":[276],"can":[277],"inferred\u2014the":[279],"assumption\u2010based":[280],"(ATMS)":[282],"reasoner":[287],"(MBR).":[288]},"counts_by_year":[],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}