[Back to Index| UCI Department of Philosophy| UCI Department of Logic and Philosophy of Science| UCI Special Collections | UCI Libraries]

UNIVERSITY OF CALIFORNIA IRVINE

DEPARTMENT OF LOGIC AND PHILOSOPHY OF SCIENCE

COLLOQUIUM

"Finite Information Logic"


Rohit Parikh

City University of New York

Friday, May 10, 2002

3 pm

SST 777


Rohit Parikh

A Bibliography
Compiled by
Eddie Yeghiayan


1967

1969

1971

1972

1973

1974

1975

1977

1978

1980

1981

1982

1983

1984

1985

1986

  • "Levels of Knowledge in Distributed Computing." Proceedings of the Symposium on Logic in Computer Cambridge, MA, June 16-18, 1986, pp. 314-321. Washington, DC: IEEE Comput. Soc. Press, 1986.

1987

  • "Knowledge and the Problem of Logical Omniscience." In Zbigniew W. Ras and Maria Zemankova, eds., Methodologies for Intelligent Systems, pp. 432-439. Proceedings of the Second International Symposium, Charlotte, NC, October 14-17, 1987, Methodologies for Intelligent Systems. New York: North-Holland, 1987.

  • "Some Recent Applications of Knowledge." In K.V. Nori, ed.,FST&TCS 7: Foundations of Software Technology and Theoretical Computer Science. Seventh Conference Proceedings, Pune, India, 17-19 Dec. 1987, pp. 528-539. Berlin: Springer, 1987.

1990

  • (with Paul Krasucki.) "Communication, Consensus, and Knowledge." Journal of Economic Theory (October 1990), 52(1):178-189.

  • "Recent Issues in Reasoning about Knowledge." In Rohit Parikh, ed., Theoretical Aspects of Reasoning About Knowledge: Proceedings of the Third Conference (TARK 1990), March 4-7, 1990, Pacific Grove, California, pp. 3-10. The Morgan Kaufmann Series in Representation and Reasoning. San Mateo, Calif.: Morgan Kaufmann, 1990.

  • Edited. Theoretical Aspects of Reasoning About Knowledge: Proceedings of the Third Conference (TARK 1990), March 4-7, 1990, Pacific Grove, California. The Morgan Kaufmann Series in Representation and Reasoning. San Mateo, Calif.: Morgan Kaufmann, 1990.

1991

  • "The Effect of AI on Other Fields of Research." Conference Proceedings - Annual Phoenix Conference, pp. 848-849. Piscataway, NJ: IEEE Service Center, 1991.
         Proceedings of the 10th Annual International Phoenix Conference on Computers and Communications. Scottsdale, AZ, March 27-30, 1991.

  • "Monotonic and Non-Monotonic Logics of Knowledge." Fundamenta Informaticae (November-December 1991), 15(3-4):255-274.

  • Special Issue - Selections from 1989 IEEE Symposium on Logic in Computer Science - Preface. Information and Computation (July 1991), 93(1):R3.

1992

  • "Finite and Infinite Dialogues." In Y.N. Moschovakis, ed., Logic from Computer Science: Proceedings of a Workshop held November 13-17, 1989, pp. 481-497. Mathematical Sciences Research Institute Publications, 21. New York: Springer, 1992.

  • (with Paul Krasucki.) "Levels of Knowledge in Distributed Systems." Sadhana-Academy Proceedings in Engineering Sciences (March 1992), 17:167-191.

1994

  • "Vagueness and Utility, the Semantics of Common Nouns." Linguistics and Philosophy (December 1994), 17 (6):521-535.

1995

  • "How Far Can We Formalize Language Games?" Vienna Circle Institute Yearbook (1995), 3:89-100.

  • "Logical Omniscience." In Daniel Maurice Raphaël Leivant, ed., Logic and Computational Complexity : International Workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994: Selected Papers, pp. 22-29. Lecture Notes in Computing Science, 960. Berlin & New York: Springer, 1995.

  • (with Kamal Lodaya, R. Ramanujam, and P.S. Thiagarajan.) "A Logical Study of Distributed Transition Systems." Iinformation and Computation (May 15, 1995), 119(1):91-118.

1996

  • "Computation." In Encyclopedia of Philosophy, Supplement, pp. 86-87. New York: Macmillan, 1996.

  • "Some Reminiscences of Kreisel." In Piergiorgio Odifreddi, ed., Kreiseliana: About and Around Georg Kreisel, pp. 89-96. Wesllesley, Mass.: A. K. Peters, 1996.

  • (with Andrew Dabrowski and Lawrence S. Moss.) "Topological Reasoning and the Logic of Knowledge." Annals of Pure and Applied Logic (April 4, 1996), 78 (1-3):73-110.

  • "Vague Predicates and Language Games." Theoria [Spain] (1996), 11(27):97-107.

1998

  • "Church's Theorem and the Decision Problem." In Routledge Encyclopedia of Philosophy, Vol. 2, pp. 349-351. London &New York: Routledge, 1998.

  • "Length and Structure of Proofs." Synthese (January 1998), 114(1):41-48.
         This issue is entitled "Godel 1," and edited by Jaakko Hintikka.

  • "Propositions, Propositional Attitudes and Belief Revision." In Marcus Kracht, ed., Advances in Modal Logic, Vol. 2, pp. . CSLI Lecture Notes, #87, 119. Stanford, Calif: CSLI Publications, 1998.

1999

  • "Beliefs, belief Revision, and Splitting Languages." In Lawrence S. Moss, Jonathan Ginzburg, Maarten de Rijke, eds., Logic, Language and Computation, Vol. 2, pp. 266-278. CSLI Lecture Notes, 58, 96. Stanford, CA: CSLI, 1999.

  • (with Samir Chopra.) "An Inconsistency Tolerant Model for Belief Representation and Belief Revision." International Joint Conference on Artificial Intelligence (1999), 16(1):192-199,

2000

  • (with Samir Chopra.) "Relevance Sensitive Belief Structures." Annals of Mathematics and Artificial Intelligence (2000), 28 (1-4):259-285.

  • Review of Uwe Schöning and Randall J. Pruim's Gems of Theoretical Computer Science. Journal of Logic Language and Information (2000), 9(1):131-132.

2001

  • (with Samir Chopra and Renata Wassermann.) "Approximate Belief Revision." Logic Journal IGPL (2001), 9(6):755-768.

  • "Language as Social Software." In Juliet Floyd and Sanford Shieh, eds.,Future Pasts: The Analytic Tradition in Twentieth-Century Philosophy, pp. 339-350. Oxford & New York: Oxford University Press, 2001.

  • "Propositions, Propositional Attitudes and Belief Revision." In Marcus Kracht, ed., Advances in Modal Logic, Vol. 2, pp. 381-400. CSLI Lecture Notes, 119. Stanford, CA: CSLI Publications, 2001.

  • (with Samir Chopra and K. Georgatos.) "Relevance Sensitive Non-Monotonic Inference on Belief Sequences." Journal of Applied Nonclassical Logics (2001), 11(1/2):131-150.

  • (with Laxmi Parida and Vaughan Pratt.) "Sock Sorting: An Example of a Vaue Algorithm." Logic Journal IGPL (2001), 9(5):687-692.


[Back to Index| UCI Department of Philosophy| UCI Department of Logic and Philosophy of Science| UCI Special Collections | UCI Libraries]


Copyright © All rights reserved. Regents of the University of California.