Selected Publications

1. Frances L. Johnson and Stuart C. Shapiro, Formalizing a Deductively Open Belief Space, Technical Report 2000-02, Department of Computer Science and Engineering, University at Buffalo, Buffalo, NY, January 24, 2000.
2. F. L. Johnson and S. C. Shapiro, Implementing Integrity Constraints in an Existing Belief Revision System. In C. Baral & M. Truszczynski, Eds., Proceedings of the 8th International Workshop on Non-Monotonic Reasoning NMR2000, 2000, unpaginated, 8 pages. Also Technical Report 2000-03, Department of Computer Science and Engineering, University at Buffalo, Buffalo, NY, March 3, 2000. Also available as arXiv:cs.AI/0003040, March 8, 2000.