Marius Brezovan, Costin Badica. Event-B Modeling of a Rule Base for an Expert System Using Forward Chaining. In Costin Badica, Yannis Manolopoulos, Mirel Cosulschi, George Eleftherakis, Florin Leon, editors, Proceedings of the 7th Balkan Conference on Informatics Conference, BCI '15, Craiova, Romania, September 2-4, 2015. pages 7, ACM, 2015. [doi]
@inproceedings{BrezovanB15,
title = {Event-B Modeling of a Rule Base for an Expert System Using Forward Chaining},
author = {Marius Brezovan and Costin Badica},
year = {2015},
doi = {10.1145/2801081.2801101},
url = {http://doi.acm.org/10.1145/2801081.2801101},
researchr = {https://researchr.org/publication/BrezovanB15},
cites = {0},
citedby = {0},
pages = {7},
booktitle = {Proceedings of the 7th Balkan Conference on Informatics Conference, BCI '15, Craiova, Romania, September 2-4, 2015},
editor = {Costin Badica and Yannis Manolopoulos and Mirel Cosulschi and George Eleftherakis and Florin Leon},
publisher = {ACM},
isbn = {978-1-4503-3335-1},
}