@article{7482b42880d043558aa294350e9d0f7a,
  title     = "Applying rule-base anomalies to KADS inference structures",
  abstract  = "The literature on validation and verification of knowledge-based systems contains a catalouge of anomalies for knowledge-based systems, such as redundant, contradictory or deficient knowledge. Detecting such anomalies is a method for verifying knowledge-based systems. (continued)",
  keywords  = "validation, verfication, knowledge-based systems,",
  author    = "{van Harmelen}, F",
  year      = "1997",
  volume    = "21",
  pages     = "271--280",
  journal   = "Decision Support Systems",
  issn      = "0167-9236",
  publisher = "North Holland",
}

{"_id":"Eu7gu3MWzENvoumft","bibbaseid":"vanharmelen-applyingrulebaseanomaliestokadsinferencestructures-1997","downloads":0,"creationDate":"2016-08-23T11:22:50.022Z","title":"Applying rule-base anomalies to KADS inference structures","author_short":["van Harmelen , F"],"year":1997,"bibtype":"article","biburl":"https://raw.githubusercontent.com/KRRVU/website/master/publications/krr.bib","bibdata":{"bibtype":"article","type":"article","title":"Applying rule-base anomalies to KADS inference structures","abstract":"The literature on validation and verification of knowledge-based systems contains a catalouge of anomalies for knowledge-based systems, such as redundant, contradictory or deficient knowledge. Detecting such anomalies is a method for verifying knowledge-based systems. (continued)","keywords":"validation, verfication, knowledge-based systems,","author":[{"propositions":["van Harmelen"],"lastnames":[],"firstnames":["F"],"suffixes":[]}],"year":"1997","volume":"21","pages":"271–280","journal":"Decision Support Systems","issn":"0167-9236","publisher":"North Holland","bibtex":"@article{7482b42880d043558aa294350e9d0f7a,\n title = \"Applying rule-base anomalies to KADS inference structures\",\n abstract = \"The literature on validation and verification of knowledge-based systems contains a catalouge of anomalies for knowledge-based systems, such as redundant, contradictory or deficient knowledge. Detecting such anomalies is a method for verifying knowledge-based systems. (continued)\",\n keywords = \"validation, verfication, knowledge-based systems,\",\n author = \"{van Harmelen}, F\",\n year = \"1997\",\n volume = \"21\",\n pages = \"271--280\",\n journal = \"Decision Support Systems\",\n issn = \"0167-9236\",\n publisher = \"North Holland\",\n}\n\n\n","author_short":["van Harmelen , F"],"key":"7482b42880d043558aa294350e9d0f7a","id":"7482b42880d043558aa294350e9d0f7a","bibbaseid":"vanharmelen-applyingrulebaseanomaliestokadsinferencestructures-1997","role":"author","urls":{},"keyword":["validation","verfication","knowledge-based systems",""],"metadata":{"authorlinks":{}},"downloads":0},"search_terms":["applying","rule","base","anomalies","kads","inference","structures","van harmelen "],"keywords":["validation","verfication","knowledge-based systems",""],"authorIDs":[],"dataSources":["H6xuGqu5uQ6rXhdJ4","dJmTXpbSWWjnxatYT"]}