Verifying Context-Dependent Reduction Relations for Knowledge Specifications

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]

Authors

Alexei Sharpanskykh

This author has not been identified. Look up 'Alexei Sharpanskykh' in Google

Jan Treur

This author has not been identified. It may be one of the following persons: Look up 'Jan Treur' in Google