text:
and Their Empirical Validity", pp. 586--599
  },
  rtnote = {In RHT Collection.  LLP edited shelves.},
  topic = {nl-semantics;semantics-survey;}
 }

@article{ steinberg_l:2001a,
  author = {Louis Steinberg},
  title = {Searching Stochastically Generated Multi-Abstraction-Level
  	Design Spaces},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {129},
  number = {1--2},
  pages = {63--90},
  topic = {heuristics;search;genetic-algorithms;abstraction;}
  }

@article{ steinberg_l-langrana:1996a,
  author = {L. Steinberg and N. Langrana},
  title = {{EVEXED} and {MEET} for Mechanical Design: Testing Structural
  	Decomposition and Constraint Propagation},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {84},
  number = {1--2},
  pages = {37--56},
  acontentnote = {Abstract:
     In previous work we have developed a model of design which can
     be summarized as structural decomposition plus constraint
     propagation, and embodied it in VEXED, a system for circuit
     design.  In this paper we report on work we have done to test
     the generality of this model of design by abstracting VEXED into
     a domain independent shell, EVEXED, and using EVEXED to
     implement MEET, a system for mechanical design.  This work
     demonstrates that the basic model of design can be used for
     some, but not all, areas of mechanical design.  In particular,
     this approach is not appropriate for design involving parameter
     selection for primitive parts or design involving large
     searches.  This work also demonstrates the importance of
     combining multiple models of design to handle different aspects
     of the same artifact.  Finally, it demonstrates the importance
     of testing ideas about design on multiple tasks and domains.  },
  topic = {constraint-propagation;circuit-design;}
  }

@book{ steiner_eh-veltman:1988a,
  editor = {Erich H. Steiner and Robert Veltman},
  title = {Pragmatics, Discourse and Text: Some Systemically-Inspired
          Approaches},
  publisher = {Ablex Publishing Corp.},
  year = {1988},
  address = {Norwood, New Jersey},
  rtnote = {HILLMAN P302 P687 1988},
  topic = {discourse-analysis;}
 }

@book{ steiner_m:2000a,
  author = {Mark Steiner},
  title = {The Applicability of Mathematics as a Philosophical Problem},
  publisher = {Harvard University Press},
  year = {2000},
  address = {Cambridge, Massachusetts},
  xref = {Review: nugayev:2003a},
  topic = {philosophy-of-mathematics;philosophy-of-science;}
 }

@book{ steinitz:1996a,
  author = {Yuval Steinitz},
  title = {In Defense of Metaphysics},
  publisher = {P. Lang},
  year = {1996},
  address = {New York},
  ISBN = {0820424471 (hard)},
  rtnote = {UMich Undergraduate, B 118 .S7513 1996},
  topic = {metaphysics;}
 }

@article{ steinswold:2008a,
  author = {Christopher Steinswold},
  title = {A {G}rim Semantics for Logics of Belief},
  journal = {Journal of Philosophical Logic},
  year = {2008},
  volume = {37},
  number = {1},
  pages = {45--56},
  topic = {epistemic-logic;belief;}
  }

@article{ stell:2000a,
  author = {J. G. Stell},
  title = {Boolean Connection Algebras: A New Approach to The
  	Region-Connection Calculus},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {122},
  number = {1--2},
  pages = {111--136},
  topic = {region-connection-calculus;spatial-reasoning;}
  }

@article{ stelzner:1992a,
  author = {Werner Stelzner},
  title = {Relevant Deontic Logic},
  journal = {Journal of Philosophical Logic},
  year = {1992},
  volume = {21},
  number = {2},
  pages = {193--216},
  topic = {relevance-logic;deontic-logic;}
  }

@article{ stenius:1967a,
  author = {Erik Stenius},
  title = {Mood and Language Game},
  journal = {Synth\'ese},
  year = {1967},
  volume = {17},
  pages = {254--374},
  missinginfo = {number},
  topic = {nl-mood;philosophy-of-language;}
  }

@book{ stenlund:1974a,
  editor = {S{\o}ren Stenlund},
  title = {Logical Theory and Semantic Analysis: Essays Dedicated to
  	{S}tig {K}anger on his Fiftieth Birthday},
  publisher = {D. Reidel Publishing Co.},
  year = {1974},
  address = {Dordrecht},
  ISBN = {9027704384},
  rtnote = {UMich GRADUATE LIBRARY, BC 50 .L84.},
  contentnote = {TC:
     1. David K. Lewis, "Semantic Analyses for Dyadic Deontic Logic"
     2. Arto Salomaa, "Some Remarks Concerning Many-Valued
     	   Propositional Logics"
     3. Brian F. Chellas,  "Conditional Obligation"
     4. Richard C. Jeffrey, Remarks on Interpersonal Utility Theory"
     5. Jaakko Hintikka, "On the Proper Treatment of Quantifiers in
     		{M}ontague Semantics"
     6. B.H. Mayoh, "Extracting Information from Logical Proofs"
     7. Lennart {\AA}qvist, "A New Approach to the Logical Theory of
     		Actions and Causality"
     8. Ingmar P\"orn, "Some Basic Concepts of Action"
     9. K. de Bouv\'ere, "Some Remarks Concerning Logical and
    		Ontological Theories"
    10. Ian Hacking, "Combined Evidence"
    11. C. \"Aberg, "Solution to a problem raised by Stig Kanger and a
    		Set Theoretical Statement Equivalent to the Axiom of Choice"
    12. Per Lindstr\"om, "On Characterizing Elementary Logic"
    13. Dana Scott, "Rules and Derived Rules"
    14. Bengt Hansson, A Program for Pragmatics"
    15. G. Hermer\'en, "Models"
    16. Jens E. Fenstad, "Remarks on Logic and Probability"
    17. S{\o}ren Stenlund, "Analytic and Synthetic Arithmetical
    		Statements"  },
  topic = {philosophical-logic;}
 }

@incollection{ stenning:1978a,
  author = {Keith Stenning},
  title = {Anaphora as an Approach to Pragmatics},
  booktitle = {Linguistic Theory and Psychological Reality},
  publisher = {The {MIT} Press},
  year = {1978},
  editor = {Morris Halle and Joan Bresnan and George A. Miller},
  pages = {162--200},
  address = {Cambridge, Massachusetts},
  topic = {anaphora;pragmatics;}
  }

@incollection{ stenning:1985a,
  author = {Keith Stenning},
  title = {On Making Models: A Study of Constructive Memory},
  booktitle = {Reasoning and Discourse Processes},
  publisher = {Academic Press},
  year = {1985},
  editor = {Terry Myers and Keith Brown and Brendan McGonigle},
  pages = {165--185},
  address = {New York},
  topic = {pragmatic-inference;}
  }

@incollection{ stenning:1995a,
  author = {Keith Stenning},
  title = {Logic as a Foundation for a Cognitive Theory of Modality
  	Assignment},
  booktitle = {Applied Logic: How, What, and Why?  Logical Approaches to
       Natural Language},
  publisher = {Kluwer Academic Publishers},
  year = {1995},
  editor = {L\'aszl\'o P\'olos and Michael Masuch},
  pages = {321--342},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {nl-modality;}
  }

@incollection{ stenning:1996a,
  author = {Keith Stenning},
  title = {What's Happening?  Elements of Commonsense Causation},
  booktitle = {Philosophy and Cognitive Science},
  publisher = {Kluwer Academic Publishers},
  year = {1996},
  editor = {Andy Clark and Jes\'us Ezquerro and Jes\'us M. Larrazabal},
  address = {Dordrecht},
  missinginfo = {pages},
  topic = {causality;common-sense-reasoning;}
  }

@article{ stenning:2000a,
  author = {Keith Stenning},
  title = {Review of \emph{The Human Semantic Potential: Spatial Language and
  	Constrained Connectionism}, by {T}erry {R}egier},
  journal = {Journal of Logic, Language, and Information},
  year = {2000},
  volume = {10},
  number = {2},
  pages = {266--269},
  xref = {Review of: regier:1996a.},
  topic = {spatial-language;connectionist-models;}
  }

@book{ stenning:2002a,
  author = {Keith Stenning},
  title = {Seeing Reason:  Image and Language in Learning to Think},
  publisher = {Oxford University Press},
  year = {2002},
  address = {Oxford},
  ISBN = {0-19-850774-7 (pbk)},
  rtnote = {UMich Undergraduate Library, BF 442 .S74 2002.},
  topic = {cognitive-psychology;logic-education;reasoning-with-diagrams;
  		visual-representation;visual-reasoning;}
 }

@incollection{ stenning-etal:1995a,
  author = {Keith Stenning and Robert Inder and Irene Nelson},
  title = {Applying Semantic Concepts to Analyzing Media and
		Modalities},
  booktitle = {Diagrammatic Reasoning},
  publisher = {The {MIT} Press},
  year = {1995},
  editor =  {Janice Glasgow and N. Hari Narayanan and B.
		Chandrasekaran},
  pages = {303--338},
  address = {Cambridge, Massachusetts},
  topic = {diagrams;reasoning-with-diagrams;
  	multimedia-interpretation;visual-reasoning;}
  }

@book{ stenning-etal:2006a,
  author = {Keith Stenning and Alex Lascarides and Jo Calder},
  title = {Introduction to Cognition and Communication},
  publisher = {The {MIT} Press},
  year = {2006},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-19538-0},
  rtnote = {In RHT collection.  Cogsci Shelves.},
  topic = {cogsci-intro;}
 }

@article{ stenning-lemon_oj:forthcominga,
  author = {Keith Stenning and Oliver J. Lemon},
  title = {Aligning Logical and Psychological Perspectives
  	On Diagrammatic Reasoning},
  journal = {Artificial Intelligence Review},
  year = {forthcoming},
  volume = {19},
  missinginfo = {Said to be forthcoming in July, 1999.},
  topic = {diagrammatic-reasoning;}
  }

@article{ stenning-oberlander:1995a,
  author = {Keith Stenning and Jon Oberlander},
  title = {A Cognitive Theory of Graphical and Linguistic
  	Reasoning: Logic and Implementation},
  journal = {Cognitive Science},
  year = {1995},
  volume = {19},
  number = {1},
  pages = {97--140},
  topic = {diagrammatic-reasoning;}
  }

@article{ stenning-vanlambargen:2001a,
  author = {Keith Stenning and Michiel van Lambargen},
  title = {Semantics as a Foundation for Psychology: A Case Study
  	of {W}ason's Selection Task},
  journal = {Journal of Logic, Language, and Information},
  year = {2001},
  volume = {10},
  number = {3},
  pages = {273--317},
  topic = {conditionals;cognitive-psychology;}
  }

@book{ stenstrom:1994a,
  author = {Anna-Brita Stenstr\"om},
  title = {An Introduction to Spoken Interaction},
  publisher = {Longman},
  year = {1994},
  address = {London},
  rtnote = {HILLMAN P95 S76 1994},
  topic = {discourse-analysis;corpus-linguistics;transcription-pragmatics;}
}

@article{ stepankova-havel:1976a,
  author = {Olga \v{S}t\v{e}p\'ankov\'a and Ivan M. Havel},
  title = {A Logical Theory of Robot Problem Solving},
  journal = {Artificial Intelligence},
  year = {1976},
  volume = {7},
  number = {2},
  pages = {129--161},
  acontentnote = {Abstract:
     The concept of an image space, motivated by the STRIPS system,
     is introduced as a formal logical counterpart to the state-space
     problem solving in robotics. The main results are two
     correspondence theorems establishing a relationship between
     solutions of problems formalized in the image space and formal
     proofs of certain formulas in the associated situation calculus.
     The concept of a solution, as used in the second correspondence
     theorem, has a rather general form allowing for conditional
     branching. Besides giving a deeper insight into the logic of
     problem solving the results suggest a possibility of using the
     advantages of the image-space representation in the situation
     calculus and conversely. The image space approach is further
     extended to cope with the frame problem in a similar way as
     STRIPS.  Any STRIPS problem domain can be associated with an
     appropriate image space with frames of the same solving power.
   },
  topic = {STRIPS;cognitive-robotics;state-space-problem-solving;
  	situation-calculus;frame-problem;}
  }

@article{ stephanou:2001a,
  author = {Yannis Stephanou},
  title = {Indexed Actuality},
  journal = {Journal of Philosophical Logic},
  year = {2001},
  volume = {30},
  number = {4},
  pages = {355--393},
  topic = {actuality;modal-logic;}
  }

@article{ stephanou:2007a,
  author = {Yannis Stephanou},
  title = {Serious Actualism},
  journal = {The Philosophical Review},
  year = {2007},
  volume = {116},
  number = {2},
  pages = {219--250},
  topic = {actualism;philosophy-of-possible-worlds;}
  }

@article{ stephenson_t:2007a,
  author = {Tamina Stephenson},
  title = {Judge Dependence, Epistemic Modals, and Predicates of
  		Personal Taste},
  journal = {Linguistics and Philosophy},
  year = {2007},
  volume = {30},
  number = {4},
  pages = {487--525},
  topic = {predicates-of-taste;}
  }

@unpublished{ stephenson_t:2008a,
  author = {Tamina Stephenson},
  title = {Indicative Conditionals Have Relative Truth Conditions},
  year = {2008},
  note = {Unpublished manuscript, MIT},
  url =
   {http://tamina.stephenson.googlepages.com/Stephenson-CLS-43-preprint.pdf},
  rtnote = {In RHT collection.},
  missinginfo = {},
  topic = {indicative-conditionals;}
  }

@article{ stepp-michalski:1986a,
  author = {Robert E. Stepp and Ryszard S. Michalski},
  title = {Conceptual Clustering of Structured Objects: A
  	Goal-Oriented Approach},
  journal = {Artificial Intelligence},
  year = {1986},
  volume = {28},
  number = {1},
  pages = {43--69},
  acontentnote = {Abstract:
     Conceptual clustering is concerned with problems of grouping
     observed entities into conceptually simple classes.  Earlier work
     on this subject assumed that the entities and classes are
     described in terms of a priori given multi-valued attributes.
     This research extends the previous work in three major ways:
       - entities are characterized as compound objects requiring
         structural descriptions.
       - relevant descriptive concepts (attributes and relations) are
         not necessarily given a priori but can be determined through
         reasoning about the goals of classification,
       - inference rules are used to derive useful high-level
         descriptive concepts from the initially provided low-level concepts.
     The created classes are described using Annotated Predicate
     Calculus (APC), which is a typed predicate calculus with
     additional operators.  Relevant descriptive concepts appropriate
     for characterizing entities are determined by tracing links in a
     Goal Dependency Network (GDN) that represents relationships
     between goals, subgoals, and related attributes.
      An experiment comparing results from the program CLUSTER/S that
     implements the classification generation process and results
     obtained from people indicates that the proposed method might
     offer a plausible cognitive model of classification processes as
     well as an engineering solution to the problems of automatic
     classification generation.  },
  topic = {conceptual-clustering;classifier-algorithms;}
  }

@article{ sterelny:1982a,
  author = {Kim Sterelny},
  title = {Against Conversational Implicature},
  journal = {Journal of Semantics},
  year = {1982},
  volume = {1},
  pages = {187--194},
  missinginfo = {number},
  topic = {implicature;}
  }

@article{ sterelny:1988a,
  author = {Kim Sterelny},
  title = {Review of \emph{Knowing Who}, by {S}teven {E}. {B}o\"er and
  	{W}illiam {L}ycan},
  journal = {Philosophy of Science},
  year = {1984},
  volume = {55},
  number = {4},
  pages = {654--656},
  xref = {Review of boer-lycan:1986a.},
  topic = {knowing-who;}
  }

@article{ stergiou-koubarakis:2000a,
  author = {Kostas Stergiou and Manolis Koubarakis},
  title = {Backtracking Algorithms for Disjunctions of Temporal
  	Constraints},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {120},
  number = {1},
  pages = {81--117},
  topic = {AI-algorithms;backtracking;temporal-reasoning;
  	constraint-satisfaction;}
  }

@book{ sterling-shapiro_e:1994a,
  author = {Leon Sterling and Ehud Shapiro},
  title = {The Art of {P}rolog},
  publisher = {The {MIT} Press},
  year = {1994},
  edition = {2},
  address = {Cambridge, Massachusetts},
  topic = {Prolog;}
 }

@book{ stern_g:1968a,
  author = {Gustaf Stern},
  title = {Meaning and Change of Meaning, with
		Special Reference to the {E}nglish Language},
  publisher = {Indiana University Press},
  year = {1968},
  address = {Bloomington, Indiana},
  topic = {semantic-change;}
 }

@book{ stern_j:2000a,
  author = {Josef Stern},
  title = {Metaphor in Context},
  publisher = {The {MIT} Press},
  year = {2000},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-19439-2},
  xref = {Reviews: hills:2002a,camp:2005a.},
  topic = {metaphor;}
 }

@book{ sternberg:1998a,
  editor = {Robert J. Sternberg},
  title = {The Nature of Cognition},
  publisher = {The {MIT} Press},
  year = {1996},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-19504-8 (hardcover), 0-262-69212-0 (pbk)},
  topic = {foundations-of-cognition;cognitive-psychology;}
 }

@article{ sternefeld:1998a,
  author = {Wolfgang Sternefeld},
  title = {Reciprocity and Cumulative Predication},
  journal = {Natural Language Semantics},
  year = {1998},
  volume = {6},
  number = {3},
  pages = {303--337},
  topic = {plural;reciprical-constructions;nl-semantics;}
  }

@incollection{ stetina-etal:1998a,
  author = {Jiri Stetina and Sadao Kurohashi and Makoto Nagao},
  title = {General Word Sense Disambiguation Method Based
		on A Full Sentential Context},
  booktitle = {Use of {W}ord{N}et in Natural Language Processing
  	Systems:  Proceedings of the Conference},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Sanda Harabagiu},
  pages = {1--8},
  address = {Somerset, New Jersey},
  topic = {nl-processing;WordNet;lexical-disambiguation;}
  }

@book{ steuber:2006a,
  author = {Karsten R. Steuber},
  title = {Rediscovering Empathy:  Agency, Folk Psychology, and
         the Human Sciences},
  publisher = {The {MIT} Press},
  year = {2006},
  address = {Cambridge, Massachusetts},
  ISBN = {9780-262-195590-8},
  topic = {other-minds;empathy;}
 }

@article{ stevens_ka:1981a,
  author = {Kent A. Stevens},
  title = {The Visual Interpretation of Surface Contours},
  journal = {Artificial Intelligence},
  year = {1981},
  volume = {17},
  number = {1--3},
  pages = {47--73},
  acontentnote = {Abstract:
     This article examines the computational problems underlying the
     3-D interpretation of surface contours.  A surface contour is the
     image of a curve across a physical surface, such as the edge of
     a shadow cast across a surface, a gloss contour, wrinkle, seam,
     or pigmentation marking.  Surface contours by and large are not
     as restricted as occluding contours and therefore pose a more
     difficult interpretation problem.  Nonetheless, we are adept at
     perceiving a definite 3-D surface from even simple line drawings
     (e.g., graphical depictions of continuous functions of two
     variables).  The solution of a specific surface shape comes by
     assuming that the physical curves are particularly restricted in
     their geometric relationship to the underlying surface.  These
     geometric restrictions are examined.  },
  topic = {three-D-reconstruction;visual-reasoning;line-drawings;}
  }

@article{ stevens_ss:1946a,
  author = {Stanley S. Stevens},
  title = {On the Theory of Scales of Measurement},
  journal = {Science},
  year = {1946},
  volume = {103},
  number = {2684},
  pages = {677--680},
  rtnote = {In RHT collection.},
  topic = {measurement-theory;}
  }

@incollection{ stevens_ss:1959a,
  author = {Stanley S. Stevens},
  title = {Measurement, Psychophysics and Utility},
  booktitle = {Measurement: Definitions and Theories},
  publisher = {John Wiley and Sons},
  year = {1959},
  editor = {C. West Churchman and Philburn Ratoosh},
  pages = {18--63},
  address = {New York},
  topic = {measurement-theory;}
  }

@book{ stevenson_cl:1944a,
  author = {Charles L. Stevenson},
  title = {Ethics and Language},
  publisher = {Yale University Press},
  year = {1944},
  address = {New Haven, Connecticut},
  contentnote = {Chapter III is titles "Some pragmatic aspects of meaning".
  	Among other things, it formulates a definition of speaker
	meaning.},
  rtnote = {READ THIS SOMETIME.},
  contentnote = {	TC:
	1. Kinds of agreement and disagreement
	2. Working models
	3. Some pragmatic aspects of meaning
	4. First pattern of analysis
	5. First pattern: method
	6. Persuasion
	7. Validity
	8. Intrinsic and extrensic value
	9. Second pattern of analyis: persuasive definitions
       10. Second pattern: method
       11. Moralists and propagandists
       12. Some related theories
       13. Further observations on the function of definitions
       14. Avoidability: indeterminism
       15. Practical implications
 },
  rtnote = {pragmatics-course;},
  topic = {ethics;philosophy-of-language;pragmatics;expressivism;}
  	}

@article{ stevenson_jg:1976a,
  author = {John G. Stevenson},
  title = {On the Imitation Game},
  journal = {Philosophia},
  year = {1976},
  volume = {6},
  number = {1},
  pages = {131--133},
  xref = {Commentary on: gunderson:1964a},
  topic = {Turing-test;philosophy-AI;philosophy-of-mind;}
  }

@article{ stevenson_l:1973a,
  author = {Leslie Stevenson},
  title = {Relative Identity and {L}eibniz's Law},
  journal = {Philosophical Quarterly},
  year = {1973},
  pages = {155--158},
  missinginfo = {volume,number},
  rtnote = {In RHT collection.},
  topic = {identity;}
  }

@article{ stevenson_l:1973b,
  author = {Leslie Stevenson},
  title = {Frege's Two Definitions of Quantification},
  journal = {Philosophical Quarterly},
  year = {1973},
  pages = {207--223},
  missinginfo = {volume,number},
  rtnote = {In RHT collection.},
  topic = {Frege;substitutional-quantification;}
  }

@article{ stevenson_l:1977a,
  author = {Leslie Stevenson},
  title = {A Formal Theory of Sortal Quantification},
  journal = {{N}otre {D}ame Journal of Formal Logic},
  year = {1977},
  volume = {185--207},
  pages = {185--207},
  missinginfo = {number},
  topic = {sortal-quantification;}
  }

@book{ stevenson_m:2003a,
  author = {Mark Stevenson},
  title = {Word Sense Disambiguation:  The Case for Combinations of
  		Knowledge Sources},
  publisher = {CSLI Publications},
  year = {2003},
  address = {Stanford, California},
  ISBN = {1-57586-389-8},
  xref = {Review: ncroy:2004a.},
  topic = {lexical-disambiguation;}
 }

@inproceedings{ stevenson_m-greenwood_m:2005a,
  author = {Mark Stevenson and Mark Greenwood},
  title = {A Semantic Approach to {IE} Pattern Induction},
  booktitle = {Proceedings of the 43rd Annual Meeting of the
  		Association for Computational Linguistics (ACL'05)},
  month = {June},
  year = {2005},
  address = {Ann Arbor, Michigan},
  publisher = {Association for Computational Linguistics},
  pages = {379--386},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1047},
  topic = {semantic-similarity;information-extraction;}
  }

@article{ stevenson_m-wilks:2001a,
  author = {Mark Stevenson and Yorik Wilks},
  title = {The Interaction of Knowledge Sources in Word Sense
  	Disambiguation},
  journal = {Computational Linguistics},
  year = {2001},
  volume = {27},
  number = {3},
  pages = {321--349},
  topic = {lexical-disambiguation;}
  }

@article{ stevenson_s:1998a,
  author = {Suzanne Stevenson},
  title = {Review of \emph{{T}he Architecture of the Language Faculty},
  	by {R}ay {J}ackendoff},
  journal = {Computational Linguistics},
  year = {1998},
  volume = {24},
  number = {4},
  pages = {652--655},
  topic = {cognitive-semantics;foundations-of-linguistics;
  	cognitive-modularity;}
 }

@book{ steward:1997a,
  author = {Helen Steward},
  title = {The Ontology of Mind: Events, Processes, and States},
  publisher = {Oxford University Press},
  year = {1997},
  address = {Oxford},
  topic = {philosophy-of-mind;}
 }

@book{ stewart_i:1990a,
  author = {Ian Stewart},
  title = {Does {G}od Play Dice?  The Mathematics Of Chaos},
  publisher = {Basil Blackwell},
  year = {1990},
  address = {Oxford},
  ISBN = {1557861064 (pbk.)},
  rtnote = {UMich Science, Q 172.5 .C45 S741 1990.},
  topic = {chaos-theory;}
 }

@book{ stewart_i-tall:1977a,
  author = {Ian Stewart and David Tall},
  title = {The Foundations of Mathematics},
  publisher = {Oxford University Press},
  year = {1977},
  address = {Oxford},
  ISBN = {0198531648},
  rtnote = {UMich Graduate Library, QA 9 .S7551.},
  topic = {foundations-of-mathematics;}
 }

@incollection{ stewart_ia:1996a,
  author = {Iain A. Stewart},
  title = {The Demise of the {T}uring Machine in
    		Complexity Theory},
  booktitle = {Machines and Thought: The Legacy of {A}lan {T}uring:
  	Volume {I}},
  publisher = {Oxford University Press},
  year = {1996},
  editor = {Peter J.R. Millican and A. Clark},
  pages = {221--232},
  address = {Oxford},
  rtnote = {In RHT collection.},
  topic = {complexity-theory;}
  }

@article{ stewart_ia:2003a,
  author = {Iain A. Stewart},
  title = {The Complexity of Achievement and Maintenance Problems in
  	Agent-Based Systems},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {146},
  number = {2},
  pages = {175--191},
  topic = {multiagent-systems;complexity-in-AI;}
  }

@article{ stich:1971a,
  author = {Stephen Stich},
  title = {What Every Speaker Knows},
  journal = {The Philosophicl Review},
  year = {1719},
  volume = {80},
  number = {4},
  pages = {476--496},
  rtnote = {In RHT collection.},
  topic = {philosophy-of-linguistics;}
  }

@article{ stich:1972a,
  author = {Stephen P. Stich},
  title = {Grammar, Psychology, and Indeterminacy},
  journal = {Journal of Philosophy},
  year = {1972},
  volume = {69},
  number = {2},
  pages = {799--818},
  rtnote = {In RHT collection.},
  topic = {philosophy-of-linguistics;}
  }

@article{ stich:1976a,
  author = {Steven P. Stich},
  title = {Davidson's Semantic Program},
  journal = {Canadian Journal of Philosophy},
  year = {1976},
  volume = {6},
  number = {2},
  pages = {201--227},
  rtnote = {In RHT collection.},
  topic = {foundations-of-semantics;Davidson-semantics;}
  }

@incollection{ stich:1977a,
  author = {Stephen P. Stich},
  title = {Competence and Indeterminacy},
  booktitle = {Testing Linguistic Hypotheses},
  publisher = {John Wiley and Sons},
  year = {1977},
  editor = {David Cohen and Jessica Worth},
  address = {New York},
  pages = {93--109},
  rtnote = {In RHT collection.},
  topic = {philosophy-of-linguistics;}
  }

@article{ stich:1982a,
   author = {Steven Stich},
   title = {Review of `Beyond the Letter: A Philosophical Inquiry Into
   	Ambiguity, Vagueness and Metaphor in Language', by {I}srael
	{S}cheffler},
   journal = {Linguistics and Philosophy},
   year = {1982},
   volume = {5},
   number = {2},
   pages = {295--298},
   xref = {Review of: scheffler:1982a.},
   topic = {vagueness;ambiguity;nominalistic-semantics;pragmatics;}
  }

@book{ stich:1983a,
  author = {Stephen Stich},
  title = {From Folk Psychology to Cognitive Science:
             The Case Against Belief},
  publisher = {The {MIT} Press},
  address = {Cambridge, Massachusetts},
  year = {1983},
  xref = {Commentary: cohen_lj:1996a.},
  topic = {folk-psychology;foundations-of-cognitive-science;belief;}
    }

@book{ stich:1996a,
  author = {Steven P. Stich},
  title = {Deconstructing the Mind},
  publisher = {Oxford University Press},
  year = {1996},
  address = {Oxford},
  topic = {philosophy-of-mind;}
 }

@incollection{ stich-nichols:1995a,
  author = {Steven Stich and Shaun Nichols},
  title = {Second Thoughts on Simulation},
  booktitle = {Mental Simulation: Evaluations and Applications},
  publisher = {Blackwell Publishers},
  year = {1995},
  editor = {Martin Davies and Tony Stone},
  pages = {87--108},
  address = {Oxford},
  topic = {folk-psychology;theory-theory-of-folk-psychology;
  	mental-simulation;propositional-attitude-ascription;}
  }

@incollection{ stich-nichols:1995b,
  author = {Steven Stich and Shaun Nichols},
  title = {Folk Pyschology: Simulation or Tacit Theory?},
  booktitle = {Mental Simulation: Evaluations and Applications},
  publisher = {Blackwell Publishers},
  year = {1995},
  editor = {Martin Davies and Tony Stone},
  pages = {123--158},
  address = {Oxford},
  topic = {folk-psychology;theory-theory-of-folk-psychology;
  	mental-simulation;propositional-attitude-ascription;}
  }

@inproceedings{ stickel:1982a,
  author = {Mark Stickel},
  title = {A Nonclausal Connection-Graph Resolution
		Theorem-Proving Program},
  booktitle = {Proceedings of the First National Conference on
              Artificial Intelligence},
  year = {1982},
  pages = {229--233},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, CA},
  missinginfo = {editor},
  rtnote = {In RHT collection.},
  acontenttnote= {Abstract: A new theorem-proving program, combining the use
  	of nonclausal resolution and connection graphs, is described.
	The use of nonclausal resolution as the inference system
	eliminates some of the redundancy and unreadability of
	clause-based systems. The use of a connection graph restricts
	the search space and facilitates graph searching for
	efficient deduction.},
  topic = {theorem-proving;resolution;}
  }

@techreport{ stickel:1984a,
  author = {Mark E. Stickel},
  title = {Automated Deduction by Theory Resolution},
  institution = {AI Center, SRI International},
  address = {333 Ravenswood Ave., Menlo Park, CA 94025},
  number = {340},
  year = {1984},
  TYPE= {Technical Note},
  topic = {theorem-proving;resolution;}
}

@inproceedings{ stickel:1985a,
  author = {Mark J. Stickel},
  title = {Automated Deduction by Theory Resolution},
  booktitle = {IJCAI 85, Proceedings of the Ninth International
 	Joint Conference on Artificial Intelligence},
  year = {1985},
  editor = {Arivind Joshi},
  pages = {455--458},
  publisher = {Morgan Kaufmann},
  address = {Los Altos, California},
  topic = {theorem-proving;extensions-of-resolution;resolution;kr-course;}
  }

@article{ stickel:1986a,
  author = {Mark Stickel},
  title = {Schubert's Steamroller Problem: Formulations and Solutions},
  journal = {Journal of Automated Reasoning},
  year = {1986},
  volume = {2},
  pages = {89--101},
  topic = {theorem-proving;}
 }

@incollection{ stickel:1986b,
  author = {Mark E. Stickel},
  title = {A {P}rolog Technology Theorem Prover:  Implementation
  		by an Extended {P}rolog Compiler},
  booktitle = {Eighth International Conference on Automated
  		Deduction},
  publisher = {Springer-Verlag},
  year = {1986},
  editor = {J\"org H. Siekmann},
  pages = {573--587},
  address = {Berlin},
  rtnote = {In RHT collection.},
  topic = {theorem-proving;Prolog;abduction;logic-programming;}
  }

@incollection{ stickel:1987b,
  author = {Mark E. Stickel},
  title = {Rationale and Methods for Abductive Reasoning
    		in Natural Language Interpretation},
  booktitle = {Natural Language and Logic},
  year = {1987},
  editor = {Rudi Studer},
  pages = {233--252},
  address = {Berlin},
  rtnote = {In RHT collection.},
  topic = {nl-interpretation;abduction;}
  }

@techreport{ stickel:1988a1,
  author = {Mark Stickel},
  title = {A Prolog-Like Inference System for Computing Minimum-Cost
  	Abductive Explanations in Natural-Language Interpretation},
  institution = {AI Center, SRI International},
  address = {333 Ravenswood Ave., Menlo Park, CA 94025},
  number = {451},
  year = {1988},
  rtnote = {In RHT collection.},
  xref = {Journal Publication: stickel:1988a2.},
  topic = {abduction;logic-programming;}
  }

@article{ stickel:1988a2,
  author = {Mark E. Stickel},
  title = {A {P}rolog-Like Inference System for Computing Minimum-Cost
               Abductive Explanations in Natural-Language Interpretation},
  journal = {Annals of Mathematical Artificial Intelligence},
  year = {1991},
  volume = {4},
  pages = {89--105},
  xref = {Publication as tech report: stickel:1988a1.},
  topic = {abduction;logic-programming;}
  }

@incollection{ stickel:1989a,
  author = {Mark Stickel},
  title = {Rationale and Methods for Abductive Reasoning in
  		Natural-Language Interpretation},
  booktitle = {Notes in Artificial Intelligence 48: Proceedings,
  	Natural Language and Logic, International Scientific
	Symposium},
  publisher = {Springer-Verlag},
  year = {1989},
  editor = {R.~Struder},
  pages = {233--252},
  address = {Berlin},
  topic = {abduction;discourse;nl-interpretation;pragmatics;}
  }

@techreport{ stickel:1989b1,
  author = {Mark Stickel},
  title = {A Prolog Technology Theorem Prover: A New Exposition and
  	Implementation in {P}rolog},
  institution = {AI Center, SRI International},
  address = {333 Ravenswood Ave., Menlo Park, CA 94025},
  number = {464},
  year = {1991},
  rtnote = {In RHT collection.},
  xref = {Journal publication: stickel:1989b2.},
  topic = {abduction;logic-programming;}
  }

@techreport{ stickel:1989c,
  author = {Mark E. Stickel},
  title = {The Path-Indexing Method For Indexing Terms},
  institution = {AI Center, SRI International},
  address = {333 Ravenswood Ave., Menlo Park, CA 94025},
  number = {473},
  year = {1989},
  acontentnote = {Abstract: The path-indexing method for indexing
  	first-order predicate calculus terms is a refinement of the standard
	coordinate-indexing method. Path indexing offers much faster
	retrieval at a modest cost in space. Path indexing is compared with
	discrimination-net and codeword indexing. While discrimination-net
	indexing may often be the preferred method for maximum speed, path
	indexing is an effective alternative if discrimination-net indexing
	requires too much space.},
  type= {Technical Note},
  topic = {theorem-proving;}
}

@article{ stickel:1992a,
  author = {Mark E. Stickel},
  title = {A {Prolog} Technology Theorem Prover:
  	A New Exposition and Implementation in {P}rolog},
  journal = {Theoretical Computer Science},
  volume = {104},
  year = {1992},
  pages = {109--128},
  xref = {Publication of stickel:1989b1.},
  topic = {abduction;logic-programming;}
  }

@techreport{ stickel:1993a,
  author = {Mark Stickel},
  title = {Upside-Down Meta-Interpretation of the Model Elimination
  	Theorem-Proving Procedure for Deduction and Abduction},
  institution = {SRI International},
  number = {525},
  year = {1993},
  address = {333 Ravenswood Ave., Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {abduction;}
  }

@techreport{ stickel:1993b,
  author = {Mark E. Stickel},
  title = {Automated Theorem-Proving Research In The Fifth Generation
  	Computer Systems Project: Model Generation Theorem Provers},
  institution = {AI Center, SRI Center International},
  address = {333 Ravenswood Ave., Menlo Park, CA 94025},
  number = {523},
  year = {1993},
  topic = {theorem-proving;model-checking;}
}

@book{ stillings:1975a,
  author = {Justine Stillings},
  title = {Sentence Raising},
  publisher = {Indiana University Linguistics Club},
  year = {1975},
  address = {310 Lindley Hall, Bloomington, Indiana},
  rtnote = {In RHT collection.},
  topic = {nl-syntax;transformational-grammar;}
  }

@book{ stirling_l:1993a,
  author = {L. Stirling},
  title = {Switch-Reference and Discourse Representation},
  publisher = {Cambridge University Press},
  year = {1993},
  address = {Cambridge, England},
  missinginfo = {A's 1st name.},
  topic = {switch-reference;discourse-representation-theory;}
 }

@article{ stjohn-mcclelland:1990a,
  author = {Mark F. St. John and James L. McClelland},
  title = {Learning and Applying Contextual Constraints in Sentence
  	Comprehension},
  journal = {Artificial Intelligence},
  year = {1990},
  volume = {46},
  number = {1--2},
  pages = {217--257},
  topic = {connectionist-plus-symbolic-architectures;}
  }

@incollection{ stock:1992a,
  author = {Oliviero Stock},
  title = {Steps toward Hypergeneration},
  booktitle = {Aspects of Automated Natural Language Generation: 6th
    International Workshop on Natural Language Generation, {T}rento,
    {I}taly, April 5--7, 1992},
  publisher = {Springer-Verlag},
  year = {1992},
  editor = {Robert Dale and Eduard Hovy and Dietmar R\"ossner and
  	Oliviero Stock},
  pages = {287--289},
  address = {Berlin},
  topic = {nl-generation;multimedia-generation;}
  }

@book{ stock:1997a,
  editor = {Oliviero Stock},
  title = {Spatial and Temporal Reasoning},
  publisher = {Kluwer Academic Publishers},
  year = {1997},
  address = {Dordrecht},
    contentnote = {TC:
     1. Laure Vieu, "Spatial Representation and Reasoning in
     	{AI}", pp. 5--41
     2. Alfonso Gerevini, "Reasoning about Time and Actions in
         {AI}", pp. 43--70
     3. Roberto Casati and Achille C. Varzi, "Spatial Entities", pp. 73--96
     4. Anthony G. Cohn and Brandon Bennett and John Gooday and
         Nicholas M. Gotts, "Representing and Reasoning with
         Qualitative Spatial Relations", pp. 97--134
     5. Andrew U. Frank, "Spatial Ontology", pp. 135--153
     6. Annette Herskovits, "Language, Spatial Cognition, and
         Vision", pp. 155--202
     7. James F. Allen and George Ferguson, "Actions and Events in
         Interval Temporal Logic", pp. 203--245
     8. Drew McDermott, "Probabilistic Projection in
         Planning", pp. 247--287
     9. Erik Sandewall, "Underlying Semantics for Action and Change
         with Ramification", pp. 289--318
    10. Anthony Galton, "Space, Time, and Movement", pp. 321--352
   },
  ISBN = {0792346440 (paper)},
  rtnote = {UMich Media Union Library, Q 339.25 .S631 1997},
  topic = {spatial-reasoning;temporal-reasoning;}
 }

@incollection{ stocker:1986a,
  author = {Michael Stocker},
  title = {Akrasia and the Object of Desire},
  booktitle = {The Ways of Desire: New Essays in Philosophical
  	Psychology on the Concept of Wanting},
  publisher = {Precedent Publishing, Inc.},
  year = {1986},
  editor = {Joel Marks},
  pages = {197--215},
  address = {Chicago},
  topic = {akrasia;desire;}
  }

@article{ stockman:1979a,
  author = {G.C. Stockman},
  title = {A Minimax Algorithm Better Than Alpha-Beta?},
  journal = {Artificial Intelligence},
  year = {1979},
  volume = {12},
  number = {2},
  pages = {179--196},
  topic = {search;}
  }

@inproceedings{ stockmeyer-meyer_ar:1973a,
  author = {L.J. Stockmeyer and A.R. Meyer},
  title = {Word Problems Requiring Exponential Time},
  booktitle = {Proceedings of the Fifth Annual {ACM} Symposium on
  	Theory of Computing},
  year = {1973},
  organization = {ACM},
  missinginfo = {A's 1st name, publisher, address, pages},
  rtnote = {In RHT collection.  First 6 pagees only.},
  topic = {complexity;}
  }

@book{ stogdill:1970a,
  editor = {Ralph M. Stogdill},
  title = {The Process Of Model-Building In The Behavioral Sciences},
  publisher = {Ohio State University Press},
  year = {1970},
  address = {COlumbus, Ohio},
  rtnote = {UMich GRADUATE LIBRARY  Call No: H 61 .P95},
  topic = {behavioral-science-methodology;}
 }

@article{ stoianovic:2007a,
  author = {Isidora Stoianovic},
  title = {Talking about Taste:  Disagreement, Implicit Arguments,
  		and Relative Truth},
  journal = {Linguistics and Philosophy},
  year = {2007},
  volume = {30},
  number = {6},
  pages = {691--706},
  topic = {context;nl-semantics;predicates-of-taste;aesthetics;}
  }

@article{ stoicke-etal:2000a,
  author = {Andreas Stoicke and Klaus Ries and Noah Coccaro
  	and Elizabeth Shriberg and Rebecca Bates and Daniel
	Jurafsky and Paul Taylor and Rachel Martin and
	Carol Van Ess-Dykema and Marie Meteer},
  title = {Dialogue Act Modeling for Automatic Tagging and
  	Recognition of Conversational Speech},
  journal = {Computational Linguistics},
  year = {2000},
  volume = {26},
  number = {3},
  pages = {339--373},
  topic = {speech-acts;computational-dialogue;statistical-nlp;
  	speech-recognition;}
  }

@inproceedings{ stojanovic:2001a,
  author = {Isodora Stojanovic},
  title = {Whom is the Problem of the Essential Indexical a Problem
  	for?},
  booktitle = {Modeling and Using Context: Third International and
  	Interdisciplinary Conference, Context 2001},
  publisher = {Springer-Verlag},
  year = {2001},
  editor = {Varol Akman and Paolo Bouquet and Richmond Thomason
  	and Roger A. Young},
  pages = {304--315},
  address = {Berlin},
  topic = {context;indexicality;philosophy-of-language;}
  }

@inproceedings{ stojanovic:2003a,
  author = {Isadora Stojanovic},
  title = {What to Say on What Is Said},
  booktitle = {Modeling and Using Context: Fourth International and
  	Interdisciplinary Conference, Context 2003},
  publisher = {Springer-Verlag},
  year = {2003},
  editor = {Patrick Blackburn and Chiara Ghidini and Roy M. Turner
  	and Fausto Giunchiglia},
  pages = {300--313},
  address = {Berlin},
  topic = {context;philosophy-of-language;}
  }

@book{ stokhof-torenvliet:1990a,
  editor = {Martin Stokhof and Leen Torenvliet},
  title = {Proceedings of the Seventh {A}msterdam {C}olloquium},
  publisher = {Institute for Language, Logic and Information,
  	Universiteit van Amsterdam},
  year = {1990},
  address = {Amsterdam},
  ISBN = {9061962137},
  rtnote = {UMich GRADUATE LIBRARY, PK 1933 .D391 1996.},
  topic = {nl-semantics;pragmatics;}
 }

@article{ stolboushkin:2000a,
  author = {Alexei P. Stolboushkin},
  title = {Review of \emph{{O}n Finite Rigid Structures}, by
  	{Y}uri {G}urevich and {S}haranon {S}helah},
  journal = {The Bulletin of Symbolic Logic},
  year = {2000},
  volume = {6},
  number = {3},
  pages = {353--355},
  xref = {Review of gurevich-shelah:1996a.},
  topic = {finite-models;}
  }

@article{ stolcke:1995a,
  author = {Andreas Stolcke},
  title = {An Efficient Context-Free Parsing Algorithm that Computes
  	Prefix Probabilities},
  journal = {Computational Linguistics},
  year = {1995},
  volume = {21},
  number = {2},
  pages = {165--201},
  topic = {parsing-algorithms;}
  }

@article{ stolcke:1998a,
  author = {Andreas Stolcke},
  title = {Linguistic Knowledge and Empirical Methods in Speech
		Recognition},
  journal = {The {AI} Magazine},
  year = {1998},
  volume = {18},
  number = {4},
  pages = {25--31},
  topic = {speech-recognition;machine-learning;}
  }

@article{ stoljar:2000a,
  author = {Daniel Stoljar},
  title = {Physicalism and the Necessary A Priori},
  journal = {The Journal of Philosophy},
  year = {2000},
  volume = {97},
  number = {1},
  pages = {33--54},
  topic = {mind-body-problem;}
  }

@book{ stoljar:2006a,
  author = {Daniel Stoljar},
  title = {Ignorance and Imagination: The Epistemic Origin of the
  		Problem of Consciousness},
  publisher = {Oxford University Press},
  year = {2006},
  address = {Oxford},
  xref = {Review: gertler:2009a},
  topic = {philosophy-of-mind;consciousness;}
 }

@incollection{ stolzenburg-etal:1997a,
  author = {Frieder Stolzenburg and Stephan Ho"hne and Ulrich
            Koch and Martin Volk},
  title = {Constraint Logic Programming for
		   Computational Linguistics},
  booktitle = {{LACL}'96: First International Conference on
      Logical Aspects of Computational Linguistics},
  publisher = {Springer-Verlag},
  year = {1997},
  editor = {Christian Retor/'e},
  pages = {406--425},
  address = {Berlin},
  topic = {logic-and-computational-linguistics;constraint-programming;}
  }

@incollection{ stolzenburg-thomas_b:1998a,
  author = {F. Stolzenburg and B. Thomas},
  title = {Analyzing Rule Sets for the Calculation of Banking Fees by
  	a Theorem Prover with Constraints},
  booktitle = {Automated Deduction: A Basis for Applications.
  	Volume {III}, Applications},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {Wolfgang Bibel and Peter H. Schmidt},
  address = {Dordrecht},
  missinginfo = {A's 1st name, pages},
  topic = {theorem-proving;applied-logic;}
  }

@book{ stone_g:1980a,
  author = {Gerald Stone},
  title = {An Introduction to {P}olish},
  publisher = {Oxford University Press},
  year = {1980},
  address = {Oxford},
  ISBN = {0198158025},
  rtnote = {UMich Graduate Library, 891.855 S877in.},
  topic = {Polish-language;reference-grammars;}
 }

@article{ stone_jd:1976a,
  author = {John David Stone},
  title = {A Formalization of {G}each's Antinomy},
  journal = {Analysis},
  year = {1976},
  volume = {36},
  pages = {203--207},
  rtnote = {In RHT collection.},
  topic = {semantic-paradoxes;}
  }

@article{ stone_jd:1981a,
  author = {John David Stone},
  title = {Meaninglessness and Paradox: Some Remarks on
  	{G}oldstein's Paper},
  journal = {Linguistics and Philosophy},
  year = {1981},
  volume = {4},
  number = {3},
  pages = {423--429},
  xref = {Comments on goldstein_l:1980a.  For discussion, see
  	goldstein_l:1981a.},
  topic = {semantic-paradoxes;truth-value-gaps;}
  }

@inproceedings{ stone_m:1992a,
  author = {Matthew Stone},
  title = {\,`Or' and Anaphora},
  booktitle = {Proceedings from Semantics and Linguistic Theory {II}},
  editor = {Chris Barker and David Dowty},
  publisher = {Ohio State University},
  address = {Columbus},
  year = {1992},
  missinginfo = {pages},
  topic = {disjunction;anaphora;}
  }

@inproceedings{ stone_m:1997a,
  author = {Matthew Stone},
  title = {Applying Theories of Communicative Action in Generation
  	Using Logic Programming},
  booktitle = {Working Notes: {AAAI} Fall Symposium on Communicative
	Action in Humans and Machines},
  year = {1997},
  pages = {134--135},
  organization = {{AAAI}},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  editor = {David R. Traum},
  rtnote = {In RHT collection.},
  topic = {speech-acts;pragmatics;nl-generation;logic-programming;}
  }

@phdthesis{ stone_m:1998a,
  author = {Matthew Stone},
  title = {Modality in Dialogue: Planning, Pragmatics and
  	Computation},
  school = {Computer Science Department, University of Pennsylvania},
  year = {1998},
  type = {Ph.{D}. Dissertation},
  address = {Philadelphia, Pennsylvania},
  rtnote = {In RHT collection.},
  topic = {modal-logic;theorem-proving;planning;epistemic-logic;
  	nl-generation;}
 }

@unpublished{ stone_m:2001a,
  author = {Matthew Stone and Christine Doran and Bonnie Webber
  	and Tonia Bleam and Martha Palmer},
  title = {Microplanning with Communicative Intentions: The
  	{SPUD} System},
  year = {2001},
  note = {Available at http://arXiv.org/archive/CS.},
  rtnote = {In RHT collection.},
  topic = {nl-generation;sentence-planning;}
  }

@incollection{ stone_m:2002a,
  author = {Matthew Stone},
  title = {Lexicalized Grammar 101},
  booktitle = {Effective Tools and Methodologies for Teaching
  	{NLP} and {CL}},
  publisher = {Association for Computational Linguistics},
  year = {2002},
  editor = {Dragomir Radev and Chris Brew},
  pages = {76--83},
  address = {New Brunswick, New Jersey},
  topic = {nlp-pedagogy;}
  }

@incollection{ stone_m:2002b,
  author = {Matthew Stone},
  title = {Communicative Intentions and Conversational Processes
  	in Human-Human and Human-Computer Dialogue},
  booktitle = {World Situated Language Use: Psycholinguistic,
  	Linguistic, and Computational Perspectives on Bridging
	the Product and Action Traditions},
  publisher = {The {MIT} Press},
  year = {2002},
  editor = {John Trueswell and Michael Tanenhaus},
  address = {Cambridge, Massachusetts},
  missinginfo = {pages.},
  rtnote = {In RHT collection.},
  topic = {nl-generation;computational-dialogue;pragmatics;}
  }

@incollection{ stone_m:2003a,
  author = {Matthew Stone},
  title = {Specifying Generation of Referring Expressions by
  	Example},
  booktitle = {Working Papers of the 2003 {AAAI} Spring Symposium on
  	Natural Language Generation in Spoken and Written
	Dialogue},
  publisher = {AAAI Press},
  year = {2003},
  editor = {Reva Freedman and Charles Callaway},
  pages = {133--140},
  address = {Menlo Park, California},
  topic = {nl-generation;referring-expressions;}
  }

@article{ stone_m:2004a,
  author = {Matthew Stone},
  title = {Intention, Interpretation and the Computational Structure
  		of Language},
  journal = {Cognitive Science},
  year = {2004},
  volume = {5},
  pages = {781--809},
  rtnote = {In RHT collection.},
  topic = {pragmatics;intention;}
  }

@incollection{ stone_m:2004b,
  author = {Matthew Stone},
  title = {Communicative Intentions and Conversational Processes in
  		Human-Human and Human-Computer Dialogue},
  booktitle = {Approaches to Studying World-Situated Language Use:
  		Bridging the Language-as-Product and
		Language-as-Action Traditions},
  publisher = {The {MIT} Press},
  year = {2004},
  editor = {John Truesdell and Michael Tannenhaus},
  address = {Cambridge, Massachusetts},
  missinginfo = {pages},
  rtnote = {In RHT collection.},
  topic = {pragmatics;speech-acts;}
  }

@incollection{ stone_m:2004c,
  author = {Matthew Stone},
  title = {Communicative Intentions and Conversational Processes
  	in Human-Human and Human-Computer Dialogue},
  booktitle = {World Situated Language Use: Psycholinguistic,
  	Linguistic, and Computational Perspectives on Bridging
	the Product and Action Traditions},
  publisher = {The {MIT} Press},
  year = {2004},
  editor = {John Trueswell and Michael Tanenhaus},
  address = {Cambridge, Massachusetts},
  pages = {39--70},
  rtnote = {In RHT collection.},
  topic = {nl-generation;computational-dialogue;pragmatics;}
  }

@inproceedings{ stone_m-doran:1997a,
  author = {Matthew Stone and Christine Doran},
  title = {Sentence Planning as Description Using Tree Adjoining
  	Grammar},
  booktitle = {Proceedings of the Thirty-Fifth Annual Meeting of the
		{A}ssociation for {C}omputational {L}inguistics and Eighth
		Conference of the {E}uropean Chapter of the {A}ssociation
		for {C}omputational {L}inguistics},
  year = {1997},
  editor = {Philip R. Cohen and Wolfgang Wahlster},
  pages = {198--205},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  topic = {nl-generation;TAG-grammar;}
 }

@article{ stone_m-etal:2003a,
  author = {Matthew Stone and Christine Doran and Bonnie Webber
  	and Tonia Bleam and Martha Palmer},
  title = {Microplanning with Communicative Intentions: The
  	{SPUD} System},
  year = {2003},
  journal = {Computational Intelligence},
  volume = {19},
  number = {4},
  pages = {311--381},
  rtnote = {In RHT collection.},
  topic = {nl-generation;sentence-planning;}
  }

@article{ stone_m-hirsh_h:2005a,
  author = {Matthew Stone and Haym Hirsh},
  title = {Artificial Intelligence:  The Next Twenty-Five Years},
  journal = {The {AI} Magazine},
  year = {2005},
  volume = {26},
  number = {4},
  pages = {85--97},
  topic = {AI-editorial;}
  }

@incollection{ stone_m-thomason_rh:2002a,
  author = {Matthew Stone and Richmond H. Thomason},
  title = {Context in Abductive Interpretation},
  booktitle = {{EDILOG} 2002: Proceedings of the Sixth Workshop on the
  	Semantics and Pragmatics of Dialogue},
  publisher = {Cognitive Science Centre, University of Edinburgh},
  year = {2002},
  editor = {Johan Bos and Mary Ellen Foster and Colin Mathesin},
  pages = {169--176},
  address = {Edinburgh},
  topic = {context;nl-interpretation;abduction;}
  }

@incollection{ stone_m-thomason_rh:2003a,
  author = {Matthew Stone and Richmond Thomason},
  title = {Coordinating Understanding and Generation in an Abductive
  		Approach to Interpretation},
  booktitle = {Diabruck 2003: Proceedings of the 7th Workshop on the
  	Semantics and Pragmatics of Dialogue},
  publisher = {Universit\"at des Saarlandes},
  year = {2003},
  editor = {Ivana Kruijff-Korbayov\'a and Claudia Kosny},
  pages = {131--138},
  address = {Saarbr\"ucken},
  topic = {computational-dialogue;nl-generation;abduction;}
  }

@incollection{ stone_m-webber_b:1998a,
  author = {Matthew Stone and Bonnie Webber},
  title = {Textual Economy through Close Coupling of Syntax and
  	Semantics},
  booktitle = {Proceedings of the Ninth International Workshop
  	on Natural Language Generation},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Eduard Hovy},
  pages = {178--187},
  address = {New Brunswick, New Jersey},
  rtnote = {In RHT collection.},
  topic = {nl-generation;sentence-planning;}
  }

@article{ stone_p:2007a,
  author = {Peter Stone},
  title = {Multiagent Learning is Not the Answer:  It is the Question},
  journal = {Artificial Intelligence},
  year = {2007},
  volume = {171},
  number = {7},
  pages = {402--405},
  topic = {multiagent-learning;machine-learning;multiagent-systems;}
  }

@article{ stone_p-etal:2000a,
  author = {Peter Stone and Manuela Veloso and Patrick Riley},
  title = {{\sc Cmunited}-98 Simulator Team},
  journal = {The {AI} Magazine},
  year = {2000},
  volume = {21},
  number = {1},
  pages = {20--28},
  topic = {robotics;RoboCup;}
  }

@article{ stone_p-etal:2000b,
  author = {Peter Stone and Patrick Riley and Manuela Veloso},
  title = {The {CMU}nited-99 Champion Simulator Team},
  journal = {The {AI} Magazine},
  year = {2000},
  volume = {21},
  number = {3},
  pages = {33--40},
  topic = {RoboCup;robotics;}
  }

@article{ stone_p-veloso_mm:1999a,
  author = {Peter Stone and Manuela Veloso},
  title = {Task Decomposition, Dynamic Role Assignment, and
  	Low-Bandwidth Communication for Real-Time Strategic
	Teamwork},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {110},
  number = {2},
  pages = {241--273},
  topic = {multiagent-systems;cooperation;RoboCup;}
  }

@incollection{ stone_t-davies_m:1995a,
  author = {Tony Stone and Martin Davies},
  title = {Introduction},
  booktitle = {Mental Simulation: Evaluations and Applications},
  publisher = {Blackwell Publishers},
  year = {1995},
  editor = {Martin Davies and Tony Stone},
  pages = {1--18},
  address = {Oxford},
  topic = {folk-psychology;theory-theory-of-folk-psychology;
  	mental-simulation-theory-of-folk-psychology;
	propositional-attitude-ascription;}
  }

@incollection{ stonebraker:1984a,
  author = {Michael Stonebraker},
  title = {Adding Semantic Knowledge to a Relational Database System},
  booktitle = {On Conceptual Modelling:  Perspectives from Artificial
  	Intelligence, Databases and Programming Languages},
  publisher = {Springer-Verlag},
  year = {1984},
  editor = {Michael L. Brodie and John Mylopoulos and Joachim W. Schmidt},
  pages = {333--356},
  address = {Berlin},
  rtnote = {In RHT collection.},
  topic = {databases;data-models;abstract-data-types;}
  }

@book{ stork:1997a,
  editor = {David G. Stork},
  title = {Hal's Legacy: 2001's Computer as Dream and Reality},
  publisher = {The {MIT} Press},
  year = {1997},
  address = {Cambridge, Massachusetts},
  topic = {social-impact-of-computation;popular-cs;}
 }

@article{ storr:2001a,
  author = {Hans-Peter St\"orr},
  title = {Planning in the Fluent Calculus Using Binary Decision
  	Diagrams},
  journal = {The {AI} Magazine},
  year = {2001},
  volume = {22},
  number = {1},
  pages = {103--105},
  topic = {planning;planning-algorithms;planning-systems;}
  }

@inproceedings{ storto:2000a,
  author = {Gianluca Storto},
  title = {On the Structure of Indefinite Possessives},
  booktitle = {Proceedings from Semantics and Linguistic Theory {X}},
  publisher = {Cornell University},
  year = {2000},
  editor = {Brendan Jackson and Tanya Matthews},
  pages = {203--220},
  address = {Ithaca, New York},
  topic = {nl-semantics;indefiniteness;possessives;}
  }

@article{ stouppa:2007a,
  author = {Phiniki Stouppa},
  title = {A Deep Inference System for the Modal Logic {S5}},
  journal = {Studia Logica},
  year = {2007},
  volume = {85},
  number = {2},
  pages = {199--214},
  topic = {modal-logic;proof-theory;}
  }

@article{ stout_gf:1896a,
  author = {G.F. Stout},
  title = {Voluntary Action},
  journal = {Mind},
  year = {1896},
  volume = {4},
  number = {19},
  pages = {354--366},
  rtnote = {A resource for JL Austin.
            See \se09 for Voluntary Decision 1924.},
  xref = {Resource for this: shand:1897a},
  rtnote = {In RHT collection.},
  topic = {volition;}
  }

@book{ stout_r:1996a,
  author = {Rowland Stout},
  title = {Things That Happen Because They Should: A Teleological
                   Approach to Action},
  publisher = {Oxford University Press},
  year = {1996},
  address = {Oxford},
  rtnote = {HILLMAN B105 A35S76 1996},
  topic = {philosophy-of-action;}
 }

@article{ stoutland:1968a,
  author = {Frederick Stoutland},
  title = {Basic Actions and Causality},
  journal = {The Journal of Philosophy},
  year = {1968},
  volume = {65},
  number = {16},
  pages = {467--475},
  topic = {philosophy-of-action;action;causality;reasons-for-action;}
  }

@article{ stoutland:1972a,
  author = {Frederick Stoutland},
  title = {Is Raising One's Arm a Basic Action?},
  journal = {The Journal of Philosophy},
  year = {1972},
  volume = {65},
  number = {9},
  pages = {235--249},
  topic = {philosophy-of-action;}
  }

@article{ stoutland:1974a,
  author = {Frederick Stoutland},
  title = {Volition and Basic Action},
  journal = {The Philosophical Review},
  year = {1974},
  volume = {83},
  number = {1974},
  pages = {451--473},
  topic = {philosophy-of-action;}
  }

@book{ stoy:1979a,
  author = {Joseph E. Stoy},
  title = {Denotational Semantics: The {S}cott-{S}trachey
  	Approach to Programming Language Theory},
  publisher = {The {MIT} Press},
  year = {1979},
  address = {Cambridge, Massachusetts},
  rtnote = {In RHT collection.  CS Shelves.},
  topic = {denotational-semantics;semantics-of-programming-languages;}
 }

@incollection{ stoyan:1991a,
  author = {Herbert Stoyan},
  title = {The Influence of the Designer on the
    	Design---{J}.{M}c{C}arthy and {LISP}},
  booktitle = {Artificial Intelligence and Mathematical Theory of
  	Computation},
  publisher = {Academic Press},
  year = {1991},
  editor = {Vladimir Lifschitz},
  pages = {409--426},
  address = {San Diego},
  topic = {McCarthy;LISP;}
  }

@article{ straach-truemper:1999a,
  author = {Janell Straach and and Klaus Truemper},
  title = {Learning to Ask Relevant Questions},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {111},
  number = {1--2},
  pages = {301--327},
  topic = {expert-systems;HCI;machine-learning;logic-programming;}
  }

@inproceedings{ straccia:1993a,
  author = {Umberto Straccia},
  title = {Default Inheritance in Hybrid {\sc KL-One}-Style
  	Languages},
  booktitle = {Proceedings of the Thirteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1993},
  editor = {Ruzena Bajcsy},
  pages = {676--681},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  rtnote = {In RHT collection.},
  topic = {inheritance-theory;extensions-of-kl1;description-logics;}
  }

@incollection{ straccia:2006a,
  author = {Umberto Straccia},
  title = {Query Answering under the Any-World
    		Assumption for Normal Logic Programs},
  booktitle = {{KR}2006: Proceedings, Tenth International Conference on
      Principles of  Knowledge Representation and Reasoning},
  publisher = {AAAI Press},
  year = {2006},
  editor = {Patrick Doherty and John Mylopoulos and Christopher A. Welty},
  pages = {329--339},
  address = {Menlo Park, California},
  topic = {logic-programming;nonmonotonic-logic;}
  }

@article{ strahm:2002a,
  author = {Thomas Strahm},
  title = {Review of `How is it that Infinitary Methods Can be Applied to
  	Finitary Mathematics?  {G}\"odel's $T$: A Case Study', by
	{A}ndreas {W}eiermann},
  journal = {The Bulletin of Symbolic Logic},
  year = {2002},
  volume = {8},
  number = {3},
  pages = {435--436},
  xref = {Review of: weiermann:1998a},
  topic = {recursion-theory;infinitary-logic;proof-theory;}
  }

@book{ strauss_j-corbin:1998a,
  author = {Anselm Strauss and Juliet Corbin},
  title = {Basics of Qualitative Research},
  publisher = {Sage Publications},
  year = {1998},
  edition = {2},
  address = {Thousand Oaks, California},
  topic = {qualitative-methods;}
 }

@book{ strawson_g:1986a,
  author = {Galen Strawson},
  title = {Freedom and Belief},
  publisher = {Oxford},
  year = {1986},
  address = {Oxford, England},
  topic = {freedom;volition;}
 }

@article{ strawson_pf:1949a,
  author = {Peter F. Strawson},
  title = {Ethical Intuitionism},
  journal = {Philosophy},
  year = {1949},
  volume = {36},
  pages = {23--33},
  xref = {Republication: sellars-hospers:1952a.},
  topic = {ethics;}
    }

@article{ strawson_pf:1950a1,
  author = {Peter F. Strawson},
  title = {On Referring},
  journal = {Mind, New Series},
  year = {1950},
  volume = {59},
  pages = {320--344},
  missinginfo = {number},
  xref = {Republications: strawson_pf:1950a2,strawson_pf:1950a3.},
  rtnote = {pragmatics-course;},
  topic = {definite-descriptions;presupposition;pragmatics;}
  	}

@incollection{ strawson_pf:1950a2,
  author = {Peter F. Strawson},
  title = {On Referring},
  booktitle = {Essays in Conceptual Analysis},
  publisher = {Macmillam},
  year = {1960},
  editor = {Antony Flew},
  pages = {21--52},
  address = {London},
  xref = {Republication of: strawson_pf:1950a1.},
  rtnote = {pragmatics-course;},
  topic = {definite-descriptions;presupposition;pragmatics;}
  	}

@incollection{ strawson_pf:1950a3,
  author = {Peter F. Strawson},
  title = {On Referring},
  booktitle = {Logico-Linguistic Papers},
  publisher = {Methuen},
  year = {1971},
  editor = {Peter F. Strawson},
  pages = {1--27},
  address = {London},
  xref = {Republication of: strawson_pf:1950a1.},
  rtnote = {pragmatics-course;},
  topic = {definite-descriptions;presupposition;pragmatics;}
  	}

@article{ strawson_pf:1950b1,
  author = {Peter F. Strawson},
  title = {Truth},
  journal = {Proceedings of the {A}ristotelian Society},
  year = {1950},
  volume = {24},
  pages = {129--156},
  note = {Supplementary Volume.},
  xref = {Republication: strawson_pf:1950b2.},
  topic = {truth;}
 }

@incollection{ strawson_pf:1950b2,
  author = {Peter F. Strawson},
  title = {Truth},
  booktitle = {Logico-Linguistic Papers},
  publisher = {Methuen},
  year = {1971},
  editor = {Peter F. Strawson},
  pages = {190--213},
  address = {London},
  xref = {Republication of: strawson_pf:1950a2.},
  topic = {truth;}
  }

@book{ strawson_pf:1952a,
  author = {Peter F. Strawson},
  title = {Introduction to Logical Theory},
  publisher = {Methuen},
  year = {1952},
  address = {London},
  rtnote = {In RHT Collection.  LLP single author shelves.},
  topic = {philosophy-of-logic;}
 }

@incollection{ strawson_pf:1953a2,
  author = {Peter F. Strawson},
  title = {Particular and General},
  booktitle = {Logico-Linguistic Papers},
  publisher = {Methuen},
  year = {1971},
  editor = {Peter F. Strawson},
  pages = {28--52},
  address = {London},
  xref = {Republication of: strawson_pf:1953a1.},
  topic = {particular/universal;metaphysics;}
  }

@article{ strawson_pf:1954a,
  author = {Peter F. Strawson},
  title = {A Reply to Mr. Sellars},
  journal = {The Philosophical Review},
  year = {1954},
  volume = {216--231},
  pages = {216--231},
  missinginfo = {number},
  topic = {presupposition;pragmatics;}
  }

@book{ strawson_pf:1959a,
  author = {Peter F. Strawson},
  title = {Individuals: An Essay in Descriptive Metaphysics},
  publisher = {Methuen},
  year = {1959},
  address = {London},
  xref = {Commentary: moravcsik:1965a.},
  rtnote = {In RHT collection.  Contemporary Core Analytic Shelves.},
  topic = {philosophical-ontology;individuation;}
 }

@article{ strawson_pf:1961a1,
  author = {Peter F. Strawson},
  title = {Singular Terms and Predication},
  journal = {The Journal of Philosophy},
  year = {1961},
  volume = {43},
  number = {15},
  pages = {393--412},
  xref = {Republication: strawson_pf:1961a2.},
  topic = {predication;particular/universal;}
  }

@article{ strawson_pf:1962a,
  author = {Peter F. Strawson},
  title = {Freedom  and Resentment},
  journal = {Proceedings of the British Academy},
  year = {1962},
  volume = {48},
  pages = {1--25},
  rtnote = {In RHT collection.},
  topic = {freedom;blameworthiness;}
  }

@article{ strawson_pf:1964a1,
  author = {Peter F. Strawson},
  title = {Intention and Convention in Speech Acts},
  journal = {The Philosophical Review},
  year = {1964},
  volume = {59},
  pages = {439--460},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  xref = {Republication: strawson_pf:1964a2.},
  rtnote = {pragmatics-course;},
  topic = {speech-acts;speaker-meaning;pragmatics;}
  }

@incollection{ strawson_pf:1964a2,
  author = {Peter F. Strawson},
  title = {Intention and Convention in Speech Acts},
  booktitle = {Logico-Linguistic Papers},
  publisher = {Methuen},
  year = {1971},
  editor = {Peter F. Strawson},
  pages = {149--169},
  address = {London},
  xref = {Republication of: strawson_pf:1964a1.},
  rtnote = {pragmatics-course;},
  topic = {speech-acts;speaker-meaning;pragmatics;}
  }

@article{ strawson_pf:1964b1,
  author = {Peter F. Strawson},
  title = {Identifying Reference and Truth-Values},
  journal = {Theoria},
  year = {1964},
  volume = {30},
  pages = {96--118},
  xref = {Republication: strawson_pf:1964b2, strawson_pf:1964b3.},
  topic = {reference;definite-descriptions;philosophy-of-language;}
  }

@incollection{ strawson_pf:1964b2,
  author = {Peter F. Strawson},
  title = {Identifying Reference and Truth-Values},
  booktitle = {Semantics: An Interdisciplinary Reader in Philosophy,
  	Linguistics, and Psychology},
  publisher = {Cambridge University Press},
  year = {1971},
  editor = {Danny D. Steinberg and Leon A. Jacobovits},
  pages = {86--99},
  address = {Cambridge, England},
  xref = {Republication of: strawson:1964a1.},
  topic = {reference;definite-descriptions;}
  }

@incollection{ strawson_pf:1964b3,
  author = {Peter F. Strawson},
  title = {Identifying Reference and Truth-Values},
  booktitle = {Logico-Linguistic Papers},
  publisher = {Methuen},
  year = {1971},
  editor = {Peter F. Strawson},
  pages = {75--95},
  address = {London},
  xref = {Republication of: strawson_pf:1964b1.},
  topic = {reference;definite-descriptions;philosophy-of-language;}
  }

@incollection{ strawson_pf:1965a2,
  author = {Peter F. Strawson},
  title = {Truth: A Reconsideration of {A}ustin's Views},
  booktitle = {Logico-Linguistic Papers},
  publisher = {Methuen},
  year = {1971},
  editor = {Peter F. Strawson},
  pages = {234--249},
  address = {London},
  xref = {Republication of: strawson_pf:1965a1.},
  topic = {JL-Austin;truth;}
  }

@article{ strawson_pf:1965a,
  author = {Peter Strawson},
  title = {Truth: A Reconsideration of {A}ustin's Views},
  journal = {Philosophical Quarterly},
  year = {1965},
  volume = {15},
  pages = {289--301},
  missinginfo = {number},
  topic = {truth;propositional-attitudes;truth-bearers;JL-Austin;}
  }

@article{ strawson_pf:1969a1,
  author = {Peter F. Strawson},
  title = {Grammar and Philosophy},
  journal = {Proceedings of the {A}ristotelian Society, New Series},
  year = {1969--70},
  volume = {70},
  pages = {1--20},
  xref = {Republication: strawson_pf:1953a2.},
  topic = {philosophy-of-linguistics;philosophy-and-linguistics;}
 }

@incollection{ strawson_pf:1969a2,
  author = {Peter F. Strawson},
  title = {Grammar and Philosophy},
  booktitle = {Logico-Linguistic Papers},
  publisher = {Methuen},
  year = {1971},
  editor = {Peter F. Strawson},
  pages = {130--148},
  address = {London},
  xref = {Republication of: strawson_pf:1969a1.},
  topic = {philosophy-of-linguistics;philosophy-and-linguistics;}
  }

@book{ strawson_pf:1971a,
  author = {Peter F. Strawson},
  title = {Logico-Linguistic Papers},
  publisher = {Methuen},
  year = {1971},
  address = {London},
  ISBN = {0416090109},
  contentnote = {TC:
     1. "On Referring", pp. 1--27
     2. "Particular and General", pp. 28--52
     3. "Singular Terms and Predication", pp. 53--74
     4. "Identifying Reference and Truth-Values", pp. 75--95
     5. "The Asymmetry of Subjects and Predicates", pp. 96--115
     6. "Propositions, Concepts, and Logical Truths", pp. 116--129
     7. "Grammar and Philosophy", pp. 130--148
     8. "Intention and Convention in Speech Acts", pp. 149--169
     9. "Meaning and Truth", pp. 170--189
    10. "Truth", pp. 190--213
    11. "A Problem about Truth", pp. 214--233
    12. "Truth: A Reconsideration of {A}ustin's Views", pp. 234--249
  },
  rtnote = {UMich Graduate Library, BC 51 .S92},
  rtnote = {In RHT collection.},
  topic = {analytic-philosophy;philosophy-of-language;}
 }

@incollection{ strawson_pf:1971b,
  author = {Peter Strawson},
  title = {Meaning and Truth},
  booktitle = {Logico-Linguistic Papers},
  publisher = {Methuen},
  address = {London},
  year = {1971},
  editor = {Peter Strawson},
  missinginfo = {pages},
  topic = {philosophy-of-language;foundations-of-semantics;truth;}
  }

@incollection{ strawson_pf:1972a,
  author = {Peter F. Strawson},
  title = {Grammar and Philosophy},
  booktitle = {Semantics of Natural Language},
  publisher = {D. Reidel Publishing Co.},
  year = {1972},
  editor = {Donald Davidson and Gilbert H. Harman},
  pages = {455--472},
  address = {Dordrecht},
  topic = {philosophy-of-linguistics;foundations-of-syntax;}
  }

@incollection{ strawson_pf:1973a,
  author = {Peter F. Strawson},
  title = {Austin and `Locutionary Meaning'\, },
  booktitle = {Essays on J.L. Austin},
  publisher = {Oxford University Press},
  year = {1973},
  editor = {Isiah Berlin et al.},
  pages = {46--68},
  address = {Oxford},
  topic = {JL-Austin;ordinary-language-philosophy;speech-acts;pragmatics;}
  }

@incollection{ strawson_pf:1974a,
  author = {Peter F. Strawson},
  title = {Positions for Quantifiers},
  booktitle = {Semantics and Philosophy},
  publisher = {New York University Press},
  year = {1974},
  editor = {Milton K. Munitz and Peter K. Unger},
  pages = {63--79 },
  address = {New York},
  topic = {nl-quantification;higher-order-logic;
  	substitutional-quantification;}
  }

@incollection{ strawson_pf:1976a,
  author = {Peter F. Strawson},
  title = {On Understanding the Structure of One's
     		Language},
  booktitle = {Truth and Meaning: Essays in Semantics},
  publisher = {Oxford University Press},
  year = {1976},
  editor = {Gareth Evans and John Mc{D}owell},
  pages = {162--188},
  address = {Oxford},
  topic = {adverbs;foundations-of-semantics;}
  }

@incollection{ strawson_pf:1979a,
  author = {Peter F. Strawson},
  title = {May Bes and Might Have Beens},
  booktitle = {Meaning and Use: Papers Presented at the Second
		{J}erusalem Philosophy Encounter},
  publisher = {D. Reidel Publishing Co.},
  year = {1979},
  editor = {Avishai Margalit},
  pages = {229--238},
  address = {Dordrecht},
  topic = {conditionals;}
  }

@incollection{ strawson_pf:1986a,
  author = {Peter F. Strawson},
  title = {`{I}f' and `$\supset$'},
  booktitle = {Philosophical Grounds of Rationality},
  publisher = {Oxford University Press},
  year = {1986},
  editor = {Richard E. Grandy and Richard Warner},
  pages = {228--242},
  address = {Oxford},
  topic = {philosophy-of-language;philosophy-of-logic;conditionals;Grice;}
  }

@article{ strawson_pf:1990a,
  author = {Peter Strawson},
  title = {Review of \emph{{S}tudies in the Way of Words}, by
  	{P}aul {G}rice},
  journal = {Synth\'ese},
  year = {1990},
  volume = {84},
  number = {1},
  pages = {153--161},
  xref = {Review of grice_hp:1989a.},
  topic = {Grice;implicature;pragmatics;}
  }

@incollection{ strawson_pf:1997a,
  author = {Peter Strawson},
  title = {Meaning and Context},
  booktitle = {Entity and Identity (and Other Languages)},
  publisher = {Oxford University Press},
  year = {1997},
  editor = {Peter Strawson},
  pages = {216--231},
  address = {Oxford},
  topic = {context;philosophy-of-language;}
  }

@book{ strazolkowski:1994a,
  editor = {Tomek Strazolkowski},
  title = {Reversible Grammar in Natural Language Processing},
  publisher = {Kluwer Academic Publishers},
  year = {1994},
  address = {Dordrecht},
  topic = {grammar-formalisms;nl-processing;}
 }

@incollection{ strecker-etal:1998a,
  author = {M. Strecker et al.},
  title = {Interactive and Automated Construction in Type Theory},
  booktitle = {Automated Deduction: A Basis for Applications.
  	Volume {II}, Systems and Implementation Techniques},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {Wolfgang Bibel and Peter H. Schmidt},
  address = {Dordrecht},
  missinginfo = {A's 1st name, pages},
  topic = {theorem-proving;applied-logic;}
  }

@article{ strevens:2000a,
  author = {Michael Strevens},
  title = {Do Large Probabilities Explain Better?},
  journal = {Philosophy of Science},
  year = {2000},
  volume = {67},
  number = {3},
  pages = {366--390},
  topic = {probability;explanation;}
  }

@article{ strevens:2000b,
  author = {Michael Strevens},
  title = {The Essentialist Aspect of Naive Theories},
  journal = {Cognition},
  year = {2000},
  volume = {74},
  pages = {149--175},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {naive-physics;essentialism;}
  }

@book{ strevens:2003a,
  author = {Michael Strevens},
  title = {Bigger than Chaos:  Understanding Complexity through
  		Probability},
  publisher = {Harvard University Press},
  year = {2003},
  address = {Cambridge, Massachusetts},
  topic = {complex-systems;enion-probability-analysis;}
 }

@article{ strevens:2005a,
  author = {Michael Strevens},
  title = {How are the Sciences of Complex Systems Possible?},
  journal = {Philosophy of Science},
  year = {2005},
  volume = {72},
  number = {4},
  pages = {531--556},
  topic = {philosophy-of-science;complex-systems;}
  }

@article{ strigen:1994a,
  author = {Anatoli Strigen},
  title = {Topicalization, Scrambling and Argument Scope in {G}erman:
  	Integrating Syntactic and Semantic Information},
  journal = {Journal of Semantics},
  year = {1994},
  volume = {11},
  number = {3},
  pages = {311--363},
  topic = {nl-semantics;German-language;s-topic;}
  }

@inproceedings{ strigin:1995a,
  author = {Anatol Strigin},
  title = {Abductive Inference During Update: The {G}erman
		Preposition {\em mit}},
  booktitle = {Proceedings from Semantics and Linguistic Theory {V}},
  year = {1995},
  editor = {Mandy Simons and Teresa Galloway},
  pages = {310--327},
  publisher = {Cornell University},
  address = {Ithaca, New York},
  note = {Available from CLC Publications, Department of Linguistics,
  	Morrill Hall, Cornell University, Ithaca, NY 14853-4701.},
  topic = {nl-semantics;dynamic-semantics;abduction;German-language;}
  }

@article{ strobach:1998a,
  author = {Niko Strobach},
  title = {Logik f\"ur die {S}eeschlacht--Mogliche {S}pielzuge},
  journal = {Zeitschrift fur philosophische {F}orschung},
  year = {1998},
  volume = {52},
  number = {1},
  pages = {105--119},
  acontentnote = {Abstract: A combined temporal and modal logic (CTML)
     may be more plausible than tense logic with branching time for
     dealing with the problem of future contingents, known since
     Aristotle as the problem of the future sea-battle. Depending on
     the position one takes with regard to future contingents one may
     choose between several alternative semantics for CTML: a
     two-valued one with strong F-operator (for future tense), a
     two-valued one with weak F and a three-valued one with strong F.
     Their relations with a weak and strong correspondence conception
     of truth are discussed as well as the way in which each of them
     avoids determinism, concluding that a weak F-operator in a
     two-valued system in combination with a weak conception of truth
     is systematically the most attractive option.  },
  topic = {Aristotle;future-contingent-propositions;}
  }

@article{ stroik:1999a,
  author = {Thomas Stroik},
  title = {Middles and Reflexivity},
  journal = {Linguistic Inquiry},
  year = {1999},
  volume = {30},
  number = {1},
  pages = {119--131},
  topic = {argument-structure;middle-constructions;
  	reflexive-constructions;}
  }

@incollection{ stroll:1986a,
  author = {Avrun Stroll},
  title = {Seeing Surfaces},
  booktitle = {Midwest Studies in Philosophy Volume {X}:
  	Studies in the Philosophy of Mind},
  publisher = {University of Minnesota Press},
  year = {1986},
  editor = {Peter A. French and Theodore E. {Uehling, Jr.} and Howard K.
  	Wettstein},
  pages = {379--398},
  address = {Minneapolis},
  topic = {perception;epistemology;}
  }

@article{ stroll:1998a,
  author = {Avrum Stroll},
  title = {Proper Names, Names, and Fictive Objects},
  journal = {Journal of Philosophy},
  year = {1998},
  volume = {95},
  number = {10},
  pages = {522--534},
  topic = {reference-gaps;semantics-of-proper-names;}
  }

@book{ strolovitch-lawson:1998a,
  editor = {Devon Strolovitch and Aaron Lawson},
  title = {Proceedings from Semantics and Linguistic Theory {VIII}},
  publisher = {Cornell University},
  year = {1998},
  address = {Ithaca, New York},
  note = {Available from CLC Publications, Department of Linguistics,
  	Morrill Hall, Cornell University, Ithaca, NY 14853-4701.},
  contentnote = {TC:
     1. Ana Arregui and Kiyomi Kusumoto, "Tense in Temporal Adverb
     		Clauses", pp. 1--18
     2. Sigrid Beck, "NP Dependent Readings of different", pp. 19--35
     3. Daniel B\"uring, "Identity, Modality, and the Candidate
     		Behind the Wall", pp. 36--54
     4. Yael Greenberg, "Temporally Restricted Generics", pp. 55--73
     5. Pauline Jacobson, "Antecedent Contained Deletion and
     		Pied-Piping: Evidence for a Variable-Free
		Semantics", pp. 74--91
     6. Angelika Kratzer, "More Structural Analogies Between Pronouns
     		and Tenses", pp. 92--110
     7. Manfred Krifka, "Additive Particles under Stress", pp. 111--128
     8. Takeo Kurafuji, "Dynamic Binding and the {E}-Type Strategy:
     		Evidence from {J}apanese", pp. 129--144
     9. Richard K. Larson, "Events and Modifications in
     		Nominals", pp. 145--168
     10. Toshiyuki Ogihara, "Tense, Aspect, and Argument
     		Structure", pp. 169--184
     11. Orin Percus, "A Somewhat More Definite Article", pp. 185--201
     12. Chia-Yi Tony Pi and Osamuyimen T. Stewart, "Micro-Events in
     		Two Serial Verb Constructions", pp. 202--214
     13. Hotze Rullmann and Sigrid Beck, "Presupposition Projection
     		and the Interpretation of which-Questions", pp. 215--231
     14. Yael Sharvit, "Individual Concepts and Attitude
     		Reports", pp. 232--248
     15. Yoad Winter, "Atom Predicates and Set Predicates: Towards a
     		General Theory of Plural Quantification", pp. 249--266
     16. R. Zuber, "On the Semantics of Exclusion and Inclusion
     		Phrases ", pp. 267--283
    },
  rtnote = {In RHT Collection.  LLP edited shelves.},
  topic = {nl-semantics;}
 }

@article{ strom-darden:1996a,
  author = {John D. Strom and Lindley Darden},
  title = {Is Artificial Intelligence a Degenerating Program?
  	A Review of {H}ubert {D}reyfus' {\it What Computers Still
	Can't Do} },
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {80},
  number = {1},
  pages = {151--170},
  xref = {Review of dreyfus:1992a.},
  topic = {philosophy-AI;}
  }

@article{ stroud_b:1991a,
  author = {Barry Stroud},
  title = {Hume's Skepticism:  Natural Instincts and Philosophical
  	Reflection},
  journal = {Philosophical Topics},
  year = {1991},
  volume = {19},
  number = {1},
  pages = {271--291},
  topic = {skepticism;Hume;}
  }

@book{ stroud_s-tappolet:2003a,
  editor = {Sarah Stroud and Christine Tappolet},
  title = {Weakness of Will and Practical Irrationality},
  publisher = {Oxford University Press},
  year = {2003},
  address = {Oxford},
  xref = {Review: setiya:2005a},
  topic = {akrasia;intention;}
 }

@article{ stroup:1968a,
  author = {Timothy Stroup},
  title = {Austin on `Ifs'\, },
  journal = {Mind, New Series},
  year = {1968},
  volume = {77},
  number = {305},
  pages = {104--108},
  xref = {Commentary: williams_cjf:1971a, stroup:1974a.},
  topic = {conditionals;JL-Austin;}
  }

@article{ stroup:1974a,
  author = {Timothy Stroup},
  title = {\,`Ifs' Again},
  journal = {Mind, New Series},
  year = {1974},
  volume = {83},
  number = {329},
  pages = {111},
  xref = {Reply to williams_cjf:1971a, commentary on stroup:1968a.},
  topic = {conditionals;JL-Austin;}
  }

@article{ strube:2003a,
  author = {Michael Strube},
  title = {Review of \emph{{A}naphora Resolution}, by {R}uslan {M}itkov},
  journal = {Computational Linguistics},
  year = {2003},
  volume = {29},
  number = {4},
  pages = {662--667},
  xref = {Review of: mitkov:2002a},
  topic = {anaphora-resolution;}
  }

@inproceedings{ strube-hahn_u1:1996a,
  author = {Michael Strube and Udo Hahn},
  title = {Functional Centering},
  booktitle = {Proceedings of the Thirty-Fourth Annual Meeting of the
  	Association for Computational Linguistics},
  year = {1996},
  editor = {Arivind Joshi and Martha Palmer},
  pages = {270--277},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco},
  topic = {anaphora;discourse;centering;anaphora-resolution;pragmatics;}
 }

@article{ strube-hahn_u1:1999a,
  author = {Michael Strube and Udo Hahn},
  title = {Functional Centering---Grounding Referential
		Coherence in Information Structure},
  journal = {Computational Linguistics},
  year = {1998},
  volume = {25},
  number = {3},
  pages = {309--344},
  topic = {anaphora-resolution;discourse-referents;information-structure;}
  }

@inproceedings{ struss:1988a1,
  author = {Peter Struss},
  title = {Global Filters for Qualitative Behaviors},
  booktitle = {Proceedings of the Seventh National Conference on
              Artificial Intelligence},
  year = {1988},
  editor = {Reid Smith and Tom Mitchell},
  pages = {275--279},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, CA},
  xref = {Republication: struss:1988a2.},
  topic = {qualitative-physics;qualitative-reasoning;}
  }

@incollection{ struss:1988a2,
  author = {Peter Struss},
  title = {Global Filters for Qualitative Behaviors},
  booktitle = {Qualitative Reasoning about Physical Systems},
  publisher = {Morgan Kaufmann},
  year = {1990},
  editor = {Daniel S. Weld and Johan de Kleer},
  pages = {273--277},
  address = {San Mateo, California},
  xref = {Republication of: struss:1988a1.},
  topic = {qualitative-physics;qualitative-reasoning;}
  }

@incollection{ struss:1990a,
  author = {Peter Struss},
  title = {Problems of Interval-Based Qualitative Reasoning},
  booktitle = {Qualitative Reasoning about Physical Systems},
  publisher = {Morgan Kaufmann},
  year = {1990},
  editor = {Daniel S. Weld and Johan de Kleer},
  pages = {288--305},
  address = {San Mateo, California},
  xref = {Republication of: },
  topic = {qualitative-physics;qualitative-reasoning;}
  }

@book{ strzalkowski:1994a,
  editor = {Tomek Strzalkowski},
  title = {Reversible Grammar in Natural Language Processing},
  publisher = {Kluwer Acadmic Publishers},
  year = {1994},
  address = {Boston},
  ISBN = {079239416X},
  rtnote = {UMich Media Union Library, QA 76.9 .N38 R481 1994.},
  xref = {Review: pulman:1995a.},
  topic = {reversible-grammar;nl-processing;}
 }

@book{ strzalkowski:1999a,
  editor = {Tomek Strzalkowski},
  title = {Natural Language Information Retrieval},
  publisher = {Kluwer Academic Publishers},
  year = {1999},
  address = {Dordrecht},
  ISBN = {0-7923-5685-3},
  contentnote = {TC:
     1.  K.S. Jones, "What is the Role of NLP in Text Retrieval?"
     2. C. Jacquemin, E. Tzoukermann, "NLP for Term Variant
     	Extraction: Synergy Between Morphology, Lexicon, and Syntax"
     3. G. Ruge, "Combining Corpus Linguistics and Human Memory
     	Models for Automatic Term Association"
     4. A.F. Smeaton, "Using NLP or NLP Resources for Information
     	Retrieval Tasks"
     5. T. Strzalkowski, et al, "Evaluating Natural Language
     	Processing Techniques in Information Retrieval"
     6. J. Karlgren and E. Riloff and J.  Lorenzen. "Stylistic
        Experiments in Information Retrieval.
        Extraction-Based Text Categorization: Generating
        Domain-Specific Role Relationships Automatically"
     8. Y. Wilks, R. Gaizauskas, and J. Zhou, "Lasie Jumps the Gat.
        Phrasal Terms in Real-World IR Applications"
     10. P. Thompson, C. Dozier, "Name Recognition and Retrieval
     	 Performance"
     11. J. Cowie, "Collage: An NLP Toolset to Support Boolean
     	 Retrieval"
     12. L. Guthrie, et al, "Document Classification and Routing"
     13. J. Kupiec, "Murax: Finding and Organizing Answers from Text
       	 Search"
     14. M. Hearst, "The Use of Categories and Clusters for Organizing
     	Retrieval Results"
  	},
  ISBN = {079235685-3},
  xref = {Review: corstenoliver:2000a.},
  topic = {information-retrieval;nl-processing;computational-linguistics;}
 }

@incollection{ stuart_cj:1986a,
  author = {Christopher J. Stuart},
  title = {Branching Regular Expressions and Multi-Agent Plans},
  booktitle = {Reasoning about Actions and Plans},
  publisher = {Morgan Kaufmann},
  year = {1986},
  editor = {Michael P. Georgeff and Amy Lansky},
  pages = {161--187},
  address = {Los Altos, California},
  contentnote = {The idea is to develop a logic allowing concurrent
  	actions that has good computational properties.},
  rtnote = {Take a more careful look at this.},
  topic = {action-formalisms;concurrent-actions;}
  }

@book{ stuart_r:1996a,
  author = {Rory Stuart},
  title = {The Design of Virtual Environments},
  publisher = {New York: McGraw-Hill},
  year = {1996},
  address = {New},
  ISBN = {0070632995 (h)},
  rtnote = {UMich Media Union Library, QA 76.9 .H85 S791 1996.},
  topic = {virtual-reality;}
 }

@book{ stubbs:1976a,
  author = {Michael Stubbs},
  title = {Language, Schools and Classrooms},
  publisher = {Methuen},
  year = {1976},
  address = {London},
  ISBN = {0416315900},
  rtnote = {UMich Graduate Library, LB1576 .S93.},
  topic = {classroom-language;}
 }

@book{ stubbs:1980a,
  author = {Michael Stubbs},
  title = {Language and Literacy : The Sociolinguistics of Reading And
    Writing},
  publisher = {Routledge and Kegan Paul},
  year = {1980},
  address = {London},
  ISBN = {0710004265},
  rtnote = {UMich Graduate Library, LC149 .S93.},
  topic = {sociolinguistics;reading;writing;}
 }

@book{ stubbs:1983a,
  author = {Michael Stubbs},
  title = {Discourse Analysis : The Sociolinguistic Analysis of Natural
    Language},
  address = {Oxford},
  publisher = {Blackwell Publishers},
  year = {1983},
  ISBN = {0631103813},
  rtnote = {UMich Graduate Library, P302 .S7711 1983.},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {discourse-analysis;}
 }

@book{ stubbs:1996a,
  author = {Michael Stubbs},
  title = {Text and Corpus Analysis: Computer-Assisted Studies of
  	Language and Culture},
  publisher = {Blackwell Publishers},
  year = {1996},
  address = {Oxford},
  ISBN = {0631195114},
  rtnote = {UMich Undergraduate, P 302 .S7731 1996.},
  topic = {text-linguistics;language-and-culture;corpus-linguistics;}
 }

@incollection{ stuber:1998a,
  author = {J. Stuber},
  title = {Superposition Theorem Proving for Commutsative
			Rings},
  booktitle = {Automated Deduction: A Basis for Applications.
  	Volume {III}, Applications},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {Wolfgang Bibel and Peter H. Schmidt},
  address = {Dordrecht},
  missinginfo = {A's 1st name, pages},
  topic = {theorem-proving;applied-logic;}
  }

@article{ stuckardt:2001a,
  author = {Roland Stuckardt},
  title = {Design and Enhanced Evaluation of a Robust Anaphora
  	Resolution Algorithm},
  journal = {Computational Linguistics},
  year = {2001},
  volume = {27},
  number = {4},
  pages = {479--506},
  topic = {anaphora-resolution;}
  }

@article{ stucky:1989a,
  author = {Susan U. Stucky},
  title = {The Situated Processing of Situated Language},
  journal = {Linguistics and Philosophy},
  year = {1989},
  volume = {12},
  number = {3},
  pages = {347--357},
  topic = {context;nl-processing;}
  }

@incollection{ stump_e-fischer_jm:2000a,
  author = {Eleonore Stump and John Martin Fischer},
  title = {Transfer Principles and Moral Responsibility},
  booktitle = {Philosophical Perspectives 14: Action and Freedom},
  publisher = {Blackwell Publishers},
  year = {2000},
  editor = {James E. Tomberlin},
  pages = {47--55},
  address = {Oxford},
  topic = {freedom;volition;}
  }

@unpublished{ stump_gt:1978a,
  author = {Gregory T. Stump},
  title = {An Interpretive Approach to Common-Noun Anaphora},
  year = {1978},
  note = {Unpublished manuscript, the Ohio State University.},
  rtnote = {In RHT collection.},
  topic = {anaphora;}
  }

@article{ stump_gt:1981a,
  author = {Gregory T. Stump},
  title = {The Interpretation of Frequency Adjectives},
  journal = {Linguistics and Philosophy},
  year = {1981},
  volume = {4},
  number = {2},
  pages = {221--257},
  topic = {nl-semantics;semantics-of-frequency-adjectives;
  	adjectives;temporal-logic;}
  }

@article{ stump_gt:1984a,
  author = {Gregory Stump},
  title = {Two Approaches to Predictive Indeterminacy},
  journal = {Linguistics},
  year = {1984},
  volume = {22},
  pages = {811--829},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {phonology;}
  }

@book{ stump_gt:1985a,
  author = {Gregory T. Stump},
  title = {The Semantic Variability of Absolute Constructions},
  publisher = {D. Reidel Publishing Co.},
  year = {1985},
  address = {Dordrecht},
  rtnote = {Maybe if the reference in kratzer:1995a is right
  	there is something here about i-level/s-level;},
  topic = {nl-semantics;absolutives;}
 }

@article{ stumptner-wotawa:2001a,
  author = {Markus Stumptner and Franz Wotawa},
  title = {Diagnosing Tree-Structured Systems},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {127},
  number = {1},
  pages = {1--29},
  topic = {diagnosis;model-based-reasoning;}
  }

@book{ sturgeon:2000a,
  author = {Scott Sturgeon},
  title = {Matters of Mind: Consciousness, Reason, and Nature},
  publisher = {Routledge},
  year = {2000},
  address = {London},
  ISBN = {0-415-23800-5 (pbk)},
  rtnote = {In RHT collection.  Cogsci Shelves.},
  topic = {philosophy-of-mind;intentionality;consciousness;}
 }

@unpublished{ sturgeon:2005a,
  author = {Scott Sturgeon},
  title = {Apriorism about Modality},
  year = {2005},
  note = {Unpublished manuscript, Birkbeck College},
  rtnote = {In RHT collection.},
  topic = {foundations-of-modal-logic;possibility;}
  }

@article{ sturm:1997a,
  author = {Holger Sturm},
  title = {Review of \emph{{F}irst Steps in Modal Logic}, by'
  	{S}ally {P}opkorn},
  journal = {Journal of Logic, Language, and Information},
  year = {1997},
  volume = {6},
  number = {1},
  pages = {105--106},
  topic = {modal-logic;}
  }

@article{ sturm:2000a,
  author = {Holger Sturm},
  title = {Elementary Classes in Basic Modal Logic},
  journal = {Studia Logica},
  year = {2000},
  volume = {59},
  number = {2},
  pages = {193--213},
  topic = {modal-logic;model-theory;}
  }

@article{ sturm-wolter:2001a,
  author = {Holger Sturm and Frank Wolter},
  title = {First-Order Expressivity for {S5}-Models: Modal
  	Versus Two-Sorted Languages},
  journal = {Journal of Philosophical Logic},
  year = {2001},
  volume = {30},
  number = {6},
  pages = {571--591},
  topic = {modal-logic;}
  }

@book{ sturtevant:2001a,
  author = {Alfred H. Sturtevant},
  title = {A History of Genetics},
  publisher = {Cold Spring Harbor Laboratory Press},
  year = {2001},
  address = {Cold Spring Harbor, New York},
  ISBN = {978-087969-607-8},
  note = {Originally published in 1965},
  rtnote = {In RHT Collection.  History of science shelves.},
  topic = {history-of-genetics;}
 }

@incollection{ su_k-etal:2004a,
  author = {Kaile Su and Guanfeng Lv and Yan Zhang},
  title = {Reasoning about Knowledge by Variable Forgetting},
  booktitle = {{KR}2004: Principles of Knowledge Representation and
  		Reasoning},
  publisher = {AAAI Press},
  year = {2004},
  editor = {Didier Dubois and Christopher A. Welty and Mary-Anne Williams},
  pages = {576--586},
  address = {Menlo Park, California},
  topic = {interpersonal-reasoning;reasoning-about-attitudes;mutuality;}
  }

@inproceedings{ subrahmanian_vs:1999a,
  author = {V.S. Subrahmanian},
  title = {Interactive {M}aryland Platform for Agents Collaborating
  		Together},
  booktitle = {Workshop on Logic-Based Artificial Intelligence,
	       Washington, DC, June 14--16, 1999},
  year = {1999},
  editor = {Jack Minker},
  publisher = {Computer Science Department, University of Maryland},
  address = {College Park, Maryland},
  topic = {cooperation;artificial-societies;}
  }

@article{ subramanian_d-etal:1997a,
  author = {Devika Subramanian and Russell Greiner and Judea Pearl},
  title = {The Relevance of Relevance (Editorial)},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {97},
  number = {1--2},
  pages = {1--5},
  topic = {relevance;}
  }

@incollection{ subramanian_d-woodfill:1989a,
  author = {Devika Subramanian and John Woodfill},
  title = {Making Situation Calculus Indexical},
  booktitle = {{KR}'89: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1989},
  editor = {Ronald J. Brachman and Hector J. Levesque and Raymond Reiter},
  pages = {467--474},
  address = {San Mateo, California},
  topic = {kr;context;situation-calculus;planning-formalisms;indexicals;
  	kr-course;}
  }

@article{ suc-etal:2004a,
  author = {Dorian \v{S}uc and Daniel Vladu\v{s}i\v{c} and Ivan Bratko},
  title = {Qualitatively Faithful Quantitative Prediction},
  journal = {Artificial Intelligence},
  year = {2004},
  volume = {158},
  number = {2},
  pages = {189--214},
  topic = {machine-learning;qualitative-reasoning;}
  }

@incollection{ sucar-etal:1991a,
  author = {L. Enrique Sucar and Duncan F. Gillies and Donald A. Gillies},
  title = {Handling Uncertainty in Knowledge-Based Computer Vision},
  booktitle = {Symbolic and Quantitative Approaches for Uncertainty:
  	Proceedings of the {E}uropean Conference {ECSQAU}, Marseille,
	France, October 1991},
  publisher = {Springer-Verlag},
  year = {1991},
  editor = {Rudolf Kruse and Pierre Siegel},
  pages = {328--332},
  address = {Berlin},
  topic = {reasoning-about-uncertainty;computer-vision;}
  }

@article{ sucar-etal:1993a,
  author = {L. Enrique Sucar and Duncan F. Gillies and Duncan A.
  	Gillies},
  title = {Objective Probabilities in Expert Systems},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {61},
  number = {2},
  pages = {187--208},
  topic = {probabilistic-reasoning;expert-systems;}
  }

@article{ suchenek:2000a,
  author = {Marek A. Suchenek},
  title = {Review of \emph{{N}onmonotonic Reasoning}, by {G}rigoris
  	{A}ntoniou},
  journal = {The Bulletin of Symbolic Logic},
  year = {2000},
  volume = {6},
  number = {4},
  pages = {484--489},
  xref = {Review of antoniou:19

license: MIT

license_type: permissive

branch_name: refs/heads/master

gha_license_id: MIT

extension: bib