Stuart C. Shapiro

Affiliations:
  • University at Buffalo, USA


According to our database1, Stuart C. Shapiro authored at least 92 papers between 1969 and 2016.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2016
Context Relevance for Text Analysis and Enhancement for Soft Information Fusion.
Proceedings of the Context-Enhanced Information Fusion, 2016

2015
Use of background knowledge in natural language understanding for information fusion.
Proceedings of the 18th International Conference on Information Fusion, 2015

Inference Graphs: Combining Natural Deduction and Subsumption Inference in a Concurrent Reasoner.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
Systemic test and evaluation of a hard+soft information fusion framework: Challenges and current approaches.
Proceedings of the 17th International Conference on Information Fusion, 2014

The 'Ah Ha!' Moment: When Possible, Answering the Currently Unanswerable using Focused Reasoning.
Proceedings of the 36th Annual Meeting of the Cognitive Science Society, 2014

Inference Graphs: A New Kind of Hybrid Reasoning System.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013
Natural language understanding for soft information fusion.
Proceedings of the 16th International Conference on Information Fusion, 2013

Concurrent Reasoning with Inference Graphs.
Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2012
Mapping the Landscape of Human-Level Artificial General Intelligence.
AI Mag., 2012

Towards hard+soft data fusion: Processing architecture and implementation for the joint fusion and analysis of hard and soft intelligence data.
Proceedings of the 15th International Conference on Information Fusion, 2012

Modality in the MGLAIR Architecture.
Proceedings of the Biologically Inspired Cognitive Architectures 2012 - Proceedings of the Third Annual Meeting of the BICA Society, Palermo, Sicily, Italy, October 31, 2012

2011
Applying Rigidity to Standardizing OBO Foundry Candidate Ontologies.
Proceedings of the 2nd International Conference on Biomedical Ontology, 2011

Visually Interacting with a Knowledge Base Using Frames, Logic, and Propositional Graphs.
Proceedings of the Graph Structures for Knowledge Representation and Reasoning, 2011

Using propositional graphs for soft information fusion.
Proceedings of the 14th International Conference on Information Fusion, 2011

Evaluating spreading activation for soft information fusion.
Proceedings of the 14th International Conference on Information Fusion, 2011

The Jobs Puzzle: A Challenge for Logical Expressibility and Automated Reasoning.
Proceedings of the Logical Formalizations of Commonsense Reasoning, 2011

2010
Set-Oriented Logical Connectives: Syntax and Semantics.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Tractor: A framework for soft information fusion.
Proceedings of the 13th Conference on Information Fusion, 2010

Strategies and techniques for use and exploitation of Contextual Information in high-level fusion architectures.
Proceedings of the 13th Conference on Information Fusion, 2010

The GLAIR Cognitive Architecture.
Proceedings of the Cognitive Robotics, 21.02. - 26.02.2010, 2010

2009
The agent takes the stage.
Int. J. Arts Technol., 2009

2008
A Categorization of Contextual Constraints.
Proceedings of the Biologically Inspired Cognitive Architectures, 2008

2007
Defining answer classes using resolution refutation.
J. Appl. Log., 2007

Human trials: an experiment in intermedia performance.
Comput. Entertain., 2007

Metacognition in SNePS.
AI Mag., 2007

Knowledge Acquisition by an Intelligent Acting Agent.
Proceedings of the Logical Formalizations of Commonsense Reasoning, 2007

2006
Human-Inspired Robots.
IEEE Intell. Syst., 2006

Reconsideration on Non-Linear Base Orderings.
Proceedings of the STAIRS 2006, 2006

Base Belief Change and Optimized Recovery.
Proceedings of the STAIRS 2006, 2006

Human trials intermedia performance.
Proceedings of the International Conference on Computer Graphics and Interactive Techniques, 2006

2005
The Trial The Trail, Act 3: A Virtual Reality Drama Using Intelligent Agents.
Proceedings of the First Artificial Intelligence and Interactive Digital Entertainment Conference, 2005

MGLAIR Agents in Virtual and Other Graphical Environments.
Proceedings of the Proceedings, 2005

Dependency-Directed Reconsideration Belief Base Optimization for Truth Maintenance Systems.
Proceedings of the Proceedings, 2005

2004
A Logic of Arbitrary and Indefinite Objects.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

A Cognitive Robotics Approach to Identifying Perceptually Indistinguishable Objects.
Proceedings of the Intersection of Cognitive Science and Robotics: From Interfaces to Intelligence, 2004

Identifying an Object that is Perceptually Indistinguishable from One Previously Perceived.
Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

Knowledge State Reconsideration: Hindsight Belief Revision.
Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

2003
Anchoring in a grounded layered architecture with integrated reasoning.
Robotics Auton. Syst., 2003

2001
Conference review: IFIP TC12.
Intell., 2001

2000
Implementing Integrity Constraints in an Existing Belief Revision System
CoRR, 2000

Automatic Belief Revision in SNePS
CoRR, 2000

Two Problems with Reasoning and Acting in Time.
Proceedings of the KR 2000, 2000

An Introduction to SNePS 3.
Proceedings of the Conceptual Structures: Logical, 2000

1998
Algorithms for Ontological Mediation.
Proceedings of the Workshop Usage of WordNet in Natural Language Processing Systems@ACL/COLING, 1998

1997
Quasi-Indexicals and Knowledge Reports.
Cogn. Sci., 1997

Splitting the Difference: The Historical Necessity of Synthesis in Software Engineering.
IEEE Ann. Hist. Comput., 1997

1996
Implementations and Research: Discussions at the Boundary.
Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 1996

1995
Computationalism.
Minds Mach., 1995

Book reviews.
Minds Mach., 1995

1994
The OK BDI Architecture.
Int. J. Artif. Intell. Tools, 1994

1993
Preface.
Minds Mach., 1993

Natural language processing using a propositional semantic network with structured variables.
Minds Mach., 1993

Belief spaces as sets of propositions.
J. Exp. Theor. Artif. Intell., 1993

Deductive efficiency, belief revision and acting.
J. Exp. Theor. Artif. Intell., 1993

IDP - An Interactive Discourse Planner.
Proceedings of the Trends in Natural Language Generation, 1993

1991
Case Studies of SNePS.
SIGART Bull., 1991

Architecture of an Intelligent Agent in SNePS.
SIGART Bull., 1991

Experience-based deductive learning.
Proceedings of the Third International Conference on Tools for Artificial Intelligence, 1991

Modelling a Rational Cognitive Agent in SNePS.
Proceedings of the EPIA 91, 1991

Cables, Paths, and "Subconscious" Reasoning in Propositional Semantic Networks.
Proceedings of the Principles of Semantic Networks, 1991

1989
Recent Advances and Developments - The SNePS 2.1 Report.
Proceedings of the Current Trends in SNePS, 1989

Natural Language with Integrated Deictic and Graphic Gestures.
Proceedings of the Speech and Natural Language: Proceedings of a Workshop Held at Cape Cod, 1989

The CASSIE Projects: An Approach to Natural Language Competence.
Proceedings of the EPIA 89, 1989

1988
Intelligent Multi-Media Interface Technology.
ACM SIGCHI Bull., 1988

A Model for Belief Revision.
Artif. Intell., 1988

Automatic Construction of User-Interface Displays.
Proceedings of the 7th National Conference on Artificial Intelligence, 1988

1987
A Representation for Natural Category Systems.
Proceedings of the 10th International Joint Conference on Artificial Intelligence. Milan, 1987

Graphical Deep Knowledge for Intelligent Machine Drafting.
Proceedings of the 10th International Joint Conference on Artificial Intelligence. Milan, 1987

1986
Symmetric relations, intensional individuals, and variable binding.
Proc. IEEE, 1986

Theoretical Foundations for Belief Revision.
Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, 1986

SNePS Considered as a Fully Intensional Propositional Semantic Network.
Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986

1985
Representation of Spatial Structure and Function in Diagnosis.
Proceedings of the Artificial Intelligence Applications, 1985

1984
Quasi-Indexical Reference In Propositional Semantic Networks.
Proceedings of the 10th International Conference on Computational Linguistics and 22nd Annual Meeting of the Association for Computational Linguistics, 1984

1983
Reasoning in Multiple Belief Spaces.
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

1982
Generalized Augmented Transition Network Grammars for Generation from Semantic Networks.
Am. J. Comput. Linguistics, 1982

Intensional Concepts in Propositional Semantic Networks.
Cogn. Sci., 1982

A Knowledge Engineering Approach to Natural Language Understanding.
Proceedings of the 20th Annual Meeting of the Association for Computational Linguistics, 1982

1981
Using Active Connection Graphs for Reasoning with Recursive Rules.
Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981

1980
MULTI - A LISP Based Multiprocessing System.
Proceedings of the 1980 LISP Conference, Stanford, California, USA, August 25-27, 1980., 1980

Inference with Recursive Rules.
Proceedings of the 1st Annual National Conference on Artificial Intelligence, 1980

1979
A Scrabble Crossword Game Playing Program.
Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979

Numerical Quantifiers and Their Use in Reasoning with Negative Information.
Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979

1978
Path-Based and Node-Based Inference in Semantic Networks.
Proceedings of the Theoretical Issues in Natural Language Processing-2, 1978

1977
Representing and locating deduction rules in a semantic network.
SIGART Newsl., 1977

Representing Numbers in Semantic Networks: Prolegomena.
Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

1976
Toward a theory of encoded data structures and data translation.
Int. J. Parallel Program., 1976

Earl B. Hunt, Artificial Intelligence.
Artif. Intell., 1976

1974
A case for while-until.
ACM SIGPLAN Notices, 1974

Interactive visual simulators for beginning programming students.
Proceedings of the 4th SIGCSE Technical Symposium on Computer Science Education, 1974

1971
A Net Structure for Semantic Information Storage, Deduction and Retrieval.
Proceedings of the 2nd International Joint Conference on Artificial Intelligence. London, 1971

1970
The list set generator: a construct for evaluating set expressions.
Commun. ACM, 1970

1969
A Net Structure Based Relational Question Answerer: Description and Examples.
Proceedings of the 1st International Joint Conference on Artificial Intelligence, 1969


  Loading...