Alexei Sharpanskykh, Jan Treur. Verifying Context-Dependent Reduction Relations for Knowledge Specifications. In Joaquim Filipe, Ana L. N. Fred, Bernadette Sharp, editors, Agents and Artificial Intelligence - International Conference, ICAART 2009, Porto, Portugal, January 19-21, 2009. Revised Selected Papers. Volume 67 of Communications in Computer and Information Science, pages 56-69, Springer, 2009. [doi]
@inproceedings{SharpanskykhT09a,
title = {Verifying Context-Dependent Reduction Relations for Knowledge Specifications},
author = {Alexei Sharpanskykh and Jan Treur},
year = {2009},
doi = {10.1007/978-3-642-11819-7_5},
url = {http://dx.doi.org/10.1007/978-3-642-11819-7_5},
researchr = {https://researchr.org/publication/SharpanskykhT09a},
cites = {0},
citedby = {0},
pages = {56-69},
booktitle = {Agents and Artificial Intelligence - International Conference, ICAART 2009, Porto, Portugal, January 19-21, 2009. Revised Selected Papers},
editor = {Joaquim Filipe and Ana L. N. Fred and Bernadette Sharp},
volume = {67},
series = {Communications in Computer and Information Science},
publisher = {Springer},
isbn = {978-3-642-11818-0},
}