To SNeRG Home Page

The SNePS Research Group Bibliography

Index by year: 1968 1969 1970 1971 1974 1975 1976 1977 1978 1979 1980 1981 1982 1983 1984 1985 1986 1987 1988 1989 1990 1991 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 Forthcoming Manuals

BibTex entry version (not necessarily up to date)

Some Topically Organized Bibliographies. Not every paper listed below is in a topically organized bibliography.

Keyword-searchable version (not necessarily up to date)

Some of the papers linked to from this page are only preprint versions of the cited published paper. The actual published version is probably somewhat different from them due to referees' remarks, editors' corrections, and additional author modifications. Only the published version should be considered authoritative. All quotes should be of the published version, and all citations should be to the published version.

You may order hard copies from Stuart C. Shapiro at shapiro@buffalo.edu or from William J. Rapaport at rapaport@buffalo.edu.


1968
1968-1
Stuart. C. Shapiro, George H. Woodmansee, and Myron W. Kreuger, A semantic associational memory net that learns and answers questions (SAMENLAQ). Technical Report No. 8, Computer Sciences Department, University of Wisconsin, January, 1968.
1968-2
Stuart C. Shapiro, A memory net structure: present implementation and a proposed language. Technical Report No. 53, Computer Sciences Department, University of Wisconsin, December, 1968.
1969
1969-1
Stuart C. Shapiro and George H. Woodmansee, A net structure based relational question answerer: description and examples. Technical Report No. 59, Computer Sciences Department, University of Wisconsin, March, 1969. Superseded by [1969-2].
1969-2
Stuart C. Shapiro and George H. Woodmansee, A net structure based relational question answerer: description and examples. Proceedings of the First International Joint Conference on Artificial Intelligence (IJCAI-69), Morgan Kaufmann, Inc., Los Altos, CA, 1969, 325-346. Scanned, non-OCR, version.
1970
1970-1
Stuart C. Shapiro, The list set generator: a construct for evaluating set expressions. Technical Report No. 86, Computer Sciences Department, University of Wisconsin, March, 1970. Superseded by [1970-2].
1970-2
Stuart C. Shapiro, The list set generator: a construct for evaluating set expressions. Communications of the ACM 13, 12 (1970), 741-744.
1971
1971-1
Stuart C. Shapiro, A data structure for semantic information processing, PhD dissertation, Computer Sciences Department, University of Wisconsin, January, 1971.
1971-2
Stuart C. Shapiro, A net structure for semantic information storage, deduction and retrieval. Technical Report No. 109, Computer Sciences Department, University of Wisconsin, January, 1971. Superseded by [1971-3].
1971-3
Stuart C. Shapiro. A net structure for semantic information storage, deduction and retrieval. In Proceedings of the Second International Joint Conference on Artificial Intelligence (IJCAI-71), Morgan Kaufmann, Los Altos, CA, 1971, 512-523. (Scanned, non-OCR version)
1971-4
Stuart C. Shapiro, The MIND system: a data structure for semantic information processing, R-837-PR, The Rand Corporation, Santa Monica, CA, August, 1971. Also AD No. 733 560, Defense Documentation Center, Alexandria, VA.
1974
1974-1
Stuart C. Shapiro and Stanley C. Kwasny, Interactive consulting via natural language. Technical Report No. 12, Computer Science Department, Indiana University, Bloomington, IN, June, 1974. Superseded (without appendices) by 1975-2.
1975
1975-1
Stuart C. Shapiro, Generation as parsing from a network into a linear string, American Journal of Computational Linguistics, Microfiche 33: pages 45-62, 1975.
1975-2
S. C. Shapiro and S. C. Kwasny, Interactive consulting via natural language. Communications of the ACM 18, 8 (1975), 459-462.
1975-3
Stuart C. Shapiro. An introduction to SNePS, Technical Report No. 31, Computer Science Department, Indiana University, Bloomington, IN, June, 1975. Superseded by 1976-1.
1975-4
George Epstein and Stuart C. Shapiro, The Development of Language and Reasoning in the Child as Connected with Mathematical Linguistics and Logic. Technical Report No. 41, Computer Science Department, Indiana University, Bloomington, IN, October, 1975. Superseded by [1976-4].
1976
1976-1
Stuart C. Shapiro. An introduction to SNePS, Technical Report No. 31, Computer Science Department, Indiana University, Bloomington, IN, Revised, December, 1976.
1976-2
S. C. Shapiro and M. Wand. The relevance of relevance. Technical Report 46, Computer Science Department, Indiana University, Bloomington, IN, Revised, November, 1976.
1976-3
Robert Bechtel and Stuart C. Shapiro, A Logic for Semantic Networks, Technical Report No. 47, Computer Science Department, Indiana University, Bloomington, IN, March, 1976. Presented at the 1976 Computer Science Conference (February 1976).
1976-4
George Epstein and Stuart C. Shapiro, Mathematical linguistics, logic and the development of language and reasoning in the child. Origins and Evolution of Language and Speech. Annals of the New York Academy of Sciences, Vol. 280 (1976), 120-126. (Indiana University Technical Report preprint version)
1977
1977-1
S. C. Shapiro. Representing and locating deduction rules in a semantic network, Proceedings of the Workshop on Pattern-Directed Inference Systems, Sigart Newsletter(63):14-18, 1977.
1977-2
Stuart C. Shapiro. Representing numbers in semantic networks: prolegomena. In Proceedings of the 5th International Joint Conference on Artificial Intelligence (IJCAI-77), Morgan Kaufmann, Los Altos, CA, 1977, page 284. Scanned, non-OCR, version
1977-3
Stuart C. Shapiro. Compiling deduction rules from a semantic network into a set of processes. In Workshop on Automatic Deduction: Collected Abstracts, MIT, Cambridge, MA, 1977.
1978
1978-1
S. C. Shapiro. Path-based and node-based inference in semantic networks. In D. Waltz, editor, Tinlap-2: Theoretical Issues in Natural Languages Processing, pages 219-225, New York, 1978. ACM.
1979
1979-1
Stuart C. Shapiro. The SNePS semantic network processing system. In N. V. Findler, editor, Associative Networks: The Representation and Use of Knowledge by Computers, pages 179-203. Academic Press, New York, 1979.
1979-2
Stuart C. Shapiro. Generalized augmented transition network grammars for generation from semantic networks. In Proceedings of the 17th Annual Meeting of the Association for Computational Linguistics, pages 25-29. University of California at San Diego, 1979. Superseded by [1982-1].
1979-3
Stuart C. Shapiro. Numerical quantifiers and their use in reasoning with negative information. In Proceedings of the Sixth International Joint Conference on Artificial Intelligence (IJCAI-79), Morgan Kaufmann, Los Altos, CA, 1979, 791-796.
1979-4
Stuart C. Shapiro, A SCRABBLE crossword game playing program. In Proceedings of the Sixth International Joint Conference on Artificial Intelligence, Morgan Kaufmann, Los Altos, CA, 1979, 797-799.
1979-5
Stuart C. Shapiro. 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, 1979.
1979-6
Diana Webster, MEDIC -- A Medical Example of SNePS, MS project report, Department of Computer Science, University at Buffalo, Buffalo, NY, 1979, 117 pages.
1980
1980-1
Donald P. McKay and Stuart C. Shapiro. MULTI: A LISP based multiprocessing system. Technical Report 164, Department of Computer Science, University at Buffalo, 1980. (Contains appendices not in 1980-2.)
1980-2
D. P. McKay and S. C. Shapiro. MULTI: A LISP based multiprocessing system. In Proceedings of the 1980 LISP Conference, pages 29-37. Stanford University, Stanford, CA, 1980.
1980-3
S. C. Shapiro and D. P. McKay. Inference with recursive rules. In Proceedings of the First Annual National Conference on Artificial Intelligence, pages 151-153, Los Altos, CA, 1980. Morgan Kaufmann.
1980-4
S. C. Shapiro. Review of Fahlman, Scott NETL: A system for representing and using real-world knowledge. American Journal of Computational Linguistics, 6(3):183-186, 1980.
1980-5
Donald P. McKay. Recursive rules - an outside challenge. SNeRG Technical Note Number 1, Department of Computer Science, University at Buffalo, 1980.
1981
1981-1
Anthony S. Maida and Stuart C. Shapiro. Intensional concepts in propositional semantic networks. Technical Report 171, Department of Computer Science, University at Buffalo, 1981. Superseded by [1982-8].
1981-2
Stuart C. Shapiro. COCCI: A deductive semantic network program for solving microbiology unknowns. Technical Report Number 173, Department of Computer Science, University at Buffalo, 1981.
1981-3
João P. Martins, Donald P. McKay, and Stuart C. Shapiro, Bi-directional inference. Technical Report Number 174, Department of Computer Science, University at Buffalo, 1981. Superseded by [1982-7].
1981-4
João P. Martins and Stuart C. Shapiro. A belief revision system based on relevance logic and heterarchical contexts. Technical Report 175, Department of Computer Science, University at Buffalo, 1981.
1981-5
Stuart C. Shapiro, Summary of scientific progress. SNeRG Technical Note 3, Department of Computer Science, University at Buffalo, 1981.
1981-6
Donald P. Mckay and João Martins. SNePSLOG User's Manual. SNeRG Technical Note No. 4, Department of Computer Science, State University of New York at Buffalo, May, 1981.
1981-7
Donald P. McKay and Gerard Donlon, with contributions by Hal Shubin, and João Martins. RIPOFF: Another Text Formatting Program. SNeRG Technical Note No. 5, Department of Computer Science, University at Buffalo, July, 1980, Revised July, 1982.
1981-8
J. Neal. A knowledge engineering approach to natural language understanding. Technical Report 179, Department of Computer Science, University at Buffalo, 1981.
1981-9
R. Srihari. Combining path-based and node-based reasoning in SNePS. Technical Report 183, Department of Computer Science, University at Buffalo, 1981.
1981-10
D. P. McKay, J. Martins, E. Morgado, M. Almeida, and S. C. Shapiro. An assessment of SNePS for the Navy domain. SNeRG Technical Note 6, Department of Computer Science, University at Buffalo, 1981.
1981-11
Stuart C. Shapiro, What do semantic network nodes represent? SNeRG Technical Note 7, Department of Computer Science, University at Buffalo, July, 1981. Superseded by [1982-8] and [1987-15].
1981-12
D. P. McKay and S. C. Shapiro. Using active connection graphs for reasoning with recursive rules. In Proceedings of the Seventh International Joint Conference on Artificial Intelligence (IJCAI-81), pages 368-374, Los Altos, CA, 1981. Morgan Kaufmann.
1981-13
S. C. Shapiro and The SNePS Implementation Group. SNePS User's Manual. Department of Computer Science, University at Buffalo, 1981. Superseded by [1995-15].
1981-14
S. C. Shapiro, D. P. McKay, J. Martins, and E. Morgado. SNePSLOG: A "higher order" logic programming language. SNeRG Technical Note 8, Department of Computer Science, University at Buffalo, 1981. Presented at the Workshop on Logic Programming for Intelligent Systems, R.M.S. Queen Mary, Long Beach, CA.
1981-15
H. Shubin. Inference and control in multiprocessing environments. Technical Report 186, Department of Computer Science, University at Buffalo, 1981.
1981-16
Gerard Donlon, Resource Limited Inference in SNePS, Project report for CS642, Department of Computer Science, University at Buffalo, Buffalo, NY, Fall, 1982, 33 pages.
1982
1982-1
S. C. Shapiro. Generalized augmented transition network grammars for generation from semantic networks. The American Journal of Computational Linguistics, 8(1):12-25, 1982.
1982-2
M. J. Almeida. NETP2: a parser for a subset of english. SNeRG Technical Note 9, Department of Computer Science, University at Buffalo, 1982.
1982-3
L. M. Tranchell. A SNePS implementation of KL-ONE. Technical Report 198, Department of Computer Science, University at Buffalo, 1982.
1982-4
S. C. Shapiro and J. G. Neal. A knowledge engineering approach to natural language understanding. In Proceedings of the 20th Annual Meeting of the Association for Computational Linguistics, pages 136-144, Menlo Park, CA, 1982. ACL.
1982-5
G. Donlon. Using resource limited inference in SNePS. SNeRG Technical Note 10, Department of Computer Science, University at Buffalo, 1982.
1982-6
J. T. Nutter. Defaults revisited or ``Tell me if you're guessing''. In Proceedings of the Fourth Annual Conference of the Cognitive Science Society, pages 67-69, Ann Arbor, MI, 1982. the Program in Cognitive Science of The University of Chicago and The University of Michigan.
1982-7
S. C. Shapiro, J. Martins, and D. McKay, Bi-directional inference, Proceedings of the Fourth Annual Conference of the Cognitive Science Society, the Program in Cognitive Science of The University of Chicago and The University of Michigan, Ann Arbor, MI, 1982, 90-93.
1982-8
A. S. Maida and S. C. Shapiro. Intensional concepts in propositional semantic networks. Cognitive Science, 6(4):291-330, 1982. Reprinted in R. J. Brachman and H. J. Levesque, eds. Readings in Knowledge Representation, Morgan Kaufmann, Los Altos, CA, 1985, 170-189.
1983
1983-1
J. P. Martins. Belief revision in MBR. In Proceedings of the 1983 Conference on Artificial Intelligence, Rochester, Michigan, 1983.
1983-2
J. T. Nutter. What else is wrong with non-monotonic logics?: Representational and informational shortcomings. In Proceedings of the Fifth Annual Meeting of the Cognitive Science Society, page 5, Rochester, NY, 1983.
1983-3
Michael J. Almeida and Stuart C. Shapiro. Reasoning about the temporal structure of narrative texts. In Proceedings of the Fifth Annual Meeting of the Cognitive Science Society, Rochester, NY, 1983, unpaginated, 5 pages.
1983-4
J. P. Martins. Reasoning in Multiple Belief Spaces. PhD thesis, Technical Report 203, Department of Computer Science, University at Buffalo, 1983.
1983-5
J. P. Martins and S. C. Shapiro. Reasoning in multiple belief spaces. In Proceedings of the Eighth International Joint Conference on Artificial Intelligence(IJCAI-83), pages 370-373, Los Altos, CA, 1983. Morgan Kaufmann. (Scanned, non-OCR, version)
1983-6
Jane Terry Nutter. Default reasoning using monotonic logic: a modest proposal. In Proceedings of The National Conference on Artificial Intelligence, pages 297-300, Los Altos, CA, 1983. Morgan Kaufmann.
1983-7
J. T. Nutter. Default reasoning in A.I. systems. Master's thesis, Technical Report 204, Department of Computer Science, University at Buffalo, 1983.
1983-8
E. J. Morgado and S. C. Shapiro. Believing and acting: An approach to meta-knowledge and meta-reasoning. SNeRG Technical Note 11, Department of Computer Science, University at Buffalo, 1983. Superseded by [1985-5].
1984
1984-1
W. J. Rapaport and S. C. Shapiro. Quasi-indexical reference in propositional semantic networks. In Proceedings of Coling-84, pages 65-70. The Association for Computational Linguistics, 1984.
1984-2
Jeannette G. Neal and Stuart C. Shapiro. Knowledge-based parsing. Technical Report 213, Department of Computer Science, University at Buffalo, 1984. Superseded by [1987-12].
1984-3
W. J. Rapaport. Belief representation and quasi-indicators. Master's thesis, Technical Report 215, Department of Computer Science, University at Buffalo, 1984. Superseded by [1986-19].
1984-4
Joao P. Martins and Stuart C. Shapiro, A model for belief revision, Non-Monotonic Reasoning Workshop, The American Association for Artificial Intelligence, 1984, 241-294.
1984-5
Zhigang Xiang, Sargur N. Srihari, Stuart C. Shapiro, and Jerry G. Chutkow, Analogical and propositional representations of structure in neurological diagnosis, Proceedings of the First Conference on Artificial Intelligence Applications, IEEE Computer Society Press, Silver Spring, MD, 1984, 127-132.
1985
1985-1
J. G. Neal. A Knowledge Based Approach to Natural Language Understanding. PhD thesis, Technical Report 85-06, Department of Computer Science, University at Buffalo, 1985.
1985-2
W. J. Rapaport. Meinongian semantics for propositional semantic networks. In Proceedings of the 23rd Annual Meeting of the Association for Computational Linguistics, pages 43-48, Morristown, NJ, 1985. Association for Computational Linguistics.
1985-3
V. Saks. A matcher for intensional semantic networks. SNeRG Technical Note 12, Department of Computer Science, University at Buffalo, 1985.
1985-4
J. Suchin. A semantic network representation of the peripheral nervous system. SNeRG Technical Note 13, Department of Computer Science, University at Buffalo, 1985.
1985-5
Ernesto J. Morgado and Stuart C. Shapiro. Believing and acting: A study of meta-knowledge and meta-reasoning. In Proceedings of EPIA-85 (``Encontro Portugues de Inteligencia Artificial''), pages 138-154, Oporto, Portugal, 1985.
1985-6
Zhigang Xiang, Sargur N. Srihari, Stuart C. Shapiro, and Jerry G. Chutkow, A modeling scheme for diagnosis. In Kamal N. Karna, Ed., Expert Systems in Government Symposium, IEEE Computer Society Press, 1985, 538-547.
1985-7
S. C. Shapiro and W. J. Rapaport. SNePS considered as a fully intensional semantic network. Technical Report 85-15, Department of Computer Science, University at Buffalo, 1985. Superseded by [1987-15].
1985-8
W. J. Rapaport. Logic and artificial intelligence. Technical Report 85-16, Department of Computer Science, University at Buffalo, 1985.
1985-9
Jeannette G. Neal and Stuart C. Shapiro, Parsing as a form of inference in a multiprocessing environment. In Proceedings of the 1985 Conference on Intelligent Systems and Machines, Center for Robotics and Advanced Automation, Oakland University, Rochester, Michigan, 1985, 19-24
1985-10
Zhigang Xiang, Jerry G. Chutkow, Stuart C. Shapiro, and Sargur N. Srihari. Representation of spatial structure and function in diagnosis. In Proceedings of the Second Conference on Artificial Intelligence Applications, pages 223-228, Silver Spring, MD, 1985. IEEE Computer Society Press.
1986
1986-1
Marek Holynski, Brian R. Gardner, and Rafail Ostrovsky. Towards an intelligent computer graphics system. Technical Report 86-003, Computer Science Department, Boston University, 1986.
1986-2
Stuart C. Shapiro, Sargur N. Srihari, James Geller, and Ming-Ruey Taie, A fault diagnosis system based on an integrated knowledge base, in D. Sriram and M. D. Rychener, Eds., Knowledge-Based Engineering Systems Research in Progress, IEEE Software, 3(2): 1986, 48-49.
1986-3
Zhigang Xiang, Jerry G. Chutkow, Stuart C. Shapiro, and Sargur N. Srihari. Computerized neurological diagnosis: A paradigm of modeling and reasoning. Health Care Instrumentation, 1(3):1986, 90-105.
1986-4
João P. Martins and Stuart C. Shapiro. Theoretical foundations for belief revision. In Joseph Y. Halpern, Ed., Theoretical Aspects of Reasoning About Knowledge, Morgan Kaufmann Publishers, Los Altos, CA, 1986, 383-398.
1986-5
Stuart C. Shapiro, Sargur N. Srihari, Ming-Ruey Taie, and James Geller. VMES: A network-based versatile maintenance expert system. In D. Sriram and R. Adey, Eds., Applications of Artificial Intelligence to Engineering Problems: Proceedings of The 1st International Conference, Springer-Verlag, Berlin, 1986, 925-936.
1986-6
João P. Martins and Stuart C. Shapiro. Hypothetical reasoning. In D. Sriram and R. Adey, Eds., Applications of Artificial Intelligence to Engineering Problems: Proceedings of The 1st International Conference, Springer-Verlag, Berlin, 1986, 1029-1042.
1986-7
R. G. Hull. A new design for SNIP the SNePS inference package. SNeRG Technical Note 14, Department of Computer Science, University at Buffalo, 1986.
1986-8
Mingruey R. Taie, Sargur N. Srihari, James Geller, and Stuart C. Shapiro. Device representation using instantiation rules and structural templates. In Proceedings of the Sixth Canadian Conference on Artificial Intelligence, Presses de l'Université du Québec, 1986, 124-128.
1986-9
João P. Martins and Stuart C. Shapiro, Belief revision in SNePS. In Proceedings of the Sixth Canadian Conference on Artificial Intelligence, Presses de l'Université du Québec, 1986, 230-234.
1986-10
Scott S. Campbell and Stuart C. Shapiro. Using belief revision to detect faults in circuits. SNeRG Technical Note No. 15, Department of Computer Science, State University of New York at Buffalo, Buffalo, NY 1986.
1986-11
W. J. Rapaport. Syntactic semantics: Foundations of computational natural-language understanding. Technical Report 86-24, Department of Computer Science, University at Buffalo, 1986. Superseded by [1988-2].
1986-12
W. J. Rapaport, S. C. Shapiro, and J. M. Wiebe. Quasi-indicators, knowledge reports, and discourse. Technical Report 86-15, Department of Computer Science, University at Buffalo, 1986. Superseded by [1997-1].
1986-13
S. L. Hardt and W. J. Rapaport (eds.). Recent and current artificial intelligence research in the Department of Computer Science, SUNY Buffalo. AI Magazine, 7(2):91-100, 1986.
1986-14
Stuart C. Shapiro and William J. Rapaport, SNePS considered as a fully intensional propositional semantic network. In Proc. Fifth National Conference on Artificial Intelligence, Los Altos, CA, Morgan Kaufmann, 1986, 278-283. Superseded by [1987-15].
1986-15
Ernesto J. M. Morgado. Semantic Networks as Abstract Data Types. PhD thesis, Technical Report 86-19, Department of Computer Science, State University of New York at Buffalo, Buffalo, NY, 1986. 318 pages.
1986-16
G. A. Bruder, J. F. Duchan, W. J. Rapaport, E. M. Segal, S. C. Shapiro, and D. A. Zubin. Deictic centers in narrative: An interdisciplinary cognitive-science project. Technical Report 86-20, Department of Computer Science, University at Buffalo, 1986. 32 pages.
1986-17
S. C. Shapiro. Symmetric relations, intensional individuals, and variable binding. Proceedings of the IEEE, 74(10):1354-1363, 1986.
1986-18
J. M. Wiebe and W. J. Rapaport. Representing de re and de dicto belief reports in discourse and narrative. Proceedings of the IEEE, 74(10):1405-1413, 1986.
1986-19
W. J. Rapaport. Logical foundations for belief representation. Cognitive Science, 10:371-422, 1986.
1986-20
Stuart C. Shapiro and James Geller, Artificial intelligence and automated design. In Anton C. Harfmann, Yehuda E. Kalay, Bruce R. Majkowski, and Lucien M. Swerdloff, Eds., The Computability of Design: Proceedings of the 1986 SUNY Buffalo Symposium on CAD, 1986, unpaginated, 13 pp.
1986-21
J. Van Blargan. An introduction to SNePS II. SNeRG Technical Note 16, Department of Computer Science, University at Buffalo, 1986.
1986-22
Naicong Li. Pronoun resolution in SNePS. SNeRG Technical Note 18, Department of Computer Science, University at Buffalo, January 1986.
1986-23
James Geller and Stuart Shapiro, Knowledge based interfaces. In Bob Neches and Tom Kaczmarek, Eds., AAAI-86 Workshop on Intelligence in Interfaces: Participant List and Abstracts, AAAI, August 14, 1986, 31-36.
1987
1987-1
C. M. Chan. Forward path-based inference in SNePS. SNeRG Technical Note 17, Department of Computer Science, University at Buffalo, 1987.
1987-2
Mingruey R. Taie, James Geller, Sargur N. Srihari, and Stuart C. Shapiro, Knowledge based modeling of circuit boards. In Proceedings of the Annual Reliability and Maintainability Symposium, IEEE, 1987, 422-427.
1987-3
S. N. Srihari, W. J. Rapaport, and D. Kumar. On knowledge representation using semantic networks and sanskrit. Technical Report 87-03, Department of Computer Science, University at Buffalo, 1987.
1987-4
J. G. Neal and S. C. Shapiro. Knowledge representation for reasoning about language. In J. C. Boudreaux, B. W. Hamill, and R. Jernigan, editors, The Role of Language in Problem Solving 2, pages 27-46. Elsevier Science Publishers, 1987.
1987-5
S. A. Chun. SNePS implementation of possessive phrases. SNeRG Technical Note 19, Department of Computer Science, University at Buffalo, 1987.
1987-6
A. H. Yuhan and S. C. Shapiro. Design of an incremental compiler for a production-system ATN machine. Technical Report 87-09, Department of Computer Science, University at Buffalo, 1987.
1987-7
M. J. Almeida. Reasoning About the Temporal Structure of Narratives. PhD thesis, Technical Report 87-10, Department of Computer Science, University at Buffalo, 1987.
1987-8
J. T. Nutter. Assimilation: A strategy for implementing self-reorganizing knowledge bases. In Proceedings of the Sixth National Conference on Artificial Intelligence, pages 449-453, Los Angeles, CA, 1987. Morgan Kaufmann.
1987-9
S. L. Peters and S. C. Shapiro. A representation for natural category systems. In Proceedings of the Ninth Annual Conference of the Cognitive Science Society, pages 379-390. Lawrence Erlbaum Publishers, 1987.
1987-10
James Geller and Stuart C. Shapiro, Graphical deep knowledge for intelligent machine drafting. In Proceedings of the Tenth International Joint Conference on Artificial Intelligence (IJCAI-87), Los Angeles, CA, Morgan Kaufmann, 1987, 545-551. (Scanned, non-OCR version)
1987-11
S. L. Peters and S. C. Shapiro. A representation for natural category systems. In Proceedings of the Tenth International Joint Conference on Artificial Intelligence (IJCAI-87), pages 140-146, Los Altos, CA, 1987. Morgan Kaufmann.
1987-12
J. G. Neal and S. C. Shapiro, Knowledge-based parsing. In Leonard Bolc, editor, Natural Language Parsing Systems, Springer-Verlag, Berlin, 1987, 49-92.
1987-13
Stuart C. Shapiro and William J. Rapaport. Knowledge representation for natural language processing. In 1987 Natural Language Planning Workshop, pages 56-77. Northeast Artificial Intelligence Consortium, Minnowbrook, NY, 1987. Superseded by [1991-10].
1987-14
Stuart C. Shapiro and James Geller, Artificial intelligence and automated design. In Yehuda E. Kalay, editor, Computability of Design, John Wiley & Sons, 1987, 173-187.
1987-15
S. C. Shapiro and W. J. Rapaport. SNePS considered as a fully intensional propositional semantic network. In N. Cercone and G. McCalla, editors, The Knowledge Frontier, pages 263-315. Springer-Verlag, New York, 1987.
1987-16
S. C. Shapiro, Processing, bottom-up and top-down. In S. C. Shapiro, Ed. Encyclopedia of Artificial Intelligence. John Wiley & Sons, Inc., New York, 1987, 779-785. Also [1992-12].
1987-17
J. Geller, M. R. Taie, S. C. Shapiro, and S. N. Srihari, Device representation and graphics interfaces of VMES. In D. Sriram & R. A. Adey, Eds., Knowledge Based Expert Systems for Engineering: Classification, Education and Control. Computational Mechanics Publications, Southampton, UK, 1987, 15-28.
1988
1988-1
E. A. Fox, J. T. Nutter, T. Ahlswede, M. Evens, and J. Markowitz. Building a large thesaurus for information retrieval. In Proceedings of the Second Conference on Applied Natural Language Processing, pages 101-108, Austin, TX, 1988. ACL.
1988-2
William J. Rapaport. Syntactic semantics: Foundations of computational natural-language understanding. In J. Fetzer, editor, Aspects of Artificial Intelligence, pages 81-131. Kluwer Academic Publishers, Dordrecht, Holland, 1988. Reprinted in 1994-15.
1988-3
S. C. Shapiro and W. J. Rapaport. Models and minds: A reply to Barnden. Northeast Artificial Intelligence Consortium Technical Report TR-8737, Department of Computer Science, University at Buffalo, 1988. Superseded by [1991-10].
1988-4
Jeannette G. Neal and Stuart C. Shapiro, Intelligent multi-media interface technology. In Josehp W. Sullivan and Sherman W. Tyler, editors, Architectures for Intelligent Interfaces: Elements and Prototypes, Lockheed AI Center, 1988, 69-91. Superseded by [1991-2].
1988-5
J. P. Martins and S. C. Shapiro. A model for belief revision. Artificial Intelligence, 35(1):25-79, 1988.
1988-6
Janyce M. Wiebe and William J. Rapaport. A computational theory of perspective and reference in narrative. In Proceedings of the 26th Annual Meeting of the Association for Computational Linguistics, Association for Computational Linguistics, 1988, 131-138.
1988-7
W. J. Rapaport. A knowledge-representation challenge for SNePS. SNeRG Technical Note 20, Department of Computer Science, University at Buffalo, 1988.
1988-8
J. G. Neal, K. E. Bettinger, J. S. Byoun, Z. Dobes, and C. Y. Thielman. An intelligent multi-media human-computer dialogue system. In Proceedings of the Workshop on Space, Operations, Automation, and Robotics, (SOAR88), page 7. Wright State University, Dayton, OH, 1988.
1988-9
L. D. Roberts and W. J. Rapaport. Quantifier order, reflexive pronouns, and quasi-indexicals: Essay, comments, and reply. Technical Report 88-16, Department of Computer Science, University at Buffalo, 1988.
1988-10
S. L. Peters, S. C. Shapiro, and W. J. Rapaport. Flexible natural language processing and Roschian category theory. In Proceedings of the Tenth Annual Conference of the Cognitive Science Society, pages 125-131. Lawrence Erlbaum Publishers, 1988.
1988-11
Jeannette G. Neal, Zuzana Dobes, Keith E. Bettinger, and Jong S. Byoun, Multi-modal references in human-computer dialogue. In Proceedings of the Seventh National Conference on Artificial Intelligence, Morgan Kaufmann, 1988, 819-823.
1988-12
Stuart C. Shapiro. Representing plans and acts. In Proceedings of the Third Annual Workshop on Conceptual Graphs, pages 3.2.7-1 - 3.2.7-6. The American Association for Artificial Intelligence, Menlo Park, CA, 1988.
1988-13
Deepak Kumar, Syed Ali, and Stuart C. Shapiro. Discussing, using and recognizing plans in SNePS preliminary report - SNACTor: An acting system. In P V S Rao and P Sadanandan, editors, Modern Trends in Information Technology: Proceedings of the Seventh Biennial Convention of South East Asia Regional Computer Confederation, Tata McGraw-Hill, New Delhi, India, 1988, 177-182.
1988-14
W. J. Rapaport. To think or not to think. Noûs, 22(4):585-609, 1988.
1988-15
James Geller. A Knowledge Representation Theory for Natural Language Graphics. PhD thesis, Technical Report 88-15, Department of Computer Science, State University of New York at Buffalo, Buffalo, NY, July 1988. (Version dated May 1988)
1989
1989-1
S. C. Shapiro and The SNePS Implementation Group. SNePS-2 User's Manual. Department of Computer Science, University at Buffalo, 1989. Superseded by [1994-15].
1989-2
Stuart C. Shapiro. Formal foundations of an intensional propositional semantic network. Presented at the Workshop on Formal Aspects of Semantic Networks, Santa Catalina Island, CA., 1989. Superseded by [1991-3].
1989-3
W. J. Rapaport, E. M. Segal, S. C. Shapiro, D. A. Zubin, G. A. Bruder, J. F. Duchan, M. J. Almeida, J. H. Daniels, M. Galbraith, J. M. Wiebe, and A. H. Yuhan. Deictic centers and the cognitive structure of narrative comprehension. Technical Report 89-01, Department of Computer Science, University at Buffalo, 1989.
1989-4
Stuart C. Shapiro, Deepak Kumar, and Syed S. Ali, A propositional network approach to plans and plan recognition. In Proceedings of the AAAI 1988 Workshop on Plan Recognition, Los Altos, CA, 1989. Morgan Kaufmann, 21 pages.
1989-5
Jeannette G. Neal, Carol Y. Thielman, Douglas J. Funke, and Jung S. Byoun, Multi-modal output composition for human-computer dialogues. In Proceedings of the 1989 IEEE AI Systems in Government Conference, George Washington U., Washington DC, 1989, 250-257.
1989-6
W. J. Rapaport, E. M. Segal, S. C. Shapiro, D. A. Zubin, G. A. Bruder, J. F. Duchan, and D. M. Mark. Cognitive and computer systems for understanding narrative text. Technical Report 89-07, Department of Computer Science, University at Buffalo, 1989.
1989-7
Stuart C. Shapiro. The CASSIE projects: An approach to natural language competence. In J. P. Martins & E. M. Morgado, eds. EPIA 89: 4th Portugese Conference on Artificial Intelligence Proceedings. Lecture Notes in Artificial Intelligence 390. Springer-Verlag, Berlin, 1989, 362-380. (Revised version of The CASSIE Projects paper)(ps version)
1989-8
J. G. Neal, C. Y. Thielman, Z. Dobes, S. M. Haller, and S. C. Shapiro, Natural language with integrated deictic and graphic gestures. In Proceedings of the DARPA Speech and Natural Language Workshop, Morgan Kaufmann, 1989, 410-423. Superseded by [1998-4].
1989-9
J. G. Neal, C. Y. Thielman, Z. Dobes, S. M. Haller, S. Glanowski, and S. C. Shapiro, CUBRICON: A multi-modal user interface. Presented at the GIS/LIS '89 Conference, Orlando, FL, November, 1989, 12 pages.
1989-10
Richard W. Wyatt. The representation of opaque contexts. Master's thesis, Technical Report 89-13, Department of Computer Science, State University of New York at Buffalo, Buffalo, NY, December 1989.
1989-11
VMES Group, VMES User's Manual, State University of New York at Buffalo, Buffalo, NY, November 29, 1989, 16 pages.
1990
1990-1
S. C. Shapiro and J. P. Martins. Recent advances and developments - the SNePS 2.1 report. In D. Kumar, editor, Current Trends in SNePS-Semantic Network Processing System: Proceedings of the First Annual SNePS Workshop, pages 1-13, Buffalo, NY, 1990. Springer-Verlag.
1990-2
M. R. Cravo and J. P. Martins. Path-based inference revisited. In D. Kumar, editor, Current Trends in SNePS-Semantic Network Processing System: Proceedings of the First Annual SNePS Workshop, pages 15-26, Buffalo, NY, 1990. Springer-Verlag.
1990-3
N. J. Mamede and J. P. Martins. Expanding SNePS capabilities with LORE. In D. Kumar, editor, Current Trends in SNePS-Semantic Network Processing System: Proceedings of the First Annual SNePS Workshop, pages 27-39, Buffalo, NY, 1990. Springer-Verlag.
1990-4
J. Geller. Order dependence of declarative knowledge representation. In D. Kumar, editor, Current Trends in SNePS-Semantic Network Processing System: Proceedings of the First Annual SNePS Workshop, pages 41-54, Buffalo, NY, 1990. Springer-Verlag.
1990-5
D. Kumar. An integrated model of acting and inference. In D. Kumar, editor, Current Trends in SNePS-Semantic Network Processing System: Proceedings of the First Annual SNePS Workshop, pages 55-65, Buffalo, NY, 1990. Springer-Verlag.
1990-6
R. R. Dipert. The structure of agency: Issues in the representation of agency and action. In D. Kumar, editor, Current Trends in SNePS-Semantic Network Processing System: Proceedings of the First Annual SNePS Workshop, pages 67-84, Buffalo, NY, 1990. Springer-Verlag.
1990-7
R. K. Srihari and W. J. Rapaport. Exacting visual information from text: Using captions to label human faces in newspaper photographs. In D. Kumar, editor, Current Trends in SNePS-Semantic Network Processing System: Proceedings of the First Annual SNePS Workshop, pages 85-96, Buffalo, NY, 1990. Springer-Verlag.
1990-8
J. T. Nutter. Knowledge based lexicons. In D. Kumar, editor, Current Trends in SNePS-Semantic Network Processing System: Proceedings of the First Annual SNePS Workshop, pages 97-106, Buffalo, NY, 1990. Springer-Verlag.
1990-9
W. J. Rapaport. Representing fiction in SNePS. In D. Kumar, editor, Current Trends in SNePS-Semantic Network Processing System: Proceedings of the First Annual SNePS Workshop, pages 107-121, Buffalo, NY, 1990. Springer-Verlag.
1990-10
R. Wyatt. Kinds of opacity and their representations. In D. Kumar, editor, Current Trends in SNePS-Semantic Network Processing System: Proceedings of the First Annual SNePS Workshop, pages 123-144, Buffalo, NY, 1990. Springer-Verlag.
1990-11
Charles Rapp, Martha Evens, and David Garfield, Design of an emotion profiler using SNePS. In Deepak Kumar, editor, Current Trends in SNePS-Semantic Network Processing System: Proceedings of the First Annual SNePS Workshop, pages 145-152, Buffalo, NY, 1990. Springer-Verlag.
1990-12
B. E. Cline and J. T. Nutter. Implications of natural catagories for natural language generation. In D. Kumar, editor, Current Trends in SNePS-Semantic Network Processing System: Proceedings of the First Annual SNePS Workshop, pages 153-162, Buffalo, NY, 1990. Springer-Verlag.
1990-13
Deepak Kumar, Syed S. Ali, Juergen Haas, and Stuart C. Shapiro. The SNePS acting system. In Keith E. Bettinger and Geetha Srikantan, Eds., UBGCCS-90: Proceedings of the Fifth Annual University at Buffalo Graduate Conference on Computer Science, Department of Computer Science, State University of New York at Buffalo, Buffalo, NY, 1990, 91-100.
1990-14
J. M. Wiebe. Recognizing Subjective Sentences: A Computational Investigation of Narrative Text. PhD thesis, Technical Report 90-03, Department of Computer Science, University at Buffalo, 1990.
1990-15
S. C. Shapiro and W. J. Rapaport. Models and minds: Knowledge representation for natural-language competence. Technical Report 90-10, Department of Computer Science, University at Buffalo, 1990. Superseded by [1991-10].
1990-16
William J. Rapaport. Predication, fiction, and artificial intelligence. Technical Report 90-11, Department of Computer Science, University at Buffalo, 1990. Superseded by [1991-1].
1990-17
J. M. Lammens. Cultural literacy: Educating Cassie? SNeRG Technical Note 21, Department of Computer Science, University at Buffalo, 1990.
1990-18
Susan M. Haller and Syed S. Ali. Using focus for generating felicitous locative expressions. In Proceedings of the Third International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems, Association for Computing Machinery, July, 1990, pages 472-477.
1990-19
Stuart C. Shapiro and William J. Rapaport. The SNePS family. Technical Report 90-21, Department of Computer Science, University at Buffalo, 1990. (ps version. Superseded by [1992-2].)
1990-20
S. C. Shapiro. Case studies of SNePS. Technical Report 90-29, Department of Computer Science, University at Buffalo, 1990. Superseded by [1991-4].
1990-21
Sandra L. Peters and William J. Rapaport. Superordinate and basic level categories in discourse: Memory and context. In Program of the Twelfth Annual Conference of the Cognitive Science Society, pages 157-165, Hillsdale, NJ, 1990. Lawrence Erlbaum Associates.
1990-22
William J. Rapaport. Cognitive science. Technical Report 90-12, Department of Computer Science, University at Buffalo, 1990. 10 pages. Superseded by [1996-10].
1990-23
William J. Rapaport. Computer processes and virtual persons: Comments on Cole's `Artificial intelligence and personal identity'. Technical Report 90-13, Department of Computer Science, State University of New York at Buffalo, Buffalo, NY, May 1990.
1990-24
J. Chen, J. Choi, J. Geller, A. Kumar, M. R. Taie, S. C. Shapiro, S. N. Srihari, and S. J. Upadhyaya, VMES: A Versatile Maintenance Expert System, Technical Report 90-06, Department of Computer Science, State University of New York at Buffalo, November 30, 1989, 49 pages.
1991
1991-1
William J. Rapaport. Predication, fiction, and artificial intelligence. Topoi, 10:79-111, 1991.
1991-2
Jeannette G. Neal and Stuart C. Shapiro. Intelligent multi-media interface technology. In Joseph W. Sullivan and Sherman W. Tyler, editors, Intelligent User Interfaces, Addison Wesley, Reading, MA, 1991, 11-43. (Missing pages 36-37.)
1991-3
Stuart C. Shapiro. Cables, paths and ``subconscious'' reasoning in propositional semantic networks. In John F. Sowa, editor, Principles of Semantic Networks, chapter 4, pages 137-156. Morgan Kaufmann, San Mateo, CA, 1991.
1991-4
Stuart C. Shapiro. Case Studies of SNePS, SIGART Bulletin, 2(3):128-134, June 1991.
1991-5
Stuart C. Shapiro, Hans Chalupsky, and Hsueh-Cheng Chou. Connecting ARC/INFO and SNACTor. Technical Report 91-13, Department of Computer Science, University at Buffalo, Buffalo, NY, July 1991. Superseded by [1992-7].
1991-6
Deepak Kumar and Stuart C. Shapiro. Architecture of an Intelligent Agent in SNePS, SIGART Bulletin, 2(4):89-92, August 1991.
1991-7
Christopher M. Lusardi. A SNePS/Cassie implementation of parts of the dictionary of cultural literacy. SNeRG Technical Note 22, Department of Computer Science, University at Buffalo, Buffalo, NY, September 1991. 74 pages.
1991-8
Deepak Kumar and Stuart C. Shapiro. Modeling a rational cognitive agent in SNePS. In P. Barahona, L. Moniz Pereira, and A. Porto, editors, EPIA 91: 5th Portugese Conference on Artificial Intelligence, Lecture Notes in Artificial Intelligence 541, pages 120-134. Springer-Verlag, Heidelberg, 1991.
1991-9
Joongmin Choi and Stuart C. Shapiro. Experience-based deductive learning. In Third International Conference on Tools for Artificial Intelligence TAI '91, IEEE Computer Society Press, Los Alamitos, CA, 1991, 502-503.
1991-10
Stuart C. Shapiro and William J. Rapaport. Models and minds: Knowledge representation for natural-language competence. In Robert Cummins and John Pollock, editors, Philosophy and AI: Essays at the Interface, pages 215-259. MIT Press, Cambridge, MA, 1991.
1991-11
Albert Hanyong Yuhan. Dynamic Computation of Spatial Reference Frames in Narrative Understanding. PhD thesis, Technical Report 91-03, Department of Computer Science, State University of New York at Buffalo, Buffalo, NY, February 1991.
1991-12
Rohini Srihari. Extracting Visual Information from Text: Using Captions to Label Faces in Newspaper Photographs. PhD thesis, Technical Report 91-17, Department of Computer Science, State University of New York at Buffalo, Buffalo, NY, November 1991.
1991-13
Martin J. Zaidel. XGinseng: An X windows graphic display tool for SNePS networks. SNeRG Technical Note 23, Department of Computer Science, University at Buffalo, Buffalo, NY, May 1991. 18 pages.
1991-14
Daniel Campos. Temporal relations and spanish narrative: A small step towards language understanding. SNeRG Technical Note 24, Department of Computer Science, University at Buffalo, Buffalo, NY, September 1991. 136 pages.
1991-15
Martins, João P., & Cravo, Maria R. (1991), "How to Change Your Mind", Noûs 25(4): 537–551.
1992
1992-1
Joongmin Choi and Stuart C. Shapiro. Efficient implementation of non-standard connectives and quantifiers in deductive reasoning systems. In Proceedings of the Twenty-Fifth Hawaii International Conference on System Sciences, pages 381-390. IEEE Computer Society Press, Los Alamitos, CA, 1992.
1992-2
Stuart C. Shapiro and William J. Rapaport. The SNePS family. Computers & Mathematics with Applications, 23(2-5):243-275, January-March 1992. Reprinted in F. Lehmann, Ed. Semantic Networks in Artificial Intelligence. Pergamon Press, Oxford, 1992, 243-275. (ps version. Both versions are missing some figures.)
1992-3
Stuart C. Shapiro and William J. Rapaport, SNePS considered as a fully intensional propositional semantic network. In Leslie Burkholder, editor, Philosophy and the Computer, Westview Press, Boulder, CO, 1992, 75-91. Slightly revised version of [1986-14]. Superseded by [1987-15].
1992-4
Stuart C. Shapiro. Relevance logic in computer science. Section 83 of Alan Ross Anderson and Nuel D. Belnap, Jr. and J. Michael Dunn et al. Entailment, Volume II, pages 553-563. Princeton University Press, Princeton, NJ, 1992. (ps version)
1992-5
Henry Hexmoor, Johan Lammens, and Stuart C. Shapiro. An autonomous agent architecture for integrating perception and acting with grounded, embodied symbolic reasoning. Technical Report 92-21, Department of Computer Science, University at Buffalo, Buffalo, NY, September 1992. 22 pages. (ps version)
1992-6
John S. Lewocz. XGinseng: An X windows editing and display tool for SNePS networks. SNeRG Technical Note 25, Department of Computer Science, University at Buffalo, Buffalo, NY, August 1992. 9 pages.
1992-7
Stuart C. Shapiro, Hans Chalupsky, Hsueh-Cheng Chou, and David M. Mark. Intelligent user interfaces: Connecting ARC/INFO and SNACTor, a semantic network based system for planning actions. In Proceedings of the Twelfth Annual ESRI User Conference, V. 3, Environmental Systems Research Institute, Redlands, California, 1992, 151-165.
1992-8
Henry Hexmoor and Donald Nute. Methods for deciding what to do next and learning. Technical Report 92-23, Department of Computer Science, University at Buffalo, Buffalo, NY, September 1992. 20 pages. (Methods for deciding what to do next and learning, draft of August 18, 1992.)
1992-9
Sung-Hye Cho, Representations of collections in a propositional semantic network. In Working Notes of the AAAI 1992 Spring Symposium on Propositional Knowledge Representation. AAAI Press, 43-50, March 1992.
1992-10
Deepak Kumar & Stuart C. Shapiro, Deductive efficiency + belief revision: how they affect an ontology of actions and acting. In Working Notes of the AAAI 1992 Spring Symposium on Propositional Knowledge Representation, AAAI Press, March, 1992, 93-99.
1992-11
S. C. Shapiro, Artificial Intelligence. In S. C. Shapiro, Ed. Encyclopedia of Artificial Intelligence, Second Edition. John Wiley & Sons, Inc., New York, 1992, 54-57. (ps version) Revised version: [2000-1].
1992-12
S. C. Shapiro, Processing, bottom-up and top-down. In S. C. Shapiro, Ed. Encyclopedia of Artificial Intelligence, Second Edition. John Wiley & Sons, Inc., New York, 1992, 1229-1234. Also [1987-16].
1992-13
Stuart C. Shapiro, The Turing Test and The Economist, ACM SIGART Bulletin, 3, 4, October 1992, 10-11.
1992-14
Stuart C. Shapiro, Relevance logic in computer science. Section 83 of Alan Ross Anderson and Nuel D. Belnap, Jr. and J. Michael Dunn et al. Entailment, Volume II, pages 553-563. Princeton University Press, Princeton, NJ, 1992. (ps version)
1992-15
Henry Hexmoor, Johan Lammens, and Stuart C. Shapiro. A grounded layered architecture with integrated reasoning for autonomous agents, Department of Computer Science, State University of New York at Buffalo, Buffalo, NY, November 7, 1992. 24 pages.
1993
1993-1
Deepak Kumar. A unified model of acting and inference. In Jay F. Nunamaker, Jr. and Ralph H. Sprague, Jr., editors, Proceedings of the Twenty-Sixth Hawaii International Conference on System Sciences Volume III, IEEE Computer Society Press, Los Alamitos, CA, 1993, 483-492.
1993-2
Deepak Kumar. An AI architecture based on message passing. In James Geller, editor, Proceedings of The 1993 AAAI Spring Symposium on Innovative Applications of Massive Parallelism, pages 127-131. AAAI Press, March 1993.
1993-4
Deepak Kumar. Rational engines for BDI architectures. In Amy Lansky, editor, Proceedings of The 1993 AAAI Spring Symposium on Foundations of Automated Planning, pages 78-82. AAAI Press, March 1993.
1993-5
Henry Hexmoor, Guido Caicedo, Frank Bidwell, and Stuart C. Shapiro. Air battle simulation: An agent with `conscious' and `unconscious' layers. In Daniel F. Boyd, editor, UBGCCS 93: Proceedings of The Eighth Annual University at Buffalo Graduate Conference on Computer Science, Technical Report No. 93-14, pages 52-59. Department of Computer Science, State University of New York at Buffalo, Buffalo, NY, March 1993.
1993-6
Karen Ehrlich and William J. Rapaport. Vocabulary expansion through natural-language context. In Daniel F. Boyd, editor, UBGCCS 93: Proceedings of The Eighth Annual University at Buffalo Graduate Conference on Computer Science, Technical Report No. 93-14, pages 78-84. Department of Computer Science, State University of New York at Buffalo, Buffalo, NY, March 1993.
1993-7
Henry Hexmoor, Johan Lammens, and Stuart C. Shapiro. Embodiment in GLAIR: a grounded layered architecture with integrated reasoning for autonomous agents. In Douglas D. Dankel II and John Stewman, editors, Proceedings of The Sixth Florida AI Research Symposium (FLAIRS 93), the Florida AI Research Society, April 1993, 325-329. (TR 93-10 pdf version) (TR 93-10 ps version)
1993-8
Johan Lammens, Henry Hexmoor, and Stuart C. Shapiro. Of elephants and men. Technical Report 93-13, Department of Computer Science, University at Buffalo, Buffalo, NY, April 1993. Superseded by [1995-1].
1993-9
Henry Hexmoor, Johan Lammens, Guido Caicedo, and Stuart C. Shapiro. Behavior based AI, cognitive processes, and emergent behaviors in autonomous agents. Technical Report 93-15, Department of Computer Science, University at Buffalo, Buffalo, NY, April 1993. 15 pages. Superseded by [1993-24]
1993-10
Susan M. Haller. Interactive generation of plan justifications. In Preprints of the Fourth European Workshop on Natural Language Generation, pages 79-89. CNR--Consiglio Nazionale delle Ricerche and AI*IA--Associazione Italiana per l'Intelligenza Artificiale, April 1993.
1993-11
Stuart C. Shapiro. Belief spaces as sets of propositions. Journal of Experimental and Theoretical Artificial Intelligence (JETAI), 5(2&3):225-235, April-September 1993. (PDF preprint PS preprint.)
1993-12
Deepak Kumar and Stuart C. Shapiro. Deductive efficiency, belief revision and acting. Journal of Experimental and Theoretical Artificial Intelligence (JETAI) 5, 2&3 (April-September 1993), 167-177.
1993-13
Syed S. Ali. A structured representation for noun phrases and anaphora. In Proceedings of the Fifteenth Annual Conference of the Cognitive Science Society, pages 197-202, Hillsdale, NJ, June 1993. Lawrence Erlbaum.
1993-14
Stuart C. Shapiro. Preface to special issue on knowledge representation for natural language processing. Minds and Machines, 3(4):377-380, November 1993.
1993-15
Syed S. Ali and Stuart C. Shapiro. Natural language processing using a propositional semantic network with structured variables. Minds and Machines, 3(4):421-451, November 1993. (Technical Report versions: tr93-16.pdf; tr93-16.ps.)
1993-16
Susan M. Haller. Collaboration in an interactive model of plan explanation. In Proceedings of the AAAI Fall Symposium on Human-Computer Collaboration, Raliegh, North Carolina. Technical Report FS93-05, AAAI Press, October 1993.
1993-17
Susan M. Haller. Planning for intentions with rhetorical relations. In Owen Rambow, editor, Intentionality and Structure in Discourse Relations, pages 23-26. Association for Computational Linguistics, June 1993.
1993-18
Susan M. Haller. An interactive model for plan explanation. In Chris Rowles, Huan Liu, and Norman Foo, editors, AI '93: Proceedings of the 6th Australian Joint Conference on Artificial Intelligence, pages 371-376. World Scientific, Singapore, November 1993.
1993-19
Hans Chalupsky. Using hypothetical reasoning as a method for belief ascription. Journal of Experimental and Theoretical Artificial Intelligence (JETAI), 5(2&3):119-133, April-September 1993.
1993-20
Joongmin Choi. Experienced-Based Learning in Deductive Reasoning Systems. PhD thesis, Technical Report 93-20, Department of Computer Science, State University of New York at Buffalo, Buffalo, NY, May 1993. 136 pages. (ps version)
1993-21
Johan M. Lammens and Stuart C. Shapiro. Learning symbolic names for perceived colors. In Machine Learning in Computer Vision: What, Why and How?, AAAI-TR FSS-93-04, AAAI Press, October 1993.
1993-22
Henry H. Hexmoor, Johan M. Lammens, and Stuart C. Shapiro. An autonomous agent architecture for integrating ``unconscious'' and ``conscious'', reasoned behaviors, Proc. Computer Architectures for Machine Perception, IEEE Computer Society Press, Los Alamitos, CA, 1993, 328-336.
1993-23
Douglas J. Funke, Jeannette G. Neal, and Rajendra D. Paul. An approach to intelligent automated window management. Int. J. Man-Machine Studies, 38:949-983, 1993.
1993-24
Henry Hexmoor, Johan Lammens, Guido Caicedo, and Stuart C. Shapiro. Behavior based AI, cognitive processes, and emergent behaviors in autonomous agents. In G. Rzevski, J. Pastor, and R. Adey, Eds, Applications of Artificial Intelligence in Engineering VIII, Vol. 2 Applications and Techniques, Computational Mechanics/Elsevier, 1993, 447-461. (ps version)
1993-25
Cravo, Maria R. & Martins, João P., (1993), "SNePSwD: A Newcomer to the SNePS Family", Journal of Experimental and Theoretical Artificial Intelligence 5: 135-148.
1993-26
The DARPA Knowledge Sharing Initiative External Interfaces Working Group, with major contributions from Tim Finin, Jay Weber, Gio Wiederhold, Michael Genesereth, Richard Fritzson, Donald McKay, James McGuire, Richard Pelavin, Stuart Shapiro, and Chris Beck, Specification of the KQML Agent-Communication Language -- plus example agent policies and architectures, June 15, 1993.
1993-27
Stuart C. Shapiro, Preface to Special Issue on Knowledge representation for natural language processing, Minds and Machines 3, 4 (November, 1993) 377-380.
1994
1994-1
Susan M. Haller. A model for cooperative interactive plan explanation. In Proceedings of the The Tenth IEEE Conference on Artificial Intelligence for Applications, pages 254-260, Los Alamitos, CA, 1994. IEEE Computer Society Press.
1994-2
Syed S. Ali. A ``Natural Logic'' for Natural Language Processing and Knowledge Representation. PhD thesis, Technical Report 94-01, Department of Computer Science, State University of New York at Buffalo, Buffalo, NY, January 1994. 125 pages. [PDF]
1994-3
Deepak Kumar. From Beliefs and Goals to Intentions and Actions: An Amalgamated Model of Inference and Acting. PhD thesis, Technical Report 94-04, Department of Computer Science, State University of New York at Buffalo, Buffalo, NY, 1994. 203 pages.
1994-4
Henry H. Hexmoor. What are routines good for? Technical Report 94-07, Department of Computer Science, State University of New York at Buffalo, Buffalo, NY, February 1994. 8 pages.
1994-5
Henry H. Hexmoor. A methodology for developing competent agents without sensor and actuator profusion. Technical Report 94-09, Department of Computer Science, State University of New York at Buffalo, Buffalo, NY, March 1994. 5 pages.
1994-6
Robin K. Hill. Issues of Semantics in a Semantic-Network Representation of Belief. PhD thesis, Technical Report 94-11, Department of Computer Science, State University of New York at Buffalo, Buffalo, NY, April 1994.
1994-7
Susan M. Haller. Representing discourse for efficient interactive generation. In Douglas D. Dankel II, editor, Proceedings of the Seventh Florida Artificial Intelligence Research Symposium, pages 179-183. the Florida AI Research Society, St. Petersburg, FL, May 1994.
1994-8
Deepak Kumar and Stuart C. Shapiro. Acting in service of inference (and vice versa). In Douglas D. Dankel II, editor, Proceedings of the Seventh Florida Artificial Intelligence Research Symposium, pages 207-211. the Florida AI Research Society, St. Petersburg, FL, May 1994.
1994-9
Johan M. Lammens. A Computational Model of Color Perception and Color Naming. PhD thesis, Technical Report 94-26, Department of Computer Science, State University of New York at Buffalo, Buffalo, NY, June 1994. 253 pages. ps version. See also NEC ResearchIndex entry
1994-10
William J. Rapaport. Understanding understanding: Syntactic semantics and computational cognition. Technical Report 94-28, Department of Computer Science, State University of New York at Buffalo, July 1994. Superseded by [1995-16].
1994-11
Hans Chalupsky and Stuart C. Shapiro. SL: A subjective, intensional logic of belief. Proceedings of the Sixteenth Annual Conference of the Cognitive Science Society, Lawrence Erlbaum, Hillsdale, NJ, August 1994, 165-170.
1994-12
Jeannette G. Neal and Stuart C. Shapiro. Knowledge-based multimedia systems. In John F. Koegel Buford, Ed., Multimedia Systems, ACM Press/Addison Wesley, Reading, MA, 1994 403-438.
1994-13
S. C. Shapiro and The SNePS Implementation Group. SNePS 2.1 User's Manual. Department of Computer Science, University at Buffalo, 1994. Superseded by [1995-15].
1994-14
Susan M. Haller. Interactive Generation of Plan Descriptions and Justifications. PhD thesis, Technical Report 94-40, Department of Computer Science, State University of New York at Buffalo, Buffalo, NY, November 1994.
1994-15
W. J. Rapaport. Syntactic semantics: Foundations of computational natural-language understanding. In E. Dietrich, editor, Thinking Computers & Virtual Persons: Essays on the Intentionality of Machines, pages 225-273. Academic Press, San Diego, 1994. Reprinted from 1988-2.
1994-16
Deepak Kumar and Stuart C. Shapiro. The OK BDI architecture. International Journal on Artificial Intelligence Tools, 3(3):349-366, March 1994.
1994-17
Deepak Kumar, Susan Haller, & Syed S. Ali, Towards a Unified AI Formalism. In Jay F. Nunamaker, Jr. and Ralph H. Sprague, Jr., editors, Proceedings of the Twenty-Seventh Hawaii International Conference on Systems Sciences Volume III, IEEE Computer Society Press, Los Alamitos, CA, 1994, 92-101.
1994-18
Stuart C. Shapiro, SNePS as a Database Management System, invited talk presented at the Third International SNePS Workshop, Buffalo, NY, July 29, 1994, 7 pages.
1995
1995-1
Johan M. Lammens, Henry H. Hexmoor, and Stuart C. Shapiro. Of elephants and men. In Luc Steels, editor, The Biology and Technology of Intelligent Autonomous Agents, pages 312-344. Springer-Verlag, Berlin, 1995.
1995-2
Karen Ehrlich. Automatic Vocabulary Expansion through Narrative Context. PhD thesis, Technical Report 95-09, Department of Computer Science, State University of New York at Buffalo, Buffalo, NY, February 1995.
1995-3
Karen Ehrlich and William J. Rapaport. A computational theory of vocabulary expansion. Technical Report 95-15, Department of Computer Science, State University of New York at Buffalo, Buffalo, NY, March 1995. 26 pages.
1995-4
Susan Haller. Planning text for interactive plan explanations. In E. A. Yfantis, editor, Intelligent Systems: Third Golden West International Conference: Edited and Selected Papers, pages 61-67. Kluwer Academic Publishers, Dordrecht, The Netherlands, 1995.
1995-5
Deepak Kumar and Stuart C. Shapiro. The OK BDI architecture. In E. A. Yfantis, editor, Intelligent Systems: Third Golden West International Conference: Edited and Selected Papers, pages 307-317. Kluwer Academic Publishers, Dordrecht, The Netherlands, 1995. Superseded by [1994-16].
1995-6
Syed S. Ali. ANALOG: A knowledge representation system for natural language processing. In E. A. Yfantis, editor, Intelligent Systems: Third Golden West International Conference: Edited and Selected Papers, Kluwer Academic Publishers, Dordrecht, The Netherlands, 1995, 327-332.
1995-7
Robin K. Hill. Non-well-founded set theory and the circular semantics of semantic networks. In E. A. Yfantis, editor, Intelligent Systems: Third Golden West International Conference: Edited and Selected Papers, pages 375-386. Kluwer Academic Publishers, Dordrecht, The Netherlands, 1995.
1995-8
Stuart C. Shapiro and William J. Rapaport. An introduction to a computational reader of narratives. In Judith F. Duchan, Gail A. Bruder, and Lynne E. Hewitt, editors, Deixis in Narrative: A Cognitive Science Perspective, pages 79-105. Lawrence Erlbaum Associates, Inc., Hillsdale, NJ, 1995.
1995-9
William J. Rapaport and Stuart C. Shapiro. Cognition and fiction. In Judith F. Duchan, Gail A. Bruder, and Lynne E. Hewitt, editors, Deixis in Narrative: A Cognitive Science Perspective, pages 107-128. Lawrence Erlbaum Associates, Inc., Hillsdale, NJ, 1995.
1995-10
Michael J. Almeida. Time in narratives. In Judith F. Duchan, Gail A. Bruder, and Lynne E. Hewitt, editors, Deixis in Narrative: A Cognitive Science Perspective, pages 159-189. Lawrence Erlbaum Associates, Inc., Hillsdale, NJ, 1995.
1995-11
Albert Hanyong Yuhan and Stuart C. Shapiro. Computational representation of space. In Judith F. Duchan, Gail A. Bruder, and Lynne E. Hewitt, editors, Deixis in Narrative: A Cognitive Science Perspective, pages 191-225. Lawrence Erlbaum Associates, Inc., Hillsdale, NJ, 1995.
1995-12
Janyce M. Wiebe. References in narrative text. In Judith F. Duchan, Gail A. Bruder, and Lynne E. Hewitt, editors, Deixis in Narrative: A Cognitive Science Perspective, pages 263-286. Lawrence Erlbaum Associates, Inc., Hillsdale, NJ, 1995.
1995-13
Stuart C. Shapiro. Computationalism. Minds and Machines, 5(4):517-524, November 1995. (ps version)
1995-14
Henry Hexmoor and David Kortenkamp. Issues on building software for hardware agents. The Knowledge Engineering Review, 10(3):301-304, 1995.
1995-15
S. C. Shapiro and The SNePS Implementation Group. SNePS 2.3 User's Manual. Department of Computer Science, University at Buffalo, Buffalo, NY, 1995.
1995-16
William J. Rapaport. Understanding understanding: Syntactic semantics and computational cognition. In James E. Tomberlin, editor, AI, Connectionism, and Philosophical Psychology, volume 9 of Philosophical Perspectives, pages 49-88. Ridgeview, Atascadero, CA, 1995.
1995-17
William J. Rapaport, Stuart C. Shapiro, and Janyce M. Wiebe. Quasi-indexicals and knowledge reports. Technical Report 95-17, Department of Computer Science, University at Buffalo, 1995. 53 pages. Superseded by [1997-1]
1995-18
Henry H. Hexmoor Representing and Learning Routine Activities. Unpublished PhD Dissertation, Department of Computer Science, University at Buffalo, December, 1995.
1995-19
Stuart C. Shapiro, SIGART section of "The Scope and Tutorial Needs of the ACM SIGs," ACM Computing Surveys 27, 1 (March 1995), 124-127.
1995-20
Alistair E. Campbell, Hans Chalupsky, and Stuart C. Shapiro, Ontological Mediation: An Analysis, Department of Computer Science and Center for Cognitive Science, State University of New York at Buffalo, Buffalo, NY, Draft, February 1, 1995.
1996
1996-1
Deepak Kumar. The SNePS BDI architecture. Decision Support Systems, 16, 1 (January) 3-19, 1996.
1996-2
Hans Chalupsky and Stuart C. Shapiro, Reasoning about incomplete agents, Proceedings of the Fifth International Conference on User Modeling (UM-96), User Modeling, Inc., 1996, 169-177.
1996-3
Stuart C. Shapiro. Formalizing english. International Journal of Expert Systems, 9, 1996. (ps version)
1996-4
Susan M. Haller and Stuart C. Shapiro. IDP -- an interactive discourse planner. In Giovanni Adorni and Mickael Zock, editors, Trends in Natural Language Generation: An Artificial Intelligence Perspective, Lecture Notes in Artificial Intelligence 1036, pages 144-167. Springer-Verlag, Berlin, 1996.
1996-5
Brian Harris. A natural-language UNIX interpreter. SNeRG Technical Note 26, Department of Computer Science, University at Buffalo, Buffalo, NY, May 1996. 25 pages.
1996-6
Jonathan DeAngelo. Implementing polysemy in a knowledge representation scheme. SNeRG Technical Note 27, Department of Computer Science, University at Buffalo, Buffalo, NY, June 1996. 40 pages.
1996-7
Syed S. Ali, Lucja Iwanska, & Stuart C. Shapiro, Knowledge Representation and Inference for Natural Language Processing (Guest Editors' Preface), International Journal of Expert Systems 9, 1 (1996) 1-14.
1996-8
Henry Hexmoor & Stuart C. Shapiro, Architecture of a Communicating, Visually Driven Robot Assistant. Technical Report 96-16, Department of Computer Science, State University of New York at Buffalo, Buffalo, NY, October, 1996. 15 pages.
1996-9
Hans Chalupsky, SIMBA: Belief Ascription by Way of Simulative Reasoning. PhD dissertation, Technical Report 96-18, Department of Computer Science, State University of New York at Buffalo, Buffalo, NY, January, 1996. 180 pages.
1996-10
William J. Rapaport. Cognitive Science, Technical Report 96-19, Department of Computer Science, State University of New York at Buffalo, Buffalo, NY, January, 1996. 12 pages.
1996-11
Mark R. Jensen. Knowledge Representation of an Encyclopedia Article. SNeRG Technical Note 28, Department of Computer Science, University at Buffalo, Buffalo, NY, June 1996. 48 pages + 7 pg. appendix in hardcopy only.
1996-12
Susan Haller, Planning Text About Plans Interactively, International Journal of Expert Systems 9, 1 (1996) 85-112.

1997
1997-1
William J. Rapaport, Stuart C. Shapiro, & Janyce M. Wiebe, Quasi-Indexicals and Knowledge Reports. Cognitive Science 21, 1 (January-March, 1997), 63-107. Reprinted as [1998-5]
1997-2
Henry Hexmoor, David Kortenkamp, & Ian Horswill, Software Architectures for Hardware Agents. Journal of Experimental and Theoretical Artificial Intelligence (JETAI) 9 (1997) 147-156.
1997-3
Henry Hexmoor & Stuart C. Shapiro, Integrating Skill and Knowledge in Expert Agents. In P. J. Feltovich, K. M. Ford, & R. R. Hoffman, Eds., Expertise in Context, AAAI Press/MIT Press, Menlo Park, CA / Cambridge, MA, 1997, 383-404.
1997-4
Karen Ehrlich & William J. Rapaport. A computational theory of vocabulary expansion. In Proceedings of the 19th Annual Conference of the Cognitive Science Society, Lawrence Erlbaum Associates, Mahwah NJ, 1997, 205-210.
1997-5
Min-Hung Liao, Chinese to English Machine Translation Using SNePS as an Interlingua. M.A. Thesis, Technical Report 97-16, Department of Computer Science, State University of New York at Buffalo, Buffalo, NY, December, 1997. (Original ps version)
1997-6
Susan McRoy, Syed Ali & Susan Haller, Uniform Knowledge Representation for Language Processing in the B2 System, Journal of Natural Language Engineering 3, 2/3 (1997) 123-145.

1998
1998-1
Stuart C. Shapiro, A Procedural Solution to the Unexpected Hanging and Sorites Paradoxes, Mind 107, 428 (October, 1998), 751-761. HTML Archival Abstract. PS Preprint Version. PDF Preprint Version.
1998-2
Alistair E. Campbell and Stuart C. Shapiro, Algorithms for Ontological Mediation. In S. Harabagiu, Ed., Usage of WordNet in Natural Language Processing Systems: Proceedings of the Workshop, COLING-ACL, New Brunswick, NJ, 1998, 102-107. Also Technical Report 98-02, Department of Computer Science and Engineering, State University of New York at Buffalo, Buffalo, NY, January, 1998. (ps version of TR 98-02)
1998-3
Alan Hunt and Geoffrey D. Koplas, Definitional Vocabulary Acquisition Using Natural Language Processing and a Dynamic Lexicon. SNeRG Technical Note 29, Department of Computer Science, University at Buffalo, Buffalo, NY, March, 1998. 11 pages.
1998-4
J. G. Neal, C. Y. Thielman, Z. Dobes, S. M. Haller, and S. C. Shapiro, Natural language with integrated deictic and graphic gestures. In In Mark T. Maybury and Wolfgang Wahlster, Eds. Readings in Intelligent User Interfaces, Morgan Kaufmann, San Francisco, 1998, 38-51.
1998-5
William J. Rapaport, Stuart C. Shapiro, & Janyce M. Wiebe, Quasi-Indexicals and Knowledge Reports. In Francesco Orilia and William J. Rapaport, Eds. Thought, Language, and Ontology: Essays in Memory of Hector-Neri Castañeda, Kluwer Academic Publishers, Dordrecht, 1998, 235-294. Reprint of [1997-1]. (ps version)
1998-6
Stuart C. Shapiro, Embodied Cassie, Cognitive Robotics: Papers from the 1998 AAAI Fall Symposium, Technical Report FS-98-02, AAAI Press, Menlo Park, CA, 1998, 136-143. (ps version)
1998-7
Susan McRoy, Syed Ali & Susan Haller, Mixed Depth Representation for Dialogue Processing, Proceedings of the Twentieth Annual Conference of the Cognitive Science Society, Lawrence Erlbaum Assoc., Mahwah, NJ, 1998, 687-692.
1998-8
Moved to 1999-9 due to publication in 1999.
1998-9
William J. Rapaport, How Minds Can Be Computational Systems, Journal of Experimental and Theoretical Artificial Intelligence (JETAI) 10 (1998) 403-419. (ps version
1998-10
Stuart C. Shapiro, Belief Revision and Truth Maintenance Systems: An Overview and a Proposal Technical Report 98-10, Department of Computer Science and Engineering, University at Buffalo, Buffalo, NY, December 31, 1998. (ps version)

1999
1999-1
William J. Rapaport and Stuart C. Shapiro, Cognition and Fiction.In Ashwin Ram and Kenneth Moorman, Eds. Understanding Language Understanding: Computational Models of Reading, MIT Press, Cambridge, MA, 1999, 11-25.
1999-2
William J. Rapaport, Implementation is Semantic Interpretation, The Monist 82, 1 (January 1999), 109-130.
1999-3
Debra T. Burhans and Stuart C. Shapiro, Finding Hypothetical Answers with a Resolution Theorem Prover, Papers from the 1999 AAAI Fall Symposium on Question Answering Systems, Technical Report FS-99-02, AAAI Press, Menlo Park, CA, 1999, 32-38. (ps version, Superseded by [2007-1].)
1999-4
Debra T. Burhans and Stuart C. Shapiro, Expanding the Notion of Answer in Rule-Based Systems, Technical Report 99-07, Department of Computer Science and Engineering, University at Buffalo, Buffalo, NY, November 1999. Superseded by [2007-1]. (ps version)
1999-5
Frances L. Johnson and Stuart C. Shapiro, Says Who?---Incorporating Source Credibility Issues into Belief Revision, Technical Report 99-08, Department of Computer Science and Engineering, University at Buffalo, Buffalo, NY, July 31, 1999. (ps version)
1999-6
Frances L. Johnson and Stuart C. Shapiro, Finding and Resolving Contradictions in a Battle Scenario, Technical Report 99-09, Department of Computer Science and Engineering, University at Buffalo, Buffalo, NY, September 9, 1999. (ps version)
1999-7
Debra T. Burhans and Stuart C. Shapiro, Finding Hypothetical Answers with a Resolution Theorem Prover, Papers from the 1999 AAAI Fall Symposium on Question Answering Systems, Technical Report FS-99-02, AAAI Press, Menlo Park, CA, 1999, 32-38.
1999-8
Haythem O. Ismail and Stuart C. Shapiro, Cascaded Acts: Conscious Sequential Acting for Embodied Agents, Technical Report 99-10, Department of Computer Science and Engineering, University at Buffalo, Buffalo, NY, November 1, 1999. (ps version) (Revised version: 2001-9)
1999-9
Susan Haller, An Introduction to Interactive Discourse Processing from the Perspective of Plan Recognition and Text Planning, Artificial Intelligence Review 13, 4 (August 1999) 259-333.
1999-10
Alistair E. Campbell, Ontological Mediation: Finding Translations Across Dialects by Asking Questions, PhD dissertation, Department of Computer Science and Engineering, University at Buffalo, The State University of New York, Buffalo, NY, December, 1999.
1999-11
Stuart C. Shapiro and Haythem O. Ismail, A SNePS Agent for Unexploded Ordnance Disposal: Progress Report, unpublished document, Department of Computer Science and Engineering, State University of New York at Buffalo, Buffalo, NY, August 27, 1999, 15 pages.

2000
2000-1
Stuart C. Shapiro, Artificial Intelligence. In Anthony Ralston, Edwin D. Reilly and David Hemmendinger, Eds. Encyclopedia of Computer Science, Fourth Edition, Grove's Dictionaries Inc., NY, 2000, 89-93. (ps version) Revised version of [1992-11].
2000-2
Stuart C. Shapiro, Haythem O. Ismail, and John F. Santore, Our Dinner with Cassie, Working Notes for the AAAI 2000 Spring Symposium on Natural Dialogues with Practical Robotic Devices, AAAI Press, Menlo Park, CA, 2000, 57-61. (ps version)
2000-3
Haythem O. Ismail and Stuart C. Shapiro, Two Problems with Reasoning and Acting in Time. In A. G. Cohn, F. Giunchiglia, & B. Selman, Eds., Principles of Knowledge Representation and Reasoning: Proceedings of the Seventh International Conference (KR 2000), Morgan Kaufmann, San Francisco, 2000, 355-365. (ps version)
2000-4
Stuart C. Shapiro, SNePS: A Logic for Natural Language Understanding and Commonsense Reasoning. In Lucja M. Iwanska and Stuart C. Shapiro, Eds., Natural Language Processing and Knowledge Representation: Language for Knowledge and Knowledge for Language, AAAI Press/The MIT Press, Menlo Park, CA, 2000, 175-195. (ps version)
2000-5
Stuart C. Shapiro, Propositional, First-Order And Higher-Order Logics: Basic Definitions, Rules of Inference, and Examples. In Lucja M. Iwanska and Stuart C. Shapiro, Eds., Natural Language Processing and Knowledge Representation: Language for Knowledge and Knowledge for Language, AAAI Press/The MIT Press, Menlo Park, CA, 2000, 379-395. (ps version)
2000-6
Stuart C. Shapiro, 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, 2000, 510-524.
2000-7
Rapaport, William J., "Cognitive Science". In Anthony Ralston, Edwin D. Reilly, & David Hemmendinger (eds.), Encyclopedia of Computer Science, Fourth edition (New York: Grove's Dictionaries), 2000, 227-233.
2000-8
Rapaport, William J., & Ehrlich, Karen, "A Computational Theory of Vocabulary Acquisition". In Iwanska, Lucja M., and Shapiro, Stuart C. (eds.), Natural Language Processing and Knowledge Representation: Language for Knowledge and Knowledge for Language (Menlo Park, CA/Cambridge, MA: AAAI Press/MIT Press), 2000, 347-375.
2000-9
Frances L. Johnson and Stuart C. Shapiro, Formalizing a Deductively Open Belief Space, Technical Report 2000-02, Department of Computer Science and Engineering, University at Buffalo, Buffalo, NY, January 24, 2000. (ps version)
2000-10
Frances L. Johnson and Stuart C. Shapiro, Implementing Integrity Constraints in an Existing Belief Revision System. In C. Baral & M. Truszczynski, Eds., Proceedings of the 8th International Workshop on Non-Monotonic Reasoning NMR2000, 2000, unpaginated, 8 pages.
2000-11
Stuart C. Shapiro and Frances L. Johnson, Automatic Belief Revision in SNePS. In C. Baral & M. Truszczynski, Eds., Proceedings of the 8th International Workshop on Non-Monotonic Reasoning NMR2000, 2000, unpaginated, 5 pages.
2000-12
Haythem O. Ismail and Stuart C. Shapiro, Conscious Error Recovery and Interrupt Handling. In H. R. Arabnia, Ed., Proceedings of the International Conference on Artificial Intelligence (IC-AI'2000), CSREA Press, Las Vegas, NV, 2000, 633-639. (ps version)
2000-13
William J. Rapaport, "How to Pass a Turing Test: Syntactic Semantics, Natural-Language Understanding, and First-Person Cognition", Special Issue on Alan Turing and Artificial Intelligence, Journal of Logic, Language, and Information 9, 4 (October 2000), 467-490.
2000-14
William J. Rapaport, Review of Steven Pinker's _How the Mind Works_, Minds and Machines 10:381-389, 2000.

2001
2001-1
Stuart C. Shapiro, Eyal Amir, Henrik Grosskreutz, David Randell, and Mikhail Soutchanski, Commonsense and Embodied Agents: A Panel Discussion, Common Sense 2001: The Fifth International Symposium on Logical Formalizations of Commonsense Reasoning, Courant Institute of Mathematical Sciences, New York University, New York, NY, May 20-22, 2001. (ps version)
2001-2
Debra T. Burhans and Stuart C. Shapiro Abduction and Question Answering, , Antonis Kakas & Francesca Toni, Eds., Working Notes for the IJCAI 2001 Workshop on Abductive Reasoning, IJCAII & AAAI Press, Seattle, WA, August 4, 2001, 15-20. (ps version
2001-3
Frances L. Johnson and Stuart C. Shapiro, Redefining Belief Change Terminology for Implemented Systems, Leopoldo Bertossi & Jan Chomicki, Eds., Working Notes for the IJCAI 2001 Workshop on Inconsistency in Data and Knowledge, IJCAII & AAAI Press, Seattle, WA, August 6, 2001, 11-21. (ps version)
2001-4
Stuart C. Shapiro and Haythem O. Ismail, Symbol-Anchoring in Cassie, Silvia Coradeschi & Alessandro Saffioti, Eds., Anchoring Symbols to Sensor Data in Single and Multiple Robot Systems: Papers from the 2001 AAAI Fall Symposium, Technical Report FS-01-01, AAAI Press, 2001, 2-8. (ps version) Superseded by [Shapiro & Ismail, 2003]
2001-5
Stuart C. Shapiro, Notes on Converting to ACL 6, SNeRG Technical Note 30, Department of Computer Science and Engineering, University at Buffalo, Buffalo, NY, May 8, 2001, Revised June 7, 2002. 2 pages. HTML version
2001-6
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.
2001-7
Haythem O. Ismail, Reasoning and Acting in Time, PhD dissertation, Technical Report 2001-11, Department of Computer Science and Engineering, University at Buffalo, The State University of New York, Buffalo, NY, August, 2001. (pdf version)
2001-8
Haythem O. Ismail and Stuart C. Shapiro, The Cognitive Clock: A Formal Investigation of the Epistemology of Time, Technical Report 2001-08, Department of Computer Science and Engineering, University at Buffalo, Buffalo, NY, July 26, 2001. (ps version)
2001-9
Haythem O. Ismail and Stuart C. Shapiro, Cascaded Acts: Conscious Sequential Acting for Embodied Agents, Department of Computer Science and Engineering, University at Buffalo, Buffalo, NY, March 13, 2001. (Revised version of: 1999-8)

2002
2002-1
William J. Rapaport, Holism, Conceptual-Role Semantics, and Syntactic Semantics, Minds and Machines 12(1): 3-59, (2002).
2002-2
Debra T. Burhans, A Question Answering Interpretation of Resolution Refutation, PhD dissertation, Technical Report 2002-03, Department of Computer Science and Engineering, University at Buffalo, Buffalo, NY, January 31, 2002.
2002-3
John F. Santore and Stuart C. Shapiro, Identifying Perceptually Indistinguishable Objects: Is that the same one you saw before?, Chitta Baral & Sheila McIlraith, Eds., Cognitive Robotics (CogRob2002), Papers from the AAAI Workshop, Technical Report WS-02-05, AAAI Press, Menlo Park, CA, 2002, 96-102. (ps version)
2002-4
William J. Rapaport & Michael W. Kibby, Contextual Vocabulary Acquisition: A Computational Theory and Educational Curriculum, in Nagib Callaos, Ana Breda, and Ma. Yolanda Fernandez J. (eds.), Proceedings of the 6th World Multiconference on Systemics, Cybernetics and Informatics (SCI 2002), Vol. II: Concepts and Applications of Systemics, Cybernetics, and Informatics I, International Institute of Informatics and Systemics, Orlando, FL, 2002, 261-266.
2002-5
Frances L. Johnson, Updating SNePS Using CVS, SNeRG Technical Note 32, Department of Computer Science and Engineering and SNePS Research Group, University at Buffalo, The State Universtiy of New York, Buffalo, NY, 2002.
2002-6
John F. Santore, Multiprocessing, Semaphores and Networking with ACL, SNeRG Technical Note 33, Department of Computer Science and Engineering and SNePS Research Group, University at Buffalo, The State Universtiy of New York, Buffalo, NY, 2002.
2002-7
Stuart C. Shapiro, Whose Norm?, review of Renée Elio, Ed., Common Sense, Reasoning and Rationality. Oxford University Press, Oxford, UK, 2002. Trends in Cognitive Sciences 6, 11 (November 2002), 490. (preprint version)
2002-8
Susan Haller, Barbara Di Eugenio and Michael J. Trolio, Generating Natural Language Aggregations Using a Propositional Representation of Sets, FLAIRS 2002, The 15th International Florida AI Research Symposium, Pensacola Beach, FL, May, 2002.

2003
2003-1
Stuart C. Shapiro, Knowledge Representation. In Lynn Nadel, Ed. Encyclopedia of Cognitive Science, Volume 2, Macmillan Publishers Ltd., 2003, 671-680. (PS preprint version)
2003-2
Stuart C. Shapiro and Haythem O. Ismail, Anchoring in a Grounded Layered Architecture with Integrated Reasoning, Robotics and Autonomous Systems 43, 2-3 (May 2003), 97-108.
2003-3
Bharat Bhushan, Preferential Ordering of Beliefs for Default Reasoning, MS Thesis, Department of Computer Science and Engineering, State University of New York at Buffalo, Buffalo, NY, April 28, 2003. (ps version)
2003-4
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.
2003-5
William J. Rapaport, What Did You Mean by That?: Misunderstanding, Negotiation, and Syntactic Semantics, Minds and Machines 13,3 (August 2003), 397-427. ps version
2003-6
William J. Rapaport, What Is the "Context" for Contextual Vocabulary Acquisition?. In Peter P. Slezak, Ed. Proceedings of the 4th Joint International Conference on Cognitive Science/7th Australasian Society for Cognitive Science Conference (ICCS/ASCS-2003), Vol. 2, Uiversity of New South Wales, Sydney, Australia, pp. 547-552.
2003-7
Jun Xu, 2003, Implement an Intelligent ArcView User Interface Using SNePS, Proceeding of the 23rd Annual ESRI User Conference, San Diego, California, July 7-11, 2003. (preliminary pdf version)
2003-8
Debra T. Burhans, Alistair E. R. Campbell, and Gary R. Skuse, Exploring the Role of Knowledge Representation and Reasoning in Biomedical Text Understanding, Working notes of the SIGIR '03 Workshop on Text Analysis and Search for Bioinformatics, Toronto, August 2003.
2003-9
John F. Santore and Stuart C. Shapiro, Crystal Cassie: Use of a 3-D Gaming Environment for a Cognitive Agent. In R. Sun, Ed., Papers of the IJCAI 2003 Workshop on Cognitive Modeling of Agents and Multi-Agent Interactions, IJCAII, Acapulco, Mexico, August 9, 2003, 84-91.
2003-10
Stuart C. Shapiro, FevahrCassie: A Description and Notes for Building FevahrCassie-Like Agents, SNeRG Technical Note 35, Department of Computer Science and Engineering, University at Buffalo, The State Universtiy of New York, Buffalo, NY, September 26, 2003.
2003-11
Josephine Anstey, Dave Pape, Stuart C. Shapiro, and Vikranth Rao, Virtual Drama with Intelligent Agents. In Hal Thwaites, Ed., Hybrid Reality: Art, Technology and the Human Factor, Proceedings of the Ninth International Conference on Virtual Systems and MultiMedia (VSMM), International Society on Virtual Systems and MultiMedia, 2003, 521-528.
2003-12
Susan Haller and Barbara Di Eugenio, Minimal Text Structuring to Improve the Generation of Feedback in Intelligent Tutoring Systems, The 16th International Florida AI Research Symposium (FLAIRS), May, 2003.
2003-13
Stuart C. Shapiro, MRS and SNePS: A Comparison, Department of Computer Science and Engineering and Center for Cognitive Science, University at Buffalo, The State University of New York, Buffalo, NY, July 22, 2003.

2004
2004-1
Trupti Devdas Nayak, Michael Kandefer, and Lunarso Sutanto, Reinventing the Reinvented Shakey in SNePS, SNeRG Technical Note 36, Department of Computer Science and Engineering, University at Buffalo, The State Universtiy of New York, Buffalo, NY, April 6, 2004.
2004-2
Stuart C. Shapiro, Interests and Background Relevant to Self-Aware Computer Systems, a position statement for the DARPA Workshop on Self-Aware Computer Systems, Washington, DC, April 27-28, 2004.
2004-3
Vikranth B. Rao, Princess Cassie: An Embodied Cognitive Agent in a Virtual World, Advanced Honors Thesis, Department of Computer Science and Engineering, State University of New York at Buffalo, April, 2004.
2004-4
Karen Ehrlich, Default Reasoning Using Monotonic Logic: Nutter's Modest Proposal Revisited, Revised and Implemented, Proceedings of the 15th Midwest Artificial Intelligence and Cognitive Science Conference (MAICS 2004), Roosevelt University, Chicago, IL, 48-54
2004-5
Albert Goldfain, Using SNePS for Mathematical Cognition: A SNeRE Based Natural Language Algorithm for Computing GCD, CSE740 Progress Report, Department of Computer Science and Engineering, University at Buffalo, The State Universtiy of New York, Buffalo, NY, April 29, 2004.
2004-6
Stuart C. Shapiro, 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, 2004, 565-575.
2004-7
John F. Santore and Stuart C. Shapiro, Identifying Perceptually Indistinguishable Objects. In Silvia Coradeschi & Alessandro Saffiotti, Eds., Anchoring Symbols to Sensor Data, Papers from the AAAI Workshop, Technical Report WS-04-03, AAAI Press, Menlo Park, CA, 2004, 1-9.
2004-8
Frances L. Johnson and Stuart C. Shapiro, Knowledge State Reconsideration: Hindsight Belief Revision (student abstract), Proceedings of the Nineteenth National Conference on Artificial Intelligence (AAAI-04), AAAI Press/The MIT Press, Menlo Park, CA, 2004, 956-957.
2004-9
John F. Santore and Stuart C. Shapiro, Identifying an Object that is Perceptually Indistinguishable from one Previously Perceived (student abstract), Proceedings of the Nineteenth National Conference on Artificial Intelligence (AAAI-04), AAAI Press/The MIT Press, Menlo Park, CA, 2004, 968-969.
2004-10
Karen Ehrlich & William J. Rapaport, A Cycle of Learning: Human & Artificial Contextual Vocabulary Acquisition. In K. Forbus, D. Gentner, & T. Reigier, Eds., Proceedings of the Twenty-Sixth Annual Conference of the Cognitive Science Society (CogSci2004), Lawrence Erlbaum Assoc., Mahwah, NJ, 2005, p. 1555.
2004-11
Frances L. Johnson and Stuart C. Shapiro, Dependency-Directed Reconsideration. In K. Forbus, D. Gentner, & T. Reigier, Eds., Proceedings of the Twenty-Sixth Annual Conference of the Cognitive Science Society (CogSci2004), Lawrence Erlbaum Assoc., Mahwah, NJ, 2005, p. 1573.
2004-12
Josephine Anstey, Dave Pape, Stuart C. Shapiro, Orkan Telhan and Trupti Devdas Nayak, Psycho-Drama in VR, Proceedings of The Fourth Conference on Computation Semiotics (COSIGN 2004), University of Split, Croatia, 2004, 5-13.
2004-13
John F. Santore and Stuart C. Shapiro, A Cognitive Robotics Approach to Identifying Perceptually Indistinguishable Objects. In Alan Schultz, Ed., The Intersection of Cognitive Science and Robotics: From Interfaces to Intelligence, Papers from the 2004 AAAI Fall Symposium, Technical Report FS-04-05, AAAI Press, Menlo Park, CA, 2004, 47-54.
2004-14
Isidore Dinga Madou, GLAIR Agents on the iRobot Magellan Pro Robot, SNeRG Technical Note 37, Department of Computer Science and Engineering, University at Buffalo, The State Universtiy of New York, Buffalo, NY, December 27, 2004.

2005
2005-1
Stuart C. Shapiro, Josephine Anstey, David E. Pape, Trupti Devdas Nayak, Michael Kandefer, Orkan Telhan, MGLAIR Agents in a Virtual Reality Drama, Technical Report 2005-08, Department of Computer Science & Engineering, University at Buffalo, Buffalo, NY, March 30, 2005.
2005-2
Trupti Devdas Nayak, Patofil: An MGLAIR Agent for a Virtual Reality Drama, SNeRG Technical Note 38, Department of Computer Science and Engineering, University at Buffalo, The State Universtiy of New York, Buffalo, NY, May 10, 2005.
2005-3
Stuart C. Shapiro, Josephine Anstey, David E. Pape, Trupti Devdas Nayak, Michael Kandefer, & Orkan Telhan, The Trial The Trail, Act 3: A Virtual Reality Drama Using Intelligent Agents. In R. Michael Young & John Laird, Eds., Proceedings of the First Annual Artificial Intelligence and Interactive Digital Entertainment Conference (AIIDE-05), AAAI Press, Menlo Park, CA, 2005, 157-158.
2005-4
John Santore, Identifying Perceptually Indistinguishable Objects, PhD Dissertation, Technical Report 2005-13, Department of Computer Science and Engineering, University at Buffalo, The State University of New York, January 24, 2005.
2005-5
Frances L Johnson and Stuart C. Shapiro, Dependency-Directed Reconsideration: Belief Base Optimization for Truth Maintenance Systems, Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI-05), AAAI Press, Menlo Park, CA, 2005, 313-320.
2005-6
Stuart C. Shapiro, Josephine Anstey, David E. Pape, Trupti Devdas Nayak, Michael Kandefer, & Orkan Telhan, MGLAIR Agents in Virtual and other Graphical Environments, Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI-05), AAAI Press, Menlo Park, CA, 2005, 1704-1705.
2005-7
William J. Rapaport, In Defense of Contextual Vocabulary Acquisition: How to do Things with Words in Context. In A. Dey et al., Eds., Proceedings of the Fifth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT-05), Lecture Notes in Artificial Intelligence 3554, Springer-Verlag, Berlin 2005, 396-409.
2005-8
Frances L. Johnson and Stuart C. Shapiro, Improving Recovery for Belief Bases. In Leora Morgenstern and Maurice Pagnucco, Eds., IJCAI-05 Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC'05): Working Notes, IJCAII, Edinburgh, 2005, 65-70.
2005-9
Stuart C. Shapiro and Michael Kandefer, A SNePS Approach to The Wumpus World Agent or Cassie Meets the Wumpus. In Leora Morgenstern and Maurice Pagnucco, Eds., IJCAI-05 Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC'05): Working Notes, IJCAII, Edinburgh, 2005, 96-103.
2005-10
William J. Rapaport, Review of Shieber's The Turing Test: Verbal Behavior as the Hallmark of Intelligence, Computational Linguistics 31, 3 (September 2005), 407-412.
2005-11
William J. Rapaport, Implementation Is Semantic Interpretation: Further Thoughts, Journal of Experimental and Theoretical Artificial Intelligence 17, 4 (December, 2005), 385-417.
2005-12
Stuart C. Shapiro, Conditional SNeRE Policies, SNeRG Technical Note 39, Department of Computer Science and Engineering, University at Buffalo, The State Universtiy of New York, Buffalo, NY, December 15, 2005.
2005-13
William J. Rapaport, Philosophy of Computer Science: An Introductory Course, Teaching Philosophy 28, 4 (2005), 319-341. ( Longer version, with webpage images)
2005-14
B. Di Eugenio, D. Fossati, D. Yu, S. Haller, M. Glass, Natural Language Generation for Intelligent Tutoring Systems: a case study, AIED 2005, The 12th International Conference on Artificial Intelligence in Education, Amsterdam, The Netherlands, July, 2005. (Named for Best Paper Award)
2005-15
B. Di Eugenio, D. Fossati, D. Yu, S. Haller, M. Glass, Aggregation improves learning: experiments in Natural Language Generation for Intelligent Tutoring Systems, ACL05, 43rd Meeting of the Association for Computational Linguistics, Ann Arbor, MI, USA, June, 2005.

2006
2006-1
Frances L. Johnson, Dependency-Directed Reconsideration: An Anytime Algorithm for Hindsight Knowledge-Base Optimization, Ph.D. Dissertation, Department of Computer Science and Engineering, University at Buffalo, The State University of New York, January 11, 2006.
2006-2
William J. Rapaport, Review of John Preston & Mark Bishop (eds.), Views into the Chinese Room: New Essays on Searle and Artificial Intelligence, Australasian Journal of Philosophy 84, 1 (March, 2006), 129-133.
2006-3
Albert Goldfain, A Computational Theory of Inference for Arithmetic Explanation. In Johan Bos & Alexander Koller, Eds., Proceedings of the 5th Workshop on Inference in Computational Semantics (ICoS-5), Buxton, England, April 20 - 21, 2006, 145-150.
2006-4
Albert Goldfain, Michael W. Kandefer, Stuart C. Shapiro, and Josephine Anstey, Co-Designing Agents, Proceedings of the North East Student Colloquium on Artificial Intelligence (NESCAI '06), Cornell U., Ithaca, NY, 2006, 142-148. Superseded by 2006-7
2006-5
Alistair E. R. Campbell and Debra T. Burhans, A Layered Heterogeneous Cognitive Robotics Architecture, In Michael Beetz, Kanna Rajan, Michael Thielscher, and Radu Bogday Rusu, Eds., Cognitive Robotics: Papers from the AAAI Workshop (CogRob2006) Technical Report WS-06-03, AAAI Press, Menlo Park, CA, 2006, 40-46.
2006-6
Albert Goldfain, Embodied Enumeration: Appealing to Activities for Mathematical Explanation In Michael Beetz, Kanna Rajan, Michael Thielscher, and Radu Bogday Rusu, Eds., Cognitive Robotics: Papers from the AAAI Workshop (CogRob2006) Technical Report WS-06-03, AAAI Press, Menlo Park, CA, 2006, 69-76.
2006-7
Albert Goldfain, Michael W. Kandefer, Stuart C. Shapiro, and Josephine Anstey, Co-Designing Agents In Michael Beetz, Kanna Rajan, Michael Thielscher, and Radu Bogday Rusu, Eds., Cognitive Robotics: Papers from the AAAI Workshop (CogRob2006) Technical Report WS-06-03, AAAI Press, Menlo Park, CA, 2006, 77-82.
2006-8
Stuart C. Shapiro, Natural-Language-Competent Robots, IEEE Intelligent Systems 21, 4 (July/August 2006), 76-77.
2006-9
Frances L. Johnson and Stuart C. Shapiro, Base Belief Change and Optimized Recovery. In Loris Penserini, Pavlos Peppas, and Anna Perini, Eds., STAIRS 2006: Proceedings of the Third Starting AI Researchers' Symposium, Frontiers in Artificial Intelligence and Applications, vol. 142, IOS Press, Amsterdam, 2006, 162-173.
2006-10
Frances L. Johnson and Stuart C. Shapiro, Reconsideration on Non-Linear Base Orderings. In Loris Penserini, Pavlos Peppas, and Anna Perini, Eds., STAIRS 2006: Proceedings of the Third Starting AI Researchers' Symposium, Frontiers in Artificial Intelligence and Applications, vol. 142, IOS Press, Amsterdam, 2006, 261-262.
2006-11
Miguel E. Ruiz, Stuart Shapiro, June Abbas, Silvia B. Southwick, & David Mark, UB at GeoCLEF 2006, Working Notes for the CLEF 2006 Workshop, Alicante, Spain, September 20-22, 2006.
2006-12
Haythem Ismail, Simultaneous Events and the "Once-Only" Effect. In Brandon Bennett and Christiane Fellbaum, Eds., Formal Ontology in Information Systems: Proceedings of the Fourth International Conference (FOIS 2006), IOS Press, Amsterdam, 2006, 143-154.
2006-13
William J. Rapaport, How Helen Keller used syntactic semantics to escape from a Chinese Room, Minds & Machines 16, 4, (December, 2006), 381-436.
2006-14
William J. Rapaport The Turing Test. In Keith Brown Ed., Encyclopedia of Language and Linguistics, 2nd Edition, Vol. 13, Elsevier, Oxford, 2006, 151-159.

2007
2007-1
Debra T. Burhans and Stuart C. Shapiro, Defining Answer Classes Using Resolution Refutation, Journal of Applied Logic 5, 1 (March 2007), 70-91. doi:10.1016/j.jal.2005.12.004
2007-2
William J. Rapaport & Michael W. Kibby, Contextual Vocabulary Acquisition as Computational Philosophy and as Philosophical Computation, Journal of Experimental and Theoretical Artificial Intelligence 19, 1 (March 2007), 1-17. DOI: 10.1080/09528130601116162 (pre-print version)
2007-3
Stuart C. Shapiro, William J. Rapaport, Michael Kandefer, Frances L. Johnson, and Albert Goldfain, Metacognition in SNePS, AI Magazine 28, 1 (Spring 2007), 17-31.
2007-4
Michael Kandefer and Stuart C. Shapiro, Knowledge Acquisition by an Intelligent Acting Agent. In Eyal Amir, Vladimir Lifschitz, and Rob Miller, Eds., Logical Formalizations of Commonsense Reasoning, Papers from the AAAI Spring Symposium Technical Report SS-07-05, AAAI Press, Menlo Park, CA, 2007, 77-82.
2007-5
Stuart C. Shapiro and The SNePS Implementation Group, SNePS 2.7 User's Manual, Department of Computer Science and Engineering, University at Buffalo, Buffalo, NY, 2007.
2007-6
Albert Goldfain, A case study in computational math cognition and embodied arithmetic, Proceedings of the Twenty-Ninth Meeting of the Cognitive Science Society (COGSCI2007), 2007, 293-298.
2007-7
Rapaport, William J., Searle on Brains as Computers, American Philosophical Association Newsletter on Philosophy and Computers 6, 2 (Spring 2007), 4-9.
2007-8
Haythem O. Ismail, Reason Maintenance and the Ramsey Test. In Christoph Beierle and Gabriele Kern-Isberner, Eds., Dynamics of Knowledge and Belief: Proceedings of the Workshop at the 30th German Conference on Artificial Intelligence (KI-2007), 2007, 42-56.
2007-9
Michael Kandefer, Stuart Shapiro, Adam Stotz, and Moises Sudit, Symbolic Reasoning in the Cyber Security Domain, Proceedings of MSS 2007 National Symposium on Sensor and Data Fusion McLean, VA, June 2007.
2007-10
Josephine Anstey, Sarah Bay-Cheng, Dave Pape, and Stuart C. Shapiro, Human trials: an experiment in intermedia performance, ACM Computers in Entertainment 5, 3, Article 4 (November 2007), 17 pages. DOI = 10.1145/1316511.1316515 http://doi.acm.org/10.1145/1316511.1316515
2007-11
Timothy J. Burns, The Magellan is Back: Player/Stage on the Magellan Pro Robot, SNeRG Technical Note 40, Department of Computer Science and Engineering, University at Buffalo, The State Universtiy of New York, Buffalo, NY, December 14, 2007.
2007-12
Pedro Miguel Lopes das Neves, Development of Techniques to Control Reasoning using SNePS, Masters Thesis, Department of Information Systems and Computer Engineering, Technical University of Lisbon, Lisbon, Portugal, November, 2007.
2007-13
Stuart C. Shapiro and Shane Axtell, Natural Language Tools for Information Extraction for Soft Target Exploitation and Fusion, Department of Computer Science and Engineering, University at Buffalo, The State University of New York, Buffalo, NY, February 2, 2007.

2008
2008-1
Jonathan Bona, OWL Ontologies in SNePS, SNeRG Technical Note 41, Department of Computer Science and Engineering, University at Buffalo, The State Universtiy of New York, Buffalo, NY, January 4, 2008.
2008-2
Stuart C. Shapiro and The SNePS Implementation Group, SNePS 2.7 User's Manual, Department of Computer Science and Engineering, University at Buffalo, Buffalo, NY, February 11, 2008.
2008-3
Albert Goldfain, A Computational Theory of Early Mathematical Cognition, PhD Dissertation, Department of Computer Science and Engineering, State University of New York at Buffalo, June 1, 2008.
2008-4
Michael Kandefer and Stuart C. Shapiro, Comparing SNePS with Topbraid/Pellet, SNeRG Technical Note 42, State University of New York at Buffalo, Buffalo, NY, July 18, 2008.
2008-5
A. Patrice Seyed, Michael Kandefer, and Stuart C. Shapiro, SNePS Efficiency Report, SNeRG Technical Note 43, State University of New York at Buffalo, Buffalo, NY, July 18, 2008.
2008-6
Michael Kandefer, A. Patrice Seyed, and Stuart C. Shapiro, The Use of SNePS for Cyber Security Reasoning, SNeRG Technical Note 44, State University of New York at Buffalo, Buffalo, NY, July 18, 2008.
2008-7
Michael Kandefer and Stuart C. Shapiro, A Categorization of Contextual Constraints. In Alexei Samsonovich, Ed., Biologically Inspired Cognitive Architectures: Papers from the AAAI Fall Symposium, Technical Report FS-08-04, AAAI Press, Menlo Park, CA, 2008, 88-93.
2008-8
Michael W. Kibby, William J. Rapaport, Karen M. Wieland, & Debra A. Dechert, Play Lesson 4: CSI: Contextual Semantic Investigation, in Lawrence Baines, Ed., A Teacher's Guide to Multisensory Learning: Improving Literacy by Engaging the Senses Association for Supervision and Curriculum Development, Alexandria, VA, 2008, 163-173.
2008-9
Haythem O. Ismail, On the Syntax and Semantics of Effect Axioms. In Carola Eschenbach and Michael Grüninger, Eds., Formal Ontology in Information Systems: Proceedings of the Fifth International Conference (FOIS 2008), IOS Press, Amsterdam, 2008.

2009
2009-1
Jonathan Bona and Stuart C. Shapiro, Report on SNePS and RTS, SNeRG Technical Note 45, State University of New York at Buffalo, Buffalo, NY, February 27, 2009.
2009-2
Michael Kandefer and Stuart C. Shapiro, An F-Measure for Context-Based Information Retrieval. In Gerhard Lakemeyer, Leora Morgenstern, and Mary-Anne Williams, Eds., Commonsense 2009: Proceedings of the Ninth International Symposium on Logical Formalizations of Commonsense Reasoning, The Fields Institute, Toronto, CA, 2009, 79-84.
2009-3
Jonathan Bona and Stuart C. Shapiro, SNePS As An Ontological Reasoning Tool. In Barry Smith, Ed., Proceedings of the International Conference on Biomedical Ontologies (ICBO), Buffalo, NY, 2009, 160.
2009-4
A. Patrice Seyed, BFO/DOLCE Primitive Relation Comparison. In: Barry Smith, Ed., Proceedings of the International Conference on Biomedical Ontologies (ICBO), Buffalo, NY, 2009, 190. (poster)
2009-5
Stuart C. Shapiro and Jonathan P. Bona, The GLAIR Cognitive Architecture. In Alexei Samsonovich, Ed., Biologically Inspired Cognitive Architectures-II: Papers from the AAAI Fall Symposium, Technical Report FS-09-01, AAAI Press, Menlo Park, CA, 2009, 141-152.
2009-6
Josephine Anstey, A. Patrice Seyed, Sarah Bay-Cheng, Dave Pape, Stuart C. Shapiro, Jonathan Bona, and Stephen Hibit The Agent Takes The Stage, International Journal of Arts and Technology (IJART) 2, 4 (2009), 277-296. DOI: 10.1504/IJART.2009.
2009-7
Haythem Ismail, A Reason Maintenance Perspective on Relevant Ramsey Conditionals, Logic Journal of the IGPL, 18, 4 (August 2009), 508-529. doi:10.1093/jigpal/jzp036.
2009-8
Haythem Ismail, LogAB: An Algebraic Logic of Belief. In Relational Approaches to Knowledge Representation and Learning: Workshop of the 32nd German Conference on Artificial Intelligence, 2009, 2-18.

2010
2010-1
Stuart C. Shapiro, Set-Oriented Logical Connectives: Syntax and Semantics. In Fangzhen Lin, Ulrike Sattler, & Miroslaw Truszczynski, Proceedings of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (KR2010), AAAI Press, 2010, 593-595. (Poster)
2010-2
Juan Gómez-Romero, Jesús Garcia, Michael Kandefer, James Llinas, Jose Manuel Molina, Miguel Angel Patricio, Michael Prentice, & Stuart C. Shapiro, Strategies and Techniques for Use and Exploitation of Contextual Information in High-Level Fusion Architectures, Proceedings of the 13th International Conference on Information Fusion (Fusion 2010), ISIF, 2010, TH1.7.3, 8 pages, unpaginated.
2010-3
Michael Prentice, Michael Kandefer, & Stuart C. Shapiro, Tractor: A Framework for Soft Information Fusion, Proceedings of the 13th International Conference on Information Fusion (Fusion 2010), ISIF, 2010, Th3.2.2, 8 pages, unpaginated.
2010-4
Stuart C. Shapiro and The SNePS Implementation Group, SNePS 2.7.1 User's Manual, Department of Computer Science and Engineering, University at Buffalo, Buffalo, NY, September 3, 2010.
2010-5
Stuart C. Shapiro and Jonathan P. Bona, The GLAIR Cognitive Architecture, International Journal of Machine Consciousness 2, 2 (2010), 307-332. DOI: 10.1142/S1793843010000515
2010-6
Haythem O. Ismail and Nasr S. Kasrin, High-Level Perception as Focused Belief Revision, Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010), IOS Press, Amsterdam, 2010, 1145-1146.
2010-7
Haythem O. Ismail and Nasr Kasrin, Focused Belief Revision as a Model of Fallible Relevance-Sensitive Perception, Proceedings of the 33rd German AI Conference (KI 2010), Springer-Verlag, Berlin, 2010, 126-134.

2011
2011-1
Stuart C. Shapiro, The Jobs Puzzle: A Challenge for Logical Expressibility and Automated Reasoning. In Ernest Davis, Patrick Doherty, and Esra Erdem, Eds., Logical Formalizations of Commonsense Reasoning: Papers from the AAAI Spring Symposium, Technical Report SS-11-06, AAAI Press, Menlo Park, CA, 2011, 96-102. (version with appendix)
2011-2
Ari I. Fogel and Stuart C. Shapiro, On the Use of Epistemic Ordering Functions as Decision Criteria for Automated and Assisted Belief Revision in SNePS, Proceedings of the CSE Graduate Research Conference, Department of Computer Science and Engineering, University at Buffalo, Buffalo, NY, 2011, unpaginated. 8 pages. Superseded by 2011-9.
2011-3
Daniel R. Schlegel and Stuart C. Shapiro, Visually Interacting with a Knowledge Base Using Frames, Logic, and Propositional Graphs, Proceedings of the CSE Graduate Research Conference, Department of Computer Science and Engineering, University at Buffalo, Buffalo, NY, 2011, unpaginated. 6 pages. Superseded by 2011-8.
2011-4
Rapaport, William J. (2011), "Yes, She Was! Reply to Ford's ‘Helen Keller Was Never in a Chinese Room’", Minds and Machines 21(1) (Spring): 3–17.
2011-5
Jonathan P. Bona and Stuart C. Shapiro, Creating SNePS/Greenfoot Agents and Worlds, SNeRG Technical Note 46, Department of Computer Science and Engineering, University at Buffalo, The State University of New York, Buffalo, NY, May 3, 20011.
2011-6
Ari I. Fogel, On the Use of Epistemic Ordering Functions as Decision Criteria for Automated and Assisted Belief Revision in SNePS, MS Thesis, Department of Computer Science and Engineering, University at Buffalo, Buffalo, NY, June 1, 2011.
2011-7
Michael Kandefer and Stuart C. Shapiro, Evaluating Spreading Activation for Soft Information Fusion, Proceedings of the 14th International Conference on Information Fusion (Fusion 2011), ISIF, 2011, 498-505.
2011-8
Michael Prentice and Stuart C. Shapiro, Using Propositional Graphs for Soft Information Fusion, Proceedings of the 14th International Conference on Information Fusion (Fusion 2011), ISIF, 2011, 522-528.
2011-9
Daniel R. Schlegel and Stuart C. Shapiro, Visually Interacting with a Knowledge Base Using Frames, Logic, and Propositional Graphs. In M. Croitoru, J. Howse, S. Rudolph, and N. Wilson, Eds., Second International IJCAI Workshop on Graph Structures for Knowledge Representation and Reasoning (GKR 2011) , Laboratoire d'Informatique, de Robotique et de Microélectronique de Montpellier, Montpellier, France, 2011, 56-62.
2011-10
Ari I. Fogel and Stuart C. Shapiro, On the Use of Epistemic Ordering Functions as Decision Criteria for Automated and Assisted Belief Revision in SNePS: (Preliminary Report). In Sebastian Sardina and Stavros Vassos, Eds., Proceedings of the Ninth International Workshop on Non-Monotonic Reasoning, Action, and Change (NRAC'11), Technical Report RMIT-TR-11-02, School of Computer Science and Information Technology, RMIT University, Melbourne, Australia, July, 2011, 31-38.
2011-11
A. Patrice Seyed and Stuart C. Shapiro, Applying Rigidity to Standardizing OBO Foundry Candidate Ontologies, Proceedings of the International Conference on Biomedical Ontologies (ICBO), Buffalo NY, July 26-30, 2011, 175-181.
2011-12
Haythem O. Ismail and Aya S. Mahfouz, Autodoxastic Conditional Reasoning: The Monotonic Case. In Beigl, et al., Eds., Modeling and Using Context: Proceedings of the 7th International and Interdisciplinary Conference (CONTEXT 2011), Springer-Verlag, Berlin, 2011, in press.
2011-13
A. Patrice Seyed, A Method for Evaluating and Standardizing Ontologies, PhD Dissertation, Department of Computer Science and Engineering, State University of New York at Buffalo, December 23, 2011.

2012
2012-1
William J. Rapaport, Semiotic Systems, Computers, and the Mind: How Cognition Could Be Computing, International Journal of Signs and Semiotic Systems 2, 1 (January-June, 2012), 32-71.
2012-2
Sam S. Adams, Itamar Arel, Joscha Bach, Robert Coop, Rod Furlan, Ben Goertzel, J. Storrs Hall, Alexei Samsonovich, Matthias Scheutz, Matthew Schlesinger, Stuart C. Shapiro, and John F. Sowa, Mapping the Landscape of Human-Level Artificial General Intelligence, AI Magazine 33, 1 (Spring 2012), 25-41.
2012-3
Daniel R. Schlegel and Stuart C. Shapiro, Visually Interacting with a Knowledge Base Using Frames, Logic, and Propositional Graphs. In Madalina Croitoru, Sebastian Rudolph, Nic Wilson, John Howse and Olivier Corby, Eds., Graph Structures for Knowledge Representation and Reasoning, Lecture Notes in Artificial Intelligence 7205, Springer-Verlag, Berlin, 2012, 188-207.
2012-4
Geoff A. Gross, Rakesh Nagi, Kedar Sambhoos, Daniel R. Schlegel, Stuart C. Shapiro, and Gregory Tauer, Towards Hard+Soft Data Fusion: Processing Architecture and Implementation for the Joint Fusion and Analysis of Hard and Soft Intelligence Data, Proceedings of the 15th International Conference on Information Fusion (Fusion 2012), ISIF, 2012, 955-962.
2012-5
Haythem Ismail. Now: Between indexical thoughts and indexical thought. In M. Bhatt, H. W. Guesgen and E. Davis, Eds., Proceedings of the International Workshop on Spatio-Temporal Dynamics (STeDy 2012), 2012, 27-34.

2013
2013-1
Jonathan P. Bona and Stuart C. Shapiro. Modality in the MGLAIR Architecture. In Antonio Chella, Roberto Pirrone, Rosario Sorbello and Kamilla Rún Jóhannsdóttir, Eds., Biologically Inspired Cognitive Architectures 2012: Proceedings of the Third Annual Meeting of the BICA Society, Springer, Berlin, 2013, 75-81.
2013-2
Haythem Ismail. Stability in a Commonsense Ontology of States. In Proceedings of the Eleventh International Symposium on Logical Formalization on Commonsense Reasoning (COMMONSENSE 2013), 2013.
2013-3
Stuart C. Shapiro, and Daniel R. Schlegel, Natural Language Understanding for Soft Information Fusion, Proceedings of the 16th International Conference on Information Fusion (Fusion 2013), IFIP, July, 2013, 9 pages, unpaginated.
2013-4
Daniel R. Schlegel and Stuart C. Shapiro, Concurrent Reasoning with Inference Graphs (student abstract), Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence (AAAI-13), AAAI Press/The MIT Press, Menlo Park, CA, 2013, 1637-1638. (poster)
2013-5
Daniel R. Schlegel, Concurrent Inference Graphs (Doctoral Consortium abstract), Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence (AAAI-13), AAAI Press/The MIT Press, Menlo Park, CA, 2013, 1680-1681. (poster)
2013-6
Jonathan P. Bona and Stuart C. Shapiro, Specifying Modalities in the MGLAIR Architecture. In Ahmed M. H. Abdel-Fattah and Kai-Uwe Kühnberger, Eds., Proceedings of the Workshop on Formalizing Mechanisms for Artificial General Intelligence and Cognition (Formal MAGIC), PICS: Publication Series of the Institute of Cognitive Science (ISSN 1610-5389), Institute of Cognitive Science, University of Osnabrück, Germany, 2013, 7 pages, unpaginated.
2013-7
Daniel R. Schlegel and Stuart C. Shapiro, Concurrent Reasoning with Inference Graphs. In Working Notes of the 3rd International Workshop on Graph Structures for Knowledge Representation and Reasoning (GKR@IJCAI 2013), 2013, unpaginated, 9 pages. (Superseded by 2014-1.)
2013-8
Jonathan P. Bona, MGLAIR: A Multimodal Cognitive Agent Architecture, PhD Dissertation, Department of Computer Science and Engineering, State University of New York at Buffalo, August 14, 2013.
2013-9
Daniel R. Schlegel and Stuart C. Shapiro, Inference Graphs: A Roadmap. In Matthew Klenk and John Laird, Eds. Proceedings of the Second Annual Conference on Advances in Cognitive Systems, 2013 Poster Collection, December, 2013, 217-234. (poster)
2013-10
William J. Rapaport, "Meinongian Semantics and Artificial Intelligence", in Special Issue: "Meinong Strikes Again: Return to Impossible Objects 100 Years Later", Humana.Mente: Journal of Philosophical Studies 25 (December 2013): 25–52.

2014
2014-1
Daniel R. Schlegel and Stuart C. Shapiro, Concurrent Reasoning with Inference Graphs. In Madalina Croitoru, Sebastian Rudolph, Stefan Woltran, and Christophe Gonzales, Eds., Graph Structures for Knowledge Representation and Reasoning, Lecture Notes in Artificial Intelligence 8323, Springer International Publishing, Switzerland, 2014, 138-164. DOI: 10.1007/978-3-319-04534-4_10
2014-2
Geoff A. Gross, Ketan Date, Daniel R. Schlegel, Jason J. Corso, James Llinas, Rakesh Nagi, and Stuart C. Shapiro, Systemic Test and Evaluation of a Hard+Soft Information Fusion Framework: Challenges and Current Approaches, Proceedings of the 17th International Conference on Information Fusion (Fusion 2014), IFIP, July, 2014, unpaginated, 8 pages.
2014-3
Daniel R. Schlegel and Stuart C. Shapiro, The `Ah Ha!' Moment : When Possible, Answering the Currently Unanswerable using Focused Reasoning. In P. Bello, M. Guarini, M. McShane, & B. Scassellati, Eds., Proceedings of the 36th Annual Conference of the Cognitive Science Society (COGSCI 2014), Cognitive Science Society, Austin, TX, 2014, 1371-1376.
2014-4
Daniel R. Schlegel and Stuart C. Shapiro, Inference Graphs: A New Kind of Hybrid Reasoning System (student abstract), Proceedings of the Twenty-Eighth Conference on Artificial Intelligence (AAAI-14), AAAI Press/The MIT Press, Menlo Park, CA, 2014, 3134-3135. (Superseded by 2014-5.).
2014-5
Schlegel, D.R. and Shapiro, S.C., Inference Graphs: A New Kind of Hybrid Reasoning System Proceedings of the Cognitive Computing for Augmented Human Intelligence Workshop at AAAI-14 (CCAHI@AAAI-14), 2014, 38-41. (Expanded version of 2014-4.)
2014-6
Daniel R. Schlegel, Concurrent Inference Graphs, PhD Dissertation, Department of Computer Science and Engineering, State University of New York at Buffalo, September 3, 2014.
2014-7
Stuart C. Shapiro and The SNePS Implementation Group, SNePS 2.8 User's Manual, Department of Computer Science and Engineering, University at Buffalo, Buffalo, NY, November 3, 2014.

2015
2015-1
Stuart C. Shapiro, Daniel R. Schlegel, and Michael Prentice, Tractor Manual, Department of Computer Science and Engineering, The State University of New York at Buffalo, Buffalo, NY, January 10, 2015.
2015-2
Daniel R. Schlegel and Stuart C. Shapiro, Inference Graphs: Combining Natural Deduction and Subsumption Inference in a Concurrent Reasoner. In Blai Bonet and Sven Koenig, Eds., Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI-15), AAAI Press, Palo Alto, CA, 2015, 579-585.
2015-3
Stuart C. Shapiro, and Daniel R. Schlegel, Use of Background Knowledge in Natural Language Understanding for Information Fusion, Proceedings of the 18th International Conference on Information Fusion (Fusion 2015), IFIP, July, 2015, 901-907. (slides from talk)
2015-4
Daniel R. Schlegel and Peter L. Elkin, Ontology Visualization Tools to Assist in Creating and Maintaining Textual Term Definitions, Proceedings of the Third International Workshop on Definitions in Ontologies (IWOOD 2015), July 2015.

2016
2016-1
Stuart C. Shapiro and Daniel R. Schlegel, Natural Language Understanding for Information Fusion. In Galina Rogova and Peter Scott, Eds., Fusion Methodologies in Crisis Management: Higher Level Fusion and Decision Making, Springer International Publishing, Switzerland, 2016, 27-45. DOI: 10.1007/978-3-319-22527-2_2 (Slightly edited version of 2013-3.)
2016-2
Michael Kandefer and Stuart C. Shapiro, Context Relevance for Text Analysis and Enhancement for Soft Information Fusion. In Lauro Snidaro, Jesús Garcia, James Llinas and Erik Blasch, Eds., Context-Enhanced Information Fusion: Boosting Real World Performance with Domain Knowledge, Springer International Publishing, Switzerland, 2016, 381-401. DOI: 10.1007/978-3-319-28971-7

Forthcoming

Manuals

Last modified: Fri Sep 15 2017
SNeRG Home Page
Stuart C. Shapiro <shapiro@cse.buffalo.edu>