{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:42:56Z","timestamp":1725565376490},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540221173"},{"type":"electronic","value":"9783540259299"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-25929-9_91","type":"book-chapter","created":{"date-parts":[[2010,9,10]],"date-time":"2010-09-10T21:25:47Z","timestamp":1284153947000},"page":"721-726","source":"Crossref","is-referenced-by-count":6,"title":["Application of Decision Units in Knowledge Engineering"],"prefix":"10.1007","author":[{"given":"Roman","family":"Siminski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alicja","family":"Wakulicz-Deja","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"91_CR1","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/0950-7051(94)90014-0","volume":"7","author":"G. Antoniou","year":"1994","unstructured":"Antoniou, G., Wachsmuth, I.: Structuring and Modules for Knowledge Bases: Motivation for a New Model. Knowledge-Based Systems\u00a07(1), 49\u201351 (1994)","journal-title":"Knowledge-Based Systems"},{"key":"91_CR2","volume-title":"Maintenance of Knowledge-Based Systems","author":"F. Coenen","year":"1993","unstructured":"Coenen, F., Bench-Capon, T.: Maintenance of Knowledge-Based Systems. Academic Press Inc., San Diego (1993)"},{"key":"91_CR3","unstructured":"IEEE, Standard for Software Reviews and Audits, IEEE Std 1028-1986 (1986)"},{"key":"91_CR4","unstructured":"Michalik, K.: Package Sphinx 2.3 \u2013 user guide, AITECH \u2013 Artificial Intelligence Laboratory, Katowice (1999) (in polish)"},{"key":"91_CR5","unstructured":"Michalik, K., Siminski, R.: The Hybrid Architecture Of The AI Software Package Sphinx. In: Proceedings of CAI 1998 \u2013 Colloquia in Artificial Intelligence, Poland (1998)"},{"key":"91_CR6","unstructured":"Preece, A.D.: Methods for Verifying Expert System Knowledge Base, apreece@csd.abdn.ac.uk (1991)"},{"key":"91_CR7","unstructured":"Preece, A.D.: Verifying expert system knowledge bases: An example, apreece@csd.abdn.ac.uk (1991)"},{"key":"91_CR8","doi-asserted-by":"crossref","unstructured":"Preece, A.D.: Foundation and Application of Knowledge Base Verification. International, Journal of Intelligent Systems\u00a09 (1994)","DOI":"10.1002\/int.4550090804"},{"key":"91_CR9","volume-title":"Knowledge Representation: An AI Perspective","author":"R. Han","year":"1991","unstructured":"Han, R.: Knowledge Representation: An AI Perspective. Ablex Publishing Corporation, Norwood (1991)"},{"key":"91_CR10","unstructured":"Siminski, R.: Methods and Tools for Knowledge Bases Verification and Validation. In: Proceedings of CAI 1998 \u2013 Colloquia in Artificial Intelligence, Poland (1998)"},{"key":"91_CR11","unstructured":"Siminski, R.: O pewnym praktycznym aspekcie weryfikacji regu\u0142owych baz wiedzy. In: Proceedings of V KNIWSE, Poland (2003) (in polish)"},{"key":"91_CR12","unstructured":"Siminski, R., Wakulicz-Deja, A.: Principles and Practice in Knowledge Bases Verification. In: Proceedings of IIS 1998 \u2013 Intelligent Information Systems VII, Poland (1998)"},{"key":"91_CR13","doi-asserted-by":"crossref","unstructured":"Siminski, R., Wakulicz-Deja, A.: Dynamic Verification Of Knowledge Bases. In: Proceedings of IIS 1999, Intelligent Information Systems VIII, Poland (1999)","DOI":"10.1007\/978-3-7908-1846-8_17"},{"key":"91_CR14","doi-asserted-by":"crossref","unstructured":"Siminski, R., Wakulicz-Deja, A.: Verification of Rule Knowledge Bases Using Decision Units, Advances in Soft Computing, Intelligent Information Systems. Physica-Verlag, Springer Verlag Company (2000)","DOI":"10.1007\/978-3-7908-1846-8_17"},{"key":"91_CR15","unstructured":"Siminski, R., Wakulicz-Deja, A.: kbBuilder - system wspomagania tworzenia i weryfikacji regu\u0142owych baz wiedzy. In: Proceedings of V KNIWSE, Poland (2003) (in polish)"},{"key":"91_CR16","doi-asserted-by":"crossref","unstructured":"Vanthienen, J., Moreno Garc\u00eda, A.M.: Illustrating Knowledge Base Restructuring and Verification in a Real World Application (1999), www.econ.kuleuven.ac.be\/tew\/academic\/ infosys\/Members\/vthienen\/PUB\/EUROVAV99\/EUROVAV99.DOC","DOI":"10.1007\/978-1-4757-6916-6_12"},{"key":"91_CR17","doi-asserted-by":"crossref","unstructured":"Vestli, M., Nordbi, I., Silvberg, A.: Modeling Control in Rule-based Systems. IEEE Software\u00a011(3) (1994)","DOI":"10.1109\/52.268961"}],"container-title":["Lecture Notes in Computer Science","Rough Sets and Current Trends in Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-25929-9_91.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T23:58:35Z","timestamp":1605743915000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-25929-9_91"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540221173","9783540259299"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-25929-9_91","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}