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).