Knowledge based computation

Extended abstract
  • Rohit Parikh
Invited Lectures
Part of the Lecture Notes in Computer Science book series (LNCS, volume 936)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [CM]
    Chandy, M. and Misra, J., “How processes learn”, Distributed Computing 1 (1986) p.40–52.Google Scholar
  2. [DM]
    Dwork, C. and Moses, Y., “Knowledge and common knowledge in a byzantine environment”, Information and Computation 88 (1990) pp.156–196.Google Scholar
  3. [FHMV]
    Fagin, R., Halpern, J., Moses, Y. and Vardi, M., “Knowledge-based programs”, to appear.Google Scholar
  4. [HF]
    Halpern, J. and Fagin, R., “Modelling knowledge and action in distributed systems”, Distributed Computing 3 (1989) pp. 159–179.Google Scholar
  5. [HM]
    Halpern, J. and Moses, Y., “Knowledge and common knowledge in a distributed environment”, Jour. Assoc. Comp. Mach. 37 (1990) pp. 549–587.Google Scholar
  6. [HZ]
    Halpern, J. and Zuck, L., “A little knowledge goes a long way”, Jour. Assoc. Comp. Mach. 39 (1992) pp. 449–478.Google Scholar
  7. [KR]
    Krasucki, P. and Ramanujam, R., “Knowledge and the ordering of events in distributed systems”, TARK-5 (Ed. R. Fagin) Morgan Kaufmann (1994) pp. 267–283.Google Scholar
  8. [MK]
    Moses, Y. and Kislev, O., “Knowledge-oriented programming”, 12th ACM-PODC Symposium (1993) pp. 261–270.Google Scholar
  9. [MT]
    Moses, Y. and Tuttle, M., “Programming simultaneous actions using common knowledge”, Algorithmica 3 (1988) pp. 121–169.Google Scholar
  10. [KPN]
    Krasucki, P., Parikh, R. and Ndjatou, G., “Probabilistic knowledge and probabilistic common knowledge”, Int. Symp. Method. Int. Sys., (Ed. Ras, Zemankova and Emrich) North Holland 1990 pp. 1–8.Google Scholar
  11. [Pa]
    Parikh, R., “Monotonic and Non-monotonic Logics of Knowledge”, in Fundamenta Informatica special issue, Logics for Artificial Intelligence vol XV (1991) pp. 255–274.Google Scholar
  12. [Pa2]
    Parikh, R., “Finite and infinite dialogues”, in the Proceedings of a Workshop on Logic from Computer Science, Ed. Moschovakis, MSRI publications, Springer 1991, pp. 481–498.Google Scholar
  13. [PK]
    Parikh, R. and Krasucki, P., “Communication, consensus and knowledge”, J. Economic Theory 52 (1990) pp. 178–189.Google Scholar
  14. [PK2]
    Parikh, R. and Krasucki, P., “Levels of knowledge in distributed computing”, Sadhana — Proc. Ind. Acad. Sci. 17 (1992) pp. 167–191.Google Scholar
  15. [PR]
    Parikh, R. and Ramanujam, R., “Distributed processing and the logic of knowledge”, in Logics of Programs, Springer Lecture Notes in Computer Science #193, (1985) pp. 256–268.Google Scholar
  16. [S]
    Sanders, B., “A Predicate transformer approach to knowledge and knowledge-based protocols”, 10th ACM-PODC Symposium (1991) pp. 217–230.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Rohit Parikh
    • 1
  1. 1.Department of Computer ScienceBrooklyn College of CUNY and CUNY Graduate CenterNew York

Personalised recommendations