text:
{2000},
  volume = {109},
  number = {4},
  pages = {621--624},
  xref = {Review of cleveland:1997a.},
  topic = {volition;action;}
  }

@article{ roth_as:2004a,
  author = {Abraham Sesshu Roth},
  title = {Shared Agency and Contralateral Commitments},
  journal = {The Philosophical Review},
  year = {2004},
  volume = {113},
  number = {3},
  pages = {303--410},
  topic = {group-action;}
  }

@article{ roth_d:1996a,
  author = {Dan Roth},
  title = {On the Hardness of Approximate Reasoning},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {82},
  number = {1--2},
  pages = {273--302},
  rtnote = {Read this.},
  topic = {complexity-in-AI;}
  }

@book{ roth_md-ross_g:1990a,
  editor = {Michael D. Roth and Glenn Ross},
  title = {Doubting: Contemporary Perspectives On Skepticism},
  publisher = {Kluwer Academic Publishers},
  year = {1990},
  address = {Dordrecht},
  ISBN = {0792305760},
  rtnote = {UMich Undergraduate, Db 201 .D681 1990
            Graduate Library Call No: DB 201 .D681 1990},
  topic = {skepticism;}
 }

@article{ roth_p:1964a,
  author = {Paul Roth},
  title = {Paradox and Indeterminacy},
  journal = {The Journal of Philosophy},
  year = {1978},
  volume = {78},
  number = {24},
  pages = {347--367},
  topic = {indeterminacy-of-translation;}
  }

@article{ roth_y-jain_r:1994a,
  author = {Yuval Roth and Ramesh Jain},
  title = {Knowledge Caching for Sensor-Based Systems},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {71},
  number = {2},
  pages = {257--280},
  acontentnote = {Abstract:
     Sensor-based systems must interact with their environments while
     extracting crucial information, necessary for their performance,
     from the sensors.  In most cases, the projection from the
     environment to the signal is many-to-one, resulting in
     irrecoverable information about the environment.  To recover
     this information assumptions must be made.  Considering the
     complexity of the world, we posit that intricate assumptions are
     necessary for recovering the information.  More assumptions
     require larger knowledge bases, making the performance of the
     system slower than acceptable.  To avoid the crippling effects of
     large knowledge bases, we accept additional assumptions about
     the structure of the working environments and the interaction of
     systems with their environments along different dimensions.
     These assumptions allow systems to dynamically hide large
     portions of knowledge that are irrelevant at a given time.  We
     call this approach knowledge caching.  We introduce an
     implementation of this approach in the context-based caching
     (CbC) technique in which knowledge items are swapped based on
     precompiled relations between knowledge items.  This technique
     enhances system performance providing it with the right
     information at the right time.},
  topic = {agent-environment-interaction;}
  }

@article{ rothberghofer:2009a,
  author = {Thomas Roth-Berghofer},
  title = {Review of \emph{{G}raph-Based Knowledge Representation},
  		by {M}ichel {C}hein and {M}arie-{L}aure {M}ugnier},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {174},
  number = {2},
  pages = {143--144},
  xref = {Review of: chein_m-mugnier:2009a},
  topic = {kr-text;conceptual-graphs;}
  }

@inproceedings{ rothschild:1991a,
  author = {Daniel Rothschild},
  title = {Non-Monotonic NPI-Licensing, Definite Descriptions, and Grammaticalized Implicatures},
  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/Rothschild.pdf},
  topic = {polarity-items;definite-descriptions;implicature;}
  }

@article{ rothschild:2007a,
  author = {Daniel Rothschild},
  title = {Presuppositions and Scope},
  journal = {The Journal of Philosophy},
  year = {2007},
  volume = {104},
  number = {2},
  pages = {71--106},
  topic = {presupposition;proper-names;definite-descriptions;}
  }

@incollection{ rothschild:2008a,
  author = {Daniel Rothschild},
  title = {Presupposition Projection and Logical Equivalence},
  booktitle = {Philosophical Perspectives 22, 2008: Philosophy of
  		Language},
  publisher = {Blackwell Publishers},
  year = {2008},
  editor = {John Hawthorne},
  pages = {473--497},
  address = {Oxford},
  topic = {presupposition;}
  }

@book{ rothstein_sd:1985a,
  author = {Susan D. Rothstein},
  title = {The Syntactic Forms of Predication},
  publisher = {Indiana University Linguistics Club,},
  year = {1985},
  address = {Bloomington},
  ISBN = {0521380561},
  rtnote = {UMich Graduate Library, 805 C185 v.71.},
  topic = {predication;predicate-adjectives;}
 }

@book{ rothstein_sd:1998a,
  editor = {Susan D. Rothstein},
  title = {Events and Grammar},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  address = {Dordrecht},
  ISBN = {079234940},
  rtnote = {In RHT Collection.  LLP single author shelves.},
  topic = {events;nl-semantics;}
 }

@article{ rothstein_sd:1999a,
  author = {Susan D. Rothstein},
  title = {Fine-Grained Structure in the Eventuality Domain:
  	The Semantics of Predicative Adjectives and {\it Be}},
  journal = {Natural Language Semantics},
  year = {1999},
  volume = {7},
  number = {4},
  pages = {347--420},
  topic = {eventualities;predicate-adjectives;}
  }

@book{ rothstein_sd:2000a,
  author = {Susan D. Rothstein},
  title = {Predicates and Their Subjects},
  publisher = {Kluwer Academic Publishers},
  year = {2000},
  address = {Dordrecht},
  ISBN = {0792364090},
  rtnote = {UMich Graduate Library, 805 C185 v.52.},
  topic = {predication;predicate-adjectives;}
 }

@book{ rothstein_sd:2004a,
  author = {Susan D. Rothstein},
  title = {Structuring Events},
  publisher = {Blackwell Publishers},
  year = {1992},
  address = {Oxford},
  ISBN = {1-4051-0668-9},
  rtnote = {In RHT Collection.  Summer 2008.},
  topic = {nl-semantics;progressive-aspect;resultative-constructions;
  	perfective-aspect;}
 }

@article{ rotstein-winter:2004a,
  author = {Carmen Rotstein and Yoad Winter},
  title = {Total Adjectives vs. Partial Adjectives:  Scale Structure
  	and Higher-Order Modifiers},
  journal = {Natural Language Semantics},
  year = {2003},
  volume = {12},
  number = {3},
  pages = {259--288},
  topic = {nl-semantics;adjectives;}
  }

@unpublished{ rott:1987a,
  author = {Hans Rott},
  title = {Ways of Triviality in Conditional Languages},
  year = {1987},
  note = {Unpublished manuscript, Munich.},
  rtnote = {In RHT collection.},
  topic = {conditionals;probability-semantics;}
  }

@unpublished{ rott:1988a,
  author = {Hans Rott},
  title = {Conditionals and Theory Change: Revisions, Expansions,
  		and Additions},
  year = {1988},
  note = {Unpublished manuscript, said to be forthcoming
  	in Synthese.},
  rtnote = {In RHT collection.},
  topic = {conditionals;belief-revision;}
  }

@incollection{ rott:1990a,
  author = {Hans Rott},
  title = {Updates, Conditionals, and Non-Monotonicity},
  booktitle = {Conditionals, Defaults, and Belief Revision},
  publisher = {Institut f\"ur maschinelle Sprachverarbeitung,
  		Universit\"at Stuttgart},
  year = {1990},
  note = {Dyana Deliverable R2.5.A.},
  editor = {Hans Kamp},
  pages = {65--77},
  address = {Stuttgart},
  topic = {conditionals;belief-revision;nonmonotonic-logic;}
  }

@article{ rott:1991a,
  author = {Hans Rott},
  title = {Two Methods of Constructing Contractions and Revisions in
		Knowledge Systems},
  journal = {Journal of Philosophical Logic},
  year = {1991},
  volume = {20},
  number = {2},
  pages = {149--173},
  topic = {belief-revision;}
  }

@incollection{ rott:1992a,
  author = {Hans Rott},
  title = {On the Logic of Theory Change: More Maps Between Different
  	Kinds of Contraction Function},
  booktitle = {Belief Revision},
  publisher = {Cambridge University Press},
  year = {1992},
  editor = {Peter G\"ardenfors},
  pages = {122--141},
  address = {Cambridge},
  topic = {belief-revision;}
  }

@article{ rott:1992b,
  author = {Hans Rott},
  title = {Preferential Belief Change Using Generalized Epistemic
  	Entrenchment},
  journal = {Journal of Logic, Language, and Information},
  year = {1992},
  volume = {1},
  number = {1},
  pages = {45--78},
  topic = {belief-revision;epistemic-entrenchment;}
  }

@inproceedings{ rott:1998a,
  author = {Hans Rott},
  title = {Logic and Choice},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
    Proceedings of the Seventh Conference ({TARK} 1998)},
  year = {1998},
  editor = {Itzhak Gilboa},
  pages = {235--248},
  publisher = {Morgan Kaufmann},
  address = {San Francisco, California},
  topic = {belief-revision;will-to-believe;decision-theory;
  	model-preference;}
  }

@article{ rott:2000a,
  author = {Hans Rott},
  title = {Two Dogmas of Belief Revision},
  journal = {The Journal of Philosophy},
  year = {2000},
  volume = {97},
  number = {9},
  pages = {503--522},
  topic = {Quine;belief-revision;coherence;}
  }

@article{ rott:2000b,
  author = {Hans Rott},
  title = {Words in Contexts: {F}regean Elucidations},
  journal = {Linguistics and Philosophy},
  year = {2000},
  volume = {23},
  number = {6},
  pages = {621--641},
  topic = {nl-semantics;Frege;compositionality;context;}
  }

@book{ rott:2001a,
  author = {Hans Rott},
  title = {Change, Choice and Inference: A Study of Belief Revision
  		and Nonmonotonic Reasoning},
  publisher = {Oxford University Press},
  year = {2001},
  address = {Oxford},
  ISBN = {0198503067},
  rtnote = {UMich Graduate Library, BD 161 .R686 2001.},
  topic = {belief-revision;nonmonotonic-logic;}
 }

@book{ rott:2002a,
  author = {Hans Rott},
  title = {Change, Choice, and Inference},
  publisher = {Oxford University Press},
  year = {2002},
  address = {Oxford},
  ISBN = {0-19-850306-7},
  xref = {Review: hansson_so:2004a.},
  xref = {Critical comment: .},
  topic = {belief-revision;nonmonotonic-logic;practical-reasoning;}
 }

@article{ rott:2003a,
  author = {Hans Rott},
  title = {Basic Entrenchment},
  journal = {Studia Logica},
  year = {2003},
  volume = {75},
  number = {2},
  pages = {257--280},
  topic = {belief-revision;}
  }

@article{ rott:2008a,
  author = {Hans Rott},
  title = {A New Psychologism in Logic?   Reflections from the Point
  		of View of Belief Revision},
  journal = {Studia Logica},
  year = {2008},
  volume = {88},
  number = {1},
  pages = {113--136},
  topic = {psychologism;belief-revision;}
  }

@article{ rott-pagnucco:1999a,
  author = {Hans Rott and Maurice Pagnucco},
  title = {Severe Withdrawal (and Recovery)},
  journal = {Journal of Philosophical Logic},
  year = {1999},
  volume = {28},
  number = {5},
  pages = {501--547},
  note = {Corrected version published in {\it Journal of Philosophical
  	Logic} (2000), vol. 29, no. 1.},
  topic = {belief-revision;}
  }

@article{ rott-pagnucco:2000a,
  author = {Hans Rott and Maurice Pagnucco},
  title = {Severe Withdrawal (and Recovery)},
  journal = {Journal of Philosophical Logic},
  year = {2000},
  volume = {29},
  number = {5},
  pages = {501--547},
  topic = {belief-revision;}
  }

@article{ roubach:2002a,
  author = {Michael Roubach},
  title = {Review of \emph{{A} Parting of the Ways: {C}arnap,
  	{C}assirer, and {H}eidegger}, by {M}ichael {F}riedman},
  journal = {The Philosophical Review},
  year = {2002},
  volume = {111},
  number = {1},
  pages = {119--122},
  xref = {Review of: friedman_m3:2000a.},
  topic = {Carnap;phenomenology;}
  }

@incollection{ roulet:1992a,
  author = {Eddy Roulet},
  title = {On the Structure of Conversation as Negotiation},
  booktitle = {(On) {S}earle on Conversation},
  publisher = {John Benjamins Publishing Company},
  year = {1992},
  editor = {Herman Parret and Jef Verschueren},
  pages = {91--99},
  address = {Amsterdam},
  rtnote = {In RHT collection.},
  topic = {foundations-of-pragmatics;discourse-analysis;pragmatics;}
 }

@incollection{ rounds:1996a,
  author = {William C. Rounds},
  title = {Feature Logics},
  booktitle = {Handbook of Logic and Language},
  publisher = {Elsevier},
  year = {1996},
  editor = {Johan {van Benthem} and Alice {ter Meulen}},
  pages = {475--533},
  address = {Amsterdam},
  topic = {feature-structure-grammar;feature-structure-logic;
  	unification-of-FSs;grammar-logics;}
  }

@unpublished{ rounds-song_hs:2001a,
  author = {William R. Rounds and Hosung Song},
  title = {The $\mu$-Calculus---A Hybrid Extension of the
  		$\pi$-Calculus to Embedded Systems},
  year = {2001},
  note = {Unpublished manuscript, Computer Science Department,
  		University of Michigan},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  topic = {polyadic-pi-calculus;}
  }

@article{ rounds-zhang_gq:1995a,
  author = {William Rounds and Quoquiang Zhang},
  title = {Domain Theory Meets Default Logic},
  journal = {Logic and Computation},
  year = {1995},
  volume = {5},
  pages = {1--25},
  missinginfo = {number},
  topic = {domain-theory;default-logic;nm-ling;nonmonotonic-logic;}
  }

@unpublished{ rounds-zhang_gq:1995b,
  author = {William C. Rounds and Quoquiang Zhang},
  title = {Suggestions for a Non-Monotonic Feature Logic},
  year = {1995},
  rtnote = {In RHT collection.},
  note = {Available by anonymous ftp from ftp.cwi.nl in directory
  	pub/rounds.},
  topic = {default-unification;nm-ling;}
  }

@unpublished{ rounds-zhang_gq:1999a,
  author = {William Rounds and Guo-Qiang Zhang},
  title = {Clausal Logic and Logic Programming in Algebraic Domains},
  year = {1999},
  note = {Unpublished manuscript, University of Michigan},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  topic = {domain-theory;disjunctive-logic-programming;}
  }

@article{ rounds-zhang_gq:forthcominga,
  author = {William Rounds and Guo-Qiang Zhang},
  title = {Logical Considerations on Default Semantics},
  journal = {Journal of Artificial Intelligence and Mathematics},
  year = {forthcoming},
  topic = {nm-ling;default-unification;}
 }

@article{ rourke:2003a,
  author = {Michael Rourke},
  title = {The Scope Argument},
  journal = {The Journal of Philosophy},
  year = {2003},
  volume = {100},
  number = {3},
  pages = {136--157},
  topic = {Grice;implicature;}
  }

@article{ rouse:1991a,
  author = {Joseph Rouse},
  title = {Indeterminacy, Empirical Evidence, and Methodological
  	Pluralism},
  journal = {Synth\'ese},
  year = {1991},
  volume = {86},
  number = {3},
  pages = {443--465},
  topic = {indeterminacy-of-translation;philosophy-of-science;
  	philosophy-of-social-science;}
  }

@incollection{ roussel_d-halber:1997a,
  author = {David Roussel and Ariane Halber},
  title = {Filtering Errors and Repairing Linguistic Anomalies for
  	Spoken Dialogue Systems},
  booktitle = {Interactive Spoken Dialog Systems:  Bridging
  	Speech and {NLP} Together in Real Applications},
  publisher = {Association for Computational Linguistics},
  year = {1997},
  editor = {Julia Hirschberg and Candace Kamm and Marilyn Walker},
  pages = {74--81},
  address = {New Brunswick, New Jersey},
  topic = {computational-dialogue;nl-processing;speech-recognition;}
  }

@techreport{ roussel_p:1975a,
  author = {P. Roussel},
  title = {{\sc Prolog:} Manuel d'Utilization},
  institution = {Rapport Interne, F.I.A., {UER} de {LUMINY}},
  year = {1975},
  address = {Universite d'Aix-Marseille},
  contentnote = {This is evidently the first description of
  	Prolog, it is referred to by some of the early NM papers.},
  missinginfo = {A's 1st name},
  topic = {Prolog;logic-programming;}
  }

@inproceedings{ routen:1989a,
  author = {Thomas Routen},
  year = {1989},
  title = {Hierarchically Organised Formalisations},
  booktitle = {Second International Conference on Artificial Intelligence
     and Law},
  pages = {242--250},
  publisher = {Association for Computing Machinery, New York City},
  topic = {legal-AI;}
  }

@article{ routh:1994a,
  author = {David A. Routh},
  title = {On Representations of Quantifiers},
  journal = {Journal of Semantics},
  year = {1994},
  volume = {11},
  number = {2},
  pages = {199--214},
  rtnote = {In RHT collection.},
  topic = {semantic-processing;nl-quantifier-scope;nl-quantifiers;}
  }

@article{ routley_r:1975a,
  author = {Richard Routley},
  title = {Universal Semantics?},
  journal = {Journal of Philosophical Logic},
  year = {1975},
  volume = {4},
  number = {3},
  pages = {357--356},
  topic = {nl-semantics;indexicality;foundations-of-semantics;}
  }

@article{ routley_r-etal:1974a,
  author = {Richard Routley and Robert K. Meyer and L. Goddard},
  title = {Choice and Descripton in Enriched Intensional
  	Languages---{I}},
  journal = {Journal of Philosophical Logic},
  year = {1974},
  volume = {3},
  number = {3},
  pages = {291--316},
  topic = {intensional-logic;definite-descriptions;}
  }

@article{ routley_r-meyer_rk:1972a,
  author = {Richard Routley and Robert K. Meyer},
  title = {The Semantics of Entailment III},
  journal = {Journal of Philosophical Logic},
  year = {1972},
  volume = {1},
  number = {2},
  pages = {192--208},
  topic = {relevance-logic;}
  }

@article{ routley_r-meyer_rk:1972b,
  author = {Richard Routley and Robert K. Meyer},
  title = {The Semantics of Entailment {II}},
  journal = {Journal of Philosophical Logic},
  year = {1972},
  volume = {1},
  number = {1},
  pages = {53--73},
  topic = {relevance-logic;}
  }

@article{ routley_r-routley_v:1972a,
  author = {Richard Routley and V. Routley},
  title = {Semantics of First-Degree Entailment},
  journal = {No\^us},
  year = {1972},
  volume = {6},
  pages = {335--359},
  missinginfo = {A's 1st name, number},
  topic = {relevance-logic;}
  }

@book{ rovine-voneye:1990a,
  editor = {Michael Rovine and Alexander von Eye},
  title = {Applied Computational Statistics in Longitudinal Research},
  publisher = {Academic Press},
  year = {1990},
  address = {New York},
  rtnote = {In RHT Collection.  Statistics and information theory shelves.},
  topic = {statistics;}
 }

@book{ rowe:1993a,
  author = {Robert Rowe},
  title = {Interactive Music Systems: Machine Listening and Composing},
  publisher = {The {MIT} Press},
  year = {1993},
  address = {Cambridge, Massachusetts},
  ISBN = {0262181495},
  rtnote = {UMich MUSIC, MT 723 .R71 1993.},
  xref = {Review: handelman:1996a.},
  topic = {AI-and-music;}
 }

@book{ rowlands:2006a,
  author = {Mark Rowlands},
  title = {Body Language},
  publisher = {The {MIT} Press},
  year = {2006},
  address = {Cambridge, Massachusetts},
  ISBN = {9780-262-18255-3},
  topic = {philosophy-of-action;representation;intention;}
 }

@book{ rowley:1993a,
  editor = {Charles K. Rowley},
  title = {Social Choice Theory},
  publisher = {Aldershot},
  year = {1993},
  rtnote = {HILLMAN HB846.8 S63 1993},
  address = {Brookfield, Vermont},
  topic = {social-choice-theory;}
 }

@incollection{ roy_b:1977a,
  author = {B. Roy},
  title = {Partial Preference Analysis and Decision-{AID}: The Fuzzy
  	Outranking Relation Concept},
  booktitle = {Conflicting Objectives in Decisions},
  publisher = {John Wiley and Sons},
  year = {1977},
  editor = {David E. Bell and Ralph L. Keeney and Howard Raiffa},
  pages = {40--75},
  address = {New York},
  rtnote = {In RHT collection.},
  topic = {decision-analysis;preference;preference-elicitation;}
  }

@article{ roy_d:2005a,
  author = {Deb Roy},
  title = {Semiotic Schemas:  A Framework for Grounding Language in
  		Action and Perception},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {167},
  number = {1--2},
  pages = {170--205},
  topic = {situated-nlp;}
  }

@article{ roy_d-reiter_e:2005a,
  author = {Deb Roy and Ehud Reiter},
  title = {Connecting Language to the World},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {167},
  number = {1--2},
  pages = {1--12},
  topic = {situated-nlp;}
  }

@article{ roy_t:1993a,
  author = {Tony Roy},
  title = {Worlds and Modality},
  journal = {The Philosophical Review},
  year = {1993},
  volume = {102},
  number = {3},
  pages = {335--361},
  topic = {foundations-of-modal-logic;}
  }

@book{ royakkers:1998a,
  author = {Lamb\`er M.M. Royakkers},
  title = {Extending Deontic Logic for the Formalization of
  	Legal Rules},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  address = {Dordrecht},
  xref = {Review: bailhache:1999a.},
  topic = {deontic-logic;logic-and-law;}
 }

@article{ royakkers:2000a,
  author = {L.M.M. Royakkers},
  title = {Review of \emph{{L}ogical Tools for Modeling Legal
  	Argument: A Study ofDefeasible Reasoning in Law}, by
	{H}enry {P}rakken},
  journal = {Journal of Logic, Language, and Information},
  year = {2000},
  volume = {9},
  number = {3},
  pages = {397--387},
  xref = {Review of prakken:1997c.},
  topic = {logic-and-law;nonmonotonic-reasoning;}
  }

@incollection{ royalty-etal:2002a,
  author = {James Royalty and Robert Holland and Judy Goldsmith and
    		Alex Dekhtyar},
  title = {{POET}: The Online Preference Elicitation Tool},
  booktitle = {Preferences in {AI} and {CP}: Symbolic Approaches},
  publisher = {AAAI Press},
  year = {2002},
  editor = {Ulrich Junker},
  pages = {80--86},
  address = {Menlo Park, California},
  topic = {preferences;qualitative-utility;preference-elicitation;}
  }

@book{ rozenberg-salomaa:1993a,
  editor = {Grzegorz Rozenberg and Arto Salomaa},
  title = {Current Trends in Theoretical Computer Science: Essays
  	and Tutorials},
  publisher = {World Scientific},
  year = {1993},
  address = {Singapore},
  ISBN = {9810214626},
  rtnote = {UMich MEDIA UNION LIBRARY, QA 75.5 .C8711 1993.},
  topic = {logic-and-computer-science;}
 }

@book{ rozenberg-salomaa:1994a,
  editor = {Grzegorz Rozenberg and Arto Salomaa},
  title = {Developments In Language Theory: At the Crossroads of
  	Mathematics, Computer Science and Biology},
  publisher = {World Scientific},
  year = {1994},
  address = {Singapore},
  ISBN = {9810216459},
  rtnote = {UMich Media Union Library, QA 267.3 .D4811 1994 .},
  topic = {formal-language-theory;}
 }

@book{ rozenberg-salomaa:1997a,
  editor = {Grzegorz Rozenberg and Arto Salomaa},
  title = {Handbook of Formal Languages, Volume 1: Word, Language,
  		Grammar},
  publisher = {Springer-Verlag},
  year = {1997},
  address = {Berlin},
  ISBN = {3540604200},
  rtnote = {UMich Media Union Library, QA 267.3 .H361 1997.},
  xref = {Review: infantelopez:2005a.},
  topic = {formal-language-theory;}
 }

@book{ rozenberg-salomaa:1997b,
  editor = {Grzegorz Rozenberg and Arto Salomaa},
  title = {Handbook of Formal Languages, Volume 2: Linear Modeling:
  		Background and Application},
  publisher = {Springer-Verlag},
  year = {1997},
  address = {Berlin},
  ISBN = {3540606483},
  rtnote = {UMich Media Union Library, QA 267.3 .H361 1997.},
  topic = {formal-language-theory;}
 }

@book{ rozenberg-salomaa:1997c,
  editor = {Grzegorz Rozenberg and Arto Salomaa},
  title = {Handbook of Formal Languages, Volume 3: Beyond Words},
  publisher = {Springer-Verlag},
  year = {1997},
  address = {Berlin},
  ISBN = {3540606491},
  rtnote = {UMich Media Union Library, QA 267.3 .H361 1997.},
  topic = {formal-language-theory;}
 }

@book{ ruben_dh:2003a,
  author = {David-Hillel Ruben},
  title = {Action and Its Explanation},
  publisher = {Oxford University Press},
  year = {2003},
  address = {Oxford},
  xref = {Review: isaacs_t:2005a},
  topic = {philosophy-of-action;explanation;}
 }

@techreport{ rubenstein:1985a,
  author = {Ariel Rubenstein},
  title = {Finite Automata Play the Repeated Prisoner's Dilemma},
  institution = {London School of Economics},
  year = {1985},
  address = {London},
  note = {ST/ICERD Discussion Paper 85/109.},
  topic = {prisoner's-dilemma;repeated-games;finite-automata;}
  }

@article{ rubenstein:1989a,
  author = {Ariel Rubenstein},
  title = {The Electonic Mail Game: Strategic Behavior Under
  	`Almost Common Knowledge'\, },
  journal = {American Economic Review},
  year = {1989},
  volume = {79},
  pages = {385--391},
  missinginfo = {number},
  topic = {mutual-belief;decision-theory;}
  }

@article{ rubenstein-wolinsky:1990a,
  author = {Ariel Rubenstein and A. Wolinsky},
  title = {On the Logic of `Agreeing to Disagree' Type Results},
  journal = {Journal of Economic Theory},
  year = {1990},
  volume = {51},
  pages = {184--193},
  missinginfo = {A's 1st name, number},
  topic = {mutual-belief;bargaining-theory;}
  }

@techreport{ rubine:1991a,
  author = {Dean Harris Rubine},
  title = {The Automatic Recognition of Gestures},
  institution = {School of Computer Science, Carnegie Mellon
  	University},
  number = {CMU-CS-91-202},
  address = {Pittsburgh},
  year = {1991},
  acontentnote = {Abstract:
  	Gesture-based interfaces, in which the user
    specifies commands by simple freehand drawings, offer an alternative
    to traditional keyboard, menu, and direct manipulation interfaces.
    The ability to specify objects, an operation, and additional
    parameters with a single intuitive gesture makes gesture-based
    systems appealing to both novice and experienced users.
    Unfortunately, the difficulty in building gesture-based systems has
    prevented such systems from being adequately explored.  This
    dissertation presents work that attempts to alleviate two of the
    major difficulties:  the construction of gesture classifiers and the
    integration of gestures into direct-manipulation interfaces.  Three
    example gesture- based applications were built to demonstrate this
    work. Gesture-based systems require classifiers to distinguish
    between the possible gestures a user may enter.  In the past,
    classifiers have often been hand-coded for each new application,
    making them difficult to build, change, and maintain.  This
    dissertation applies elementary statistical pattern recognition
    techniques to produce gesture classifiers that are trained by
    example, greatly simplifying their creation and maintenance.  Both
    single-path gestures (drawn with a mouse or stylus) and
    multiple-path gestures (consisting of the simultaneous paths of
    multiple fingers) may be classified. On a 1 MIPS workstation, a
    30-class single-path recognizer takes 175 milliseconds to train
    (once the examples have been entered), and classification takes 9
    milliseconds, typically achieving 97% accuracy.  A method for
    classifying a gesture as soon as it is unambiguous is also
    presented.  This dissertation also describes GRANDMA, a toolkit for
    building gesture-based applications based on Smalltalk's
    Model/View/Controller paradigm.  Using GRANDMA, one associates sets
    of gesture classes with individual views or entire view classes.  A
    gesture class can be specified at runtime by entering a few examples
    of the class, typically 15. The semantics of a gesture class can be
    specified at runtime via a simple programming interface.  Besides
    allowing for easy experimentation with gesture-based interfaces,
    GRANDMA sports a novel input architecture, capable of supporting
    multiple input devices and multi-threaded dialogues.  The notion of
    virtual tools and semantic feedback are shown to arise naturally
    from GRANDMA's approach.
   },
  topic = {gestures;nl-interpretation;nl-understanding;}
 }

@phdthesis{ rubinoff:1992a,
  author= {Robert Rubinoff},
  title= {Negotiation, Feedback, and Perspective Within Natural Language
         Generation},
  school= {Department of Computer and Information Science,
     	University of Pennsylvania},
  address= {Philadephia, PA},
  year= {1992},
  month= {December},
  note= {Available as Technical Report MS-CIS-92-91.},
  topic = {nl-generation;discourse-planning;negotiation-subdialogs;
  	pragmatics;}
}

@incollection{ rubinoff:1992b,
  author = {Robert Rubinoff},
  title = {Integrating Text Planning and Linguistic
     		Choice by Annotating Linguistic Structures},
  booktitle = {Aspects of Automated Natural Language Generation: 6th
    International Workshop on Natural Language Generation, {T}rento,
    {I}taly, April 5--7, 1992},
  publisher = {Springer-Verlag},
  year = {1992},
  editor = {Robert Dale and Eduard Hovy and Dietmar R\"ossner and
  	Oliviero Stock},
  pages = {45--56},
  address = {Berlin},
  rtnote = {In RHT collection.},
  topic = {nl-generation;document-planning;lexical-choice;}
  }

@article{ rubinoff:2000a,
  author = {Robert Rubinoff},
  title = {Integrating Text Planning and Linguistic Choice
  	without Abandoning Modularity: The {IGEN} Generator},
  journal = {Computational Linguistics},
  year = {2000},
  volume = {26},
  number = {2},
  pages = {107--138},
  topic = {text-planning;nl-generation;}
  }

@article{ rubinstein:1996a,
  author = {Ariel Rubinstein},
  title = {Why Are Certain Properties of Binary Relations Relatively
  	More Common in Natural Languages},
  journal = {Econometrica},
  year = {1996},
  volume = {63},
  number = {2},
  pages = {343--355},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;lexicalization;}
  }

@book{ rubinstein:1996b1,
  author = {Ariel Rubinstein},
  title = {Lectures on Modeling Bounded Rationality},
  publisher = {Catholique University of Louvain},
  year = {1996},
  address = {Louvain},
  xref = {Republication: rubinstein:1996b2.},
  topic = {limited-rationality;bounded-agents;}
 }

@book{ rubinstein:1996b2,
  author = {Ariel Rubinstein},
  title = {Lectures on Modeling Bounded Rationality},
  publisher = {The {MIT} Press},
  year = {1998},
  address = {Cambridge, Massachusetts},
  xref = {Republication of rubinstein:1996b1.},
  topic = {limited-rationality;bounded-agents;}
 }

@incollection{ ruch-etal:2000a,
  author = {Patrick Ruch and Robert Baud and Pierette Bouillon and Gilbert
    	    Robert},
  title = {Minimal Commitment and Full Lexical Disambiguation:
	    Balancing Rules and Hidden {M}arkov Models},
  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 = {111--114},
  address = {Somerset, New Jersey},
  topic = {machine-language-learning;hidden-Markov-models;
  	lexical-disambiguation;}
  }

@book{ rucker_r:2004a,
  author = {Rudy Rucker},
  title = {Infinity and the Mind},
  publisher = {Princeton University Press},
  year = {2004},
  address = {Princeton, New Jersey},
  ISBN = {0-691-121273 (pbk)},
  topic = {history-of-mathematics;}
 }

@incollection{ rucker_r-aldowaisan:1992a,
  author = {Rob Rucker Tariq A. Aldowaisan},
  title = {A Design Approach for Constructing Engineering Scenario
  	Maps},
  booktitle = {Semantic Networks in Artificial Intelligence},
  publisher = {Pergamon Press},
  year = {1992},
  editor = {Fritz Lehmann},
  pages = {419--440},
  address = {Oxford},
  topic = {kr;semantic-networks;spatial-reasoning;kr-course;}
  }

@unpublished{ rucker_rvb:1978a,
  author = {Rudolf v.B. Rucker},
  title = {The {B}erry Paradox},
  year = {1978},
  note = {Unpublished manuscript, Universit\"at Heidelberg},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  topic = {semantic-paradoxes;Berry-paradox;}
  }

@incollection{ rucker_rvb:1978b,
  author = {Rudolf v.B. Rucker},
  title = {The One/Many Problem in the Foundations of Set Theory},
  booktitle = {Logic Colloquium 76},
  publisher = {North-Holland Publishing Co.},
  year = {1978},
  editor = {Robin O. Gandy and J.M.E. Hyland},
  pages = {567--593},
  address = {Amsterdam},
  topic = {foundations-of-set-theory;}
  }

@article{ ruckert-deraedt:2008a,
  author = {Ulrich R\"uckert and Luc De Raedt},
  title = {An Experimental Evaluation of Simplicity in Rule Learning},
  journal = {Artificial Intelligence},
  year = {2008},
  volume = {172},
  number = {1},
  pages = {19--28},
  topic = {rule-learning;}
  }

@article{ rudinow:1974a,
  author = {Joel Rudinow},
  title = {On the Slippery Slope},
  journal = {Analysis},
  year = {1974},
  volume = {34},
  pages = {173--176},
  topic = {vagueness;}
  }

@article{ rudner_lm:2004a,
  author = {Lawrence M. Rudner},
  title = {Review of \emph{{A}utomated Essay Scoring:
  		{A} Cross-Disciplinary Perspective}, edited by
		{M}ark {S}hermis and {J}ill {C}. {B}urstein},
  journal = {Computational Linguistics},
  year = {2004},
  volume = {30},
  number = {2},
  pages = {245--246},
  xref = {Review of: shermis-burstein_jc:2003a},
  topic = {automated-essay-scoring;}
  }

@article{ rudner_r:1953a,
  author = {Richard Rudner},
  title = {The Scientist qua Scientist Makes Value Judgements},
  journal = {Philosophy of Science},
  year = {1953},
  volume = {20},
  number = {1},
  pages = {1--6},
  rtnote = {In RHT collection.},
  topic = {philosophy-of-science;}
  }

@article{ rueger:2000a,
  author = {Alexander Rueger},
  title = {Robust Supervenience and Emergence},
  journal = {Philosophy of Science},
  year = {2000},
  volume = {67},
  number = {3},
  pages = {466--489},
  topic = {supervenience;emergence;}
  }

@article{ rullmann:1999a,
  author = {Sigrid Beck and Hotze Rullmann},
  title = {A Flexible Approach to Exhaustivity in Questions},
  journal = {Natural Language Semantics},
  year = {1999},
  volume = {7},
  number = {3},
  pages = {249--298},
  topic = {interrogatives;}
  }

@inproceedings{ rullmann-beck_s:1998a,
  author = {Hotze Rullmann and Sigrid Beck},
  title = {Presupposition Projection
     		and the Interpretation of Which-Questions},
  booktitle = {Proceedings from Semantics and Linguistic Theory {VIII}},
  publisher = {Cornell University},
  year = {1998},
  editor = {Devon Strolovitch and Aaron Lawson},
  pages = {215--231},
  address = {Ithaca, New York},
  topic = {nl-semantics;presupposition;interrogatives;}
  }

@article{ rullmann-etal:2008a,
  author = {Hotze Rullmann and Lisa Matthewson and Henry Davis},
  title = {Modals as Distributive Indefinites},
  journal = {Natural Language Semantics},
  year = {2008},
  volume = {16},
  number = {4},
  pages = {317--357},
  topic = {nl-modality;Salish-languages;}
  }

@incollection{ rumelhart:1989a,
  author = {David E. Rumelhart},
  title = {The Architecture of Mind: A Connectionist Approach},
  booktitle = {Foundations of Cognitive Science},
  publisher = {The {MIT} Press},
  year = {1989},
  editor = {Michael I. Posner},
  chapter = {4},
  pages = {133--159},
  address = {Cambridge, Massachusetts},
  topic = {connectionism;connectionist-models;}
  }

@article{ rumfitt:1994a,
  author = {Ian Rumfitt},
  title = {Frege's Theory of Predication: An Elaboration and Defense,
  	with Some New Applications},
  journal = {The Philosophical Review},
  year = {1994},
  volume = {103},
  number = {4},
  pages = {599--637},
  topic = {Frege;predication;}
  }

@article{ rumfitt:1995a,
  author = {Ian Rumfitt},
  title = {Truth Conditions and Communication},
  journal = {Mind, New Series},
  year = {1995},
  volume = {104},
  number = {416},
  pages = {827--862},
  topic = {philosophy-of-language;pragmatics;}
  }

@article{ rumfitt:2001a,
  author = {Ian Rumfitt},
  title = {Hume's Principle and the Number of All Objects},
  journal = {No\^us},
  year = {2001},
  volume = {35},
  number = {4},
  pages = {515--541},
  topic = {Frege;formalizations-of-arithmetic;}
  }

@article{ rumfitt:2003a,
  author = {Ian Rumfitt},
  title = {Savoir Faire},
  journal = {The Journal of Philosophy},
  year = {2003},
  volume = {100},
  number = {3},
  pages = {158--157},
  xref = {Commentary on: stanley_j-williamson_t:2001a},
  topic = {knowing-how;}
  }

@incollection{ rundle:1965a,
  author = {Bede Rundle},
  title = {Modality and Quantification},
  booktitle = {Analytical Philosophy, Second Series},
  publisher = {Basil Blackwell},
  year = {1965},
  editor = {Ronald J. Butler},
  pages = {27--39},
  address = {Oxford},
  topic = {quantifying-in-modality;}
  }

@book{ rundle:1997a,
  author = {Bede Rundle},
  title = {Mind in Action},
  publisher = {Oxford University Press},
  year = {1997},
  address = {Oxford},
  topic = {action;philosophy-of-mind;}
 }

@article{ rupert:2001a,
  author = {Robert D. Rupert},
  title = {Coining Terms in the Language of Thought: Innateness,
  	Emergence, and the Lot of {C}ummins's Argument against
	the Causal Theory},
  journal = {The Journal of Philosophy},
  year = {2001},
  volume = {97},
  number = {1},
  pages = {499--530},
  topic = {mental-language;philosophy-of-mind;}
  }

@article{ rupert:2004a,
  author = {Robert D. Rupert},
  title = {Challenges to the Hypothesis of Extended Cognition},
  journal = {The Journal of Philosophy},
  year = {2004},
  volume = {101},
  number = {8},
  pages = {389--428},
  topic = {philosophical-psychology;embodiment;}
  }

@article{ rupert:2008a,
  author = {Robert D. Rupert},
  title = {Ceteris Paribus Laws, Component Forces, and the Nature of
  	Special-Science Properties},
  journal = {No\^us},
  year = {2008},
  volume = {42},
  number = {3},
  pages = {349--380},
  topic = {natural-laws;ceteris-paribus-generalizations;}
  }

@incollection{ rupp:1991a,
  author = {C.J. Rupp},
  title = {Quantifiers and Circumstances},
  booktitle = {Working Papers in Computational Semantics, Dialogue and
  	Discourse},
  publisher = {Department of Mathematics, University of Oslo},
  year = {1991},
  editor = {Harold L. Somers},
  pages = {74--102},
  address = {P.O. Box 1053-Blindern, 0316 Oslo 3, Norway},
  topic = {nl-quantifier-scope;}
  }

@book{ rupp-etal:1994a,
  editor = {C.J. Rupp and M.A. Rosner and R.L. Johnson},
  title = {Constraints, Language and Computation},
  publisher = {Academic},
  year = {1994},
  address = {London},
  ISBN = {0125979304},
  rtnote = {UMich Graduate Library, P 98 .C6211 1994.},
  contentnote = {The papers in this collection arose out of a workshop
    entitled "Constraint propagation, linguistic description and
    computation" held at IDSIA, Lugano in late 1991.},
  topic = {nl-processing;grammar-formalisms;constraint-based-grammar;}
 }

@incollection{ ruspini:1991a,
  author = {Enrique H. Ruspini},
  title = {On Truth and utility},
  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 = {297--304},
  address = {Berlin},
  topic = {multivalued-logic;utility;}
  }

@inproceedings{ russ:1992a,
  author = {Thomas A. Russ},
  title = {Adding Time to a Knowledge Representation Language},
  booktitle = {Working Notes, {AAAI} Fall Symposium on Issues in Description
  	Logics: Users Meet Developers},
  year = {1992},
  editor = {Robert MacGregor},
  pages = {83--85},
  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;temporal-reasoning;}
  }

@book{ russell_b:1903a,
  author = {Bertrand Russell},
  title = {The Principles of Mathematics},
  publisher = {Cambridge University Press},
  year = {1903},
  month = {Cambridge, England},
  rtnote = {In RHT collection.  History Philosophy Shelves.},
  topic = {foundations-of-mathematics;logic-classics;}
  }

@article{ russell_b:1905a1,
  author = {Bertrand Russell},
  title = {On Denoting},
  journal = {Mind, New Series},
  year = {1905},
  volume = {14},
  pages = {479--493},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  xref = {Republications: russell_b:1905a2.},
  rtnote = {Reading notes on file.},
  topic = {definite-descriptions;philosophy-classics;}
  }

@incollection{ russell_b:1905a2,
  author = {Bertrand Russell},
  title = {On Denoting},
  booktitle = {The Logic of Grammar},
  publisher = {Dickenson Publishing Co.},
  year = {1975},
  editor = {Donald Davidson and Gilbert H. Harman},
  pages = {184--193},
  address = {Encino, California},
  xref = {Republication of: russell_b:1905a1.},
  rtnote = {Reading notes on file.},
  topic = {definite-descriptions;philosophy-classics;}
  }

@article{ russell_b:1908a,
  author = {Bertrand Russell},
  title = {Mathematical Logic as Based on the Theory of Types},
  journal = {American Journal of Mathematics},
  year = {1908},
  volume = {30},
  pages = {222--262},
  missinginfo = {number},
  topic = {logic-classics;ramified-type-theory;}
  }

@book{ russell_b:1921a,
  author = {Bertrand Russell},
  title = {The Analysis of Mind},
  publisher = {Allen and Unwin},
  year = {1921},
  address = {London},
  topic = {philosophy-of-mind;}
 }

@article{ russell_b:1923a1,
  author = {Bertrand Russell},
  title = {Vagueness},
  journal = {Australasian Journal of Philosophy and Psychology},
  year = {1923},
  volume = {1},
  pages = {84--92},
  missinginfo = {number},
  xref = {Republication: russell_b:1923a2.},
  topic = {vagueness;}
  }

@incollection{ russell_b:1923a2,
  author = {Bertrand Russell},
  title = {Vagueness},
  booktitle = {Vagueness: A Reader},
  publisher = {The {MIT} Press},
  year = {1997},
  editor = {Rosanna Keefe and Peter Smith},
  pages = {61--68},
  address = {Cambridge, Massachusetts},
  xref = {Republication of: russell_b:1923a1.},
  topic = {vagueness;}
  }

@article{ russell_b:1932a,
  author = {Bertrand Russell},
  title = {Review of \emph{{T}he Foundations of Mathematics and Other
  	Logical Essays}},
  journal = {Philosophy},
  year = {1932},
  volume = {7},
  pages = {84--86},
  xref = {Review of braithwaite_rb:1931a.},
  topic = {logic-classics;}
  }

@book{ russell_b:1937a,
  author = {Bertrand Russell},
  title = {The Principles of Mathematics},
  publisher = {George Allen and Unwin},
  year = {1937},
  address = {London},
  edition = {2},
  topic = {logic-classics;higher-order-logic;}
 }

@book{ russell_b:1940a,
  author = {Bertrand Russell},
  title = {An Inquiry into Meaning and Truth},
  publisher = {George Allen and Unwin},
  year = {1940},
  address = {London},
  rtnote = {In RHT collection.  History Philosophy Shelves.},
  topic = {analytic-philosophy;philosophy-of-language;philosophical-logic;}
 }

@book{ russell_b:1957a,
  author = {Bertrand Russell},
  title = {Mysticism and Logic},
  publisher = {Doubleday},
  year = {1957},
  address = {Garden City, New York},
  contentnote = {Has Russell's views on causality.},
  rtnote = {In RHT collection.  History Philosophy Shelves.},
  topic = {analytic-philosophy;causality;}
 }

@article{ russell_b:1957b,
  author = {Bertrand Russell},
  title = {Mr. {S}trawson on Referring},
  journal = {Mind, New Series},
  year = {1957},
  volume = {66},
  pages = {385--395},
  missinginfo = {number},
  rtnote = {In RHT collection.  File drawers.},
  rtnote = {pragmatics-course;},
  rtnote = {Reading notes on file.},
  topic = {definite-descriptions;pragmatics;}
  }

@book{ russell_b:1959a,
  author = {Bertrand Russell},
  title = {My Philosophical Development},
  publisher = {Allen \&\ Unwin},
  year = {1959},
  address = {London},
  rtnote = {UMich Hatcher Graduate B 1649 .R93 M8},
  topic = {Russell;analytic-philosophy;history-of-philosophy;}
 }

@book{ russell_b:1983a,
  title = {The Collected Papers of {B}ertrand {R}ussell, Volume 9},
  editor = {E. James and J. Slater et al.},
  publisher = {Allen \& Unwin/Unwin Hyman},
  year = {1983},
  address = {London},
  topic = {analytical-philosophy;}
}

@article{ russell_dm:1984a,
  author = {Daniel M. Russell},
  title = {Review of {\ it Planning and Understanding: A
  	Computational Approach to Human Reasoning}, by {R}obert
	{W}ilensky},
  journal = {Artificial Intelligence},
  year = {1984},
  volume = {23},
  number = {2},
  pages = {239--242},
  xref = {Review of wilensky:1983a.},
  topic = {planning;nl-interpretation;plan-recognition;}
  }

@inproceedings{ russell_g1-etal:1991a,
  author = {Graham Russell and John Carroll and Susan Warwick},
  title = {Multiple Default Inheritance in a Unification-Based Lexicon},
  booktitle = {Proceedings of the 29th Meeting of the Association for
  	Computational Linguistics},
  year = {1991},
  editor = {Douglas Appelt},
  pages = {215--211},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Morristown, New Jersey},
  contentnote = {This appears to be an informal version of default
  	unification.  It mentions irregular verbs in English and
	German and some simple spelling rules.},
  topic = {computational-lexical-semantics;nm-ling;default-unification;}
 }

@article{ russell_g2:2008a,
  author = {Gillian Russell},
  title = {One True Logic},
  journal = {Journal of Philosophical Logic},
  year = {2008},
  volume = {37},
  number = {1},
  pages = {593--611},
  topic = {validity;foundations-of-logic;}
  }

@incollection{ russell_s:1999a1,
  author = {Stuart Russell},
  title = {Rationality and Intelligence},
  booktitle = {Foundations of Rational Agency},
  publisher = {Kluwer Academic Publishers},
  year = {1999},
  editor = {Michael Wooldridge and Anand Rao},
  pages = {11--33},
  address = {Dordrecht},
  xref = {Republication, probably revised: russell_s:1999a2},
  topic = {rational-action;agent-architectures;practical-reasoning;}
  }

@incollection{ russell_s:1999a2,
  author = {Stuart Russell},
  title = {Rationality and Intelligence},
  booktitle = {Common Sense Reasoning and Rationality},
  publisher = {Oxford University Press},
  year = {2002},
  editor = {Renee Elio},
  pages = {37--59},
  address = {Oxford},
  xref = {Republication, probably revised of: russell_s:1999a1},
  url = {http://aima.eecs.berkeley.edu/~russell/papers/aij-cnt.pdf},
  abstract = {The long-term goal of our field is the creation and
    understanding of intelligence. Productive research in AI, both
    practical and theoretical, benefits from a notion of intelligence
    that is precise enough to allowthe cumulative development of
    robust systems and general results. The concept of rational
    agency has long been considered a leading candidate to fulfill
    this role.  This paper outlines a gradual evolution in the formal
    conception of rationality that brings it closer to our informal
    conception of intelligence and simultaneously reduces the gap
    between theory and practice. Some directions for future research
    are indicated.},
  rtnote = {In RHT collection.  \my10\russell.pdf},
  topic = {rational-action;agent-architectures;practical-reasoning;}
  }

@article{ russell_sj:1987a,
  author = {Stuart J. Russell},
  title = {Rationality as an Explanation of Language?},
  journal = {Behavioral and Brain Sciences},
  year = {1987},
  volume = {10},
  pages = {730--731},
  missinginfo = {number},
  topic = {pragmatics;relevance;implicature;}
  }

@inproceedings{ russell_sj:1995a1,
  author = {Stuart J. Russell},
  title = {Rationality and Intelligence},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {950--957},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  rtnote = {In RHT collection.},
  xref = {russell_s:1995a2},
  topic = {limited-rationality;foundations-of-AI;}
  }

@article{ russell_sj:1995a2,
  author = {Stuart J. Russell},
  title = {Rationality and Intelligence},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {94},
  number = {1--2},
  pages = {57--77},
  xref = {russell_s:1995a1},
  topic = {resource-limited-reasoning;rationality;}
  }

@incollection{ russell_sj-grosof:1989a,
  author = {Stuart J. Russell and Benjamin N. Grosof},
  title = {A Sketch of Autonomous Learning Using Declarative Bias},
  booktitle = {Machine Learning, Meta-Reasoning, and Logics},
  publisher = {Kluwer Academic Publishers},
  year = {1989},
  editor = {Pavel B. Brazdil and Kurt Konolige},
  address = {Dordrecht},
  missinginfo = {pages},
  rtnote = {In RHT collection.},
  topic = {machine-learning;autonomous-agents;}
  }

@book{ russell_sj-norvig:1995a,
  author = {Stuart Russell and Peter Norvig},
  title = {Artificial Intelligence: A Modern Approach},
  publisher = {Prentice Hall},
  year = {1995},
  address = {Englewood Cliffs, New Jersey},
  ISBN = {0131038052},
  rtnote = {UMich Media Union Library, Q 335 .R861 1995.},
  xref = {Reviews: duboulay:2001a, furbach:2003a.},
  topic = {AI-intro;AI-text;}
 }

@book{ russell_sj-norvig:2003a,
  author = {Stuart Russell and Peter Norvig},
  title = {Artificial Intelligence: A Modern Approach},
  edition = {2},
  publisher = {Prentice Hall},
  year = {2003},
  address = {Englewood Cliffs, New Jersey},
  ISBN = {0137903952},
  rtnote = {In RHT collection.},
  topic = {AI-intro;AI-text;}
 }

@incollection{ russell_sj-wefald:1989a1,
  author = {Stuart J. Russell and Eric Wefald},
  title = {Principles of Metareasoning},
  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 = {400--411},
  address = {San Mateo, California},
  xref = {Journal Publication: russell_sj-wefald:1989a2.},
  topic = {kr;limited-rationality;kr-course;}
  }

@article{ russell_sj-wefald:1989a2,
  author = {Stuart J. Russell and Eric Wefald},
  title = {Principles of Metareasoning},
  journal = {Artificial Intelligence},
  year = {1991},
  volume = {49},
  number = {1--3},
  pages = {361--395},
  xref = {Conference Publication: russell_sj-wefald:1989a1.},
  topic = {metareasoning;practical-reasoning;limited-rationality;}
  }

@book{ russell_sj-wefald:1991a,
  author = {Stuart J. Russell and Eric Wefald},
  title = {Do the Right Thing},
  publisher = {The {MIT} Press},
  year = {1991},
  address = {Cambridge, Massachusetts},
  topic = {limited-rationality;}
 }

@incollection{ rustichini:1992a,
  author = {Aldo Rustichini},
  title = {Decision theory with Higher Order Beliefs},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
  	Proceedings of the Fourth Conference ({TARK} 1992)},
  publisher = {Morgan Kaufmann},
  year = {1992},
  editor = {Yoram Moses},
  pages = {118--131},
  address = {San Francisco},
  topic = {decision-theory;foundations-of-utility;belief;}
  }

@book{ rustin:1973a,
  editor = {Randall Rustin},
  title = {Natural Language Processing},
  publisher = {Algorithmics Press},
  year = {1973},
  address = {New York},
  topic = {nlp-survey;}
 }

@article{ ruth:1976a,
  author = {Gregory R. Ruth},
  title = {Intelligent Program Analysis},
  journal = {Artificial Intelligence},
  year = {1976},
  volume = {7},
  number = {1},
  pages = {65--85},
  acontentnote = {Abstract:
     In order to examine the possibilities of using a computer as an
     aid to teaching programming, a prototype intelligent program
     analyzer has been constructed.  Its design assumes that a system
     cannot analyze a program unless it can ``understand'' it;
     understanding being based on a knowledge of what must be
     accomplished and how code is used to express the intentions.
      It was found that a one-page description of two common sorting
     algorithms or of some common approximation problems was
     sufficient for the computer to understand and analyze a wide
     variety of programs and identify and describe almost all errors.  },
  topic = {automatic-programming;}
  }

@article{ rutherford:1970a,
  author = {W.E. Rutherford},
  title = {Some Observations Concerning Subordinate Clauses in
  	{E}nglish},
  journal = {Language},
  year = {1970},
  volume = {46},
  pages = {97--115},
  missinginfo = {A's 1st name, number},
  topic = {speech-acts;pragmatics;subordinate-clauses;}
  }

@article{ ruttenburg:1999a,
  author = {Wim Ruttenburg},
  title = {Basic Logic, K4, and Persistence},
  journal = {Studia Logica},
  year = {1999},
  volume = {63},
  number = {1},
  pages = {343--352},
  topic = {modal-logic;}
  }

@phdthesis{ ruys:1995a,
  author = {E. Ruys},
  title = {The Scope of Indefinites},
  school = {University of Utrecht},
  year = {1995},
  type = {Ph.{D}. Dissertation},
  address = {Utrecht},
  missinginfo = {A's 1st name, department},
  topic = {nl-semantics;nl-quantifier-scope;indefinites;}
 }

@book{ ruzsa:1997a,
  author = {Imre Ruzsa},
  title = {Introduction to Metalogic},
  publisher = {\'Aron Publishers},
  year = {1997},
  address = {Budapest},
  rtnote = {In RHT collection.},
  rtnote = {In RHT Collection.  Logic shelves.},
  topic = {first-order-logic;computability;higher-order-logic;}
 }

@book{ ruzsa-szabolcsi:1987a,
  editor = {Imre Ruzsa and Anna Szabolski},
  title = {Proceedings of the '87 Symposium on Logic and Language},
  publisher = {Akad\'emiai Kiad\'o},
  year = {1987},
  address = {Budapest},
  contentnote = {TC:
        1. Johan van der Auwera, "Are actives and passives
		truth-conditionally equivalent?"
        2. Laszlo Hunyadi, "On the logical role of stress"
        3. Laszlo Maracz, "Wh-Strategies in Hungarian: Data and Theory"
        4. Z. Kanski, "Logical symmetry and natural language reciprocals"
        5. Sjaak de Mey, "Transitive sentences and the property of logicality"
        7. S. Lobner, "The conceptual nature of natural language
		quantification"
        8. L Kalman, "Generics, common-sense reasoning, and monotonicity in
				discourse representation theory"
        9. L Polos, "DRT and structured domains (typed or type-free?)"
       10. V Rantala, "Interpreting Narratives: Some Logical Questions"
       11. C Casadio, "Extending categorial grammar (An analysis of word
				order and cliticization in Italian)"
       12. A Szabolski, "On combinatory categorial grammar"
       13. A Strigin, "Logic for syntax"
       14. A Ranta, "Prospects for type-theoretical semantics for natural
				language"
       15. J Peregrin, "Intersubstitutivity scales and negation"
       16. A Madarisz, "Semantic games and semantic value gaps"
       17. K Wuttch, "An epistemic logic without normality propositions"
       18. E. Smirnova, "An approach to non-standard semantics and
       		the foundation of logical systems"
       19. H. Wessel, "Non-traditional predication theory and its applications"
       20. I Ruzsa, "On internal and external negation"
	},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;pragmatics;}
 }

@incollection{ ryan:1992a,
  author = {Mark Ryan},
  title = {Representing Defaults as Sentences with Reduced Priority},
  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 = {649--660},
  address = {San Mateo, California},
  topic = {kr;nonmonotonic-reasoning;inheritabce-theory;}
  }

@incollection{ ryan:1996a,
  author = {Mark Ryan},
  title = {Belief Revision and Ordered Theory Presentations},
  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 = {129--151},
  address = {Berlin},
  topic = {belief-revision;}
  }

@incollection{ ryan-etal:1996a1,
  author = {Mark Ryan and Pierre-Yves Schobbens and Odinaldo Rodrigues},
  title = {Counterfactuals and Updates as Inverse Modalities
  	(Preliminary Version)},
  booktitle = {Theoretical Aspects of Rationality and Knowledge:
  	Proceedings of the Sixth Conference ({TARK} 1996)},
  publisher = {Morgan Kaufmann},
  year = {1996},
  editor = {Yoav Shoham},
  pages = {163--174},
  address = {San Francisco},
  xref = {Journal publication: ryan-schobbens:1996a2.},
  topic = {belief-revision;conditionals;Ramsey-test;}
  }

@article{ ryan_md-schobbens:1996a2,
  author = {Mark D. Ryan and Pierre-Yves Schobbens},
  title = {Counterfactuals and Updates as Inverse Modalities},
  journal = {Journal of Logic, Language, and Information},
  year = {1997},
  volume = {6},
  number = {2},
  pages = {123--146},
  xref = {Conference publication: ryan-etal:1996a1.},
  topic = {conditionals;belief-revision;Ramsey-test;}
  }

@article{ ryan_s:1991a,
  author = {Sharon Ryan},
  title = {The Preface Paradox},
  journal = {Philosophical Studies},
  year = {1991},
  volume = {64},
  number = {3},
  pages = {293--307},
  topic = {paradox-of-the-preface;}
  }

@article{ rybski-etal:2007a,
  author = {Paul E. Rybski and Jeffrey Forbes and Debra Burns and
  		Zach Dodds and Paul Oh and Matthias Scheutz and
		Bob Avanzato},
  title = {The {AAAI} 2006 Mobile Robot Competition and Exhibition},
  journal = {The {AI} Magazine},
  year = {2007},
  volume = {28},
  number = {2},
  pages = {101--114},
  topic = {robotics;}
  }

@incollection{ rychtyckyj:1996a,
  author = {Nestor Rychtyckyj},
  title = {{DLMS}: An Extension of {KL-ONE} in the Automobile Industry},
  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 = {588--596},
  address = {San Francisco, California},
  rtnote = {Use this in KR instead of CLASP?},
  topic = {kr;description-logics;applications-of-KL1;
		applied-kr;kr-course;}
  }

@inproceedings{ rychtyckyj-reynolds_rc:2000a,
  author = {Nestor Rychtyckyj and Robert C. Reynolds},
  title = {Long-Term Maintainability of Deployed Knowledge
  	Representation Systems},
  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 = {494--504},
  topic = {kr-systems;software-engineering;}
  }

@article{ ryckman:1993a,
  author = {T.A. Ryckman},
  title = {Review of \emph{{T}he Semantic Tradition from {K}ant
  	to {C}arnap: to the {V}ienna Station}, by {J}. {A}lberto
	{C}offa},
  journal = {The Philosophical Review},
  year = {1993},
  volume = {102},
  number = {4},
  pages = {597--599},
  xref = {Review of: coffa:1991a.},
  topic = {philosophy-of-language;logical-positivism;}
  }

@book{ ryle:1949a,
  author = {Gilbert Ryle},
  title = {The Concept of Mind},
  publisher = {Hutchinson \&{} Co.},
  year = {1949},
  address = {London},
  rtnote = {In RHT collection.  History of philosophy shelves.},
  topic = {philosophy-of-mind;}
 }

@incollection{ rymon:1992a,
  author = {Ron Rymon},
  title = {Search through Systematic Set Enumeration},
  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 = {539--550},
  address = {San Mateo, California},
  topic = {kr;search;}
  }

@article{ rymon:1996a,
  author = {Ron Rymon},
  title = {Goal-Directed Diagnosis---A Diagnostic Reasoning
  	Framework for Exploratory-Corrective Domains},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {84},
  number = {1--2},
  pages = {257--297},
  topic = {diagnosis;intention-maintenance;planning;}
  }

@article{ rysiew:2001a,
  author = {Patrick Rysiew},
  title = {The Context-Sensitivity of Knowledge Attributions},
  journal = {No\^us},
  year = {2001},
  volume = {35},
  number = {4},
  pages = {477--514},
  topic = {propositional-attitudes;context;knowledge;skepticism;}
  }

@incollection{ ryu-lee_r:1994a,
  author = {Y. Ryu and R. Lee},
  title = {Defeasible Deontic Reasoning:  A Logic Programming Model},
  booktitle = {Deontic Logic in Computer Science: Normative System
  	Specification},
  publisher = {John Wiley and Sons},
  year = {1994},
  editor = {{John-Jules Ch.} Meyer and R.J. Wieringa},
  pages = {225--241},
  address = {New York},
  topic = {deontic-logic;logic-programing;nonmonotonic-reasoning;}
  }

@unpublished{ saarinen:1975a,
  author = {Esa Saarinen},
  title = {Continuity and Similarity in Cross-Identification},
  year = {1975},
  note = {Unpublished manuscript, Department of Philosophy, University
	of Helsinki},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  topic = {individuation;quantifying-in-modality;}
  }

@unpublished{ saarinen:1975b,
  author = {Esa Saarinen},
  title = {Propositional Attitudes, Anaphora, and Backwards-Looking
	Operators},
  year = {1975},
  note = {Unpublished manuscript, Department of Philosophy, University
	of Helsinki},
  rtnote = {In RHT collection.  Also RT Notes on this.  Topic Saarinen.},
  topic = {individuation;quantifying-in-modality;}
  }

@unpublished{ saarinen:1976a,
  author = {Esa Saarinen},
  title = {Intentional Identity Interpreted},
  year = {1976},
  note = {Unpublished manuscript, Department of Philosophy, University
	of Helsinki},
  address = {Helsinki, Finland},
  rtnote = {In RHT collection.},
  topic = {intentional-identity;}
  }

@techreport{ saarinen:1977a,
  author = {Esa Saarinen},
  title = {Backwards-Looking Operators in Intensional Logic and
  	in Philosophical Analysis: A Summary},
  institution = {Department of Philosophy, University
	of Helsinki},
  number = {7},
  year = {1977},
  address = {Helsinki, Finland},
  rtnote = {In RHT collection.},
  topic = {modal-logic;temporal-logic;}
  }

@techreport{ saarinen:1977b,
  author = {Esa Saarinen},
  title = {Backards-Looking Operators in Tense Logic and in
  	Natural Language},
  institution = {Department of Philosophy, University of Helsinki},
  number = {4},
  year = {1977},
  address = {Helsinki, Finland},
  rtnote = {In RHT collection.},
  topic = {temporal-logic;nl-semantics;}
  }

@techreport{ saarinen:1977c,
  author = {Esa Saarinen},
  title = {Propositional Attitudes, Anaphora, and Backards-Looking
  	Operators},
  institution = {Department of Philosophy, University of Helsinki},
  number = {6},
  year = {1977},
  address = {Helsinki, Finland},
  rtnote = {In RHT collection.},
  topic = {anaphora;intensionality;}
  }

@article{ saarinen:1977d,
  author = {Esa Saarinen},
  title = {Game-Theoretical-Semantics},
  journal = {The Monist},
  year = {1977},
  volume = {60},
  pages = {406--418},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {game-theoretic-semantics;}
  }

@unpublished{ saarinen:1978a,
  author = {Esa Saarinen},
  title = {Quantifier Phrases are (at Least) Five Ways Ambiguous
		in Intensional Contexts},
  year = {1978},
  note = {Unpublished manuscript, Department of Philosophy, University
	of Helsinki},
  rtnote = {In RHT collection.},
  topic = {ambiguity;nl-quantifier-scope;intensionality;}
  }

@unpublished{ saarinen:1978b,
  author = {Esa Saarinen},
  title = {A Refutation of {T}homason's Argument that Indirect
		Discourse is not Quotational},
  year = {1978},
  note = {Unpublished manuscript, Department of Philosophy, University
	of Helsinki},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  topic = {syntactic-attitudes;pragmatics;}
  }

@article{ saarinen:1978c,
  author = {Esa Saarinen},
  title = {Intsnsional Identity Interpreted},
  journal = {Linguistics and Philosophy},
  year = {1978},
  volume = {2},
  number = {2},
  pages = {151--223},
  topic = {intentional-identity;}
  }

@book{ saarinen:1979a,
  editor = {Esa Saarinen},
  title = {Game-Theoretical Semantics: Essays on Semantics},
  publisher = {D. Reidel Publishing Co.},
  year = {1979},
  address = {Dordrecht},
  ISBN = {9027709181},
  rtnote = {UMich Graduate Library, P325.5.M36 G19.},
  topic = {game-theoretic-semantics;}
 }

@article{ saarinen:1982a,
  author = {Esa Saarinen},
  title = {Linguistic Intuitions and Reductionism: Comments on {K}atz'
  	Paper},
  journal = {Notre {D}ame Journal of Formal Logic},
  year = {1982},
  volume = {23},
  number = {3},
  pages = {296--315},
  rtnote = {In RHT collection.},
  topic = {foundations-of-semantics;philosophy-of-linguistics;}
  }

@incollection{ saarinen:1994a,
  author = {Esa Saarinen},
  title = {Propositional Attitudes Are Not Attitudes towards
  	Propositions},
  booktitle = {Intensional Logic:  Theory and Applications},
  publisher = {The Philosophical Society of Finland},
  year = {1994},
  editor = {Ilkka Niiniluoto and Esa Saarinen},
  pages = {130--162},
  address = {Helsinki},
  topic = {propositional-attitudes;intensionality;}
  }

@book{ saarinen-etal:1979a,
  editor = {Esa Saarinen and Risto Hilpinen and Ilkka Niiniluoto and
  	Merrill Province Hintikka},
  title = {Essays in Honor of {J}aakko {H}intikka},
  publisher = {D. Reidel Publishing Co.},
  year = {1979},
  address = {Dordrecht},
  topic = {nl-semantics;philosophical-logic;}
 }

@article{ saaty:1994a,
  author = {Thomas L. Saaty},
  title = {How to Make a Decision: The Analytic Hierarchy Process},
  journal = {Interfaces},
  year = {1994},
  volume = {24},
  number = {6},
  pages = {19--43},
  rtnote = {In RHT collection.},
  topic = {decision-theory;}
  }

@article{ saba-corriveau:2001a,
  author = {Walid S. Saba and Jean-Pierre Corriveau},
  title = {Plausible Reasoning and the Resolution of Quantifier Scope
        Ambiguities},
  journal = {Studia Logica},
  year = {2001},
  volume = {67},
  number = {2},
  pages = {271--289},
  topic = {common-sense-reasoning;nonmonotonic-reasoning;
  	nonmonotonic-logic;nl-quantifier-scope;}
  }

@article{ sabbadin-zanardo:2003a,
  author = {Michela Sabbadin and Alberto Zanardo},
  title = {Topological Aspects of Branching Time Semantics},
  journal = {Studia Logica},
  year = {2003},
  volume = {75},
  number = {3},
  pages = {271--286},
  topic = {branching-time;tmix-project;}
  }

@article{ sablon-etal:1994a,
  author = {Gunther Sablon and Luc De Raedt and Maurice Bruynooghe},
  title = {Iterative Versionspaces},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {69},
  number = {1--2},
  pages = {393--409},
  acontentnote = {Abstract:
     An incremental depth-first algorithm for computing the S- and
     G-set of Mitchell's Candidate Elimination and Mellish's
     Description Identification algorithm is presented.  As in
     Mellish's approach, lowerbounds (examples) as well as
     upperbounds can be handled.  Instead of storing the complete S-
     and G-sets, only one element s S and g G is stored, together
     with backtrack information.  The worst-case space complexity of
     our algorithm is linear in the number of lower- and upperbounds.
     For the Candidate Elimination algorithm this can be exponential.
     We introduce a test for membership of S and G with a number of
     coverage tests linear in the number of examples.  Consequently
     the worst-case time complexity to compute S and G for each
     example is only a linear factor worse than the Candidate
     Elimination algorithm's.  },
  topic = {concept-learning;version-spaces;machine-learning;}
  }

@article{ sacerdoti:1974a,
  author = {Earl D. Sacerdoti.},
  title = {Planning in a Hierarchy of Abstraction Spaces},
  journal = {Artificial Intelligence},
  volume = {5},
  number = {2},
  pages = {115--135},
  year = {1974},
  topic = {planning;planning-algorithms;hierarchical-planning;}
 }

@book{ sacerdoti:1977a,
  author = {Earl D. Sacerdoti},
  title = {A Structure for Plans and Behavior},
  publisher = {Elsevier Science Publishers},
  year = {1977},
  address = {Amsterdam},
  topic = {planning;}
 }

@article{ sachenbacher-struss:2005a,
  author = {M. Sachenbacher and P. Struss},
  title = {Task-Dependent Qualitative Domain Abstraction},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {162},
  number = {1--2},
  pages = {121--143},
  topic = {problem-reformulation;qualitative-reasoning;abstraction;}
  }

@article{ sachs:1963a,
  author = {David Sachs},
  title = {A Fallacy in {P}lato's {R}epublic},
  journal = {The Philosophical Review},
  year = {1963},
  volume = {72},
  pages = {141--158},
  missinginfo = {number},
  topic = {Plato;ethics;}
  }

@article{ sack:2008a,
  author = {Joshua Sack},
  title = {Temporal Languages for Epistemic Programs},
  journal = {Journal of Logic, Language, and Information},
  year = {2008},
  volume = {18},
  number = {2},
  pages = {183--216},
  topic = {dynamic-logic;epistemic-logic;tense-logic;}
  }

@inproceedings{ sacks_ep:1987a1,
  author = {Elisha P. Sacks},
  title = {Hierarchical Reasoning about Inequalities},
  booktitle = {Proceedings of the Sixth National Conference on
              Artificial Intelligence},
  year = {1987},
  editor = {Kenneth Forbus and Howard Shrobe},
  pages = {649--654},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, CA},
  xref = {Republication: sacks:1987a2.},
  topic = {arithmetical-reasoning;qualitative-reasoning;}
  }

@incollection{ sacks_ep:1987a2,
  author = {Elisha P. Sacks},
  title = {Hierarchical Reasoning about Inequalities},
  booktitle = {Qualitative Reasoning about Physical Systems},
  publisher = {Morgan Kaufmann},
  year = {1990},
  editor = {Daniel S. Weld and Johan de Kleer},
  pages = {344--349},
  address = {San Mateo, California},
  xref = {Republication of: sacks:1987a1.},
  topic = {arithmetical-reasoning;qualitative-reasoning;}
  }

@unpublished{ sacks_ep:1989a,
  author = {Elisha P. Sacks},
  title = {Automatic Analysis of One-Parameter Planar Ordinary
  	Differential Equations by Intelligent Numeric Simulation},
  year = {1989},
  note = {Unpublished manuscript, Department of Computer Science,
  	Princeton University.},
  rtnote = {In RHT collection.},
  topic = {dynamic-systems;qualitative-differential-equations;}
  }

@article{ sacks_ep:1990a,
  author = {Elisha P. Sacks},
  title = {A Dynamic Systems Perspective On Qualitative Simulation},
  journal = {Artificial Intelligence},
  year = {1990},
  volume = {42},
  number = {3},
  pages = {349--362},
  topic = {qualitative-physics;}
  }

@article{ sacks_ep:1990b,
  author = {Elisha P. Sacks},
  title = {Automatic Qualitative Analysis of Dynamic Systems Using
  	Piecewise Linear Approximations},
  journal = {Artificial Intelligence},
  year = {1990},
  volume = {46},
  number = {1--2},
  pages = {313--364},
  topic = {qualitative-physics;}
  }

@article{ sacks_ep:1991a,
  author = {Elisha P. Sacks},
  title = {Automatic Analysis of One-Parameter Planar Ordinary
  	Differential Equations by Intelligent Numeric Simulation},
  journal = {Artificial Intelligence},
  year = {1991},
  volume = {48},
  number = {1},
  pages = {27--56},
  topic = {qualitative-physics;}
  }

@article{ sacks_ep-doyle_j:1991a,
  author = {Elisha P. Sacks and Jon Doyle},
  title = {Prolegomena to Any Future Qualitative Physics},
  journal = {Computational Intelligence},
  year = {1992},
  volume = {8},
  number = {2},
  pages = {187--209},
  rtnote = {In RHT collection.},
  topic = {qualitative-physics;}
  }

@incollection{ sacks_h:1972a,
  author = {Harvey Sacks},
  title = {On The Analyzability of Stories by Children},
  booktitle = {Directions in Sociolinguistics},
  publisher = {Holt, Rinehart and Winston},
  year = {1972},
  editor = {J.J. Gumperz and D.H. Hymes},
  pages = {325--345},
  missinginfo = {A's 1st name.},
  topic = {ethnomethodology;conversation-analysis;}
  }

@incollection{ sacks_h:1974a,
  author = {Harvey Sacks},
  title = {An Analysis of the Course of a Joke's Telling in
  	Conversation},
  booktitle = {Explorations in the Ethnography of Speaking},
  publisher = {Cambridge University Press},
  year = {1974},
  editor = {R. Bauman and J. Sherzer},
  pages = {337--353},
  address = {Cambridge, England},
  missinginfo = {A's 1st name.},
  topic = {conversation-analysis;}
  }

@incollection{ sacks_h:1975a,
  author = {Harvey Sacks},
  title = {Everyone Has to Lie},
  booktitle = {Sociocultural Dimensions of Language},
  publisher = {Academic Press},
  year = {1975},
  editor = {M. Sanches and B. Blount},
  pages = {57--80},
  address = {New York},
  missinginfo = {A's 1st name.},
  topic = {conversation-analysis;}
  }

@article{ sacks_h:1976a,
  author = {Harvey Sacks},
  title = {Paradoxes, Pre-Sequences and Pronouns},
  journal = {Pragmatics Microfiche},
  year = {1976},
  volume = {1.8},
  pages = {E6--G12},
  missinginfo = {A's 1st name},
  topic = {conversation-analysis;}
  }

@incollection{ sacks_h:1979a,
  author = {Harvey Sacks},
  title = {Two Preferences in the Organization of Reference to Person
  	in Conversation and Their Interaction},
  booktitle = {Everyday Language: Studies in Ethnomethodology},
  publisher = {Irvington},
  year = {1979},
  editor = {G. Psathas},
  pages = {15--21},
  address = {New York},
  missinginfo = {A's 1st name.},
  topic = {ethnomethodology;conversation-analysis;}
  }

@book{ sacks_h:1992a,
  author = {Harvey Sacks},
  title = {Lectures on Conversation},
  publisher = {Blackwell Publishers},
  year = {1992},
  address = {Oxford},
  note = {Edited by Gail Jefferson.},
  topic = {ethnomethodology;conversation-analysis;sociolinguistics;}
 }

@article{ sacks_h-etal:1974a,
  author = {Harvey Sacks and Emmanuel A. Schegloff and G. Jefferson},
  title = {A Simplest Systematics for the Organization of Turntaking
  	for Conversation},
  journal = {Language},
  pages = {696--735},
  volume = {50},
  year = {1974},
  missinginfo = {number},
  xref = {Variant version: sacks-etal:1978a},
  topic = {pragmatics;conversation-analysis;sociolinguistics;}
 }

@incollection{ sacks_h-etal:1978a,
  author = {Harvey Sacks and Emmanuel A. Schegloff and G. Jefferson},
  title = {A Simplest Systematics for the Organization of Turntaking
  	for Conversation},
  booktitle = {Studies in the Organization of Conversational Interaction},
  publisher = {Academic Press},
  year = {1978},
  editor = {A. Schenkein},
  pages = {7--55},
  address = {New York},
  xref = {Variant version: sacks-etal:1974a},
  topic = {conversation-analysis;}
  }

@article{ sadeh-etal:1995a,
  author = {Norman Sadeh and Katia Sycara and Yalin Xiong},
  title = {Backtracking Techniques for the Job Shop Scheduling
  	Constraint Satisfaction Problem},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {76},
  number = {1--2},
  pages = {455--480},
  topic = {backtracking;constraint-satisfaction;search;scheduling;}
  }

@article{ sadeh-fox_ms:1996a,
  author = {Norman Sadeh and Mark S. Fox},
  title = {Variable and Value Ordering Heuristics for the Job Shop
  	Scheduling Constraint Satisfaction Problem},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {86},
  number = {1},
  pages = {1--41},
  topic = {constraint-satisfaction;search;scheduling;
  	probabilistic-algorithms;}
  }

@incollection{ sadek:1992a,
  author = {M.D. Sadek},
  title = {A Study in the Logic of Intention},
  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 = {462--473},
  address = {San Mateo, California},
  topic = {intention;agent-attitudes;}
  }

@unpublished{ sadock:1971a,
  author = {Jerrold M. Sadock},
  title = {Aspects of Linguistic Pragmatics},
  year = {1971},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  topic = {pragmatics;}
  }

@incollection{ sadock:1974a,
  author = {Jerrold M. Sadock},
  title = {Speech Act Idions},
  booktitle = {Proceedings of the Eighth Regional Meeting of the
  	Chicago Linguistics Society},
  year = {1972},
  pages = {329--339},
  publisher = {Chicago Linguistics Society},
  address = {Chicago University, Chicago, Illinois},
  rtnote = {In RHT collection.},
  topic = {speech-acts;idioms;}
  }

@book{ sadock:1974b,
  author = {Jerrold M. Sadock},
  title = {Towards a Linguistic Theory of Speech Acts},
  publisher = {Academic Press},
  year = {1974},
  address = {New York},
  topic = {speech-acts;}
 }

@incollection{ sadock:1976a,
  author = {Jerrold M. Sadock},
  title = {On Significant Generalization:
		Notes on the {H}allean Syllogism},
  booktitle = {Assessing Linguistic Arguments},
  publisher = {Hemisphere Publishing Corporation},
  year = {1976},
  editor = {Jessica R. Wirth},
  pages = {85--94},
  address = {Washington, D.C.},
  contentnote = {On the merits of the "capturing a generalization"
  	argument.},
  topic = {philosophy-of-linguistics;foundations-of-linguistics;
  	phonology;}
  }

@incollection{ sadock:1978a,
  author = {Jerrold M. Sadock},
  title = {On Testing for Conversational Implicature},
  booktitle = {Syntax and Semantics 9: Pragmatics},
  publisher = {Academic Press},
  year = {1975},
  editor = {Peter Cole},
  pages = {281--297},
  address = {New York},
  rtnote = {pragmatics-course;},
  topic = {implicature;pragmatics;}
  }

@incollection{ sadock:1981a,
  author = {Jerrold L. Sadock},
  title = {Almost},
  booktitle = {Radical Pragmatics},
  publisher = {Academic Press},
  year = {1981},
  editor = {Peter Cole},
  pages = {257--270},
  address = {New York},
  rtnote = {Use as case study in Prags course?},
  rtnote = {In RHT collection.},
  topic = {implicature;pragmatics;presupposition;}
  }

@book{ sadock:1991a,
  author = {Jerrold L. Sadock},
  title = {Autolexical Syntax:  A Theory of Parallel Grammatical
  		Representations},
  publisher = {Chicago University Press},
  year = {1991},
  address = {Chicago},
  topic = {autolexical-syntax;nl-syntax;}
 }

@article{ sadock-zwicky:1985a,
  author = {Jerrold M. Sadock and Arnold M. Zwicky},
  title = {A Note on $xy$ Languages},
  journal = {Linguistics and Philosophy},
  year = {1985},
  volume = {8},
  number = {2},
  pages = {229--236},
  topic = {formal-language-theory;}
  }

@incollection{ saebo:1991a,
  author = {Kjell Johan S{\ae}b{\o}},
  title = {Partition Semantics and Cooperative Response},
  booktitle = {Working Papers in Computational Semantics, Dialogue and
  	Discourse},
  publisher = {Department of Mathematics, University of Oslo},
  year = {1991},
  editor = {Harold L. Somers},
  pages = {5--22},
  address = {P.O. Box 1053-Blindern, 0316 Oslo 3, Norway},
  topic = {pragmatics;question-answering;implicature;interrogatives;}
  }

@article{ saebo:1996a,
  author = {Kjell Johan S{\ae}b{\o}},
  title = {Anaphoric Presuppositions and Zero Anaphora},
  journal = {Linguistics and Philosophy},
  year = {1996},
  volume = {19},
  number = {2},
  pages = {187--209},
  topic = {anaphora;presupposition;}
  }

@article{ saebo:2001a,
  author = {Kjell Johan S{\ae}b{\o}},
  title = {The Semantics of {S}candanavian Free Choice Items},
  journal = {Linguistics and Philosophy},
  year = {2001},
  volume = {24},
  number = {6},
  pages = {737--787},
  topic = {free-choice-`any/or';Scandanavian-languages;}
  }

@article{ saebo:2007a,
  author = {Kjell Johan S{\ae}b{\o}},
  title = {Focus Interpretation in Thetic Statements:  Alternative
  		Semantics and Optimality Theory Pragmatics},
  journal = {Journal of Logic, Language, and Information},
  year = {2007},
  volume = {16},
  number = {1},
  pages = {15--33},
  topic = {sentence-focus;alternatives;optimality-theory;}
  }

@article{ saebo:2009a,
  author = {Kjel Johan S{\ae}b{\o}},
  title = {Possession and Pertinance:  the Meaning of \emph{have}},
  journal = {Natural Language Semantics},
  year = {2009},
  volume = {17},
  number = {1},
  pages = {369--397},
  topic = {"have"-constructions;nl-semantics;}
  }

@article{ saebo:2009b,
  author = {Kjell Johan S{\ae}bo},
  title = {Judgement Ascriptions},
  journal = {Linguistics and Philosophy},
  year = {2009},
  volume = {32},
  number = {4},
  pages = {327--352},
  topic = {predicates-of-taste;}
  }

@book{ saeed:1996a,
  author = {John Saeed},
  title = {Semantics},
  publisher = {Blackwell Publishers},
  year = {1996},
  address = {Oxford},
  rtnote = {Hillman P325 S2 1997},
  rtnote = {In RHT collection.},
  rtnote = {semantics-course;},
  topic = {nl-semantics;}
 }

@article{ saffiotti-etal:1995a,
  author = {Alessandro Saffiotti and Kurt Konolige and Enrique H. Ruspini},
  title = {A Multivalued Logic Approach to Integrating Planning and
  	Control},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {76},
  number = {1--2},
  pages = {481--526},
  acontentnote = {Abstract:
     Intelligent agents embedded in a dynamic, uncertain environment
     should incorporate capabilities for both planned and reactive
     behavior. Many current solutions to this dual need focus on one
     aspect, and treat the other one as secondary.  We propose an
     approach for integrating planning and control based on behavior
     schemas, which link physical movements to abstract action
     descriptions.  Behavior schemas describe behaviors of an agent,
     expressed as trajectories of control actions in an environment,
     and goals can be defined as predicates on these trajectories.
     Goals and behaviors can be combined to produce conjoint goals
     and complex controls.  The ability of multivalued logics to
     represent graded preferences allows us to formulate tradeoffs in
     the combination.  Two composition theorems relate complex
     controls to complex goals, and provide the key to using standard
     knowledge-based deliberation techniques to generate complex
     controllers.  We report experiments in planning and execution on
     a mobile robot platform, Flakey.  },
  topic = {cognitive-robotics;planning;reactive-AI;procedural-control;
  	agent-environment-interaction;multivalued-logic;}
  }

@incollection{ safir_kj:1987a,
  author = {Kenneth J. Safir},
  title = {What Explains the Indefiniteness Effect?},
  booktitle = {The Representation of (In)definites},
  publisher = {The {MIT} Press},
  year = {1987},
  editor = {Eric Reuland and Alice {ter Meulen}},
  pages = {71--97},
  address = {Cambridge, Massachusetts},
  topic = {nl-semantics;(in)definiteness;}
  }

@article{ safir_kj:1992a,
  author = {Ken Safir},
  title = {Implied Non-Coreference and the Pattern of Anaphora},
  journal = {Linguistics and Philosophy},
  year = {1992},
  volume = {15},
  number = {1},
  pages = {1--52},
  topic = {anaphora;non-co-reference;}
  }

@article{ safir_kj:1993a,
  author = {Kennith J. Safir},
  title = {Perception, Selection, and Structural Economy},
  journal = {Natural Language Semantics},
  year = {1993},
  volume = {2},
  number = {1},
  pages = {47--70},
  topic = {nl-syntax;nl-semantics;logic-of-perception;}
  }

@article{ safir_o:1975a,
  author = {Orin Safir},
  title = {Concrete Forms---Their Application to the Logical
  	Paradoxes and {G}\"odel's Theorem},
  journal = {Journal of Philosophical Logic},
  year = {1975},
  volume = {5},
  number = {1},
  pages = {133--154},
  topic = {semantic-paradoxes;}
  }

@incollection{ sag:1974a,
  author = {Ivan A. Sag},
  title = {On the State of Progress in Progressives and Statives},
  booktitle = {New Ways of Analyzing Variation in {E}nglish},
  publisher = {Georgetown University Press},
  year = {1974},
  editor = {Ralph Fasold and Roger Schuy},
  pages = {83--95},
  address = {Washington, DC},
  topic = {tense-aspect;progressive-aspect;}
  }

@book{ sag:1980a,
  editor = {Ivan A. Sag},
  title = {Stanford Working Papers in Grammatical Theory},
  publisher = {Stanford Cognitive Science Group},
  year = {1980},
  address = {Stanford, California},
  rtnote = {In RHT Collection.  LLP edited shelves.},
  topic = {GPSG;}
 }

@incollection{ sag:1981a,
  author = {Ivan A. Sag},
  title = {Formal Semantics and Extralinguistic Context},
  booktitle = {Radical Pragmatics},
  publisher = {Academic Press},
  year = {1981},
  editor = {Peter Cole},
  pages = {273--293},
  address = {New York},
  topic = {indexicals;context;}
  }

@article{ sag:1983a,
  author = {Ivan Sag},
  title = {On Parasitic Gaps},
  journal = {Linguistics and Philosophy},
  year = {1983},
  volume = {6},
  number = {1},
  pages = {35--45},
  topic = {parasitic-gaps;anaphora;ellipsis;}
  }

@article{ sag:1997a,
  author = {Ivan A. Sag},
  title = {English Relative Clause Constructions},
  journal = {Journal of Linguistics},
  year = {1997},
  volume = {33},
  pages = {431--484},
  missinginfo = {number},
  topic = {relative-clauses;}
  }

@techreport{ sag-etal:1984a,
  author = {Ivan A. Sag and Gerald Gazdar and Thomas Wasow},
  title = {Coordination and How to Distinguish Categories},
  institution= {Center for the Study of Language and Information},
  number = {CSLI--84--3},
  year = {1984},
  address = {Stanford University, Stanford California.},
  rtnote = {In RHT collection.},
  topic = {GPSG;syntactic-categories;coordination;}
  }

@article{ sag-hankamer:1984a,
  author = {Ivan Sag and Jorge Hankamer},
  title = {Toward a Theory of Anaphoric Processing},
  journal = {Linguistics and Philosophy},
  year = {1984},
  volume = {7},
  number = {3},
  pages = {325--345},
  topic = {anaphora;psycholinguistics;}
  }

@inproceedings{ sag-liberman:1975a,
  author = {Ivan A. Sag and Mark Liberman},
  title = {The Intonational Disambiguation of Indirect Speech Acts},
  booktitle = {Papers from the Eleventh Regional Meeting of the
  	{C}hicago Linguistic Society},
  year = {1975},
  editor = {Robin Grossman and Jim San and Tim Vance},
  pages = {487--497},
  organization = {Chicago Linguistic Society},
  publisher = {Chicago Linguistic Society},
  address = {Goodspeed Hall, 1050 East 59th Street, Chicago, Illinois},
  topic = {intonation;indirect-speech-acts;pragmatics;}
  }

@book{ sag-szabolcsi:1992a,
  editor = {Ivan A. Sag and Anna Szabolcsi},
  title = {Lexical Matters},
  publisher = {Center for the Study of Language and Information},
  year = {1992},
  number = {24},
  series = {{CSLI} Lecture Notes},
  address = {Stanford, California},
  ISBN = {Hardcover: 0937073652, Paperback: 0937073660},
  contentnote = {TC:
  	1. Carol Tenny, "The Aspectual Interface Hypothesis"
	2. Manfred Krifka, "Thematic Relations as Links between
		Nominal Reference and Temporal Constitution"
	3. Farrell Ackerman, "Complex predicates and morpholexical
		Relatedness: Locative Alternation in {H}ungarian"
	4. Donka F. Farkas, "On Obviation"
	5. William J. Poser, "Blocking of Phrasal Constructions by
		Lexical Items"
	6. Mark Liberman and Richard Sproat, "The Stress and
		Structure of Modified Noun Phrases in {E}nglish"
	7. Ferenc Kiefer, "Hungarian Derivational Morphology,
		Semantic Complexity, and Semantic Markedness"
       10. Gy\"orgy Gergely, "Focus-Based Inferences in Sentence
       		Comprehension"
       11. Anna Szabolcsi, "Combinatory Grammar and Projection from
       		the Lexicon"
       12. Pauline Jacobson, "The Lexical Entailment Theory of
       		Control and the Tough-Construction"
       13. Ivan Sag, Lauri Karttunen, and Jeffrey Goldberg, "A
       		Lexical Analysis of {I}celandic case"
   },
  ISBN = {0937073652, 0937073660 (pbk.)},
  rtnote = {UMich Graduate Library Call No: P 326 .L3841 1992},
  topic = {semantics;morphology;LFG;lexical-semantics;lexicon;}
 }

@book{ sag-wasow:1999a,
  author = {Ivan Sag and Thomas A. Wasow},
  title = {Syntactic Theory: A Formal Introduction},
  publisher = {Center for the Study of Language and Information},
  year = {1999},
  address = {Stanford, California},
  ISBN = {1575861615 (hard cover), 1575861607 (paper)},
  rtnote = {UMich Graduate Library Call No: P 291 .S251 1999},
  topic = {syntax;syntax-intro;}
 }

@inproceedings{ sagae-etal:2005a,
  author = {Kenji Sagae and Alon Lavie and Brian MacWhinney},
  title = {Automatic Measurement of Syntactic Development in Child Language},
  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 = {197--204},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1025},
  topic = {L1-acquisition;}
  }

@book{ sage-palmer_jd:1990a,
  author = {Andrew P. Sage and James D. Palmer},
  title = {Software Systems Engineering},
  publisher = {John Wiley and Sons},
  year = {1990},
  address = {New York},
  ISBN = {047161758X},
  rtnote = {UMich Media Union Library, QA 76.758 .S241 1990.},
  topic = {software-engineering;}
 }

@book{ sager:1981a,
  author = {Naomi Sager},
  title = {Natural Language Information Processing: A Computer
  	Grammar of {E}nglish and Its Applications},
  publisher = {Addison-Wesley},
  year = {1981},
  address = {Reading, Massachusetts},
  topic = {nl-processing;}
 }

@article{ saggion-lapalme:2002a,
  author = {Horacio Saggion and Guy Lapalme},
  title = {Generating Indicative-Informative Summaries with {S}um{UM}},
  journal = {Computational Linguistics},
  year = {2002},
  volume = {28},
  number = {4},
  pages = {497--526},
  topic = {text-summary;AI-system-evaluation;}
  }

@article{ sagi:2000a,
  author = {G\'abor S\'agi},
  title = {A Completeness Theorem for Higher Order Logics},
  journal = {Journal of Symbolic Logic},
  year = {2000},
  volume = {65},
  number = {2},
  pages = {857--884},
  topic = {higher-order-logic;completeness-results;cylindrical-algebra;}
  }

@article{ saguillo:1997a,
  author = {Jos\'e M. Sag\"uillo},
  title = {Logical Consequence Revisited},
  journal = {The Bulletin of Symbolic Logic},
  year = {1997},
  volume = {3},
  number = {2},
  pages = {216--241},
  topic = {history-of-logic;logical-consequence;}
  }

@incollection{ sahlin-rabinowicz:1998a,
  author = {Nils-Eric Sahlin and Wlodek Rabinowicz},
  title = {The Evidentiary Value Model},
  booktitle = {Handbook of Defeasible Reasoning and Uncertainty
		Management Systems, Volume 1},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {Dov M. Gabbay and Philippe Smets},
  pages = {247--265},
  address = {Dordrecht},
  topic = {evidence;evidentiary-value;foundations-of-probability;}
  }

@incollection{ sahlin-rabinowicz_w2:1998a,
  author = {Nils-Eric Sahlin and Wlodek Rabinowicz},
  title = {The Evidentiary Value Model},
  booktitle = {Handbook of Defeasible Reasoning and Uncertainty
		Management Systems, Volume 1:  Quantified Representation
		of Uncertainty and Imprecision},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {Dov M. Gabbay and Philippe Smets},
  pages = {247--265},
  address = {Dordrecht},
  topic = {evidence;evidentiary-value;foundations-of-probability;}
  }

@book{ sainsbury_rm:1979a,
  author = {Richard Mark Sainsbury},
  title = {Russell},
  publisher = {Routledge \& Kegan Paul},
  year = {1979},
  address = {London},
  ISBN = {071000155X},
  rtnote = {UMich Graduate Library, B1649.R94 S241.},
  topic = {Russell;}
 }

@article{ sainsbury_rm:1984a,
  author = {Richard Mark Sainsbury},
  title = {Saying and Conveying},
  journal = {Linguistics and Philosophy},
  year = {1984},
  volume = {7},
  number = {4},
  pages = {415--432},
  topic = {speaker-meaning;pragmatics;implicature;}
  }

@book{ sainsbury_rm:1988a,
  author = {Richard Mark Sainsbury},
  title = {Paradoxes},
  publisher = {Cambridge University Press},
  year = {1988},
  address = {Cambridge},
  ISBN = {052133165X},
  rtnote = {UMich Graduate Library, BC 199 .P2 S251 1988.},
  topic = {paradoxes;vagueness;}
 }

@book{ sainsbury_rm:1991a,
  editor = {Richard Mark Sainsbury},
  title = {Logical Forms: An Introduction to Philosophical Logic},
  publisher = {Blackwell},
  year = {1991},
  address = {Oxford},
  ISBN = {0631177779},
  rtnote = {UMich Undergraduate, Bc 135 .S141 1991.},
  xref = {Second edition: sainsbury_rm:2000a.},
  topic = {philosophical-logic;}
 }

@unpublished{ sainsbury_rm:1991b1,
  author = {Richard Mark Sainsbury},
  title = {Concepts without Boundaries},
  year = {1991},
  note = {Inaugural Lecture, King's College, London},
  xref = {Republication: sainsbury_rm:1991b2.},
  topic = {vagueness;sorites-paradox;}
 }

@incollection{ sainsbury_rm:1991b2,
  author = {Richard Mark Sainsbury},
  title = {Concepts without Boundaries},
  booktitle = {Vagueness: A Reader},
  publisher = {The {MIT} Press},
  year = {1997},
  editor = {Rosanna Keefe and Peter Smith},
  pages = {251--264},
  address = {Cambridge, Massachusetts},
  xref = {Republication of: sainsbury_rm:1991b1.},
  topic = {vagueness;sorites-paradox;}
  }

@article{ sainsbury_rm:1991c,
  author = {Richard Mark Sainsbury},
  title = {Is There Higher-Order Vagueness?},
  journal = {Philosophical Quarterly},
  year = {1991},
  volume = {91},
  pages = {167--182},
  missinginfo = {number},
  topic = {vagueness;}
  }

@article{ sainsbury_rm:1991d,
  author = {Richard Mark Sainsbury},
  title = {Cartesian Possibilities and the Externality and
  	Extrinsicness of Content},
  journal = {Synth\'ese},
  year = {1991},
  volume = {89},
  number = {3},
  pages = {407--424},
  topic = {propositional-attitudes;propositions;}
  }

@book{ sainsbury_rm:2000a,
  editor = {Richard Mark Sainsbury},
  title = {Logical Forms: An Introduction to Philosophical Logic},
  edition = {2},
  publisher = {Blackwell},
  year = {2000},
  address = {Oxford},
  ISBN = {0-631-20143-2 (pbk)},
  xref = {First edition: sainsbury_rm:1991c.},
  topic = {philosophical-logic;}
 }

@incollection{ sainsbury_rm:2002a,
  author = {Richard Mark Sainsbury},
  title = {Reference and Anaphora},
  booktitle = {Philosophical Perspectives 16: Language and Mind, 2002},
  publisher = {Blackwell Publishers},
  year = {2002},
  editor = {James E. Tomberlin},
  pages = {43--71},
  address = {Oxford},
  topic = {reference;anaphora;philosophy-of-language;}
  }

@incollection{ sainsbury_rm:2006a,
  author = {Richard M. Sainsbury},
  title = {Understanding as Immersion},
  booktitle = {Philosophy of Language},
  publisher = {Blackwell Publishers},
  year = {2006},
  editor = {Ernest Sosa and Enrique Villanueva},
  pages = {246--26

license: MIT

license_type: permissive

branch_name: refs/heads/master

gha_license_id: MIT

extension: bib