MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Ron van der Meyden" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

38 documents found, showing 1 through 10. Next 10 →

ATOM

Constructing finite state implementations of knowledge based programs with perfect recall
by Ron Van Der Meyden — 1996 — In Intelligent Agent Systems: Theoretical and Practical Issues
… foundations of intelligent agents, 1996 Ron van der Meyden programs with perfect recall, R.van der Meyden…
Cited by 3 (1 self) – Add To MetaCart

The Dynamic Logic of Permission
by Ron Van Der Meyden — 1996 — Journal of Logic and Computation
… The Dynamic Logic of Permission Ron van der Meyden Computing Science, University of Technology…
Cited by 8 (0 self) – Add To MetaCart

Axioms for Knowledge and Time in Distributed Systems with Perfect Recall
by Ron Van Der Meyden — 1993 — in: Proceedings of the Ninth IEEE Symposium on Logic in Computer Science
…Axioms for Knowledge and Time in Distributed Systems with Perfect Recall Ron van der Meyden…
Cited by 3 (1 self) – Add To MetaCart

Finite State Implementations of Knowledge-Based Programs (Extended Abstract)
by Ron Van Der Meyden — 1996 — In Proceedings of the Conference on Foundations of Software Technology and Theoretical Computer Science, Springer LNCS No. 1180
…Finite State Implementations of Knowledge-Based Programs (Extended Abstract) Ron van der Meyden…
Cited by 7 (4 self) – Add To MetaCart

On Notions of Causality and Distributed Knowledge ∗
by Ron Van Der Meyden — 2008
…On Notions of Causality and Distributed Knowledge ∗ Ron van der Meyden University of New South…
Add To MetaCart

The Complexity of Querying Indefinite Data about Linearly Ordered Domains
by Ron Van Der Meyden — 1992 — In The Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems
…The Complexity of Querying Indefinite Data about Linearly Ordered Domains Ron van der Meyden…
Cited by 38 (1 self) – Add To MetaCart

Knowledge Based Programs: On the Complexity of Perfect Recall in Finite Environments (Extended Abstract)
by Ron Van Der Meyden — 1996 — Proceedings of the Sixth Conference on Theoretical Aspects of Rationality and Knowledge
… Abstract Ron van der Meyden Computing Science University of Technology, Sydney PO Box 123, Broadway NSW…
Cited by 7 (2 self) – Add To MetaCart

Common Knowledge and Update in Finite Environments
by Ron Van Der Meyden — 1997 — Information and Computation
…Common Knowledge and Update in Finite Environments Ron van der Meyden Computing Science University…
Cited by 19 (5 self) – Add To MetaCart

Issues for a Temporal Refinement Calculus
by Ron van der Meyden, Yoram Moses
…Issues for a Temporal Refinement Calculus Ron van der Meyden 1 and Yoram Moses 2 1 Computing…
Add To MetaCart

A Logic for Probability in Quantum Systems
by Ron Van Der Meyden, Manas Patra — 2003 — Computer Science Logic, volume 2803 of Lecture Notes in Computer Science
…A logic for probability in quantum systems Ron van der Meyden and Manas Patra School of Computer…
Cited by 9 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB