-
1
-
-
0000128393
-
On the logic of theory change: Partial meet contraction and revision functions
-
Alchourrón, C. E.; Gärdenfors, P.; and Makinson, D. 1985. On the logic of theory change: Partial meet contraction and revision functions. The Journal of Symbolic Logic 50(2):510-530.
-
(1985)
The Journal of Symbolic Logic
, vol.50
, Issue.2
, pp. 510-530
-
-
Alchourrón, C.E.1
Gärdenfors, P.2
Makinson, D.3
-
3
-
-
77954223785
-
The agent takes the stage
-
in press
-
Anstey, J.; Seyed, A. P.; Bay-Cheng, S.; Bona, J.; Hibit, S.; Pape, D.; Shapiro, S. C.; and Sena, V. in press. The agent takes the stage. International Journal of Arts and Technology,.
-
International Journal of Arts and Technology
-
-
Anstey, J.1
Seyed, A.P.2
Bay-Cheng, S.3
Bona, J.4
Hibit, S.5
Pape, D.6
Shapiro, S.C.7
Sena, V.8
-
4
-
-
84897710145
-
Flow diagrams, turing machines, and languages with only two formation rules
-
Böhm, C., and Jacopini, G. 1966. Flow diagrams, turing machines, and languages with only two formation rules. Communications of the ACM 9(5):366-371.
-
(1966)
Communications of the ACM
, vol.9
, Issue.5
, pp. 366-371
-
-
Böhm, C.1
Jacopini, G.2
-
5
-
-
0001917514
-
PRODIGY: An integrated architecture for planning and learning
-
VanLehn, K., ed., Hillsdale, NJ: Lawrence Erlbaum
-
Carbonell, J. G.; Knoblock, C. A.; and Minton, S. 1990. PRODIGY: An integrated architecture for planning and learning. In VanLehn, K., ed., Architectures for Intelligence. Hillsdale, NJ: Lawrence Erlbaum. 241-278.
-
(1990)
Architectures for Intelligence
, pp. 241-278
-
-
Carbonell, J.G.1
Knoblock, C.A.2
Minton, S.3
-
7
-
-
77954224625
-
-
PhD dissertation, Technical Report 93-20, Department of Computer Science, State University of New York at Buffalo, Buffalo, NY
-
Choi, J. 1993. Experience-Based Learning in Deductive Reasoning Systems. PhD dissertation, Technical Report 93-20, Department of Computer Science, State University of New York at Buffalo, Buffalo, NY.
-
(1993)
Experience-Based Learning in Deductive Reasoning Systems
-
-
Choi, J.1
-
8
-
-
0022680851
-
An assumption-based truth maintenance system
-
de Kleer, J. 1986. An assumption-based truth maintenance system. Artificial Intelligence 28(2):127-162.
-
(1986)
Artificial Intelligence
, vol.28
, Issue.2
, pp. 127-162
-
-
De Kleer, J.1
-
9
-
-
0004099987
-
-
eds. Hillsdale, NJ: Lawrence Erlbaum Associates, Inc.
-
Duchan, J. F.; Bruder, G. A.; and Hewitt, L. E., eds. 1995. Deixis in Narrative: A Cognitive Science Perspective. Hillsdale, NJ: Lawrence Erlbaum Associates, Inc.
-
(1995)
Deixis in Narrative: A Cognitive Science Perspective
-
-
Duchan, J.F.1
Bruder, G.A.2
Hewitt, L.E.3
-
11
-
-
0030419686
-
Planning text about plans interactively
-
Haller, S. 1996. Planning text about plans interactively. International Journal of Expert Systems 9(1):85-112.
-
(1996)
International Journal of Expert Systems
, vol.9
, Issue.1
, pp. 85-112
-
-
Haller, S.1
-
12
-
-
0033355091
-
An introduction to interactive discourse processing from the perspective of plan recognition and text planning
-
Haller, S. 1999. An introduction to interactive discourse processing from the perspective of plan recognition and text planning. Artificial Intelligence Review 13(4):259-333.
-
(1999)
Artificial Intelligence Review
, vol.13
, Issue.4
, pp. 259-333
-
-
Haller, S.1
-
13
-
-
0344733659
-
Embodiment in GLAIR: A grounded layered architecture with integrated reasoning for autonomous agents
-
Dankel II, D. D., and Stewman, J., eds., The Florida AI Research Society
-
Hexmoor, H.; Lammens, J.; and Shapiro, S. C. 1993. Embodiment in GLAIR: a grounded layered architecture with integrated reasoning for autonomous agents. In Dankel II, D. D., and Stewman, J., eds., Proceedings of The Sixth Florida AI Research Symposium (FLAIRS 93). The Florida AI Research Society. 325-329.
-
(1993)
Proceedings of the Sixth Florida AI Research Symposium (FLAIRS 93)
, pp. 325-329
-
-
Hexmoor, H.1
Lammens, J.2
Shapiro, S.C.3
-
14
-
-
0345503048
-
Half orders of magnitude
-
Obrst, L., and Mani, I., eds., Papers from the A Workshop of the Seventh International Conference on Principles of Knowldege Representation and Reasoning, Breckenridge, CO
-
Hobbs, J. R. 2000. Half orders of magnitude. In Obrst, L., and Mani, I., eds., Papers from the Workshop on Semantic Approximation, Granularity, and Vagueness, 28-38. A Workshop of the Seventh International Conference on Principles of Knowldege Representation and Reasoning, Breckenridge, CO.
-
(2000)
Workshop on Semantic Approximation, Granularity, and Vagueness
, pp. 28-38
-
-
Hobbs, J.R.1
-
15
-
-
0344209266
-
Two problems with reasoning and acting in time
-
Cohn, A. G.; Giunchiglia, F.; and Selman, B., eds., San Francisco: Morgan Kaufmann
-
Ismail, H. O., and Shapiro, S. C. 2000. Two problems with reasoning and acting in time. In Cohn, A. G.; Giunchiglia, F.; and Selman, B., eds., Principles of Knowledge Representation and Reasoning: Proceedings of the Seventh International Conference (KR 2000), 355-365. San Francisco: Morgan Kaufmann.
-
(2000)
Principles of Knowledge Representation and Reasoning: Proceedings of the Seventh International Conference (KR 2000)
, pp. 355-365
-
-
Ismail, H.O.1
Shapiro, S.C.2
-
16
-
-
0344209283
-
-
Technical Report 2001-08, Department of Computer Science and Engineering, University at Buffalo, Buffalo, NY
-
Ismail, H. O., and Shapiro, S. C. 2001. 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.
-
(2001)
The Cognitive Clock: A Formal Investigation of the Epistemology of Time
-
-
Ismail, H.O.1
Shapiro, S.C.2
-
17
-
-
0345071412
-
-
PhD dissertation, Technical Report 2001-11, University at Buffalo, The State University of New York, Buffalo, NY
-
Ismail, H. O. 2001. Reasoning and Acting in Time. PhD dissertation, Technical Report 2001-11, University at Buffalo, The State University of New York, Buffalo, NY.
-
(2001)
Reasoning and Acting in Time
-
-
Ismail, H.O.1
-
18
-
-
37349087484
-
Knowledge acquisition by an intelligent acting agent
-
Amir, E.; Lifschitz, V.; and Miller, R., eds., Menlo Park, CA: AAAI Press
-
Kandefer, M., and Shapiro, S. C. 2007. Knowledge acquisition by an intelligent acting agent. In Amir, E.; Lifschitz, V.; and Miller, R., eds., Logical Formalizations of Commonsense Reasoning, Papers from the AAAI Spring Symposium, Technical Report SS-07-05, 77-82. Menlo Park, CA: AAAI Press.
-
(2007)
Logical Formalizations of Commonsense Reasoning, Papers from the AAAI Spring Symposium, Technical Report SS-07-05
, pp. 77-82
-
-
Kandefer, M.1
Shapiro, S.C.2
-
19
-
-
0039785345
-
Architecture of an intelligent agent in SNePS
-
Kumar, D., and Shapiro, S. C. 1991. Architecture of an intelligent agent in SNePS. SIGART Bulletin 2(4):89-92.
-
(1991)
SIGART Bulletin
, vol.2
, Issue.4
, pp. 89-92
-
-
Kumar, D.1
Shapiro, S.C.2
-
20
-
-
0345071407
-
Acting in service of inference (and vice versa)
-
Dankel II, D. D., ed., The Florida AI Research Society
-
Kumar, D., and Shapiro, S. C. 1994. Acting in service of inference (and vice versa). In Dankel II, D. D., ed., Proceedings of The Seventh Florida AI Research Symposium (FLAIRS 94). The Florida AI Research Society. 207-211.
-
(1994)
Proceedings of the Seventh Florida AI Research Symposium (FLAIRS 94)
, pp. 207-211
-
-
Kumar, D.1
Shapiro, S.C.2
-
23
-
-
77954221493
-
Of elephants and men
-
Steels, L., ed., Berlin: Springer-Verlag, Berlin
-
Lammens, J. M.; Hexmoor, H. H.; and Shapiro, S. C. 1995. Of elephants and men. In Steels, L., ed., The Biology and Technology of Intelligent Autonomous Agents. Berlin: Springer-Verlag, Berlin. 312-344.
-
(1995)
The Biology and Technology of Intelligent Autonomous Agents
, pp. 312-344
-
-
Lammens, J.M.1
Hexmoor, H.H.2
Shapiro, S.C.3
-
25
-
-
60649113210
-
Cognitive architectures: Research issues and challenges
-
Langley, P.; Laird, J. E.; and Rogers, S. 2009. Cognitive architectures: Research issues and challenges. Cognitive Systems Research 10(2):141-160.
-
(2009)
Cognitive Systems Research
, vol.10
, Issue.2
, pp. 141-160
-
-
Langley, P.1
Laird, J.E.2
Rogers, S.3
-
33
-
-
0344640898
-
Knowledge-based parsing
-
Bolc, L., ed., Berlin: Springer-Verlag
-
Neal, J. G., and Shapiro, S. C. 1987a. Knowledge-based parsing. In Bolc, L., ed., Natural Language Parsing Systems. Berlin: Springer-Verlag. 49-92.
-
(1987)
Natural Language Parsing Systems
, pp. 49-92
-
-
Neal, J.G.1
Shapiro, S.C.2
-
34
-
-
0344640885
-
Knowledge representation for reasoning about language
-
Boudreaux, J. C.; Hamill, B. W.; and Jernigan, R., eds., Elsevier Science Publishers
-
Neal, J. G., and Shapiro, S. C. 1987b. Knowledge representation for reasoning about language. In Boudreaux, J. C.; Hamill, B. W.; and Jernigan, R., eds., The Role of Language in Problem Solving 2. Elsevier Science Publishers. 27-46.
-
(1987)
The Role of Language in Problem Solving 2
, pp. 27-46
-
-
Neal, J.G.1
Shapiro, S.C.2
-
35
-
-
34247341923
-
-
eds. Dordrecht: Kluwer Academic Publishers
-
Orilia, F., and Rapaport, W. J., eds. 1998. Thought, Language, and Ontology: Essays in Memory of Hector-Neri Castañeda. Dordrecht: Kluwer Academic Publishers.
-
(1998)
Thought, Language, and Ontology: Essays in Memory of Hector-Neri Castañeda
-
-
Orilia, F.1
Rapaport, W.J.2
-
36
-
-
0030636175
-
Quasi-indexicals and knowledge reports
-
Reprinted in (Orilia and Rapaport 1998, pp. 235-294)
-
Rapaport, W. J.; Shapiro, S. C.; and Wiebe, J. M. 1997. Quasi-indexicals and knowledge reports. Cognitive Science 21(1):63-107. Reprinted in (Orilia and Rapaport 1998, pp. 235-294).
-
(1997)
Cognitive Science
, vol.21
, Issue.1
, pp. 63-107
-
-
Rapaport, W.J.1
Shapiro, S.C.2
Wiebe, J.M.3
-
37
-
-
0001819160
-
Indirect speech acts
-
Cole, P., and Morgan, J. L., eds., Academic Press
-
Searle, J. R. 1975. Indirect speech acts. In Cole, P., and Morgan, J. L., eds., Speech Acts: Syntax and Semantics, volume 3. Academic Press. 59-82.
-
(1975)
Speech Acts: Syntax and Semantics
, vol.3
, pp. 59-82
-
-
Searle, J.R.1
-
38
-
-
77954227250
-
Sneps efficiency report
-
Department of Computer Science, State University of New York at Buffalo, Buffalo, NY
-
Seyed, A. P.; Kandefer, M.; and Shapiro, S. C. 2008. Sneps efficiency report. SNeRG Technical Note 43, Department of Computer Science, State University of New York at Buffalo, Buffalo, NY.
-
(2008)
SNeRG Technical Note 43
-
-
Seyed, A.P.1
Kandefer, M.2
Shapiro, S.C.3
-
39
-
-
0037475207
-
Anchoring in a grounded layered architecture with integrated reasoning
-
Shapiro, S. C., and Ismail, H. O. 2003. Anchoring in a grounded layered architecture with integrated reasoning. Robotics and Autonomous Systems 43(2-3):97-108.
-
(2003)
Robotics and Autonomous Systems
, vol.43
, Issue.2-3
, pp. 97-108
-
-
Shapiro, S.C.1
Ismail, H.O.2
-
40
-
-
33750687142
-
A SNePS approach to the wumpus world agent or Cassie meets the wumpus
-
Morgenstern, L., and Pagnucco, M., eds., Edinburgh, Scotland: IJCAII
-
Shapiro, S. C., and Kandefer, M. 2005. A SNePS approach to the wumpus world agent or Cassie meets the wumpus. In Morgenstern, L., and Pagnucco, M., eds., IJCAI-05 Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC'05): Working Notes. Edinburgh, Scotland: IJCAII. 96-103.
-
(2005)
IJCAI-05 Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC'05): Working Notes
, pp. 96-103
-
-
Shapiro, S.C.1
Kandefer, M.2
-
42
-
-
0002342883
-
SNePS considered as a fully intensional propositional semantic network
-
Cercone, N., and McCalla, G., eds., New York: Springer-Verlag
-
Shapiro, S. C., and Rapaport, W. J. 1987. SNePS considered as a fully intensional propositional semantic network. In Cercone, N., and McCalla, G., eds., The Knowledge Frontier. New York: Springer-Verlag. 263-315.
-
(1987)
The Knowledge Frontier
, pp. 263-315
-
-
Shapiro, S.C.1
Rapaport, W.J.2
-
43
-
-
0002721684
-
The SNePS family
-
Reprinted in (Lehmann 1992, pp. 243-275)
-
Shapiro, S. C., and Rapaport, W. J. 1992. The SNePS family. Computers & Mathematics with Applications 23(2-5):243-275. Reprinted in (Lehmann 1992, pp. 243-275).
-
(1992)
Computers & Mathematics with Applications
, vol.23
, Issue.2-5
, pp. 243-275
-
-
Shapiro, S.C.1
Rapaport, W.J.2
-
44
-
-
0001896157
-
An introduction to a computational reader of narratives
-
Duchan, J. F.; Bruder, G. A.; and Hewitt, L. E., eds., Hillsdale, NJ: Lawrence Erlbaum Associates, Inc.
-
Shapiro, S. C., and Rapaport, W. J. 1995. An introduction to a computational reader of narratives. In Duchan, J. F.; Bruder, G. A.; and Hewitt, L. E., eds., Deixis in Narrative: A Cognitive Science Perspective. Hillsdale, NJ: Lawrence Erlbaum Associates, Inc. 79-105.
-
(1995)
Deixis in Narrative: A Cognitive Science Perspective
, pp. 79-105
-
-
Shapiro, S.C.1
Rapaport, W.J.2
-
45
-
-
84858831546
-
-
The SNePS Implementation Group. Department of Computer Science and Engineering, University at Buffalo, The State University of New York, Buffalo, NY
-
Shapiro, S. C., and The SNePS Implementation Group. 2008. SNePS 2.7 User's Manual. Department of Computer Science and Engineering, University at Buffalo, The State University of New York, Buffalo, NY.
-
(2008)
SNePS 2.7 User's Manual
-
-
Shapiro, S.C.1
-
46
-
-
29344443811
-
-
Technical Report 2005-08, Department of Computer Science & Engineering, University at Buffalo, Buffalo, NY
-
Shapiro, S. C.; Anstey, J.; Pape, D. E.; Nayak, T. D.; Kandefer, M.; and Telhan, O. 2005a. MGLAIR agents in a virtual reality drama. Technical Report 2005-08, Department of Computer Science & Engineering, University at Buffalo, Buffalo, NY.
-
(2005)
MGLAIR Agents in a Virtual Reality Drama
-
-
Shapiro, S.C.1
Anstey, J.2
Pape, D.E.3
Nayak, T.D.4
Kandefer, M.5
Telhan, O.6
-
47
-
-
29344433519
-
MGLAIR agents in virtual and other graphical environments
-
Menlo Park, CA: AAAI Press
-
Shapiro, S. C.; Anstey, J.; Pape, D. E.; Nayak, T. D.; Kandefer, M.; and Telhan, O. 2005b. MGLAIR agents in virtual and other graphical environments. In Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI-05). Menlo Park, CA: AAAI Press. 1704-1705.
-
(2005)
Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI-05)
, pp. 1704-1705
-
-
Shapiro, S.C.1
Anstey, J.2
Pape, D.E.3
Nayak, T.D.4
Kandefer, M.5
Telhan, O.6
-
48
-
-
37249040767
-
The Trial the Trail, Act 3: A virtual reality drama using intelligent agents
-
Young, R. M., and Laird, J., eds., Menlo Park, CA: AAAI Press
-
Shapiro, S. C.; Anstey, J.; Pape, D. E.; Nayak, T. D.; Kandefer, M.; and Telhan, O. 2005c. The Trial The Trail, Act 3: a virtual reality drama using intelligent agents. In Young, R. M., and Laird, J., eds., Proceedings of the First Annual Artificial Intelligence and Interactive Digital Entertainment Conference (AIIDE-05), 157-158. Menlo Park, CA: AAAI Press.
-
(2005)
Proceedings of the First Annual Artificial Intelligence and Interactive Digital Entertainment Conference (AIIDE-05)
, pp. 157-158
-
-
Shapiro, S.C.1
Anstey, J.2
Pape, D.E.3
Nayak, T.D.4
Kandefer, M.5
Telhan, O.6
-
49
-
-
34247336810
-
Metacognition in SNePS
-
Shapiro, S. C.; Rapaport, W. J.; Kandefer, M.; Johnson, F. L.; and Goldfain, A. 2007. Metacognition in SNePS. AI Magazine 28:17-31.
-
(2007)
AI Magazine
, vol.28
, pp. 17-31
-
-
Shapiro, S.C.1
Rapaport, W.J.2
Kandefer, M.3
Johnson, F.L.4
Goldfain, A.5
-
50
-
-
0345071392
-
Our dinner with Cassie
-
Menlo Park, CA: AAAI
-
Shapiro, S. C.; Ismail, H. O.; and Santore, J. F. 2000. Our dinner with Cassie. In Working Notes for the AAAI 2000 Spring Symposium on Natural Dialogues with Practical Robotic Devices, 57-61. Menlo Park, CA: AAAI.
-
(2000)
Working Notes for the AAAI 2000 Spring Symposium on Natural Dialogues with Practical Robotic Devices
, pp. 57-61
-
-
Shapiro, S.C.1
Ismail, H.O.2
Santore, J.F.3
-
52
-
-
0842296578
-
Path-based and node-based inference in semantic networks
-
Waltz, D. L., ed., New York: ACM
-
Shapiro, S. C. 1978. Path-based and node-based inference in semantic networks. In Waltz, D. L., ed., Tinlap-2: Theoretical Issues in Natural Languages Processing. New York: ACM. 219-225.
-
(1978)
Tinlap-2: Theoretical Issues in Natural Languages Processing
, pp. 219-225
-
-
Shapiro, S.C.1
-
54
-
-
84925979780
-
Generalized augmented transition network grammars for generation from semantic networks
-
Shapiro, S. C. 1982. Generalized augmented transition network grammars for generation from semantic networks. The American Journal of Computational Linguistics 8(1):12-25.
-
(1982)
The American Journal of Computational Linguistics
, vol.8
, Issue.1
, pp. 12-25
-
-
Shapiro, S.C.1
-
55
-
-
0022795859
-
Symmetric relations, intensional individuals, and variable binding
-
Shapiro, S. C. 1986. Symmetric relations, intensional individuals, and variable binding. Proceedings of the IEEE 74(10):1354-1363.
-
(1986)
Proceedings of the IEEE
, vol.74
, Issue.10
, pp. 1354-1363
-
-
Shapiro, S.C.1
-
56
-
-
77954228991
-
Processing, bottom-up and top-down
-
Shapiro, S. C., ed., New York: John Wiley & Sons Reprinted in Second Edition, 1992, pages 1229-1234
-
Shapiro, S. C. 1987. Processing, bottom-up and top-down. In Shapiro, S. C., ed., Encyclopedia of Artificial Intelligence. New York: John Wiley & Sons. 779-785. Reprinted in Second Edition, 1992, pages 1229-1234.
-
(1987)
Encyclopedia of Artificial Intelligence
, pp. 779-785
-
-
Shapiro, S.C.1
-
57
-
-
0345503042
-
The CASSIE projects: An approach to natural language competence
-
Martins, J. P., and Morgado, E. M., eds., Berlin: Springer-Verlag
-
Shapiro, S. C. 1989. The CASSIE projects: An approach to natural language competence. In Martins, J. P., and Morgado, E. M., eds., EPIA 89: 4th Portugese Conference on Artificial Intelligence Proceedings, Lecture Notes in Artificial Intelligence 590. Berlin: Springer-Verlag. 362-380.
-
(1989)
EPIA 89: 4th Portugese Conference on Artificial Intelligence Proceedings, Lecture Notes in Artificial Intelligence
, vol.590
, pp. 362-380
-
-
Shapiro, S.C.1
-
58
-
-
33645588471
-
Cables, paths and "subconscious" reasoning in propositional semantic networks
-
Sowa, J., ed., Los Altos, CA: Morgan Kaufmann
-
Shapiro, S. C. 1991. Cables, paths and "subconscious" reasoning in propositional semantic networks. In Sowa, J., ed., Principles of Semantic Networks: Explorations in the Representation of Knowledge. Los Altos, CA: Morgan Kaufmann. 137-156.
-
(1991)
Principles of Semantic Networks: Explorations in the Representation of Knowledge
, pp. 137-156
-
-
Shapiro, S.C.1
-
59
-
-
0007909220
-
Artificial intelligence
-
Shapiro, S. C., ed., New York: John Wiley & Sons, second edition
-
Shapiro, S. C. 1992. Artificial intelligence. In Shapiro, S. C., ed., Encyclopedia of Artificial Intelligence. New York: John Wiley & Sons, second edition. 54-57.
-
(1992)
Encyclopedia of Artificial Intelligence
, pp. 54-57
-
-
Shapiro, S.C.1
-
62
-
-
84958659035
-
An introduction to SNePS 3
-
Ganter, B., and Mineau, G. W., eds., Conceptual Structures: Logical, Linguistic, and Computational Issues, Berlin: Springer-Verlag
-
Shapiro, S. C. 2000a. An introduction to SNePS 3. In Ganter, B., and Mineau, G. W., eds., Conceptual Structures: Logical, Linguistic, and Computational Issues, volume 1867 of Lecture Notes in Artificial Intelligence. Berlin: Springer-Verlag. 510-524.
-
(2000)
Lecture Notes in Artificial Intelligence
, vol.1867
, pp. 510-524
-
-
Shapiro, S.C.1
|