{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T15:07:45Z","timestamp":1730214465390,"version":"3.28.0"},"reference-count":31,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/dexa.1998.707374","type":"proceedings-article","created":{"date-parts":[[2002,11,27]],"date-time":"2002-11-27T20:47:00Z","timestamp":1038430020000},"page":"16-21","source":"Crossref","is-referenced-by-count":2,"title":["Verification and validation issues in expert and database systems: the expert systems perspective"],"prefix":"10.1109","author":[{"given":"F.","family":"Coenen","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-3225-7_16"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/1042-8143(92)90013-Q"},{"key":"ref10","first-page":"177","article-title":"Opening the Prolog III Universe: a New Generation of Prolog Promises some Powerful Capabilities","author":"colmerauer","year":"1987","journal-title":"Byte"},{"journal-title":"Proc ECAI-90","article-title":"Automating the Refinement of KBS","year":"1990","author":"craw","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1006\/ijhc.1996.0012"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888900007566"},{"journal-title":"Proc AAAI 88","article-title":"Knowledge Base Reduction: A New Approach to Checking Knowledge Bases for Inconsistency and Redundancy","year":"1988","author":"ginsberg","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1006\/ijhc.1996.0010"},{"journal-title":"Constraint Satisfaction in Logic Programming","year":"1989","author":"van hentenryck","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/41625.41635"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1995.1051"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.1996.492187"},{"key":"ref28","first-page":"77","article-title":"On the decomposition of Tabular Knowledge-Based System","author":"vanthienen","year":"1995","journal-title":"New Rev Appl Expert Syst"},{"journal-title":"Software Engineering Economics","year":"1981","author":"bohem","key":"ref4"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/69.50912"},{"journal-title":"Validation Verification and Test of Knowledge-based Systems","year":"1991","author":"ayel","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/0957-4174(90)90003-D"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.4370050404"},{"journal-title":"Research and Development in Expert Systems XV","first-page":"253","year":"1997","author":"bouali","key":"ref5"},{"journal-title":"Maintenance of Knowledge-Based Systems Theory Techniques and Tools","year":"1993","author":"coenen","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/362384.362685"},{"journal-title":"Foundations of Databases","year":"1995","author":"abiteboul","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/0950-7051(95)96217-F"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/130283.130296"},{"journal-title":"Expert Database Systems Proceedings from the First International Conference","year":"1986","key":"ref20"},{"journal-title":"Proceedings of ???I'96","article-title":"Verification of Knowledge Bases Using Containment Checking","year":"1996","author":"levy","key":"ref22"},{"key":"ref21","first-page":"182","article-title":"Refined Termination Decision in Active Databases","volume":"1308","author":"lee","year":"1997","journal-title":"Database and Expert Systems Applications (Proceedings DEXA'97)"},{"journal-title":"Database Programming Languages","year":"1996","author":"paton","key":"ref24"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1098-111X(199607)11:7<429::AID-INT2>3.0.CO;2-O"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/321250.321253"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1002\/int.4550090804"}],"event":{"name":"Ninth International Workshop on Database and Expert Systems Applications","acronym":"DEXA-98","location":"Vienna, Austria"},"container-title":["Proceedings Ninth International Workshop on Database and Expert Systems Applications (Cat. No.98EX130)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx4\/5718\/15304\/00707374.pdf?arnumber=707374","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,10]],"date-time":"2017-03-10T04:37:32Z","timestamp":1489120652000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/707374\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/dexa.1998.707374","relation":{},"subject":[]}}