Stuart C. Shapiro

Publication Activity (10 Years)

Years Active: 1969-2015
Publications (10 Years): 0

Top Topics

Nonmonotonic Inference

Backward Chaining

Language Understanding

Consistency Checking

Top Venues

Publications

Stuart C. Shapiro, Daniel R. Schlegel
Use of background knowledge in natural language understanding for information fusion. FUSION (2015)
Daniel R. Schlegel, Stuart C. Shapiro
Inference Graphs: Combining Natural Deduction and Subsumption Inference in a Concurrent Reasoner. AAAI (2015)
Daniel R. Schlegel, Stuart C. Shapiro
The 'Ah Ha!' Moment: When Possible, Answering the Currently Unanswerable using Focused Reasoning. CogSci (2014)
Daniel R. Schlegel, Stuart C. Shapiro
Inference Graphs: A New Kind of Hybrid Reasoning System. AAAI (2014)
Geoff A. Gross, Ketan Date, Daniel R. Schlegel, Jason J. Corso, James Llinas, Rakesh Nagi, Stuart C. Shapiro
Systemic test and evaluation of a hard+soft information fusion framework: Challenges and current approaches. FUSION (2014)
Stuart C. Shapiro, Daniel R. Schlegel
Natural language understanding for soft information fusion. FUSION (2013)
Daniel R. Schlegel, Stuart C. Shapiro
Concurrent Reasoning with Inference Graphs. AAAI (2013)
Daniel R. Schlegel, Stuart C. Shapiro
Concurrent Reasoning with Inference Graphs. GKR (2013)
Geoff A. Gross, Rakesh Nagi, Kedar Sambhoos, Daniel R. Schlegel, Stuart C. Shapiro, Gregory Tauer
Towards hard+soft data fusion: Processing architecture and implementation for the joint fusion and analysis of hard and soft intelligence data. FUSION (2012)
Sam S. Adams, Itamar Arel, Joscha Bach, Robert Coop, Rod Furlan, Ben Goertzel, J. Storrs Hall, Alexei V. Samsonovich, Matthias Scheutz, Matthew Schlesinger, Stuart C. Shapiro, John F. Sowa
Mapping the Landscape of Human-Level Artificial General Intelligence. AI Mag. 33 (1) (2012)
Jonathan P. Bona, Stuart C. Shapiro
Modality in the MGLAIR Architecture. BICA (2012)
Daniel R. Schlegel, Stuart C. Shapiro
Visually Interacting with a Knowledge Base Using Frames, Logic, and Propositional Graphs. GKR (2011)
Stuart C. Shapiro
The Jobs Puzzle: A Challenge for Logical Expressibility and Automated Reasoning. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
Patrice Seyed, Stuart C. Shapiro
Applying Rigidity to Standardizing OBO Foundry Candidate Ontologies. ICBO (2011)
Michael Kandefer, Stuart C. Shapiro
Evaluating spreading activation for soft information fusion. FUSION (2011)
Michael Prentice, Stuart C. Shapiro
Using propositional graphs for soft information fusion. FUSION (2011)
Stuart C. Shapiro, Jonathan P. Bona
The GLAIR Cognitive Architecture. Cognitive Robotics (2010)
Mark Prentice, Michael Kandefer, Stuart C. Shapiro
Tractor: A framework for soft information fusion. FUSION (2010)
Stuart C. Shapiro
Set-Oriented Logical Connectives: Syntax and Semantics. KR (2010)
Juan Gómez-Romero, Jesús García, Michael Kandefer, James Llinas, José M. Molina, Miguel A. Patricio, Michael Prentice, Stuart C. Shapiro
Strategies and techniques for use and exploitation of Contextual Information in high-level fusion architectures. FUSION (2010)
Josephine Anstey, A. Patrice Seyed, Sarah Bay-Cheng, Dave Pape, Stuart C. Shapiro, Jonathan P. Bona, Stephen Hibit
The agent takes the stage. Int. J. Arts Technol. 2 (4) (2009)
Stuart C. Shapiro, Jonathan P. Bona
The GLAIR Cognitive Architecture. AAAI Fall Symposium: Biologically Inspired Cognitive Architectures (2009)
Michael Kandefer, Stuart C. Shapiro
A Categorization of Contextual Constraints. AAAI Fall Symposium: Biologically Inspired Cognitive Architectures (2008)
Michael Kandefer, Stuart C. Shapiro
Knowledge Acquisition by an Intelligent Acting Agent. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2007)
Debra T. Burhans, Stuart C. Shapiro
Defining answer classes using resolution refutation. J. Appl. Log. 5 (1) (2007)
Stuart C. Shapiro, William J. Rapaport, Michael Kandefer, Frances L. Johnson, Albert Goldfain
Metacognition in SNePS. AI Mag. 28 (1) (2007)
Josephine Anstey, Sarah Bay-Cheng, Dave Pape, Stuart C. Shapiro
Human trials: an experiment in intermedia performance. Comput. Entertain. 5 (3) (2007)
Frances L. Johnson, Stuart C. Shapiro
Base Belief Change and Optimized Recovery. STAIRS (2006)
Frances L. Johnson, Stuart C. Shapiro
Reconsideration on Non-Linear Base Orderings. STAIRS (2006)
Josephine Anstey, Sarah Bay-Cheng, Stuart C. Shapiro, Dave Pape
Human trials intermedia performance. SIGGRAPH Research Posters (2006)
Silvia Coradeschi, Hiroshi Ishiguro, Minoru Asada, Stuart C. Shapiro, Michael Thielscher, Cynthia Breazeal, Maja J. Mataric, Hiroshi Ishida
Human-Inspired Robots. IEEE Intell. Syst. 21 (4) (2006)
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. AIIDE (2005)
Stuart C. Shapiro, Josephine Anstey, David E. Pape, Trupti Devdas Nayak, Michael Kandefer, Orkan Telhan
MGLAIR Agents in Virtual and Other Graphical Environments. AAAI (2005)
Frances L. Johnson, Stuart C. Shapiro
Dependency-Directed Reconsideration Belief Base Optimization for Truth Maintenance Systems. AAAI (2005)
Stuart C. Shapiro
A Logic of Arbitrary and Indefinite Objects. KR (2004)
John F. Santore, Stuart C. Shapiro
Identifying an Object that is Perceptually Indistinguishable from One Previously Perceived. AAAI (2004)
Frances L. Johnson, Stuart C. Shapiro
Knowledge State Reconsideration: Hindsight Belief Revision. AAAI (2004)
John F. Santore, Stuart C. Shapiro
A Cognitive Robotics Approach to Identifying Perceptually Indistinguishable Objects. AAAI Technical Report (5) (2004)
Stuart C. Shapiro, Haythem O. Ismail
Anchoring in a grounded layered architecture with integrated reasoning. Robotics Auton. Syst. 43 (2-3) (2003)
Stuart C. Shapiro
Conference review: IFIP TC12. Intell. 12 (3) (2001)
Haythem O. Ismail, Stuart C. Shapiro
Two Problems with Reasoning and Acting in Time. KR (2000)
Stuart C. Shapiro
An Introduction to SNePS 3. ICCS (2000)
Frances L. Johnson, Stuart C. Shapiro
Implementing Integrity Constraints in an Existing Belief Revision System CoRR (2000)
Stuart C. Shapiro, Frances L. Johnson
Automatic Belief Revision in SNePS CoRR (2000)
Alistair E. Campbell, Stuart C. Shapiro
Algorithms for Ontological Mediation. WordNet@ACL/COLING (1998)
William J. Rapaport, Stuart C. Shapiro, Janyce Wiebe
Quasi-Indexicals and Knowledge Reports. Cogn. Sci. 21 (1) (1997)
Stuart C. Shapiro
Splitting the Difference: The Historical Necessity of Synthesis in Software Engineering. IEEE Ann. Hist. Comput. 19 (1) (1997)
Stuart C. Shapiro
Implementations and Research: Discussions at the Boundary. KR (1996)
David Kemmerer, Kenneth Aizawa, Donald H. Berman, Stacey L. Edgar, James E. Tomberlin, J. Christopher Maloney, John L. Bell, Stuart C. Shapiro, Georges Rey, Morton L. Schagrin, Robert A. Wilson, Patrick J. Hayes
Book reviews. Minds Mach. 5 (3) (1995)
Stuart C. Shapiro
Computationalism. Minds Mach. 5 (4) (1995)
Deepak Kumar, Stuart C. Shapiro
The OK BDI Architecture. Int. J. Artif. Intell. Tools 3 (3) (1994)
Stuart C. Shapiro
Belief spaces as sets of propositions. J. Exp. Theor. Artif. Intell. 5 (2-3) (1993)
Deepak Kumar, Stuart C. Shapiro
Deductive efficiency, belief revision and acting. J. Exp. Theor. Artif. Intell. 5 (2-3) (1993)
Susan M. Haller, Stuart C. Shapiro
IDP - An Interactive Discourse Planner. EWNLG (1993)
Syed S. Ali, Stuart C. Shapiro
Natural language processing using a propositional semantic network with structured variables. Minds Mach. 3 (4) (1993)
Stuart C. Shapiro
Preface. Minds Mach. 3 (4) (1993)
Stuart C. Shapiro
Case Studies of SNePS. SIGART Bull. 2 (3) (1991)
Deepak Kumar, Stuart C. Shapiro
Architecture of an Intelligent Agent in SNePS. SIGART Bull. 2 (4) (1991)
Joongmin Choi, Stuart C. Shapiro
Experience-based deductive learning. ICTAI (1991)
Deepak Kumar, Stuart C. Shapiro
Modelling a Rational Cognitive Agent in SNePS. EPIA (1991)
Stuart C. Shapiro
The CASSIE Projects: An Approach to Natural Language Competence. EPIA (1989)
Jeannette G. Neal, C. Y. Thielman, Zuzanna Dobes, Susan M. Haller, Stuart C. Shapiro
Natural Language with Integrated Deictic and Graphic Gestures. HLT (2) (1989)
Stuart C. Shapiro, João P. Martins
Recent Advances and Developments - The SNePS 2.1 Report. SNePS (1989)
João P. Martins, Stuart C. Shapiro
A Model for Belief Revision. Artif. Intell. 35 (1) (1988)
Jeannette G. Neal, Stuart C. Shapiro
Intelligent Multi-Media Interface Technology. ACM SIGCHI Bull. 20 (1) (1988)
Yigal Arens, Lawrence Miller, Stuart C. Shapiro, Norman K. Sondheimer
Automatic Construction of User-Interface Displays. AAAI (1988)
James Geller, Stuart C. Shapiro
Graphical Deep Knowledge for Intelligent Machine Drafting. IJCAI (1987)
Sandra L. Peters, Stuart C. Shapiro
A Representation for Natural Category Systems. IJCAI (1987)
Stuart C. Shapiro
Symmetric relations, intensional individuals, and variable binding. Proc. IEEE 74 (10) (1986)
João P. Martins, Stuart C. Shapiro
Theoretical Foundations for Belief Revision. TARK (1986)
Stuart C. Shapiro, William J. Rapaport
SNePS Considered as a Fully Intensional Propositional Semantic Network. AAAI (1986)
Zhigang Xiang, J. G. Chutkow, Stuart C. Shapiro, Sargur N. Srihari
Representation of Spatial Structure and Function in Diagnosis. CAIA (1985)
William J. Rapaport, Stuart C. Shapiro
Quasi-Indexical Reference In Propositional Semantic Networks. COLING (1984)
João P. Martins, Stuart C. Shapiro
A Model for Belief Revision. NMR (1984)
João P. Martins, Stuart C. Shapiro
Reasoning in Multiple Belief Spaces. IJCAI (1983)
Stuart C. Shapiro
Generalized Augmented Transition Network Grammars for Generation from Semantic Networks. Am. J. Comput. Linguistics 8 (1) (1982)
Stuart C. Shapiro, Jeannette G. Neal
A Knowledge Engineering Approach to Natural Language Understanding. ACL (1982)
Anthony S. Maida, Stuart C. Shapiro
Intensional Concepts in Propositional Semantic Networks. Cogn. Sci. 6 (4) (1982)
Donald P. McKay, Stuart C. Shapiro
Using Active Connection Graphs for Reasoning with Recursive Rules. IJCAI (1981)
Stuart C. Shapiro, Donald P. McKay
Inference with Recursive Rules. AAAI (1980)
Donald P. McKay, Stuart C. Shapiro
MULTI - A LISP Based Multiprocessing System. LISP Conference (1980)
Stuart C. Shapiro
Numerical Quantifiers and Their Use in Reasoning with Negative Information. IJCAI (1979)
Stuart C. Shapiro
Generalized Augmented Transition Network Grammars for Generation from Semantic Networks. ACL (1979)
Stuart C. Shapiro
A Scrabble Crossword Game Playing Program. IJCAI (1979)
Stuart C. Shapiro
Path-Based and Node-Based Inference in Semantic Networks. TINLAP (1978)
Stuart C. Shapiro
Representing and locating deduction rules in a semantic network. SIGART Newsl. 63 (1977)
Stuart C. Shapiro
Representing Numbers in Semantic Networks: Prolegomena. IJCAI (1977)
Stuart C. Shapiro
Earl B. Hunt, Artificial Intelligence. Artif. Intell. 7 (2) (1976)
Ben Shneiderman, Stuart C. Shapiro
Toward a theory of encoded data structures and data translation. Int. J. Parallel Program. 5 (1) (1976)
Daniel P. Friedman, Stuart C. Shapiro
A case for while-until. ACM SIGPLAN Notices 9 (7) (1974)
Stuart C. Shapiro, Douglas P. Witmer
Interactive visual simulators for beginning programming students. SIGCSE (1974)
Stuart C. Shapiro
A Net Structure for Semantic Information Storage, Deduction and Retrieval. IJCAI (1971)
Stuart C. Shapiro
The list set generator: a construct for evaluating set expressions. Commun. ACM 13 (12) (1970)
Stuart C. Shapiro, George H. Woodmansee
A Net Structure Based Relational Question Answerer: Description and Examples. IJCAI (1969)