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]
Abstract is missing.