References
- Anderson , A. R. and Belnap , N. D. ( 1975 ) Entailment The Logic of Relevance and Necessity ( Princeton , NJ Princeton University Press ).
- Ballim , A. and Wilks , Y. ( 1991 ) Artificial Believers The Ascription of Belief ( Hillsdale , NJ Erlbaum ).
- Ballim , A. , Wilks , Y. Barnden, J. A ( 1991 ) Belief ascription, metaphor and intensional identification . Cognitive Science , 15 ( 1 ) 133 – 171 .
- Creary , L. G. ( 1979 ) Prepositional attitudes Fregean representations and simulative reasoning . In Proceedings of the Sixth International Conference on Artificial Intelligence ( Palo Alto , CA Morgan Kaufmann ) pp. 176 – 181 .
- de Kleer , J. ( 1986 ) An assumption-based TMS . Artificial Intelligence , 28 ( 2 ) 127 – 162 .
- Fitch , F. B. ( 1952 ) Symbolic Logic An Introduction ( New York , Ronald Press ).
- Haas , A. R. ( 1986 ) A syntactic theory of belief and action . Artificial Intelligence , 28 245 – 292 .
- Hintikka , J. ( 1962 ) Knowledge and Belief An Introduction to the Logic of the Two Notions ( Ithaca , NY Cornell University Press ).
- Konolige , K. ( 1986 ) A Deduction Model of Belief ( Palo Alto , CA s Morgan Kaufmann ).
- Martins , J. P. ( 1983 ) Reasoning in multiple belief spaces . PhD thesis , Department of Computer Science, State University of New York at Buffalo , Buffalo , NY .
- Martins , J. P. and Shapiro , S. C. ( 1988 ) A model for belief revision . Artificial Intelligence , 35 ( 1 ) 25 – 79 .
- Matos . P. A. and Martins , J. P. ( 1989 ) SNePSLOG—a logic interface to SNePS . Technical Report 89/03 , Instituto Superior TE¸cnico, Technical University of Lisbon , Lisbon , Portugal .
- Moore , R. C. ( 1977 ) Reasoning about knowledge and action . In Proceedings of the Fifth International Conference on Artificial Intelligence ( Palo Alto , CA Morgan Kaufmann ) pp. 223 – 227 .( Reprinted in Webber and Nilsson 1981. )
- Moore , R. C. ( 1985 ) A formal theory of knowledge and action . In J. R. Hobbs and R. C. Moore (eds) Formal Theories of the Commonsense World ( Norwood , NJ Ablex Publishing ) pp. 319 – 358 .
- Rapaport , W. J. ( 1986 ) Logical foundations for belief representation . Cognitive Science , 10 371 – 422 .
- Rapaport , W. J. , Shapiro , S. C. and Wiebe , J. M. ( 1986 ) Quasi-indicators, knowledge reports, and discourse . Technical Report 86–15 , Department of Computer Science, SUNY at Buffalo .
- Shapiro , S. C. Rapaport, W, J. ( 1987 ) SNePS considered as a fully intensional propositional semantic network . In N. Cercone and G. McCalla (eds) The Knowledge Frontier ( New York Springer-Verlag ) pp. 263 – 315 .
- Shapiro , S. C. and Rapaport , W. J. ( 1992 ) The SNePS family . Computers & Mathematics with Applications , 23 ( 2–5 ) 243 – 275 .
- Shapiro , S. C , McKay , D. P. , Martins , J. and Morgado , E. ( 1981 ) SNePSLOG A “higher order“ logic programming language . SNeRG Technical Note 8, Department of Computer Science, SUNY at Buffalo . Presented at the Workshop on Logic Programming for Intelligent Systems , R.M.S. Queen Mary , Long Beach , CA .
- Webber , B. L. and Nilsson , N. J. ( 1981 ) Readings in Artificial Intelligence ( Palo Alto , CA Tioga ).
- Wiebe , J. M. and Rapaport , W. J. ( 1986 ) Representing de re and de dicto belief reports in discourse and narrative . Proceedings of the IEEE , 74 ( 10 ) 1405 – 1413 .
- Zaverucha , G. ( 1992 ) Logical foundations of a modal defeasible relevant logic of belief . In B. Neumann (ed.) Proceedings of the Tenth European Conference on Artificial Intelligence ( New York John Wiley & Sons ) pp. 615 – 619 .