REFERENCES
- Beckstein , C. et al. 1993 . Supporting assumption-based reasoning in a distributed environment . Paper presented at International Workshop on Distributed Artificial Intelligence, May 19-21 , Hidden Valley , Pennsylvania .
- Bridge land , D. M. , M.N. Huhns. 1990 . Distributed truth maintenance . Paper presented at American Association for Artificial Intelligence, July 29-August 3 , Boston , Massachusetts .
- Cawsey , Alison , et al. 1992 . Conflict and cooperation in a heterogeneous system . Paper presented at AAA1 Workshop on Cooperation Among Heterogeneous Intelligent Systems , San Jose , California .
- Dahlman , O. , and H. Israelson , 1977 . Monitoring underground explosions . New York Elsevier .
- Davis , R. , R. G. Smith. 1983 . Negotiation as a metaphor for distributed problem solving . Artificial Intelligence 20 63 – 109 .
- deKleer , J. 1986 . An assumption based TMS . Artificial Intelligence 28 197 – 224 .
- Doyle , J. 1979 . A truth maintenance system . Artificial Intelligence 12 495 – 516 .
- Hannon , W. J. 1985 . Seismic verification of a comprehensive test ban . Science ( January ) 251 – 57 .
- Jennings , N. 1992 . Towards a cooperative knowledge level for collaborative problem solving . Paper presented at lOlh European Conference on Artificial Intelligence , Vienna , Austria .
- Martins , J. 1991 . The truth, the whole truth, and nothing but the truth . Al Magazine ( January ) 12 – 14 .
- Martins , J. P. , S. C. Shapiro. 1988 . A model for belief revision . Artificial Intelligence 35 25 – 79 .
- Mason , C. 1994 . Introspection as control in result-sharing assumption-based reasoning agents . Paper presented at 13th International Distributed Artificial Intelligence Workshop , July 26-29 , Seattle , Washington .
- Mason , C. and R. Johnson. 1989 . DATMS a framework for distributed assumption based reasoning . InDistributed artificial intelligence . Vol, II ., eds. L. Gasser and M. Huhns , 293 – 318 . London Pitman-Morgan Kaufmann .
- Mason , C. , et al. 1988 . A seismic event analyzer for nuclear test ban treaty verification . In Artificial intelligence in engineering diagnosis and learning , 141 – 60 . Southampton , England Computational Mechanics Publications
- Maurer , W. J. , et al. 1992 . Seismic event interpretation using self-organizing neural networks . Paper presented at SPIE Conference on Applications of Artificial Neural Networks III. April 20-24 , Orlando , Florida .
- McAllester , J. 1980 . A three valued truth maintenance system . Al Memo 551 . MIT Al Lab , Cambridge , Massachusetts
- Rich , E. , K. Knight. 1991 . Introduction to artificial intelligence , 2d ed . New York McGraw-Hill .
- United States Delegation , 1989 a. United States plans for participation in the second GSE technical test . Report GSE/US/53 to the United Nations Conference on Disarmament , Geneva
- United States Delegation. 1989 b. Concepts for communications in the global system . Report GSE/US/54 to the United Nations Conference on Disarmament , Geneva .