{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T04:40:21Z","timestamp":1737434421375,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540425274"},{"type":"electronic","value":"9783540447597"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44759-8_42","type":"book-chapter","created":{"date-parts":[[2007,9,21]],"date-time":"2007-09-21T19:55:35Z","timestamp":1190404535000},"page":"422-431","source":"Crossref","is-referenced-by-count":7,"title":["Tab-Trees: A CASE Tool for the Design of Extended Tabular Systems\u22c6"],"prefix":"10.1007","author":[{"given":"Antoni","family":"Lig\u0119za","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Igor","family":"Wojnicki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Grzegorz J.","family":"Nalepa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,8,28]]},"reference":[{"key":"42_CR1","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1016\/0020-7373(92)90023-E","volume":"36","author":"E.P. Andert","year":"1992","unstructured":"Andert, E.P.: Integrated knowledge-based system design and validation for solving problems in uncertain environments. Int. J. of Man-Machine Studies, 36, 1992, 357\u2013373.","journal-title":"Int. J. of Man-Machine Studies"},{"key":"42_CR2","doi-asserted-by":"crossref","unstructured":"Coenen, F.: Verification and validation in expert and database systems: The expert systems perspective. A Keynote presentation in [17], 1998, 16\u201321.","DOI":"10.1109\/DEXA.1998.707374"},{"key":"42_CR3","doi-asserted-by":"crossref","unstructured":"Coenen, F.: Rulebase checking using a spatial representation. In [13], 1998, 166\u2013175.","DOI":"10.1007\/BFb0054478"},{"key":"42_CR4","doi-asserted-by":"crossref","unstructured":"Coenen, F., B. Eaglestone and M. Ridley: Validation, verification and integrity in knowledge and data base systems: future directions. In [15], 1999, 297\u2013311.","DOI":"10.1007\/978-1-4757-6916-6_20"},{"key":"42_CR5","unstructured":"Gouyon, Jean-Paul: Kheops Users\u2019s Guide, Report of Laboratoire d\u2019Automatique et d\u2019Analyse des Systemes, No.: 92503, 1994, Toulouse."},{"key":"42_CR6","unstructured":"Lig\u0119za, A.: A note on backward dual resolution and its application to proving completeness of rule-based systems. Proceedings of the 13th Int. Joint Conference on Artificial Intelligence (IJCAI). Chambery, France 1, 1993, 132\u2013137."},{"key":"42_CR7","unstructured":"Lig\u0119za, A.: Towards design of complete rule-based control systems, IFAC\/IMACS International Workshop on Artificial Intelligence in Real-Time Control, IFAC, Bled, Slovenia, 1995, 189\u2013194."},{"key":"42_CR8","unstructured":"Lig\u0119za, A.: Logical support for design of rule-based systems. Reliability and quality issues, ECAI-96_Workshop on Validation, Verification and Refinement of Knowledge-based Systems, ECAI\u201996, Budapest, 1996, 28\u201334."},{"key":"42_CR9","doi-asserted-by":"crossref","unstructured":"Lig\u0119za, A.: Towards logical analysis of tabular rule-based systems. In [17], 1998, 30\u201335.","DOI":"10.1109\/DEXA.1998.707376"},{"key":"42_CR10","doi-asserted-by":"crossref","unstructured":"Lig\u0119za, A.: Intelligent data and knowledge analysis and verification; towards a taxonomy of specific problems. In [15], 1999, 313\u2013325.","DOI":"10.1007\/978-1-4757-6916-6_21"},{"key":"42_CR11","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1002\/1098-111X(200103)16:3<333::AID-INT1011>3.0.CO;2-R","volume":"b16","author":"A. Lig\u0119eza","year":"2001","unstructured":"Lig\u0119eza, A.: Towards logical analysis of tabular rule-based systems. International Journal of Intelligent Systems, b16, 2001, 333\u2013360.","journal-title":"International Journal of Intelligent Systems"},{"key":"42_CR12","unstructured":"Milne, R., C. Nicol, L. Trav\u00e9-Massuy\u00e8z and J. Quevedo, TIGER: Knowledge based gas turbine condition monitoring, Applications and Innovations in Expert Systems III, SGES Publications, 1995, III, Cambridge, Oxford, 23\u201343."},{"key":"42_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0054462","volume-title":"Proceedings of the 9th Int. Conf., DEXA\u201998","author":"G. Quirchmayr","year":"1998","unstructured":"Quirchmayr, G., Schweighofer, E. and T.J.M. Bench-Capon (Eds.): Database and Expert Systems Applications. Proceedings of the 9th Int. Conf., DEXA\u201998, Vienna, Springer-Verlag Lecture Notes in Computer Sciences. Berlin, 1460, 1998."},{"key":"42_CR14","doi-asserted-by":"publisher","first-page":"661","DOI":"10.1006\/imms.1993.1031","volume":"38","author":"A.D. Preece","year":"1993","unstructured":"Preece, A.D.: A new approach to detecting missing knowledge in expert system rule bases. Int. J. Man-Machine Studies. 38, 1993, 661\u2013668.","journal-title":"Int. J. Man-Machine Studies"},{"volume-title":"Validation and Verification of Knowledge Based Systems-Theory, Tools and Practice","year":"1999","key":"42_CR15","unstructured":"Vermesan, A. and F. Coenen (Eds.): Validation and Verification of Knowledge Based Systems-Theory, Tools and Practice. Kluwer Academic Publishers, Boston, 1999."},{"key":"42_CR16","doi-asserted-by":"crossref","unstructured":"Vermesan, A. et al.: Verification and validation in support for software certification methods. In [15], 1999, 277\u2013295.","DOI":"10.1007\/978-1-4757-6916-6_19"},{"key":"42_CR17","unstructured":"Wagner, R.R. (ed.): Database and Expert Systems Applications. Proceedings of the Ninth International Workshop, Vienna; IEEE Computer Society, Los Alamitos, CA., 1998."},{"key":"42_CR18","unstructured":"Attar Software, XpertRule 3.0 http:\/\/www.attar.com\/pages\/info xr.htm ."},{"key":"42_CR19","unstructured":"AITECH Katowice, Sphinx 2.3, http:\/\/www.aitech.gliwice.pl\/ ."}],"container-title":["Lecture Notes in Computer Science","Database and Expert Systems Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44759-8_42","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T04:20:04Z","timestamp":1737433204000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44759-8_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540425274","9783540447597"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-44759-8_42","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}