- Symbol-Anchoring in Cassie Stuart C. Shapiro and Haythem O. Ismail
- Creating SNePS/Greenfoot Agents and Worlds SNeRG Technical Note 46
- formance capacity, and that happens to call for all of our robotic performance capacities too: the Total Turing Test (TTT). And, as
- Identifying Perceptually Indistinguishable Objects: Is That the Same One You Saw Before?
- Artificial Intelligence 1 1 Introduction
- SNePS: A Logic for Natural Language Understanding and Commonsense Reasoning
- Cascaded Acts: Conscious Sequential Acting for Embodied Agents
- The Trial The Trail, Act 3 A Virtual Reality Drama Using Intelligent Agents
- Proc. AAAI-04 1 Knowledge State Reconsideration: Hindsight Belief Revision
- QA/Theorem Proving -Minker Answering. Journal of Computers and Information Science
- An Introduction to SNePS 3 Stuart C. Shapiro
- ProgrammingTechniques R. MORRIS, Editor The List Set Generator
- Philosophy of Mind', pp. 81108. Atascadero, CA: Lycan W (1990) What is the `subjectivity' of the mental?
- The CASSIE Projects: An Approach to Natural Language
- Dependency-Directed Reconsideration Belief Base Optimization for Truth Maintenance Systems
- Johnson & Shapiro Says Who? July 31, 1999 Says Who?
- The Cognitive Clock: A Formal Investigation of the Epistemology of Time
- Artificial Intelligence 1 For articles on related subjects see Artificial Life; Automated Plan
- ARTIFICIAL INTELLIGENCE 25 A Model for Belief Revision
- Formalizing a Deductively Open Belief Space CSE Technical Report 200002
- Natural Language Tools for Information Extraction
- !;;ij":-"~ ~ -~ '. ---~ ." t;-..'.
- Journal of Applied Logic 5 (2007) 7091 www.elsevier.com/locate/jal
- COGNITIVE SCIENCE6, 291-330 (1982) Intensi0nal Concepts in Propositional
- Our Dinner with Cassie Stuart C. Shapiro and Haythem O. Ismail and John F. Santore
- Interests and Background Relevant to Self-Aware Computer Systems
- He repeatedly says that he is explaining how our brains make us who we are, and
- Belief Revision and Truth Maintenance Systems: An Overview and a Proposal
- UB at GeoCLEF 2006 Miguel E. Ruiz (1)
- Johnson & Shapiro Battle Scenario September 9, 1999 Finding and Resolving Contradictions
- INTERACTIVE VISUAL SIMULATORS FOR BEGINNING PROGRAMMING STUDENTS
- Short Communication Information Retrieval and Language Processing
- REPRESENTING NUMBERS IN SEMANTIC NETWORKS: PROLEGOMENA
- NUMERICAL QUANTIFIERS AND THEIR USE IN REASONING WITH NEGATIVE INFORMATION
- MULTI -A LISP Based Multiprocessing System Donald P. McKay and Stuart C. Shapiro
- REASONING IN MULTIPLE BELIEF SPACES J o a o P . M a r t i n s and S t u a r t C . S h a p i r o
- Deictic Centers and the Cognitive Structure of Narrative Comprehension
- Architecture of an Intelligent Agent in SNePS Deepak Kumar and Stuart C. Shapiro
- Reasoning about Incomplete Agents Hans Chalupsky
- Belief Revision and Truth Maintenance Systems: An Overview and a Proposal
- Formalizing a Deductively Open Belief Space CSE Technical Report 2000-02
- Computer Science: The Study of Procedures Stuart C. Shapiro
- Redefining Belief Change Terminology for Implemented Systems Frances L. Johnson and Stuart C. Shapiro
- Symbol-Anchoring in Cassie Stuart C. Shapiro and Haythem O. Ismail
- Robotics and Autonomous Systems 43 (2003) 97108 Anchoring in a grounded layered architecture
- MRS and SNePS: A Comparison Stuart C. Shapiro
- Crystal Cassie: Use of a 3-D Gaming Environment for a Cognitive Agent John F. Santore and Stuart C. Shapiro
- Proc. KR2004 1 A Logic of Arbitrary and Indefinite Objects
- Identifying an Object that is Perceptually Indistinguishable from one Previously John F. Santore and Stuart C. Shapiro
- MGLAIR Agents in a Virtual Reality Drama CSE Technical Report 2005-08
- Improving Recovery for Belief Bases Frances L. Johnson and Stuart C. Shapiro
- Conditional SNeRE Policies SNeRG Technical Note 39
- Base Belief Change and Optimized Recovery1
- Reconsideration on Non-Linear Base Orderings
- Metacognition in SNePS Stuart C. Shapiro, William J. Rapaport,
- The Use of SNePS for Cyber Security Reasoning
- In FS-08-04, AAAI Press, 2008, 88-93 1 A Categorization of Contextual Constraints
- Report on SNePS and RTS SNeRG Technical Note 45
- CONFERENCE PROCEEDINGS International Conference
- Set-Oriented Logical Connectives: Syntax and Semantics Stuart C. Shapiro
- THE GLAIR COGNITIVE ARCHITECTURE STUART C. SHAPIRO* and JONATHAN P. BONAy
- SNePS 2.7.1 USER'S MANUAL1 Stuart C. Shapiro
- The Jobs Puzzle A Challenge for Logical Expressibility
- In Proceedings, Commonsense 2011 1 The Jobs Puzzle
- Symbolic Reasoning in the Cyber Security Domain Michael Kandefer, Stuart C. Shapiro, Adam Stotz, and Moises Sudit
- An F-Measure for Context-based Information Retrieval Michael Kandefer and Stuart Shapiro
- Conscious Error Recovery and Interrupt Handling Haythem O. Ismail and Stuart C. Shapiro
- Natural Language Processing Using a Propositional Semantic Network with Structured Variables \Lambda
- Commonsense and Embodied Agents A Panel Discussion
- Computationalism \Lambda Stuart C. Shapiro
- Embodiment in GLAIR: A Grounded Layered Architecture with Integrated Reasoning for Autonomous Agents \Lambda
- Identifying Perceptually Indistinguishable Objects John F. Santore and Stuart C. Shapiro
- Co-Designing Agents Albert Goldfain ag33@cse.buffalo.edu
- Knowledge Acquisition by an Intelligent Acting Agent Michael Kandefer and Stuart C. Shapiro
- The GLAIR Cognitive Architecture Stuart C. Shapiro and Jonathan P. Bona
- Johnson & Shapiro Battle Scenario September 9, 1999 Finding and Resolving Contradictions
- SNePS 2.6.1 USER'S MANUAL 1 Stuart C. Shapiro
- To appear, AAAI 1998 Fall Symposium on Cognitive Robotics 1 Embodied Cassie
- FevahrCassie: A Description and Notes for Building FevahrCassie-Like Agents
- REPRINTED.FROMSHAPIRO:ENCYCLOPEDIAOFARTIFICIAL NTELllGENCECOPYRIGHT@ 1981BYJOHNWILEY& SONS,INC.
- Proc.NRAC-05 A SNePS Approach to The Wumpus World Agent
- A NET STRUCTURE BASED RELATIONAL QUESTION ANSWERER: DESCRIPTION AND EXAMPLES.*
- SNePS As An Ontological Reasoning Tool Jonathan P. Bona, Stuart C. Shapiro
- A Procedural Solution to the Unexpected Hanging and Sorites Paradoxes \Lambda
- Evaluating Spreading Activation for Soft Information Fusion
- I Deductive Efficiency + Belief Revision: How they affect an ontology of actions and acting
- Finding Hypothetical Answers with a Resolution Theorem Prover Debra T. Burhans and Stuart C. Shapiro
- Redefining Belief Change Terminology for Implemented Systems Frances L. Johnson and Stuart C. Shapiro
- Belief Spaces as Sets of Propositions 1 Stuart C. Shapiro
- Virtual Drama with Intelligent Agents JosephineAnstey,DavePape
- May 24, 2010 16:1 WSPC/glair The GLAIR Cognitive Architecture
- Formalizing English \Lambda Stuart C. Shapiro
- Dependency Directed Reconsideration Frances L. Johnson (flj@cse.buffalo.edu)
- SNePS 2.7 USER'S MANUAL1 Stuart C. Shapiro
- Comparing SNePS with Topbraid/Pellet SNeRG Technical Note 42
- Natural Language Competent Robots Stuart C. Shapiro
- Int. J. Arts and Technology, Vol. X, No. X, xxxx 1 Copyright 200x Inderscience Enterprises Ltd.
- Cables, Paths and \Subconscious" Reasoning Propositional Semantic Networks
- Propositional, First-Order And Higher-Order Logics: Basic De nitions, Rules of Inference, and Examples
- Whose Norm?1 Common Sense, Reasoning, & Rationality
- Propositional, First-Order And Higher-Order Logics: Basic Definitions, Rules of Inference, and Examples
- ACM Computers in Entertainment, Vol. 5, No. 3, Article 4. Publication Date: November 2007. Human Trials: An Experiment in Intermedia
- Relevance Logic in Computer Science Stuart C. Shapiro
- Two Problems with Reasoning and Acting in Time \Lambda Haythem O. Ismail and Stuart C. Shapiro
- Algorithms for Ontological Mediation Alistair E. Campbell 1 and Stuart C. Shapiro 2
- Of Elephants and Men \Lambday Johan M. Lammens, Henry H. Hexmoor, Stuart C. Shapiro
- This is a slightly revised version of a paper that will appear in the proceedings of AI In Engineering, Toulouse, France, June 29 July 1, 1993.
- Johnson & Shapiro Says Who? July 31, 1999 Says Who? --
- Case Studies of SNePS Stuart C. Shapiro
- A Cognitive Robotics Approach to Identifying Perceptually Indistinguishable Objects
- Psycho-Drama in VR Josephine Anstey, Dave Pape, Stuart C. Shapiro, Orkan Telhan, Trupti Devdas Nayak
- SNePS Efficiency Report SNeRG Technical Note 43
- Expanding the Notion of Answer in RuleBased Systems
- Knowledge Representation Article reference code 58
- INFEHENCEWITHRECURSIVERULES StuartC. Shapiroand DonaldP. McKay
- Co-Designing Agents Albert Goldfain and Michael W. Kandefer and Stuart C. Shapiro
- MGLAIR Agents in Virtual and other Graphical Environments Stuart C. Shapiro
- Mapping the Landscape of Human-Level Artificial General Intelligence We present the broad outlines of a roadmap toward human-
- Visually Interacting with a Knowledge Base Using Frames, Logic, and Propositional Graphs
