SNePSwD: A newcomer to the SNePS family

References

• Cravo , M. R. ( 1992 ) Rariocínio por Omissao e Revisāo de Crcnças Dois Aspectos do Senso Comum , PhD thesis , Lisbon . Portugal Instituto Superior Técnico, Technical University of Lisbon .
   Google Scholar
• Cravo , M. R. and Martins , J. P. ( 1990a ) Defaults and belief revision a syntactical approach . Technical Report GIA 90/02 , Lisbon , Portugal Instituto Superior Técnnico, Technical University of Lisbon .
   Google Scholar
• Cravo , M. R. and Martins , J. P. ( 1990b ) A Semantics for SWMC , Technical Report GIA 90/03 , Lisbon , Portugal Instituto Superior Técnico, Technical University of Lisbon .
   Google Scholar
• Cravo , M. R. and Martins , J. P. ( 1991a ) Being aware of assumptions . Proceedings of Österreichische Artificial Intelligence Tagung 1991 ( Heidelberg , Germany Springer-Verlag ) pp. 137 – 146 .
   Google Scholar
• Cravo , M. R. and Martins , J. P. ( 1991b ) Um sistema de revisao de crenças . Technical Report GIA 91/03 , Lisbon , Portugal Instituto Superior Técnico, Technical University of Lisbon .
   Google Scholar
• Doyle , J. ( 1991 ) Rational belief revision . Proceedings Second International Conference on Principles of Knowledge Representation and Reasoning , Allen, Fikes, and Sandewall (eds) ( San Mateo , CA Morgan Kaufmann ) pp. 163 – 174 .
   Google Scholar
• Martins , J, P. , Shapiro , S. C, ( 1988 ) A model for belief revision . Artificial Intelligence , 35 25 – 79 .
   Web of Science ®Google Scholar
• Matos , P. A. and Martins , J. P. ( 1989 ) SNePSLOG—a logic interface to SNePS . Technical Report GIA 89/03 , Lisbon , Portugal Institulo Superior Técnico, Technical University of Lisbon .
   Google Scholar
• Nebel . B. ( 1989 ) A knowledge level analysis of belief revision . Proceedings First International Conference on Principles of Knowledge Representation and Reasoning , Brachman, Levesque and Reiter (eds) ( San Mateo , CA Morgan Kaufmann ) pp. 301 – 311 .
   Google Scholar
• Nebel , B. ( 1990 ) Reasoning and Revision in Hybrid Representation Systems ( Heidelberg , Germany Springer-Verlag ).
   Google Scholar
• Shapiro , S. ( 1979 ) The SNePS semantic network processing system . In Associative Networks Representation and Use of Knowledge by Computers , Findler (ed.) ( New York Academic Press ) pp. 179 – 203 .
   Google Scholar
• Shapiro , S. C. and Martins , J. P. ( 1990 ) Recent advances and developments The SNePS 2.1 report . In Current Trends in SNePS—Semantic Network Processing System Proceedings of the First Annual Workshop , Kumar (ed.), Lecture Notes in Artificial Intelligence 437 ( Heidelberg , Germany Springer-Verlag ) pp. 1 – 13 .
   Google Scholar
• Shapiro , S. C. and Rapaport , W. J. ( 1992 ) The SNePS family . Computers Math. Applic. 23 ( 2–5 ) 243 – 275 .
   Web of Science ®Google Scholar
• Shapiro , S. C , McKay , D. P. , Martins , J. P. and Morgado , E. J. ( 1981 ) SNePSLOG, a higher order logic programming language . Presented at Workshop on Logic Programming for Intelligent Systems , R.M.S. Queen Mary , Long Beach , CA .
   Google Scholar
• Stein , L. A. ( 1991 ) Computing skeptical inheritance . In Inheritance Hierarchies in Knowledge Representation and Programming Languages , Lenzerini, Nardi, and Simi (eds.) ( New York John Wiley & Sons ) pp. 69 – 81 .
   Google Scholar