Finite state implementations of knowledge-based programs

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

Volumn 1180, Issue , 1996, Pages 262-273

  van der Meyden, Ron ^a  

^a UNIVERSITY OF TECHNOLOGY SYDNEY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

SOFTWARE ENGINEERING;

AUTOMATED SYNTHESIS; DISTRIBUTED SYSTEMS; FINITE STATE; KNOWLEDGE BASED PROGRAMS; KNOWLEDGE-BASED SPECIFICATIONS; PERFECT RECALLS;

KNOWLEDGE BASED SYSTEMS;

EID: 84947923921     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-62034-6_55     Document Type: Conference Paper

References (9)

1. 20 states and beyond. In Proc. Symposium on Logic in Computer Science, pages 428-439. IEEE, 1990.
2. [DM90] C. Dwork and Y. Moses. Knowledge and common knowledge in a byzantine environment. Information and Computation, 88:156-186, 1990.
3. [FHMV95a] R. Fagin, J. Halpem, Y. Moses, and M. Vardi. Knowledge-based programs. In Proc. ACM Symposium on Principles of Distributed Computing, 1995.
4. [FHMV95b] R. Fagin, J. Halpem, Y. Moses, and M. Y. Vardi. Reasoning about Knowledge. MIT Press, Cambridge, MA, 1995.
5. [Had87] V. Hadzilacos. A knowledge theoretic analysis of atomic commitment protocols. In Proc. 6th ACM SIGACT-SIGMOD-SIGART Conf. on Principles of Database Systems, pages 129-134, 1987.
6. [HM90] J. Halpem and Y. Moses. Knowledge and common knowledge in a distributed environment. Journal of the ACM, 37(3):549-587, 1990.
7. [HZ92] J. Halpem and L. Zuck. A little knowledge goes a long way: Simple knowledge based derivations and correctness proofs for a family of protocols. Journal of the ACM, 39(3):449-478, 1992.
8. [Mey96] R. van der Meyden. Knowledge-based programs: on the complexity of perfect recall in finite environments. In Proc. of the Conf. on Theoretical Aspects of Rationality and Knowledge, pages 31-50. Morgan Kaufmann, 1996.
9. [Var96] M. Vardi. Implementing knowledge-based programs. In Proc. of the Conf. on Theoretical Aspects of Rationality and Knowledge, pages 15-30. Morgan Kaufmann, 1996.