Quoc Bao Vo, Abhaya C. Nayak, Norman Y. Foo. A Syntax-Based Approach to Reasoning about Actions and Events. In Moshe Y. Vardi, Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings. Volume 2850 of Lecture Notes in Computer Science, pages 274-288, Springer, 2003. [doi]
@inproceedings{VoNF03,
title = {A Syntax-Based Approach to Reasoning about Actions and Events},
author = {Quoc Bao Vo and Abhaya C. Nayak and Norman Y. Foo},
year = {2003},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2850&spage=274},
tags = {rule-based, C++, systematic-approach},
researchr = {https://researchr.org/publication/VoNF03},
cites = {0},
citedby = {0},
pages = {274-288},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings},
editor = {Moshe Y. Vardi and Andrei Voronkov},
volume = {2850},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-20101-7},
}