{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T03:50:51Z","timestamp":1648871451622},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2006,6,1]],"date-time":"2006-06-01T00:00:00Z","timestamp":1149120000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Appl Intell"],"published-print":{"date-parts":[[2006,6]]},"DOI":"10.1007\/s10489-006-8512-9","type":"journal-article","created":{"date-parts":[[2006,4,18]],"date-time":"2006-04-18T20:46:36Z","timestamp":1145393196000},"page":"205-218","source":"Crossref","is-referenced-by-count":1,"title":["Maintaining knowledge with a formal model"],"prefix":"10.1007","volume":"24","author":[{"given":"John","family":"Debenham","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8512_CR1","unstructured":"Kern-Isberner G (1999) Postulates for conditional beief revision. In: Proceedings international joint conference on artificial intelligence IJCAI\u201999, Stockholm, Sweden, pp. 186\u2013191"},{"key":"8512_CR2","unstructured":"Debenham J (2001) Why use a unified knowledge representation? In: Proceedings fourteenth international conference on industrial and engineering applications of artificial intelligence and expert systems IEA\/AIE-2001, Budapest, Hungary"},{"key":"8512_CR3","doi-asserted-by":"crossref","unstructured":"Iglezakis I, Reinartz T, Roth-Berghofer T (2004) Maintenance memories: Beyond concepts and techniques for case base maintenance. In advances in case-based reasoning. Springer-Verlag, pp. 227\u2013241","DOI":"10.1007\/978-3-540-28631-8_18"},{"key":"8512_CR4","doi-asserted-by":"crossref","unstructured":"Debenham J (1998) Knowledge engineering\u2014Unifying knowledge base and database design. Springer-Verlag","DOI":"10.1007\/978-3-642-72034-5"},{"key":"8512_CR5","unstructured":"Mayol E, Teniente E (1999) Addressing the process of integrity maintenance. In: Proceedings Tenth Intenational Conference on Database and Expert Systems DEXA\u201999, Florence, Italy, pp. 270\u2013281"},{"key":"8512_CR6","doi-asserted-by":"crossref","unstructured":"Katsuno K, Mendelzon A (1991) On the difference between updating a knowledge base and revising it. In: Proceedings Second International Conference on Principles of Knowledge Representation and Reasoning KR\u201991, Morgan-Kaufmann","DOI":"10.1017\/CBO9780511526664.007"},{"key":"8512_CR7","unstructured":"Barr V (1999) Applying reliability engineering to expert systems. In: proceedings 12\/th International FLAIRS conference, pp. 494\u2013498"},{"key":"8512_CR8","unstructured":"Jantke K, Herrmann J (1999) Lattices of knowledge in intelligent systems validation. In: Proceedings 12\/th International FLAIRS conference, Florida, US, pp. 499\u2013505"},{"key":"8512_CR9","unstructured":"Darwiche A (1999) Compiling knowledge into decomposable negation normal form. In: Proceedings International Joint Conference on Artificial Intelligence IJCAI\u201999, Stockholm, Sweden, pp. 284\u2013289"},{"key":"8512_CR10","doi-asserted-by":"crossref","unstructured":"Debenham J (2003) A rigorous approach to knowledge base maintenance. In: Proceedings Sixteenth International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems IEA\/AIE-2003, Loughborough, UK,pp. 219\u2013228","DOI":"10.1007\/3-540-45034-3_22"},{"key":"8512_CR11","first-page":"55","volume":"17","author":"T Roth-Berghofer","year":"2003","unstructured":"Roth-Berghofer T (2003) Knowledge maintenace of case-based reasoning systems\u2013the SIAM methodology. Zeitschrift KI\u2014Kunstliche Intelligenz 17:55\u201357","journal-title":"Zeitschrift KI\u2014Kunstliche Intelligenz"},{"key":"8512_CR12","unstructured":"Debenham J (2002) Fuzzy degrees of knowledge integrity. In: Proceedings 9\u2019th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems IPMU-2002. pp. 1391\u20131398"},{"key":"8512_CR13","unstructured":"Johnson G, Santos E (2000) Generalizing knowledge representation rules for acquiring and validating uncertain knowledge. In: Proceedings 13\u2019th International FLAIRS conference, Florida, US, pp. 186\u2013191"},{"key":"8512_CR14","doi-asserted-by":"crossref","unstructured":"Ramirez J, de Antonio A (2000) Semantic verification of rule-based systems with arithmetic constraints. In: Proceedings 11\u2019th International Conference on Database and Expert Systems DEXA\/2000, London, UK, pp. 437\u2013446","DOI":"10.1007\/3-540-44469-6_41"}],"container-title":["Applied Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10489-006-8512-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10489-006-8512-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10489-006-8512-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,13]],"date-time":"2020-04-13T22:14:38Z","timestamp":1586816078000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10489-006-8512-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,6]]},"references-count":14,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2006,6]]}},"alternative-id":["8512"],"URL":"https:\/\/doi.org\/10.1007\/s10489-006-8512-9","relation":{},"ISSN":["0924-669X","1573-7497"],"issn-type":[{"value":"0924-669X","type":"print"},{"value":"1573-7497","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,6]]}}}