shapiro%buffalo-cs%UDel-Relay@sri-unix.UUCP (09/16/83)
Bibliography
SNeRG: The SNePS Research Group
Department of Computer Science
State University of New York at Buffalo
Amherst, New York 14226
Copies of Departmental Technical Reports (marked with an "*")
should be requested from The Library Committee, Dept. of Computer
Science, SUNY/Buffalo, 4226 Ridge Lea Road, Amherst, NY 14226.
Businesses are asked to enclose $3.00 per report requested with their
requests. Others are asked to enclose $1.00 per report.
Copies of papers other than Departmental Technical Reports may be
requested directly from Prof. Stuart C. Shapiro at the above address.
1. Shapiro, S. C. [1971] A net structure for semantic
information storage, deduction and retrieval. Proc. Second
International Joint Conference on Artificial Intelligence,
William Kaufman, Los Altos, CA, 212-223.
2. Shapiro, S. C. [1972] Generation as parsing from a network
into a linear string. American Journal of Computational
Linguistics, Microfiche 33, 42-62.
3. Shapiro, S. C. [1976] An introduction to SNePS (Semantic Net
Processing System). Technical Report No. 31, Computer
Science Department, Indiana University, Bloomington, IN, 21
pp.
4. Shapiro, S. C. and Wand, M. [1976] The Relevance of
Relevance. Technical Report No. 46, Computer Science
Department, Indiana University, Bloomington, IN, 21pp.
2. Bechtel, R. and Shapiro, S. C. [1976] A logic for semantic
networks. Technical Report No. 47, Computer Science
Department, Indiana University, Bloomington, IN, 29pp.
6. Shapiro, S. C. [1977] Representing and locating deduction
rules in a semantic network. Proc. Workshop on
Pattern-Directed Inference Systems. SIGART Newsletter, 63
14-18.
7. Shapiro, S. C. [1977] Representing numbers in semantic
networks: prolegomena Proc. 2th International Joint
Conference on Artificial Intelligence, William Kaufman, Los
Altos, CA, 284.
8. Shapiro, S. C. [1977] Compiling deduction rules from a
semantic network into a set of processes. Abstracts of
Workshop on Automatic Deduction, MIT, Cambridge, MA.
(Abstract only), 7pp.
9. Shapiro, S. C. [1978] Path-based and node-based inference in
semantic networks. In D. Waltz, ed. TINLAP-2: Theoretical
Issues in Natural Languages Processing. ACM, New York,
219-222.
10. Shapiro, S. C. [1979] The SNePS semantic network processing
system. In N. V. Findler, ed. Associative Networks: The
Representation and Use of Knowledge by Computers. Academic
Press, New York, 179-203.
11. Shapiro, S. C. [1979] Generalized augmented transition
network grammars for generation from semantic networks.
Proc. 17th Annual Meeting of the Association for
Computational Linguistics. University of California at San
Diego, 22-29.
12. Shapiro, S. C. [1979] Numerical quantifiers and their use in
reasoning with negative information. Proc. Sixth
International Joint Conference on Artificial Intelligence,
William Kaufman, Los Altos, CA, 791-796.
13. Shapiro, S. C. [1979] Using non-standard connectives and
quantifiers for representing deduction rules in a semantic
network. Invited paper presented at Current Aspects of AI
Research, a seminar held at the Electrotechnical Laboratory,
Tokyo, 22pp.
14. * McKay, D. P. and Shapiro, S. C. [1980] MULTI: A LISP Based
Multiprocessing System. Technical Report No. 164, Department
of Computer Science, SUNY at Buffalo, Amherst, NY, 20pp.
(Contains appendices not in LISP conference version)
12. McKay, D. P. and Shapiro, S. C. [1980] MULTI - A LISP based
multiprocessing system. Proc. 1980 LISP Conference, Stanford
University, Stanford, CA, 29-37.
16. Shapiro, S. C. and McKay, D. P. [1980] Inference with
recursive rules. Proc. First Annual National Conference on
Artificial Intelligence, William Kaufman, Los Altos, CA,
121-123.
17. Shapiro, S. C. [1980] Review of Fahlman, Scott. NETL: A
System for Representing and Using Real-World Knowledge. MIT
Press, Cambridge, MA, 1979. American Journal of
Computational Linguistics 6, 3, 183-186.
18. McKay, D. P. [1980] Recursive Rules - An Outside Challenge.
SNeRG Technical Note No. 1, Department of Computer Science,
SUNY at Buffalo, Amherst, NY, 11pp.
19. * Maida, A. S. and Shapiro, S. C. [1981] Intensional
concepts in propositional semantic networks. Technical
Report No. 171, Department of Computer Science, SUNY at
Buffalo, Amherst, NY, 69pp.
20. * Shapiro, S. C. [1981] COCCI: a deductive semantic network
program for solving microbiology unknowns. Technical Report
No. 173, Department of Computer Science, SUNY at Buffalo,
Amherst, NY, 24pp.
21. * Martins, J.; McKay, D. P.; and Shapiro, S. C. [1981]
Bi-directional Inference. Technical Report No. 174,
Department of Computer Science, SUNY at Buffalo, Amherst,
NY, 32pp.
22. * Martins, J., and Shapiro, S. C. [1981] A Belief Revision
System Based on Relevance Logic and Heterarchical Contexts.
Technical Report No. 172, Department of Computer Science,
SUNY at Buffalo, Amherst, NY, 42pp.
23. Shapiro, S. C. [1981] Summary of Scientific Progress. SNeRG
Technical Note No. 3, Department of Computer Science, SUNY
at Buffalo, Amherst, NY, 2pp.
24. Mckay, D. P. and Martins, J. SNePSLOG User's Manual. SNeRG
Technical Note No. 4, Department of Computer Science, SUNY
at Buffalo, Amherst, NY, 8pp.
22. McKay, D. P.; Shubin, H.; and Martins, J. [1981] RIPOFF:
Another Text Formatting Program. SNeRG Technical Note No. 2,
Department of Computer Science, SUNY at Buffalo, Amherst,
NY, 18pp.
26. * Neal, J. [1981] A Knowledge Engineering Approach to
Natural Language Understanding. Technical Report No. 179,
Computer Science Department, SUNY at Buffalo, Amherst, NY,
67pp.
27. * Srihari, R. [1981] Combining Path-based and Node-based
Reasoning in SNePS. Technical Report No. 183, Department of
Computer Science, SUNY at Buffalo, Amherst, NY, 22pp.
28. McKay, D. P.; Martins, J.; Morgado, E.; Almeida, M.; and
Shapiro, S. C. [1981] An Assessment of SNePS for the Navy
Domain. SNeRG Technical Note No. 6, Department of Computer
Science, SUNY at Buffalo, Amherst, NY, 48pp.
29. Shapiro, S. C. [1981] What do Semantic Network Nodes
Represent? SNeRG Technical Note No. 7, Department of
Computer Science, SUNY at Buffalo, Amherst, NY, 12pp.
Presented at the workshop on Foundational Threads in Natural
Language Processing, SUNY at Stony Brook.
30. McKay, D. P., and Shapiro, S. C. [1981] Using active
connection graphs for reasoning with recursive rules.
Proceedings of the Seventh International Joint Conference on
Artificial Intelligence, William Kaufman, Los Altos, CA,
368-374.
31. Shapiro, S. C. and The SNePS Implementation Group [1981]
SNePS User's Manual. Department of Computer Science, SUNY at
Buffalo, Amherst, NY, 44pp.
32. Shapiro, S. C.; McKay, D. P.; Martins, J.; and Morgado, E.
[1981] SNePSLOG: A "Higher Order" Logic Programming
Language. SNeRG Technical Note No. 8, Department of Computer
Science, SUNY at Buffalo, Amherst, NY, 16pp. Presented at
the Workshop on Logic Programming for Intelligent Systems,
R.M.S. Queen Mary, Long Beach, CA.
33. * Shubin, H. [1981] Inference and Control in Multiprocessing
Environments. Technical Report No. 186, Department of
Computer Science, SUNY at Buffalo, Amherst, NY, 26pp.
34. Shapiro, S. C. [1982] Generalized Augmented Transition
Network Grammars for Generation from Semantic Networks. The
American Journal of Computational Linguistics 8, 1 (January
- March), 12-22.
32. Almeida, M.J. [1982] NETP2 - A Parser for a Subset of
English. SNERG Technical Note No. 9, Department of Computer
Science, SUNY at Buffalo, Amherst, NY, 32pp.
36. * Tranchell, L.M. [1982] A SNePS Implementation of KL-ONE,
Technical Report No. 198, Department of Computer Science,
SUNY at Buffalo, Amherst, NY, 21pp.
37. Shapiro, S.C. and Neal, J.G. [1982] A Knowledge engineering
Approach to Natural language understanding. Proceedings of
the 20th Annual Meeting of the Association for Computational
Linguistics, ACL, Menlo Park, CA, 136-144.
38. Donlon, G. [1982] Using Resource Limited Inference in SNePS.
SNeRG Technical Note No. 10, Department of Computer Science,
SUNY at Buffalo, Amherst, NY, 10pp.
39. Nutter, J. T. [1982] Defaults revisited or "Tell me if
you're guessing". Proceedings of the Fourth Annual
Conference of the Cognitive Science Society, Ann Arbor, MI,
67-69.
40. Shapiro, S. C.; Martins, J.; and McKay, D. [1982]
Bi-directional inference. Proceedings of the Fourth Annual
Meeting of the Cognitive Science Society, Ann Arbor, MI,
90-93.
41. Maida, A. S. and Shapiro, S. C. [1982] Intensional concepts
in propositional semantic networks. Cognitive Science 6, 4
(October-December), 291-330.
42. Martins, J. P. [1983] Belief revision in MBR. Proceedings of
the 1983 Conference on Artificial Intelligence, Rochester,
MI.
43. Nutter, J. T. [1983] What else is wrong with non-monotonic
logics?: representational and informational shortcomings.
Proceedings of the Fifth Annual Meeting of the Cognitive
Science Society, Rochester, NY.
44. Almeida, M. J. and Shapiro, S. C. [1983] Reasoning about the
temporal structure of narrative texts. Proceedings of the
Fifth Annual Meeting of the Cognitive Science Society,
Rochester, NY.
42. * Martins, J. P. [1983] Reasoning in Multiple Belief Spaces.
Ph.D. Dissertation, Technical Report No. 203, Computer
Science Department, SUNY at Buffalo, Amherst, NY, 381 pp.
46. Martins, J. P. and Shapiro, S. C. [1983] Reasoning in
multiple belief spaces. Proceedings of the Eighth
International Joint Conference on Artificial Intelligence,
William Kaufman, Los Altos, CA, 370-373.
47. Nutter, J. T. [1983] Default reasoning using monotonic
logic: a modest proposal. Proceedings of The National
Conference on Artificial Intelligence, William Kaufman, Los
Altos, CA, 297-300.