Oxford Journals
tools journals homepage advanced search contact help
Journal of Logic and Computation: Current Issue
 
home
browse
current
etoc
authors
subinfo
subscribers
samples

OUP > Journals > Computing/Engineer. & Mathematics/Stats. > Journal of Logic and Computation

Journal of Logic and Computation

Volume 13, Issue 1, February 2003: pp. 3-22

Controlled Revision - An algorithmic approach for belief revision

Dov Gabbay1, Gabriella Pigozzi2 and John Woods3

1Department of Computer Science, King's College London, Strand, London WC2R 2LS. e-mail: dg@dcs.kcl.ac.uk
2Department of Philosophy, University of Konstanz, Germany. e-mail: gabriella.pigozzi@uni-konstanz.de
3The Abductive Systems Group, University of British Columbia, Vancouver, BC, Canada V6T 1Z1, and Department of Computer Science, King's College, London, Strand, London WC2R 2LS e-mail: woods@uleth.ca

Table of Contents   Full-Text PDF (179 KB)

Oxford University Press
Published by Oxford University Press
Copyright ©Oxford University Press 2003
Print ISSN: 0955-792X  Online ISSN: 1465-363X.
Oxford University Press Privacy Policy and Legal Statement