{"id":"https://openalex.org/W2023894176","doi":"https://doi.org/10.1142/s0218194096000272","title":"ELIMINATING REDUNDANCY, CONFLICT, AND INCOMPLETENESS FROM KNOWLEDGE-BASED SYSTEMS","display_name":"ELIMINATING REDUNDANCY, CONFLICT, AND INCOMPLETENESS FROM KNOWLEDGE-BASED SYSTEMS","publication_year":1996,"publication_date":"1996-12-01","ids":{"openalex":"https://openalex.org/W2023894176","doi":"https://doi.org/10.1142/s0218194096000272","mag":"2023894176"},"language":"en","primary_location":{"id":"doi:10.1142/s0218194096000272","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218194096000272","pdf_url":null,"source":{"id":"https://openalex.org/S131442419","display_name":"International Journal of Software Engineering and Knowledge Engineering","issn_l":"0218-1940","issn":["0218-1940","1793-6403"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Software Engineering and Knowledge Engineering","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/A5088977884","display_name":"Rose Gamble","orcid":null},"institutions":[{"id":"https://openalex.org/I87208437","display_name":"University of Tulsa","ror":"https://ror.org/04wn28048","country_code":"US","type":"education","lineage":["https://openalex.org/I87208437"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"ROSE F. GAMBLE","raw_affiliation_strings":["Department of Mathematical and Computer Sciences University of Tulsa, 600 South College Avenue Tulsa, OK 74104\u20133189, USA","Department of Mathematical and Computer Sciences, University of Tulsa, 600 South College Avenue, Tulsa, OK 74104-3189, USA"],"affiliations":[{"raw_affiliation_string":"Department of Mathematical and Computer Sciences University of Tulsa, 600 South College Avenue Tulsa, OK 74104\u20133189, USA","institution_ids":["https://openalex.org/I87208437"]},{"raw_affiliation_string":"Department of Mathematical and Computer Sciences, University of Tulsa, 600 South College Avenue, Tulsa, OK 74104-3189, USA","institution_ids":["https://openalex.org/I87208437"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5038648504","display_name":"Teresa M. Shaft","orcid":"https://orcid.org/0000-0002-8381-7459"},"institutions":[{"id":"https://openalex.org/I87208437","display_name":"University of Tulsa","ror":"https://ror.org/04wn28048","country_code":"US","type":"education","lineage":["https://openalex.org/I87208437"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"TERESA M. SHAFT","raw_affiliation_strings":["Department of Quantitative Methods and Management Information Systems University of Tulsa, 600 South College Avenue Tulsa, OK 74104\u20133189, USA"],"affiliations":[{"raw_affiliation_string":"Department of Quantitative Methods and Management Information Systems University of Tulsa, 600 South College Avenue Tulsa, OK 74104\u20133189, USA","institution_ids":["https://openalex.org/I87208437"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5088977884"],"corresponding_institution_ids":["https://openalex.org/I87208437"],"apc_list":null,"apc_paid":null,"fwci":2.2089,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.89187284,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"06","issue":"04","first_page":"673","last_page":"697"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9902999997138977,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9902999997138977,"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/redundancy","display_name":"Redundancy (engineering)","score":0.7425838112831116},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7276567220687866},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5108878016471863},{"id":"https://openalex.org/keywords/knowledge-based-systems","display_name":"Knowledge-based systems","score":0.4968090355396271},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4293384850025177},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.4054469168186188},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3600560426712036},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.32801464200019836},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.26777952909469604},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.13712936639785767}],"concepts":[{"id":"https://openalex.org/C152124472","wikidata":"https://www.wikidata.org/wiki/Q1204361","display_name":"Redundancy (engineering)","level":2,"score":0.7425838112831116},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7276567220687866},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5108878016471863},{"id":"https://openalex.org/C115925183","wikidata":"https://www.wikidata.org/wiki/Q1412694","display_name":"Knowledge-based systems","level":2,"score":0.4968090355396271},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4293384850025177},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.4054469168186188},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3600560426712036},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.32801464200019836},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.26777952909469604},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.13712936639785767},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1142/s0218194096000272","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218194096000272","pdf_url":null,"source":{"id":"https://openalex.org/S131442419","display_name":"International Journal of Software Engineering and Knowledge Engineering","issn_l":"0218-1940","issn":["0218-1940","1793-6403"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Software Engineering and Knowledge Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1495042958","https://openalex.org/W2494338568","https://openalex.org/W2122678784","https://openalex.org/W2282510344","https://openalex.org/W139987158","https://openalex.org/W2183994405","https://openalex.org/W4234013965","https://openalex.org/W2349023125","https://openalex.org/W4253006236","https://openalex.org/W2067279514"],"abstract_inverted_index":{"The":[0,85],"reliability":[1],"of":[2,10,14,18,25,51,73,87],"knowledge-based":[3],"systems":[4],"(KBSs)":[5],"has":[6],"been":[7,58],"the":[8,23,38,48,52,55,71,91,101],"subject":[9],"a":[11,65],"great":[12],"deal":[13],"recent":[15],"research.":[16],"Much":[17],"this":[19,61],"research":[20],"focuses":[21],"on":[22],"verification":[24,43,95,115],"KBSs,":[26],"specifically":[27],"to":[28,35,83],"eliminate":[29],"redundant":[30,106],"rules,":[31,33,107,109],"conflicting":[32,108],"and":[34,68],"ensure":[36],"that":[37,100],"KBS":[39,53,102],"is":[40,44],"complete.":[41],"Often,":[42],"approached":[45],"by":[46],"testing":[47],"structural":[49],"properties":[50],"after":[54],"rules":[56],"have":[57],"defined.":[59],"In":[60],"paper":[62],"we":[63],"take":[64],"different":[66],"approach":[67],"show":[69],"how":[70],"process":[72],"formal":[74],"program":[75,97],"derivation":[76,98],"from":[77],"software":[78],"engineering":[79],"can":[80],"be":[81,111],"applied":[82],"KBSs.":[84],"use":[86],"these":[88],"techniques":[89],"eliminates":[90],"need":[92],"for":[93],"post-development":[94],"because":[96],"guarantees":[99],"will":[103],"not":[104],"contain":[105],"or":[110],"incomplete.":[112],"As":[113],"such,":[114],"concerns":[116],"are":[117],"addressed":[118],"during":[119],"development.":[120]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}