Shapiro, Stuart C.

19 publications

AAAI 2015 Inference Graphs: Combining Natural Deduction and Subsumption Inference in a Concurrent Reasoner Daniel R. Schlegel, Stuart C. Shapiro

AAAI 2014 Inference Graphs: A New Kind of Hybrid Reasoning System Daniel R. Schlegel, Stuart C. Shapiro

AAAI 2013 Concurrent Reasoning with Inference Graphs Daniel R. Schlegel, Stuart C. Shapiro

AAAI 2005 Dependency-Directed Reconsideration Belief Base Optimization for Truth Maintenance Systems Frances L. Johnson, Stuart C. Shapiro

AAAI 2005 MGLAIR Agents in Virtual and Other Graphical Environments Stuart C. Shapiro, Josephine Anstey, David E. Pape, Trupti Devdas Nayak, Michael Kandefer, Orkan Telhan

AAAI 2004 Identifying an Object That Is Perceptually Indistinguishable from One Previously Perceived John F. Santore, Stuart C. Shapiro

AAAI 2004 Knowledge State Reconsideration: Hindsight Belief Revision Frances L. Johnson, Stuart C. Shapiro

AAAI 1988 Automatic Construction of User-Interface Displays Yigal Arens, Lawrence Miller, Stuart C. Shapiro, Norman K. Sondheimer

IJCAI 1987 A Representation for Natural Category Systems Sandra L. Peters, Stuart C. Shapiro

IJCAI 1987 Graphical Deep Knowledge for Intelligent Machine Drafting James Geller, Stuart C. Shapiro

AAAI 1986 SNePS Considered as a Fully Intensional Propositional Semantic Network Stuart C. Shapiro, William J. Rapaport

IJCAI 1983 Reasoning in Multiple Belief Spaces João P. Martins, Stuart C. Shapiro

IJCAI 1981 Using Active Connection Graphs for Reasoning with Recursive Rules Donald P. McKay, Stuart C. Shapiro

AAAI 1980 Inference with Recursive Rules Stuart C. Shapiro, Donald P. McKay

IJCAI 1979 A Scrabble Crossword Game Playing Program Stuart C. Shapiro

IJCAI 1979 Numerical Quantifiers and Their Use in Reasoning with Negative Information Stuart C. Shapiro

IJCAI 1977 Representing Numbers in Semantic Networks: Prolegomena Stuart C. Shapiro

IJCAI 1971 A Net Structure for Semantic Information Storage, Deduction and Retrieval Stuart C. Shapiro

IJCAI 1969 A Net Structure Based Relational Question Answerer: Description and Examples Stuart C. Shapiro, George H. Woodmansee