Selected Publications

1. Frances L. Johnson and Stuart C. Shapiro, Says Who?--Incorporating Source Credibility Issues into Belief Revision, Technical Report 1999-08, Department of Computer Science and Engineering, University at Buffalo, Buffalo, NY, July 31, 1999.
2. Frances L. Johnson and Stuart C. Shapiro, Finding and Resolving Contradictions in a Battle Scenario, Technical Report 99-09, Department of Computer Science and Engineering, University at Buffalo, Buffalo, NY, September 9, 1999.
3. S. C. Shapiro and F. L. Johnson, Automatic Belief Revision in SNePS. In C. Baral & M. Truszczynski, Eds., Proceedings of the 8th International Workshop on Non-Monotonic Reasoning NMR2000, 2000, unpaginated, 5 pages. Also Technical Report 2000-01, Department of Computer Science and Engineering, University at Buffalo, Buffalo, NY, March 3, 2000. Also available as arXiv:cs.AI/0003011, March 6, 2000.