Skip to main content
SpringerLink
Log in
Book cover

International Conference on Algebraic Methodology and Software Technology

AMAST 1995: Algebraic Methodology and Software Technology pp 127–132Cite as

Knowledge based computation

Extended abstract

  • Invited Lectures
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 936))

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Chandy, M. and Misra, J., “How processes learn”, Distributed Computing 1 (1986) p.40–52.

    Google Scholar 

  2. Dwork, C. and Moses, Y., “Knowledge and common knowledge in a byzantine environment”, Information and Computation 88 (1990) pp.156–196.

    Google Scholar 

  3. Fagin, R., Halpern, J., Moses, Y. and Vardi, M., “Knowledge-based programs”, to appear.

    Google Scholar 

  4. Halpern, J. and Fagin, R., “Modelling knowledge and action in distributed systems”, Distributed Computing 3 (1989) pp. 159–179.

    Google Scholar 

  5. 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. Halpern, J. and Zuck, L., “A little knowledge goes a long way”, Jour. Assoc. Comp. Mach. 39 (1992) pp. 449–478.

    Google Scholar 

  7. 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. Moses, Y. and Kislev, O., “Knowledge-oriented programming”, 12th ACM-PODC Symposium (1993) pp. 261–270.

    Google Scholar 

  9. Moses, Y. and Tuttle, M., “Programming simultaneous actions using common knowledge”, Algorithmica 3 (1988) pp. 121–169.

    Google Scholar 

  10. 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. 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. 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. Parikh, R. and Krasucki, P., “Communication, consensus and knowledge”, J. Economic Theory 52 (1990) pp. 178–189.

    Google Scholar 

  14. Parikh, R. and Krasucki, P., “Levels of knowledge in distributed computing”, Sadhana — Proc. Ind. Acad. Sci. 17 (1992) pp. 167–191.

    Google Scholar 

  15. 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. Sanders, B., “A Predicate transformer approach to knowledge and knowledge-based protocols”, 10th ACM-PODC Symposium (1991) pp. 217–230.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Brooklyn College of CUNY and CUNY Graduate Center, 33 West 42nd St, 10036, New York, NY

    Rohit Parikh

Authors
  1. Rohit Parikh
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

V. S. Alagar Maurice Nivat

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Parikh, R. (1995). Knowledge based computation. In: Alagar, V.S., Nivat, M. (eds) Algebraic Methodology and Software Technology. AMAST 1995. Lecture Notes in Computer Science, vol 936. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60043-4_49

Download citation

  • DOI: https://doi.org/10.1007/3-540-60043-4_49

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60043-5

  • Online ISBN: 978-3-540-49410-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation