SNeRG 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. (TR 153, preliminary version.)
- 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.
- 1980-6
-
Joao P. Martins, Implementation of forward inference
in SNePS, Department of Computer Science, State University of New York at
Buffalo, November, 1980, 55 pages.
- 1980-6
-
Joao P. Martins, Some problems with the current
implementation of forward inference, Department of
Computer Science, University at Buffalo, December 5, 1980, 6 pages.
- 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.
- 1981-17
-
João P. Martins, Extending the Power of Numerical
Quantifiers, Department of Computer Science, State University of New York at
Buffalo, Buffalo, NY, April, 1981.
- 1981-18
-
Han Yong You, Dilemma inference on SNePS Semantic
Network System, Department of Computer Science, State University of New York at
Buffalo, Buffalo, NY, December 22, 1981, 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.
- 1985-11
-
Stuart C. Shapiro, Sargur N. Srihari, James Geller, Ming-Ruey Taie, and Scott
S. Campbell, VMES: A
Network-Based Versatile Maintenance Expert System, Annual Report on Contract
No. F30602-85-C-0008 for 1985, Department of Computer Science, State University
of New York at Buffalo, Buffalo, NY, November 25, 1985.
- 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.
- 1989-12
-
J. G. Neal, S. C. Shapiro, C. Y. Thielman, S. A. Glanowski, J. M. Lammens,
D. J. Funke, J. S. Byoun, Z. Dobes, M. S. Summers, J. R. Gucwa, and R. Paul, DRAFT Final Report for the Intelligent
Multi-Media Interfaces Project, November 30, 1989, 261 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.
- 1991-16
-
Stuart C. Shapiro, Toward an
Amalgamated Model of Inference and Action, a research proposal, Department
of Computer Science and Center for Cognitive Science, State University of New
York at Buffalo, Buffalo, NY, November 12, 1991.
- 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.
- 1992-16
-
Stuart C. Shapiro and Hans Chalupsky, KQML Prototype Interface: Final
Report, Department of Computer Science and Center for Cognitive Science,
State University of New York at Buffalo, Buffalo, NY, May 15, 1992.
- 1992-17
-
Stuart C. Shapiro and Hans Chalupsky, KQML - Issues and Review: Revised
Report, Department of Computer Science and Center for Cognitive Science,
State University of New York at Buffalo, Buffalo, NY, May 15, 1992.
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.
- 1995-21
-
Stuart C. Shapiro and Henry Hexmoor, Design of GLAIR for the Foveal Robot:
Progress Report of Work Performed from February to May, 1995, Department of
Computer Science and Center for Cognitive Science, State University of New York
at Buffalo, Buffalo, NY, August 1, 1995.
- 1995-22
-
Andrew J. Izatt, Cesar Bandera, Stuart C. Shapiro, and Henry Hexmoor, Foveal Machine Vision for Robots
Using Agent Based Gaze Control, Amherst Systems, Inc., Buffalo, NY, August
10, 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: Tue Jul 31 2018
SNeRG Home Page
Stuart C. Shapiro
<shapiro@cse.buffalo.edu>