{"id":"https://openalex.org/W1969302003","doi":"https://doi.org/10.1016/s0167-9236(97)00046-8","title":"Using goals to design and verify rule bases","display_name":"Using goals to design and verify rule bases","publication_year":1997,"publication_date":"1997-12-01","ids":{"openalex":"https://openalex.org/W1969302003","doi":"https://doi.org/10.1016/s0167-9236(97)00046-8","mag":"1969302003"},"language":"en","primary_location":{"id":"doi:10.1016/s0167-9236(97)00046-8","is_oa":false,"landing_page_url":"https://doi.org/10.1016/s0167-9236(97)00046-8","pdf_url":null,"source":{"id":"https://openalex.org/S11479521","display_name":"Decision Support Systems","issn_l":"0167-9236","issn":["0167-9236","1873-5797"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Decision Support Systems","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/A5112950649","display_name":"P. G. Chander","orcid":null},"institutions":[{"id":"https://openalex.org/I60158472","display_name":"Concordia University","ror":"https://ror.org/0420zvk78","country_code":"CA","type":"education","lineage":["https://openalex.org/I60158472"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"P.G. Chander","raw_affiliation_strings":["Department of Computer Science, Concordia University, Montreal, Canada H3G 1M8","Department of Computer Science, Concordia University, Montreal, Canada H3G 1M8#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Concordia University, Montreal, Canada H3G 1M8","institution_ids":["https://openalex.org/I60158472"]},{"raw_affiliation_string":"Department of Computer Science, Concordia University, Montreal, Canada H3G 1M8#TAB#","institution_ids":["https://openalex.org/I60158472"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111485039","display_name":"R. Shinghal","orcid":null},"institutions":[{"id":"https://openalex.org/I60158472","display_name":"Concordia University","ror":"https://ror.org/0420zvk78","country_code":"CA","type":"education","lineage":["https://openalex.org/I60158472"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"R. Shinghal","raw_affiliation_strings":["Department of Computer Science, Concordia University, Montreal, Canada H3G 1M8","Department of Computer Science, Concordia University, Montreal, Canada H3G 1M8#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Concordia University, Montreal, Canada H3G 1M8","institution_ids":["https://openalex.org/I60158472"]},{"raw_affiliation_string":"Department of Computer Science, Concordia University, Montreal, Canada H3G 1M8#TAB#","institution_ids":["https://openalex.org/I60158472"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5073349711","display_name":"T. Radhakrishnan","orcid":null},"institutions":[{"id":"https://openalex.org/I60158472","display_name":"Concordia University","ror":"https://ror.org/0420zvk78","country_code":"CA","type":"education","lineage":["https://openalex.org/I60158472"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"T. Radhakrishnan","raw_affiliation_strings":["Department of Computer Science, Concordia University, Montreal, Canada H3G 1M8","Department of Computer Science, Concordia University, Montreal, Canada H3G 1M8#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Concordia University, Montreal, Canada H3G 1M8","institution_ids":["https://openalex.org/I60158472"]},{"raw_affiliation_string":"Department of Computer Science, Concordia University, Montreal, Canada H3G 1M8#TAB#","institution_ids":["https://openalex.org/I60158472"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5112950649"],"corresponding_institution_ids":["https://openalex.org/I60158472"],"apc_list":{"value":3280,"currency":"USD","value_usd":3280},"apc_paid":null,"fwci":3.8457,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.93621262,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"21","issue":"4","first_page":"281","last_page":"305"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10260","display_name":"Software Engineering Research","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.781041145324707},{"id":"https://openalex.org/keywords/redundancy","display_name":"Redundancy (engineering)","score":0.7008712291717529},{"id":"https://openalex.org/keywords/rule-based-system","display_name":"Rule-based system","score":0.6485022306442261},{"id":"https://openalex.org/keywords/knowledge-base","display_name":"Knowledge base","score":0.5936539173126221},{"id":"https://openalex.org/keywords/base","display_name":"Base (topology)","score":0.5025112628936768},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.47122088074684143},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.4619003236293793},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.37192225456237793},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3074071705341339},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3072076439857483},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.10039657354354858}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.781041145324707},{"id":"https://openalex.org/C152124472","wikidata":"https://www.wikidata.org/wiki/Q1204361","display_name":"Redundancy (engineering)","level":2,"score":0.7008712291717529},{"id":"https://openalex.org/C149271511","wikidata":"https://www.wikidata.org/wiki/Q1417149","display_name":"Rule-based system","level":2,"score":0.6485022306442261},{"id":"https://openalex.org/C4554734","wikidata":"https://www.wikidata.org/wiki/Q593744","display_name":"Knowledge base","level":2,"score":0.5936539173126221},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.5025112628936768},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.47122088074684143},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.4619003236293793},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37192225456237793},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3074071705341339},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3072076439857483},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10039657354354858},{"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/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.1016/s0167-9236(97)00046-8","is_oa":false,"landing_page_url":"https://doi.org/10.1016/s0167-9236(97)00046-8","pdf_url":null,"source":{"id":"https://openalex.org/S11479521","display_name":"Decision Support Systems","issn_l":"0167-9236","issn":["0167-9236","1873-5797"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Decision Support Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.5699999928474426,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W48361203","https://openalex.org/W108130482","https://openalex.org/W144376046","https://openalex.org/W229019754","https://openalex.org/W1968762526","https://openalex.org/W1981311312","https://openalex.org/W1994244540","https://openalex.org/W2003724611","https://openalex.org/W2010301509","https://openalex.org/W2013336535","https://openalex.org/W2024732842","https://openalex.org/W2035859722","https://openalex.org/W2039832885","https://openalex.org/W2043949849","https://openalex.org/W2061519380","https://openalex.org/W2067214325","https://openalex.org/W2110679033","https://openalex.org/W2132227920","https://openalex.org/W2135186759","https://openalex.org/W2136116130","https://openalex.org/W2163744012","https://openalex.org/W2165161675","https://openalex.org/W2171758753","https://openalex.org/W2470477966","https://openalex.org/W6606298547","https://openalex.org/W6720265030","https://openalex.org/W6776849695","https://openalex.org/W6844029543"],"related_works":["https://openalex.org/W2046435967","https://openalex.org/W4231775656","https://openalex.org/W2122678784","https://openalex.org/W1495042958","https://openalex.org/W2282510344","https://openalex.org/W139987158","https://openalex.org/W2183994405","https://openalex.org/W2385713529","https://openalex.org/W2599749361","https://openalex.org/W2349610538"],"abstract_inverted_index":null,"counts_by_year":[{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}