SNeRG Bibliography
Index by year:
1970
1971
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
Forthcoming
Manuals
Some Topically Organized Bibliographies.
Not every paper listed below is in a topically organized
bibliography.
Keyword-searchable
version (not necessarily up to date)
Except for Technical Reports and Technical Notes, every paper linked to
from this page is
only a preprint version of the cited published paper. The actual
published version is probably somewhat different 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@cse.buffalo.edu or from
William J. Rapaport at
rapaport@cse.buffalo.edu.
- 1970
-
- 1970-1
-
S. C. Shapiro,
The list set generator: a construct
for evaluating set expressions. Communications of the ACM
13, 12 (1970), 741-744.
- 1971
-
- 1971-1
-
S. C. Shapiro.
A net structure for semantic information storage, deduction and retrieval.
In Proceedings of the Second International Joint Conference on
Artificial Intelligence, pages 512-523, Los Altos, CA, 1971. Morgan
Kaufmann.
- 1975
-
- 1975-1
-
S. C. Shapiro.
Generation as parsing from a network into a linear string.
American Journal of Computational Linguistics, 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.
- 1976
-
- 1976-1
-
S. C. Shapiro.
An introduction to SNePS (semantic network processing system).
Technical Report 31, Computer Science Department, Indiana University,
Bloomington, IN, 1976.
- 1976-2
-
S. C. Shapiro and M. Wand.
The relevance of relevance.
Technical Report 46, Computer Science Department, Indiana University,
Bloomington, IN, 1976.
- 1976-3
-
R. Bechtel and S. C. Shapiro.
A logic for semantic networks.
Technical Report 47, Computer Science Department, Indiana University,
Bloomington, IN, 1976.
- 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
-
S. C. Shapiro.
Representing numbers in semantic networks: prolegomena.
In Proceedings of the 5th International Joint Conference on
Artificial Intelligence, page 284, Los Altos, CA, 1977. Morgan Kaufmann.
- 1977-3
-
S. C. Shapiro.
Compiling deduction rules from a semantic network into a set of processes.
In Abstracts of Workshop on Automatic Deduction, page 7,
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
-
S. 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
-
S. 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
-
S. C. Shapiro.
Numerical quantifiers and their use in reasoning with negative
information.
In Proceedings of the Sixth International Joint Conference on
Artificial Intelligence, pages 791-796, Los Altos, CA, 1979. Morgan
Kaufmann.
- 1979-4
-
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.
- 1980
-
- 1980-1
-
D. P. McKay and S. 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
-
D. P. McKay.
Recursive rules: an outside challenge.
SNeRG Technical Note 1, Department of Computer Science, University
at Buffalo, 1980.
- 1981
-
- 1981-1
-
A. S. Maida and S. 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
-
S. C. Shapiro.
COCCI: A deductive semantic network program for solving
microbiology unknowns.
Technical Report 173, Department of Computer Science, University at
Buffalo, 1981.
- 1981-3
-
J. Martins, D. P. McKay, and S. C. Shapiro.
Bi-directional inference.
Technical Report 174, Department of Computer Science, University at
Buffalo, 1981.
Superseded by [1982-7].
- 1981-4
-
J. Martins and S. 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
-
S. C. Shapiro.
Summary of scientific progress.
SNeRG Technical Note 3, Department of Computer Science, University
at Buffalo, 1981.
- 1981-6
-
D. P. Mckay and J. Martins.
SNePSLOG User's Manual.
Department of Computer Science, University at Buffalo, 1981.
- 1981-7
-
D. P. McKay, H. Shubin, , and J. Martins.
RIPOFF: Another text formatting program.
SNeRG Technical Note 5, Department of Computer Science, University
at Buffalo, 1981.
Obsolete.
- 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
-
S. C. Shapiro.
What do semantic network nodes represent?
SNeRG Technical Note 7, Department of Computer Science, University
at Buffalo, 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, 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.
- 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
-
M. J. Almeida and S. C. Shapiro.
Reasoning about the temporal structure of narrative texts.
In Proceedings of the Fifth Annual Meeting of the Cognitive
Science Society, page 5, Rochester, NY, 1983.
- 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.
- 1983-6
- J. T. 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
-
J. G. Neal and S. 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
-
J. P. Martins and S. C. Shapiro.
A model for belief revision.
In Non-Monotonic Reasoning Workshop, pages 241-294. The
American Association for Artificial Intelligence, 1984.
- 1984-5
-
Z. Xiang, S. N. Srihari, S. C. Shapiro, and J. G. Chutkow.
Analogical and propositional representation of structure in
neurological diagnosis.
In Proc. First Conference on Artificial Intelligence
Applications, pages 127-132, Silver Spring, MD, 1984. IEEE Computer
Society Press.
- 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
-
E. J. Morgado and S. 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
-
Z. Xiang, S. N. Srihari, S. C. Shapiro, and J. G. Chutkow.
A modeling scheme for diagnosis.
In Expert Systems in Government Symposium, pages 538-547,
Washington, DC, 1985. IEEE Computer Society Press.
- 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
-
J. G. Neal and S. C. Shapiro.
Parsing as a form of inference in a multiprocessing environment.
In Proceedings of the Conference on Intelligent Systems and
Machines, pages 19-24, Rochester, Michigan, 1985.
- 1985-10
-
Z. Xiang, J. G. Chutkow, S. C. Shapiro, and S. N. Srihari.
Representation of spatial structure and function in diagnosis.
In Proceedings of the Second Conference on Artificial
Intelligence Applications, pages 223-228, Silver Spring, MD, 1985. IEEE
Computer Society Press.
- 1986
-
- 1986-1
-
M. Holynski, B. R. Gardner, and R. Ostrovsky.
Towards an intelligent computer graphics system.
Technical Report 86-003, Computer Science Department, Boston
University, 1986.
Out of print.
- 1986-2
-
S. C. Shapiro, S. N. Srihari, J. Geller, and M.-R. Taie.
A fault diagnosis system based on an integrated knowledge base.
IEEE Software, 3(2):48-49, 1986.
- 1986-3
-
Z. Xiang, J. G. Chutkow, S. C. Shapiro, and S. N. Srihari.
Computerized neurological diagnosis: A paradigm of modeling and
reasoning.
Health Care Instrumentation, 1(3):90-105, 1986.
- 1986-4
-
J. P. Martins and S. C. Shapiro.
Theoretical foundations for belief revision.
In J. Y. Halpern, editor, Theoretical Aspects of Reasoning About
Knowledge, pages 383-398. Morgan Kaufmann Publishers, Los Altos, CA,
1986.
- 1986-5
-
S. C. Shapiro, S. N. Srihari, M.-R. Taie, and J. Geller.
VMES: A network-based versatile maintenance expert system.
In Applications of Artificial Intelligence to Engineering
Problems: Proceedings of The 1st International Conference, pages 925-936,
Berlin, 1986. Springer-Verlag.
- 1986-6
-
J. P. Martins and S. C. Shapiro.
Hypothetical reasoning.
In Applications of Artificial Intelligence to Engineering
Problems: Proceedings of The 1st International Conference, pages 1029-1042,
Berlin, 1986. Springer-Verlag.
- 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
-
M. R. Taie, S. N. Srihari, J. Geller, and S. C. Shapiro.
Device representation using instantiation rules and structural
templates.
In Proceedings of the Sixth Canadian Conference on Artificial
Intelligence, pages 124-128. Presses de l'Université du Québec,
1986.
- 1986-9
-
J. P. Martins and S. C. Shapiro.
Belief revision in SNePS.
In Proceedings of the Sixth Canadian Conference on Artificial
Intelligence, pages 230-234. Presses de l'Université du Québec,
1986.
- 1986-10
-
S. S. Campbell and S. C. Shapiro.
Using belief revision to detect faults in circuits.
SNeRG Technical Note 15, Department of Computer Science, University
at Buffalo, 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
-
S. C. Shapiro and W. J. Rapaport.
SNePS considered as a fully intensional propositional semantic
network.
In Proc. Fifth National Conference on Artificial Intelligence,
pages 278-283, Los Altos, CA, 1986. Morgan Kaufmann.
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
-
S. C. Shapiro and J. Geller.
Artificial intelligence and automated design.
In 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.
- 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
-
M. R. Taie, J. Geller, S. N. Srihari, and S. C. Shapiro.
Knowledge based modeling of circuit boards.
In Proceedings of the Annual Reliability and Maintainability
Symposium, pages 422-427. IEEE, 1987.
- 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
-
J. Geller and S. C. Shapiro.
Graphical deep knowledge for intelligent machine drafting.
In Proceedings of the Tenth International Joint Conference on
Artificial Intelligence, pages 545-551, Los Angeles, CA, 1987. Morgan
Kaufmann.
- 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, pages 140-146, Los Altos, CA, 1987. Morgan
Kaufmann.
- 1987-12
-
J. G. Neal and S. C. Shapiro.
Knowledge-based parsing.
In L. Bolc, editor, Natural Language Parsing Systems, pages
49-92. Springer-Verlag, Berlin, 1987.
- 1987-13
-
S. C. Shapiro and J. W. 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
-
S. C. Shapiro and J. Geller.
Artificial intelligence and automated design.
In Y. Kalay, editor, Computability of Design, pages 173-187.
John Wiley, 1987.
- 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].
- 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
-
W. 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
-
J. G. Neal and S. C. Shapiro.
Intelligent multi-media interface technology.
In J.W Sullivan and S.W. Tyler, editors, Proc. Architectures for
Intelligent Interfaces: Elements and Prototypes, pages 69-91,
Lockheed AI Center, 1988.
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
-
J. M. Wiebe and W. J. Rapaport.
A computational theory of perspective and reference in narrative.
In Proceedings of the 26th Annual Meeting of the Association for
Computational Linguistics, pages 131-138. Association for Computational
Linguistics, 1988.
- 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
-
J. G. Neal, Z. Dobes, K. E. Bettinger, and J. S. Byoun.
Multi-modal references in human-computer dialogue.
In Proceedings of the Seventh National Conference on Artificial
Intelligence, pages 819-823. Morgan Kaufmann, 1988.
- 1988-12
-
S. 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, pages 177-182. Tata
McGraw-Hill, New Delhi, India, 1988.
- 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.
- 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
-
S. 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
-
S. C. Shapiro, D. Kumar, and S. Ali.
A propositional network approach to plans and plan recognition.
In Proceedings of the AAAI 1988 Workshop on Plan Recognition,
page 21, Los Altos, CA, 1989. Morgan Kaufmann.
- 1989-5
-
J. G. Neal, C. Y. Thielman, D. J. Funke, and J. S. Byoun.
Multi-modal output composition for human-computer dialogues.
In Proceedings of the 1989 IEEE AI Systems in Government
Conference, pages 250-257, George Washington Univ., Wash. D.C., 1989. IEEE.
- 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
-
S. C. Shapiro.
The CASSIE projects: An approach to natural language competence.
In Proceedings of the 4th Portugese Conference on Artificial
Intelligence, pages 362-380, Lisbon, Portugal, 1989. Springer-Verlag.
- 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, page 14. Morgan Kaufmann, 1989.
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, 1989.
- 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.
- 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
-
C. Rapp and M. Evens.
Design of an emotion profiler using SNePS.
In D. 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
-
D. Kumar, S. S. Ali, J. Haas, and S. C. Shapiro.
The SNePS acting system.
In K. E. Bettinger and G. Srikantan, editors, Proceedings of the
Fifth Annual University at Buffalo Graduate Conference on Computer Science,
pages 91-100, 1990.
- 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
-
S. C. Shapiro and W. J. Rapaport.
The SNePS family.
Technical Report 90-21, Department of Computer Science, University
at Buffalo, 1990.
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, April,
1990.
- 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, pages 11-43. Addison
Wesley, Reading, MA, 1991.
- 1991-3
-
Stuart C. Shapiro.
Cables,
paths and ``subconscious'' reasoning in propositional semantic
networks.
In John F. Sowa, editor, Principles of Semantic
Networks, chapter 4, pages 137-156. Morgan Kaufmann, San
Mateo, CA, 1991.
- 1991-4
-
Stuart C. Shapiro.
Case Studies of
SNePS, SIGART Bulletin, 2(3):128-134, June 1991.
- 1991-5
-
Stuart C. Shapiro, Hans Chalupsky, and Hsueh-Cheng Chou.
Connecting ARC/INFO and SNACTor. Technical Report 91-13,
Department of Computer Science, University at Buffalo, Buffalo, NY,
July 1991. Superseded by [1992-7].
- 1991-6
-
Deepak Kumar and Stuart C. Shapiro. Architecture of an Intelligent
Agent in SNePS, SIGART Bulletin, 2(4):89-92, August 1991.
- 1991-7
-
Christopher M. Lusardi.
A SNePS/Cassie implementation of parts of the dictionary of
cultural literacy.
SNeRG Technical Note 22, Department of Computer Science, University
at Buffalo, Buffalo, NY, September 1991.
74 pages.
- 1991-8
- Deepak Kumar and
Stuart C. Shapiro. Modeling a rational cognitive agent in SNePS.
In P. Barahona, L. Moniz Pereira, and A. Porto,
editors, EPIA 91: 5th Portugese Conference on Artificial
Intelligence, Lecture
Notes in Artificial Intelligence 541, pages
120-134. Springer-Verlag, Heidelberg, 1991.
- 1991-9
-
Joongmin Choi and Stuart C. Shapiro.
Experience-based deductive
learning. In Third International Conference on Tools for
Artificial Intelligence TAI '91, IEEE Computer Society Press, Los
Alamitos, CA, 1991, 502-503.
- 1991-10
-
Stuart C. Shapiro and William J. Rapaport.
Models and minds: Knowledge representation for natural-language
competence.
In Robert Cummins and John Pollock, editors, Philosophy and AI:
Essays at the Interface, pages 215-259. MIT Press, Cambridge, MA, 1991.
- 1991-11
-
Albert Hanyong Yuhan.
Dynamic Computation of Spatial Reference Frames in Narrative
Understanding.
PhD thesis, Technical Report 91-03, Department of Computer Science,
State University of New York at Buffalo, Buffalo, NY, February 1991.
- 1991-12
-
Rohini Srihari.
Extracting Visual Information from Text: Using Captions to Label
Faces in Newspaper Photographs.
PhD thesis, Technical Report 91-17, Department of Computer Science,
State University of New York at Buffalo, Buffalo, NY, November 1991.
- 1991-13
-
Martin J. Zaidel.
XGinseng: An X windows graphic display tool for SNePS networks.
SNeRG Technical Note 23, Department of Computer Science, University
at Buffalo, Buffalo, NY, May 1991.
18 pages.
- 1991-14
-
Daniel Campos.
Temporal relations and spanish narrative: A small step towards
language understanding.
SNeRG Technical Note 24, Department of Computer Science, University
at Buffalo, Buffalo, NY, September 1991.
136 pages.
- 1991-15
-
Martins, João P.,
& Cravo,
Maria R. (1991), "How
to Change Your Mind", Noüs
25(4):
537-551.
- 1992
-
- 1992-1
-
Joongmin Choi and Stuart C. Shapiro.
Efficient implementation of
non-standard connectives and quantifiers in deductive reasoning
systems. In Proceedings of the Twenty-Fifth Hawaii
International Conference on System Sciences, pages 381-390. IEEE
Computer Society Press, Los Alamitos, CA, 1992.
- 1992-2
-
Stuart C. Shapiro and William J. Rapaport. The
SNePS family. Computers & Mathematics with
Applications, 23(2-5):243-275, January-March 1992. Reprinted in
F. Lehmann, Ed. Semantic Networks in Artificial
Intelligence. Pergamon Press, Oxford, 1992, 243-275.
(pdf 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,
pages 75-91. Westview Press, Boulder, CO, 1992.
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.
- 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.
- 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, pages 151-165. Environmental Systems Research Institute,
Redlands, California, 1992.
- 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.
- 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, 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. 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.
- 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), pages 325-329. the Florida AI
Research Society, April 1993.
- 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.
- 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):167-177, April-September 1993.
- 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.
- 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.
- 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. Behaviour 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.
- 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.
- 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.
- 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.
In Proceedings of the
Sixteenth Annual Conference of the Cognitive Science Society,
pages 165-170, Hillsdale, NJ, August 1994. Lawrence Erlbaum.
- 1994-12
-
Jeannette G. Neal and Stuart C. Shapiro.
Knowledge-based multimedia systems.
In John F. Koegel Buford, editor, Multimedia Systems, pages
403-438. ACM Press/Addison Wesley, Reading, MA, 1994.
- 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.
- 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. (Preliminary, on-line
version.)
- 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.
- 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.
- 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.
- 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.
- 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.
PS Preprint Version. PDF Preprint
Version.
HTML
Archival Abstract.
PDF
Archival 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.
- 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 M. T. Maybury and W. 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]
- 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.
- 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.
- 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.
(.ps)
(.pdf)
- 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. 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].
- 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.
- 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.
- 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.
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.
- 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.
- 2000-4
-
Stuart C. Shapiro, SNePS: A
Logic for Natural Language Understanding and Commonsense
Reasoning. In Lucja M. Iwanska & 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 & 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. (pdf 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., &
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.
- 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. (pdf
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.
- 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)
- 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.
- 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.
- 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
-
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.
- 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.
- Forthcoming
- Kibby, Michael W.; Rapaport, William J.; Wieland, Karen W.; &
Dechert, Deborah A., CSI:
Contextual Semantic Investigation for Word Meaning. In Lawrence
A. Baines (ed.), Literacy through Multisensory Learning
(Alexandria, VA: Association for Supervision and Curriculum
Development), in press.
-
- Manuals
-
Last modified: Fri May 9 11:42:35 EDT 2008
SNeRG Home Page
Stuart C. Shapiro
<shapiro@cse.buffalo.edu>