Rohit Parikh
According to our database^{1},
Rohit Parikh
authored at least 74 papers
between 1966 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:

at viaf.org

at id.loc.gov

at dnb.info

at andrej.com
On csauthors.net:
Bibliography
2019
Proceedings of the Logic and Its Applications  8th Indian Conference, 2019
2017
Proceedings of the Logic, Language, Information, and Computation, 2017
Proceedings of the 15th Meeting on the Mathematics of Language, 2017
2015
A Pragmatistic Approach to Propositional Knowledge Based on the Successful Behavior of Belief.
Proceedings of the Logic and Its Applications  6th Indian Conference, 2015
Proceedings of the Fields of Logic and Computation II, 2015
2013
IGTR, 2013
Proceedings of the Logic and Its Applications, 5th Indian Conference, 2013
2012
Proceedings of the Games, Actions and Social Software  Multidisciplinary Aspects, 2012
Proceedings of the Logic and Program Semantics, 2012
Proceedings of the Logic and Program Semantics, 2012
2011
Synth., 2011
J. Philos. Log., 2011
Proceedings of the Logic and Its Applications  4th Indian Conference, 2011
Proceedings of the Proof, Computation and Agency  Logic at the Crossroads., 2011
2009
Proceedings of the Logic and Its Applications, Third Indian Conference, 2009
Proceedings of the Relations and Kleene Algebra in Computer Science, 2009
2008
Rev. Symb. Log., 2008
Rev. Symb. Log., 2008
2007
Proceedings of the Handbook of Spatial Logics, 2007
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2007
2006
Synth., 2006
2005
J. Philos. Log., 2005
Ann. Pure Appl. Log., 2005
Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK2005), 2005
2004
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004
Proceedings of the Declarative Agent Languages and Technologies II, 2004
2003
Stud Logica, 2003
Stud Logica, 2003
J. Log. Lang. Inf., 2003
2002
Synth., 2002
Stud Logica, 2002
Electron. Notes Theor. Comput. Sci., 2002
2001
J. Appl. Non Class. Logics, 2001
Log. J. IGPL, 2001
Log. J. IGPL, 2001
2000
J. Log. Lang. Inf., 2000
Ann. Math. Artif. Intell., 2000
1999
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999
1998
Synth., 1998
Propositions, Propositional Attitudes and Belief Revision.
Proceedings of the Advances in Modal Logic 2, 1998
1996
Ann. Pure Appl. Log., 1996
1995
Inf. Comput., May, 1995
Proceedings of the Algebraic Methodology and Software Technology, 1995
1994
Proceedings of the Logical and Computational Complexity. Selected Papers. Logic and Computational Complexity, 1994
1992
Topological Reasoning and The Logic of Knowledge.
Proceedings of the 4th Conference on Theoretical Aspects of Reasoning about Knowledge, 1992
1991
Preface
Inf. Comput., July, 1991
SIGACT News, 1991
Monotonic and nonmonotonic logics of knowledge.
Fundam. Informaticae, 1991
DumbFounded Sets.
Bull. EATCS, 1991
1990
Recent Issues in Reasoning about Knowledge.
Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge, 1990
1989
Proceedings of the A Perspective in Theoretical Computer Science, 1989
1988
J. Symb. Log., 1988
1987
Knowledge and the Problem of Logical Omniscience.
Proceedings of the Methodologies for Intelligent Systems, 1987
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1987
1986
Levels of Knowledge in Distributed Computing
Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986
Logic and Computation (Panel).
Proceedings of the Information Processing 86, 1986
1985
SIAM J. Comput., 1985
Proceedings of the Logics of Programs, 1985
1984
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1984
1983
Math. Syst. Theory, 1983
Proceedings of the Logics of Programs, 1983
Proceedings of the Logics of Programs, 1983
Proceedings of the 24th Annual Symposium on Foundations of Computer Science, 1983
Proceedings of the Fundamentals of Computation Theory, 1983
1982
J. Comput. Syst. Sci., 1982
1981
Theor. Comput. Sci., 1981
SIAM J. Comput., 1981
J. Comput. Syst. Sci., 1981
1980
Proceedings of the Conference Record of the Seventh Annual ACM Symposium on Principles of Programming Languages, 1980
1979
Proceedings of the Logics of Programs, Workshop, ETH Zürich, MayJuly 1979, 1979
1978
Proceedings of the Mathematical Foundations of Computer Science 1978, 1978
Proceedings of the 19th Annual Symposium on Foundations of Computer Science, 1978
1971
J. Symb. Log., 1971
1966
J. ACM, 1966