{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:07:27Z","timestamp":1725566847352},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540660767"},{"type":"electronic","value":"9783540487654"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-540-48765-4_31","type":"book-chapter","created":{"date-parts":[[2010,9,24]],"date-time":"2010-09-24T20:27:57Z","timestamp":1285360077000},"page":"276-285","source":"Crossref","is-referenced-by-count":0,"title":["Incremental and Integrated Evaluation of Rule-Based Systems"],"prefix":"10.1007","author":[{"given":"P. G.","family":"Chander","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Shinghal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T.","family":"Radhakrishnan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"31_CR1","unstructured":"Andert Jr., E.P.: Integrated Design and V&V of Knowledge-Based Systems. In: Notes of the Workshop on Validation and Verification of Knowledge-Based Systems (Eleventh National Conference on Artificial Intelligence), Washington D.C., July 1993, pp. 127\u2013128 (1993)"},{"issue":"3","key":"31_CR2","first-page":"273","volume":"6","author":"M. Ayel","year":"1993","unstructured":"Ayel, M., Vignollet, L.: SYCOJET and SACCO: Two Tools for Verifying Expert Systems. International Journal of Expert Systems\u00a06(3), 273\u2013298 (1993)","journal-title":"International Journal of Expert Systems"},{"key":"31_CR3","unstructured":"Chander, P.G., Radhakrishnan, T., Shinghal, R.: Quality Issues in Designing and Evaluating Rule-based Systems. In: Notes of the Workshop on Verification & Validation of Knowledge-Based Systems (Thirteenth National Conference on Artificial Intelligence), Portland, Oregon, August 1996, pp. 33\u201342 (1996)"},{"issue":"1","key":"31_CR4","first-page":"1","volume":"10","author":"P.G. Chander","year":"1997","unstructured":"Chander, P.G., Radhakrishnan, T., Shinghal, R.: Design Schemes for Rule-based Systems. International Journal of Expert Systems: Research and Applications\u00a010(1), 1\u201336 (1997)","journal-title":"International Journal of Expert Systems: Research and Applications"},{"key":"31_CR5","unstructured":"Chander, P.G., Radhakrishnan, T., Shinghal, R.: Issues in Designing Rule-based Systems for Integrated Evaluation. In: Notes of the Workshop on Verification & Validation of Knowledge-Based Systems (Fifteenth National Conference on Artificial Intelligence AAAI-1998), Wisconsin, Madison, pp. 18\u201324 (July 1998)"},{"issue":"4","key":"31_CR6","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1016\/S0957-4174(97)00001-8","volume":"12","author":"P.G. Chander","year":"1997","unstructured":"Chander, P.G., Shinghal, R., Desai, B.C., Radhakrishnan, T.: An Expert System for Cataloging and Searching Digital Libraries. Expert Systems with Applications\u00a012(4), 405\u2013416 (1997)","journal-title":"Expert Systems with Applications"},{"key":"31_CR7","unstructured":"Chander, P.G., Shinghal, R., Radhakrishnan, T.: Performance Assesment and Incremental Evaluation of Rule-based Systems. In: Notes of the Workshop on Verification & Validation of Knowledge-Based Systems (Fourteenth National Conference on Artificial Intelligence AAAI-1997), Providence, Rhode Island,, pp. 40\u201346 (1997)"},{"issue":"4","key":"31_CR8","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1016\/S0167-9236(97)00046-8","volume":"21","author":"P.G. Chander","year":"1997","unstructured":"Chander, P.G., Shinghal, R., Radhakrishnan, T.: Using Goals to Design and Verify Rule Bases. Decision Support Systems\u00a021(4), 281\u2013305 (1997)","journal-title":"Decision Support Systems"},{"key":"31_CR9","unstructured":"Chander, P.G., Shinghal, R., Radhakrishnan, T.: Static Determination of Dynamic Functional Attributes in Rule-based Systems. In: Proceedings of the 1994 International Conference on Systems Research, Informatics and Cybernetics, AI Symposium (ICSRIC 1994), Baden Baden, Germany, pp. 79\u201384 (August 1994)"},{"key":"31_CR10","unstructured":"Chander, P.G.: On the Design and Evaluation of Rule-based Systems. PhD thesis, Department of Computer Science. Concordia University, Montreal (May 1996)"},{"issue":"3","key":"31_CR11","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0957-4174(90)90003-D","volume":"1","author":"C.L. Chang","year":"1990","unstructured":"Chang, C.L., Combs, J.B., Stachowitz, R.A.: A Report on the Expert Systems Validation Associate (EVA). Expert Systems with Applications\u00a01(3), 217\u2013230 (1990)","journal-title":"Expert Systems with Applications"},{"key":"31_CR12","unstructured":"Ginsberg, A.: Knowledge-Base Reduction: A New Approach to Checking Knowledge Bases for Inconsistency & Redundancy. In: Proceedings of the 7th National Conference on Artificial Intelligence (AAAI 1988), St. Paul, Minnesota, vol.\u00a02, pp. 585\u2013589 (1988)"},{"issue":"3","key":"31_CR13","first-page":"321","volume":"6","author":"A. Ginsberg","year":"1993","unstructured":"Ginsberg, A., Williamson, K.: Checking for Quasi First-Order-Logic Knowledge Bases. Expert Systems with Applications\u00a06(3), 321\u2013340 (1993)","journal-title":"Expert Systems with Applications"},{"issue":"2","key":"31_CR14","first-page":"255","volume":"9","author":"C. Grossner","year":"1996","unstructured":"Grossner, C., Gokulchander, P., Preece, A., Radhakrishnan, T.: Revealing the Structure of Rule-Based Systems. International Journal of Expert Systems: Research and Applications\u00a09(2), 255\u2013278 (1996)","journal-title":"International Journal of Expert Systems: Research and Applications"},{"key":"31_CR15","unstructured":"Grossner, C., Preece, A., Gokulchander, P., Radhakrishnan, T., Suen, C.Y.: Exploring the Structure of Rule Based Systems. In: Proceedings of the 11th National Conference on Artificial Intelligence (AAAI 1993), Washington D.C., pp. 704\u2013709 (1993)"},{"issue":"2","key":"31_CR16","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1109\/69.219731","volume":"5","author":"G. Guida","year":"1993","unstructured":"Guida, G., Mauri, G.: Evaluating Performance and Quality of Knowledge-Based Systems: Foundation and Methodology. IEEE transactions in Knowledge and Data engineering\u00a05(2), 204\u2013224 (1993)","journal-title":"IEEE transactions in Knowledge and Data engineering"},{"issue":"3","key":"31_CR17","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1016\/0957-4174(91)90167-D","volume":"3","author":"D. Hamilton","year":"1991","unstructured":"Hamilton, D., Kelley, K., Culbert, C.: State-of-the-Practice in Knowledge-based System Verification and Validation. Expert Systems with Applications\u00a03(3), 403\u2013410 (1991)","journal-title":"Expert Systems with Applications"},{"issue":"2","key":"31_CR18","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1109\/69.54718","volume":"2","author":"R.J.K. Jacob","year":"1990","unstructured":"Jacob, R.J.K., Froscher, J.N.: A Software Engineering Methodology for Rule-Based Systems. IEEE Transactions on Knowledge and Data Engineering\u00a02(2), 173\u2013189 (1990)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"issue":"2","key":"31_CR19","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1145\/128894.128896","volume":"1","author":"J.D. Kiper","year":"1992","unstructured":"Kiper, J.D.: Structural Testing of Rule-Based Expert Systems. ACM Transactions on Software Engineering and Methodology\u00a01(2), 168\u2013187 (1992)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"4","key":"31_CR20","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1109\/21.286380","volume":"24","author":"S. Lee","year":"1994","unstructured":"Lee, S., O\u2019Keefe, R.M.: Developing a Strategy for Expert System Verification and Validation. IEEE Transactions on Systems, Man, and Cybernetics\u00a024(4), 643\u2013655 (1994)","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics"},{"issue":"3","key":"31_CR21","first-page":"273","volume":"6","author":"S. Loiseau","year":"1993","unstructured":"Loiseau, S., Rousset, M.-C.: Formal Verification of Knowledge Bases Focused on Consistency: Two Experiments Based on ATMS Techniques. International Journal of Expert Systems\u00a06(3), 273\u2013298 (1993)","journal-title":"International Journal of Expert Systems"},{"key":"31_CR22","unstructured":"Meseguer, P.: Incremental Verification of Rule-based Expert Systems. In: Neumann, B. (ed.) 10th European Conference on Artificial Intelligence, Vienna, Austria, pp. 829\u2013834 (1992)"},{"issue":"2","key":"31_CR23","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/0164-1212(92)90065-R","volume":"19","author":"R.T. Plant","year":"1992","unstructured":"Plant, R.T.: Expert System Development and Testing: A Knowledge Engineer\u2019s Perspective. Journal of Systems Software\u00a019(2), 141\u2013146 (1992)","journal-title":"Journal of Systems Software"},{"key":"31_CR24","unstructured":"Preece, A., Gokulchander, P., Grossner, C., Radhakrishnan, T.: Modeling Rule Base Structure for Expert System Quality Assurance. In: Notes of the Workshop on Validation of Knowledge-Based Systems (Thirteenth International Joint Conference on Artificial Intelligence), Savoie, France, pp. 37\u201350 (August 1993)"},{"key":"31_CR25","unstructured":"Preece, A., Grossner, C., Gokulchander, P., Radhakrishnan, T.: Structural Validation of Expert Systems: Experience Using a Formal Model. In: Notes of the Workshop on Validation and Verification of Knowledge-Based Systems (Eleventh National Conference on Artificial Intelligence), Washington D.C., pp. 19\u201326 (July 1993)"},{"key":"#cr-split#-31_CR26.1","doi-asserted-by":"crossref","unstructured":"Rousset, M.-C.: On the Consistency of Knowledge Bases: The COVADIS System. Computational Intelligence\u00a04(2), 166-170 (1988)","DOI":"10.1111\/j.1467-8640.1988.tb00119.x"},{"key":"#cr-split#-31_CR26.2","unstructured":"Also in ECAI 1988, Proc. European Conference on AI, Munich, August 1-5, pp. 79-84 (1988)"},{"key":"31_CR27","unstructured":"Rushby, J., Crow, J.: Evaluation of an Expert System for Fault Detection, Isolation, and Recovery in the Manned Maneuvering Unit. NASA Contractor a Report CR-187466, SRI International, Menlo Park CA (February 1990)"}],"container-title":["Lecture Notes in Computer Science","Multiple Approaches to Intelligent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-48765-4_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T23:03:24Z","timestamp":1558307004000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-48765-4_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540660767","9783540487654"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-48765-4_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}