A program refinement framework supporting reasoning about knowledge and time

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1784 LNCS, Issue , 2000, Pages 114-129

  Engelhardt, Kai ^a   Van Der Meyden, Ron ^a   Moses, Yoram ^b  

^a UNIVERSITY OF NEW SOUTH WALES   (Australia)

^b TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS;

COMPOSITIONALITY; EXPRESSIVE SEMANTICS; FORMAL SETTING; KNOWLEDGE BASED PROGRAMS; POSITION SENSORS; REASONING ABOUT KNOWLEDGE; SINGLE-AGENT; TEMPORAL REASONING;

KNOWLEDGE BASED SYSTEMS;

EID: 35048887581     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46432-8_8     Document Type: Conference Paper

References (18)

1. R.-J. Back and J. von Wright. Refinement Calculus: A Systematic Introduction. Graduate Texts in Computer Science. Springer-Verlag, 1998.
2. R. I. Brafman, J.-C. Latombe, Y. Moses, and Y. Shoham. Applications of a logic of knowledge to motion planning under uncertainty. Journal of the ACM, 44(5): 633-668, Sept. 1997. (Pubitemid 127614255)
3. K. Engelhardt, R. van der Meyden, and Y. Moses. Knowledge and the logic of local propositions. In I. Gilboa, editor, Theoretical Aspects of Rationality and Know ledge, P roceedin gs of the Seventh Conference (TARK 1998), pages 29-41. Morgan Kaufmann, July 1998.
4. R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning About Knowledge. MIT-Press, 1995.
5. R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Knowledge-based programs. Distributed Computing, 10(4): 199-225, 1997. (Pubitemid 127534788)
6. J. Y. Halpern and Y. Moses. Knowledge and common knowledge in a distributed environment. Journal of the ACM, 37(3): 549-587, July 1990. (Pubitemid 20723069)
7. I. Hayes. Separating timing and calculation in real-time refinement. In J. Grundy, M. Schwenke, and T. Vickers, editors, International Refinement Workshop and Formal Methods Pacific 1998, Discrete Mathematics and Theoretical Computer Science, pages 1-16. Springer-Verlag, 1998.
8. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, 1992.
9. C. C. Morgan. Programming from Specifications. Prentice Hall, 1990.
10. J. M. Morris. A theoretical basis for stepwise refinement and the programming calculus. Science of Computer Programming, 9(3): 287-306, Dec. 1987.
11. Y. Moses and O. Kislev. Knowledge-oriented programming. In Proceeding of the 12th Annual ACM Symposium on Principles of Distributed Computing (PODC 93), pages 261-270, New York, USA, Aug. 1993. ACM Press.
12. Y. Moses and M. R. Tuttle. Programming simultaneous actions using common knowledge. Algorithmica, 3: 121-169, 1988. (Pubitemid 18550591)
13. B. Sanders. A predicate transformer approach to knowledge and knowledge-based protocols. In Proceeding of the 10th Annual ACM Symposium on Principles of Distributed Computing (PODC 91), pages 217-230, 19-21 Aug. 1991.
14. M. Utting and C. Fidge. A real-time refinement calculus that changes only time. In H. Jifeng, J. Cooke, and P. Wallis, editors, BCS-FACS Seventh Refinement Workshop. Springer-Verlag, 1996.
15. R. van der Meyden. Knowledge based programs: On the complexity of perfect recall in finite environments. In Y. Shoham, editor, Proceedings of the Sixth Conference on Theoretical Aspects of Rationality and Knowledge, pages 31-50. Morgan Kaufmann, Mar. 17-20 1996.
16. R. van der Meyden and Y. Moses. On refinement and temporal annotations. http://www.cse.unsw.edu.au/~{}meyden/research/temprefine.ps.
17. R. van der Meyden and Y. Moses. Top-down considerations on distributed systems. In Proceedings 12th International Symposium on Distributed Computing, DISC'98, volume 1499 of LNCS, pages 16-19, Sept. 1998. Springer-Verlag.
18. M. Y. Vardi. Implementing knowledge-basd programs. In Y. Shoham, editor, Proceedings of the Sixth Conference on Theoretical Aspects of Rationality and Know ledge, pages 15-30. Morgan Kaufmann, Mar. 17-20 1996.