Publications and Papers

The downloadable links are Postscript or PDF files. You'll require Ghostview (for PS files) or the Adobe Reader (for PDF files) to view these online. If you need a hard copy, email me, and I'll snailmail you one. As a trivia item, my Erdos Number is 4 via the following paths: Chopra-Parikh-Kozen-Blass-Erdos, Chopra-Parikh-Kozen-Fuchs-Erdos, Chopra-Parikh-Kozen-Zaks-Erdos, Chopra-Parikh-Ehrenfeucht-Fajtlowicz-Erdos, Chopra-Parikh-Ehrenfeucht-Kierstad-Erdos, Chopra-Parikh-Ehrenfeucht-Simmons-Erdos and Chopra-Parikh-Ehrenfeucht-Faber-Erdos. My mathematics genealogy can be traced here (I wish I had a fraction of the mathematical talent on that tree!)

The DBLP Bibliography Server page for my publications is here.

Legal Theory of Artificial Agents

Privacy and Artificial Agents, Or, Is Google Reading My Email?, (with Laurence White), in Proceedings of the International Joint Conference on Artificial Intelligence, 2007

Attribution of Knowledge to Artificial Agents and their Principals, (with Laurence White), in Proceedings of the International Joint Conference on Artificial Intelligence, 2005

Artificial Agents - Personhood in Law and Philosophy, (with Laurence White), in Proceedings of the European Conference on Artificial Intelligence, 2004

Free and Open Source Software

Decoding Liberation: The Promise of Free and Open Source Software, (with Scott Dexter), Routledge (New Media and Cyberculture Series), July 2007

The Political Economy of Open Source Software, (with Scott Dexter), in The International Journal of Technology, Knowledge, and Society, 1(1), 2005

A comparative ethical assessment of free software licensing schemes, (with Scott Dexter), in Proceedings of the Sixth International Conference of Computer Ethics: Philosophical Enquiry (CEPE2005), Enschede, The Netherlands, July 2005.

Belief Revision

Social Choice Theory, Belief Merging and Strategy-Proofness, (with Aditya Ghose and Thomas Meyer), Information Fusion. forthcoming.

A Unifying Semantics for Belief Change, (with Richard Booth, Aditya Ghose and Thomas Meyer), in Proceedings of the European Conference on Artif ificial Intelligence, 2004

Distance Semantics for Relevance-Sensitive Belief Revision, (with Pavlos Peppas and Norman Foo), in Proceedings of the International Conference on Knowledge Representation and Reasoning, KR2004.

Some logics of belief and disbelief, (with Johannes Heidema and Thomas Meyer), in Proceedings of the International Workshop on Non-Monotonic Reasoning, 2002.

Non-prioritized ranked belief change (with Thomas Meyer and Aditya Ghose), in Proceedings of Theoretical Aspects of Rationality and Knowledge, TARK-2001.

Relevance Sensitive Belief Structures (with Rohit Parikh) in Annals of Mathematics and Artificial Intelligence, 28(1-4): 259-285 (2000).

Relevance Sensitive Non-monotonic Inference on Belief Sequences (with Konstantinos Georgatos and Rohit Parikh) in Journal of Applied Non-Classical Logics, forthcoming.

Approximated Belief Revision: A Preliminary Report (with Rohit Parikh and Renata Wassermann) in Proceedings of the Workshop on Logic, Language and Computation--WOLLIC 2000 Natal, Brazil.

An Inconsistency Tolerant Model for Belief Representation and Belief Revision (with Rohit Parikh) in Proceedings of Sixteenth International Joint Conference on Artificial Intelligence IJCAI-99 Stockholm, Sweden, Morgan Kaufmann.

Non-Monotonic Inference on Belief Sequences (with Konstantinos Georgatos and Rohit Parikh), Proceedings of the 2nd Pan-Hellenic Symposium in Logic, Delphi, Greece, eds. Phokion Kolaitis and George Koletsos, 1999.

Belief Merging

Social Choice Theory, Merging and Elections (with Thomas Meyer and Aditya Ghose), in Proceedings of the European Conference on Symbolic Approaches to Reasoning about Uncertainty, 2001.

Syntactic representations of semantic merging operations, (with Thomas Meyer and Aditya Ghose), in Proceedings of IJCAI-01 Workshop on Inconsistency in Data and Knowledge.

Multi-agent context based merging, (with Thomas Meyer and Aditya Ghose), in Proceedings of the Australian Workshop on Computational Logic 2001

Reasoning about Actions Using Dynamic Logic

Encoding solutions of the frame problem in dynamic logic, (with Norman Foo, Dongmo Zhang, Yan Zhang and Quoc Bao Vo), in Proceedings of Logic Programming and Non-monotonic Reasoning, 2001.

Postdiction problems in dynamic logic: A preliminary report, (with Dongmo Zhang), in Proceedings of the Australian Workshop on Computational Lo gic 2001

Consistency analysis for reasoning about actions, (with Dongmo Zhang ), in Proceedings of the Australian Workshop on Computational Logic 2001

Philosophy of Science

Generalized Logical Consequence: Making Room for Induction in the Logic of Science (with Eric Martin), forthcoming in Journal of Philosophical Logic. TARK-2001.

Working papers

Stringent non-monotonic inference (with Abhaya Nayak and Maurice Pagnucco).

First-order belief revision (with Eric Martin). Knowledge compilation, approximate inference and structured bases: A computational model for belief revision (with Renata Wassermann).

Other Papers:

No Cognition without Representation? From Proceedings of New Trends in Cognitive Science-1999-'Computationalism: The Next Generation' Vienna, Austria, May 1999.

A critical look at the emulation theory of representation and its claims to have shown a) the dynamical thesis of cognition to be incomplete and b) to have provided a necessary condition on cognition. Relevance Sensitive Non-Monotonic Inference on Belief Sequences (with Konstantinos Georgatos and Rohit Parikh)

A substantially revised version of the Delphi paper above.

Quantum Mechanical Explanation, Nonseperability and Causality

Does using non-separable processes (as quantum mechanical processes might be understood) in scientific explanations violate some crucial methodological principle? I argue that the answer is no.

Folk Psychology, Connectionism and Constraints on Believers

An examination of the argument that connectionism leads to eliminativist conclusions about the mind; I argue further that often, constraints placed on believers by proponents of folk psychology seem to be arbitrary.

The Non-Equivalence of Empirically Equivalent Theories: The Case of Hidden Variables in Quantum Mechanics

Contextualism, Skepticism and Kinds of Possibilities

A sympathetic examination of contextualist claims to have solved the skeptical puzzle.

"An Experimental Study Comparing the Effectiveness of Computer Graphics Data versus Computer Tabular Data", IEEE Transactions on Systems, Man and Cybernetics, July-August 1991 (with Richard Coll and Arun Thyagrajan).