{"id":"https://openalex.org/W1983261114","doi":"https://doi.org/10.1016/s0020-7373(89)80002-1","title":"Issues in the verification of knowledge in rule-based systems","display_name":"Issues in the verification of knowledge in rule-based systems","publication_year":1989,"publication_date":"1989-03-01","ids":{"openalex":"https://openalex.org/W1983261114","doi":"https://doi.org/10.1016/s0020-7373(89)80002-1","mag":"1983261114"},"language":"en","primary_location":{"id":"doi:10.1016/s0020-7373(89)80002-1","is_oa":false,"landing_page_url":"https://doi.org/10.1016/s0020-7373(89)80002-1","pdf_url":null,"source":{"id":"https://openalex.org/S4210225790","display_name":"International Journal of Man-Machine Studies","issn_l":"0020-7373","issn":["0020-7373","1879-3614"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319955","host_organization_name":"Academic Press","host_organization_lineage":["https://openalex.org/P4310319955","https://openalex.org/P4310320990"],"host_organization_lineage_names":["Academic Press","Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Man-Machine Studies","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/A5003390178","display_name":"Derek L. Nazareth","orcid":null},"institutions":[{"id":"https://openalex.org/I43579087","display_name":"University of Wisconsin\u2013Milwaukee","ror":"https://ror.org/031q21x57","country_code":"US","type":"education","lineage":["https://openalex.org/I43579087"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Derek L. Nazareth","raw_affiliation_strings":["P.O. Box 742, School of Business Administration, University of Wisconsin-Milwaukee, Milwaukee, Wisconsin 53201, USA","University of Wisconsin-Milwaukee, Milwaukee"],"affiliations":[{"raw_affiliation_string":"P.O. Box 742, School of Business Administration, University of Wisconsin-Milwaukee, Milwaukee, Wisconsin 53201, USA","institution_ids":["https://openalex.org/I43579087"]},{"raw_affiliation_string":"University of Wisconsin-Milwaukee, Milwaukee","institution_ids":["https://openalex.org/I43579087"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5003390178"],"corresponding_institution_ids":["https://openalex.org/I43579087"],"apc_list":null,"apc_paid":null,"fwci":9.0764,"has_fulltext":false,"cited_by_count":89,"citation_normalized_percentile":{"value":0.97861113,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"30","issue":"3","first_page":"255","last_page":"271"},"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.9997000098228455,"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.9997000098228455,"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.9959999918937683,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.993399977684021,"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.6502881050109863},{"id":"https://openalex.org/keywords/expert-system","display_name":"Expert system","score":0.5506477355957031},{"id":"https://openalex.org/keywords/taxonomy","display_name":"Taxonomy (biology)","score":0.5085939168930054},{"id":"https://openalex.org/keywords/rule-based-system","display_name":"Rule-based system","score":0.48786306381225586},{"id":"https://openalex.org/keywords/knowledge-based-systems","display_name":"Knowledge-based systems","score":0.4877263009548187},{"id":"https://openalex.org/keywords/perspective","display_name":"Perspective (graphical)","score":0.4870060086250305},{"id":"https://openalex.org/keywords/knowledge-management","display_name":"Knowledge management","score":0.34277066588401794},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.34234628081321716},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.33961543440818787},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3311030864715576},{"id":"https://openalex.org/keywords/management-science","display_name":"Management science","score":0.329897940158844},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.16479438543319702}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6502881050109863},{"id":"https://openalex.org/C58328972","wikidata":"https://www.wikidata.org/wiki/Q184609","display_name":"Expert system","level":2,"score":0.5506477355957031},{"id":"https://openalex.org/C58642233","wikidata":"https://www.wikidata.org/wiki/Q8269924","display_name":"Taxonomy (biology)","level":2,"score":0.5085939168930054},{"id":"https://openalex.org/C149271511","wikidata":"https://www.wikidata.org/wiki/Q1417149","display_name":"Rule-based system","level":2,"score":0.48786306381225586},{"id":"https://openalex.org/C115925183","wikidata":"https://www.wikidata.org/wiki/Q1412694","display_name":"Knowledge-based systems","level":2,"score":0.4877263009548187},{"id":"https://openalex.org/C12713177","wikidata":"https://www.wikidata.org/wiki/Q1900281","display_name":"Perspective (graphical)","level":2,"score":0.4870060086250305},{"id":"https://openalex.org/C56739046","wikidata":"https://www.wikidata.org/wiki/Q192060","display_name":"Knowledge management","level":1,"score":0.34277066588401794},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.34234628081321716},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.33961543440818787},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3311030864715576},{"id":"https://openalex.org/C539667460","wikidata":"https://www.wikidata.org/wiki/Q2414942","display_name":"Management science","level":1,"score":0.329897940158844},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.16479438543319702},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C59822182","wikidata":"https://www.wikidata.org/wiki/Q441","display_name":"Botany","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s0020-7373(89)80002-1","is_oa":false,"landing_page_url":"https://doi.org/10.1016/s0020-7373(89)80002-1","pdf_url":null,"source":{"id":"https://openalex.org/S4210225790","display_name":"International Journal of Man-Machine Studies","issn_l":"0020-7373","issn":["0020-7373","1879-3614"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319955","host_organization_name":"Academic Press","host_organization_lineage":["https://openalex.org/P4310319955","https://openalex.org/P4310320990"],"host_organization_lineage_names":["Academic Press","Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Man-Machine Studies","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":71,"referenced_works":["https://openalex.org/W16928201","https://openalex.org/W32011929","https://openalex.org/W61379056","https://openalex.org/W91370124","https://openalex.org/W110753972","https://openalex.org/W188378287","https://openalex.org/W194613234","https://openalex.org/W229019754","https://openalex.org/W320266017","https://openalex.org/W590876860","https://openalex.org/W645741109","https://openalex.org/W1506418277","https://openalex.org/W1513688798","https://openalex.org/W1547360557","https://openalex.org/W1552704885","https://openalex.org/W1562043848","https://openalex.org/W1564733196","https://openalex.org/W1599174624","https://openalex.org/W1607095152","https://openalex.org/W1723070736","https://openalex.org/W1830554012","https://openalex.org/W1976303542","https://openalex.org/W1982880667","https://openalex.org/W1995880482","https://openalex.org/W1996347293","https://openalex.org/W2001829132","https://openalex.org/W2015065314","https://openalex.org/W2016289761","https://openalex.org/W2029246084","https://openalex.org/W2029957791","https://openalex.org/W2042950500","https://openalex.org/W2058571398","https://openalex.org/W2058649172","https://openalex.org/W2061519380","https://openalex.org/W2069210716","https://openalex.org/W2107091259","https://openalex.org/W2110358547","https://openalex.org/W2111697126","https://openalex.org/W2143961603","https://openalex.org/W2145287593","https://openalex.org/W2147096558","https://openalex.org/W2147989259","https://openalex.org/W2169602487","https://openalex.org/W2171955286","https://openalex.org/W2231316191","https://openalex.org/W2264836310","https://openalex.org/W2305573925","https://openalex.org/W2312369134","https://openalex.org/W2312507558","https://openalex.org/W2322278681","https://openalex.org/W2726355060","https://openalex.org/W3093981756","https://openalex.org/W4285719527","https://openalex.org/W6600946467","https://openalex.org/W6601341899","https://openalex.org/W6601527929","https://openalex.org/W6602492503","https://openalex.org/W6603716529","https://openalex.org/W6607344364","https://openalex.org/W6607935036","https://openalex.org/W6633149838","https://openalex.org/W6633661021","https://openalex.org/W6635805398","https://openalex.org/W6636162661","https://openalex.org/W6637754432","https://openalex.org/W6649193868","https://openalex.org/W6669731788","https://openalex.org/W6676568519","https://openalex.org/W6689604001","https://openalex.org/W6693126440","https://openalex.org/W6740774074"],"related_works":["https://openalex.org/W2593773606","https://openalex.org/W2186155471","https://openalex.org/W2024760185","https://openalex.org/W2357622997","https://openalex.org/W2255792123","https://openalex.org/W2000803355","https://openalex.org/W182930519","https://openalex.org/W186898884","https://openalex.org/W2340861538","https://openalex.org/W2540184605"],"abstract_inverted_index":null,"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2017,"cited_by_count":3},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}