{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:13:10Z","timestamp":1750306390284,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,9,2]],"date-time":"2015-09-02T00:00:00Z","timestamp":1441152000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,9,2]]},"DOI":"10.1145\/2801081.2801101","type":"proceedings-article","created":{"date-parts":[[2015,8,24]],"date-time":"2015-08-24T14:09:20Z","timestamp":1440425360000},"page":"1-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Event-B Modeling of a Rule Base for an Expert System Using Forward Chaining"],"prefix":"10.1145","author":[{"given":"Marius","family":"Brezovan","sequence":"first","affiliation":[{"name":"University of Craiova, Decebal 105, Craiova, Romania"}]},{"given":"Costin","family":"Badica","sequence":"additional","affiliation":[{"name":"University of Craiova, Decebal 105, Craiova, Romania"}]}],"member":"320","published-online":{"date-parts":[[2015,9,2]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/236705"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/1855020"},{"key":"e_1_3_2_1_3_1","unstructured":"Advance. http:\/\/www.advance-ict.eu\/.  Advance. http:\/\/www.advance-ict.eu\/."},{"key":"e_1_3_2_1_4_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/3-540-52559-9_61","volume-title":"J. deBakker, W.-P","author":"Back R.-J.","year":"1990"},{"key":"e_1_3_2_1_5_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1007\/3-540-52559-9_60","volume-title":"J. deBakker, W.-P","author":"Back R.-J.","year":"1990"},{"key":"e_1_3_2_1_6_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/978-3-642-39698-4_5","volume-title":"Theories of Programming and Formal Methods","author":"Butler M.","year":"2013"},{"key":"e_1_3_2_1_7_1","unstructured":"CLIPS. http:\/\/clipsrules.sourceforge.net\/.  CLIPS. http:\/\/clipsrules.sourceforge.net\/."},{"key":"e_1_3_2_1_8_1","unstructured":"Deploy. http:\/\/www.deploy-project.eu\/.  Deploy. http:\/\/www.deploy-project.eu\/."},{"key":"e_1_3_2_1_9_1","unstructured":"Event-B and the Rodin Platform. http:\/\/www.event-b.org\/.  Event-B and the Rodin Platform. http:\/\/www.event-b.org\/."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0954-1810(99)00013-8"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87603-8_11"},{"key":"e_1_3_2_1_12_1","first-page":"462","volume-title":"Proc. 23th Annual International Computer Software and Applications Conference","author":"He X.","year":"1999"},{"issue":"1","key":"e_1_3_2_1_13_1","first-page":"7","article-title":"A Computer Algebra Approach to Verification and Deduction","volume":"3","author":"Laita L.","year":"1999","journal-title":"Many Valued Knowledge Systems. Soft Computing"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-007-0063-9"},{"issue":"2","key":"e_1_3_2_1_15_1","first-page":"58","volume":"3","author":"Lopez B.","year":"1990","journal-title":"Artificial Intelligence Communications"},{"key":"e_1_3_2_1_16_1","first-page":"437","volume-title":"Proceedings ECAI 90","author":"Meseguer P.","year":"1990"},{"key":"e_1_3_2_1_17_1","unstructured":"NASA-CLIPS. http:\/\/www.siliconvalleyone.com\/founder\/clips\/index.htm.  NASA-CLIPS. http:\/\/www.siliconvalleyone.com\/founder\/clips\/index.htm."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/25030.25034"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00849196"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888900007918"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.1468-0394.1990.tb00234.x"},{"key":"e_1_3_2_1_22_1","unstructured":"ProB. http:\/\/www.stups.uni-duesseldorf.de\/ProB\/index.php5\/ProB_for_Rodin.  ProB. http:\/\/www.stups.uni-duesseldorf.de\/ProB\/index.php5\/ProB_for_Rodin."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/69.591448"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1006\/knac.1994.1018"},{"key":"e_1_3_2_1_25_1","first-page":"686","volume-title":"Proc. of 20th Hawaii Int. Conf. on System Sciences","author":"Stachowtiz R.","year":"1987"},{"key":"e_1_3_2_1_26_1","first-page":"35","volume-title":"Proc. 6th. Workshop on Petri Nets","author":"Steinmetz R.","year":"1985"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/0957-4174(90)90019-Q"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/3477.623230"}],"event":{"name":"BCI '15: 7th Balkan Conference in Informatics","sponsor":["UCV University of Craiova"],"location":"Craiova Romania","acronym":"BCI '15"},"container-title":["Proceedings of the 7th Balkan Conference on Informatics Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2801081.2801101","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2801081.2801101","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:07:13Z","timestamp":1750223233000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2801081.2801101"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9,2]]},"references-count":28,"alternative-id":["10.1145\/2801081.2801101","10.1145\/2801081"],"URL":"https:\/\/doi.org\/10.1145\/2801081.2801101","relation":{},"subject":[],"published":{"date-parts":[[2015,9,2]]},"assertion":[{"value":"2015-09-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}