text:
Socially Shared Cognition},
  publisher = {American Psychological Association},
  year = {1991},
  editor = {Lauren B. Resnick and John M. Levine and
  	Stephanie D. Teasley},
  pages = {150--171},
  address = {Washington, D.C.},
  topic = {social-psychology;shared-cognition;}
  }

@incollection{ schegloff:1992a,
  author = {Emmanuel A. Schegloff},
  title = {To {S}earle on Conversation: A Note in Return},
  booktitle = {(On) {S}earle on Conversation},
  publisher = {John Benjamins Publishing Company},
  year = {1992},
  editor = {Herman Parret and Jef Verschueren},
  pages = {113--128},
  address = {Amsterdam},
  rtnote = {In RHT collection.},
  topic = {foundations-of-pragmatics;discourse-analysis;pragmatics;}
 }

@book{ schein:1993a,
  author = {Barry Schein},
  title = {Plurals and Events},
  publisher = {The {MIT} Press},
  year = {1993},
  address = {Cambridge, MA},
  rtnote = {In RHT Collection.  LLP single author shelves.},
  topic = {nl-semantics;plural;events;sem-course;}
 }

@inproceedings{ schein:2001a,
  author = {Barry Schein},
  title = {Adverbial, Descriptive Reciprocals},
  booktitle = {Proceedings from Semantics and Linguistic Theory {XI}},
  publisher = {Cornell University},
  year = {2001},
  editor = {Rachel Hastings and Brendan Jackson and Zsofia Zvolenszky},
  pages = {404--430},
  address = {Ithaca, New York},
  topic = {nl-semantics;reciprical-constructions;}
  }

@incollection{ schein:2003a,
  author = {Barry Schein},
  title = {Adverbial, Descriptive Reciprocals},
  booktitle = {Philosophical Perspectives 17: Language and Philosophical
  	Linguistics, 2003},
  publisher = {Blackwell Publishers},
  year = {2003},
  editor = {John Hawthorne and Dean Zimmerman},
  pages = {333--367},
  address = {Oxford},
  topic = {nl-semantics;adverbs;reciprical-constructions;}
  }

@article{ schellenberg:2008a,
  author = {Susanna Schellenberg},
  title = {The Situation-Dependency of Perception},
  journal = {The Journal of Philosophy},
  year = {2008},
  volume = {105},
  number = {2},
  pages = {55--84},
  topic = {epistemology;perception;}
  }

@incollection{ schellhammer-etal:1998a,
  author = {Ingo Schellhammer and Joachim Diederich and Michael Towsey
     		and Claudia Brugman},
  title = {Knowledge Extraction and Recurrent Neural Networks: An
  		Analysis of an {E}lman Network Trained on a Natural
		Language Learning Task},
  booktitle = {Proceedings of the Joint Conference on New Methods in
  	Language Processing and Computational Natural Language
	Learning: {NeMLaP3/CoNLL98}},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {David M.W. Powers},
  pages = {73--78},
  address = {Somerset, New Jersey},
  topic = {connectionist-models;language-learning;grammar-learning;}
  }

@incollection{ schellhorn-ahrendt:1998a,
  author = {G. Schellhorn and W. Ahrendt},
  title = {The {WAM} Case Study: Verifying
			Compiler Correctness for {P}rolog with {KIV}},
  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;software-engineering;
		program-verification;}
  }

@book{ schelling:1960a,
  author = {Thomas C. Schelling},
  title = {The Strategy of Conflict},
  publisher = {Harvard University Press},
  year = {1960},
  address = {Cambridge, Massachusetts},
  topic = {game-theory;cooperative-games;}
 }

@article{ schellinx:1991a,
  author = {Harold Schellinx},
  title = {Some Syntactical Observations on Linear Logic},
  journal = {Journal of Logic and Computation},
  volume = {1},
  number = {4},
  year = {1991},
  pages = {537--559},
  topic = {linear-logic;}
  }

@incollection{ schena:1997a,
  author = {Irene Schena},
  title = {Pomset Logic and Variants in Natural Languages},
  booktitle = {{LACL}'96: First International Conference on
      Logical Aspects of Computational Linguistics},
  publisher = {Springer-Verlag},
  year = {1997},
  editor = {Christian Retor/'e},
  pages = {386--405},
  address = {Berlin},
  topic = {logic-and-computational-linguistics;}
  }

@book{ schenkein:1978a,
  editor = {A. Schenkein},
  title = {Studies in the Organization of Conversational Interaction},
  publisher = {Academic Press},
  year = {1978},
  address = {New York},
  missinginfo = {A's 1st name.},
  topic = {conversation-analysis;}
 }

@article{ scher_g:2001a,
  author = {Gila Sher},
  title = {The Formal-Structural View of Logical Consequence},
  journal = {The Philosophical Review},
  year = {2001},
  volume = {110},
  number = {2},
  pages = {241--261},
  topic = {logical-consequence;philosophy-of-logic;}
  }

@article{ scher_g:2010a,
  author = {Gila Scher},
  title = {Review of \emph{{Q}uantifiers in Language and Logic},
  	by {S}tanley {P}eters and {D}ag {W}esterst{\aa}hl},
  journal = {The Journal of Philosophy},
  year = {2010},
  volume = {107},
  number = {1},
  pages = {103--112},
  xref = {Review of: peters-westerstahl:2006a},
  topic = {nl-quantifiers;generalized-quantifiers;}
  }

@article{ scher_gy:1996a,
  author = {G.Y. Scher},
  title = {Did {T}arski Commit `{T}arski's Fallacy'?},
  journal = {The Journal of Symbolic Logic},
  year = {1996},
  volume = {61},
  number = {2},
  pages = {653--686},
  topic = {logical-consequence;}
  }

@article{ scher_gy:1997a,
  author = {G.Y. Sher},
  title = {Partially-Ordered (Branching) Generalized Quantifiers: A
  	General Definition},
  journal = {Journal of Philosophical Logic},
  year = {1977},
  volume = {26},
  number = {1},
  pages = {1--43},
  topic = {generalized-quantifiers;}
  }

@book{ scher_j:1962a,
  editor = {Jordan Scher},
  title = {Theories of the Mind},
  publisher = {Free Press of Glencoe},
  year = {1962},
  address = {New York},
  rtnote = {In RHT collection.  Cogsci Shelf.},
  topic = {cognitive-psychology;neurocognition;philosophy-of-mind;}
 }

@book{ scherer-ekman_p:1984a,
  editor = {Klaus R. Scherer and Paul Ekman},
  title = {Approaches to Emotion},
  publisher = {Lawrence Erlbaum Associates},
  year = {1984},
  address = {Hillsdale, New Jersey},
  ISBN = {0898593506},
  rtnote = {UMich Graduate Library, BF531 .A661 1984.},
  topic = {emotion;psychology-of-emotion;}
 }

@phdthesis{ scherl:1992a,
  author = {Richard B. Scherl},
  title = {A Constraint Logic Approach to Automated Modal Deduction},
  school = {Computer Science, University of Illinois},
  year = {1992},
  address = {Urbana, IL},
  rtnote = {In RHT collection.},
  topic = {theorem-proving;modal-logic;}
 }

@inproceedings{ scherl:1997a,
  author = {Richard B. Scherl},
  title = {Language, Action, and Indexicality},
  booktitle = {Working Notes: {AAAI} Fall Symposium on Communicative
		Action in Humans and Machines},
  year = {1997},
  pages = {132--133},
  organization = {{AAAI}},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  editor = {David R. Traum},
  rtnote = {In RHT collection.},
  topic = {indexicals;context;}
  }

@inproceedings{ scherl-levesque:1993a,
  author = {Richard B. Scherl and Hector J. Levesque},
  title = {The Frame Problem and Knowledge-Producing Actions},
  booktitle = {Proceedings of the Eleventh National Conference on
              Artificial Intelligence},
  year = {1993},
  editor = {Richard Fikes and Wendy Lehnert},
  pages = {698--695},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {kr;action;epistemic-logic;frame-problem;kr-course;}
  }

@article{ scherl-levesque:2003a,
  author = {Richard B. Scherl and Hector Levesque},
  title = {Knowledge, Action, and the Frame Problem},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {144},
  number = {1--2},
  pages = {1--39},
  topic = {reasoning-about-knowledge;action;action-formalisms;
  	frame-problem;cognitive-robotics;}
  }

@inproceedings{ scherl-shafer_g:1998a,
  author = {Richard B. Scherl and Glenn Shafer},
  title = {A Logic of Action and Causality},
  booktitle = {Working Notes of the {AAAI} Spring Symposium on
 	Prospects for a Commonsense Theory of Causation},
  year = {1998},
  organization = {American Association for Artificial Intelligence},
  publication = {American Association for Artificial Intelligence},
  address = {Menlo Park, CA},
  editor = {Charles L. {Ortiz, Jr.}},
  pages = {84--93},
  rtnote = {In RHT Collection.  Shelf.},
  topic = {causality;probability;action;branching-time;
  	decision-trees;}
 }

@article{ schervish-etal:1984a,
  author = {Mark Schervish and Teddy Seidenfeld and Jay Kadane},
  title = {The Extent of Non-Conglomerability on Finitely Additive
  	Probabilities},
  journal = {Zeitschrift f\"ur {W}ahrscheinlichkeitstheorie und
  	{V}erwandte {G}ebiete},
  year = {1984},
  volume = {66},
  pages = {206--226},
  missinginfo = {number},
  topic = {finitely-additive-probability;}
  }

@article{ schetter-etal:2003a,
  author = {Thomas Schetter and Mark Campbell and Derek Surka},
  title = {Multiple Agent-Based Autonomy for Satellite Constellations},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {145},
  number = {1--2},
  pages = {147--180},
  topic = {multiagent-systems;}
  }

@article{ scheuchter-kaindl:1998a,
  author = {Anton Scheuchter and Hermann Kaindl},
  title = {Benefits of Using Multivalued Functions for
  	Minimizing},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {99},
  number = {2},
  pages = {187--208},
  topic = {minimaxing;game-theoretic-reasoning;}
  }

@book{ scheutz:2002a,
  editor = {Matthias Scheutz},
  title = {Computationalism:  New Directions},
  publisher = {The {MIT} Press},
  year = {2002},
  address = {Cambridge, Massachusetts},
  xref = {Review: warwick:2003a},
  topic = {foundations-of-computation;foundations-of-cognition;}
 }

@article{ schick_f:1967a,
  author = {Frederic Schick},
  title = {Review of \emph{{T}he Logic of Decision}, by {R}ichard {C}.
  	{J}effrey},
  journal = {The Journal of Philosophy},
  year = {1967},
  volume = {64},
  number = {12},
  pages = {396--400},
  topic = {decision-theory;}
  }

@incollection{ schick_f:1988a,
  author = {Frederic Schick},
  title = {Self-Knowledge, Uncertainty, and Choice},
  booktitle = {Decision, Probability, Utility:  Selected Readings},
  publisher = {Cambridge University Press},
  year = {1988},
  editor = {Peter G\"ardenfors and Nils-Eric Sahlin},
  pages = {270--286},
  address = {Cambridge, England},
  rtnote = {In RHT collection.},
  topic = {decision-theory;}
  }

@book{ schick_f:1997a,
  author = {Frederic Schick},
  title = {Making Choices: A Recasting of Decision Theory},
  publisher = {Cambridge University Press},
  year = {1997},
  address = {Cambridge, England},
  xref = {Review: levi_i:1997a.},
  topic = {decision-theory;}
 }

@article{ schick_f:2000a,
  author = {Frederick Schick},
  title = {Surprise, Self-Knowledge, and Commonality},
  journal = {The Journal of Philosophy},
  year = {2000},
  volume = {97},
  number = {8},
  pages = {440--453},
  topic = {surprise-examination-paradox;mutual-belief;}
  }

@book{ schick_kd:1996a,
  author = {Kerl D. Schick},
  title = {Philosophy of Logic},
  publisher = {Alden Press},
  year = {1996},
  address = {Amherst, Massachusetts},
  rtnote = {A strange, self-published book.  It is not so much incorrect
  	as constrained and unambitious, and old-fashioned.},
  topic = {philosophy-of-logic;}
 }

@incollection{ schiex-cooper_m:2002a,
  author = {T. Schiex and M. Cooper},
  title = {Constraints and Preferences:
     		The Interplay of Preferences and Algorithms},
  booktitle = {Preferences in {AI} and {CP}: Symbolic Approaches},
  publisher = {AAAI Press},
  year = {2002},
  editor = {Ulrich Junker},
  pages = {60--66},
  address = {Menlo Park, California},
  topic = {preferences;qualitative-utility;constraint-satisfaction;}
  }

@book{ schiffer:1972a,
  author = {Stephen Schiffer},
  title = {Meaning},
  publisher = {Oxford University Press},
  year = {1972},
  address = {Oxford},
  rtnote = {pragmatics-course;},
  topic = {speaker-meaning;foundations-of-semantics;philosophy-of-language;
  	convention;speech-acts;pragmatics;}
 }

@article{ schiffer:1978a,
  author = {Stephen Schiffer},
  title = {The Basis of Reference},
  journal = {Erkenntnis},
  year = {1978},
  volume = {13},
  pages = {171--206},
  rtnote = {In RHT collection.},
  topic = {philosophy-of-language;reference;}
  }

@incollection{ schiffer:1978b,
  author = {Stephen Schiffer},
  title = {Naming and Knowing},
  booktitle = {Contemporary Perspectives in the Philosophy of Language},
  publisher = {University of Minnesota Press},
  year = {1978},
  editor = {Peter A. French and Theodore E. {Uehling, Jr.} and Howard
  	K. Wettstein},
  pages = {61--74},
  address = {Minneapolis},
  topic = {reference;a-priori;}
  }

@incollection{ schiffer:1981a,
  author = {Stephen Schiffer},
  title = {Truth and the Theory of Content},
  booktitle = {Meaning and Understanding},
  publisher = {Walter de Gruyter},
  year = {1981},
  editor = {H. Parret and J. Bouveresse},
  address = {Berlin},
  missinginfo = {pages},
  topic = {truth;context;}
  }

@article{ schiffer:1981b,
  author = {Stephen Schiffer},
  title = {Indexicals and the Theory of Reference},
  journal = {Synth\'ese},
  year = {1981},
  volume = {49},
  number = {1},
  pages = {43--100},
  topic = {indexicals;reference;philosophy-of-language;}
  }

@article{ schiffer:1982a,
  author = {Stephen Schiffer},
  title = {Intention-Based Semantics},
  journal = {Notre {D}ame Journal of Formal Logic},
  year = {1982},
  volume = {23},
  number = {1},
  missinginfo = {pages},
  xref = {Commentary: bennett_j:1982a.},
  topic = {foundations-of-semantics;}
  }

@incollection{ schiffer:1986a,
  author = {Stephen Schiffer},
  title = {Compositional Semantics and Language Understanding},
  booktitle = {Philosophical Grounds of Rationality},
  publisher = {Oxford University Press},
  year = {1986},
  editor = {Richard E. Grandy and Richard Warner},
  pages = {175--207},
  address = {Oxford},
  topic = {philosophy-of-language;implicature;speaker-meaning;Grice;
  	pragmatics;}
  }

@book{ schiffer:1987a,
  author = {Stephen Schiffer},
  title = {Remnants of Meaning},
  publisher = {The {MIT} Press},
  year = {1987},
  address = {Cambridge, Massachusetts},
  xref = {Discussion: schiffer:1988a,},
  topic = {philosophy-of-language;foundations-of-semantics;}
 }

@incollection{ schiffer:1987b,
  author = {Stephen Schiffer},
  title = {Existentialist Semantics and Sententialist Theories of
  	Belief},
  booktitle = {New Directions in Semantics, Volume 2},
  publisher = {Academic Press},
  year = {1987},
  editor = {Ernest LePore},
  pages = {113--142},
  address = {London},
  contentnote = {Argues against sentential reps of prop atts. SS
  	believes this suggests foundational problems for semantics.},
  topic = {nl-semantics;foundations-of-semantics;philosophy-of-language;
  	belief;}
  }

@incollection{ schiffer:1987c,
  author = {Stephen Schiffer},
  title = {The `Fido'-Fido Theory of Belief},
  booktitle = {Philosophical Perspectives 1: Metaphysics},
  publisher = {Blackwell Publishers},
  year = {1987},
  editor = {James E. Tomberlin},
  address = {Oxford},
  pages = {455-480},
  topic = {belief;syntactic-attitudes;}
  }

@article{ schiffer:1988a,
  author = {Stephen Schiffer},
  title = {Overview of the Book},
  journal = {Mind and Language},
  year = {1988},
  volume = {3},
  number = {1},
  pages = {1--8},
  xref = {Summary of schiffer:1987a.},
  topic = {philosophy-of-language;foundations-of-semantics;}
  }

@article{ schiffer:1988b,
  author = {Stephen Schiffer},
  title = {Reply to Comments},
  journal = {Mind and Language},
  year = {1988},
  volume = {3},
  number = {1},
  pages = {53--63},
  xref = {Discussion of schiffer:1987a.  Reply to hornstein:1988a,
  	johnston_m1:1988a, partee:1988a.},
  topic = {philosophy-of-language;foundations-of-semantics;}
  }

@incollection{ schiffer:1990a,
  author = {Stephen Schiffer},
  title = {The Mode-of-Presentation Problem},
  booktitle = {Propositional Attitudes: The Role of Content in Logic,
  	Language, and Mind},
  publisher = {Center for the Study of Language and Information},
  year = {1990},
  editor = {C. Anthony Anderson and Joseph Owens},
  pages = {249--268},
  address = {Stanford, California},
  topic = {perspective-sensitive-constructions;}
  }

@article{ schiffer:1991a,
  author = {Stephen Schiffer},
  title = {Ceteris Paribus Laws},
  journal = {Mind, New Series},
  year = {1991},
  volume = {100},
  number = {1},
  pages = {1--17},
  rtnote = {In RHT collection.},
  topic = {ramification-problem;natural-laws;
  	ceteris-paribus-generalizations;}
  }

@article{ schiffer:1992a,
  author = {Stephen Schiffer},
  title = {Belief Ascription},
  journal = {Journal of Philosophy},
  year = {1992},
  volume = {89},
  pages = {499--521},
  missinginfo = {number},
  topic = {belief;}
  }

@incollection{ schiffer:1993a,
  author = {Stephen Schiffer},
  title = {Actual-Language Relations},
  booktitle = {Philosophical Perspectives, Volume 7:
  	Language and Logic},
  publisher = {Blackwell Publishers},
  year = {1993},
  editor = {James E. Tomberlin},
  pages = {231--258},
  address = {Oxford},
  note = {Also available at http://www.jstor.org/journals/.},
  topic = {convention;foundations-of-semantics;}
  }

@article{ schiffer:1994a,
  author = {Stephen Schiffer},
  title = {A Paradox of Meaning},
  journal = {No\^us},
  year = {1994},
  volume = {28},
  number = {3},
  pages = {279--324},
  topic = {proposotional-attitudes;nl-semantics;compositionality;}
  }

@article{ schiffer:1995a,
  author = {Stephen Schiffer},
  title = {Reply to {R}ay},
  journal = {No\^us},
  year = {1995},
  volume = {3},
  pages = {397--401},
  rtnote = {Reply to ray:1995a.},
  topic = {philosophy-of-language;compositionality;}
  }

@article{ schiffer:1995b,
  author = {Stephen Schiffer},
  title = {Descriptions, Indexicals, and Belief Reports:
	Some Dilemmas (But Not the Ones You Expect)},
  journal = {Mind, New Series},
  year = {1995},
  volume = {104},
  number = {413},
  pages = {107--131},
  topic = {indexicals;reference;}
  }

@article{ schiffer:1996a,
  author = {Stephen Schiffer},
  title = {Review of \emph{{D}irect Reference: From Language to
  	Thought}, by {F}ran\c{c}ois {R}ecanati},
  journal = {Linguistics and Philosophy},
  year = {1996},
  volume = {19},
  number = {1},
  pages = {91--102},
  xref = {Review of recanati:1997a.},
  topic = {philosophy-of-language;philosophy-of-mind;reference;}
  }

@article{ schiffer:1996b,
  author = {Stephen Schiffer},
  title = {Contextualist Solutions to Skepticism},
  journal = {Proceedings of the {A}ristotelian Society},
  year = {1996},
  volume = {96},
  note = {Supplementary Series.},
  pages = {317--333},
  topic = {agent-attitudes;context;skepticism;}
 }

@incollection{ schiffer:1999a,
  author = {Stephen Schiffer},
  title = {The Epistemic Theory of Vagueness},
  booktitle = {Philosophical Perspectives 13: Epistemology, 1999},
  publisher = {Blackwell Publishers},
  year = {1999},
  editor = {James E. Tomberlin},
  pages = {481--503},
  address = {Oxford},
  topic = {vagueness;sorites-paradox;}
  }

@incollection{ schiffer:2000a,
  author = {Stephen Schiffer},
  title = {Vagueness and Partial Belief},
  booktitle = {Skepticism},
  publisher = {Blackwell Publishers},
  year = {2000},
  editor = {Ernest Sosa and Enrique Villanueva},
  pages = {220--257},
  address = {Oxford},
  xref = {Commentary: horwich:2000a, valdivia:2000a, marqueze:2000a,
  	barnett:2000a.  Reply to commentary: schiffer:2000a.},
  topic = {vagueness;sorites-paradox;}
  }

@incollection{ schiffer:2000b,
  author = {Stephen Schiffer},
  title = {Replies},
  booktitle = {Skepticism},
  publisher = {Blackwell Publishers},
  year = {2000},
  editor = {Ernest Sosa and Enrique Villanueva},
  pages = {321--343},
  address = {Oxford},
  topic = {vagueness;sorites-paradox;}
  }

@article{ schiffer:2002a,
  author = {Stephen Schiffer},
  title = {Amazing Knowledge},
  journal = {The Journal of Philosophy},
  year = {2002},
  volume = {99},
  number = {4},
  pages = {200--202},
  xref = {Commentary on: stanley_j-williamson_t:2001a},
  topic = {knowing-how;knowledge;}
  }

@book{ schiffer:2003a,
  author = {Stephen Schiffer},
  title = {The Things We Mean},
  publisher = {Oxford University Press},
  year = {2003},
  address = {Oxford},
  xref = {Review: stainton:2006a},
  topic = {propositions;philosophy-of-language;}
 }

@incollection{ schiffer:2006a,
  author = {Stephen Schiffer},
  title = {Two Perspectives on Knowledge of Language},
  booktitle = {Philosophy of Language},
  publisher = {Blackwell Publishers},
  year = {2006},
  editor = {Ernest Sosa and Enrique Villanueva},
  pages = {275--287},
  address = {Oxford},
  topic = {competence;philosophy-of-language;}
  }

@book{ schiffren-etal:2001a,
  editor = {Deborah Schiffren and Deborah Tanner and Heidi Hamilton},
  title = {The Handbook of Discourse Analysis},
  publisher = {Blackwell Publishers},
  year = {2001},
  address = {Oxford},
  ISBN = {0631205950},
  rtnote = {UMich Graduate Library, P 302 .H3441 2001.},
  topic = {pragmatics;discourse-analysis;}
 }

@book{ schiffrin:1987a,
  author = {Deborah Schiffrin},
  title = {Discourse Markers},
  publisher = {Cambridge University Press},
  year = {1987},
  volume = {5},
  address = {Cambridge, UK},
  series = {Studies in International Linguistics},
  ISBN = {0521303850},
  rtnote = {UMich Graduate Library, P302 .S3351 1987.},
  topic = {punctuation;}
 }

@book{ schiffrin:1994a,
  author = {Deborah Schiffrin},
  title = {Approaches to Discourse},
  publisher = {Blackwell Publishers},
  year = {1994},
  address = {Oxford},
  ISBN = {063116622X (acid-free paper)},
  rtnote = {UMich Undergraduate, P 302 .S3341 1994.},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {pragmatics;discourse-analysis;}
 }

@incollection{ schild:1994a,
  author = {Klaus Schild},
  title = {Terminological Cycles and the Propositional $\mu$-Calculus},
  booktitle = {{KR}'94: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
  pages = {509--520},
  address = {San Francisco, California},
  topic = {kr;description-logics;extensions-of-kl1;kr-course;}
  }

@incollection{ schilder:1998a,
  author = {Frank Schilder},
  title = {Temporal Discourse Markers and the Flow of Events},
  booktitle = {Discourse Relations and Discourse Markers:  Proceedings
  	of the Conference},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Manfred Stede and Leo Wanner and Eduard Hovy},
  pages = {58--61},
  address = {Somerset, New Jersey},
  topic = {discourse-cue-words;discourse-structure;temporal-discourse;}
  }

@incollection{ schilder:1999a,
  author = {Frank Schilder},
  title = {Reference Hashed},
  booktitle = {The Relation of Discourse/Dialogue Structure and
  	Reference},
  publisher = {Association for Computational Linguistics},
  year = {1999},
  editor = {Dan Cristea and Nancy Ide and Daniel Marcu},
  pages = {100--109},
  address = {New Brunswick, New Jersey},
  topic = {anaphora;discourse-referents;}
  }

@book{ schilpp:1944a,
  editor = {Paul Shilpp},
  title = {The Philosophy of {B}ertrand {R}ussell},
  publisher = {The Tudor Publishing Company},
  year = {1944},
  address = {New York},
  topic = {Russell;}
  }

@book{ schilpp:1963a,
  editor = {Paul A. Schilpp},
  title = {The Philosophy of {R}udolph {C}arnap},
  publisher = {Open Court},
  year = {1963},
  address = {LaSalle, Illinois},
  rtnote = {In RHT Collection.  LLP edited shelves.},
  topic = {Carnap;}
 }

@book{ schirn:1996a,
  author = {Matthias Schirn},
  title = {Frege: Importance and Legacy},
  publisher = {Walter de Gruyter},
  year = {1996},
  address = {Berlin},
  xref = {Review: sullivan:2000a.},
  topic = {Frege;}
 }

@inproceedings{ schlangen:2005a,
  author = {David Schlangen},
  title = {Towards Finding and Fixing Fragments---Using {ML} to
  		Identify Non-Sentential Utterances and their
		Antecedents in Multi-Party Dialogue},
  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 = {247--254},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1031},
  topic = {computational-dialogue;machine-learning;non-sentential-utterances;}
  }

@incollection{ schlangen-lascarides:2002a,
  author = {David Schlangen and Alex Lascarides},
  title = {Resolving Fragments Using Discourse Information},
  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 = {161--168},
  address = {Edinburgh},
  topic = {computational-dialogue;ellipsis;}
  }

@book{ schlechta:1992a,
  author = {Karl Schelechta},
  title = {Results on Non-Monotonic Logics},
  publisher = {IBM},
  year = {1992},
  address = {Yorktown Heights, New York},
  rtnote = {In RHT collection.  AI Shelves.},
  topic = {nonmonotonic-logic;}
 }

@article{ schlechta:1996a,
  author = {Karl Schlechta},
  title = {Completeness and Incompleteness for Plausibility Logic},
  journal = {Journal of Logic, Language, and Information},
  year = {1996},
  volume = {5},
  number = {2},
  pages = {177--192},
  topic = {nonmonotonic-logic;model-preference;}
  }

@incollection{ schlechta:1996b,
  author = {Karl Schlechta},
  title = {Some Completeness Results for Classical Preferential Logics},
  booktitle = {Logic, Action, and Information: Essays on Logic in
  	Philosophy and Artificial Intelligence},
  year = {1996},
  publisher = {Walter de Gruyter},
  editor = {Andr\'e Fuhrmann and Hans Rott},
  pages = {229--237},
  address = {Berlin},
  topic = {nonmonotonic-logic;model-preference;completeness-theorems;}
  }

@book{ schlechta:1997a,
  author = {Karl Schlechta},
  title = {Nonmonotonic Logics},
  publisher = {Springer-Verlag},
  year = {1997},
  address = {Berlin},
  contentnote = {TC:
  	1. Introduction
	2. Preferential Logics and Related Topics
	3. Defaults as Generalized Quantifiers
	4. Logic and Analysis
	5. Theory Revision and Probability
	6. Structured Reasoning
   },
  ISBN = {3-540-62482-1},
  rtnote = {UMich Media Library Q339 .C351 1997},
  topic = {nonmonotonic-logic;}
 }

@article{ schlechta:2000a,
  author = {Karl Schlechta},
  title = {New Techniques and Completeness Results for Preferential
  	Structures},
  journal = {Journal of Symbolic Logic},
  year = {2000},
  volume = {65},
  number = {2},
  pages = {719--746},
  topic = {model-preference;nonmonotonic-logic;}
  }

@incollection{ schlechta-etal:1996a,
  author = {Karl Schlechta and Daniel Lehmann and Menachem Magidor},
  title = {Distance Semantics for Belief Revision},
  booktitle = {Theoretical Aspects of Rationality and Knowledge:
  	Proceedings of the Sixth Conference ({TARK} 1996)},
  publisher = {Morgan Kaufmann},
  year = {1996},
  editor = {Yoav Shoham},
  pages = {137--145},
  address = {San Francisco},
  contentnote = {Distance Semantics are "closest-possible-worlds"
  	semantics, as in the semantics of conditionals.},
  topic = {belief-revision;conditionals;}
  }

@article{ schlechta-makinson:1994a,
  author = {Karl Schlechta and David C. Makinson},
  title = {Local and Global Metrics for the Semantics of Counterfactual
  	Conditionals},
  journal = {Journal of applied Non-Classical Logics},
  year = {1994},
  volume = {4},
  number = {2},
  pages = {129--140},
  rtnote = {In RHT collection.},
  topic = {conditionals;}
  }

@article{ schlenker:2003a,
  author = {Phillippe Schlenker},
  title = {A Plea for Monsters},
  journal = {Linguistics and Philosophy},
  year = {2003},
  volume = {26},
  number = {1},
  pages = {29--120},
  topic = {context;indexicals;}
  }

@article{ schlenker:2005a,
  author = {Philippe Schlenker},
  title = {Non-Redundancy:  Towards a Semantic Reinterpretation of
        Binding Theory},
  journal = {Natural Language Semantics},
  year = {2005},
  volume = {13},
  number = {1},
  pages = {1--92},
  topic = {binding-theory;nl-semantics;}
  }

@article{ schlenker:2007a,
  author = {Philippe Schlenker},
  title = {Anti-Dynamics:  Presupposition Projection without
  		Dynamic Semantics},
  journal = {Journal of Logic, Language, and Information},
  year = {2007},
  volume = {16},
  number = {3},
  pages = {325--356},
  topic = {presupposition;dynamic-logic;}
  }

@article{ schlenker:2007b,
  author = {Philippe Schlenker},
  title = {The Elimination of Self-Reference:  Generalized {Y}ablo-Series
  		and the Theory of Truth},
  journal = {Journal of Philosophical Logic},
  year = {2007},
  volume = {36},
  number = {3},
  pages = {251--307},
  topic = {truth;self-reference;}
  }

@article{ schlenker:2009a,
  author = {Philippe Schlenker},
  title = {Anselm's Argument and {B}erry's Paradox},
  journal = {No\^us},
  year = {2009},
  volume = {43},
  number = {2},
  pages = {214--223},
  topic = {Berry-paradox;ontological-argument;}
  }

@article{ schlenninx:1998a,
  author = {Harold Schlenninx},
  title = {Review of \emph{Basic Proof Theory},
		by {A}.{S}. {T}roelstra and {H}. {S}chwichtenberg},
  journal = {Journal of Logic, Language, and Information},
  year = {1998},
  volume = {7},
  number = {2},
  pages = {221--223},
  topic = {proof-theory;}
  }

@article{ schlenoff-etal:2006a,
  author = {Craig Schlenoff and Jim Albus and Elena Messina and Anthony
  		J. Barbera and Raj Madhavan and Stephen Balakirsky},
  title = {Using {4D/RCS} to Address {AI} Knowledge Integration},
  journal = {The {AI} Magazine},
  year = {2006},
  volume = {27},
  number = {2},
  pages = {71--81},
  topic = {large-kr-systems;knowledge-integration;kr;}
  }

@article{ schlesinger_gn:1993a,
  author = {George N Schlesinger},
  title = {Review of \emph{{T}he Disappearance of Time: {K}urt
  	{G}\"odel and the Idealistic Tradition in Philosophy},
	by {P}alle {Y}ourgrau},
  journal = {The Philosophical Review},
  year = {1993},
  volume = {102},
  number = {4},
  pages = {602--604},
  xref = {Review of: yourgrau:1991a.},
  topic = {philosophy-of-time;Goedel;}
  }

@incollection{ schlesinger_im:1971a,
  author = {I.M. Schlesinger},
  title = {On Linguistic Competence},
  booktitle = {Pragmatics of Natural Language},
  publisher = {D. Reidel Publishing Company},
  year = {1971},
  editor = {Yehoshua Bar-Hillel},
  pages = {150--172},
  rtnote = {In RHT collection.},
  missinginfo = {A's 1st name.},
  topic = {philosophy-of-language;}
  }

@incollection{ schlobohm:1985a,
  author =  {Dean Schlobohm},
  year = {1985},
  pages = {765 -- 815},
  title = {{TA}---A Prolog Program which Analyzes Income Tax Issues
       under Section 318(A) of the Internal Revenue Code},
  booktitle = {Computing Power and Legal Reasoning},
  publisher = {West Publishing Co.},
  editor = {Charles Walter},
  address = {Saint Paul, Minnesota},
  topic = {legal-AI;tax-law;}
  }

@article{ schlossberger:1980a,
  author = {Eugene Schlossberger},
  title = {Similarity and Counterfactuals},
  journal = {Analysis},
  year = {1980},
  volume = {40},
  pages = {80--82},
  missinginfo = {Year, volume may be off a little.},
  rtnote = {In RHT collection.},
  topic = {conditionals;}
  }

@inproceedings{ schmaus:1998a,
  author = {Warren Schmaus},
  title = {Functionalism and the Meaning of Social Facts},
  booktitle = {{PSA}98: Proceedings of the Biennial Meeting of the
	Philosophy of Science Association, Part 1: Contributed
	Papers},
  year = {1998},
  editor = {Don A. Howard},
  pages = {314--323},
  organization = {Philosophy of Science Association},
  publisher = {University of Chicago Press},
  address = {Chicago, Illinois},
  topic = {functionalism;philosophy-of-social-science;}
  }

@incollection{ schmerling:1975a1,
  author = {Susan F. Schmerling},
  title = {Asymmetric Conjunction and Rules of Conversation},
  booktitle = {Syntax and Semantics 3: Speech Acts},
  publisher = {Academic Press},
  year = {1975},
  editor = {Peter Cole and Jerry Morgan},
  pages = {211--232},
  address = {New York},
  topic = {implicature;pragmatics;}
  }

@article{ schmerling:1983a,
  author = {Susan F. Schmerling},
  title = {Two Theories of Syntactic Categories},
  journal = {Linguistics and Philosophy},
  year = {1983},
  volume = {6},
  number = {3},
  pages = {393--421},
  topic = {syntactic-categories;}
  }

@article{ schmid:2005a,
  author = {Helmut Schmid},
  title = {Review of \emph{{D}ata Oriented Parsing}, by {R}ens {B}od,
  		{R}emko {S}cha, and {K}halil {S}ima'an},
  journal = {Journal of Logic, Language, and Information},
  year = {2005},
  volume = {14},
  number = {4},
  pages = {472--475},
  xref = {Review of: bod-etal:2003a},
  topic = {statistical-parsing;}
  }

@incollection{ schmidke:2005a,
  author = {Hedda R. Schmidke},
  title = {Granularity as a Parameter of Context},
  booktitle = {Modeling and Using Context: 5th International and
  	Interdisciplinary Conference},
  publisher = {Springer-Verlag},
  year = {2005},
  editor = {Anind Dey and Boicho Kokinov and David Leake and Roy Turner},
  pages = {450--463},
  address = {Berlin},
  topic = {context;granularity;}
  }

@article{ schmidt_cf-etal:1978a,
  author = {C.F. Schmidt and N.S. Sridharan and J.L. Goodson},
  title = {The Plan Recognition Problem: An Intersection of
  	Psychology and Artificial Intelligence},
  journal = {Artificial Intelligence},
  year = {1978},
  volume = {11},
  number = {1--2},
  pages = {45--83},
  missinginfo = {A's 1st name, number},
  rtnote = {pragmatics-course;},
  topic = {plan-recognition;pragmatics;}
  }

@book{ schmidt_da:1994a,
  author = {David A. Schmidt},
  title = {The Structure of Typed Programming Languages},
  publisher = {The {MIT} Press},
  year = {1994},
  address = {Cambridge, Massachusetts},
  topic = {theory-of-programming-languages;}
 }

@incollection{ schmidt_ra:1998a,
  author = {Renate A. Schmidt},
  title = {Resolution is a Decision Procedure for Many Propositional
  	Modal Logics},
  booktitle = {Advances in Modal Logic, Volume 1},
  publisher = {{CSLI} Publications},
  year = {1998},
  editor = {Marcus Kracht and Maarten de Rijke and Heinrich Wansing},
  pages = {187--208},
  address = {Stanford, California},
  topic = {modal-logic;resolution;decidability;}
  }

@article{ schmidt_ra-etal:2004a,
  author = {Renate A. Schmidt and Dmitry Tshkovsky and Ullrich Hustadt},
  title = {Interactions between Knowledge, Action, and Commitment
  		within Agent Dynamic Logic},
  journal = {Studia Logica},
  year = {2004},
  volume = {78},
  number = {3},
  pages = {381--415},
  topic = {dynamic-logic;multiagent-epistemic-logic;action-formalisms;
  		commitment;}
  }

@article{ schmidt_ra-tishkovsky:2008a,
  author = {Renate A. Schmidt and Dmitry Tishkovsky},
  title = {On Combinations of Propositional Dynamic Logic and
  	Doxastic Modal Logics},
  journal = {Journal of Logic, Language, and Information},
  year = {2008},
  volume = {17},
  number = {1},
  pages = {109--129},
  topic = {dynamic-logic;modal-logic;epistemic-logic;}
  }

@article{ schmidt_t-shenoy:1998a,
  author = {Tuija Schmidt and Prakesh Shenoy},
  title = {Some Improvements to the {S}henoy-{S}hafer and
  	{H}ugin Architectures for Computing Marginals},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {102},
  number = {2},
  pages = {323--333},
  topic = {probabilistic-reasoning;Bayesian-networks;}
  }

@incollection{ schmidtschauss:1989a,
  author = {Manfred Schmidt-Schau{\ss}},
  title = {Subsumption in KL-ONE is Undecidable},
  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 = {421--431},
  address = {San Mateo, California},
  topic = {kr;description-logics;complexity-in-AI;kr-course;}
  }

@article{ schmidtschauss-smolka:1991a,
  author = {Manfred Schmidt-Schau{\ss}; and Gert Smolka},
  title = {Attributive Concept Descriptions with Complements},
  journal = {Artificial Intelligence},
  year = {1991},
  volume = {48},
  number = {1},
  pages = {1--26},
  acontentnote = {Abstract:
     We investigate the consequences of adding unions and complements
     to attributive concept descriptions employed in terminological
     knowledge representation languages. It is shown that deciding
     coherence and subsumption of such descriptions are
     PSPACE-complete problems that can be decided with linear space.},
  topic = {description-logics;complexity-in-AI;}
  }

@inproceedings{ schmiedel:1992a,
  author = {Albrecht Schmiedel},
  title = {For a More Expressive Query Language},
  booktitle = {Working Notes, {AAAI} Fall Symposium on Issues in Description
  	Logics: Users Meet Developers},
  year = {1992},
  editor = {Robert MacGregor},
  pages = {98--102},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {kr;krcourse;description-logics;}
  }

@incollection{ schmitt_ph:1987a,
  author = {Peter H. Schmitt},
  title = {Perspectives in Multiple-Valued Logic},
  booktitle = {Natural Language and Logic},
  year = {1987},
  editor = {Rudi Studer},
  pages = {206--220},
  publisher = {Springer-Verlag},
  address = {Berlin},
  topic = {multivalued-logic;}
  }

@incollection{ schmolze:1989a,
  author = {James G. Schmolze},
  title = {Terminological Knowledge Representation Systems Suporting
  	N-Ary Terms},
  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 = {432--443},
  address = {San Mateo, California},
  topic = {kr;kr-course;relational-reasoning;description-logics;}
  }

@article{ schneider_b:2008a,
  author = {Benjamin Schneider},
  title = {Truth-Functionality},
  journal = {The Review of Symbolic Logic},
  year = {2008},
  volume = {1},
  number = {1},
  pages = {64--72},
  topic = {truth-functionality;}
  }

@article{ schneider_b:2008b,
  author = {Benjamin Schneider},
  title = {`By'},
  journal = {Linguistics and Philosophy},
  year = {2008},
  volume = {31},
  number = {6},
  pages = {649--669},
  topic = {`by'-construction;action;}
  }

@article{ schneider_bsw:2001a,
  author = {Bernd S.W. Schneider},
  title = {Determining if ({FC)}-Conflict-Directed Backjumping
  	Visits a Given Node is {NP}-Hard},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {132},
  number = {1},
  pages = {105--117},
  topic = {search;complexity-in-AI;}
  }

@article{ schneider_e:1953a,
  author = {Erna Schneider},
  title = {Recent Discussions on Subjunctive Conditionals},
  journal = {Review of Metaphysics},
  year = {1953},
  volume = {6},
  pages = {623--649},
  rtnote = {In RHT collection.},
  xref = {Review: anderson_ar:1954a},
  topic = {conditionals;}
  }

@incollection{ schneider_hj:1979a,
  author = {Hans J. Schneider},
  title = {Explanation and Understanding in the Theory of Language},
  booktitle = {Semantics from Different Points of View},
  year = {1979},
  editor = {Rainer B\"auerle and Urs Egli and Arnim {von Stechow}},
  publisher = {Springer-Verlag},
  address = {Berlin},
  pages = {216--225},
  topic = {philosophy-of-linguistics;}
  }

@incollection{ schneider_r:1998a,
  author = {Ren\'e Schneider},
  title = {A Lexically-Intensive Algorithm for
     		Domain-Specific Knowledge Acquisition},
  booktitle = {Proceedings of the Joint Conference on New Methods in
  	Language Processing and Computational Natural Language
	Learning: {NeMLaP3/CoNLL98}},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {David M.W. Powers},
  pages = {19--28},
  address = {Somerset, New Jersey},
  topic = {machine-learning;intelligent-information-retrieval;
  	information-extraction;machine-language-learning;finite-state-nlp;
	information-extraction;}
  }

@book{ schneiderhufschmidt:1993a,
  editor = {Matthias Schneider-Hufschmidt and Thomas Kühme and Uwe
  		Malinowski},
  title = {Adaptive User Interfaces: Principles and Practice},
  publisher = {North-Holland Publishing Company},
  year = {1993},
  address = {Amsterdam},
  ISBN = {0444815457 (acid-free paper)},
  rtnote = {UMich Media Union Library, QA 76.9 .U83 A23 1993.},
  topic = {adaptive-interfaces;}
 }

@incollection{ schnelle:1971a,
  author = {Helmut Schnelle},
  title = {Language Communication with Children---toward
  	a Theory of Language Use},
  booktitle = {Pragmatics of Natural Language},
  publisher = {D. Reidel Publishing Company},
  year = {1971},
  editor = {Yehoshua Bar-Hillel},
  pages = {173--193},
  rtnote = {In RHT collection.},
  topic = {pragmatics;child-language;}
  }

@incollection{ schnelle:1976a,
  author = {Helmut Schnelle},
  title = {Basic Aspects of the Theory of Grammatical Form},
  booktitle = {Language in Focus},
  publisher = {D. Reidel Publishing Co.},
  year = {1976},
  editor = {Asa Kasher},
  pages = {377--404},
  address = {Dordrecht},
  topic = {transformational-grammar;foundations-of-linguistics;}
  }

@incollection{ schnelle:1979a,
  author = {Helmut Schnelle},
  title = {Circumstance Sentences},
  booktitle = {Meaning and Use: Papers Presented at the Second
		{J}erusalem Philosophy Encounter},
  publisher = {D. Reidel Publishing Co.},
  year = {1979},
  editor = {Avishai Margalit},
  pages = {93--115},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {context;indexicatity;}
  }

@incollection{ schnelle:1988a,
  author = {Helmut Schnelle},
  title = {Turing Naturalized: {V}on {N}eumann's Unfinished Project},
  booktitle = {The Universal {T}uring Machine: A Half-Century
  	Survey},
  publisher = {Oxford University Press},
  year = {1988},
  editor = {Rolf Herkin},
  pages = {539--559},
  address = {Oxford},
  topic = {foundations-of-computation;}
  }

@incollection{ schnelle:1989a,
  author = {Helmut Schnelle},
  title = {Linguistic Research in the Context of
		Cognitive Science and Artificial Intelligence:
		An Introduction},
  booktitle = {Logic and Linguistics},
  publisher = {Lawrence Earlbaum Associates},
  year = {1989},
  editor = {Helmut Schnelle and Niels Ole Bernsen},
  pages = {1--36},
  address = {Hillsdale, New Jersey},
  topic = {cognitive-science-general;linguistics-general;}
  }

@incollection{ schnelle:1989b,
  author = {Helmut Schnelle},
  title = {The Challenge of Concrete Linguistic
		Description: Connectionism, Massively Parallel
		Distributed Processing, Net-Linguistics},
  booktitle = {Logic and Linguistics},
  publisher = {Lawrence Earlbaum Associates},
  year = {1989},
  editor = {Helmut Schnelle and Niels Ole Bernsen},
  pages = {143--170},
  address = {Hillsdale, New Jersey},
  topic = {connectionism;linguistics-general;}
  }

@incollection{ schnelle:1994a,
  author = {Helmut Schnelle},
  title = {Semantics in the Brain's Lexicon---Some
   		Preliminary Remarks on Its Epistemology},
  booktitle = {Current Issues in Computational Linguistics: Essays in
  	Honour of {D}on {W}alker},
  publisher = {Giardini Editori e Stampatori and Kluwer Academic
  	Publishers},
  year = {1994},
  editor = {Antonio Zampolli and Nicoletta Calzolari and Martha Palmer},
  pages = {345--356},
  address = {Pisa and Dordrecht},
  topic = {foundations-of-semantics;psychological-reality;
		nl-semantics-and-cognition;}
  }

@article{ schnelle:1999a,
  author = {Helmut Schnelle},
  title = {Mental Computation---A Critical Analysis of Some Proposals
  	by {M}. {B}ierwisch},
  journal = {Theoretical Linguistics},
  year = {1999},
  volume = {25},
  number = {2/3},
  pages = {257--282},
  topic = {psycholinguistics;linguistics-methodology;}
  }

@book{ schnelle-bernsen:1989a,
  editor = {Helmut Schnelle and Niels Ole Bernsen},
  title = {Logic and Linguistics},
  publisher = {Lawrence Earlbaum Associates},
  year = {1989},
  address = {Hillsdale, New Jersey},
  rtnote = {In RHT collection.},
  contentnote = {TC:
  	1. Niels Ole Bernsen, "General Introduction: A {E}uropean
		Perspective on Cognitive Science"
  	2. Helmut Schnelle, "Linguistic Research in the Context of
		Cognitive Science and Artificial Intelligence:
		An Introduction"
  	3. John Laver, "Cognitive Science and Speech: A Framework for
		Research"
  	4. Ewan Klein, "Grammar Frameworks"
  	5. Johan van Benthem, "Logical Semantics"
  	6. Franz Guenthner, "Discourse: Understanding in Context"
  	7. Helmut Schnelle, "The Challenge of Concrete Linguistic
		Description: Connectionism, Massively Parallel
		Distributed Processing, Net-Linguistics"
  	8. Wolfgang Wahlster, "Natural Language Systems:  Some
		Research Trends"
  	9. Johan van Benthem, "Reasoning and Cognition: Towards a
		Wider Perspective in Logic"
  },
  rtnote = {In RHT collection.},
  topic = {nl-semantics;}
 }

@inproceedings{ schober-etal:1999a,
  author = {Michael F. Schober and Frederic G. Conrad and Jonathan E.
			Bloom},
  title = {Enhancing Collaboration in Computer-Administered
			Survey Interviews},
  booktitle = {Working Papers of the {AAAI} Fall Symposium on
  	Psychological Models of Communication in Collaborative
	Systems},
  year = {1999},
  editor = {Susan E. Brennan and Alain Giboin and David R. Traum},
  pages = {108--115},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  topic = {discourse;collaboration;}
  }

@article{ schock:1974a,
  author = {Rolf Schock},
  title = {A Critique of Some Logical Treatments of Ontological
  	Predicates},
  journal = {Journal of Philosophical Logic},
  year = {1974},
  volume = {3},
  number = {3},
  pages = {317--322},
  topic = {(non)existence;logic-and-ontology;}
  }

@article{ schockaert-decock:2008a,
  author = {Steven Schockaert and Martine De Cock},
  title = {Temporal Reasoning about Fuzzy Intervals},
  journal = {Artificial Intelligence},
  year = {2008},
  volume = {172},
  number = {8--9},
  pages = {1158--1193},
  topic = {temporal-reasoning;interval-logic;fuzzy-set-theory;}
  }

@article{ schockaert-etal:2009a,
  author = {Steven Schockaert and Martine De Cock and Etienne E. Kerre},
  title = {Spatial Reasoning in a Fuzzy Region Connection Calculus},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {173},
  number = {2},
  pages = {258--298},
  topic = {spatial-reasoning;fuzzy-set-theory;}
  }

@book{ schoenman:1967a,
  editor = {Ralph Schoenman},
  title = {Bertrand {R}ussell: Philosopher of the Century: Essays in
  	his Honour},
  publisher = {Allen and Unwin},
  year = {1967},
  address = {London},
  rtnote = {UMich Graduate Library B 1649 .R94 B55 1967},
  rtnote = {In RHT collection.  Contemporary Core Analytic Shelves.},
  topic = {Russell;analytic-philosophy;}
 }

@article{ schoeter:1996a,
  author = {Andreas {Sch\"oter}},
  title = {Evidential Bilattice Logic and Lexical Inference},
  journal = {Journal of Logic, Language, and Information},
  year = {1996},
  volume = {5},
  number = {1},
  pages = {65--105},
  topic = {bilattices;relevance-logic;nl-semantics;presupposition;pragmatics;}
  }

@article{ scholes-willis:1990a,
  author = {Robert J. Scholes and Brenda J. Willis},
  title = {Prosodic and Syntactic Functions of
	Punctuation---A Contribution to the Study of Orality and Literacy},
  journal = {Interchange},
  year = {1990},
  volume = {21},
  number = {3},
  pages = {13--20},
  topic = {punctuation;}
 }

@incollection{ schone-jurafsky:2000a,
  author = {Patrick Schone and Daniel Jurafsky},
  title = {Knowledge-Free Induction
            of Morphology Using Latent Semantic Analysis},
  booktitle = {Proceedings of the Fourth Conference on Computational
  	Natural Language Learning and of the Second Learning Language
	in Logic Workshop, {L}isbon, 2000},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  editor = {Claire Cardie and Walter Daelemans and Claire N\'edellec
  	and Erik Tjong Kim Sang},
  pages = {67--72},
  address = {Somerset, New Jersey},
  topic = {machine-language-learning;computational-morphology;}
  }

@incollection{ schonfeld:1987a,
  author = {Wolfgang Sch\"onfeld},
  title = {Properties and Actions},
  booktitle = {Natural Language and Logic},
  year = {1987},
  editor = {Rudi Studer},
  pages = {221--232},
  publisher = {Springer-Verlag},
  address = {Berlin},
  topic = {programming-languages;theorem-proving;}
  }

@incollection{ schoning:1988a,
  author = {Uwe Sch\"oning},
  title = {Complexity Theory and Interactions},
  booktitle = {The Universal {T}uring Machine: A Half-Century
  	Survey},
  publisher = {Oxford University Press},
  year = {1988},
  editor = {Rolf Herkin},
  pages = {561--580},
  address = {Oxford},
  topic = {complexity-theory;}
  }

@book{ schoning:1989a,
  author = {Uwe Sch\"oning},
  title = {Logic for Computer Scientists},
  publisher = {Birkhäuser,},
  year = {1989},
  address = {Boston},
  ISBN = {0817634533},
  rtnote = {UMich Media Union Library, QA 9 .S3631 1989.},
  topic = {logic-in-cs;logic-in-cs-intro;}
 }

@book{ schoning-pruim:1998a,
  author = {Uwe Sch\"oning and Randall Pruim},
  title = {Gems of Theoretical Computer Science},
  publisher = {Springer-Verlag},
  year = {1998},
  address = {Berlin},
  ISBN = {3-540-64425-3},
  xref = {Review: parikh_r:2000a.},
  topic = {theory-of-computation;}
 }

@incollection{ schopman-shawky:1996a,
  author = {Joop Schopman and Aziz Shawky},
  title = {Remarks on the Impact of
     		Connectionism on Our Thinking about Concepts},
  booktitle = {Connectionism, Concepts, and Folk Psychology: The Legacy
  		of {A}lan {T}uring: Volume {II}},
  publisher = {Oxford University Press},
  year = {1996},
  editor = {Peter J.R. Millican and Andy Clark},
  pages = {67--74},
  address = {Oxford},
  topic = {connectionism;concepts;}
  }

@article{ schoppers:1995a,
  author = {Marcel Schoppers},
  title = {The use of Dynamics in an Intelligent Controller for a
  	Space Faring Rescue Robot},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {73},
  number = {1--2},
  pages = {175--230},
  acontentnote = {Abstract:
     The NASA Extra Vehicular Activity Retriever (EVAR) robot is
     being designed to retrieve astronauts or objects that become
     detached from the orbiting Space Station. This task requires
     that the robot's intelligent controller must rely heavily on
     orbital dynamics predictions, without becoming blind to the wide
     variety of anomalies that may occur. This article describes the
     controller's Universal Plan (U.P.) and some technical lessons
     learned from it. The U.P.  reacts not to actual current states
     but to estimated states, which are obtained using goal-directed
     active perception. A modal logic formalization of discrete-event
     dynamics allows us to finely analyze and specify the
     interactions of knowledge, belief, sensing, acting, and time
     within the U.P. The U.P.  now acts like a hands-off manager: it
     makes regular observations, grants some leeway for unobservable
     or ill-modelled processes, has faith in subsystem dynamics, and
     takes action only to manipulate subsystems into delivering
     desired progress. Most of the time, the appropriate action is to
     do nothing.  Finally we examine properties of the application
     that allowed the U.P. to deliver robust goal achievement despite
     misleading state estimates, weak models of relevant processes,
     and unpredictable disturbances.
  },
  topic = {modal-logic;active-perception;planning-formalisms;
  	orbital-dynamics;}
  }

@article{ schotch:2000a,
  author = {Peter Schotch},
  title = {Skepticism and Epistemic Logic},
  journal = {Studia Logica},
  year = {2000},
  volume = {66},
  number = {1},
  pages = {187--198},
  topic = {epistemic-logic;multivalued-logic;}
  }

@article{ schoubye:2009a,
  author = {Anders J. Schoubye},
  title = {Descriptions, Truth Value Intuitions, and Questions},
  journal = {Linguistics and Philosophy},
  year = {2009},
  volume = {32},
  number = {6},
  pages = {583--617},
  topic = {definite-descriptions;presupposition;linguistic-intuitions;}
  }

@article{ schrag-crawford:1996a,
  author = {Robert Schrag and James M Crawford},
  title = {Implicatures and Prime Implicates in Random 3-{SAT}},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {81},
  number = {1--2},
  pages = {199--222},
  topic = {search;experiments-on-theorem-proving-algs;
  	computational-phase-transitions;prime-implicants;}
  }

@book{ schrenk:2007a,
  author = {Marcus Schrenk},
  title = {The Metaphysics of Ceteris Paribus Laws},
  publisher = {Transaction Publishers},
  year = {2007},
  address = {New Brunswick, New Jersey},
  ISBN = {978-3-938793-42-8},
  topic = {ceteris-paribus-generalizations;natural-laws;}
 }

@article{ schroder_j:1992a,
  author = {Joachim Schr\"oder},
  title = {K\"orner's Criterion of Relevance and Analytic Tableaux},
  journal = {Journal of Philosophical Logic},
  year = {1992},
  volume = {21},
  number = {2},
  pages = {183--192},
  topic = {relevance-logic;}
  }

@article{ schroeder:2010a,
  author = {Mark Schroeder},
  journal = {Analysis},
  pages = {117--129},
  title = {Getting Noncognitivism out of the Woods},
  volume = {70},
  year = {2010},
  doi = {10.1093/analys/anp156},
  topic = {expressivism;}
  }

@article{ schroeder_m:2008a,
  author = {Mark Schroeder},
  title = {How Expressivists Can and Should Solve Their Problem
  		with Negation},
  journal = {No\^us},
  year = {2008},
  volume = {42},
  number = {4},
  pages = {573--599},
  topic = {expressivism;negation;}
  }

@book{ schroeder_r:1996a,
  author = {Ralph Schroeder},
  title = {Possible Worlds: The Social Dynamic of Virtual Reality
  	Technology},
  publisher = {Westview Press},
  year = {1996},
  address = {Boulder},
  ISBN = {0813329558 (hardcover)},
  rtnote = {UMich Graduate Library, QA 76.9 .H85 S34 1996.},
  topic = {virtual-reality;}
 }

@article{ schroederheister:1983a,
  author = {Peter Schroeder-Heister},
  title = {The Completeness of Intuitionistic Logic with Respect to
  	a Validity Concept Based on an Inversion Principle},
  journal = {Journal of Philosophical Logic},
  year = {1983},
  volume = {12},
  number = {3},
  pages = {359--376},
  topic = {intuitionistic-logic;completeness-theorems;}
  }

@book{ schroederheister:1991a,
  editor = {Peter Schroeder-Heister},
  title = {Proceedings of the International Workshop on Extensions of
  	Logic Programming},
  publisher = {Springer-Verlag},
  year = {1991},
  address = {Berlin},
  ISBN = {354053590X},
  rtnote = {UMich Media Union Library, QA 76.63 .E971 1991.},
  topic = {logic-programming;}
 }

@book{ schroederheister:1991b,
  editor = {Peter Schroeder-Heister},
  title = {Extensions of Logic Programming: Second International
  	Workshop},
  publisher = {Springer-Verlag},
  year = {1991},
  address = {Berlin},
  ISBN = {354053590X},
  rtnote = {UMich Media Union Library, QA 76.63 .E971 1991.},
  topic = {extensions-of-logic-programming;}
 }

@book{ schroederheister:1996a,
  editor = {Peter Schroeder-Heister},
  title = {Extensions of Logic Programming: Proceedings of the
  	Fifth International Workshop},
  publisher = {Springer-Verlag},
  year = {1996},
  series = {Lecture Notes in Computer Science},
  address = {Berlin},
  number = {1050},
  ISBN = {3540609830},
  rtnote = {Not in Hillman },
  topic = {logic-programming;}
 }

@book{ schroup:1985a,
  author = {Lawrence C. Schroup},
  title = {Common Discourse Particles in {E}nglish Conversation},
  publisher = {Garland Publishing, Inc.},
  year = {1985},
  address = {New York},
  rtnote = {In RHT collection.  LL Shelves.},
  topic = {discourse-cue-words;}
 }

@article{ schubert:1976a,
  author = {Lenhart K. Schubert},
  title = {Extending the Expressive Power of Semantic Networks},
  journal = {Artificial Intelligence},
  year = {1976},
  volume = {7},
  number = {2},
  pages = {163--198},
  acontentnote = {Abstract:
     ``Factual knowledge'' used by natural language processing
     systems can be conveniently represented in the form of semantic
     networks. Compared to a ``linear'' representation such as that
     of the Predicate Calculus however, semantic networks present
     special problems with respect to the use of logical connectives,
     quantifiers, descriptions, and certain other constructions.
     Systematic solutions to these problems will be proposed, in the
     form of extensions to a more or less conventional network
     notation.  Predicate Calculus translations of network
     propositions will frequently be given for comparison, to
     illustrate the close kinship of the two forms of representation.
   },
  topic = {semantic-networks;first-order-logic;kr;}
  }

@article{ schubert:1987a,
 author = {Lenhart Schubert},
  title = {Remarks on `A Critique of Pure Reason,' by {D}rew
  	{M}c{D}ermott},
  journal = {Computational Intelligence},
  year = {1987},
  volume = {3},
  issue = {3},
  pages = {210--214},
  xref = {kr;foundations-of-kr;logic-in-AI;}
  }

@incollection{ schubert:1990a,
  author = {Lenhart Schubert},
  title = {Monotonic Solution of the Frame Problem in the Situation
  	Calculus; an Efficient Method for Worlds With Fully Specified
	Actions},
  booktitle = {Knowledge Representation and Defeasible Reasoning},
  publisher = {Kluwer Academic Publishers},
  year = {1990},
  editor = {Henry Kyburg and Ronald Loui and Greg Carlson},
  pages = {23--67},
  address = {Dordrecht},
  topic = {kr;frame-problem;foundations-of-planning;action-formalisms;
  	kr-course;}
  }

@incollection{ schubert:1991a,
  author = {Lenhart K. Schubert},
  title = {Semantic Nets are in the Eye of the Beholder},
  booktitle = {Principles of Semantic Networks: Explorations in
  	the Representation of Knowledge},
  publisher = {Morgan Kaufmann},
  year = {1991},
  editor = {John F. Sowa},
  pages = {95--107},
  address = {San Mateo, California},
  topic = {kr;semantic-nets;kr-course;}
  }

@techreport{ schubert:1992a,
  author = {Lenhart K. Schubert},
  title = {Explanation Closure, Action, and the {S}andewall Test
  	Suite for Reasoning about Change},
  institution = {Computer Science Department, University of Rochester},
  number = {440},
  year = {1992},
  address = {Rochester, New York},
  rtnote = {In RHT collection.},
  topic = {frame-problem;causal-reasoning;action-formalisms;}
  }

@incollection{ schubert:1996a,
  author = {Lenhart Schubert},
  title = {Implementations and Research: Discussions at the Boundary
  	(Position Statement)},
  booktitle = {{KR}'96: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1996},
  editor = {Luigia Carlucci Aiello and Jon Doyle and Stuart Shapiro},
  pages = {661--662},
  address = {San Francisco, California},
  topic = {kr;AI-implementations;kr-course;}
  }

@inproceedings{ schubert:1999a,
  author = {Lenhart K. Schubert},
  title = {The Situations We Talk about},
  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 = {nl-interpretation;events;Aktionsarten;}
  }

@incollection{ schubert:2000a,
  author = {Lenhart K. Schubert},
  title = {The Situations We Talk about},
  booktitle = {Logic-Based Artificial Intelligence},
  publisher = {Kluwer Academic Publishers},
  year = {2000},
  editor = {Jack Minker},
  pages = {407--439},
  address = {Dordrecht},
  topic = {logic-in-AI;nl-interpretation;events;Aktionsarten;}
  }

@incollection{ schubert-hwang_ch:1989a,
  author = {Lenhart D. Schubert and Chung-Hee Hwang},
  title = {An Episodic Knowledge Representation for Narrative Text},
  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 = {444--458},
  address = {San Mateo, California},
  topic = {events;nl-semantics;narrative-representation;}
  }

@incollection{ schubert-pelletier:1987a,
  author = {Lenhart K. Schubert and Francis Jeffry Pelletier},
  title = {Problems in Representing the Logical Form of Generics,
  		Bare Plurals, and Mass Terms},
  booktitle = {New Directions in Semantics, Volume 2},
  publisher = {Academic Press},
  year = {1987},
  editor = {Ernest LePore},
  pages = {387--453},
  address = {London},
  topic = {nl-semantics;plural;mass-term-semantics;generics;}
  }

@techreport{ schubert-pelletier:1987b,
  author = {Lenhart K. Schubert and Francis Jeffry Pelletier},
  title = {Three Papers on the Logical Form of Generics, Habituals,
  	and Mass Terms},
  institution = {Deptartment of Computing Science, Univ. of Alberta},
  year = {1987},
  address = {Edmonton},
  note = {Technical Report TR87-3},
  topic = {nl-semantics;generics;mass-term-semantics;}
  }

@incollection{ schubert-pelletier:1988a,
 author = {Lenhart Schubert and Francis Jeffry Pelletier},
  title = {Generically Speaking, or, Using Discourse Representation
  	Theory to Interpret Generics},
  booktitle = {Properties, Types and Meaning, Vol. 2},
  year = {1988},
  editor = {Gennaro Chierchia and Barbara Partee and Raymond Turner},
  publisher = {Kluwer Academic Publishers},
  pages = {193--268},
  address = {Dordrecht},
  topic = {nl-semantics;generics;discourse-representation-theory;pragmatics;}
  }

@book{ schueler:1989a,
  author = {G.F. Schueler},
  title = {The Idea of a Reason for Acting: A Philosophical Argument},
  publisher = {E. Mellen Press},
  year = {1989},
  address = {Lewiston, New York},
  ISBN = {0889463441},
  rtnote = {UMich Graduate Library, B 105 .I56 S381 1989.},
  topic = {reasons-for-acting;}
 }

@book{ schueler:1995a,
  author = {G.F. Schueler},
  title = {Desire: Its Role in Practical Reason and the Explanation
  	of Action},
  publisher = {The {MIT} Press},
  year = {1995},
  address = {Cambridge, Massachusetts},
  rtnote = {Hillman B105 I56S37 1995},
  topic = {action;qualitative-utility;desire;practical-reasoning;}
 }

@article{ schukin:1977a,
  author = {Yefim Schukin},
  title = {Review of \emph{{N}atural and Artificial Intelligence
  	(Conceptual Approach)---Materials of the
	Fourth International Joint Conference on Artificial
	Intelligence}  (in {R}ussian), by {V}.{V}. {C}havchanidze et al.},
  journal = {Artificial Intelligence},
  year = {1977},
  volume = {8},
  number = {2},
  pages = {233--238},
  topic = {AI-general;}
  }

@book{ schuler-namioka:1993a,
  editor = {Douglas Schuler and Aki Namioka},
  title = {Participatory Design: Principles and Practices},
  publisher = {Lawrence Erlbaum Associates},
  year = {1993},
  address = {Hillsdale, New Jersey},
  ISBN = {0805809511 (cloth)},
  rtnote = {UMich Media Union Library, QA 76.9 .S88 P381 1993.},
  topic = {software-engineeering;}
 }

@incollection{ schulmann-etal:1998a,
  author = {J. Schulmann et al.},
  title = {Parallel Theorem Provers Based on {SETHO}},
  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{ schulte:1999a,
  author = {Oliver Schulte},
  title = {The Logic of Reliable and Efficient Inquiry},
  journal = {Journal of Philosophical Logic},
  year = {1999},
  volume = {28},
  number = {4},
  pages = {399--438},
  topic = {induction;}
  }

@article{ schulteimwalde:2006a,
  author = {Sabine Schulte im Walde},
  title = {Experiments on the Automatic Induction of {G}erman
  	Semantic Verb Classes},
  journal = {Computational Linguistics},
  year = {2006},
  volume = {32},
  number = {2},
  pages = {159--194},
  topic = {verb-classes;machine-learning;German-language;}
  }

@book{ schultz_kd:1997a,
  author = {Klaus-Dieter Schultz},
  title = {Die {T}hese von {C}hurch},
  publisher = {Peter Lang},
  year = {1997},
  address = {Berlin},
  topic = {Church's-thesis;foundations-of-cognition;}
 }

@incollection{ schultz_ku-gabbay:1995b,
  author = {Klaus U. Schultz Dov M. Gabbay},
  title = {Logic Finite Automata},
  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 = {237--285},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {generalizations-of-finite-state-automata;}
  }

@inproceedings{ schultz_s-hahn_u1:2000a,
  author = {Stefan Schultz and Udo Hahn},
  title = {Knowledge Engineering by Large-Scale Knowledge
  	Reuse---Experience from the Medical Domain},
  booktitle = {{KR}2000: Principles of Knowledge Representation and
  	Reasoning},
  year = {2000},
  editor = {Anthony G. Cohn and Fausto Giunchiglia and Bart Selman},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  pages = {601--610},
  topic = {knowledge-engineering;knowledge-reuse;medical-AI;}
  }

@incollection{ schultz_s-hahn_u1:2002a,
  author = {Stefan Schultz and Udo Hahn},
  title = {Necessary Parts and Wholes in Bio-Ontologies},
  booktitle = {{KR2002}: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {2002},
  editor = {Dieter Fensel and Fausto Giunchiglia and Deborah
  	L. McGuinness and Mary-Anne Williams},
  pages = {387--394},
  address = {San Francisco, California},
  topic = {kr;mereology;computational-ontology;}
  }

@incollection{ schultz_s-hahn_u1:2004a,
  author = {Stefan Schultz and Udo Hahn},
  title = {Parthood as Spatial Inclusion---Evidence from Biometrical
  		Conceptualizations},
  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 = {55--63},
  address = {Menlo Park, California},
  topic = {kr;computational-ontology;partonomies;}
  }

@article{ schulz_k-vanrooij:2006a,
  author = {Katrin Schulz and Robert van Rooij},
  title = {Pragmatic Meaning and Non-Monotonic Reasoning:  The Case of
  		Exhaustive Interpretation},
  journal = {Linguistics and Philosophy},
  year = {2006},
  volume = {29},
  number = {2},
  pages = {205--250},
  topic = {pragmatics;interrogatives;nonmonotonic-logic;}
  }

@article{ schulz_m:2009a,
  author = {Moritz Schulz},
  title = {A Note on Two Theorems by {A}dams and {M}c{G}ee},
  journal = {The Review of Symbolic Logic},
  year = {2009},
  volume = {2},
  number = {3},
  pages = {509--516},
  topic = {conditionals;probability;}
  }

@incollection{ schumann:1998a,
  author = {J. Schumann},
  title = {Introduction (to Part {II}: Automated Deduction
			in Software Engineering and Hardware Design )},
  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;software-engineering;}
  }

@article{ schumm:1975a,
  author = {George F. Schumm},
  title = {Wajsberg Normal Forms for {S5}},
  journal = {Journal of Philosophical Logic},
  year = {1975},
  volume = {4},
  number = {3},
  pages = {357--360},
  topic = {modal-logic;}
  }

@article{ schupbach:2005a,
  author = {Jonah N. Schupbach},
  title = {On a {B}ayesian Analysis of the Virtue of Unification},
  journal = {Philosophy of Science},
  year = {2005},
  volume = {72},
  number = {4},
  pages = {594--607},
  topic = {unification-in-theories;}
  }

@article{ schurtz_g1:1991a,
  author = {George Schurtz},
  title = {How Far Can {H}ume's Is-Ought Thesis Be Generalized?},
  journal = {Journal of Philosophical Logic},
  year = {1991},
  volume = {20},
  number = {1},
  pages = {37--95},
  topic = {deontic-logic;}
  }

@book{ schurtz_g1:1997a,
  author = {George Schurtz},
  title = {The Is-Ought Problem: An Investigation in
  	Philosophical Logic},
  publisher = {Kluwer Academic Publishers},
  year = {1997},
  address = {Dordrecht},
  ISBN = {0-7923-4410-3},
  xref = {Review: livingston:2000a},
  topic = {deontic-logic;Hume;}
 }

@book{ schurz_g2:1997a,
  author = {Gerhard Schurz},
  title = {The Is-Ought Problem: An Investigation in Philosophical Logic},
  publisher = {Kluwer Academic Publishers},
  year = {1997},
  address = {Dordrecht},
  ISBN = {0792344103},
  rtnote = {UMich Graduate Library, BC 199 .I47 S371 1997.},
  topic = {deontic-logic;metaethics;}
 }

@article{ schurz_g2:1998a,
  author = {Gerhard Schurz},
  title = {Probabilistic Semantics for {D}elgrande's Conditional
  	Logic and a Counterexample to His Default Logic},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {102},
  number = {1},
  pages = {81--95},
  topic = {default-logic;conditionals;probability-semantics;}
  }

@book{ schutze_ct:1996a,
  author = {Carson T. Sch\"utze},
  title = {The Empirical Basis of Linguistics: Grammaticality
  	Judgments and Linguistic Methodology},
  publisher = {University of Chicago Press},
  year = {1996},
  address = {Chicago, Illinois},
  xref = {Review: keller:1999a.},
  topic = {philosophy-of-linguistics;foundations-of-linguistics;}
 }

@book{ schutze_h:1997a,
  author = {Hinrich Sch\"utze},
  title = {Ambiguity Resolution in Language
		Learning: Computational and Cognitive Models},
  publisher = {{CSLI} Publications},
  year = {1997},
  address = {Stanford University},
  topic = {lexical-disambiguation;L1-language-learning;
		disambiguation;ambiguity;}
 }

@article{ schutze_h:1998a,
  author = {Heinrich Sch\"utze},
  title = {Automatic Word Sense Discrimination},
  journal = {Computational Linguistics},
  year = {1998},
  volume = {24},
  number = {1},
  pages = {97--123},
  topic = {lexical-disambiguation;}
  }

@book{ schutze_h-su_ky:2000a,
  editor = {Hinrich Sch\"utze and Keh-Yih Su},
  title = {Proceedings of the 2000 Joint {SIGDAT} Conference
  	on Empirical Methods in Natural Language Processing},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  address = {Somerset, New Jersey},
  rtnote = {In RHT collection.  ACL Shelves.},
  contentnote = {TC:
     1. Eric Brill, "Pattern-Based Disambiguation for Natural
     		Language Processing", pp. 1--8
     2. Simone Teufel and Marc Moens, "What's Yours and What's
     		Mine:  Determining Intellectual Attribution in
		Scientific Text", pp. 9--17
     3. Taku Kudo and Yuji Matsumoto, "Japanese Dependency Structure
     		Analysis Based on Support Vector Machines", pp. 18--25
     4. Radu Florian and John C. Henderson and Grace Ngai, "Coaxing
     		Confidences from an Old Friend: Probabilistic
		Classifications from Transformation Rule Lists", pp. 26--24
     5. Hang Li and Kenji Yamanishi, "Topic Analysis Using a Finite
     		Mixture Model", pp. 35--44
     6. Rebecca Hwa, "Sample Selection for Statistical Grammar
     		Induction", pp. 45--53
     7. Fei Xia and Martha Palmer and Aravind Joshi, "A Uniform
     		Method of Grammar Extraction and Its
		Applications", pp. 53--62
     8. Kristina Toutanova and Christopher D. Manning, "Enriching
     		the Knowledge Sources Used in a Maximum Entropy
		Part-of-Speech Tagger", pp. 63--70
     9. GuoDong Zhou and Jian Su, "Error-Driven {HMM}-Based Chunk
     		Tagger with Context-Dependent Lexicon", pp. 71--79
    10. Sadao Kurohashi and Manabu Ori, "Nonlocal Language Modeling
    		Based on Context Co-Occurrence Vectors", pp. 80--86
    11. K.Y. Hung and R.W.P. Luk and D. Yeung and K.F.L. Chung and
    		W. Shu, "Detection of Language (Model)
		Errors", pp. 87--94
    12. Jinxi Xu and Ralph Weischedel, "Cross-Lingual Information
    		Retrieval Using Hidden {M}arkov Models", pp. 85--103
    13. Yibo Zhang and Le Sun and Lin Du and Yufang Sun, "Query
    		Translation in {C}hinese-{E}nglish Cross-Language
		Information Retrieval", pp. 104--109
    14. Le Sun and Youbing Jin and Lin Du and Yufang Sun, "Word
    		Alignment of {E}nglish-{C}hinese Bilingual Corpus
		Based on Chunks", pp. 110--116
    15. Kyoji Umemura and Kenneth W. Church, "Empirical Term
    		Weighting and Expansion Frequency", pp. 117--123
    16. Hwee Tou Ng and Leong Hwee Two and Jennifer Lai Pheng
    		Kwan, "A Machine Learning Approach to Answering
		Questions for Reading Comprehension Tests", pp. 123--132
    17. Lappoon R. Tang and Raymond J. Mooney, "Automated
    		Construction of Database Interfaces: Integrating
		Statistical and Relational Learning for Semantic
		Parsing", pp. 133--141
    18. Chanki Lee and Geunbae Lee and Seo Jung Yun, "Automatic
    		Word{N}et Mapping Using Word Sense
		Disambiguation", pp. 142--147
    19. Joe F. Zhou and Weiquan Liu, "A Real-Time Integration of
    		Concept-Based Search and Summarization of
		{C}hinese Websites", pp. 148--154
    20. Daniel M. Bikel, "A Statistical Model for Parsing and
    		Word-Sense Disambiguation", pp. 155--163
    21. Sung Dong Kim and Byoung Tak Zhang, "Reducing Parsing
    		Complexity by Intra-Sentence Segmentation Based
		on Maximum Entropy Model", pp. 164--171
    22. Gerard Escudero and Llu\'is M\'arquez and German
    		Rigau, "An Empirical Study of the Domain Dependence
		of Supervised Word Sense Disambiguation
		Systems", pp. 172--180
    23. Christian Jacquemin and Caroline Bush, "Combining Lexical and
    		Formatting Cues for Named Entity Acquisition
		from the Web", pp. 181--189
    24. Laura Kallmeyer, "A Query Tool for Syntactically Annotated
    		Corpora", pp. 190--198
    25. Anna Korhonen and Genevieve Gorrell and Diana
    		McCarthy, "Statistical Filtering and
		Subcategorization Frame Acquisition", pp. 199--206
    26. David Martinez and Enecko Agirre, "One Sense per Collocation
    		and Genre/Topic Variations", pp. 207--215
    27. Anna Korhonen, "Using Semantically Motivated Estimates to
    		Help Subcategorization Acquisition", pp. 216--223
    },
  topic = {empirical-methods-in-nlp;}
 }

@article{ schuurmans-southey:2001a,
  author = {Dale Schuurmans and Finnegan Southey},
  title = {Local Search Characteristics of Incomplete
  	{SAT} Procedures},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {132},
  number = {2},
  pages = {121--150},
  topic = {search;model-checking;AI-algorithms-analysis;}
  }

@inproceedings{ schwager:1991a,
  author = {Magdalena Schwager},
  title = {Conditionalized Imperatives},
  booktitle = {Proceedings from Semantics and Linguistic Theory {XVI}},
  year = {1991},
  editor = {Masayuki Gibson and Jonathan Howell},
  publisher = {CLC Publications},
  address = {Ithaca, New York},
  url = {http://research.nii.ac.jp/salt16/proceedings/schwagerCORR.pdf},
  url = {http://user.uni-frankfurt.de/~scheiner/papers/schwagerFEB07.pdf},
  rtnote = {In RHT collection.  \my10},
  topic = {imperatives;conditionals;}
  }

@article{ schwalb-dechter_r:1997a,
  author = {Eddie Schwalb and Rena Dechter},
  title = {Processing Disjunctions in Temporal Constraint Networks},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {93},
  number = {1--2},
  pages = {29--61},
  topic = {temporal-reasoning;constraint-satisfaction;kr;krcourse;}
  }

@inproceedings{ schwarm-ostendorf:2005a,
  author = {Sarah Schwarm and Mari Ostendorf},
  title = {Reading Level Assessment Using Support Vector Machines and
  		Statistical Language Models},
  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 = {523--530},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1065},
  topic = {computer-assisted-educational-testing;statistical-nlp;}
  }

@article{ schwartz_b1:1977a,
  author = {Barry Schwartz},
  title = {On Pragmatic Presupposition},
  journal = {Linguistics and Philosophy},
  year = {1977},
  volume = {1},
  number = {2},
  pages = {247--257},
  topic = {pragmatics;presupposition;}
  }

@article{ schwartz_b2:1998a,
  author = {Bernhard Schwartz},
  title = {Reduced Conditionals in {G}erman: Event Quantification
  	and Definiteness},
  journal = {Natural Language Semantics},
  year = {1998},
  volume = {6},
  number = {3},
  pages = {271--337},
  topic = {conditionals;events;definiteness;German-language;}
  }

@article{ schwartz_b2:2005a,
  author = {Bernhard Schwartz},
  title = {Scalar Additive Particles in Negative Contexts},
  journal = {Natural Language Semantics},
  year = {2005},
  volume = {13},
  number = {2},
  pages = {125--168},
  topic = {`even';German-language;}
  }

@article{ schwartz_dg:1997a,
  author = {Daniel G. Scheartz},
  title = {An Abstract, Argumentation-Theoretic Approach to Default
  	Reasoning},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {93},
  number = {1--2},
  pages = {103--167},
  topic = {generalized-quantifiers;dynamic-logic;nonmonotonic-logic;}
  }

@article{ schwartz_dg:1997b,
  author = {Daniel G. Schwartz},
  title = {Dynamic Reasoning with Qualified Syllogisms},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {93},
  number = {1--2},
  pages = {103--167},
  acontentnote = {Abstract:
     A qualified syllogism is a classical Aristotelean syllogism that
     has been ``qualified'' through the use of fuzzy quantifiers,
     likelihood modifiers, and usuality modifiers, e.g., ``Most birds
     can fly; Tweety is a bird; therefore, it is likely that Tweety
     can fly.''  This paper introduces a formal logic Q of such
     syllogisms and shows how this may be employed in a system of
     nonmonotonic reasoning.  In process are defined the notions of
     path logic and dynamic reasoning system (DRS).  The former is an
     adaptation of the conventional formal system which explicitly
     portrays reasoning as an activity that takes place in time.  The
     latter consists of a path logic together with a
     multiple-inheritance hierarchy.  The hierarchy duplicates some of
     the information recorded in the path logic, but additionally
     provides an extralogical specificity relation.  The system uses
     typed predicates to formally distinguish between properties and
     kinds of things.  The effectiveness of the approach is
     demonstrated through analysis of several ``puzzles'' that have
     appeared previously in the literature, e.g., Tweety the Bird,
     Clyde the Elephant, and Nixon Diamond.  It is also outlined how
     the DRS framework accommodates other reasoning techniques -- in
     particular, predicate circumscription, a ``localized'' version of
     default logic, a variant of nonmonotonic logic, and reason
     maintenance.  },
  topic = {nonmonotonic-reasoning;inheritance-theory;frame-problem;
  	fuzzy-logic;}
  }

@article{ schwartz_dg:2003a,
  author = {Daniel G. Schwartz},
  title = {Agent-Oriented Epistemic Reasoning: Subjective Conditions of
  	Knowledge and Belief},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {148},
  number = {1--2},
  pages = {177--195},
  topic = {possibility-theory;fuzzy-set-theory;epistemic-logic;}
  }

@article{ schwartz_ds:1978a,
  author = {David S. Schwartz},
  title = {Causality, Referring, and Proper Names},
  journal = {Linguistics and Philosophy},
  year = {1978},
  volume = {2},
  number = {2},
  pages = {225--233},
  topic = {semantics-of-proper-names;}
  }

@inproceedings{ schwartz_f1:1998a,
  author = {Fritz Schwartz},
  title = {{ALLTYPES}: An Algebraic Language and {TYPE} System},
  booktitle = {Artificial Intelligence and Symbolic Computation:
	Proceedings of {AISC'98}},
  year = {1998},
  editor = {Jacques Calmet and Jan Plaza},
  pages = {270--283},
  publisher = {Springer Verlag},
  address = {Berlin},
  topic = {automated-algebra;}
  }

@incollection{ schwartz_g:1992a,
  author = {Grigori Schwartz},
  title = {Bounding Introspection in a Nonmonotonic Logic},
  booktitle = {{KR}'92. Principles of Knowledge Representation and
  	Reasoning: Proceedings of the Third International Conference},
  publisher = {Morgan Kaufmann},
  year = {1992},
  editor = {Bernhard Nebel and Charles Rich and William Swartout},
  pages = {581--590},
  address = {San Mateo, California},
  topic = {kr;nonmonotonic-logic;epistemic-logic;}
  }

@incollection{ schwartz_g-truszczynski:1992a,
  author = {Grigiri Schwartz and Marek Truszczy\'nski},
  title = {Modal Logic {S4F} and the Minimal Knowledge Paradigm},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
  	Proceedings of the Fourth Conference ({TARK} 1992)},
  publisher = {Morgan Kaufmann},
  year = {1992},
  editor = {Yoram Moses},
  pages = {184--198},
  address = {San Francisco},
  topic = {modal-logic;autoepistemic-logic;}
  }

@article{ schwartz_g-truszczynski:1994a,
  author = {Grigiri Schwartz and Marek Truszczy\'nski},
  title = {Minimal Knowledge Problem: A New Approach},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {67},
  number = {1},
  pages = {113--141},
  acontentnote = {Abstract:
     In this paper we propose a new logic of minimal knowledge.  Our
     approach falls into the general scheme of Shoham's preference
     semantics.  It stems from an earlier work on logics of minimal
     knowledge by Halpern and Moses, Lin and Shoham, and Lifschitz.
     The novelty of our work is in a procedure for minimizing
     knowledge which we propose in this paper, and which is different
     from earlier proposals.  We show that our logic preserves most
     desirable properties of earlier formalisms and at the same time
     avoids some of their drawbacks.  In addition to a semantic
     definition of our system, we provide its equivalent syntactic
     characterization which relates our logic with the nonmonotonic
     modal logic S4F and allows us to use in our investigations
     standard modal logic techniques.  },
  topic = {nonmonotonic-logic;preferred-models;modal-logic;}
  }

@article{ schwartz_j:1988a,
  author = {Joel Schwartz},
  title = {Speaking Your Language},
  journal = {{USA}ir Magazine},
  year = {1988},
  pages = {90--93},
  month = {May},
  rtnote = {Poplular article about NLP technology.  Use in CL?},
  missinginfo = {number},
  topic = {nlp-technology;}
  }

@article{ schwartz_jt-sharir:1988a,
  author = {J.T. Schwartz and M. Sharir},
  title = {A Survey of Motion Planning and Related
  	Geometric Algorithms},
  journal = {Artificial Intelligence},
  year = {1988},
  volume = {37},
  number = {1--3},
  pages = {157--169},
  topic = {motion-planning;}
  }

@book{ schwartz_n:1996a,
  author = {Norbert Schwartz},
  title = {Cognition and Communication: Judgmental Biases, Research
  	Methods, and the Logic of Conversation},
  publisher = {Lawrence Erlbaum Associates},
  year = {1996},
  address = {Mahwah, New Jersey},
  topic = {Grice;psycholinguistics;}
 }

@article{ schwartz_r-kraus_s:2004a,
  author = {Rina Azoula-Schwartz and Sarit Kraus},
  title = {Stable Repeated Strategies for Information Exchange
  	between Two Autonomous Agents},
  journal = {Artificial Intelligence},
  year = {2004},
  volume = {154},
  number = {1--2},
  pages = {43--93},
  topic = {mulitagent-systems;artificial-societies;repeated-games;}
  }

@article{ schwartz_s:1987a,
  author = {S. Schwartz},
  title = {Intuitionism and the Sorites},
  journal = {Analysis},
  year = {1987},
  volume = {47},
  number = {4},
  missinginfo = {pages},
  topic = {sorites-paradox;}
  }

@article{ schwartz_t:1975a,
  author = {Thomas Schwartz},
  title = {The Logic of Modifiers},
  journal = {Journal of Philosophical Logic},
  year = {1975},
  volume = {4},
  number = {3},
  pages = {361--380},
  topic = {adverbs;adjectives;}
  }

@article{ schwartz_t:1997a,
  author = {Thomas Schwartz},
  title = {{\it De Re} Language, {\it De Re} Eliminability, and
  	the Essential Limits of Both},
  journal = {Journal of Philosophical Logic},
  year = {1997},
  volume = {26},
  number = {3},
  pages = {521--544},
  topic = {singular-propositions;quantifying-in-modality;}
  }

@unpublished{ schwartzschild:1993b,
  author = {Roger Schwartzschild},
  title = {Against Groups},
  year = {1993},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript, Linguistics Department, University
  	of Massachusetts.},
  topic = {nl-semantics;plural;}
  }

@inproceedings{ schwarz_f2:1991a,
  author = {Florian Schwarz},
  title = {On Needing Propositions and Looking for Properties},
  booktitle = {Proceedings from Semantics and Linguistic Theory {XVI}},
  year = {1991},
  editor = {Masayuki Gibson and Jonathan Howell},
  pages = {--},
  publisher = {CLC Publications},
  address = {Ithaca, New York},
  url = {http://research.nii.ac.jp/salt16/proceedings/Salt16FSpaper_new_cls_7_9.pdf},
  topic = {intensional-transitive-verbs;}
  }

@article{ schwarz_g:1995a,
  author = {Grigori Schwarz},
  title = {In Search of a `True' Logic of Knowledge: The Nonmonotonic
  	Perspective},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {79},
  number = {1},
  pages = {39--63},
  acontentnote = {Abstract:
     Modal logics are currently widely accepted as a suitable tool of
     knowledge representation, and the question what logics are
     better suited for representing knowledge is of particular
     importance.  Usually, some axiom list is given, and arguments
     are presented justifying that suggested axioms agree with
     intuition.  The question why the suggested axioms describe all
     the desired properties of knowledge remains answered only
     partially, by showing that the most obvious and popular
     additional axioms would violate the intuition.
      We suggest the general paradigm of maximal logics and
     demonstrate how it can work for nonmonotonic modal logics.
     Technically, we prove that each of the modal logics KD45, SW5,
     S4F and S4.2 is the strongest modal logic among the logics
     generating the same nonmonotonic logic.  These logics have
     already found important applications in knowledge
     representation, and the obtained results contribute to the
     explanation of this fact.  },
  topic = {modal-logic;nonmonotonic-logic;}
  }

@article{ schwarz_g:1996a,
  author = {Grigori Schwarz},
  title = {On Embedding Default Logic into {M}oore's Autoepistemic Logic},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {80},
  number = {2},
  pages = {349--359},
  topic = {nonmonotonic-logic;default-logic;autoepistemic-logic;}
  }

@article{ schwarzchild:1993a,
  author = {Roger Schwartzchild},
  title = {Plurals, Presuppositions, and the Sources of Distributivity},
  journal = {Natural Language Semantics},
  year = {1993--1994},
  volume = {2},
  number = {3},
  pages = {201--248},
  topic = {nl-semantics;plurals;}
  }

@incollection{ schwarze:1979a,
  author = {Christoph Schwarze},
  title = {Reparer--Reparieren.  A Contrastive Study},
  booktitle = {Semantics from Different Points of View},
  year = {1979},
  editor = {Rainer B\"auerle and Urs Egli and Arnim {von Stechow}},
  publisher = {Springer-Verlag},
  address = {Berlin},
  pages = {304--323},
  topic = {lexical-semantics;}
  }

@phdthesis{ schwarzschild:1991a,
  author = {Roger Schwarzschild},
  title = {On the Meaning of Definite Plural Noun Phrases},
  school = {University of Massachusetts at Amherst},
  year = {1991},
  address = {Amherst, Massachusetts},
  topic = {nl-semantics;plural;}
 }

@article{ schwarzschild:1992a,
  author = {Roger Schwarzschild},
  title = {Types of Plural Individuals},
  journal = {Linguistics and Philosophy},
  year = {1992},
  volume = {15},
  number = {6},
  pages = {641--675},
  topic = {nl-semantics;plural;}
  }

@book{ schwarzschild:1996a,
  author = {Roger Schwarzschild},
  title = {Pluralities},
  publisher = {Kluwer Academic Publishers},
  year = {1996},
  address = {Dordrecht},
  topic = {nl-semantics;plural;}
 }

@article{ schwarzschild:1999a,
  author = {Roger Schwarzschild},
  title = {Givenness, AvoidF and Other Constraints on the Placement
  	of Accent},
  journal = {Natural Language Semantics},
  year = {1999},
  volume = {7},
  number = {2},
  pages = {141--177},
  topic = {intonation;stress;discourse;}
  }

@article{ schwarzschild:2002a,
  author = {Roger Schwarzschild},
  title = {Singleton Indefinites},
  journal = {Journal of Semantics},
  year = {2002},
  volume = {19},
  pages = {289--314},
  missinginfo = {number},
  topic = {nl-semantics;indefiniteness;}
  }

@article{ schwarzschild-wilkinson:2002a,
  author = {Roger Schwarzschild and Karina Wilkinson},
  title = {Quantifiers in Comparatives: A Semantics of Degree
  	Based on Intervals},
  journal = {Natural Language Semantics},
  year = {2001},
  volume = {10},
  number = {1},
  pages = {1--41},
  topic = {comparative-constructions;nl-semantics;}
  }

@incollection{ schwayder:1978a,
  author = {David Schwayder},
  title = {A Semantics of Utterance},
  booktitle = {Contemporary Perspectives in the Philosophy of Language},
  publisher = {University of Minnesota Press},
  year = {1978},
  editor = {Peter A. French and Theodore E. {Uehling, Jr.} and Howard
  	K. Wettstein},
  pages = {244--259},
  address = {Minneapolis},
  topic = {speech-acts;nl-semantics;}
  }

@article{ schweikard-schwarzer:1998a,
  author = {Achim Schweikard and Fabian Schwarzer},
  title = {Detecting Geometric Infeasibility},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {105},
  number = {1--2},
  pages = {139--159},
  topic = {spatial-reasoning;geometrical-reasoning;motion-planning;
  	assembly;}
  }

@article{ schweitzer:1992a,
  author = {Paul Schweitzer},
  title = {A Syntactical Approach to Modality},
  journal = {Journal of Philosophical Logic},
  year = {1992},
  volume = {21},
  number = {1},
  pages = {1--31},
  topic = {syntactic-attitudes;modal-logic;}
  }

@article{ schweitzer:1993a,
  author = {Paul Schweitzer},
  title = {Quantified {Q}uinean {S5}},
  journal = {Journal of Philosophical Logic},
  year = {1993},
  volume = {22},
  number = {6},
  pages = {589--605},
  topic = {quantifying-in-modality;syntactic-attitudes;}
  }

@incollection{ schweizer:1991a,
  author = {Paul Schweizer},
  title = {A Metalinguistic Treatment of Epistemic Contexts},
  booktitle = {{KR}'91: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1991},
  editor = {James F. Allen and Richard Fikes and Erik Sandewall},
  pages = {507--513},
  address = {San Mateo, California},
  topic = {kr;syntactic-attitudes;kr-course;}
  }

@book{ schwichtenberg:1997a,
  editor = {Helmut Schwichtenberg},
  title = {Logic of Computation},
  publisher = {Springer-Verlag},
  year = {1997},
  address = {Berlin},
  ISBN = {3540629637},
  rtnote = {UMich Media Union Library, QA 75.5 .L631 1997.},
  topic = {logic-in-cs;}
 }

@incollection{ schwind-risch:1991a,
  author = {Camilla B. Schwind and Vincent Risch},
  title = {A Tableau-Based Characterisation for Default Logic},
  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 = {310--317},
  address = {Berlin},
  topic = {deault-logic;}
  }

@article{ schwitzgebel:2002a,
  author = {Eric Schwitzgebel},
  title = {A Phenomenal, Dispositional Account of Belief},
  journal = {No\^us},
  year = {2002},
  volume = {36},
  number = {2},
  pages = {249--275},
  topic = {belief;dispositions;}
  }

@article{ scotch-jennings_re1:1980a,
  author = {Peter K. Scotch and Raymond E. Jennings},
  title = {Inference and Necessity},
  journal = {Journal of Philosophical Logic},
  year = {1980},
  volume = {9},
  number = {2},
  pages = {327--340},
  topic = {modal-logic;}
  }

@incollection{ scotch-jennings_re1:1981a,
  author = {Peter K. Scotch and Raymond E. Jennings},
  title = {Non-{K}ripkean Deontic Logic},
  booktitle = {New Studies in Deontic Logic},
  publisher = {D. Reidel Publishing Company},
  year = {1981},
  editor = {Risto Hilpinen},
  pages = {149--162},
  address = {Dordrecht},
  topic = {deontic-logic;}
  }

@book{ scott_ac-etal:1991a,
  author = {A. Carlisle Scott and Jan E. Clayton and Elizabeth L. Gibson},
  title = {A Practical Guide To Knowledge Acquisition},
  publisher = {Addison-Wesley Publishing Co.},
  year = {1991},
  address = {Reading, Massachusetts},
  ISBN = {0201145979},
  rtnote = {UMich Media Union Library, QA 76.76 .E95 S391 1991.},
  xref = {Review: marcus:1993a.},
  topic = {knowledge-acquisition;}
 }

@book{ scott_d:1991a,
  author = {Derek Scott},
  title = {Human-Computer Interaction: A Cognitive Ergonomics
  		Approach},
  publisher = {Ellis Horwood},
  year = {1991},
  address = {New},
  ISBN = {0134414454 (cased)},
  rtnote = {UMich Media Union Library, QA 76.9 .H85 S36 1991.},
  topic = {HCI;}
 }

@incollection{ scott_dr-desouza:1990a,
  author = {Donia R. Scott and  Clarisse {S}ieckenius de Souza},
  title = {Getting the Message Across in {RST}-Based Text Generation},
  booktitle = {Current Research in Natural Language Generation},
  year = {1990},
  editor = {Robert Dale and Chris Mellish and Michael Zock},
  publisher = {Academic Press},
  address = {London},
  pages = {47--73},
  topic = {nl-generation;}
}

@incollection{ scott_dr-etal:1998a,
  author = {Donia R. Scott and Richard Power and Roger Evans},
  title = {Generation as a Solution to Its Own Problem},
  booktitle = {Proceedings of the Ninth International Workshop
  	on Natural Language Generation},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Eduard Hovy},
  pages = {256--265},
  address = {New Brunswick, New Jersey},
  topic = {nl-generation;HCI;}
  }

@incollection{ scott_ds:1961a,
  author = {Dana S. Scott},
  title = {More on the Axiom of Extensionality},
  booktitle = {Essays on the Foundations of Mathematics: Dedicated to
  	{A}.{A}. {F}raenkel on his Seventieth Anniversary},
  publisher = {Magnes Press},
  year = {1961},
  pages = {115--131},
  editor = {Y

license: MIT

license_type: permissive

branch_name: refs/heads/master

gha_license_id: MIT

extension: bib