Ron van der Meyden Papers on DiSC'04 Modal Logics of Knowledge and Time Publications Note: Links lead to the DBLP on the Web. Ron van der Meyden Jan Chomicki , Ron van der Meyden, Gunter Saake : Logics for Emerging Applications of Databases [outcome of a Dagstuhl seminar] Springer 2003 Ron van der Meyden, Manas Patra : A Logic for Probability in Quantum Systems. CSL 2003 : 427-440 Ron van der Meyden, Manas Patra : Knowledge in quantum systems. TARK 2003 : 104-117 Ron van der Meyden: Modal Logics of Knowledge and Tim. TIME 2003 : 5 Joseph Y. Halpern , Ron van der Meyden: A Logical Reconstruction of SPKI. Journal of Computer Security 11 (4): 581-614 (2003) Ron van der Meyden, Ka-shu Wong : Complete Axiomatizations for Reasoning about Knowledge and Branching Time. Studia Logica 75 (1): 93-123 (2003) Joseph Y. Halpern , Ron van der Meyden: A Logical Reconstruction of SPKI. CSFW 2001 : 59- Kai Engelhardt , Ron van der Meyden, Yoram Moses : A Refinement Theory that Supports Reasoning About Knowledge and Time. LPAR 2001 : 125-141 Joseph Y. Halpern , Ron van der Meyden: A Logic for SDSI's Linked Local Name Spaces. Journal of Computer Security 9 (1/2): 105-142 (2001) Ron van der Meyden, Yoram Moses : On Refinement and Temporal Annotations. FTRTFT 2000 : 185-201 Kai Engelhardt , Ron van der Meyden, Yoram Moses : A Program Refinement Framework Supporting Reasoning about Knowledge and Time. FoSSaCS 2000 : 114-129 Alessio Lomuscio , Ron van der Meyden, Mark Ryan : Knowledge in multiagent systems: initial configurations and broadcast. ACM Trans. Comput. Log. 1 (2): 247-284 (2000) Ron van der Meyden: Predicate Boundedness of Linear Monadic Datalog is in PSPACE. Int. J. Found. Comput. Sci. 11 (4): 591-612 (2000) Edward P. F. Chan , Ron van der Meyden: Containment and Optimization of Object-Preserving Conjunctive Queries. SIAM J. Comput. 29 (4): 1371-1400 (2000) Joseph Y. Halpern , Ron van der Meyden: A Logic for SDSI's Linked Local Name Spaces. CSFW 1999 : 111-122 Ron van der Meyden, Nikolay V. Shilov : Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract). FSTTCS 1999 : 432-445 Ron van der Meyden, Moshe Y. Vardi : Synthesis from Knowledge-Based Specifications (Extended Abstract). CONCUR 1998 : 34-49 Ron van der Meyden, Yoram Moses : Top-Down Considerations on Distributed Computing. DISC 1998 : 16-19 Ron van der Meyden: Logical Approaches to Incomplete Information: A Survey. Logics for Databases and Information Systems 1998 : 307-356 Kai Engelhardt , Ron van der Meyden, Yoram Moses : Knowledge and the Logic of Local Propositions. TARK 1998 : 29-41 Ron van der Meyden: Common Knowledge and Update in Finite Environments. Inf. Comput. 140 (2): 115-157 (1998) Ron van der Meyden: The Complexity of Querying Indefinite Data about Linearly Ordered Domains. J. Comput. Syst. Sci. 54 (1): 113-135 (1997) Ron van der Meyden: Finite State Implementations of Knowledge-Based Programs. FSTTCS 1996 : 262-273 Ron van der Meyden: Constructing Finite State Implementations of Knowledge-Based Programs with Perfect Recall. PRICAI Workshop on Intelligent Agent Systems 1996 : 135-151 Ron van der Meyden: Knowledge Based Programs: On the Complexity of Perfect Recall in Finite Environments. TARK 1996 : 31-49 Ron van der Meyden: The Dynamic Logic of Permission. J. Log. Comput. 6 (3): 465-479 (1996) Edward P. F. Chan , Ron van der Meyden: Testing Containment of Object-Oriented Conjunctive Queries is Pi_2^p-hard. COCOON 1995 : 81-90 Tomasz Imielinski , Ron van der Meyden, Kumar V. Vadaparty : Complexity Tailored Design: A New Design Methodology for Databases With Incomplete Information. J. Comput. Syst. Sci. 51 (3): 405-432 (1995) Ron van der Meyden: Mutual Belief Revision (Preliminary Report). KR 1994 : 595-606 Ron van der Meyden: Axioms for Knowledge and Time in Distributed Systems with Perfect Recall LICS 1994 : 448-457 Ron van der Meyden: Common Knowledge and Update in Finite Enviromnents I. TARK 1994 : 225-242 L. Thorne McCarty , Ron van der Meyden: An Intuitionistic Interpretation of Finite and Infinite Failure (Preliminary Version). LPNMR 1993 : 417-436 Ron van der Meyden: Recursively Indefinite Databases. Theor. Comput. Sci. 116 (1&2): 151-194 (1993) L. Thorne McCarty , Ron van der Meyden: Reasoning About Indefinite Actions. KR 1992 : 59-70 Ron van der Meyden: The Complexity of Querying Indefinite Data about Linearly Ordered Domains. PODS 1992 : 331-345 L. Thorne McCarty , Ron van der Meyden: Indefinite Reasoning with Definite Rules. IJCAI 1991 : 890-896 Ron van der Meyden: A Clausal Logic for Deontic Action Specification. ISLP 1991 : 221-238 Ron van der Meyden: Recursively Indefinite Databases. ICDT 1990 : 364-378 Ron van der Meyden: The Dynamic Logic of Permission LICS 1990 : 72-78 1 [ 13 ] [ 26 ] 2 [ 39 ] 3 [ 20 ] [ 29 ] [ 32 ] 4 [ 25 ] [ 31 ] [ 33 ] [ 35 ] 5 [ 12 ] 6 [ 28 ] 7 [ 4 ] [ 6 ] [ 8 ] 8 [ 20 ] [ 22 ] [ 29 ] [ 30 ] [ 32 ] 9 [ 37 ] [ 38 ] 10 [ 28 ] 11 [ 39 ] 12 [ 24 ] 13 [ 12 ] 14 [ 23 ] 15 [ 34 ] ©2004 Association for Computing Machinery