{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,24]],"date-time":"2025-03-24T06:54:23Z","timestamp":1742799263470},"reference-count":34,"publisher":"Hindawi Limited","issue":"9","license":[{"start":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T00:00:00Z","timestamp":1441065600000},"content-version":"tdm","delay-in-days":7913,"URL":"http:\/\/doi.wiley.com\/10.1002\/tdm_license_1.1"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Intell. Syst."],"published-print":{"date-parts":[[1994]]},"DOI":"10.1002\/int.4550090907","type":"journal-article","created":{"date-parts":[[2007,7,8]],"date-time":"2007-07-08T21:36:08Z","timestamp":1183930568000},"page":"867-892","source":"Crossref","is-referenced-by-count":6,"title":["The VALID project: Goals, development, and results"],"prefix":"10.1155","volume":"9","author":[{"given":"Pedro","family":"Meseguer","sequence":"first","affiliation":[]},{"given":"Enric","family":"Plaza","sequence":"additional","affiliation":[]}],"member":"98","reference":[{"key":"10.1002\/int.4550090907-BIB1","year":"1989","unstructured":"Valid Consortium, Deliverable D4: Veta definition, VALID Project Library, CEAB\/D\/1.1, 1989."},{"key":"10.1002\/int.4550090907-BIB2","year":"1991","unstructured":"Valid Consortium, Deliverable D6: Veta Implementation, VALID Project Library, CEAB\/D\/4, 1991."},{"key":"10.1002\/int.4550090907-BIB3","year":"1989","unstructured":"Valid Consortium, Deliverable D1: Validation Methods and Tools for Knowledge-Based Systems: State-of-the-art, VALID Project Library, COG\/D\/1.1, 1989."},{"key":"10.1002\/int.4550090907-BIB4","doi-asserted-by":"crossref","first-page":"58","DOI":"10.3233\/AIC-1990-3204","volume":"3","author":"Lopez","year":"1990","journal-title":"AI Commun."},{"key":"10.1002\/int.4550090907-BIB5","first-page":"759","volume":"6","author":"Larsen","year":"1991","journal-title":"Modelling in the design of a KBS validation system"},{"key":"10.1002\/int.4550090907-BIB6","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1002\/int.4550070202","volume":"7","author":"Nonfjall","year":"1992","journal-title":"Int. J. Intell. Syst."},{"key":"10.1002\/int.4550090907-BIB7","year":"1989","unstructured":"Valid Consortium, Deliverable D2: General Formal Model, VALID Project Library, CRI\/D\/2.1, 1989."},{"key":"10.1002\/int.4550090907-BIB8","year":"1989","unstructured":"Cognitech Team, KBS Quality Manual Draft, VALID Project Library, COG\/W\/4.3, 1989."},{"key":"10.1002\/int.4550090907-BIB9","year":"1989","unstructured":"Cognitech Team, Deliverable D3: Tools Identification Report, VALID Project Library, COG\/D\/3.2, 1989."},{"key":"10.1002\/int.4550090907-BIB10","year":"1990","unstructured":"Valid Consortium, Deliverable D5\u2014Validation Methods and Tools for Knowledge-Based Systems: Tools Description Report, VALID Project Library, 1990."},{"key":"10.1002\/int.4550090907-BIB11","author":"Nguyen","year":"1985","unstructured":", , and , Checking an expert system knowledge base for consistency and completeness, Proceedings of the 9th International Joint Conference on Artificial Intelligence, 1985, pp. 375\u2013378."},{"key":"10.1002\/int.4550090907-BIB12","year":"1991","unstructured":"Valid Consortium, Deliverable D7: KBS Interfacing, VALID Project Library, CRI\/D\/3.1, 1991."},{"key":"10.1002\/int.4550090907-BIB13","year":"1989","unstructured":"Bull Corporation, Kool V2, Manuel de Reference, 1989."},{"key":"10.1002\/int.4550090907-BIB14","author":"Forgy","year":"1984","unstructured":"The OPS83 User's Manual, Technical Report CMU-CS-84-133, Dept. of Computer Science, Carnegie-Mellon University, 1984."},{"key":"10.1002\/int.4550090907-BIB15","author":"Sierra","year":"1989","unstructured":"\u201cMILORD: Arquitectura multinivell per a sistemes experts en classificacio\u201d Ph.D. Thesis, Universitat Politecnica de Catalunya, 1989."},{"key":"10.1002\/int.4550090907-BIB16","year":"1991","unstructured":"Valid Consortium, Deliverable D9: Report on Validation Tools Evaluation, VALID Project Library, COG\/D\/3.2, 1991."},{"key":"10.1002\/int.4550090907-BIB17","year":"1991","unstructured":"UPM Team, Integration of any KBs shell with Veta (methodology task), VALID Project Library, UPM\/WP\/TASK9\/TM\/1, 1991."},{"key":"10.1002\/int.4550090907-BIB18","year":"1991","unstructured":"Valid Consortium, Deliverable D10: the Valid Environment, VALID Project Library, CRI\/D\/4.1, 1991."},{"key":"10.1002\/int.4550090907-BIB19","author":"Hoppe","year":"1991","unstructured":"and , \u201cOn the terminology of VVT,\u201d European Workshop on the Verification and Validation of Knowledge Based Systems, Cambridge UK, 1991."},{"key":"10.1002\/int.4550090907-BIB20","author":"Maes","year":"1988","unstructured":"\u201cComputational reflection,\u201d Ph.D. Thesis, Vrje Universitet Brussels, 1988."},{"key":"10.1002\/int.4550090907-BIB21","author":"Plaza","year":"1989","unstructured":"KAIROS: a framework for specifying control and metacontrol in indeterministic declarative systems, GRIAL research report, 1989."},{"key":"10.1002\/int.4550090907-BIB22","author":"Meseguer","year":"1990","unstructured":"\u201cA new method to checking rule bases for inconsistency: a Petri net approach,\u201d Proceedings of the 9th European Conference on Artificial Intelligence, 1990, pp. 437\u2013442."},{"key":"10.1002\/int.4550090907-BIB23","author":"Meseguer","year":"1991","unstructured":"\u201cVerification of multi-level rule-based expert systems,\u201d Proceedings of the AAAI91 Conference, 1991, pp. 323\u2013328."},{"key":"10.1002\/int.4550090907-BIB24","author":"Rousset","year":"1988","unstructured":"\u201cOn the consistency of knowledge bases: the Covadis system,\u201d Proceedings of the 8th European Conference on Artificial Intelligence, 1988, pp. 79\u201384."},{"key":"10.1002\/int.4550090907-BIB25","author":"Yager","year":"1991","unstructured":"and , \u201cOn discovering potential inconsistencies in validating uncertain knowledge bases by reflecting on the input,\u201d Proceedings of the VVT Workshop, AAAI91 Conference, 1991."},{"key":"10.1002\/int.4550090907-BIB26","author":"Lopez","year":"1991","unstructured":"\u201cConkret, A tool for refining control knowledge,\u201d In Ayel and Laurent, Eds., Verification and Validation of Knowledge Based Systems, 1991."},{"key":"10.1002\/int.4550090907-BIB27","author":"Brunessaux","year":"1991","unstructured":"\u201cPragmatic approach of the validation: the industrial experience of ALPIN,\u201d European Workshop on the Verification and validation of Knowledge Based Systems, Cambridge, UK, 1991."},{"key":"10.1002\/int.4550090907-BIB28","author":"Guyot","year":"1991","unstructured":"and , \u201cValidating expert systems: Difficulties, solutions and tools,\u201d 11th International Conference on Artificial Intelligence in Avignon, Tutorial 5, 1991."},{"key":"10.1002\/int.4550090907-BIB29","author":"Guyot","unstructured":"and , \u201cVers une caract\u00e9risation des outils de validation des syst\u00e8mes \u00e0 base de connaissances, application \u00e0 deux outils,\u201d 11th International Conference on Artificial Intelligence in Avignon, 1991."},{"key":"10.1002\/int.4550090907-BIB30","first-page":"521","volume-title":"Uncertainty in Knowledge Bases","author":"Agusti-Cullel","year":"1990","unstructured":", , and , \u201cFormalizing multiple-value logics as institutions,\u201d In Uncertainty in Knowledge Bases, and , Eds., Lecture Notes in Computer Science, Springer-Verlag, Berlin, 1990, p. 521."},{"key":"10.1002\/int.4550090907-BIB31","author":"Laita","year":"1991","unstructured":", , and , \u201cA formal model for knowledge based systems verification,\u201d Workshop on VVT of the AAAI91, 1991."},{"key":"10.1002\/int.4550090907-BIB32","first-page":"57","volume":"12","author":"Ginsberg","year":"1991","journal-title":"AI Mag."},{"key":"10.1002\/int.4550090907-BIB33","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0957-4174(90)90003-D","volume":"1","author":"Chang","year":"1990","journal-title":"Expert Syst. Appl."},{"key":"10.1002\/int.4550090907-BIB34","year":"1991","unstructured":"Cognitech Team, Deliverable D8: Quality Manual, VALID Project Library, COG\/D5.1, 1991."}],"container-title":["International Journal of Intelligent Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fint.4550090907","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/full\/10.1002\/int.4550090907","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,9]],"date-time":"2023-02-09T15:34:27Z","timestamp":1675956867000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/int.4550090907"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"references-count":34,"journal-issue":{"issue":"9","published-print":{"date-parts":[[1994]]}},"URL":"https:\/\/doi.org\/10.1002\/int.4550090907","relation":{},"ISSN":["0884-8173","1098-111X"],"issn-type":[{"value":"0884-8173","type":"print"},{"value":"1098-111X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994]]}}}