{"id":"https://openalex.org/W2035749277","doi":"https://doi.org/10.1080/09528139208953749","title":"Revision in ACMS","display_name":"Revision in ACMS","publication_year":1992,"publication_date":"1992-07-01","ids":{"openalex":"https://openalex.org/W2035749277","doi":"https://doi.org/10.1080/09528139208953749","mag":"2035749277"},"language":"en","primary_location":{"id":"doi:10.1080/09528139208953749","is_oa":false,"landing_page_url":"https://doi.org/10.1080/09528139208953749","pdf_url":null,"source":{"id":"https://openalex.org/S153467142","display_name":"Journal of Experimental & Theoretical Artificial Intelligence","issn_l":"0952-813X","issn":["0952-813X","1362-3079"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Experimental & Theoretical Artificial Intelligence","raw_type":"journal-article"},"type":"article","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/A5089456127","display_name":"Alex Kean","orcid":null},"institutions":[{"id":"https://openalex.org/I141945490","display_name":"University of British Columbia","ror":"https://ror.org/03rmrcq20","country_code":"CA","type":"education","lineage":["https://openalex.org/I141945490"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"ALEX KEAN","raw_affiliation_strings":["Department of Computer Science , University of British Columbia , Vancouver, British Columbia, V6T 1Z2, Canada E-mail: kean@cs ubc ca"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science , University of British Columbia , Vancouver, British Columbia, V6T 1Z2, Canada E-mail: kean@cs ubc ca","institution_ids":["https://openalex.org/I141945490"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5089456127"],"corresponding_institution_ids":["https://openalex.org/I141945490"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.14095037,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"4","issue":"3","first_page":"233","last_page":"246"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","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/T10215","display_name":"Semantic Web and Ontologies","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.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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9987999796867371,"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/computer-science","display_name":"Computer science","score":0.8505021333694458},{"id":"https://openalex.org/keywords/scheme","display_name":"Scheme (mathematics)","score":0.6677670478820801},{"id":"https://openalex.org/keywords/knowledge-base","display_name":"Knowledge base","score":0.6526381969451904},{"id":"https://openalex.org/keywords/dependency","display_name":"Dependency (UML)","score":0.6131184697151184},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.6086078882217407},{"id":"https://openalex.org/keywords/bookkeeping","display_name":"Bookkeeping","score":0.49828267097473145},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.4960976541042328},{"id":"https://openalex.org/keywords/base","display_name":"Base (topology)","score":0.4826841652393341},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.41628211736679077},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.18301540613174438},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.07686963677406311}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8505021333694458},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.6677670478820801},{"id":"https://openalex.org/C4554734","wikidata":"https://www.wikidata.org/wiki/Q593744","display_name":"Knowledge base","level":2,"score":0.6526381969451904},{"id":"https://openalex.org/C19768560","wikidata":"https://www.wikidata.org/wiki/Q320727","display_name":"Dependency (UML)","level":2,"score":0.6131184697151184},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.6086078882217407},{"id":"https://openalex.org/C105387459","wikidata":"https://www.wikidata.org/wiki/Q3707847","display_name":"Bookkeeping","level":2,"score":0.49828267097473145},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.4960976541042328},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.4826841652393341},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.41628211736679077},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.18301540613174438},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.07686963677406311},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"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/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"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/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1080/09528139208953749","is_oa":false,"landing_page_url":"https://doi.org/10.1080/09528139208953749","pdf_url":null,"source":{"id":"https://openalex.org/S153467142","display_name":"Journal of Experimental & Theoretical Artificial Intelligence","issn_l":"0952-813X","issn":["0952-813X","1362-3079"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Experimental & Theoretical Artificial Intelligence","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.7200000286102295,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W145128706","https://openalex.org/W648331577","https://openalex.org/W1520443109","https://openalex.org/W1533536861","https://openalex.org/W1800533175","https://openalex.org/W1971224153","https://openalex.org/W1976303542","https://openalex.org/W2038118137","https://openalex.org/W2108309071","https://openalex.org/W2132849347","https://openalex.org/W2135432705","https://openalex.org/W2144078201","https://openalex.org/W2147096558","https://openalex.org/W2155322595","https://openalex.org/W2977904728","https://openalex.org/W4206109200"],"related_works":["https://openalex.org/W2647068968","https://openalex.org/W2295564527","https://openalex.org/W2975151880","https://openalex.org/W4381195082","https://openalex.org/W4241307120","https://openalex.org/W2143766486","https://openalex.org/W4384070944","https://openalex.org/W2769593157","https://openalex.org/W2385713529","https://openalex.org/W2599749361"],"abstract_inverted_index":{"Abstract":[0],"The":[1,37,102],"motivation":[2],"for":[3,14,21,56,72,92],"creating":[4],"truth":[5,108],"maintenance":[6,109],"systems":[7],"is":[8,12,41,79,88,95,105],"twofold.":[9],"First,":[10],"it":[11],"used":[13],"the":[15,28,34,50,58,73,106],"abduction":[16,76],"process":[17,38],"of":[18,31,33,39,47,75,117],"generating":[19],"explanation":[20,64],"a":[22,82,98],"query;":[23],"and":[24,45,62,77],"second,":[25],"to":[26],"perform":[27],"necessary":[29],"bookkeeping":[30],"revision":[32,40,78,94],"knowledge":[35,48,51],"base.":[36,52],"defined":[42],"as":[43,115],"addition":[44],"deletion":[46,86,114],"from":[49],"A":[53,90],"logical":[54],"scheme":[55,87],"tracking":[57],"dependency":[59],"between":[60],"query":[61],"its":[63,118],"in":[65],"an":[66,84],"assumption-based":[67],"clause":[68],"management":[69],"system":[70,110],"(ACMS)":[71],"purpose":[74],"proposed.":[80],"As":[81],"consequence,":[83],"incremental":[85,113],"derived.":[89],"protocol":[91],"assumption":[93],"demonstrated":[96],"by":[97],"backtrack":[99],"search":[100],"example.":[101],"proposed":[103],"ACMS":[104],"first":[107],"that":[111],"employs":[112],"part":[116],"capability.":[119]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}