Ron van der Meyden

Formerly with:
Information Processing Principles Group,
Information Sciences Laboratory,
NTT Basic Research Laboratories. 

Current Address: 
Dept. Applied Math and Computer Science,
Weizmann Institute of Science,
Rehovot, Israel 76100. 
email: meyden@wisdom.weizmann.ac.il

Recent papers

1. Common Knowledge and Update in Finite Environments I, R. van der Meyden, Proceedings of the Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove CA, March 1994, pp. 225-242. Full version .
2. Axioms for Knowledge and Time in Distributed Systems with Perfect Recall, R. van der Meyden, Proc. IEEE Symposium on Logic in Computer Science, Paris, July 1994, pp. 448-457. Full version.
3. Mutual Belief Revision (Preliminary Report), R. van der Meyden, Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, Bonn, May 1994, pp. 595-606.

Selected other papers

1. Recursively Indefinite Databases, R. van der Meyden, Theoretical Computer Science 116(1) (1993) pp. 151-194.
2. The Complexity of Querying Indefinite Information about Linearly Ordered Domains, R. van der Meyden, Proceedings of the ACM Symposium on Principles of Database Systems, San Diego, June 1992, pp. 331-345. Full version.