UNIVERSITY AT BUFFALO - STATE UNIVERSITY OF NEW YORK
The Department of Computer Science & Engineering
cse@buffalo
SNePS main page

SNePS 3

SNePS 3 is an in-progress new implementation of the SNePS knowledge representation, reasoning, and acting system. It is based on a new logic of arbitrary and indefinite objects, referred to as LA , which, in turn is based on the logic ANALOG.
Contents
Introduction and Manual
System
Java SNePS 3
Papers on SNePS 3, LA and ANALOG.

Introduction and Manual

System
A preliminary version of SNePS 3 is available to machines on UB's CSE network. To run it, run Common Lisp, and load /projects/snwiz/src/Sneps-3/sneps3

Java SNePS 3
The Java SNePS 3 project is devoted to producing a version of SNePS 3 in Java, and/or a Java graphical front-end to the Common Lisp-based SNePS 3. Currently a partial graphical front-end exists, but with no SNePS back-end.

To run Java SNePS 3 on a machine on UB's CSE network, execute the shell command /projects/snwiz/JavaSneps3/jsneps

Java SNePS 3 Papers

  1. Jeffrey S. Fineberg, Implementation of the Java SNePS 3 Building Box, SNeRG Technical Note 34, Department of Computer Science and Engineering, University at Buffalo, The State Universtiy of New York, Buffalo, NY, 2003.

  2. Anthony Petre, Java and the Future of SNePS, SNeRG Technical Note 31, Department of Computer Science and Engineering, University at Buffalo, Buffalo, NY, November 16, 2001. 7 pages.

Papers on SNePS 3, LA and ANALOG.
  1. Stuart C. Shapiro (2004), A Logic of Arbitrary and Indefinite Objects. In D. Dubois, C. Welty, & M. Williams, Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), AAAI Press, Menlo Park, CA, 565-575.

  2. Jeffrey S. Fineberg (2003), Implementation of the Java SNePS 3 Building Box, SNeRG Technical Note 34, Department of Computer Science and Engineering, University at Buffalo, The State Universtiy of New York, Buffalo, NY.

  3. Anthony Petre (2001), Java and the Future of SNePS, SNeRG Technical Note 31, Department of Computer Science and Engineering, University at Buffalo, Buffalo, NY, 7 pages.

  4. Stuart C. Shapiro (2000), An Introduction to SNePS 3. In Bernhard Ganter & Guy W. Mineau, Eds. Conceptual Structures: Logical, Linguistic, and Computational Issues. Lecture Notes in Artificial Intelligence 1867. Springer-Verlag, Berlin, 510-524.

  5. Ali, Syed S. (1995), "ANALOG: A Knowledge Representation System for Natural Language Processing", in E.A. Yfantis (ed.), Intelligent Systems: 3rd Golden West International Conference: Edited and Selected Papers (Dordrecht, The Netherlands: Kluwer Academic Publishers): 327-332.

  6. Ali, Syed S. (1994), "A `Natural Logic' for Natural Language Processing and Knowledge Representation" (PhD dissertation), Technical Report 94-01 (Buffalo: SUNY Buffalo Department of Computer Science).

  7. Ali, Syed S. (1994), "ANALOG: A Knowledge Representation and Reasoning System for Natural Language Reasoning", Proceedings of the 3rd International SNePS Workshop (Buffalo).

  8. Ali, Syed S. (1994), "A Logical Language for Natural Language Processing", Proceedings of the 10th Biennial Canadian Artificial Intelligence Conference (Banff, Alberta, Canada).

  9. Ali, Syed S. (1994), "ANALOG: A Logical Language for Natural Language Processing", AAAI Fall 1994 Symposium Working Notes, Knowledge Representation for Natural Language Processing (New Orleans).

  10. Ali, Syed S. (1993), A Structured Representation for Noun Phrases and Anaphora", Proceedings of the 15th Annual Conference of the Cognitive Science Society (Hillsdale, NJ: Lawrence Erlbaum): 197-202.

  11. Ali, Syed S. (1993), "Node Subsumption in a Propositional Semantic Network with Structured Variables", Proceedings of the 6th Australian Joint Conference on Artificial Intelligence (Melbourne) (NJ: World Scientific).

  12. Ali, Syed S. (1993), "A Propositional Semantic Network with Structured Variables for Natural Language Processing", Proceedings of the 6th Australian Joint Conference on Artificial Intelligence (Melbourne) (NJ: World Scientific).

  13. Ali, Syed S. & Shapiro, Stuart C. (1993), Natural Language Processing Using a Propositional Semantic Network with Structured Variables, Minds and Machines 3(4): 421-451.
Last modified: Thu Jan 4 13:57:38 EST 2007
Stuart C. Shapiro <shapiro@cse.buffalo.edu>
TOP | BIBLIOGRAPHY | SCHEDULE | SNeRG HOME | HomeHOME