Sergey Babenyshev, Vladimir V. Rybakov. Reasoning and Inference Rules in Basic Linear Temporal Logic ::::BLTL::::/mathcal{BLTL}. In Rossitza Setchi, Ivan Jordanov, Robert J. Howlett, Lakhmi C. Jain, editors, Knowledge-Based and Intelligent Information and Engineering Systems - 14th International Conference, KES 2010, Cardiff, UK, September 8-10, 2010, Proceedings, Part II. Volume 6277 of Lecture Notes in Computer Science, pages 224-233, Springer, 2010. [doi]
@inproceedings{BabenyshevR10a,
title = {Reasoning and Inference Rules in Basic Linear Temporal Logic ::::BLTL::::/mathcal{BLTL}},
author = {Sergey Babenyshev and Vladimir V. Rybakov},
year = {2010},
doi = {10.1007/978-3-642-15390-7_23},
url = {http://dx.doi.org/10.1007/978-3-642-15390-7_23},
tags = {rule-based, rules, logic},
researchr = {https://researchr.org/publication/BabenyshevR10a},
cites = {0},
citedby = {0},
pages = {224-233},
booktitle = {Knowledge-Based and Intelligent Information and Engineering Systems - 14th International Conference, KES 2010, Cardiff, UK, September 8-10, 2010, Proceedings, Part II},
editor = {Rossitza Setchi and Ivan Jordanov and Robert J. Howlett and Lakhmi C. Jain},
volume = {6277},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-15389-1},
}