text:
}

@incollection{ reif-etal:1998a,
  author = {W. Reif et al.},
  title = {Structured Specifications and Interactive
			Proofs with {KIV}},
  booktitle = {Automated Deduction: A Basis for Applications.
  	Volume {II}, Systems and Implementation Techniques},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {Wolfgang Bibel and Peter H. Schmidt},
  address = {Dordrecht},
  missinginfo = {A's 1st name, pages},
  topic = {theorem-proving;applied-logic;}
  }

@incollection{ reif-schellhorn:1998a,
  author = {W. Reif and G. Schellhorn},
  title = {Theorem Proving in Large Theories},
  booktitle = {Automated Deduction: A Basis for Applications.
  	Volume {III}, Applications},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {Wolfgang Bibel and Peter H. Schmidt},
  address = {Dordrecht},
  missinginfo = {A's 1st name, pages},
  topic = {theorem-proving;applied-logic;}
  }

@book{ reilly_rg-sharky:1992a,
  editor = {Ronan G. Reilly and Noel E. Sharkey},
  title = {Connectionist Approaches to Natural Language Processing},
  publisher = {Lawrence Earlbaum},
  year = {1992},
  address = {Mahwah, New Jersey},
  ISBN = {0-86377-179-3},
  rtnote = {UMich Media Union Library Call No: QA 76.9 .N38 C67 1992},
  topic = {connectionist-modeling;nl-processing;}
 }

@techreport{ reilly_ws-bates_j:1992a,
  author = {W. Scott Reilly and Joseph Bates},
  title = {Building Emotional Agents},
  institution = {Computer Science Department, Carnegie Mellon University},
  year = {1992},
  address = {Pittsburgh, Pennsylvania},
  rtnote = {In RHT collection.},
  note = {Available at  http://www-2.cs.cmu.edu/afs/cs.cmu.edu/project/oz/web/papers/CMU-CS-92-143.ps},
  rtnote = {In RHT collection.},
  topic = {emotion;interactive-fiction;}
 }

@book{ reimann-spada:1996a,
  editor = {Peter Reimann and Hans Spada},
  title = {Learning in Humans and Machines: Towards an Interdisciplinary
              Learning Science},
  publisher = {Pergamon},
  year = {1996},
  address = {New York},
  topic = {learning;}
 }

@article{ reimer:1992a,
  author = {Marga Reimer},
  title = {Incomplete Descriptions},
  journal = {Erkenntnis},
  year = {1992},
  volume = {37},
  pages = {347--363},
  contentnote = {Argues that incomplete descriptions can't be
     handled by the Russellian theory.  She objects to
     the two standard ways of doing this:  the explicit
     approach---where the description is completed by
     ellided material; and the implicit approach---where
     the domain of quantification is contextually
     restricted.  The problem with the implicit approach
     is that usually many intensionally different, but
     extensionally correct completions will be available;
     there is no way to pick a single one.  The problem
     with the explicit approach, she argues, is that `The
     F is G' and `There is exactly one F and whatever is F
     is G' do not seem to express the same proposition in
     the same context.  (The first could be true, but the
     latter false in one and the same context; the idea
     being that an utterance of the expanded sentence
     tends to widens the domain.) --Delia Graff.},
  topic = {definite-descriptions;context;ellipsis;}
  }

@article{ reimer:1995a,
  author = {Marga Reimer},
  title = {Performative Utterances: A Reply to {B}ach and
  	{H}arnish},
  journal = {Linguistics and Philosophy},
  year = {1995},
  volume = {18},
  number = {6},
  pages = {655--675},
  topic = {speech-acts;pragmatics;}
  }

@article{ reimer:1997a,
  author = {Marga Reimer},
  title = {`{C}ompeting' Semantic Theories},
  journal = {No\^us},
  year = {1997},
  volume = {31},
  number = {4},
  pages = {457--477},
  topic = {foundations-of-semantics;philosophy-of-language;}
  }

@article{ reimer:1998a,
  author = {Marga Reimer},
  title = {Quantification and Context},
  journal = {Linguistics and Philosophy},
  year = {1998},
  volume = {21},
  number = {1},
  pages = {95--115},
  topic = {nl-quantifiers;context;}
  }

@incollection{ reimer:2002a,
  author = {Marga Reimer},
  title = {Do Adjectives Conform to Compositionality?},
  booktitle = {Philosophical Perspectives 16: Language and Mind, 2002},
  publisher = {Blackwell Publishers},
  year = {2002},
  editor = {James E. Tomberlin},
  pages = {183--198},
  address = {Oxford},
  topic = {nl-semantics;compositionality;adjectives;}
  }

@incollection{ reimer:2003a,
  author = {Marga Reimer},
  title = {Reference},
  booktitle = {The {S}tanford Encyclopedia of Philosophy},
  editor = {Edward N. Zalta},
  url = {http://plato.stanford.edu/archives/spr2003/entries/reference/},
  year = {2003},
  topic = {reference;}
}

@article{ reinefeld-ridinger:1994a,
  author = {Alexander Reinefeld and Peter Ridinger},
  title = {Time-Efficient State Space Search},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {71},
  number = {2},
  pages = {397--408},
  acontentnote = {Abstract:
     We present two time-efficient state space algorithms for
     searching minimax trees.  Because they are based on SSS* and
     Dual*, both dominate Alpha-Beta on a node count basis.  Moreover,
     one of them is always faster in searching random trees, even
     when the leaf node evaluation time is negligible.  The fast
     execution time is attributed to the recursive nature of our
     algorithms and to their efficient data structure (a simple
     array) for storing the best-first node information.  In practical
     applications with more expensive leaf evaluations we conjecture
     that the recursive state space search algorithms perform even
     better and might eventually supersede the popular directional
     search methods.  },
  topic = {state-space-problem-solving;search;}
  }

@techreport{ reinfrank:1987a,
  author = {Michael Reinfrank},
  title = {Lecture Notes on Reason Maintenance Systems.  Part {I}:
  	Fundamentals.},
  institution = {Representation of Knowledge un Logic Laboratort,
  	Department of Computer and Information Science,
	Link\"oping University},
  number = {87--04},
  year = {1987},
  address = {S-581 83 Link\"oping, Sweden},
  rtnote = {In RHT collection.},
  topic = {truth-maintenance;}
  }

@book{ reinfrank:1989a,
  editor = {Michael Reinfrank et al.},
  title = {Non-Monotonic Reasoning: 2nd International Workshop, Grassau,
    June, 1988},
  publisher = {Springer-Verlag},
  year = {1989},
  address = {Berlin},
  ISBN = {0387507019},
  rtnote = {UMich Media Union Library, Q 334 .N661 1989.},
  topic = {non-monotonic-logic;}
 }

@unpublished{ reinfrank-dressler_o:1988a,
  author = {Michael Reinfank and Oskar Dressler},
  title = {On the Relation Between Truth Maintenance and
  	Autoepistemic Logic},
  year = {1988},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript, Siemens AG.},
  topic = {truth-maintenance;autoepistemic-logic;}
  }

@unpublished{ reinfrank-etal:1988a1,
  author = {Michael Reinfrank and Johan de Kleer and Matthew L. Ginsberg},
  title = {Second International Workshop on Non-Monotonic
  		Reasoning},
  note = {Unpublished conference proceedings, Grassau.},
  contentnote = {
      1. D. Appelt and K. Konolige, "A Nonmonotonic Logic for
	 	Reasoning about Speech Acts and Belief Revision"
      2. A. Brown and Y. Shoham, "New Results on Semantical Nonmonotonic
      		Reasoning"
      3. O. Dressler, "An Extended Basic {ATMS}"
      4. P. G\"ardenfors and D. Makinson, "Revisions of Knowledge
      		Systems Using Epistemic Entrenchment"
      5. M. Gelfond, "Autoepistemic Logic and Formalization of
      		Commonsense Reasoning"
      6. M. Gelfond and V. Lifschitz, "Compiling Circumscriptive
      		Theories into Logic Programs"
      7. M. Ginsberg, "A Circumscriptive Theorem Prover"
      8. S. Goodwin and R. Goebel, "Nonmonotonic Reasoning in Temporal
      		Domains, The Knowledge Independence Problem"
      9. K. Konolige, "Hierarchic Autoepistemic Theories for
      		Nonmonotonic Reasoning"
     10. D. Makinson, "General Theory of Cumulative Inference"
     11. P. Morris, "Autoepistemic Stable Closures and Contradiction
     		Resolution"
     12. E. Sandewall, "An Approach to Nonmonotonic Reasoning Using
     		Non-Truth-Functional Logic"
     13. B. Selman and H. Kautz, "The Complexity of Model-Preference
     		Default Theories"
     14. R. Thomason and J. Horty, "Logics for Inheritance Theory"
     },
  rtnote = {In RHT collection.  Files, under "Reinfrank".},
  xref = {Book publication: reinfrank-etal:1988a2.},
  topic = {nonmonotonic-logic;}
 }

@book{ reinfrank-etal:1988a2,
  editor = {Michael Reinfrank and Johan de Kleer and Matthew L. Ginsberg},
  title = {Non-Monotonic Reasoning},
  publisher = {Springer-Verlag},
  year = {1988},
  number = {346},
  series = {Lecture Notes in Artificial Intelligence},
  address = {Berlin},
  rtnote = {In RHT collection.  Shelf.},
  xref = {Republication of: reinfrank-eral:1988a1.},
  topic = {nonmonotonic-logic;}
 }

@article{ reinhardt_l:1967a,
  author = {L.R. Reinhardt},
  title = {Propositions and Speech Acts},
  journal = {Mind, New Series},
  year = {1967},
  volume = {76},
  pages = {166--183},
  missinginfo = {A's 1st name, number},
  topic = {speech-acts;pragmatics;}
  }

@article{ reinhardt_wn:1980a,
  author = {William N. Reinhardt},
  title = {Necessary Predicates and Operators},
  journal = {Journal of Philosophical Logic},
  year = {1980},
  volume = {9},
  number = {4},
  pages = {437--450},
  topic = {syntactic-attitudes;}
  }

@incollection{ reinhardt_wn:1980b,
  author = {William N. Reinhardt},
  title = {Satisfaction Definitions and Axioms of Infinity in
  	a Theory of Properties with Necessity Operator},
  booktitle = {Mathematical Logic in {L}atin {A}merica},
  publisher = {North-Holland Publishing Co.},
  year = {1980},
  editor = {A.I. Arruda and R. Chuaqui and N.C.A. da Costa},
  address = {Amsterdam},
  rtnote = {In RHT collection.},
  xref = {Erratum: reinhardt_wn:1980c.},
  topic = {intensional-logic;}
  }

@unpublished{ reinhardt_wn:1980c,
  author = {William N. Reinhardt},
  title = {Satisfaction Definitions and Axioms of Infinity in
  	a Theory of Properties with Necessity Operator},
  year = {1980},
  note = {Unpublished manuscript, Mathematics Department, University
  	of Colorado.},
  rtnote = {In RHT collection.},
  xref = {Corrections to: reinhardt_w:1980b.},
  topic = {intensional-logic;}
  }

@inproceedings{ reinhardt_wn:1981a,
  author = {William N. Reinhardt},
  title = {The Consistency of a Variant of {C}hurch's Thesis with an
  	Axiomatic Theory of an Epistemic Notation},
  booktitle = {Proceedings of the {V} {L}atin {A}merican
  	{S}ymposium on {M}athematical {L}ogic},
  editor = {Xavier Caicedo},
  missinginfo = {publisher, address, pages},
  rtnote = {In RHT collection.},
  xref = {Correction: reinhardt_w:1982a.},
  year = {1981},
  note = {Ref in reinhardt_wn:1986a says revision is forthcoming
  	in JSL.  Apparently this never happened.},
  topic = {epistemic-arithmetic;Church's-thesis;}
  }

@unpublished{ reinhardt_wn:1981b,
  author = {William N. Reinhardt},
  title = {The Concept of Mathematical Necessity},
  year = {1981},
  note = {Unpublished manuscript, Mathematics Department, University
  	of Colorado.},
  rtnote = {In RHT collection.},
  topic = {set-theory;modal-logic;}
  }

@unpublished{ reinhardt_wn:1982a,
  author = {William N. Reinhardt},
  title = {Correction to `The Consistency of a Variant of {C}hurch's
  	Thesis with an Axiomatic Theory of an Epistemic Notation'\,},
  year = {1982},
  note = {Unpublished manuscript, Mathematics Department, University
  	of Colorado.},
  rtnote = {In RHT collection.},
  xref = {Correction to: reinhardt_w:1981a.},
  topic = {Church's-thesis;}
  }

@unpublished{ reinhardt_wn:1983a,
  author = {William N. Reinhardt},
  title = {Absolute Versions of Completeness Theorems},
  year = {1983},
  note = {Unpublished manuscript, Mathematics Department, University
  	of Colorado.},
  rtnote = {In RHT collection.  Says "Submitted to Nous".
  	But no record of publication.},
  topic = {goedels-first-theorem;goedels-second-theorem;}
  }

@article{ reinhardt_wn:1985a,
  author = {William N. Reinhardt},
  title = {The Consistency of a Variant of {C}hurch's Thesis with
  	an Axiomatic Theory of an Epistemic Notion},
  journal = {Revista Colombiana de Mathematicas},
  year = {1985},
  note = {Proceedings of the {V} {L}atin {A}merican Symposium on
  	Mathematical Logic, edited by Xavier Caicedo, N.C.A. da Costa,
	 and R. Chuaqui},
  volume = {19},
  number = {1--2},
  pages = {177--199},
  rtnote = {In RHT collection.},
  topic = {epistemic-arithmetic;Church's-thesis;}
  }

@article{ reinhardt_wn:1986a,
  author = {William N. Reinhardt},
  title = {Epistemic Theories and the Interpretation of {G}\"odel's
  	Incompleteness Theorem},
  journal = {Journal of Philosophical Logic},
  year = {1986},
  volume = {15},
  number = {4},
  pages = {427--474},
  topic = {goedels-second-theorem;epistemic-logic;epistemic-arithmetic;}
  }

@article{ reinhardt_wn:1986b,
  author = {William N. Reinhardt},
  title = {Some Remarks on Extending and Interpreting Theories
  	with a Partial Predicate for Truth},
  journal = {Journal of Philosophical Logic},
  year = {1986},
  volume = {15},
  number = {2},
  pages = {219--251},
  topic = {truth;partial-logic;}
  }

@book{ reinhart_t:1975a1,
  author = {Tanya Reinhart},
  title = {Pragmatics and Linguistics: An Analysis of Sentence
  	Topics},
  publisher = {Indiana University Linguistics Club},
  year = {1975},
  address = {310 Lindley Hall, Bloomington, Indiana},
  rtnote = {In RHT collection.},
  xref = {Journal publication: reinhart_t:1975a2.},
  rtnote = {Reading notes on file.},
  rtnote = {UMich Graduate Library Call No: B831.5 .R451 1982},
  topic = {s-topic;pragmatics;}
 }

@article{ reinhart_t:1975a2,
  author = {Tanya Reinhart},
  title = {Pragmatics and Linguistics: An Analysis of Sentence Topics},
  journal = {Philosophica},
  year = {1981},
  volume = {27},
  number = {1},
  pages = {53--93},
  rtnote = {In RHT collection.},
  xref = {IULC publication: reinhart_t:1975a1.},
  rtnote = {Reading notes on file.},
  topic = {s-topic;pragmatics;}
  }

@phdthesis{ reinhart_t:1976a,
  author = {Tanya Reinhart},
  title = {The Syntactic Domain of Anaphora},
  school = {Linguistics Department, Massachusetts Institute of
  	Technology},
  year = {1976},
  type = {Ph.{D}. Dissertation},
  address = {Cambridge, Massachusetts},
  topic = {nl-syntax;nl-semantics;anaphora;}
 }

@incollection{ reinhart_t:1978a,
  author = {Tanya Reinhart},
  title = {Syntactic Domains for Semantic Rules},
  booktitle = {Formal Semantics and Pragmatics for Natural Languages},
  publisher = {D. Reidel Publishing Co.},
  year = {1978},
  editor = {Franz Guenthner and S.J. Schmidt},
  pages = {107--130},
  address = {Dordrecht},
  topic = {nl-semantics;nl-syntax;syntax-semantics-interface;}
  }

@book{ reinhart_t:1983a,
  author = {Tanya Reinhart},
  title = {Anaphora and Semantic Interpretation},
  publisher = {Chicago University Press},
  year = {1983},
  address = {Chicago, Illinois},
  topic = {nl-syntax;nl-semantics;anaphora;}
 }

@article{ reinhart_t:1983b,
  author = {Tanya Reinhart},
  title = {Coreference and Bound Anaphora:  A Restatement of
  	the Anaphora Questions},
  journal = {Linguistics and Philosophy},
  year = {1983},
  volume = {6},
  number = {1},
  pages = {47--88},
  contentnote = {This is an excellent survey.},
  topic = {anaphora;}
  }

@incollection{ reinhart_t:1986a,
  author = {Tanya Reinhart},
  title = {On the Interpetation of `Donkey' Sentences},
  booktitle = {On Conditionals},
  publisher = {Cambridge University Press},
  year = {1986},
  editor = {Elizabeth Traugott and Alice {ter Meulen} and Judy Reilly
  	and Charles Ferguson},
  pages = {103--122},
  address = {Cambridge, England},
  topic = {donkey-anaphora;conditionals;}
  }

@incollection{ reinhart_t:1987a,
  author = {Tanya Reinhart},
  title = {Specifier and Operator Binding},
  booktitle = {The Representation of (In)definites},
  publisher = {The {MIT} Press},
  year = {1987},
  editor = {Eric Reuland and Alice {ter Meulen}},
  address = {Cambridge, Massachusetts},
  missinginfo = {130--167},
  topic = {nl-semantics;(in)definiteness;}
  }

@article{ reinhart_t:1997a,
  author = {Tanya Reinhart},
  title = {Quantifier Scope: How Labor is Divided Between {QR} and
  	Choice Functions},
  journal = {Linguistics and Philosophy},
  year = {1997},
  volume = {20},
  number = {4},
  pages = {335--397},
  topic = {nl-semantics;nl-quantifier-scope;}
  }

@article{ reinhart_t:1997b,
  author = {Tanya Reinhart},
  title = {{\it Wh}-in-situ in the Framework of the Minimalist
		Program},
  journal = {Natural Language Semantics},
  year = {1997},
  volume = {6},
  number = {1},
  pages = {29--56},
  topic = {syntactic-minimalism;nl-syntax;}
  }

@inproceedings{ reinhart_t:2001a,
  author = {Tanya Reinhart},
  title = {Experiencing Derivations},
  booktitle = {Proceedings from Semantics and Linguistic Theory {XI}},
  publisher = {Cornell University},
  year = {2001},
  editor = {Rachel Hastings and Brendan Jackson and Zsofia Zvolenszky},
  pages = {365--387},
  address = {Ithaca, New York},
  topic = {nl-semantics;experiencing-verbs;}
  }

@article{ reinhart_t-reuland:1993a,
  author = {Tanya Reinhart and Eric Reuland},
  title = {Reflexivity},
  journal = {Linguistic Inquiry},
  year = {1993},
  volume = {24},
  number = {4},
  pages = {657--720},
  topic = {reflexive-constructions;}
}

@misc{ reiter_e:1989a,
  author = {Ehud Reiter},
  title = {The {P}enman User Guide, {P}enman {N}atural {L}anguage
  	{G}eneration {G}roup},
  year = {1989},
  note = {Available from USC/Information Sciences Institute, 4676 Admiralty
  	Way, Marina del Rey, California 90292-6695.},
  topic = {nl-generation;}
}

@incollection{ reiter_e:1990a,
  author = {Ehud Reiter},
  title = {Generating Descriptions that Exploit a User's Domain
  	Knowledge},
  booktitle = {Current Research in Natural Language Generation},
  year = {1990},
  editor = {Robert Dale and Chris Mellish and Michael Zock},
  publisher = {Academic Press},
  address = {London},
  pages = {257--285},
  rtnote = {In rht collection.},
  topic = {nl-generation;referring-expressions;user-modeling;}
}

@article{ reiter_e:1991a,
  author = {Ehud Reiter},
  title = {A New Model of Lexical Choice for Nouns},
  journal = {Computational Intelligence},
  year = {1991},
  volume = {7},
  pages = {240--251},
  rtnote = {In RHT Collection.},
  missinginfo = {number},
  topic = {nl-generation;lexical-selection;}
  }

@article{ reiter_e:1992a,
  author = {Ehud Reiter},
  title = {A New Model of Lexical Choice for Nouns},
  year = {1992},
  journal = {Computational Intelligence: Special Issue on Natural
  	Language Generation},
  volume = {7},
  number = {4},
  topic = {nl-generation;lexical-choice;}
}

@inproceedings{ reiter_e:1994a,
  author = {Ehud Reiter},
  title = {Has a Consensus {NL} Generation  Architecture
  	Appeared, and is it Psycholinguistically Plausible?},
  booktitle = {Seventh International Workshop on Natural Language
  	Generation},
  address = {Kennebunkport, Maine},
  year = {1994},
  pages = {163--170},
  topic = {nl-generation;}
}

@unpublished{ reiter_e:1999a,
  author = {Ehud Reiter},
  title = {Shallow vs. Deep Techniques for Handling Linguistic
  	Constraints and Optimisations},
  year = {1999},
  note = {Unpublished manuscript, University of Aberdeen},
  url = {http://www.dfki.de/service/NLG/KI99/final/reiter.ps},
  rtnote = {In RHT collection.},
  topic = {nl-generation;}
  }

@article{ reiter_e:2000a,
  author = {Ehud Reiter},
  title = {Pipelines and Size Constraints},
  journal = {Computational Linguistics},
  year = {2000},
  volume = {26},
  number = {2},
  pages = {251--259},
  topic = {nl-generation;}
  }

@article{ reiter_e:2007a,
  author = {Ehud Reiter},
  title = {The Shrinking Horizons of Computational Linguistics},
  journal = {Computational Linguistics},
  year = {2007},
  volume = {33},
  number = {2},
  pages = {283--287},
  topic = {nlp-editorial;}
  }

@article{ reiter_e-dale_r:1997a,
  author = {Ehud Reiter and Robert Dale},
  title = {Building Applied Natural Language Generation Systems},
  journal = {Natural Language Engineering},
  year = {1997},
  volume = {3},
  pages = {57--88},
  missinginfo = {number},
  topic = {nl-generation;}
  }

@book{ reiter_e-dale_r:2000a,
  author = {Ehud Reiter},
  title = {Building Natural Language Generation Systems},
  publisher = {Cambridge University Press},
  year = {2000},
  address = {Cambridge, England},
  ISBN = {0-521-62036-8},
  xref = {Review: horacek:2001a.},
  rtnote = {In RHT collection.  AI Shelves.  OUT AS OF 8/02 FOR COURSE PREP},
  topic = {nl-generation;}
 }

@techreport{ reiter_e-etal:1991a,
  author = {Ehud Reiter and John Levine and Chris Mellish},
  title = {Tailoring Plans to Users With Different Levels of Expertise},
  institution = {University of Edinburgh, Department of Artificial
  	Intelligence},
  year = {1991},
  number = {DAI 548},
  topic = {discourse-planning;user-modeling;nl-generation;pragmatics;}
}

@inproceedings{ reiter_e-etal:2000a,
  author = {Ehud Reiter and Roma Robertson and Liesl Osman},
  editor = {Michael Elhadad},
  title = {Knowledge Acquisition for Natural Language Generation},
  booktitle = {Proceedings of the First International Conference on
    	Natural Language Generation},
  pages = {217--215},
  year = {2000},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  rtnote = {In RHT collection.},
  topic = {nl-generation;knowledge-acquisition;}
 }

@article{ reiter_e-etal:2003a,
  author = {Ehud Reiter and Roma Robertson and Liesl M. Osman},
  title = {Lessons from a Failure: Generating Tailored Smoking
  	Cessation Letters},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {144},
  number = {1--2},
  pages = {41--58},
  topic = {nl-generation;user-modeling;}
  }

@article{ reiter_e-etal:2005a,
  author = {Ehud Reiter and Somayajulu Sripada and Jim Hunter and Jin
  	Yu and Ian Davy},
  title = {Choosing Words in Computer-Generated Weather Forecasts},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {167},
  number = {1--2},
  pages = {137--169},
  topic = {nl-generation;lexical-selection;}
  }

@incollection{ reiter_e-osman:1997a,
  author = {Ehud Reiter and Liesl Osman},
  title = {Tailored Patient Information:
     		Some Issues and Questions},
  booktitle = {From Research to Commercial Applications: Making
  	{NLP} Work in Practice},
  publisher = {Association for Computational Linguistics},
  year = {1997},
  editor = {Jill C. Burstein and Claudia Leacock},
  pages = {35--42},
  address = {Somerset, New Jersey},
  topic = {nl-generation;discourse-planning;medical-AI;}
  }

@article{ reiter_e-sripada:2002a,
  author = {Ehud Reiter and Somayajulu Sripada},
  title = {Human Variation and Lexical Choice},
  journal = {Computational Linguistics},
  year = {2002},
  volume = {28},
  number = {4},
  pages = {545--553},
  topic = {lexical-choice;linguistic-variation;}
  }

@incollection{ reiter_e-sripada:2004a,
  author = {Ehud Reiter and Somayajulu Sripada},
  title = {Contextual Influences on Near-Synonym Choice},
  booktitle = {Natural Language Generation: Third International
	Conference, INLG 2004},
  publisher = {Springer-Verlag},
  year = {2004},
  editor = {Anja Belz and Roger Evans and Paul Piwek},
  pages = {161--170},
  address = {Berlin},
  topic = {nl-generation;synonymy;paraphrasing;}
  }

@incollection{ reiter_r:1978a1,
  author = {Raymond Reiter},
  title = {On Closed World Data Bases},
  booktitle = {Logic and Data Bases},
  publisher = {Plenum Press},
  year = {1978},
  editor = {H. Gallaire and Jack Minker},
  pages = {55--76},
  address = {New York},
  rtnote = {In RHT collection.},
  rtnote = {Reading notes on file.},
  xref = {Republication: reiter_r:1978a2, reiter_r:1978a3.},
  topic = {nonmonotonic-reasoning;closed-world-reasoning;databases;}
  }

@incollection{ reiter_r:1978a2,
  author = {Ray Reiter},
  title = {On Closed World Data Bases},
  booktitle = {Readings in Artificial Intelligence},
  publisher = {Morgan Kaufmann},
  year = {1981},
  editor = {Bonnie Webber and Nils J. Nilsson},
  pages = {119--140},
  address = {Los Altos, California},
  xref = {Original Publication: reiter_r:1978a1.},
  topic = {nonmonotonic-reasoning;closed-world-reasoning;}
  }

@incollection{ reiter_r:1978a3,
  author = {Raymond Reiter},
  title = {On Closed World Data Bases},
  booktitle = {Readings in Nonmonotonic Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1987},
  editor = {Matthew L. Ginsberg},
  pages = {300--310},
  address = {Los Altos, California},
  xref = {Original Publication: reiter_r:1978a1.},
  topic = {nonmonotonic-reasoning;closed-world-reasoning;databases;}
  }

@article{ reiter_r:1980a1,
  author = {Raymond Reiter},
  title = {A Logic for Default Reasoning},
  journal = {Artificial Intelligence},
  year = {1980},
  volume = {13},
  number = {1--2},
  pages = {81--132},
  xref = {Republication: reiter_r:1980a2.},
  rtnote = {In RHT collection.},
  topic = {kr;nonmonotonic-logic;kr-course;}
  }

@incollection{ reiter_r:1980a2,
  author = {Raymond Reiter},
  title = {A Logic for Default Reasoning},
  booktitle = {Readings in Nonmonotonic Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1987},
  editor = {Matthew L. Ginsberg},
  pages = {68--93},
  address = {Los Altos, California},
  xref = {Republication of: reiter_r:1980a1.},
  topic = {nonmonotonic-logic;nonmonotonic-reasoning;}
  }

@article{ reiter_r:1980b,
  author = {Raymond Reiter},
  title = {Equality and Domain Closure in First-Order Databases},
  journal = {Journal of the Association for Computing Machinery},
  year = {1980},
  volume = {27},
  number = {2},
  pages = {235--249},
  rtnote = {In RHT collection.},
  topic = {deductive-databases;}
  }

@inproceedings{ reiter_r:1982a,
  author = {Raymond Reiter},
  title = {Circumscription Implies Predicate Completion (Sometimes)},
  booktitle = {Proceedings of the Fifth National Conference on
              Artificial Intelligence},
  year = {1986},
  editor = {Tom Kehler and Stan Rosenschein},
  pages = {418--420},
  organization = {American Association for Artificial Intelligence},
  publisher = {Morgan Kaufmann},
  address = {Los Altos, California},
  topic = {circumscription;nonmonotonic-logic;}
  }

@inproceedings{ reiter_r:1983a1,
  author = {Raymond Reiter},
  title = {On Reasoning by Default},
  booktitle = {Proceedings of TINLAP 2, Theoretical Issues in
              Natural Language Processing 2},
  publisher = {Association for Computational Linguistics},
  year = {1983},
  pages = {210--218},
  xref = {Republished in Ronald J. Brachman and Hector J. Levesque;
  	Readings in Knowledge Representation.  See
	etherington-reiter_r:1983a2.},
  topic = {default-logic;nonmonotonic-logic;nonmonotonic-reasoning;}
  }

@incollection{ reiter_r:1983a2,
  author = {Raymond Reiter},
  title = {On Reasoning by Default},
  booktitle = {Readings in Knowledge Representation},
  publisher = {Morgan Kaufmann},
  year = {1983},
  editor = {Ronald J. Brachman and Hector J. Levesque},
  address = {Los Altos, California},
  pages = {401--410},
  xref = {Originally published in TINLAP 83.  See reiter_r:1983a1.},
  topic = {kr;inheritance-theory;kr-course;}
  }

@techreport{ reiter_r:1983b,
  author = {Raymond Reiter},
  title = {A Sound and Sometimes Complete Query Evaluation Algorithm
		for Relational Databases with Null Values},
  institution = {Department of Computer Science, University of
		British Columbia},
  number = {83--11},
  year = {1983},
  address = {Vancouver},
  rtnote = {In RHT collection.},
  topic = {databases;}
  }

@incollection{ reiter_r:1984a,
  author = {Raymond Reiter},
  title = {Towards a Logical Reconstruction of Relational Database
  	Theory},
  booktitle = {On Conceptual Modelling:  Perspectives from Artificial
  	Intelligence, Databases and Programming Languages},
  publisher = {Springer-Verlag},
  year = {1984},
  editor = {Michael L. Brodie and John Mylopoulos and Joachim W. Schmidt},
  pages = {191--233},
  address = {Berlin},
  rtnote = {In RHT collection.},
  topic = {databases;applied-logic;}
  }

@article{ reiter_r:1987a,
  author = {Raymond Reiter},
  title = {Must Logicists Become Programmers?},
  journal = {Computational Intelligence},
  year = {1987},
  volume = {3},
  issue = {3},
  pages = {206--207},
  xref = {kr;foundations-of-kr;logic-in-AI;}
  }

@article{ reiter_r:1987b1,
  author = {Raymond Reiter},
  title = {A Theory of Diagnosis from First Principles},
  journal = {Artificial Intelligence},
  year = {1987},
  volume = {32},
  number = {1},
  pages = {57--95},
  xref = {Republication: reiter_r:1987b2. Commentary: greiner-etal:1989a.},
  topic = {diagnosis;abduction;nonmonotonic-reasoning;}
  }

@incollection{ reiter_r:1987b2,
  author = {Raymond Reiter},
  title = {A Theory of Diagnosis from First
         Principles},
  booktitle = {Readings in Nonmonotonic Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1987},
  editor = {Matthew L. Ginsberg},
  pages = {352--371},
  address = {Los Altos, California},
  xref = {Original Publication: reiter_r:1987b1. Commentary:
  	greiner-etal:1989a.},
  topic = {diagnosis;abduction;nonmonotonic-reasoning;}
  }

@incollection{ reiter_r:1988a,
  author = {Raymond Reiter},
  title = {Nonmonotonic Reasoning},
  booktitle = {Exploring Artificial Intelligence},
  publisher = {Morgan Kaufmann},
  year = {1988},
  editor = {Howard E. Shrobe},
  pages = {439--482},
  address = {San Mateo, California},
  topic = {kr;nonmonotonic-reasoning;nonmonotonic-reasoning-survey;kr-course;}
  }

@inproceedings{ reiter_r:1988b,
  author = {Raymond Reiter},
  title = {On Integrity Constraints},
  booktitle = {Proceedings of the Second Conference on Theoretical
  	Aspects of Reasoning about Knowledge},
  year = {1988},
  editor = {Moshe Y. Vardi},
  pages = {97--111},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  topic = {knowledge-representation;belief-revision;database-update;}
  }

@incollection{ reiter_r:1991a,
  author = {Raymond Reiter},
  title = {The Frame Problem in the Situation Calculus: a Simple Solution
  	(Sometimes) and a Completeness Result for Goal Regression},
  booktitle = {Artificial Intelligence and the Mathematical Theory of
  	Computation},
  publisher = {Academic Press},
  year = {1991},
  editor = {Vladimir Lifschitz},
  pages = {418--420},
  address = {San Diego},
  topic = {kr;frame-problem;situation-calculus;action-formalism;}
  }

@incollection{ reiter_r:1992a,
  author = {Raymond Reiter},
  title = {Twelve Years of Nonmonotonic Reasoning Research:  Where
  	(and What) Is the Beef?},
  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 = {789},
  address = {San Mateo, California},
  topic = {kr;nonmonotonic-logic;nonmonotonic-reasoning;logic-in-AI;}
  }

@article{ reiter_r:1993a,
  author = {Raymond Reiter},
  title = {Proving Properties of States in the Situation Calculus},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {64},
  number = {2},
  pages = {337--351},
  acontentnote = {Abstract:
     In the situation calculus, it is sometimes necessary to prove
     that certain properties are true in all world states accessible
     from the initial state.  This is the case for some forms of
     reasoning about the physical world, for certain planning
     applications, and for verifying integrity constraints in
     databases.  Not surprisingly, this requires a suitable form of
     mathematical induction. This paper motivates the need for
     proving properties of states in the situation calculus, proposes
     appropriate induction principles for this task, and gives
     examples of their use in databases and for reasoning about the
     physical world.},
  topic = {situation-calculus;temporal-reasoning;plan-verification;
  	frame-problem;}
  }

@article{ reiter_r:1995a,
  author = {Raymond Reiter},
  title = {On Specifying Database Updates},
  journal = {Journal of Logic Programming},
  year = {1995},
  volume = {25},
  pages = {53--91},
  missinginfo = {number},
  topic = {database-update;}
  }

@inproceedings{ reiter_r:1996a,
  author = {Raymond Reiter},
  title = {Time in the Situation Calculus},
  booktitle = {Working Papers: Common Sense '96},
  year = {1996},
  editor = {Sa\v{s}a Buva\v{c} and Tom Costello},
  pages = {176--185},
  publisher = {Computer Science Department, Stanford University},
  address = {Stanford University},
  note = {Consult http://www-formal.Stanford.edu/tjc/96FCS.},
  contentnote = {Sandewall influence.  Develops generalization
    of Sit Calc to the case of several agents, one of which is
    nature.  It is deterministic in effects of actions, also det as
    to when natural actions can occur.  Allows for continuous time.},
  topic = {kr;temporal-reasoning;frame-problem;concurrent-actions;kr-course;
  	reasoning-about-continuous-time;continuous-change;}
  }

@incollection{ reiter_r:1996b,
  author = {Raymond Reiter},
  title = {Natural Actions, Concurrency and Continuous Time in the Situation
     Calculus},
  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 = {2--13},
  address = {San Francisco, California},
  topic = {kr;temporal-reasoning;frame-problem;concurrent-actions;kr-course;
  	reasoning-about-continuous-time;continuous-change;}
  }

@incollection{ reiter_r:1998a,
  author = {Raymond Reiter},
  title = {Sequential, Temporal {GOLOG}},
  booktitle = {{KR}'98: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1998},
  editor = {Anthony G. Cohn and Lenhart Schubert and Stuart C.
		Shapiro},
  pages = {547--556},
  address = {San Francisco, California},
  rtnote = {In RHT collection.},
  topic = {kr;cognitive-robotics;action-formalisms;kr-course;}
  }

@inproceedings{ reiter_r:1999a,
  author = {Raymond Reiter},
  title = {The Cognitive Robotics Project at the
      		University of {T}oronto},
  booktitle = {Workshop on Logic-Based Artificial Intelligence,
	       Washington, DC, June 14--16, 1999},
  year = {1999},
  editor = {Jack Minker},
  publisher = {Computer Science Department, University of Maryland},
  address = {College Park, Maryland},
  topic = {cognitive-robotics;}
  }

@inproceedings{ reiter_r:1999b,
  author = {Raymond Reiter},
  title = {A Coffee Delivery {G}olog Program},
  booktitle = {Workshop on Logic-Based Artificial Intelligence,
	       Washington, DC, June 14--16, 1999},
  year = {1999},
  editor = {Jack Minker},
  publisher = {Computer Science Department, University of Maryland},
  address = {College Park, Maryland},
  topic = {cognitive-robotics;Golog;}
  }

@inproceedings{ reiter_r:2000a,
  author = {Ray Reiter},
  title = {Narratives as Programs},
  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 = {99--108},
  topic = {action-narratives;GoLog;}
  }

@book{ reiter_r:2001a,
  author = {Raymond Reiter},
  title = {Knowledge in Action: Logical Foundations for Specifying
  	and Implementing Dynamical Systems},
  publisher = {The {MIT} Press},
  year = {2001},
  address = {Cambridge, Massachusetts},
  rtnote = {UMich Media Union Library Call No: Q 387 .R481 2001},
  rtnote = {In RHT collection.},
  xref = {Reviews: morgenstern_l:2006a.},
  topic = {action-formalisms;cognitive-robotics;GoLog;}
 }

@inproceedings{ reiter_r-criscuolo:1981a1,
  author = {Raymond Reiter and Giovanni Criscuolo},
  title = {On Interacting Defaults},
  booktitle = {Proceedings of the Seventh International Joint
  	Conference on Artificial Intelligence},
  year = {1981},
  editor = {Patrick J. Hayes},
  pages = {270--276},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  xref = {Republication: reiter_r-criscuolo:1981a2.},
  topic = {default-logic;nonmonotonic-logic;}
 }

@incollection{ reiter_r-criscuolo:1981a2,
  author = {Raymond Reiter and Giovanni Criscuolo},
  title = {On Interacting Defaults},
  booktitle = {Readings in Nonmonotonic Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1987},
  editor = {Matthew L. Ginsberg},
  pages = {94--100},
  address = {Los Altos, California},
  xref = {Republication of: reiter_r-criscuolo:1981a1.},
  topic = {nonmonotonic-logic;nonmonotonic-reasoning;}
  }

@article{ reiter_r-criscuolo:1983a,
  author = {Raymond Reiter and Giovanni Criscuolo},
  title = {Some Representational Issues in Default Reasoning},
  journal = {Computers and Mathematics with Applications},
  year = {1983},
  volume = {9},
  number = {1},
  pages = {15--27},
  rtnote = {In RHT collection.},
  topic = {default-logic;nonmonotonic-logic;}
  }

@inproceedings{ reiter_r-dekleer:1987a,
  author = {Raymond Reiter and Johan de Kleer},
  title = {Foundations of Assumption-based Truth Maintenance Systems:
  	Preliminary Report},
  booktitle = {Proceedings of the Sixth National Conference on
              Artificial Intelligence},
  year = {1987},
  editor = {Kenneth Forbus and Howard Shrobe},
  pages = {183--188},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {truth-maintenance;}
  }

@article{ reiter_r-mackworth:1989a,
  author = {Raymond Reiter and Alan K. Mackworth},
  title = {A Logical Framework for Depiction and Image
  	Interpretation},
  journal = {Artificial Intelligence},
  year = {1989},
  volume = {41},
  number = {2},
  pages = {125--155},
  acontentnote = {Abstract:
     We propose a logical framework for depiction and interpretation
     that formalizes image domain knowledge, scene domain knowledge
     and the depiction mapping between the image and scene domains.
     This framework requires three sets of axioms: image axioms,
     scene axioms and depiction axioms. Aninterpretation of an image
     is defined to be a logical model of these axioms.The approach is
     illustrated by a case study, a reconstruction in
     first-order logic of a simplified map-understanding program,
     Mapsee.  The reconstruction starts with a description of the map
     and a specification of general knowledge of maps, geographic
     objects and their depiction relationships. For the simple map
     world we show how the task level specification may be refined to
     a provably correct implementation by applying
     model-preserving transformations to the initial logical
     representation to produce a set of propositional formulas. The
     implementation may use known constraint satisfaction techniques
     to find the set of models of these propositional formulas.  In
     addition, we sketch preliminary logical treatments for
     imagequeries, contingent scene knowledge, ambiguity in image
     description, occlusion, complex objects, preferred
     interpretations and image synthesis.  This approach provides a
     formal framework for analyzing and going beyond existing systems
     such as Mapsee, and for understanding the use of
     constraintsatisfaction techniques. It can be used as a
     foundation for the specification, design and implementation of
     vision and graphics systems that are correct with respect to the
     task and algorithm levels.
   },
  topic = {image-depiction;image-retrieval;logic-in-AI;computer-graphics;}
  }

@incollection{ reithinger:1991a,
  author = {Norbert Reithinger},
  title = {{POPEL}: A Parallel and Incremental
     		Natural Language Generation System},
  booktitle = {Natural Language Generation in Artificial Intelligence and
  	Computational Linguistics},
  publisher = {Kluwer Academic Publishers},
  address = {Dordrecht},
  year = {1991},
  editor = {C\'{e}cile L. Paris and William R. Swartout
  	and William C. Mann},
  pages = {179-199},
  rtnote = {In RHT collection.},
  topic = {computational-dialogue;nl-generation;parallel-processing;}
  }

@incollection{ reithinger:1992a,
  author = {Norbert Reithinger},
  title = {The Performance of an Incremental Generation Component for
  	Multi-Modal Dialog Contributions},
  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 = {263--276},
  address = {Berlin},
  topic = {nl-generation;multimedia-generation;}
  }

@article{ remolina-kuipers_bj:2004a,
  author = {Emilio Remolina and Benjamin Kuipers},
  title = {Towards a General Theory of Topological Maps},
  journal = {Artificial Intelligence},
  year = {2004},
  volume = {152},
  number = {1},
  pages = {105--104},
  topic = {topological-maps;cognitive-robotics;}
  }

@incollection{ remshaw-marcus_m:1995a,
  author = {Lance Remshaw and Mitch Marcus},
  title = {Text Chunking Using Transformation-Based Learning},
  booktitle = {Proceedings of the Third Workshop on Very
		Large Corpora},
  publisher = {Association for Computational Linguistics},
  year = {1995},
  editor = {David Yarowsky and Kenneth W. Church},
  pages = {82--94},
  address = {Somerset, New Jersey},
  topic = {machine-learning;corpus-tagging;}
  }

@incollection{ renault:1994a,
  author = {Sophie Renault},
  title = {Generalizing Extended Execution for Normal
    		Programs},
  booktitle = {Logic Programming Synthesis and Transformation,
  	Meta-Programming in Logic: Fourth International Workshops,
	{LOBSTR}'94 and	{META}'94, Pisa, Italy},
  publisher = {Springer-Verlag},
  year = {1994},
  editor = {Laurent Fribourg and Franco Turini},
  pages = {154--169},
  address = {Berlin},
  topic = {logic-programming;}
  }

@article{ rencanti:1986a,
  author = {Fran\c{c}ois R\'ecanati},
  title = {On Defining Communicative Intentions},
  journal = {Mind and Language},
  year = {1986},
  volume = {1},
  number = {3},
  pages = {213--242},
  topic = {speaker-meaning;pragmatics;implicature;}
  }

@article{ rendell:1983a,
  author = {Larry Rendell},
  title = {A New Basis for State-Space Learning Systems and a
  	Successful Implementation},
  journal = {Artificial Intelligence},
  year = {1983},
  volume = {20},
  number = {4},
  pages = {369--392},
  acontentnote = {Abstract:
     A new basis for state-space learning systems is described which
     centers on a performance measure localized in feature space.
     Although a parameterized linear evaluation function is its end
     product the iterative implementation examined has elements both
     of adaptive control (parameter optimization) and of pattern
     recognition (pattern formation and feature selection).  The
     system has repeatedly generated an evaluation function which
     solves all of a random set of fifteen puzzle instances.  Despite
     the absence of any objective function the parameter vector is
     locally optimal, a result not previously attained in any way.  },
  topic = {machine-learning;pattern-matching;}
  }

@book{ renkema:1993a,
  author = {Jan Renkema},
  title = {Discourse Studies: an Introductory Textbook},
  publisher = {J. Benjamins},
  year = {1993},
  address = {Amsterdam},
  rtnote = {HILLMAN P302 R457.},
  contentnote = {This is a textbook.  17 chapters,
  	in 4 parts: 1) General Orientation, Basic Phenomena, 3)
	Specific Types, 4) Production and Perception.  Mainly from
	a sociolinguistic perspective.  It is worth studying.},
  topic = {discourse-analysis;pragmatics;}
}

@article{ renooij-etal:2002a,
  author = {Silja Renooij and Linda C. and van der Gaag and Simon Parsons},
  title = {Context-Specific Sign-Propagation in Qualitative
  	Probabilistic Networks},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {140},
  number = {1--2},
  pages = {207--230},
  topic = {qualitative-probability;graph-based-representations;
  	nonmonotonic-reasoning;}
  }

@article{ renooij-vandergaag:2008a,
  author = {Silja Renooij and Linda C. van der Gaag},
  title = {Enhanced Qualitative Probabilistic Networks for Resolving
  		Trade-Offs},
  journal = {Artificial Intelligence},
  year = {2008},
  volume = {172},
  number = {12--13},
  pages = {1470--1494},
  topic = {trade-off-resolution;qualitative-reasoning;
  	probabilistic-reasoning;}
  }

@article{ rentzepopoulos-kokkinakis:1996a,
  author = {Panagiotis A. Rentzepopoulos and George K. Kokkinakis},
  title = {Efficient Multilingual Phoneme-to-Grapheme Conversion
  	Based on {HMM}},
  journal = {Computational Linguistics},
  year = {1996},
  volume = {22},
  number = {3},
  pages = {351--376},
  topic = {hidden-Markov-models;speech-recognition;}
  }

@inproceedings{ reny:1988a,
  author = {Philip J. Reny},
  title = {Extensive Games and Common Knowledge (Abstract)},
  booktitle = {Proceedings of the Second Conference on Theoretical
  	Aspects of Reasoning about Knowledge},
  year = {1988},
  editor = {Moshe Y. Vardi},
  pages = {395},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  topic = {game-theory;mutual-belief;}
  }

@inproceedings{ reny:1988b,
  author = {Philip J. Reny},
  title = {Common Knowledge and Games With Perfect Information},
  booktitle = {{PSA} 1988: Proceedings of the Biennial Meeting of the
	Philosophy of Science Association, Volume 2},
  year = {1992},
  editor = {Arthur Fine and Janet Leplin},
  pages = {363--369},
  organization = {Philosophy of Science Association},
  publisher = {Philosophy of Science Association},
  address = {East Lansing, Michigan},
  rtnote = {In RHT collection.},
  topic = {game-theory;mutual-belief;}
  }

@article{ renyi:1955a,
  author = {Alfred R\'enyi},
  title = {On a New Axiomatic Theory of Probability},
  journal = {Acta Mathematicaa Academiae Scientiarum Hungaricae},
  year = {1955},
  volume = {6},
  pages = {285--335},
  missinginfo = {A's 1st name, number},
  rtnote = {See comments in spohn:1986a.},
  topic = {primitive-conditional-probability;}
  }

@book{ renyi:1970a,
  author = {Alfred R\'enyi},
  title = {Foundations of Probability},
  publisher = {Holden Day},
  year = {1970},
  topic = {foundations-of-probability;}
 }

@incollection{ renz:1998a,
  author = {Jochen Renz},
  title = {A Canonical Model of the Region Connection Calculus},
  booktitle = {{KR}'98: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1998},
  editor = {Anthony G. Cohn and Lenhart Schubert and Stuart C.
		Shapiro},
  pages = {330--341},
  address = {San Francisco, California},
  topic = {kr;spatial-reasoning;kr-course;region-connection-calculus;}
  }

@article{ renz-nebel:1999a,
  author = {Jochen Renz and Bernhard Nebel},
  title = {On the Complexity of Qualitative Spatial Reasoning:
  	A Maximal Tractable Fragment of the Region Connection
	Calculus},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {108},
  number = {1--2},
  pages = {69--123},
  topic = {spatial-reasoning;tractable-logics;complexity-in-AI;
  	region-connection-calculus;}
  }

@article{ rescher:1962a,
  author = {Nicholas Rescher},
  title = {Conditional Permission in Deontic Logic},
  journal = {Philosophical Studies},
  year = {1962},
  volume = {13},
  number = {1--2},
  pages = {1--6},
  xref = {Reply: anderson_ar:1962b},
  rtnote = {In RHT collection.  See Anderson file.},
  topic = {conditional-obligation;conditional-permission;deontic-logic;}
  }

@article{ rescher:1967a,
  author = {Nicholas Rescher},
  title = {On the Logic of Presupposition},
  journal = {Philosophy and Phenomenological Research},
  year = {1967},
  volume = {21},
  pages = {521--527},
  missinginfo = {number},
  topic = {presupposition;pragmatics;}
  }

@book{ rescher:1969a,
  editor = {Nicholas Rescher},
  title = {Essays in Honor of {C}arl {G}. {H}empel.
  	A Tribute On the Occasion of His Sixty-Fifth Birthday},
  publisher = {Dordrecht, D. Reidel [},
  year = {1969},
  address = {Dordrecht},
  ISBN = {0137820941},
  contentnote = {TC:
     1. P. Oppenheim, "Reminiscences of Peter"
     2. W. V. Quine, "Natural kinds"
     3. J. Hintikka, "Inductive independence and the paradoxes of
     		confirmation"
     4. W. C. Salmon, "Partial entailment as a basis for inductive
     		logic"
     5. W. Sellars, "Are there non-deductive logics?"
     6. R. C. Jeffre, "Statistical explanation vs. statistical
     		inference"
     7. R. Nozick, "Newcomb's problem and two principles of choice"
     8. A. Gr=FCnbaum, "The meaning of time"
     9. N. Rescher, "Lawfulness as mind-dependent"
    10. J. Kim, "Events and their descriptions: some considerations"
    11. D. Davidson, "The individuation of events"
    12. H. Putnam, "On properties"
    13. F. B. Fitch, "A method for avoiding the Curry paradox"
  },
  rtnote = {UMich Media Union Library, TJ211 .C673},
  topic = {philosophy-of-science;}
 }

@book{ rescher:1975a,
  author = {Nicholas Rescher},
  title = {A Theory of Possibility},
  publisher = {Blackwell Publishers},
  year = {1975},
  address = {Oxford},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {philosophy-of-possible-worlds;}
 }

@book{ rescher-brandom:1980a,
  author = {Nicholas Rescher and Robert Brandom},
  title = {The Logic of Inconsistency},
  publisher = {Blackwell Publishers},
  year = {1980},
  address = {Oxford},
  rtnote = {In RHT collection.  Shelf.},
  topic = {paraconsistency;}
 }

@article{ rescher-vandernat:1973a,
  author = {Nicholas Rescher and Arnold Vander Nat},
  title = {On Alternatives in Epistemic Logic},
  journal = {Journal of Philosophical Logic},
  year = {1973},
  volume = {2},
  number = {1},
  pages = {119--135},
  topic = {epistemic-logic;}
  }

@article{ rescorla:2006a,
  author = {Michael Rescorla},
  title = {Review of \emph{{W}ords without Meaning}, by {C}hristopher
  	{G}auker},
  journal = {The Philosophical Review},
  year = {2006},
  volume = {115},
  number = {1},
  pages = {121--124},
  xref = {Review of: gauker:2003a.},
  topic = {philosophy-of-language;}
  }

@incollection{ resnick_lb:1991a,
  author = {Lauren B. Resnick},
  title = {Shared Cognition: Thinking as Social Practice},
  booktitle = {Perspectives on Socially Shared Cognition},
  publisher = {American Psychological Association},
  year = {1991},
  editor = {Lauren B. Resnick and John M. Levine and
  	Stephanie D. Teasley},
  pages = {1--20},
  address = {Washington, D.C.},
  rtnote = {In RHT collection.},
  topic = {social-psychology;shared-cognition;}
  }

@book{ resnick_lb-etal:1991a,
  editor = {Lauren B. Resnick and John M. Levine and
  	Stephanie D. Teasley},
  title = {Perspectives on Socially Shared Cognition},
  publisher = {American Psychological Association},
  year = {1991},
  address = {Washington, D.C.},
  contentnote = {TC:
     1. Lauren B. Resnick, "Shared Cognition: Thinking as Social
     		Practice", pp. 1--20
     2. Michael Siegal, "A Clash of Conversational Worlds:
     		Interpreting Cognitive Development through
		Communication", pp. 23--40
     3. Anne-Nelly Perret-Clermont, Jean-Fran\c{c}ois Perret, and Nancy
     		Bell, "The Social Construction of Meaning and Cognitive
		Activity in Elementary School Children", pp. 41--62
     4. Jean Lave, "Situating Learning in Communities of
     		Practice", pp. 63--82
     5. James V. Wertsch, "A Sociocultural Approach to Socially
     		Shared Cognition", pp. 85--100
     6. Shirley Brice Heath, "\,`It's About Winning!' The language
     		of Knowledge in Baseball", pp. 101--124
     7. Herbert H. Clark and Susan E. Brennan, "Grounding in
     		Communication", pp. 127--149
     8. Emanuel A. Schegloff, "Conversation Analysis and Socially
     		Shared Cognition", pp. 150--171
     9. Robert M. Krauss and Susan R. Fussell, "Constructing Shared
     		Communicative Environments", pp. 172--200
    10. James S. Boster, "The Information Economy Model Applied to
     		Biological Similarity Judgment", pp. 203--225
    11. Rochel Gelman, Christine M.  Massey, and Mary
    		McManus, "Characterizing Supporting Environments for
		Cognitive Development: Lessons from Children in a
		Museum", pp. 226--256
    11. John M. Levine and Richard L. Moreland, "Culture and
    		Socialization in Work Groups", pp. 257--279
    12. Edwin Hutchins, "The Social Organization of Distributed
    		Cognition", pp. 283--207
    13. Reid Hastie and Nancy Pennington, "Cognitive and Social
    		Processes in Decision Making", pp. 308--327
    14. Giyoo Hatano and Kayoko Inagaki, "Sharing Cognition through
    		Collective Comprehension Activity", pp. 331--348
    15. Barbara Rogoff, "Social Interaction as Apprenticeship in
    		Thinking: Guided Participation in Spatial
		Planning", pp. 349--383
    16. Celia A. Brownell and Michael Sean Carriger, "Collaborations
    		among Toddler Peers: Individual Contributions to
		Social Contexts", pp. 384--397
    17. William Damon, "Problems of Direction in Socially Shared
    		Cognition", pp. 398--417
  },
  ISBN = {1557981213},
  rtnote = {UMich Graduate Library, BF 323 .S63 P471 1991.},
  topic = {social-psychology;shared-cognition;}
 }

@techreport{ resnik_la-etal:1993a,
  author = {Lori A. Resnik and Alex Borgida and Ronald J. Brachman
  	and Deborah L. McGuinness and Peter F. Patel-Schneider and
	Kevin C. Zalondek},
  title = {{\sc classic} Description and Reference Manual for the
  	Common Lisp Implementation Version 2.2.},
  institution = {AT\&T Laboratories},
  year = {1993},
  topic = {kr;description-logics;classic;kr-course;}
  }

@techreport{ resnik_la-etal:1995a,
  author = {Lori A. Resnik and Alex Borgida and Ronald J. Brachman
		and Deborah L. McGuinness and Peter F. Patel-Schneider},
  title = {{CLASSIC} Description and Reference Manuel for the
		{COMMON LISP} Implementation: Version 2.3},
  institution = {AT\&T Bell Laboratories},
  year = {1995},
  address = {Florham Park, New Jersey},
  rtnote = {In RHT collection.  Manual File Drawer.},
  topic = {kr;description-logics;classic;kr-course;}
  }

@incollection{ resnik_m:1996a,
  author = {Michael Resnik},
  title = {Ought There to be One Logic?},
  booktitle = {Logic and Reality: Essays on the Legacy of {A}rthur
  	{P}rior},
  publisher = {Oxford University Press},
  year = {1996},
  editor = {Jack Copeland},
  pages = {489--517},
  address = {Oxford},
  topic = {philosophy-of-logic;}
  }

@book{ resnik_m:1997a,
  author = {Michael Resnik},
  title = {Mathematics as a Science of Patterns},
  publisher = {Oxford University Press},
  year = {1997},
  address = {Oxford},
  xref = {Review: tappenden:2001a.},
  topic = {philosophy-of-mathematics;}
 }

@inproceedings{ resnik_p:1995a,
  author = {Philip Resnik},
  title = {Using Information to Evaluate Semantic Similarity in a Taxonomy},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {448--452},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  rtnote = {In RHT collection.},
  topic = {kr;taxonomies;automatic-classification;kr-course;}
 }

@inproceedings{ resnik_p:1995b,
  author = {Philip Resnik},
  title = {Disambiguating Noun Groupings with Respect to
	{W}ordnet Senses},
  booktitle = {Proceedings of the Third Workshop on Very
		Large Corpora},
  year = {1995},
  editor = {David Yarovsky and Kenneth Church},
  pages = {54--68},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  rtnote = {In RHT collection.},
  topic = {corpus-linguistics;disambiguation;Wordnet;
		lexical-disambiguation;}
  }

@incollection{ resnik_p:1998a,
  author = {Philip Resnik},
  title = {{W}ord{N}et and Class-Based Probabilities},
  booktitle = {Word{N}et: An Electronic Lexical Database},
  publisher = {The {MIT} Press},
  year = {1998},
  editor = {Christaine Fellbaum},
  pages = {239--263},
  address = {Cambridge, Massachusetts},
  topic = {statistical-nlp;wordnet;taxonomies;}
  }

@article{ resnik_p:2001a,
  author = {Philip Resnik},
  title = {Review of \emph{{P}arallel Text Processing: Alignment and
  	Use of Translation Corpora}, edited by {J}ean {V}\'eronis},
  journal = {Computational Linguistics},
  year = {2001},
  volume = {27},
  number = {4},
  pages = {592--597},
  xref = {Review of: veronis:2000.},
  topic = {text-alignment;corpus-linguistics;machine-translation;}
  }

@article{ resnik_p-smith_na:2003a,
  author = {Philip Resnik and Noah A. Smith},
  title = {The Web as a Parallel Corpus},
  journal = {Computational Linguistics},
  year = {2003},
  volume = {28},
  number = {3},
  pages = {349--380},
  topic = {internet-based-nlp;corpus-linguistics;}
  }

@article{ restall:1993a,
  author = {Greg Restall},
  title = {Simplified Semantics for Relevant Logics (and Some of
  	Their Rivals)},
  journal = {Journal of Philosophical Logic},
  year = {1993},
  volume = {22},
  number = {5},
  pages = {481--511},
  topic = {relevance-logic;}
  }

@article{ restall:1995a,
  author = {Greg Restall},
  title = {Four-Valued Semantics for Relevant Logics (and Some of
		Their Rivals)},
  journal = {Journal of Philosophical Logic},
  year = {1995},
  volume = {24},
  number = {2},
  pages = {139--160},
  topic = {relevance-logic;multivalued-logic;}
  }

@techreport{ restall:1996a,
  author = {Greg Restall},
  title = {{\L}ukasiewicz, Supervaluations, and the Future},
  institution = {Automated Reasoning Project, Australian National
  	University},
  number = {TR--ARP--21--96},
  year = {1996},
  address = {Canberra, Australia},
  rtnote = {In RHT collection.},
  topic = {branching-time;}
  }

@article{ restall:1997a,
  author = {Greg Restall},
  title = {Combining Possibilities and Negations},
  journal = {Studia Logica},
  year = {1997},
  volume = {59},
  number = {1},
  pages = {121--141},
  topic = {modal-logic;negation;combining-logics;}
  }

@article{ restall:1997b,
  author = {Greg Restall},
  title = {Displaying and Deciding Substructural Logics {I}:
  	Logics with Contraposition},
  journal = {Journal of Philosophical Logic},
  year = {1998},
  volume = {27},
  number = {2},
  pages = {179--216},
  topic = {substructural-logics;decidability;}
  }

@book{ restall:1999a,
  author = {Greg Restall},
  title = {An Introduction to Substructural Logics},
  publisher = {Routledge},
  year = {1999},
  address = {London},
  ISBN = {0 415 21533 1 (Hb), 0 415 21534 X(Pb)},
  topic = {substructural-logics;}
 }

@article{ restall:1999b,
  author = {Greg Restall},
  title = {Review of \emph{{A}pplied Logic}, by {K}aj {B}\"orge {H}ansen},
  journal = {Studia Logica},
  year = {1999},
  volume = {63},
  number = {1},
  pages = {426--429},
  xref = {Review of: hansen_kb:1996a.},
  topic = {philosophical-logic;}
  }

@book{ restall:2000a,
  author = {Greg Restall},
  title = {An Introduction to Substructural Logics},
  publisher = {Routledge},
  year = {2000},
  address = {London},
  xref = {Review: dosen:2001a.},
  topic = {substructural-logics;linear-logic;proof-theory;}
 }

@article{ restall:2002a,
  author = {Greg Restall},
  title = {Carnap's Tolerance, Meaning, and Logical Pluralism},
  journal = {The Journal of Philosophy},
  year = {2002},
  volume = {99},
  number = {8},
  pages = {426--443},
  topic = {phhilosophy-of-logic;logical-consequence;Carnap;}
  }

@incollection{ restificar-etal:2002a,
  author = {Angelo Restificar and Peter Haddawy and Vu Ha and John
    		Miyamoto},
  title = {Eliciting Utilities by Refining
		Theories of Monotonicity and Risk},
  booktitle = {Preferences in {AI} and {CP}: Symbolic Approaches},
  publisher = {AAAI Press},
  year = {2002},
  editor = {Ulrich Junker},
  pages = {67--72},
  address = {Menlo Park, California},
  topic = {preferences;qualitative-utility;preference-elicitation;}
  }

@book{ retore:1997a,
  editor = {Christian Retor/'e},
  title = {{LACL}'96: First International Conference on
      Logical Aspects of Computational Linguistics},
  publisher = {Springer-Verlag},
  year = {1997},
  address = {Berlin},
  contentnote = {TC:
	1. Patrick Blackburn and Marc Dymetman and Alain Lecomte and
           Aarne Ranta and Christian Retor\'e and Eric Villemonte
	   de la Clergerie, "Logical Aspects of Computational
	   Linguistics: an Introduction"
	2. Aravind K. Joshi and Seth Kulick, "Partial Proof Trees,
	   Resource Sensitive Logics, and Constraints"
	3. Marcus Kracht, "Inessential Features"
	4. Dale Miller, "Linear Logic as Logic Programming:
		an Abstract"
	5. Edward Stabler, "Derivational Minimalism"
	6. V. Michele Abrusci and Christophe Fouquer\'e
	   and Jacqueline Vauzeilles, "Tree Adjoining Grammars
	   in Non-Commutative Linear Logic"
	7. Denis Bechet and Philippe de Groote, "Constructing
	   Different Phonological Bracketings from a Proof Net"
	8. Pascal Boldini, "Vagueness and Type Theory"
	9. Yann Coscoy, "A Natural Language Explanation for
		Formal Proofs"
       11. Martin Emms, "Models for Polymorphic {L}ambek Calculus"
       12. Claire Gardent, "Sloppy Identity"
       13. Stephen J. Hegner, "A Family of Decidable Feature Logics
           which Support {HPSG}-Style Set and List Construction"
       14. Ruth Kempson and Wilfried Meyer Viol and Dov Gabbay,
           "Language Understanding: A Procedural Perspective"
       15. Paul John King and Kiril Ivanov Simov, "The Automatic
           Deduction of Classificatory Systems from Linguistic Theories"
       16. Lucia H. B. Manara and Anne de Roeck,
           "A Belief-Centered Treatment of Pragmatic Presupposition"
       17. Jacek Marciniec, "Connected Sets of Types and
           Categorial Consequence"
       18. Josep M. Merenciano and Glyn V. Morrill,
           "Generation as Deduction on Labelled Proof Nets"
       19. Jens Michaelis and Marcus Kracht,
           "Semilinearity as a Syntactic Invariant"
       20. Stefan Riezler, "Quantitative Constraint Logic
		Programming for Weighted Grammar Applications"
       21. James Rogers, "Strict {LT2}:REGULAR :: Local:Recognizable"
       22. Irene Schena, "Pomset Logic and Variants in Natural Languages"
       23. Koch and Martin Volk, "Constraint Logic Programming for
		Computational Linguistics"
       24. Marek Szczerba, "Representation Theorems for Residuated
		 Groupoids"
    },
  topic = {logic-and-computational-linguistics;}
 }

@article{ retore:1998a,
  author = {Christian Retor\'e},
  title = {Introduction (to Special Issue on Recent Advances in
		Logical and Algebraic Approaches to Grammar},
  journal = {Journal of Logic, Language, and Information},
  year = {1998},
  volume = {7},
  number = {4},
  pages = {395--398},
  topic = {grammar-formalisms;linear-logic;}
  }

@article{ retore-salvati:2010a,
  author = {Christian Retor\'e and Sylvain Salvati},
  title = {Representation of Non-Associative {L}ambek Grammars in
  		Abstract Categorial Grammars},
  journal = {Journal of Logic, Language, and Information},
  year = {2010},
  volume = {19},
  number = {2},
  pages = {185--200},
  topic = {categorial-grammar;}
  }

@inproceedings{ rett:1991a,
  author = {Jessica Rett},
  title = {How Many Maximizes in the {B}alkan Sprachbund},
  booktitle = {Proceedings from Semantics and Linguistic Theory {XVI}},
  year = {1991},
  editor = {Masayuki Gibson and Jonathan Howell},
  publisher = {CLC Publications},
  address = {Ithaca, New York},
  url = {http://research.nii.ac.jp/salt16/proceedings/Rett.pdf},
  topic = {nl-quantifiers;Balkan-languages;}
  }

@book{ reuland-abraham:1993a,
  editor = {Eric Reuland and Werner Abraham},
  title = {Knowledge and Language: Volume {II}, Lexical and Conceptual
  	Structure},
  publisher = {Kluwer Academic Publishers},
  year = {1993},
  address = {Dordrecht},
  contentnote = {TC:
  	E. Reuland and W. Abraham, "Introduction"
	B. Partee, "Semantic Structures and Semantic Properties"
	R. Jackendoff, "The Combinatorial Structure of Thought: The Family of
  		Causative Concepts"
	R. Kempson, "Input Systems, Anaphora, Ellipsis, and Operator Binding",
 	J. Kornfilt and N. Correa, "Conceptual Structure and Its
		Relation to the Structure of Lexical Entries"
	J. Carrier and J. Randall, "Lexical Mapping"
	J. Grimshaw and S. Vikner, "Obligatory Adjuncts and the
		Structure of Events"
	T. Hoekstra and I. Roberts, "Middle Constructions in {D}utch
		and {E}nglish"
  	},
  rtnote = {Hillman P299 D43R47 1987},
  rtnote = {In RHT collection.  Shelf},
  topic = {nl-semantics;}
 }

@book{ reuland-termeulen:1987a,
  editor = {Eric J. Reuland and Alice {ter Meulen}},
  title = {The Representation of (In){D}efiniteness},
  publisher = {The {MIT} Press},
  year = {1987},
  address = {Cambridge, Massachusetts},
  contentnote = {TC:
  	E. Reuland and A. ter Meulen, "Introduction"
	I. Heim, "Where Does the Definiteness Restriction Apply?
			Evidence from the Definiteness of Variables."
	J. Higginbotham, "Indefiniteness and Predication."
	K. Safir, "What Explains the Indefiniteness Effect?"
	D. Pesetsky, "Wh-in-Situ: Movement and Unselective Binding"
	T. Reinhart, "Specifier and Operator Binding"
	J. Williamson, "An Indefiniteness Restriction for Relative
		Clauses in Lakhota"
	S. Chung, "The Syntax of Chamorro Existential"
	C.-T. Huang, "Existential Sentences in Chinese and (In)definiteness"
	D. Gil, "Definiteness, Noun Phrase Configuationality, and the
		Count-Mass Distinction"
	F. de Jong, "The Compositional Nature of (In)definiteness"
	E. Keenan, "A Semantic Definition of `Indefinite NP' "
  	},
  rtnote = {Hillman P299 D43R47 1987},
  rtnote = {In RHT collection.  Shelf},
  topic = {nl-semantics;indefiniteness;definiteness;}
 }

@incollection{ reuland-termeulen:1987b,
  author = {Eric J. Reuland and Alice {ter Meulen}},
  title = {Introduction},
  booktitle = {The Representation of (In)Definites},
  publisher = {The {MIT} Press},
  year = {1987},
  editor = {Eric Reuland and Alice {ter Meulen}},
  pages = {1--20},
  address = {Cambridge, Massachusetts},
  topic = {nl-semantics;(in)definiteness;}
  }

@incollection{ rexach:1997a,
  author = {Javier G. Rexach},
  title = {Questions and Generalized Quantifiers},
  booktitle = {Ways of Scope Taking},
  publisher = {Kluwer Academic Publishers},
  year = {1997},
  editor = {Anna Szabolcsi},
  pages = {409--452},
  address = {Dordrecht},
  topic = {nl-quantifier-scope;nl-quantifiers;interrogatives;
  	generalized-quantifiers;}
  }

@incollection{ rey:1998a,
  author = {Georges Rey},
  title = {A Narrow Representationalist Account
    		of Qualitative Experience},
  booktitle = {Philosophical Perspectives 12: Language, Mind,
  	and Ontology},
  publisher = {Blackwell Publishers},
  year = {1998},
  editor = {James E. Tomberlin},
  pages = {435--457},
  address = {Oxford},
  topic = {philosophy-of-mind;mental-representations;}
  }

@phdthesis{ reyes:1988a,
  author = {Marie Reyes},
  title = {A Semantics for Literary Texts},
  school = {Concordia University},
  year = {1988},
  type = {Ph.{D}. Dissertation},
  address = {Montr\'eal},
  rtnote = {In RHT collection.  Files.},
  topic = {Montague-grammar;nl-semantics;literary-interpretation;}
 }

@unpublished{ reyes-reyes:1993a,
  author = {Marie La Palma Reyes and Gonzalo Reyes},
  title = {The Non-Boolean Logic of Natural Language Negation {I}},
  year = {1993},
  rtnote = {In RHT collection.},
  note = {Unpublished Manuscript.},
  missinginfo = {Marked "To appear, Philosophica Mathematica."  Get
  	Reference.},
  topic = {nl-negation;}
  }

@article{ reyes-zolfaghari:1996a,
  author = {Gonzalo Reyes and Houman Zolfachari},
  title = {Bi-{H}eyting Algebras, Toposes and Modalities},
  journal = {Journal of Philosophical Logic},
  year = {1996},
  volume = {25},
  number = {1},
  pages = {24--43},
  topic = {modal-logic;algebraic-logic;}
  }

@unpublished{ reyle:1986a,
  author = {Uwe Reyle},
  title = {Grammatical Functions, Discourse Referents and
  	Quantification},
  year = {1986},
  note = {Unpublished manuscript, University of Stuttgart.},
  rtnote = {In RHT collection.},
  missinginfo = {Year is a guess. May have been published. Check other
  	Reyle pubs for self-references?},
  topic = {feature-structures;discourse-representation-theory;pragmatics;}
  }

@article{ reyle:1993a,
  author = {Uwe Reyle},
  title = {Dealing with Ambiguities by Underspecification:
  	Construction, Representation, and Deduction},
  journal = {Journal of Semantics},
  year = {1993},
  volume = {10},
  number = {2},
  pages = {123--179},
  rtnote = {In RHT collection.},
  topic = {ambiguity;semantic-underspecification;nl-quantifier-scope;}
  }

@incollection{ reyle:1996a,
  author = {Uwe Reyle},
  title = {Co-Indexed Labeled {DRS}s to Represent and Reason
       		with Ambiguities},
  booktitle = {Semantic Ambiguity and Underspecification},
  publisher = {Cambridge University Press},
  year = {1996},
  editor = {Kees {van Deemter} and Stanley Peters},
  address = {Cambridge, England},
  pages = {239--268},
  topic = {ambiguity;semantic-underspecification;}
  }

@article{ reyle-etal:2007a,
  author = {Uwe Reyle and Antie Rossdeutscher and Hans Kamp},
  title = {Ups and Downs in the Theory of Temporal Reference},
  journal = {Linguistics and Philosophy},
  year = {2007},
  volume = {30},
  number = {5},
  pages = {565--635},
  topic = {temporal-reference;German-language;
  		discourse-representation-theory;semantic-underspecification;}
  }

@article{ reyle-gabbay:1994a,
  author = {Uwe Reyle and Dov. M. Gabbay},
  title = {Direct Deductive Computation on Discourse Representation
  	Structures},
  journal = {Linguistics and Philosophy},
  year = {1994},
  volume = {17},
  number = {4},
  pages = {343--390},
  topic = {discourse-representation-theory;proof-theory;}
  }

@article{ reynolds_d-gomatam:1996a,
  author = {David Reynolds and Jagannathan Gomatam},
  title = {Stochastic Modeling of Genetic Algorithms},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {82},
  number = {1--2},
  pages = {303--330},
  topic = {genetic-algorithms;stochastic-modeling;
  	AI-algorithms-analysis;}
  }

@article{ reynolds_d-gomatam:1996b,
  author = {David Reynolds and Jagannathan Gomatam},
  title = {Similarities and Distinctions in Sampling Strategies for
  	Genetic Algorithms},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {86},
  number = {2},
  pages = {375--390},
  topic = {genertic-algorithms;sampling-strategies;
  	AI-algorithms-analysis;}
  }

@article{ reynolds_m:1994a,
  author = {Mark Reynolds},
  title = {Axiomatization of {F} and {P} in Cyclical Time},
  journal = {Journal of Philosophical Logic},
  year = {1994},
  volume = {23},
  number = {2},
  pages = {197--224},
  topic = {temporal-logic;}
  }

@article{ reynolds_m:2001a,
  author = {Mark Reynolds},
  title = {An Axiomatization of Full Computation Tree Logic},
  journal = {Journal of Symbolic Logic},
  year = {2001},
  volume = {66},
  number = {3},
  pages = {1011--1057},
  topic = {computation-tree-logic;branching-time;tmix-project;}
  }

@article{ reynolds_m:2002a,
  author = {Mark Reynolds},
  title = {Review of \emph{The Logic Programming Paradigm: A
  	Twenty-Five Year Perspective}, edited by {K}rysztof {R}. {A}pt,
	{V}ictor {W}. {M}arek, {M}arek {T}ruszcynski, {D}avid {S}. {W}arren},
  journal = {Studia Logica},
  year = {2002},
  volume = {71},
  number = {1},
  pages = {145--148},
  xref = {Review of: apt-etal:1999a.},
  topic = {logic-programming;}
  }

@article{ reynolds_m:2003a,
  author = {Mark Reynolds},
  title = {Review of \emph{{M}any-Dimensional Modal Logics: Theory and
  		Applications}, by {D}ov {M}. {G}abbay, {\'A}gnes
		{K}urucz, {F}rank {W}olter and {M}ichael {Z}akharyaschev},
  journal = {The Bulletin of Symbolic Logic},
  year = {2003},
  volume = {9},
  number = {3},
  pages = {77--79},
  topic = {many-dimensional-modal-logic;modal-logic;multimodal-logic;}
  }

@incollection{ rhodes-garside:1991a,
  author = {Paul C. Rhodes and Gerald Roger Garside},
  title = {Using Maximum Entropy to Identity Unsafe Assumptions in
  	Probabilistic Expert Systems},
  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 = {292--296},
  address = {Berlin},
  topic = {reasoning-about-uncertainty;expert-systems;}
  }

@incollection{ ricciardi:1992a,
  author = {Aleta M. Ricciardi},
  title = {Practical Utility of Knowledge-Based Analysis},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
  	Proceedings of the Fourth Conference ({TARK} 1992)},
  publisher = {Morgan Kaufmann},
  year = {1992},
  editor = {Yoram Moses},
  pages = {15--28},
  address = {San Francisco},
  topic = {epistemic-logic;distributed-processing;applied-logic;}
  }

@inproceedings{ ricciardi-grisham:1998a,
  author = {Aleta Ricciardi and Paul Grissam},
  title = {Toward Software Synthesis for Distributed Applications},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
    Proceedings of the Seventh Conference ({TARK} 1998)},
  year = {1998},
  editor = {Itzhak Gilboa},
  pages = {15--27},
  publisher = {Morgan Kaufmann},
  address = {San Francisco, California},
  topic = {reasoning-about-knowledge;distributed-systems;
  	software-engineering;automatic-programming;}
  }

@inproceedings{ rich_c:1982a,
  author = {Charles Rich},
  title = {Knowledge Representation and Predicate Calculus:
  	How to Have Your Cake and Eat it Too},
  booktitle = {Proceedings of the Second National Conference on
             Artificial Intelligence},
  year = {1982},
  pages = {193--196},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, CA},
  rtnote = {In RHT collection.},
  topic = {kr;krcourse;hybrid-kr-architectures;logic-in-AI;}
  }

@incollection{ rich_c:1984a,
  author = {Charles Rich},
  title = {A formal Representation for Plans in the {P}rogrammer's
	{A}pprentice},
  booktitle = {On Conceptual Modelling:  Perspectives from Artificial
  	Intelligence, Databases and Programming Languages},
  publisher = {Springer-Verlag},
  year = {1984},
  editor = {Michael L. Brodie and John Mylopoulos and Joachim W. Schmidt},
  pages = {237--273},
  address = {Berlin},
  rtnote = {In RHT collection.},
  topic = {planning-formalisms;}
  }

@incollection{ rich_c:1991a,
  author = {Charles Rich},
  title = {Implemented Knowledge Representation and Reasoning Systems:
  		An Endangered Species},
  booktitle = {KR'91: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1991},
  editor = {James F. Allen and Richard Fikes and Erik Sandewall},
  pages = {591--592},
  address = {San Mateo, California},
  topic = {kr;ke-editorial;kr-systems;}
  }

@inproceedings{ rich_c-sidner_cl:1997a,
  author = {Charles Rich and Candace L. Sidner},
  title = {Collaboration with an Interface Agent via Direct Manipulation and
		Communication Acts},
  booktitle = {Working Notes: {AAAI} Fall Symposium on Communicative
		Action in Humans and Machines},
  year = {1997},
  pages = {130--131},
  organization = {{AAAI}},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  editor = {David R. Traum},
  rtnote = {In RHT collection.},
  topic = {speech-acts;discourse;computational-linguistics;
  	nl-interfaces;pragmatics;}
  }

@inproceedings{ rich_c-sidner_cl:1999a,
  author = {Charles Rich and Candace L. Sidner},
  title = {{COLLAGEN}: Project Summary and Discussion Questions},
  booktitle = {Working Papers of the {AAAI} Fall Symposium on
  	Psychological Models of Communication in Collaborative
	Systems},
  year = {1999},
  editor = {Susan E. Brennan and Alain Giboin and David R. Traum},
  pages = {100--107},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  topic = {discourse;sharedplans;HCI;collaboration;}
  }

@article{ rich_c-sidner_cl:2007a,
  author = {Charles Rich and Candace L. Sidner},
  title = {Diamond{H}elp: A Generic Task Guidance System},
  journal = {The {AI} Magazine},
  year = {2007},
  volume = {28},
  number = {2},
  pages = {33--46},
  topic = {mixed-initiative-systems;collaboration;}
  }

@book{ rich_e:1983a,
  author = {Elaine Rich},
  title = {Artificial Intelligence},
  publisher = {McGraw-Hill},
  year = {1983},
  address = {New York},
  ISBN = {0070522618},
  rtnote = {UMich Media Union Library, Q335 .R531},
  xref = {Reviews: rada:1986a, furbach:2003a.},
  topic = {AI-intro;AI-text;}
 }

@incollection{ rich_e:1989a,
  author = {Elaine Rich},
  title = {Stereotypes and User Modeling},
  booktitle = {User Models in Dialog Systems},
  publisher = {Springer-Verlag},
  year = {1989},
  editor = {Alfred Kobsa and Wolfgang Wahlster},
  pages = {35--51},
  address = {Berlin},
  topic = {user-modeling;agent-stereotypes;}
 }

@inproceedings{ rich_e:1993a,
  author = {Elaine Rich},
  title = {Default Reasoning as Likelihood Reasoning},
  booktitle = {Proceedings of the Eleventh National Conference on
              Artificial Intelligence},
  year = {1993},
  editor = {Richard Fikes and Wendy Lehnert},
  pages = {348--351},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, CA},
  topic = {nonmonotonic-reasoning;}
  }

@book{ rich_e-knight_k:1991a,
  author = {Elaine Rich and Kevin Knight},
  title = {Artificial Intelligence},
  edition = {2},
  publisher = {McGraw-Hill, Inc.},
  year = {1991},
  address = {New York},
  rtnote = {In RHT collection.},
  ISBN = {0070522634},
  rtnote = {UMich Media Union Library, Q 335 .R531 1991.},
  topic = {AI-intro;AI-text;}
 }

@article{ richard_b:1981a,
  author = {Barry Richard},
  title = {Tense, Propositions, and Meanings},
  journal = {Philosophical Studies},
  year = {1981},
  volume = {41},
  number = {3},
  pages = {337--351},
  topic = {nl-tense;philosophy-of-time;}
  }

@article{ richard_m:1983a,
  author = {Mark Richard},
  title = {Direct Reference and Ascriptions of Belief},
  journal = {Journal of Philosophical Logic},
  year = {1983},
  volume = {12},
  number = {4},
  pages = {425--45},
  topic = {reference;intensionality;belief;}
  }

@article{ richard_m:1986a,
  author = {Mark Richard},
  title = {Quotation, Grammar, and Opacity},
  journal = {Linguistics and Philosophy},
  year = {1986},
  volume = {9},
  number = {3},
  pages = {383--403},
  topic = {direct-discourse;referential-opacity;pragmatics;}
  }

@book{ richard_m:1990a,
  author = {Mark Richard},
  title = {Propositional Attitudes: An Essay on Thoughts and How
  	We Ascribe Them},
  publisher = {Cambridge University Press},
  year = {1990},
  address = {Cambridge, England},
  xref = {Review: falkenberg:1994a.},
  topic = {propositional-attitudes;}
 }

@article{ richard_m:1993a,
  author = {Mark Richard},
  title = {Attitudes in Context},
  journal = {Linguistics and Philosophy},
  year = {1993},
  volume = {16},
  number = {2},
  pages = {123--148},
  topic = {propositional-attitudes;context;}
  }

@incollection{ richard_m:1993b,
  author = {Mark Richard},
  title = {Articulated Terms},
  booktitle = {Philosophical Perspectives, Volume 7:
  	Language and Logic},
  publisher = {Blackwell Publishers},
  year = {1993},
  editor = {James E. Tomberlin},
  pages = {207--230},
  address = {Oxford},
  note = {Also available at http://www.jstor.org/journals/.},
  topic = {singular-terms;propositional-attitudes;intensionality;}
  }

@article{ richard_m:1994a,
  author = {Mark Richard},
  title = {What a Belief Isn't},
  journal = {Philosophical Topics},
  year = {1994},
  volume = {22},
  number = {1--2},
  pages = {291--318},
  topic = {foundations-of-cognition;philosophy-of-mind;belief;
  	philosophy-of-belief;}
  }

@incollection{ richard_m:1996a,
  author = {Mark Richard},
  title = {Propositional Quantification},
  booktitle = {Logic and Reality: Essays on the Legacy of {A}rthur
  	{P}rior},
  publisher = {Oxford University Press},
  year = {1996},
  editor = {Jack Copeland},
  address = {Oxford},
  pages = {437--460},
  topic = {propositional-quantifiers;}
  }

@article{ richard_m:1997a,
  author = {Mark Richard},
  title = {What Does Commonsense Psychology Tell Us about Meaning?},
  journal = {No\^us},
  year = {1997},
  volume = {31},
  number = {1},
  pages = {87--114},
  xref = {Critical Review of devitt:1995a.},
  xref = {Reply: devitt:1997a.},
  topic = {philosophy-of-language;propositional-attitudes;}
  }

@incollection{ richard_m:1998a,
  author = {Mark Richard},
  title = {Commitment},
  booktitle = {Philosophical Perspectives 12: Language, Mind,
  	and Ontology},
  publisher = {Blackwell Publishers},
  year = {1998},
  editor = {James E. Tomberlin},
  pages = {256--281},
  address = {Oxford},
  rtnote = {In RHT collection.},
  topic = {ontological-commitment;}
  }

@article{ richard_m:1998b,
  author = {Mark Richard},
  title = {Semantic Theory and Indirect Speech},
  journal = {Mind and Language},
  year = {1998},
  volume = {13},
  number = {4},
  pages = {605--616},
  topic = {foundations-of-semantics;}
  }

@article{ richards_b:1971a,
  author = {Barry Richards},
  title = {Searle on Meaning and Speech Acts},
  journal = {Foundations of Language},
  year = {1982},
  volume = {7},
  missinginfo = {pages = {519-???}.},
  topic = {speech-acts;pragmatics;}
 }

@article{ richards_b:1982a,
  author = {Barry Richards},
  title = {Tense, Aspect and Time Adverbials {I}},
  journal = {Linguistics and Philosophy},
  year = {1982},
  volume = {5},
  number = {2},
  pages = {59--107},
  topic = {tense-aspect;nl-tense;nl-semantics;temporal-adverbials;}
 }

@article{ richards_b:1984a,
  author = {Barry Richards},
  title = {On Interpreting Pronouns},
  journal = {Linguistics and Philosophy},
  year = {1984},
  volume = {7},
  number = {3},
  pages = {287--324},
  topic = {anaphora;donkey-anaphora;}
  }

@incollection{ richards_b:1987a,
  author = {Barry Richards},
  title = {Tenses, Temporal Quantifiers and Semantic Innocence},
  booktitle = {New Directions in Semantics, Volume 2},
  publisher = {Academic Press},
  year = {1987},
  editor = {Ernest LePore},
  pages = {337--384},
  address = {London},
  topic = {nl-semantics;nl-tense;philosophy-of-language;}
  }

@inproceedings{ richards_d:2001a,
  author = {Debbie Richards},
  title = {Combining Cases and Rules to Provide
    		Contextualized Knowledge Based Systems},
  booktitle = {Modeling and Using Context: Third International and
  	Interdisciplinary Conference, Context 2001},
  publisher = {Springer-Verlag},
  year = {2001},
  editor = {Varol Akman and Paolo Bouquet and Richmond Thomason
  	and Roger A. Young},
  pages = {465--469},
  address = {Berlin},
  topic = {context;knowledge-engineering;}
  }

@incollection{ richards_n:2002a,
  author = {Norvin Richards},
  title = {Very Local $A'$ Movement in a Root-First Derivation},
  booktitle = {Derivation and Explanation in the Minimalist Program},
  publisher = {Blackwell Publishing},
  year = {2002},
  editor = {Samuel David Epstein and T. Daniel Seeley},
  pages = {222--248},
  address = {Oxford},
  topic = {minimalist-syntax;movement-rules;}
  }

@book{ richards_t:1989a,
  author = {Tom Richards},
  title = {Clausal Form Logic: An Introduction to the Logic of
  	Computer Reasoning},
  publisher = {Addison-Wesley Publishing Co.},
  year = {1989},
  address = {Reading, Massachusetts},
  ISBN = {0201129205},
  rtnote = {UMich Media Union Library, QA 76.76 .E95 R531 1989.},
  topic = {logic-in-cs-intro;theorem-proving;}
 }

@article{ richardson_h:1990a,
  author = {Henry Richardson},
  title = {Specifying Norms as a Way to Resolve Concrete Ethical
  	Problems},
  journal = {Philosophy and Public Affairs},
  year = {1990},
  topic = {applied-ethics;}
    }

@book{ richardson_hs:1994a,
  author = {Harry S. Richardson},
  title = {Practical Reasoning about Final Ends},
  publisher = {Cambridge University Press},
  year = {1994},
  address = {Cambridge, England},
  topic = {practical-reasoning;rationality;}
 }

@incollection{ richardson_hs:2009a,
  author = {Henry S. Richardson},
  title = {Moral Reasoning},
  booktitle = {The {S}tanford Encyclopedia of Philosophy},
  editor = {Edward N. Zalta},
  url ={http://plato.stanford.edu/archives/fall2009/entries/reasoning-moral/},
  year = {2009},
  topic = {ethics;practical-reasoning;}
  }

@techreport{ richardson_r-smeaton:1997a,
  author = {R. Richardson and A.F. Smeaton},
  title = {Using {W}ord{N}et in a Knowledge-Based Approach
		to Information Retrieval},
  institution = {School of Computer Applications, Dublin City
		University},
  number = {CA--0395},
  year = {1997},
  address = {Dublin},
  rtnote = {In RHT collection.  I didn't log the URL.},
  missinginfo = {A's 1st name, date is a guess.},
  topic = {Wordnet;information-retrieval;}
  }

@book{ richie:2003a,
  author = {Graeme Richie},
  title = {The Linguistic Analysis of Jokes},
  publisher = {Routledge},
  year = {2003},
  address = {London},
  ISBN = {0415309832},
  topic = {humor2;}
 }

@article{ richman:2000a,
  author = {Frank Richman},
  title = {Gleason's Theorem Has a Constructive Proof},
  journal = {Journal of Philosophical Logic},
  year = {2000},
  volume = {29},
  number = {4},
  pages = {425--431},
  topic = {quantum-logic;foundations-of-quantum-mechanics;
  	constructive-mathematics;}
  }

@incollection{ richmond_k-etal:1997a,
  author = {Korin Richmond and Andrew Smith and Einat Amitay},
  title = {Detecting Subject Boundaries within Text: A Language
  	Independent Statistical Approach},
  booktitle = {Proceedings of the Second Conference on Empirical
		Methods in Natural Language Processing},
  publisher = {Association for Computational Linguistics},
  year = {1997},
  editor = {Claire Cardie and Ralph Weischedel},
  pages = {47--54},
  address = {Somerset, New Jersey},
  topic = {empirical-methods-in-nlp;statstical-nlp;corpus-tagging;
		topic-extraction;}
  }

@book{ richmond_p:1981a,
  author = {Phyllis A. Richmond},
  title = {Introduction to {\sc Precis} for {N}orth {A}merican
  	Usage},
  publisher = {Libraries Unlimited},
  year = {1981},
  address = {Littleton, Colorado},
  rtnote = {In RHT collection.  Misc Shelves.},
  topic = {thesaurus-construction;document-classification;
  	computational-ontology;}
 }

@unpublished{ richter:1983a,
  author = {Reed Richter},
  title = {On the Need for a Modified Causal Decision Theory},
  year = {1983},
  note = {Unpublished manuscript, Miami, Florida.},
  rtnote = {In RHT collection.  Year is a guess.},
  topic = {foundations-of-decision-theory;resource-limited-game-theory;}
  }

@unpublished{ richter:1983b,
  author = {Reed Richter},
  title = {Reply to {L}ewis's `{R}ichter's Problem'\, },
  year = {1983},
  note = {Unpublished manuscript, Miami, Florida.},
  rtnote = {In RHT collection.  Year is a guess.},
  topic = {foundations-of-decision-theory;resource-limited-game-theory;}
  }

@article{ rickel-porter_b:1997a,
  author = {Jeff Rickel and Bruce Porter},
  title = {Automated Modeling of Complex Systems to Answer Prediction
  	Questions},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {93},
  number = {1--2},
  pages = {201--260},
  topic = {reasoning-about-physical-systems;}
  }

@unpublished{ ricketts:1973a,
  author = {Thomas G. Ricketts},
  title = {Truth Theories and Semantic Theories},
  year = {1973},
  note = {Unpublished manuscript, University of Michigan.},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  topic = {nl-semantics;Davidson-semantics;}
  }

@book{ ricoeur:1976a,
  author = {Paul Ricoeur},
  title = {Interpretation Theory: Discourse and the Surplus of Meaning},
  publisher = {Texas Christian University Press},
  year = {1976},
  address = {Fort Worth},
  topic = {discourse-analysis;}
}

@article{ riddle-sheintuch:1983a,
  author = {Elizabeth Riddle and Gloria Sheintuch},
  title = {A Functional Analysis of Pseudo-Passives},
  journal = {Linguistics and Philosophy},
  year = {1983},
  volume = {6},
  number = {4},
  pages = {527--563},
  topic = {passives;nl-syntax;}
  }

@incollection{ ridge:2009a,
  author = {Mike Ridge},
  title = {Moral Assertion for Expressivists},
  booktitle = {Metaethics},
  publisher = {Blackwell Publishers},
  year = {2009},
  editor = {Ernest Sosa and Enrique Villanueva},
  pages = {182--},
  address = {Oxford},
  topic = {expressivism;assertion;}
  }

@article{ rieber_b:1998a,
  author = {Bruce Rieber},
  title = {Could Demonstratives be Descriptions?},
  journal = {Philosophia},
  year = {1998},
  volume = {26},
  number = {1--2},
  pages = {65--77},
  topic = {indexicals;demonstratives;definite-descriptions;
  	pragmatics;}
  }

@article{ rieber_sd:1994a,
  author = {Steven D. Rieber},
  title = {The Paradoxes of Analysis and Synonymy},
  journal = {Erkenntnis},
  year = {1994},
  volume = {41},
  pages = {103--116},
  missinginfo = {number},
  topic = {paradox-of-analysis;synonymy;}
  }

@article{ rieber_sd:1997a,
  author = {Steven D. Rieber},
  title = {Conventional Implicatures as Tacit Performatives},
  journal = {Linguistics and Philosophy},
  year = {1997},
  volume = {20},
  number = {1},
  pages = {51--72},
  topic = {speech-acts;pragmatics;implicature;pragmatics;}
  }

@article{ rieger_a:2003a,
  author = {Adam Rieger},
  title = {Review of {\it {N}aturalism in Mathematics}, by
  	{P}enelope {M}addy},
  journal = {The Philosophical Review},
  year = {2003},
  volume = {112},
  number = {3},
  pages = {425--427},
  topic = {philosophy-of-mathematics;foundations-of-set-theory;}
  }

@book{ rieger_bs:1981a,
  editor = {Burghard S. Rieger},
  title = {Empirical Semantics {I}: A Collection of New Approaches
  	in the Field},
  publisher = {Studienverlag},
  year = {1981},
  address = {Bochum},
  ISBN = {3-88339-221-9},
  rtnote = {In RHT Collection.  LLP edited shelves.},
  topic = {lexical-semantics;semantic-fields;}
 }

@book{ rieger_bs:1981b,
  editor = {Burghard S. Rieger},
  title = {Empirical Semantics {II}: A Collection of New Approaches
  	in the Field},
  publisher = {Studienverlag},
  year = {1981},
  address = {Bochum},
  ISBN = {3-88339-221-9},
  rtnote = {In RHT Collection.  LLP edited shelves.},
  topic = {lexical-semantics;semantic-fields;}
 }

@incollection{ rieger_bs:1981c,
  author = {Burghard S. Rieger},
  title = {Feasible Fuzzy Semantics: On Some Problems
     		of How to Handle Word Meaning Empirically},
  booktitle = {Words, Worlds, and Contexts: New Approaches to Word
  	Semantics},
  publisher = {Walter de Gruyter},
  year = {1981},
  editor = {Hans-J\"urgen Eikmeyer and Hannes Rieser},
  pages = {193--209},
  address = {Berlin},
  topic = {lexical-semantics;}
 }

@article{ rieger_c:1976a,
  author = {Chuck Rieger},
  title = {An Organization of Knowledge for Problem Solving and
  	Language Comprehension},
  journal = {Artificial Intelligence},
  year = {1976},
  volume = {7},
  number = {2},
  pages = {89--127},
  acontentnote = {Abstract:
     The concept of an image space, motivated by the STRIPS system,
     is introduced as a formal logical counterpart to the state-space
     problem solving in robotics.  The main results are two
     correspondence theorems establishing a relationship between
     solutions of problems formalized in the image space and formal
     proofs of certain formulas in the associated situation calculus.
     The concept of a solution, as used in the second correspondence
     theorem, has a rather general form allowing for conditional
     branching.  Besides giving a deeper insight into the logic of
     problem solving the results suggest a possibility of using the
     advantages of the image-space representation in the situation
     calculus and conversely.  The image space approach is further
     extended to cope with the frame problem in a similar way as
     STRIPS.  Any STRIPS problem domain can be associated with an
     appropriate image space with frames of the same solving power.   },
  topic = {problem-solving;}
  }

@inproceedings{ rieger_c-grinberg:1977a1,
  author = {Chuck Rieger and Milt Grinberg},
  title = {The Declarative Representation and Procedural Simulation
  		of Causality in Physical Mechanisms},
  booktitle = {Proceedings of the Seventh International Joint
  	Conference on Artificial Intelligence},
  year = {1977},
  editor = {Raj Reddy},
  pages = {250--256},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  xref = {Republication: rieger_c-grinberg:1977a2.},
  topic = {qualitative-physics;causality;kr;}
 }

@incollection{ rieger_c-grinberg:1977a2,
  author = {Chuck Rieger and Milt Grinberg},
  title = {The Declarative Representation and Procedural Simulation
  	of Causality in Physical Mechanisms},
  booktitle = {Qualitative Reasoning about Physical Systems},
  publisher = {Morgan Kaufmann},
  year = {1990},
  editor = {Daniel S. Weld and Johan de Kleer},
  pages = {617--623},
  address = {San Mateo, California},
  xref = {Republication of: rieger-grinberg:1977a1.},
  topic = {qualitative-physics;causality;kr;}
  }

@techreport{ rieger_cj:1974a,
  author = {Charles J. {Rieger III}},
  title = {Conceptual Memory: A Theory and Computer Program for
  	Processing the Meaning Content of Natural Language Utterances},
  institution = {Stanford Artificial Intelligence Laboratory,
  	Stanford University},
  number = {AIM--233},
  year = {1974},
  address = {Stanford, California},
  topic = {nl-interpretation;memory-models;conceptual-dependency;}
  }

@article{ riemer:2006a,
  author = {Nick Riemer},
  title = {Reductive Paraphrase and Meaning:  A Critique of
  		{W}ierzbickian Semantics},
  journal = {Linguistics and Philosophy},
  year = {2006},
  volume = {29},
  number = {3},
  pages = {347--379},
  topic = {lexical-semantics;semantic-primitives;
  		foundations-of-semantics;}
  }

@book{ riesbeck-schank_rc:1989a,
  author = {Christopher K. Riesbeck and Roger C. Schank},
  title = {Inside Case-Based Reasoning},
  publisher = {Lawrence Erlbaum},
  year = {1989},
  address = {Hillsdale, New Jersey},
  ISBN = {0898597676},
  rtnote = {UMich Media Union Library, Q 336 .R541 1989.},
  topic = {case-based-reasoning;}
 }

@inproceedings{ rieser_v-moore_jd:2005a,
  author = {Verena Rieser and Johanna D. Moore},
  title = {Implications for Generating Clarification Requests in
  		Task-Oriented Dialogues},
  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 = {239--246},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1030},
  topic = {computational-dialogue;clarification-dialogues;nl-generation;}
  }

@incollection{ riezler:1997a,
  author = {Stefan Riezler},
  title = {Quantitative Constraint Logic
			Programming for Weighted Grammar Applications},
  booktitle = {{LACL}'96: First International Conference on
      Logical Aspects of Computational Linguistics},
  publisher = {Springer-Verlag},
  year = {1997},
  editor = {Christian Retor/'e},
  pages = {346--365},
  address = {Berlin},
  topic = {logic-and-computational-linguistics;}
  }

@inproceedings{ rigau-etal:1997a,
  author = {German Rigau and Jordi Atserias and Eneko Agirre},
  title = {Combining Unsupervised Lexical Knowledge Methods for
  	Word Sense Disambiguation},
  booktitle = {Proceedings of the Thirty-Fifth Annual Meeting of the
		{A}ssociation for {C}omputational {L}inguistics and Eighth
		Conference of the {E}uropean Chapter of the {A}ssociation
		for {C}omputational {L}inguistics},
  year = {1997},
  editor = {Philip R. Cohen and Wolfgang Wahlster},
  pages = {48--55},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  topic = {lexical-disambiguation;nl-processing;}
 }

@incollection{ rijke:1996a,
  author = {Maarten de Rijke},
  title = {What is modal logic?},
  booktitle = {Arrow Logic and Multimodal Logic},
  publisher = {{CLSI} Publications},
  year = {1996},
  editor

license: MIT

license_type: permissive

branch_name: refs/heads/master

gha_license_id: MIT

extension: bib