text:
5--60},
  address = {Somerset, New Jersey},
  topic = {machine-language-learning;statistical-nlp;classifier-algorithms;}
  }

@article{ raatikainen:1998a,
  author = {Panu Raatikainen},
  title = {On Interpreting {C}haitin's Incompleteness Theorem},
  journal = {Journal of Philosophical Logic},
  year = {1998},
  volume = {27},
  number = {6},
  pages = {569--586},
  topic = {(in)completeness;complexity;}
  }

@article{ raatikainen:2000a,
  author = {Panu Raatikainen},
  title = {The Concept of Truth in a Finite Universe},
  journal = {Journal of Philosophical Logic},
  year = {2000},
  volume = {29},
  number = {6},
  pages = {617--633},
  topic = {truth;finite-models;truth-definitions;}
  }

@book{ rabiner-juang_bh:1993a,
  author = {Lawrence R. Rabiner and Biing-Hwang Juang},
  title = {Fundamentals of Speech Recognition},
  publisher = {Prentice Hall},
  year = {1993},
  address = {Englewood Cliffs, New Jersey},
  ISBN = {0-13-015157-2},
  topic = {speech-recognition;}
 }

@book{ rabiner-schafer_rw:1978a,
  author = {Lawrence R. Rabiner and Ronald W. Schafer},
   title = {Digital Processing of Speech Signals},
  publisher = {Prentice Hall},
  year = {1978},
  address = {Englewood Cliffs, New Jersey},
  topic = {speech-recognition;speech-generation;}
 }

@article{ rabinov:1989a,
  author = {Arkady Rabinov},
  title = {A Generalization of Collapsible Cases of Circumscription},
  journal = {Artificial Intelligence},
  year = {1989},
  volume = {38},
  number = {1},
  pages = {111--117},
  topic = {nonmonotonic-logic;circumscription;}
  }

@article{ rabinowicz_w1:1985a,
  author = {Wlodzimierz Rabinowicz},
  title = {Intuitionistic Truth},
  journal = {Journal of Philosophical Logic},
  year = {1985},
  volume = {14},
  number = {2},
  pages = {191--228},
  topic = {intuitionistic-logic;}
  }

@incollection{ rabinowicz_w1:1988a,
  author = {Wlodzimierz Rabinowicz},
  title = {Ratifiability and Stability},
  booktitle = {Decision, Probability, Utility:  Selected Readings},
  publisher = {Cambridge University Press},
  year = {1988},
  editor = {Peter G\"ardenfors and Nils-Eric Sahlin},
  pages = {406--425},
  address = {Cambridge, England},
  rtnote = {In RHT collection.},
  topic = {decision-theory;}
  }

@article{ rabinowicz_w1:1989a,
  author = {Wlodzimierz Rabinowicz},
  title = {Act-Utilitarian Prisoner's Dilemmas},
  journal = {Theoria},
  volume = {55},
  year = {1989},
  pages = {1--44},
  topic = {utilitarianism;prisoner's-dilemma;}
    }

@incollection{ rabinowicz_w1:1996a,
  author = {Wlodzimierz Rabinowicz},
  title = {Stable Revision, or Is Preservation Worth Preserving?},
  booktitle = {Logic, Action, and Information: Essays on Logic in
  	Philosophy and Artificial Intelligence},
  year = {1996},
  publisher = {Walter de Gruyter},
  editor = {Andr\'e Fuhrmann and Hans Rott},
  pages = {101--128},
  address = {Berlin},
  topic = {belief-revision;}
  }

@article{ rabinowicz_w1-segerberg:1994a,
  author = {Wlodzimierz Rabinowicz and Krister Segerberg},
  title = {Actual Truth, Possible Knowledge},
  journal = {Topoi},
  year = {1994},
  volume = {13},
  pages = {101--115},
  missinginfo = {number},
  topic = {knowability-paradox;}
  }

@article{ rabinowicz_w2:2001a,
  author = {Wlodek Rabinowicz},
  title = {A Centipede for Intransitive Preferers},
  journal = {Studia Logica},
  year = {2001},
  volume = {67},
  number = {2},
  pages = {167--178},
  topic = {game-theory;preferences;foundations-of-decision-theory;}
  }

@incollection{ rabinowicz_w2-segerberg:1994a,
  author = {Wlodek Rabinowicz and Krister Segerberg},
  title = {Actual truth, Possible Knowledge},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
  	Proceedings of the Fifth Conference ({TARK} 1994)},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Ronald Fagin},
  pages = {122--137},
  address = {San Francisco},
  topic = {epistemic-logic;}
  }

@article{ rabinowitz_w2:2003a,
  author = {Wlodek Rabinowitz},
  title = {Remarks on the Absentminded Driver},
  journal = {Studia Logica},
  year = {2003},
  volume = {75},
  number = {2},
  pages = {241--256},
  topic = {game-theory;resource-limited-reasoning;
  	absent-minded-driver-problem;}
  }

@article{ rada:1986a,
  author = {Roy Rada},
  title = {Review of \emph{{A}rtificial Intelligence}, by {E}laine {R}ich},
  journal = {Artificial Intelligence},
  year = {1986},
  volume = {28},
  number = {1},
  pages = {119--121},
  xref = {Review of rich_e:1983a.},
  topic = {AI-intro;AI-text;}
  }

@incollection{ radev:2000a,
  author = {Dragomir Radev},
  title = {A Common Theory of Information Fusion from
     		Multiple Text Sources},
  booktitle = {Proceedings of the First {SIGdial} Workshop on Discourse
  	and Dialogue},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  editor = {Laila Dybkjaer and Koiti Hasida and David R. Traum},
  pages = {74--83},
  address = {Somerset, New Jersey},
  topic = {information-retrieval;multidocument-processing;}
  }

@book{ radev-brew:2002a,
  editor = {Dragomir Radev and Chris Brew},
  title = {Effective Tools and Methodologies for Teaching
  	{NLP} and {CL}},
  publisher = {Association for Computational Linguistics},
  year = {2002},
  address = {New Brunswick, New Jersey},
  contentnote = {TC:
     1. Hans van Halterin, "Teaching {NLP} through Games:  The
     		Case of Parsing", pp. 1--8
     2. Jason Eisner, "An Interactive Spreadsheet for Teaching the
     		Forward-Backward Algorithm", pp. 9--17
     3. W. Detmar Meuers and Gerald Penn and Frank Richter, "A Web-Based
     		Platform for Constraint-Based Grammar Formalisms and
		Parsing", pp. 18--25
     4. Robert Dale and Diego Moll\'a Aliod and Rolf
     		Schwitter, "Evangelizing Language Technology:  A
		Practically-Focussed Undergraduate Program", pp. 26--31
     5. Lillian Lee, "A Non-Programming Introduction to Computer Science
     		Via {NLP}, {IR}, and {AI}", pp. 32--37
     6. Robert E. Frederking and Eric H. Nyberg and Teruko Mitamura and
     		Jaime Carbonell, "Design and Evolution of a Language
		Technologies Curriculum", pp. 38--44
     7. Derly Lonsdale, "A Niche at the Nexus:  Situating an
     		{NLP} Curriculum Interdisciplinarily", pp. 45--52
     8. Kalina Bontcheva and Hamish Cunningham and Valentin Tablan and
     		Diana Maynard and Oana Hamza, "Using {GATE} as an
		Environment for Teaching {NLP}", pp. 53--61
     9. Edward Loper and Stephen Bird, "{NLTK}: The Natural Language
     		Toolkit", pp. 62--69
    10. Shuly Wintner, "Formal Lanaguage Theory for Natural Language
    		Processing", pp. 70--75
    11. Matthew Stone, "Lexicalized Grammar 101", pp. 76--83
    12. Mare Koit and Tiit Roosmaa and Haldur \~Oim, "Teaching Computational
    		Linguistics at the {U}niversity of {T}artu: Experience,
		Perspectives, and Challenges", pp. 84--88
  },
  rtnote = {In RHT Collection.  CL Workshop shelves.},
  topic = {nlp-pedagogy;}
 }

@article{ radev-etal:2002a,
  author = {Dragomir R. Radev and Eduard Hovy and Kathleen McKeown},
  title = {Introduction to the Special Issue on Summarization},
  journal = {Computational Linguistics},
  year = {2002},
  volume = {28},
  number = {4},
  pages = {399--408},
  topic = {text-summary;}
  }

@article{ radev-mckeown:1998a,
  author = {Dragomir Radev and Kathleen R. Mckeown},
  title = {Generating Natural Language Summaries from Multiple
  	On-Line Sources},
  journal = {Computational Linguistics},
  year = {1998},
  volume = {24},
  number = {3},
  pages = {469--500},
  topic = {nl-generation;text-summary;}
  }

@article{ radev-mihalcea:2008a,
  author = {Dragomir Radev and Rada Mihalcea},
  title = {Networks and Natural Language Processing},
  journal = {The {AI} Magazine},
  year = {2008},
  volume = {29},
  number = {3},
  pages = {16--28},
  topic = {networks;nl-processing;lexical-semantics;}
  }

@book{ radford:1988a,
  author = {Andrew Radford},
  title = {Transformational Grammar: A First Course},
  publisher = {Cambridge University Press},
  year = {1988},
  address = {Cambridge, England},
  topic = {nl-syntax;GB-syntax;}
 }

@book{ radner-winokour:1970a,
  editor = {Michael Radner and Stephen Winokour},
  title = {Analyses of Theories and Methods of Physics and
  	Psychology: {M}innesota Studies in the Philosophy of Science,
  	Volume {IV}},
  publisher = {University of Minnesota Press},
  address = {Minneapolis},
  year = {1970},
  rtnote = {In RHT collection.  Philsci Shelves.},
  topic = {philosophy-of-science;philosophy-of-physics;
  	philosophy-of-psychology;}
 }

@article{ radnitzky:1962a,
  author = {Gerald A. Radnitzky},
  title = {Performatives and Descriptions},
  journal = {Inquiry},
  year = {1962},
  volume = {5},
  pages = {12--41},
  missinginfo = {number},
  topic = {speech-acts;pragmatics;}
  }

@article{ radzinski:1990a,
  author = {Daniel Radzinski},
  title = {Unbounded Syntactic Copying in {M}andarin {C}hinese},
  journal = {Linguistics and Philosophy},
  year = {1990},
  volume = {13},
  number = {1},
  pages = {113--127},
  topic = {long-distance-dependencies;Chinese-language;}
  }

@article{ rafferty:2006a,
  author = {J.G. Rafferty},
  title = {Correspondences between {G}entzen and {H}ilbert Systems},
  journal = {Journal of Symbolic Logic},
  year = {2006},
  volume = {71},
  number = {3},
  pages = {903--957},
  topic = {proof-theory;}
  }

@article{ raffman:1994a,
  author = {Diana Raffman},
  title = {Vagueness without Paradox},
  journal = {The Philosophical Review},
  year = {1994},
  volume = {103},
  number = {1},
  pages = {41--74},
  topic = {vagueness;sorites-paradox;}
  }

@article{ raffman:1996a,
  author = {Diana Raffman},
  title = {Vagueness and Context-Relativity},
  journal = {Philosophical Studies},
  year = {1996},
  volume = {81},
  pages = {175--192},
  topic = {vagueness;context;sorites-paradox;}
  }

@article{ raffman:2005a,
  author = {Diana Raffman},
  title = {Borderline Cases and Bivalence},
  journal = {The Philosophical Review},
  year = {2005},
  volume = {114},
  number = {1},
  pages = {1--31},
  topic = {vagueness;}
  }

@article{ raffman-shapiro_s1:2003a,
  author = {Diana Raffman and Stewart Shapiro},
  title = {Review of \emph{{T}heories of Vagueness}, by {R}osanna {K}eefe},
  journal = {The Philosophical Review},
  year = {2003},
  volume = {112},
  number = {2},
  pages = {260--262},
  xref = {Review of: keefe:2000a},
  topic = {vagueness;}
  }

@incollection{ ragan:1983a,
  author = {Sandra Ragan},
  title = {Alignment and Conversational Coherence},
  booktitle = {Conversational Coherence:  Form, Structure and Strategy},
  publisher = {Sage Publications},
  year = {1983},
  editor = {Robert T. Craig and Karen Tracey},
  pages = {157--171},
  address = {London},
  rtnote = {In RHT collection.},
  topic = {discourse-coherence;discourse-analysis;coord-in-conversation;
  	miscommunication;pragmatics;}
  }

@incollection{ ragni-wolfl:2006a,
  author = {Marco Ragni and Stefan W\"olfl},
  title = {Temporalizing Cardinal Directions: From Constraint
  		Satisfaction to Planning},
  booktitle = {{KR}2006: Proceedings, Tenth International Conference on
      Principles of  Knowledge Representation and Reasoning},
  publisher = {AAAI Press},
  year = {2006},
  editor = {Patrick Doherty and John Mylopoulos and Christopher A. Welty},
  pages = {472--480},
  address = {Menlo Park, California},
  topic = {spatial-reasoning;constraint-satisfaction;temporal-reasoning;}
  }

@book{ rahimi-karwowski:1992a,
  editor = {Mansour Rahimi and Waldemar Karwowski},
  title = {Human-Robot Interaction},
  publisher = {Taylor \& Francis},
  year = {1992},
  address = {London},
  ISBN = {0850668093},
  rtnote = {UMich Media Union Library, TJ 211 .H84 1992.},
  topic = {robotics;HCI;}
 }

@incollection{ rahwan-etal:2005a,
  author = {Iyad Rahwan and Fernando Koch and Connor Graham and Anton
  	Katton and Liz Sonenberg},
  title = {Goal-Directed Automated Negotiation for Supporting Mobile
  	User Coordination},
  booktitle = {Modeling and Using Context: 5th International and
  	Interdisciplinary Conference},
  publisher = {Springer-Verlag},
  year = {2005},
  editor = {Anind Dey and Boicho Kokinov and David Leake and Roy Turner},
  pages = {382--395},
  address = {Berlin},
  topic = {context;mobile-computing;coordination;}
  }

@article{ rahwan-etal:2007a,
  author = {Iyad Rahwan and Fouad Zablith and Chris Reed},
  title = {Laying the Foundations for a World Wide Argument Web},
  journal = {Artificial Intelligence},
  year = {2007},
  volume = {171},
  number = {10--15},
  pages = {897--921},
  topic = {argumentation;internet-general;}
  }

@article{ rahwan-jennings_nr:2007a,
  author = {Talal Rahwan and Nicholas R. Jennings},
  title = {An Algorithm for Distributing Coalitional Value
  		Calculations among Cooperating Agents},
  journal = {Artificial Intelligence},
  year = {2007},
  volume = {171},
  number = {8--9},
  pages = {535--567},
  topic = {multiagent-systems;coalition-formation;}
  }

@incollection{ railton:2004a,
  author = {Peter Railton},
  title = {How to Engage Reason},
  booktitle = {Reason and Value: Themes from the Moral Philosophy of
  		{J}oseph {R}az},
  publisher = {Oxford University Press},
  year = {2004},
  editor = {R. Jay Wallace and Philip Pettit and Samuel Scheffler
  	and Michael Smith},
  pages = {176--201},
  address = {Oxford},
  rtnote = {In RHT collection.},
  topic = {practical reason;}
  }

@incollection{ railton:2006a,
  author = {Peter Railton},
  title = {Nornative Guidance},
  booktitle = {Oxford Studies in Metaethics, Volume 1},
  publisher = {Oxford University Press},
  year = {2006},
  editor = {Russ Shafer-Landau},
  pages = {3--33},
  address = {Oxford},
  rtnote = {In RHT collection.},
  topic = {practical reason;}
  }

@unpublished{ railton:2006b,
  author = {Peter Railton},
  title = {Practical Competence and Fluent Agency},
  year = {2006},
  note = {Unpublished manuscript, },
  rtnote = {In RHT collection.},
  rtnote = {Forthcomoing in D. Sobel and S. Wall, Practical Reason,
  	Caqmbridge.},
  topic = {practical-reasoning;}
  }

@incollection{ railton:2009a,
  author = {Peter Railton},
  title = {Internalism for Externalists},
  booktitle = {Metaethics},
  publisher = {Blackwell Publishers},
  year = {2009},
  editor = {Ernest Sosa and Enrique Villanueva},
  pages = {166--181},
  address = {Oxford},
  topic = {expressivism;normativity;}
  }

@article{ raiman:1991a1,
  author = {Olivier Raiman},
  title = {Order of Magnitude Reasoning},
  journal = {Artificial Intelligence},
  year = {1991},
  volume = {51},
  number = {1--3},
  pages = {11--38},
  acontentnote = {Abstract:
      Order of magnitude reasoning is pervasive.  It copes with
     incomplete quantitative information and reduces the burden of
     calculations.  This paper explores the foundations of this form
     of commonsense reasoning.
      Intuitively such reasoning is like using a coarse balance which
     weighs quantities with a variable level of precision.  The coarse
     equilibrium is captured by order of magnitude equations, and the
     precision levels are given by order of magnitude scales.
       The system, Estimates, introduced to solve such equations,
     captures some basic engineering skills.  Two tasks demonstrate
     the leverage it provides: the diagnosis of analog circuits and
     the estimation of the acidity of chemical solutions.},
  xref = {Republication: raiman:1991a2.},
  topic = {reasoning-about-uncertainty;diagnosis;granularity;
  		qualitative-physics;qualitative-reasoning;
  		order-of-magnitude-reasoning;}
  }

@incollection{ raiman:1991a2,
  author = {Olivier Raimann},
  title = {Order of Magnitude Reasoning},
  booktitle = {Qualitative Reasoning about Physical Systems},
  publisher = {Morgan Kaufmann},
  year = {1990},
  editor = {Daniel S. Weld and Johan de Kleer},
  pages = {318--322},
  address = {San Mateo, California},
  xref = {Republication of: raiman:1991a1.},
  topic = {reasoning-about-uncertainty;diagnosis;granularity;
  		qualitative-physics;qualitative-reasoning;
  		order-of-magnitude-reasoning;}
  }

@incollection{ raiman-dekleer:1992a,
  author = {Olivier Raiman and Johan de Kleer},
  title = {A Minimality Maintenance System},
  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 = {532--538},
  address = {San Mateo, California},
  topic = {kr;truth-maintenance;circumscription;}
  }

@inproceedings{ raiman-etal:1993a,
  author = {Olivier Raiman and Johan de Kleer and Vijay Saraswat},
  title = {Critical Reasoning},
  booktitle = {Proceedings of the Thirteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1993},
  editor = {Ruzena Bajcsy},
  pages = {18--23},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  rtnote = {In RHT collection.},
  topic = {diagnosis;model-based-reasoning;abstraction;}
  }

@book{ rainermann:2000a,
  author = {Wolfgang Rainer-Mann},
  title = {The Discovery of Things: {A}ristotle's
  	Categories and Their Context},
  publisher = {Princeton University Press},
  year = {2000},
  address = {Princeton},
  xref = {Review: matthews_gb:2005a.},
  topic = {Aristotle;}
 }

@incollection{ raisghasem-corriveau:1998a,
  author = {Mohsen Rais-Ghasem and Jean-Pierre Corriveau},
  title = {Exemplar-Based Sense Modulation},
  booktitle = {The Computational Treatment of Nominals: Proceedings
  	of the Workshop},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Federica Busa and Inderjeet Mani and Patrick Saint-Dizier},
  pages = {85--93},
  address = {New Brunswick, New Jersey},
  topic = {context;disambiguation;computational-semantics;}
  }

@incollection{ rajasekar-etal:1989a,
  author = {Arcot Rajasekar and Jorge Lobo and Jack Minker},
  title = {Skeptical Reasoning and Disjunctive Programs},
  booktitle = {{KR}'89: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1989},
  editor = {Ronald J. Brachman and Hector J. Levesque and Raymond Reiter},
  pages = {349--356},
  address = {San Mateo, California},
  topic = {kr;logic-programming;nonmonotonic-logic;kr-course;}
  }

@article{ ram-etal:1995a,
  author = {Ashwin Ram and Linda Wills and Eric Domeshek and Nancy Nersessian
  	and Janet Kolodner},
  title = {Understanding the Creative Mind: a Review of {M}argaret
  	{B}oden's {\it Creative Mind}},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {79},
  number = {1},
  pages = {111--128},
  xref = {Review of boden:1990a.},
  topic = {creativity;}
  }

@article{ ram-santamaria:1997a,
  author = {Ashwin Ram and J.C. Santamar\'ia},
  title = {Continuous Case-Based Reasoning},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {90},
  number = {1--2},
  pages = {25--77},
  acontentnote = {Abstract:
     Case-based reasoning systems have traditionally been used to
     perform high-level reasoning in problem domains that can be
     adequately described using discrete, symbolic representations.
     However, many real-world problem domains, such as autonomous
     robotic navigation, are better characterized using continuous
     representations.  Such problem domains also require continuous
     performance, such as on-line sensorimotor interaction with the
     environment, and continuous adaptation and learning during the
     performance task.  This article introduces a new method for
     continuous case-based reasoning, and discusses its application
     to the dynamic selection, modification, and acquisition of robot
     behaviors in an autonomous navigation system, SINS
     (self-improving navigation system).  The computer program and the
     underlying method are systematically evaluated through
     statistical analysis of results from several empirical studies.
     The article concludes with a general discussion of case-based
     reasoning issues addressed by this research. },
  topic = {case-based-reasoning;machine-learning;robot-navigation;}
  }

@article{ ramachandran:1989a,
  author = {Murali Ramachandran},
  title = {An Alternative Translation Scheme For Counterpart Theory},
  journal = {Analysis},
  year = {1989},
  volume = {49},
  number = {3},
  pages = {131--141},
  topic = {counterpart-theory;}
  }

@book{ raman:1997a,
  author = {T.V. Raman},
  title = {Auditory User Interfaces: Toward the Speaking Computer},
  publisher = {Kluwer Academic Publishers},
  year = {1997},
  address = {Dordrecht},
  ISBN = {0792399846 (paper)},
  rtnote = {UMich Media Union Library, QA 76.9 .U83 R361 1997.},
  topic = {HCI;}
 }

@incollection{ ramanujan:1996a,
  author = {Ramaswamy Ramanujan},
  title = {Local Knowledge Assertions in a Changing World},
  booktitle = {Theoretical Aspects of Rationality and Knowledge:
  	Proceedings of the Sixth Conference ({TARK} 1996)},
  publisher = {Morgan Kaufmann},
  year = {1996},
  editor = {Yoav Shoham},
  pages = {1--14},
  address = {San Francisco},
  topic = {epistemic-logic;belief-revision;temporal-reasoning;}
  }

@inproceedings{ rambow:1990a,
  author = {Owen Rambow},
  title = {Domain Communication Knowledge},
  booktitle = {Fifth International Workshop on Natural Language
  	Generation, Pittsburgh, Pennsylvania},
  year = {1990},
  pages = {87--94},
  topic = {discourse-reasoning;discourse-planning;pragmatics;}
}

@article{ rambow-etal:2001a,
  author = {Owen Rambow and K. Vijay-Shankar and David Weir},
  title = {D-Tree Substitution Grammars},
  journal = {Computational Linguistics},
  year = {2001},
  volume = {27},
  number = {1},
  pages = {87--121},
  topic = {TAG-grammar;}
  }

@inproceedings{ rambow-satta:1996a,
  author = {Owen Rambow and Giorgio Satta},
  title = {Synchronous Models of Language},
  booktitle = {Proceedings of the Thirty-Fourth Annual Meeting of the
  	Association for Computational Linguistics},
  year = {1996},
  editor = {Arivind Joshi and Martha Palmer},
  pages = {116--123},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco},
  topic = {transduction;nl-quantifier-scope;}
 }

@inproceedings{ ramchaud:1993a,
  author =  {Gillian Carriona Ramchaud},
  title = {Verbal Nouns and Event Structure in {S}cottish {G}aelic},
  booktitle = {Proceedings from Semantics and Linguistic Theory {III}},
  year = {1993},
  editor = {Utpal Lahiri and Zachary Wyner},
  pages = {162--181},
  publisher = {Cornell University},
  address = {Ithaca, New York},
  note = {Available from CLC Publications, Department of Linguistics,
  	Morrill Hall, Cornell University, Ithaca, NY 14853-4701.},
  topic = {events;nominalization;Gaelic-language;}
  }

@article{ ramchurn-etal:2007a,
  author = {Sarvapali D. Ramchurn and Carles Sierra and Llu\'is Godo
  		and Nicholas R. Jennings},
  title = {Negotiating using Rewards},
  journal = {Artificial Intelligence},
  year = {2007},
  volume = {171},
  number = {10--15},
  pages = {805--837},
  topic = {argumentation;negotiation;}
  }

@article{ ramoni-sebastiani:2001a,
  author = {Marco Ramoni and Paola Sebastiani},
  title = {Robust {B}ayes Classifiers},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {125},
  number = {1--2},
  pages = {209-226},
  topic = {Bayesian-classification;}
  }

@incollection{ ramos-lapalme:1995a,
  author = {Margarita Alonso Ramos and Agnes Tutin and Guy
    		Lapalme},
  title = {Lexical Functions of the {\it Explanatory
		Combinatorial Dictionary} for Lexicalization
		in Text Generation},
  booktitle = {Computational Lexical Semantics},
  publisher = {Cambridge University Press},
  year = {1995},
  editor = {Patrick Saint-Dizier and Evelyne Viegas},
  pages = {351--366},
  address = {Cambridge, England},
  topic = {computational-lexical-semantics;nl-generation;}
  }

@book{ ramsay_a:1988a,
  author = {Allan Ramsay},
  title = {Formal Methods in Artificial Intelligence},
  publisher = {Cambridge University Press},
  year = {1988},
  address = {Cambridge, England},
  rtnote = {In RHT collection.  AI Shelves.},
  topic = {logic-in-AI;theorem-proving;modal-logic;nonmonotonic-logic;
  	temporal-logic;}
 }

@article{ ramsay_a:1992a,
  author = {Allan Ramsay},
  title = {Presuppositions and {WH}-Clauses},
  journal = {Journal of Semantics},
  year = {1992},
  volume = {9},
  number = {3},
  pages = {251--286},
  topic = {presupposition;interrogatives;knowing-who;}
  }

@article{ ramsey_fp:1925a1,
  author = {Frank P. Ramsey},
  title = {Universals},
  journal = {Mind, N.S.},
  year = {1925},
  volume = {34},
  number = {136},
  pages = {338--384},
  xref = {Reprinted in braithwaite:1931a; see ramsey_fp:1925a2.},
  topic = {analytic-philosophy;metaphysics;}
  }

@incollection{ ramsey_fp:1925a2,
  author = {Frank P. Ramsey},
  title = {Universals},
  booktitle = {The Foundations of Mathematics: Collected Papers of {F}rank
  	{P}. {R}amsey},
  publisher = {Routledge and Kegan Paul},
  year = {1931},
  editor = {Richard B. Braithwaite},
  pages = {112--137},
  address = {London},
  rtnote = {In RHT collection.},
  xref = {Republication of: ramsey_fp:1925a1.},
  topic = {analytic-philosophy;metaphysics;}
  }

@article{ ramsey_fp:1925b1,
  author = {Frank P. Ramsey},
  title = {The Foundations of Mathematics},
  journal = {Proceedings of the {L}ondon {M}athematical {S}ociety, Series 2},
  year = {1925},
  volume = {25},
  number = {5},
  pages = {338--384},
  xref = {Reprinted in braithwaite:1931a; see ramsey_fp:1925a2.},
  topic = {higher-order-logic;semantic-paradoxes;logic-classics;}
  }

@incollection{ ramsey_fp:1925b2,
  author = {Frank P. Ramsey},
  title = {The Foundations of Mathematics},
  booktitle = {The Foundations of Mathematics: Collected Papers of {F}rank
  	{P}. {R}amsey},
  publisher = {Routledge and Kegan Paul},
  year = {1931},
  editor = {Richard B. Braithwaite},
  pages = {1--61},
  address = {London},
  rtnote = {In RHT collection.},
  xref = {Journal publication: ramsey_fp:1925a1.},
  topic = {higher-order-logic;semantic-paradoxes;logic-classics;}
  }

@article{ ramsey_fp:1926a1,
  author = {Frank P. Ramsey},
  title = {Universals and the `Method of Analysis'\, },
  journal = {Aristotelian {S}ociety Supplementary Series},
  year = {1926},
  volume = {6},
  pages = {17--26},
  xref = {Reprinted in braithwaite:1931a; see ramsey_fp:1925a2.},
  topic = {analytic-philosophy;metaphysics;}
  }

@incollection{ ramsey_fp:1926a2,
  author = {Frank P. Ramsey},
  title = {Note on the Preceding Paper},
  booktitle = {The Foundations of Mathematics: Collected Papers of {F}rank
  	{P}. {R}amsey},
  publisher = {Routledge and Kegan Paul},
  year = {1931},
  editor = {Richard B. Braithwaite},
  pages = {135--137},
  address = {London},
  xref = {The preceding paper is ramsey_fp:1925a2.  This is a
		republication of part of ramsey_fp1926a2.},
  rtnote = {In RHT collection.},
  topic = {analytic-philosophy;metaphysics;}
  }

@article{ ramsey_fp:1926b1,
  author = {Frank P. Ramsey},
  title = {Mathematical Logic},
  journal = {The Mathematical Gazette},
  year = {1926},
  volume = {13},
  number = {184},
  pages = {185--194},
  xref = {Reprinted in braithwaite:1931a; see ramsey_fp1925a2.},
  topic = {logic-classics;}
  }

@incollection{ ramsey_fp:1926b2,
  author = {Frank P. Ramsey},
  title = {Mathematical Logic},
  booktitle = {The Foundations of Mathematics: Collected Papers of {F}rank
  	{P}. {R}amsey},
  publisher = {Routledge and Kegan Paul},
  year = {1931},
  editor = {Richard B. Braithwaite},
  pages = {62--81},
  address = {London},
  rtnote = {In RHT collection.},
  xref = {Republication of ramsey_fp1926a2.},
  topic = {logic-classics;}
  }

@article{ ramsey_fp:1927a1,
  author = {Frank P. Ramsey},
  title = {Facts and Propositions},
  Journal = {Proceedings of the {A}ristotelian Society Supplementary
  	Volume},
  year = {1927},
  volume = {7},
  pages = {153--170},
  xref = {Reprinted in braithwaite:1931a; see ramsey_fp1927a2.},
  rtnote = {Reading notes on file.},
  topic = {propositional-attitudes;foundations-of-logic;
  	philosophical-ontology;facts;}
  }

@incollection{ ramsey_fp:1927a2,
  author = {Frank P. Ramsey},
  title = {Facts and Propositions},
  booktitle = {The Foundations of Mathematics: Collected Papers of {F}rank
  	{P}. {R}amsey},
  publisher = {Routledge and Kegan Paul},
  year = {1931},
  editor = {Richard B. Braithwaite},
  pages = {138--155},
  address = {London},
  rtnote = {In RHT collection.},
  rtnote = {Reading notes on file.},
  topic = {propositional-attitudes;foundations-of-logic;
  	philosophical-ontology;facts;}
  }

@article{ ramsey_fp:1928a1,
  author = {Frank P. Ramsey},
  title = {On a Problem of Formal Logic},
  journal = {Proceedings of the {L}ondon Mathematical Society, Series 2},
  year = {1928},
  volume = {30},
  number = {4},
  pages = {338--384},
  xref = {Republished in braithwaite:1931a; see ramsey_fp1928a2.},
  topic = {decidability;}
  }

@incollection{ ramsey_fp:1928a2,
  author = {Frank P. Ramsey},
  title = {On a Problem of Formal Logic},
  booktitle = {The Foundations of Mathematics: Collected Papers of {F}rank
  	{P}. {R}amsey},
  publisher = {Routledge and Kegan Paul},
  year = {1931},
  editor = {Richard B. Braithwaite},
  pages = {82--111},
  address = {London},
  xref = {Republication of: ramsey_fp1928a1.},
  topic = {decidability;}
  }

@incollection{ ramsey_fp:1931a,
  author = {Frank P. Ramsey},
  title = {Truth and Probability},
  booktitle = {The Foundations of Mathematics: Collected Papers of {F}rank
  	{P}. {R}amsey},
  publisher = {Routledge and Kegan Paul},
  year = {1931},
  editor = {Richard B. Braithwaite},
  pages = {156--198},
  address = {London},
  rtnote = {In RHT collection.},
  topic = {foundations-of-probability;subjective-probability;}
  }

@incollection{ ramsey_fp:1931b,
  author = {Frank P. Ramsey},
  title = {Further Considerations},
  booktitle = {The Foundations of Mathematics: Collected Papers of {F}rank
  	{P}. {R}amsey},
  publisher = {Routledge and Kegan Paul},
  year = {1931},
  editor = {Richard B. Braithwaite},
  contentnote = {Further considerations on truth and probability.   TC:
		A. "Reasonable degree of belief"
		B. "Statistics"
		C. "Chance"
	},
  pages = {199--211},
  address = {London},
  rtnote = {In RHT collection.},
  topic = {foundations-of-probability;}
  }

@incollection{ ramsey_fp:1931c,
  author = {Frank P. Ramsey},
  title = {General Propositions and Causality},
  booktitle = {The Foundations of Mathematics: Collected Papers of {F}rank
  	{P}. {R}amsey},
  publisher = {Routledge and Kegan Paul},
  year = {1931},
  editor = {Richard B. Braithwaite},
  pages = {237--255},
  address = {London},
  rtnote = {In RHT collection.},
  topic = {causality;}
  }

@article{ ramsey_m-schank_p:1995a,
  author = {Michael Ramsey and Patricia Schank},
  title = {Protocol Modeling, Textual Analysis, the Bifurcation
  		Bootstrapping Method, and \emph{Convince Me}:
		Computer-Based Techniques for Studying Beliefs
		and Their Revision},
  journal = {Behavior Research Methods, Instruments, and Computers},
  year = {1995},
  volume = {27},
  pages = {239--243},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {connectionist-models;bootstrapping;text-understanding;}
  }

@inproceedings{ ramshaw:1991a,
  author = {Lance A. Ramshaw},
  title = {A Three-Level Model for Plan Recognition},
  booktitle = {Proceedings of the Twenty-Ninth Annual Meeting of the
  	Association for Computational Linguistics},
  year = {1994},
  editor = {Robert C. Berwick},
  pages = {39--46},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  topic = {plan-recognition;}
 }

@inproceedings{ ramshaw-marcus_m:1995a,
  author = {Lance Ramshaw and Mitch Marcus},
  title = {Text Chunking Using Transformation-Based Learning},
  booktitle = {Proceedings of the Third Workshop on Very
		Large Corpora},
  year = {1995},
  editor = {David Yarovsky and Kenneth Church},
  pages = {82--94},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  rtnote = {In RHT collection.},
  topic = {corpus-linguistics;machine-learning;text-chunking;}
  }

@incollection{ ramshaw-marcus_m:1996a,
  author = {Lance A. Ramshaw and Mitchell P. Marcus},
  title = {Exploring the the Nature of Transformation-Based
  	Learning},
  booktitle = {The Balancing Act: Combining Symbolic and Statistical
  	Approaches to Language},
  publisher = {The {MIT} Press},
  year = {1996},
  editor = {Judith Klavans and Philip Resnik},
  pages = {135--156},
  address = {Cambridge, Massachusetts},
  topic = {machine-language-learning;statistical-nlp;}
  }

@incollection{ randall_da-cohn_ag:1992a,
  author = {David A. Randell and Anthony G. Cohn},
  title = {Exploiting Lattices in a Theory of Space and Time},
  booktitle = {Semantic Networks in Artificial Intelligence},
  publisher = {Pergamon Press},
  year = {1992},
  editor = {Fritz Lehmann},
  pages = {459--476},
  address = {Oxford},
  topic = {kr;semantic-networks;temporal-reasoning;
  	spatial-reasoning;kr-course;}
  }

@incollection{ randall_da-witkowski:2006a,
  author = {David A. Randall and  Mark Witkowski},
  title = {Abductive Visual Perception with Feature Clouds},
  booktitle = {{KR}2006: Proceedings, Tenth International Conference on
      Principles of  Knowledge Representation and Reasoning},
  publisher = {AAAI Press},
  year = {2006},
  editor = {Patrick Doherty and John Mylopoulos and Christopher A. Welty},
  pages = {352--361},
  address = {Menlo Park, California},
  topic = {cognitive-robotics;computer-vision;abduction;}
  }

@incollection{ randell:1989a,
  author = {David A. Randell and Anthony G. Cohn},
  title = {Modelling Topological and Metrical Properties in Physical
  	Processes},
  booktitle = {{KR}'89: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1989},
  editor = {Ronald J. Brachman and Hector J. Levesque and Raymond Reiter},
  pages = {357--367},
  address = {San Mateo, California},
  topic = {kr;naive-physics;spatial-representation;kr-course;}
  }

@incollection{ randell-etal:1992a,
  author = {David A. Randell and Zhan Cui and Anthony Cohn},
  title = {A Spatial Logic Based on Regions and Connection},
  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 = {165--176},
  address = {San Mateo, California},
  topic = {kr;spatial-representation;kr-course;}
  }

@incollection{ randell-witkowski:2002a,
  author = {David Randell and Mark Witkowski},
  title = {Building Large Composition Tables Via Axiomatic Theories},
  booktitle = {{KR2002}: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {2002},
  editor = {Dieter Fensel and Fausto Giunchiglia and Deborah
  	L. McGuinness and Mary-Anne Williams},
  pages = {26--35},
  address = {San Francisco, California},
  topic = {kr;compositional-tables;relational-reasoning;}
  }

@unpublished{ rankin_j:1998a,
  author = {Jim Rankin},
  title = {Identifying {J}apanese as a Second Language Learner
		Errors Using the {GLR*} Parser},
  year = {1998},
  note = {Unpublished manuscript, Linguistics Department,
		University of Pittsburgh},
  rtnote = {In RHT collection.},
  topic = {intelligent-computer-assisted-language-instruction;}
  }

@book{ rankin_kw:1961a,
  author = {K.W. Rankin},
  title = {Choice and Chance: A Libertarian Analysis},
  publisher = {Basil Blackwell Publishers},
  year = {1961},
  address = {Oxford},
  missinginfo = {A's 1st name.},
  topic = {freedom;(in)determinism;}
 }

@article{ ranney-schank_p:1995a,
  author = {Michael Ranney and Patricia Schank},
  title = {Protocol Modeling, Textual Analysis, The
  		Bifurcation/Bootstrapping Method, and \emph{Comvince
		Me}: Computer-Based Methods for Studying Beliefs and
		Their Revision},
  journal = {Behavior Research Methods, Instruments, and Computers},
  year = {1995},
  volume = {28},
  pages = {239--243},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {machine-learning;argumentation;belief-revision;}
  }

@article{ ransom:1977a,
  author = {Evelyn Ransom},
  title = {On the Representation of Modality},
  journal = {Linguistics and Philosophy},
  year = {1977},
  volume = {1},
  number = {3},
  pages = {357--379},
  topic = {nl-mood;speech-acts;}
  }

@article{ ranta:1991a,
  author = {Aarne Ranta},
  title = {Intuitionistic Categorial Grammar},
  journal = {Linguistics and Philosophy},
  year = {1991},
  volume = {14},
  number = {2},
  pages = {203--239},
  topic = {intuitionistic-logic;categorial-grammar;}
  }

@book{ ranta:1994a,
  author = {Aarne Ranta},
  title = {Type-Theoretical Grammar},
  publisher = {Oxford University Press},
  year = {1994},
  address = {Oxford},
  ISBN = {019853857X},
  rtnote = {In RHT collection.  MT 2001},
  rtnote = {Umich: Graduate Library Call No: P 151 .R251 1994},
  topic = {higher-order-logic;higher-order-modal-logic;
  	temporal-logic;nl-semantic-types;grammar-formalisms;type-theory;}
 }

@article{ ranta:1998a,
  author = {Aarne Ranta},
  title = {Syntactic Calculus with Dependent Types},
  journal = {Journal of Logic, Language, and Information},
  year = {1998},
  volume = {7},
  number = {4},
  pages = {413--431},
  topic = {Lambek-calculus;higher-oder-logic;}
  }

@incollection{ ranta:1998b,
  author = {Aarne Ranta},
  title = {A Multilingual Natural Language Interface to Regular
  	Expressions},
  booktitle = {{FSMNLP'98}: International Workshop on Finite State
  	Methods in Natural Language Processing},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Lauri Karttunen},
  pages = {79--90},
  address = {Somerset, New Jersey},
  topic = {nl-processing;finite-state-nlp;nl-interfaces;}
  }

@article{ ranta-cooper_r:2004a,
  author = {Aarne Ranta and Robin Cooper},
  title = {Dialogue Systems as Proof Editors},
  journal = {Journal of Logic, Language, and Information},
  year = {2004},
  volume = {13},
  number = {2},
  pages = {225--240},
  topic = {computational-discourse;proof-theory;computational-semantics;
		computational-dialogue;proof-editing;}
  }

@article{ rantala:1975a,
  author = {Veikko Rantala},
  title = {Urn Models: A New Kind of Non-Standard Model for First-Order
  	Logic},
  journal = {Journal of Philosophical Logic},
  year = {1975},
  volume = {4},
  number = {4},
  pages = {455--474},
  topic = {game-theoretic-semantics;}
  }

@unpublished{ rantala:1975b,
  author = {Veikko Rantala},
  title = {The Old and the New Logic of Metascience},
  year = {1978},
  note = {Unpublished manuscript.},
  topic = {philosophy-of-science;}
  }

@incollection{ rantala:1977a,
  author = {Veikko Rantala},
  title = {Prediction and Identifiability},
  booktitle = {Basic Problems in Methodology and Linguistics},
  publisher = {D. Reidel Publishing Co.},
  year = {1977},
  editor = {Robert E. Butts and Jaakko Hintikka},
  pages = {91--102},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {(in)determinism;philosophy-of-science;
  	formalizations-of-physics;}
  }

@unpublished{ rantala:1978a,
  author = {Veikko Rantala},
  title = {Interpreted Language and Inference Licences},
  year = {1978},
  note = {Unpublished manuscript, University of Helsinki.},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  topic = {philosophy-of-science;}
  }

@unpublished{ rantala:1978b,
  author = {Veikko Rantala},
  title = {On the Logical Basis of the Structuralist Philosophy of
  		Science},
  year = {1978},
  note = {Unpublished manuscript, University of Helsinki.},
  rtnote = {In RHT collection.},
  topic = {philosophy-of-science;}
  }

@article{ rantala:1982a,
  author = {Veikko Rantala},
  title = {Impossible Worlds Semantics and Logical Omniscience},
  journal = {Acta Philosophical Fennica},
  year = {1982},
  volume = {35},
  pages = {18--24},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {epistemic-logic;hyperintensionality;resource-limited-reasoning;}
  }

@incollection{ rantala:1994a,
  author = {Veikko Rantala},
  title = {Impossible Worlds Semantics and Logical Omniscience},
  booktitle = {Intensional Logic:  Theory and Applications},
  publisher = {The Philosophical Society of Finland},
  year = {1994},
  editor = {Ilkka Niiniluoto and Esa Saarinen},
  pages = {106--115},
  address = {Helsinki},
  topic = {hyperintensionality;}
  }

@incollection{ rao-wooldridge:1999b,
  author = {Anand Rao and Michael Wooldridge},
  title = {Foundations of Rational
    		Agency},
  booktitle = {Foundations of Rational Agency},
  publisher = {Kluwer Academic Publishers},
  year = {1999},
  editor = {Michael Wooldridge and Anand Rao},
  pages = {1--9},
  address = {Dordrecht},
  topic = {rational-action;agency;agent-architectures;
  		agent-oriented-programming;practical-reasoning;}
  }

@incollection{ rao_as:1994a,
  author = {Anand S. Rao},
  title = {Means-End Recognition---Towards a Theory of Reactive
  	Recognition},
  booktitle = {{KR}'94: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
  pages = {497--509},
  address = {San Francisco, California},
  topic = {kr;plan-recognition;kr-course;}
  }

@inproceedings{ rao_as-foo:1989a,
 author = {Anand S. Rao and Norman Y. Foo},
 title = {Formal Theories of Belief Revision},
  booktitle = {{KR}'89: Principles of Knowledge Representation and Reasoning},
 year = {1989},
 editor = {Ronald J. Brachman and Hector J. Levesque and
 	Raymond Reiter},
 pages = {369--380},
 publisher = {Morgan Kaufmann},
 address = {San Mateo, California},
 topic = {belief-revision;}
 }

@incollection{ rao_as-georgeff:1991a,
  author = {Anand S. Rao and Michael P. Georgeff},
  title = {Modeling Rational Agents within a {BDI}-Architecture},
  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 = {473--484},
  address = {San Mateo, California},
  rtnote = {Reading notes on file.},
  topic = {kr;kr-course;foundations-of-planning;action-formalisms;
		agent-architectures;}
  }

@inproceedings{ rao_as-georgeff:1991b,
  author = {Anand S. Rao and Michael Georgeff},
  title = {Asymmetry Thesis and Side-Effect Problems in
             Linear Time and Branching-Time Intention Logics},
  booktitle = {Proceedings of the Twelfth International Joint
  	Conference on Artificial Intelligence},
  year = {1991},
  editor = {Barbara Grosz and John Mylopoulos},
  pages = {498--504},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  topic = {action-formalisms;intention;branching-time;}
  }

@incollection{ rao_as-georgeff:1992a,
  author = {Anand S. Rao and Michael Georgeff},
  title = {An Abstract Architecture for Rational Agents},
  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 = {439--449},
  address = {San Mateo, California},
  rtnote = {Reading notes on file.},
  topic = {kr;action-formalisms;agent-architectures;kr-course;}
  }

@article{ rao_rpn-ballard_dh:1995a,
  author = {Rajesh P.N. Rao and Dana H. Ballard},
  title = {An Active Vision Architecture Based on Iconic
  	Representations},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {78},
  number = {1--2},
  pages = {461--505},
  acontentnote = {Abstract:
     Active vision systems have the capability of continuously
     interacting with the environment.  The rapidly changing
     environment of such systems means that it is attractive to
     replace static representations with visual routines that compute
     information on demand.  Such routines place a premium on image
     data structures that are easily computed and used.
       The purpose of this paper is to propose a general active vision
     architecture based on efficiently computable iconic
     representations.  This architecture employs two primary visual
     routines, one for identifying the visual image near the fovea
     (object identification), and another for locating a stored
     prototype on the retina (object location).  This design allows
     complex visual behaviors to be obtained by composing these two
     routines with different parameters.
       The iconic representations are comprised of high-dimensional
     feature vectors obtained from the responses of an ensemble of
     Gaussian derivative spatial filters at a number of orientations
     and scales.  These representations are stored in two separate
     memories.  One memory is indexed by image coordinates while the
     other is indexed by object coordinates.  Object location matches
     a localized set of model features with image features at all
     possible retinal locations.  Object identification matches a
     foveal set of image features with all possible model features.
     We present experimental results for a near real-time
     implementation of these routines on a pipeline image processor
     and suggest relatively simple strategies for tackling the
     problems of occlusions and scale variations.  We also discuss two
     additional visual routines, one for top-down foveal targeting
     using log-polar sensors and another for looming detection, which
     are facilitated by the proposed architecture. },
  topic = {computer-vision;object-recognition;visual-reasoning;}
  }

@incollection{ rapaport_m-etal:1993a,
  author = {Malka Rappaport and Mary Laughren and Beth Levin},
  title = {Levels of Lexical Representation},
  booktitle = {Semantics and the Lexicon},
  publisher = {Kluwer Academic Publishers},
  year = {1993},
  editor = {James Pustejovsky},
  pages = {37--54},
  address = {Dordrecht},
  contentnote = {Discusses structure of lex rep from a fairly neutral
  	standpoint wrt ling formalisms.  Concentrates on problem of which
	aspects of arg str are predictable.},
  topic = {argument-structure;lexicon;thematic-roles;lexical-semantics;}
  }

@article{ rapaport_wj:2000a,
  author = {William J. Rapaport},
  title = {How to Pass a {T}uring Test: Syntactic Semantics,
  	Natural-Language Understanding, and First-Person Cognition},
  journal = {Journal of Logic, Language, and Information},
  year = {2000},
  volume = {9},
  number = {4},
  pages = {467--490},
  rtnote = {This looks as if it will have trouble with
  	the semantic paradoxes.},
  topic = {foundations-of-AI;foundations-of-semantics;}
  }

@article{ rapaport_wj:2005a,
  author = {William J. Rapaport},
  title = {Review of \emph{{T}he {T}uring Test: Verbal Behavior as the
  	Hallmark of Intelligence}, edited by {S}tuart {S}hieber},
  journal = {Computational Linguistics},
  year = {2005},
  volume = {31},
  number = {3},
  pages = {407--412},
  xref = {Review of: shieber:2004a.},
  topic = {Turing-test;}
  }

@incollection{ raphael_b:1971a,
  author = {B. Raphael},
  title = {The Frame Problem in Problem Solving Systems},
  booktitle = {Artificial Intelligence and Heuristic Programming},
  publisher = {Edinburgh University Press},
  year = {1971},
  editor = {N.V. Findler and Bernard Meltzer},
  pages = {159--169},
  address = {Edinburgh},
  missinginfo = {E's 1st name.},
  topic = {frame-problem;}
  }

@article{ raphael_dd:1956a,
  author = {D.D. Raphael},
  title = {Linguistic Performatives and Descriptive Meaning},
  journal = {Mind, New Series},
  year = {1956},
  volume = {65},
  pages = {516--521},
  missinginfo = {A's 1st name, number},
  topic = {speech-acts;pragmatics;JL-Austin;}
  }

@incollection{ rapoport_a:1995a,
  author = {Anatol Rapoport},
  title = {The Vitalists' Last Stand},
  booktitle = {Android Epistemology},
  publisher = {Cambridge University Press},
  year = {1995},
  editor = {Kenneth M. Ford and Clark Glymour and Patrick J. Hayes},
  pages = {41--49},
  address = {Cambridge, England},
  topic = {philosophy-AI;}
  }

@incollection{ rapoport_tr:1993a,
  author = {Tova R. Rapoport},
  title = {Verbs in Depictives and Resultatives},
  booktitle = {Semantics and the Lexicon},
  publisher = {Kluwer Academic Publishers},
  year = {1993},
  editor = {James Pustejovsky},
  pages = {163--184},
  address = {Dordrecht},
  topic = {lexical-semantics;resultative-constructions;verb-classes;
  	verb-semantics;}
  }

@incollection{ rapoport_tr:1993b,
  author = {Tova R. Rapoport},
  title = {Stage and Adjunct Predicates: Licensing and Structure in
  	Secondary Predication Constructions},
  booktitle = {Knowledge and Language: Volume {II}, Lexical and Conceptual
  	Structure},
  publisher = {Kluwer Academic Publishers},
  year = {1993},
  editor = {Eric Reuland and Werner Abraham},
  pages = {157--182},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {predication;lexical-semantics;}
  }

@article{ rappaport_gc:1987a,
  author = {Gilbert C. Rappaport},
  title = {On Syntactic Binding into Adjuncts in the {R}ussian Noun
  	Phrase},
  journal = {Linguistics and Philosophy},
  year = {1987},
  volume = {10},
  number = {4},
  pages = {475--501},
  topic = {nl-syntax;government-binding-theory;Russian-language;}
  }

@incollection{ rappaport_m:1983a,
  author = {Malka Rappaport},
  title = {On the Nature of Derived Nominals},
  booktitle = {Papers in Lexical-Functional Grammar},
  publisher = {Indiana University Linguistics Club},
  year = {1983},
  editor = {Lori Levin and Malka Rappaport and Annie Zaenen},
  address = {Bloomington, Indiana},
  topic = {LFG;nominalization;}
  }

@incollection{ rappaport_m-levin_b:1988a,
  author = {Malka Rappaport and Beth Levin},
  title = {What to Do with Theta-Roles},
  booktitle = {Syntax and Semantics 21: Thematic Relations},
  publisher = {Academic Press},
  year = {1988},
  editor = {Wendy Wilkins},
  pages = {7--36},
  address = {New York},
  topic = {thematic-roles;}
  }

@incollection{ rappaport_m-levin_b:1990a,
  author = {Malka Rappaport and Beth Levin},
  title = {{\em -er}-Nominals: Implications for the Theory
  	of Argument Structure},
  booktitle = {Syntax and the Lexicon},
  publisher = {Academic Press},
  year = {1990},
  editor = {E. Wehrli and T. Stowell},
  address = {New York},
  missinginfo = {E's 1st name, pages},
  topic = {argument-structure;derivational-morphology;}
  }

@article{ rappaport_tr:1999a,
  author = {Tova R. Rapoport},
  title = {Structure, Aspect and the Predicate},
  journal = {Language},
  year = {1999},
  volume = {75},
  number = {4},
  pages = {653--677},
  topic = {predication;lexical-semantics;depictives;}
  }

@article{ rappaport_wj:1986a,
  author = {William J. Rappaport},
  title = {Logical Foundations for Belief Representation},
  journal = {Cognitive Science},
  year = {1986},
  volume = {10},
  pages = {371--422},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {intensionality;reference;philosophy-AI;SNePS;}
  }

@incollection{ rappaport_wj:2005a,
  author = {William J. Rappaport},
  title = {In Defense of Contextual Vocabulary Acquisition---How to
  	Do Things with Words in Context},
  booktitle = {Modeling and Using Context: 5th International and
  	Interdisciplinary Conference},
  publisher = {Springer-Verlag},
  year = {2005},
  editor = {Anind Dey and Boicho Kokinov and David Leake and Roy Turner},
  pages = {396--409},
  address = {Berlin},
  topic = {context;word-acquisition;}
  }

@book{ rardin:1975a,
  author = {Robert Rardin},
  title = {Sentence-Raising and Sentence Shift},
  publisher = {Indiana University Linguistics Club},
  year = {1975},
  address = {310 Lindley Hall, Bloomington, Indiana},
  rtnote = {In RHT collection.},
  topic = {parentheticals;}
 }

@inproceedings{ ras-zheng:1998a,
  author = {Zbigniew Ra\'s and Jiyun Zheng},
  title = {Knowledge Discovery Objects and Queries in
  	Distributed Knowledge Systems},
  booktitle = {Artificial Intelligence and Symbolic Computation:
	Proceedings of {AISC'98}},
  year = {1998},
  editor = {Jacques Calmet and Jan Plaza},
  pages = {259--269},
  publisher = {Springer Verlag},
  address = {Berlin},
  topic = {deductive-databases;machine-learning;}
  }

@book{ rasmussen_e:1989a,
  author = {Eric Rasmussen},
  title = {Games and Information: An Introduction to Game Theory},
  publisher = {Blackwell Publishers},
  year = {1989},
  address = {Oxford},
  rtnote = {GSPIA/Economics  QA269 R37 1989},
  topic = {game-theory;}
 }

@article{ rasmussen_sa:1986a,
  author = {Stig A. Rasmussen},
  title = {Vague Identity},
  journal = {Mind, New Series},
  year = {1986},
  volume = {95},
  pages = {81--91},
  missinginfo = {number},
  topic = {vagueness;identity;}
  }

@incollection{ rathman-wiederhold:1991a,
  author = {Peter K. Rathman and Gio Wiederhold},
  title = {Circumscription and Authority},
  booktitle = {Artificial Intelligence and Mathematical Theory of
  	Computation},
  publisher = {Academic Press},
  year = {1991},
  editor = {Vladimir Lifschitz},
  pages = {345--358},
  address = {San Diego},
  topic = {circumscription;databases;}
  }

@incollection{ ratnaparkhi:1996a,
  author = {Adwait Ratnaparkhi},
  title = {A Maximum Entropy Model for Part-of-Speech
			Tagging},
  booktitle = {Proceedings of the Conference on Empirical
		Methods in Natural Language Processing},
  publisher = {Association for Computational Linguistics},
  year = {1996},
  editor = {Eric Brill and Kenneth Church},
  pages = {133--142},
  address = {Somerset, New Jersey},
  topic = {part-of-speech-tagging;corpus-statistics;}
  }

@incollection{ ratnaparkhi:1997a,
  author = {Adwait Ratnaparkhi},
  title = {A Linear Observed Time Statistical Parser
				Based on Maximal Entropy Models},
  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 = {1--10},
  address = {Somerset, New Jersey},
  topic = {empirical-methods-in-nlp;parsing-algorithms;
		statistical-nlp;}
  }

@article{ ratnaparkhi:2000a,
  author = {Adwait Ratnaparkhi},
  title = {Review of \emph{{S}yntactic Wordclass Tagging}, edited by
  	{H}ans van {H}alteren},
  journal = {Computational Linguistics},
  year = {2000},
  volume = {26},
  number = {3},
  pages = {456--459},
  xref = {Review of: vanhalteren:1999a.},
  topic = {part-of-speech-tagging;}
  }

@phdthesis{ rats:1996a,
  author = {M. Rats},
  title = {Context-Driven Natural Language Interpretation},
  school = {Tilburg University},
  year = {1996},
  type = {Ph.{D}. Dissertation},
  address = {Tilburg},
  missinginfo = {A's 1st name.},
  topic = {computational-dialogue;nl-generation;d-topic;}
 }

@incollection{ rats-etal:1997a,
  author = {M.M.M. Rats and R.J. van Vark and J.P.M. de Vreught},
  title = {Corpus-Based Information Presentation for a Spoken Public
  	Transport System},
  booktitle = {Interactive Spoken Dialog Systems:  Bridging
  	Speech and {NLP} Together in Real Applications},
  publisher = {Association for Computational Linguistics},
  year = {1997},
  editor = {Julia Hirschberg and Candace Kamm and Marilyn Walker},
  pages = {106--113},
  address = {New Brunswick, New Jersey},
  topic = {computational-dialogue;corpus-linguistics;}
  }

@article{ rattan:2007a,
  author = {Gurpeet Rattan},
  title = {The Two Worlds of Deflationism},
  journal = {The Journal of Philosophy},
  year = {2007},
  volume = {104},
  number = {12},
  pages = {609--638},
  topic = {truth;deflationary-analyses;}
  }

@incollection{ raudys-etal:2005a,
  author = {Sarunas Raudys and Aini Hussain and Viktorias Justickis and
  	Alvydas Pumputis and Arunas Augustinaitis},
  title = {Functional Models of Criminality:  Simulation Study},
  booktitle = {Modeling and Using Context: 5th International and
  	Interdisciplinary Conference},
  publisher = {Springer-Verlag},
  year = {2005},
  editor = {Anind Dey and Boicho Kokinov and David Leake and Roy Turner},
  pages = {410--423},
  address = {berlin},
  topic = {context;simulation;}
  }

@article{ raufaste-etal:2003a,
  author = {Eric Raufaste and Rui da Silva Neves and Claudette Marin\'e},
  title = {Testing the Descriptive Validity of Possibility Theory in
  	Human Judgments of Uncertainty},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {148},
  number = {1--2},
  pages = {197--218},
  topic = {possibility-theory;fuzzy-set-theory;diagnosis;
  	reasoning-about-uncertainty;}
  }

@article{ rautenberg:1983a,
  author = {Wolfgang Rautenberg},
  title = {Modal Tableau Calculi and Intepolation},
  journal = {Journal of Philosophical Logic},
  year = {1983},
  volume = {12},
  number = {4},
  pages = {403--423},
  xref = {Correction: rautenberg:1985a.},
  topic = {modal-logic;proof-theory;}
  }

@article{ rautenberg:1985a,
  author = {Wolfgang Rautenberg},
  title = {Correction to `{M}odal Tableu Calculi', by W. Rautenberg},
  journal = {Journal of Philosophical Logic},
  year = {1985},
  volume = {14},
  number = {2},
  pages = {229},
  xref = {Correction to rautenberg:1983a.},
  topic = {modal-logic;}
  }

@article{ rautenberg-etal:2006a,
  author = {Wolfgang Rautenberg and Frank Wolter and Michael Zakharyaschev},
  title = {Willem {B}lok and Modal Logic},
  journal = {Studia Logica},
  year = {2006},
  volume = {83},
  number = {1--3},
  pages = {15--30},
  topic = {modal-logic;algebraic-logic;history-of-logic;}
  }

@incollection{ rauzy:1991a,
  author = {Antoine Rauzy},
  title = {Extraction in Trivalent Propositional Logic},
  booktitle = {Symbolic and Quantitative Approaches for Uncertainty:
  	Proceedings of the {E}uropean Conference {ECSQAU}, Marseille,
	France, October 1991},
  publisher = {Springer-Verlag},
  year = {1991},
  editor = {Rudolf Kruse and Pierre Siegel},
  pages = {287--291},
  address = {Berlin},
  topic = {theorem-proving;multivalued-logic;}
  }

@book{ ravenscroft:2005a,
  author = {Ian Ravenscroft},
  title = {Philosophy of Mind:  A Beginner's Guide},
  publisher = {Oxford University Press},
  year = {2005},
  address = {Oxford},
  ISBN = {0-19-925524-8},
  topic = {philosophy-of-mind;}
 }

@inproceedings{ ravesz:1993a,
  author = {P.Z. Ravesz},
  title = {On the Semantics of Theory Change: Arbitration Between Old
  	and New Information},
  booktitle = {Proceedings of the Twelfth Annual
  	{ACM} {SIGACT-SIGMOD-SIGART} Symposium on Principles of
        Database Systems},
  year = {93},
  pages = {71--82},
  missinginfo = {A's 1st name, publisher, address},
  topic = {belief-revision;}
  }

@inproceedings{ ravichandran-etal:2005a,
  author = {Deepak Ravichandran and Patrick Pantel and Eduard Hovy},
  title = {Randomized Algorithms and {NLP}: Using Locality Sensitive
  		Hash Functions for High Speed Noun Clustering},
  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 = {622--629},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1077},
  topic = {corpus-linguistics;scaled-up-algorithms;}
  }

@article{ ravizza:1993a,
  author = {Mark Ravizza},
  title = {Review of \emph{{T}he Non-Reality of Free Will}, by
  	{R}ichard {D}ouble},
  journal = {The Philosophical Review},
  year = {1993},
  volume = {102},
  number = {3},
  pages = {413--415},
  xref = {Review of double:1991a.},
  topic = {freedom;volition;}
  }

@book{ rawlins:1996a,
  author = {Gregory J.E. Rawlins},
  title = {Moths to the Flame:  The Seductions of Computer Technology},
  publisher = {The {MIT} Press},
  year = {1996},
  address = {Cambridge, Massachusetts},
  topic = {computers-and-culture;}
 }

@book{ rawlins:1996b,
  author = {Gregory J.E. Rawlins},
  title = {Slaves of the Machine: The Quickening of Computer Technology},
  publisher = {The {MIT} Press},
  year = {1996},
  address = {Cambridge, Massachusetts},
  topic = {computers-and-culture;}
 }

@article{ rawls:1955a,
  author = {John Rawls},
  title = {Two Concepts of Rules},
  journal = {The Philosophical Review},
  year = {1955},
  volume = {64},
  pages = {3--32},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {unclassified;}
  }

@article{ rawls:1958a,
  author = {John Rawls},
  title = {Justice as Fairness},
  journal = {The Philosophical Review},
  year = {1958},
  volume = {67},
  pages = {164--194},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {distributive-justice;}
  }

@book{ rawls:1971a,
  author = {John Rawls},
  title = {A Theory of Justice},
  publisher = {Harvard University Press},
  year = {1971},
  topic = {ethics;welfare-economics;rationality;}
 }

@article{ ray:1995a,
  author = {Gregory Ray},
  title = {Thinking in {L}},
  journal = {No\^us},
  year = {1995},
  volume = {3},
  pages = {378--396},
  contentnote = {This is a criticism of Schiffer's account of 'POP
  	speaks LANG'.  Argues that S's acct of what it is to think in a
	language (a language of thought) is wrong.},
  topic = {philosophy-of-language;compositionality;mental-language;}
  }

@article{ ray:1996a,
  author = {Gregory Ray},
  title = {Logical Consequence: A Defense of {T}arski},
  journal = {Journal of Philosophical Logic},
  year = {1996},
  volume = {25},
  number = {6},
  pages = {617--677},
  contentnote = {A defense of Tarski against etchemendy:1990a.},
  topic = {logical-consequence;}
  }

@article{ ray:1996b,
  author = {Greg Ray},
  title = {Ontology-Free Modal Semantics},
  journal = {Journal of Philosophical Logic},
  year = {1996},
  volume = {25},
  number = {4},
  pages = {333--361},
  topic = {modal-logic;actualism;}
  }

@incollection{ ray:2000a,
  author = {Greg Ray},
  title = {{\it De Re} Modality: Lessons from {Q}uine},
  booktitle = {Knowledge, Language and Logic: Questions for {Q}uine},
  publisher = {Kluwer Academic Publishers},
  year = {2000},
  editor = {Alex Orenstein and Petr Kotatko},
  pages = {247--365},
  address = {Dordrecht},
  topic = {foundations-of-modal-logic;modality;individual-attitudes;
  	Quine;}
  }

@article{ ray:2005a,
  author = {Greg Ray},
  title = {On the Matter of Essential Richness},
  journal = {Journal of Philosophical Logic},
  year = {2005},
  volume = {34},
  number = {4},
  pages = {433--457},
  topic = {Tarski;truth-definitions;metalinguistic-hierarchies;}
  }

@incollection{ rayner:1989a,
  author = {Manny Rayner},
  title = {Did {N}ewton Solve the `Extended Prediction Problem'?},
  booktitle = {{KR}'89: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1989},
  editor = {Ronald J. Brachman and Hector J. Levesque and Raymond Reiter},
  pages = {381--385},
  address = {San Mateo, California},
  topic = {kr;reasoning-about-physical-systems;
  	extended-predicition-problem;temporal-reasoning;kr-course;}
  }

@article{ rayner:1991a,
  author = {Manny Rayner},
  title = {On the Applicability of Nonmonotonic Logic to Formal
  	Reasoning in Continuous Time},
  journal = {Artificial Intelligence},
  year = {1991},
  volume = {49},
  number = {1--3},
  pages = {345--360},
  contentnote = {Argues that Shoham and Sandewall have not provided
  	adequate reasons for the need for NM logic in formalizing
	continuous systems.},
  topic = {nonmonotonic-reasoning;continuous-systems;
  	reasoning-about-continuous-time;}
  }

@inproceedings{ rayner-carter_d:1996a,
  author = {Manny Rayner and David Carter},
  title = {Fast Parsing Using Pruning and Grammar Specialization},
  booktitle = {Proceedings of the Thirty-Fourth Annual Meeting of the
  	Association for Computational Linguistics},
  year = {1996},
  editor = {Arivind Joshi and Martha Palmer},
  pages = {223--230},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco},
  topic = {parsing-optimization;nmachine-learning;}
 }

@incollection{ rayner-etal:1997a,
  author = {Manny Rayner and David Carter and Ivan Bretan and Robert Eklund
    		and Mats Wir\'en and Steffen Leo Hanssen and Sabine
		Kirchmeier-Andersen and Christina Philip and Finn
		S{\o}rensen and Hanne Erdman Thomsen},
  title = {Recycling Lingware in a Multilingual {MT} System},
  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 = {65--70},
  address = {Somerset, New Jersey},
  topic = {software-engineering;machine-translation;}
  }

@inproceedings{ rayner-etal:2000a,
  author = {Manny Rayner and Beth Ann Hockey and Frankie James},
  title = {A Compact Architecture for Dialogue Management Based
		on Scripts and Meta-Outputs},
  booktitle = {Conversational Systems},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  editor = {Candace Sidner and James Allen and Phil Cohen and
  	Justine Cassell and Laila Dybkjaer and X.D. Huang and
	Masato Ishizaki and Candace Kamm and Lin-Shan Lee and
	Susann Luperfoy and Patti Price and Owen Rambow and
	Norbert Reithinger and Alex Rudnicky and Stephanie
	Seneff and Dave Stallard and David R. Traum and Marilyn
	Walker and Wayne Ward},
  pages = {54--60},
  address = {New Brunswick, New Jersey},
  topic = {computational-dialogue;}
  }

@article{ rayo:2002a,
  author = {Agust\'in Rayo},
  title = {Frege's Unnoficial Arithmetic},
  journal = {Journal of Symbolic Logic},
  year = {2002},
  volume = {67},
  number = {4},
  pages = {1623--1638},
  topic = {Frege;foundations-of-arithmetic;second-order-arithmetic;}
  }

@incollection{ rayo:2006a,
  author = {Agust\'in Rayo},
  title = {Beyond Plurals},
  booktitle = {Absolute Generality},
  publisher = {Oxford University Press},
  year = {2006},
  editor = {August\'in Rayo and Gabriel Uzquiano},
  pages = {220--254},
  address = {Oxford},
  topic = {plural;higher-order-logic;nominalism;}
  }

@article{ rayo:2008a,
  author = {Augustin Rayo},
  title = {Truth-Conditions},
  journal = {The Philosophical Review},
  year = {2008},
  volume = {117},
  number = {4},
  pages = {349--443},
  topic = {ontological-commitment;philosophy-of-mathematics;}
  }

@book{ rayo-uzquiano:2006a,
  editor = {August\'in Rayo and Gabriel Uzquiano},
  title = {Absolute Generality},
  publisher = {Oxford University Press},
  year = {2006},
  address = {Oxford},
  ISBN = {978-0-19-927643-1},
  contentnote = {TC:
     1. Agust\'in Rayo and Gabriel Uzquiano, "Introduction", pp. 1--19
     2. Kit Fine, "Relatively Unrestricted Quantification", pp. 20--44
     3. Michael Glanzberg, "Context and Unrestricted
     		Quantification", pp. 45--74
     4. Geoffrey Hellman, "Against 'Absolutely Everything'!", pp. 75--97
     5. Shaughan Lavine, "Something About Everything: Universal
     		Quantification in the Universal Sense of Universal
		Quantification", pp. 75--148
     6. {\O}ystein Linnebo, "Sets, Properties, and Unrestricted
     		Quantification", pp. 149--178
     7. Vann McGee, "There's a Rule for Everything", pp. 179--219
     8. Charles Parsons, "The Problem of Absolute Universality", pp.
     9. Agust\'in Rayo, "Beyond Plurals", pp. 220--254
     10. Stewart Shapiro and Crispin Wright, "All Things Indefinitely
     		Extensible", pp. 255--304
     11. Gabriel Uzquiano, "Unrestricted Unrestricted Quantification:
     		The Cardinal Problem of Absolute Generality", pp. 305--332
     12. Alan Weir, "Is it Too Much to Ask, to Ask for
     		Everything?", pp. 333--368
     13. Timothy Williamson, "Absolute Identity and Absolute
     		Generality", pp. 369--389
  },
  rtnote = {UMich Hatcher Graduate B 105 .U5 A27 2006},
  rtnote = {In RHT collection.  Out for reading, Spring 2009.},
  xref = {Review:smith_p:2008a.},
  topic = {philosophical-ontology;unrestrictive-quantification;}
 }

@incollection{ rayo-uzquiano:2006b,
  author = {Agust\'in Rayo and Gabriel Uzquiano},
  title = {Introduction},
  booktitle = {Absolute Generality},
  publisher = {Oxford University Press},
  year = {2006},
  editor = {August\'in Rayo and Gabriel Uzquiano},
  pages = {1--19},
  address = {Oxford},
  topic = {philosophical-ontology;unrestrictive-quantification;}
  }

@article{ rayo-yablo:2001a,
  author = {Agustin Rayo and Stephen Yablo},
  title = {Nominalism through De-Nominalization},
  journal = {No\^us},
  year = {2001},
  volume = {35},
  number = {1},
  pages = {74--92},
  topic = {philosophical-ontology;nominalization;higher-order-logic;}
  }

@book{ raz:1975a,
  author = {Joseph Raz},
  title = {Practical Reason and Norms},
  publisher = {London: Hutchinson},
  year = {1975},
  address = {London},
  ISBN = {0091239818},
  rtnote = {UMich Graduate Library, B105.O7 R28.},
  topic = {practical-reason;ethics;}
 }

@book{ raz:1978a,
  editor = {Joseph Raz},
  title = {Practical Reasoning},
  publisher = {Oxford University Press},
  year = {1978},
  address = {Oxford},
  contentnote = {TC:
        0. Joseph Raz, "Introduction", pp. 1--17
  	1. R. Edgeley, "Practical Reason", pp. 18--33
	2. G.E.M. Anscombe, "On Practical Reasoning", 33--45
	3. G.H. von Wright, "On So-Called Practical
		Inference", pp.	46--62
        4. A.J.P. Kenny, "Practical Reasoning and Rational
                Appetite", pp. 63--80
	5. John Searle, "Prima Facie Obligations", pp. 81--90
	6. B.A.O. Williams, "Ethical Consistency", 91--109
	7. Gilbert Harman, "Reasons", pp. 110--117
       10. Roderick Chisholm, "Practical Reason and the Logic
                 of Requirement", pp. 118--127
       11. Joseph Raz, "Reasons for Action, Decisions, and
                 Norms", pp. 128--143
       12. David Wiggins, "Deliberation and Practical
                 Reason", pp. 144--152
       13. Thomas Nagel, "Desires, Prudential Motives, and
                 the Present", pp. 153--152
       14. G.R. Grice, "Motive and Reason", pp. 168--177
       15. Phillipa R. Foot, "Reasons for Acting and
                 Desires", pp. 178--184
       16. David P. Gauthier, "Morality and Advantage", pp. 185--197
   },
  rtnote = {In RHT collection.},
  ISBN = {0198750412},
  rtnote = {UMich Graduate Library, BC177 .P731.},
  topic = {practical-reasoning;}
 }

@incollection{ raz:1978b,
  author = {Joseph Raz},
  title = {Introduction},
  booktitle = {Practical Reasoning},
  publisher = {Oxford University Press},
  year = {1978},
  editor = {Joseph Raz},
  pages = {1--17},
  address = {Oxford},
  topic = {practical-reasoning;}
  }

@incollection{ raz:1978c,
  author = {Joseph Raz},
  title = {Reasons for Action, Decisions, and Norms},
  booktitle = {Practical Reasoning},
  publisher = {Oxford University Press},
  year = {1978},
  editor = {Joseph Raz},
  pages = {128--143},
  address = {Oxford},
  topic = {practical-reasoning;reasons-for-action;}
  }

@article{ reach:1938a,
  author = {K. Reach},
  title = {The Name Relation and the Logical Antinomies},
  journal = {Journal of Symbolic Logic},
  year = {1938},
  volume = {3},
  pages = {97--111},
  topic = {metalinguistic-hierarchies;semantic-paradoxes;}
  }

@book{ read:1994a,
  author = {Stephen Read},
  title = {Thinking about Logic},
  publisher = {Oxford University Press},
  year = {1994},
  address = {Oxford},
  contentnote = {This is an introduction to philosophy of logic.
  	There are chapters on: Truth, Logical Consequence,
	Conditionals, Possible Worlds, Existence and Ontology,
	Semantic Paradoxes, Vagueness, and Constructivism.},
  topic = {philosophy-of-logic;}
 }

@article{ read:1994b,
  author = {Stephen Read},
  title = {Formal and Material Consequence},
  journal = {Journal of Philosophical Logic},
  year = {1994},
  volume = {23},
  number = {3},
  pages = {247--265},
  topic = {logical-consequence;}
  }

@article{ read:2000a,
  author = {Stephen Read},
  title = {Harmony and Autonomy in Classical Logic},
  journal = {Journal of Philosophical Logic},
  year = {2000},
  volume = {29},
  number = {2},
  pages = {123--154},
  topic = {negation;logical-constants;proof-theory;}
  }

@article{ rebolledo:2006a,
  author = {Mario Rebolledo},
  title = {Rough Intervals---Enhancing Intervals for Qualitative
  		Modeling of Technical Systems},
  journal = {Artificial Intelligence},
  year = {2006},
  volume = {170},
  number = {8--9},
  pages = {667--685},
  topic = {qualitative-modeling;rough-sets;}
  }

@article{ reboul:1987a,
  author = {A. Reboul},
  title = {The Relevance of {\em Relevance} for Fiction},
  journal = {Behavioral and Brain Sciences},
  year = {1987},
  volume = {10},
  pages = {729},
  missinginfo = {A's 1st name, number},
  topic = {implicature;relevance;}
  }

@article{ recanati:1987a,
  author = {Fran\c{c}ois R\'ecanati},
  title = {Literalness and Other Pragmatic Principles},
  journal = {Behavioral and Brain Sciences},
  year = {1987},
  volume = {10},
  pages = {729--730},
  missinginfo = {number},
  topic = {relevance;implicature;}
  }

@book{ recanati:1988a,
  author = {Fran\c{c}ois R\'ecanati},
  title = {Meaning and Force: The Pragmatics of
  	Performative Utterances},
  publisher = {Cambridge Universiy Press},
  year = {1988},
  address = {Cambridge, England},
  topic = {pragmatics;speech-acts;}
 }

@incollection{ recanati:1991a,
  author = {Fran\c{c}ois R\'ecanati},
  title = {The Pragmatics of What is Said},
  booktitle = {Pragmatics: A Reader},
  publisher = {Oxford University Press},
  year = {1991},
  editor = {Steven Davis},
  pages = {97--120},
  address = {Oxford},
  topic = {speaker-meaning;pragmatics;philosophy-of-language;}
  }

@incollection{ recanati:1994a,
  author = {Fran\c{c}ois R\'ecanati},
  title = {Processing Models for Non-Literal Discourse},
  booktitle = {Philosophy and the Cognitive Sciences},
  publisher = {H\"older-Pichler-Tempsky},
  year = {1994},
  editor = {R. Casati et al.},
  pages = {156--166},
  address = {Vienna},
  missinginfo = {E's 1st name, editors.},
  topic = {implicature;metaphor;psycholinguistics;}
  }

@incollection{ recanati:1994b,
  author = {Fran\c{c}ois R\'ecanati},
  title = {Contextualism and Anti-Contextualism in the Philosophy
		of Language},
  booktitle = {Foundations of Speech Act Theory: Philosophical
		and Linguistic Perspectives},
  publisher = {Routledge},
  year = {1994},
  editor = {Savas L. Tsohatzidas},
  pages = {156--166},
  address = {London},
  topic = {context;philosophy-of-language;}
  }

@article{ recanati:1995a,
  author = {Fran\c{c}ois R\'ecanati},
  title = {The Alleged Priority of Literal Interpretation},
  journal = {Cognitive Science},
  year = {1995},
  volume = {19},
  pages = {207--232},
  missinginfo = {number},
  topic = {pragmatics;metaphor;}
  }

@article{ recanati:1996b,
  author = {Fran\c{c}ois R\'ecanati},
  title = {Domains of Discourse},
  journal = {Linguistics and Philosophy},
  year = {1996},
  volume = {19},
  number = {5},
  pages = {445--475},
  topic = {discourse;quantifiers;situation-semantics;pragmatics;}
  }

@book{ recanati:1997a,
  author = {Fran\c{c}ois R\'ecanati},
  title = {Direct Reference: From Language to Thought},
  publisher = {Blackwell Publishers},
  year = {1997},
  address = {Oxford},
  xref = {Review: schiffer:1996a.},
  topic = {philosophy-of-language;philosophy-of-mind;reference;}
 }

@incollection{ recanati:1998a,
  author = {Fran\c{c}ois R\'ecanati},
  title = {Contextual Domains},
  booktitle = {Discourse, Interaction, and Communication:
		An Introduction},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {X. Arrizola et al.},
  pages = {25--36},
  address = {Dordrecht},
  missinginfo = {E's 1st name, editors.},
  topic = {context;philosophy-of-language;}
  }

@book{ recanati:2000a,
  author = {Fran\c{c}ois R\'ecanati},
  title = {Oratio Obliqua, Oratio Recta: An Essay on Metarepresentation},
  publisher = {The {MIT} Press},
  year = {2000},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262[68116-1},
  rtnote = {UMich Graduate Library, P 325.5 .C63 R471 2000},
  xref = {Review: kapitan:2002a},
  topic = {belief;intensionality;metareasoning;}
 }

@incollection{ recanati:2003a,
  author = {Fran\c{c}cois R\'ecanati},
  title = {Embedded Implicatures},
  booktitle = {Philosophical Perspectives 17: Language and Philosophical
  	Linguistics, 2003},
  publisher = {Blackwell Publishers},
  year = {2003},
  editor = {John Hawthorne and Dean Zimmerman},
  pages = {299--332},
  address = {Oxford},
  topic = {implicature;pragmatics;}
  }

@book{ recanati:2004a,
  author = {Fran\c{c}ois R\'ecanati},
  title = {Literal Meaning},
  publisher = {Oxford University Press},
  year = {2004},
  address = {Oxford},
  topic = {philosophy-of-langiuage;foundations-of-semantics;}
 }

@incollection{ recanati:2005a,
  author = {Fran\c{c}ois R\'ecanati},
  title = {Literalism and Contextualism: Some Varieties},
  booktitle = {Contextualism in Philosophy: Knowledge, Meaning, and Truth},
  publisher = {Oxford University Press},
  year = {2005},
  editor = {Gerhard Preyer and Georg Peter},
  pages = {171--196},
  address = {Oxford},
  topic = {context;philosophy-of-language;speech-acts;}
  }

@article{ recanati:2007a,
  author = {Fran\c{c}ois R\'ecanati},
  title = {It is Raining (Somewhere)},
  journal = {Linguistics and Philosophy},
  year = {2007},
  volume = {30},
  number = {4},
  pages = {123--146},
  topic = {nl-semantics;}
  }

@incollection{ recanati:2007b,
  author = {Fran\c{c}ois R\'ecanati},
  title = {Truth-Conditional Pragmatics:  An
     		Overview},
  booktitle = {Perspectives on Context},
  publisher = {CSLI Publications},
  year = {2007},
  editor = {Paolo Bouquet and Luciano Serafini and Richmond H. Thomason},
  pages = {171--188},
  address = {Stanford, California},
  topic = {context;philosophy-of-language;nl-semantics;}
  }

@incollection{ recanati:2008a,
  author = {Fran\c{c}ois R\'ecanati},
  title = {Open Questions Revisited},
  booktitle = {Philosophical Perspectives 22, 2008: Philosophy of
  		Language},
  publisher = {Blackwell Publishers},
  year = {2008},
  editor = {John Hawthorne},
  pages = {443--471},
  address = {Oxford},
  topic = {direct-discourse;}
  }

@unpublished{ reck:2002a,
  author = {Erich H. Reck},
  title = {From {F}rege and {R}\ussell to {C}arnap:  Logic and Logicism
  		in the 1920s},
  year = {2002},
  note = {Unpublished manuscript, Univ. of California at Riverside},
  url = {http://www.faculty.ucr.edu/~reck/Reck-F.andR.toC.(draft).pdf},
  rtnote = {In RHT collection.  File drawers.},
  rtnote = {Apparently forthcoming in "Rudolf Carnap: From Jena to
            L.A." (S. Awodey and C. Klein, eds.), Open Court},
  topic = {Frege;Russell;Carnap;history-of-logic;}
  }

@unpublished{ rector:1985a,
  author = {Alan L. Rector},
  title = {What Kind of System Does an Expert Need?},
  year = {1985},
  note = {Unpublished manuscript, Department of Computer Science,
  	University of Manchester.},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  topic = {expert-systems;expertise;}
  }

@unpublished{ rector:1985b,
  author = {Alan L. Rector},
  title = {The Knowledge Based Medical Record: Immediate-1, A Basis for
  	Clinical Decision Support in General Practice},
  year = {1985},
  note = {Unpublished manuscript, Department of Computer Science,
  	University of Manchester.},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  topic = {medical-informatics;}
  }

@article{ rector:1986a,
  author = {Alan L. Rector},
  title = {Defaults, Exceptions and Ambiguity in a Medical Knowledge
  	Representation System},
  journal = {Medical Informatics},
  year = {1986},
  volume = {11},
  number = {4},
  pages = {295--306},
  rtnote = {In RHT collection.},
  topic = {default-reasoning;inheritance;knowledge-representation;}
  }

@unpublished{ rector:1988a,
  author = {Alan L. Rector},
  title = {Knowledge Representation for Cooperative Medical Systems},
  year = {1988},
  note = {Unpublished manuscript, Department of Computer Science,
  	University of Manchester.},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  topic = {knowledge-representation;medical-AI;}
  }

@incollection{ rector:2003a,
  author = {Alan L. Rector},
  title = {Medical Informatics},
  booktitle = {The Description Logic Handbook:  Theory, Implementation
  		and Applications},
  publisher = {Cambridge University Press},
  year = {2003},
  editor = {Franz Baader and Diego Calvanese and Deborah L. McGuinness
  		and Daniele Nardi and Peter Patel-Schneider},
  pages = {406--426},
  address = {Cambridge, England},
  topic = {description-logics;AI-applications;medical-AI;}
  }

@incollection{ rector:2006a,
  author = {Alan L. Rector},
  title = {Users Are Always Right $\ldots$ Even When They Are Wrong:
  		Making Knowledge Representation Viable and Useful},
  booktitle = {{KR}2006: Proceedings, Tenth International Conference on
      Principles of  Knowledge Representation and Reasoning},
  publisher = {AAAI Press},
  year = {2006},
  editor = {Patrick Doherty and John Mylopoulos and Christopher A. Welty},
  pages = {3--4},
  address = {Menlo Park, California},
  topic = {kr;software-engineering;user-requirements;}
  }

@article{ reddam:1982a,
  author = {J. Paul Reddam},
  title = {Van {F}raassen on Propositional Attitudes},
  journal = {Philosophical Studies},
  year = {1982},
  volume = {42},
  pages = {101--110},
  xref = {Commentary on: vanfraassen:1979a.},
  rtnote = {In RHT collection.},
  topic = {propositional-attitudes;context;}
  }

@article{ redey:1999a,
  author = {C\'abor R\'edey},
  title = {{iCTRL}: Intensional Conformal Text Representation
		Language},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {109},
  number = {1--2},
  pages = {33--70},
  topic = {nl-semantic-representation-formalisms;intensionality;}
  }

@article{ reece-shafer_sao:1995a,
  author = {Douglas A. Reece and Steve A. Shafer},
  title = {Control of Perceptual Attention in Robot Driving},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {78},
  number = {1--2},
  pages = {397--430},
  topic = {visual-attention;robot-navigation;}
  }

@book{ reed_am:1982a,
  author = {Ann M. Reed},
  title = {Contextual Reference},
  publisher = {Indiana University Linguistics Club},
  year = {1982},
  address = {310 Lindley Hall, Bloomington, Indiana},
  rtnote = {In RHT collection.},
  topic = {indexicals;context;specificity;definiteness;}
 }

@inproceedings{ reed_am:1988a,
  author = {Ann M. Reed},
  title = {Discourse Groups and Semantic Groups},
  booktitle = {ESCOL 88},
  editor = {J. Powers and K. de Jong},
  publisher = {Ohio State University},
  address = {Columbus},
  year = {1988},
  topic = {nl-semantics;plural;pragmatics;}
  }

@article{ reed_c-norman_tj:2007a,
  author = {Chris Reed and Timothy J. Norman},
  title = {A Formal Characterisation of {H}amblin's Action-State
  		Semantics},
  journal = {Journal of Philosophical Logic},
  year = {2007},
  volume = {36},
  number = {4},
  pages = {415--448},
  topic = {imperatives;action;imperative-logic;}
  }

@inproceedings{ reed_dw-etal:1992a,
  author = {David W. Reed and Donald W. Loveland and Bruce T. Smith},
  title = {The Near-Horn Approach to Disjunctive Logic
  		Programming},
  booktitle = {Proceedings of the Second Workshop on Extensions
  	     of Logic Programming},
  editor = {Lars-Henrik Eriksson and Lars Halln\"es and Peter
  	Schroeder-Heister},
  publisher = {Springer Verlag},
  address = {Berlin},
  year = {1992},
  topic = {disjunctive-logic-programming;}
  }

@inproceedings{ reed_la:1993a,
  author = {Lisa Reed},
  title = {An Aspectual Analysis of {F}rench Demonstrative `Ce'\, },
  booktitle = {Nineteenth Annual Meeting of the {B}erkeley Linguistics
  	Society},
  year = {1993},
  editor = {J. Guenter and B. Kaiser and C. Zoll},
  publisher = {Berkeley Linguistics Society},
  address = {Berkeley, California},
  missinginfo = {pages},
  rtnote = {In RHT collection.},
  topic = {tense-aspect;French-language;}
  }

@phdthesis{ reed_la:1993b,
  author = {Lisa Reed},
  title = {Non-Truth-Conditional Aspects of Meaning and the
		Level of {LF}},
  school = {Linguistics Department, University of Ottawa},
  year = {1993},
  type = {Ph.{D}. Dissertation},
  address = {Ottawa},
  rtnote = {In RHT collection.  Files.},
  topic = {nl-semantics;LF;implicature;pragmatics;}
 }

@unpublished{ reed_la:1996a,
  author = {Lisa A. Reed},
  title = {Necessary vs. Probable Cause: Resolving a {F}rench Paradox},
  year = {1996},
  rtnote = {In RHT collection, Department of French, The Pennsylvania
  	State University},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.},
  topic = {causatives;causality;French-language;}
  }

@unpublished{ reed_la:1997a,
  author = {Lisa A. Reed},
  title = {Necessary Versus Probable Cause: Resolving a
  	{F}rench Paradox},
  year = {1997},
  note = {Unpublished manuscript, Pennsylvania State University},
  rtnote = {In RHT collection.},
  topic = {causality;probability;causatives;French-language;}
  }

@article{ reed_la:1999a,
  author = {Lisa A. Reed},
  title = {Necessary Versus Probable Cause},
  journal = {Journal of Philosophical Logic},
  year = {1999},
  volume = {28},
  number = {3},
  pages = {289--326},
  topic = {causality;probability;}
  }

@book{ reed_ta:1988a,
  author = {Thomas A. Reed},
  title = {An Introduction to Algorithm Design and Structured Programming},
  publisher = {Prentice Hall},
  year = {1988},
  address = {New York},
  ISBN = {0134777794},
  rtnote = {UMich Media Union Library, QA 76.6 .R421 1988.},
  topic = {structured-programming;algorithms;}
 }

@article{ reeder:1995a,
  author = {Nick Reeder},
  title = {Are Physical Properties Dispositions?},
  journal = {Philosophy of Science},
  year = {1995},
  volume = {62},
  number = {1},
  pages = {141--149},
  topic = {dispositions;}
  }

@article{ reeke:1996a,
  author = {George N. {Reeke, Jr.}},
  title = {Review of \emph{The Computational Brain}, by
  	{P}atricia {S}. {C}hurchland and {T}errence {J}. {S}ejenowski},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {82},
  number = {1--2},
  pages = {381--391},
  xref = {Review of churchland-sejnowski:1992a.},
  topic = {foundations-of-cognitive-science;connectionism;}
  }

@article{ reese:1985a,
  author = {Donna Reese},
  title = {Review of \emph{{A}rtificial Intelligence, 2nd Ed.}, by
  	Patrick H.  Winston},
  journal = {Artificial Intelligence},
  year = {1985},
  volume = {27},
  number = {1},
  pages = {127--128},
  xref = {Review of winston_ph:1984a.},
  topic = {AI-intro;AI-text;AI-survey;}
  }

@book{ reeve:2000a,
  author = {C.D.C. Reeve},
  title = {Substantial Knowledge: {A}ristotle's Metaphysics},
  publisher = {Hackett Publishing Company},
  year = {2000},
  address = {Indianapolis},
  xref = {Review: cohen_sm:2002a},
  topic = {Aristotle;metaphysics;}
 }

@article{ reeves_a:1977a,
  author = {Alan Reeves},
  title = {Logicians, Language, and {G}eorge {L}akoff},
  journal = {Linguistics and Philosophy},
  year = {1977},
  volume = {1},
  number = {2},
  pages = {221--231},
  topic = {logic-and-linguistics;}
  }

@book{ reeves_b-nass:1996a,
  author = {Byron Reeves and Clifford Nass},
  title = {The Media Equation: How People Treat Computers, Television,
  	and New Media Like Real People and Places},
  publisher = {Cambridge University Press},
  year = {1996},
  address = {Cambridge, England},
  ISBN = {157586052X},
  rtnote = {UMich Undergraduate, P 96 .A83 R441 1996.},
  topic = {HCI;anthropomorphism-of-computers;}
 }

@article{ refanidis-vlahavas:2001a,
  author = {Ioannis Refanidis and Ioannis Vlahavas},
  title = {The {GRT} Planner},
  journal = {The {AI} Magazine},
  year = {2001},
  volume = {22},
  number = {1},
  pages = {63--65},
  topic = {planning;planning-algorithms;planning-systems;}
  }

@article{ refanidis-vlahavas:2003a,
  author = {Ioannis Refanidis and Ioannis Vlahavas},
  title = {Multiobjective Heuristic State-Space Planning},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {145},
  number = {1--2},
  pages = {1--32},
  topic = {planning-alforithms;search;}
  }

@book{ regan:1980a,
  author = {Donald Regan},
  title = {Utilitarianism and Co-operation},
  publisher = {Oxford University Press},
  address = {Oxford},
  year = {1980},
  xref = {Review: conee:1983a.},
  topic = {utilitarianism;}
    }

@inproceedings{ reggia:1985a,
  author = {James A. Reggia},
  title = {Abductive Inference},
  booktitle = {Proceedings, Expert Systems in Government Symposium},
  year = {1985},
  pages = {484--489},
  organization = {{IEEE}},
  publisher = {{IEEE} Computer Society Press},
  address = {New York},
  topic = {abduction;}
  }

@article{ reggia-etal:1983a,
  author = {James A. Reggia and Dana S. Nau and Pearl Y. Wang},
  title = {Diagnostic Expert Systems Based on a Set Covering Model},
  journal = {International Journal of Man-Machine Studies},
  year = {1983},
  volume = {1839},
  pages = {437--460},
  missinginfo = {number},
  topic = {abduction;}
  }

@book{ regier:1996a,
  author = {Terry Regier},
  title = {The Human Semantic Potential: Spatial Language and
  	Constrained Connectionism},
  publisher = {The {MIT} Press},
  year = {1996},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-18173-8},
  xref = {Review: stenning:2000a.},
  topic = {spatial-language;connectionist-models;}
 }

@article{ reich:2009a,
  author = {Ingo Reich},
  title = {What Asymmetric Coordination in {G}erman Tells Us about
  		the Syntax and Semantics of Conditionals},
  journal = {Natural Language Semantics},
  year = {2009},
  volume = {17},
  number = {3},
  pages = {219--244},
  topic = {conditionals;coordination;}
  }

@book{ reichard_k-fosterjohnson:1998a,
  author = {Kevin Reichard and Eric Foster-Johnson},
  title = {Teach Yourself {UNIX}},
  edition = {4},
  publisher = {IDG Books Worldwide, Inc.},
  year = {1998},
  address = {Foster City, California},
  ISBN = {155828588-1},
  rtnote = {In RHT collection.  Computer Desk Shelf.},
  topic = {operating-system-manual;UNIX;}
 }

@book{ reichenbach_h:1947a,
  author = {Hans Reichenbach},
  title = {Elements of Symbolic Logic},
  publisher = {MacMillan},
  year = {1947},
  address = {New York},
  rtnote = {UMich Graduate Library, BC135 .R35.  Also Tanner.},
  rtnote = {In RHT Collection.  Logic shelves.},
  rtnote = {Copy of pages on tense in file drawer.},
  topic = {logic-intro;nl-tense;}
 }

@book{ reichenbach_h:1954a,
  author = {Hans Reichenbach},
  title = {Nomological Statements and Admissible Operations},
  publisher = {North-Holland Publishing Co.},
  year = {1955},
  address = {Amsterdam},
  xref = {Review: hempel:1955a.},
  topic = {natural-laws;conditionals;}
 }

@incollection{ reichgelt:1988a,
  author = {Han Reichgelt},
  title = {The Place of Defaults in a Reasoning System},
  booktitle = {Reason Maintenance Systems and Their Applications},
  publisher = {Ellis Horwood, Ltd.},
  year = {1988},
  editor = {Barbara Smith and Gerald Kelleher},
  pages = {35--57},
  address = {Chichester},
  rtnote = {In RHT collection.},
  topic = {nonmonotonic-reasoning;foundations-of-nonmonotonic-logic;}
  }

@book{ reichl:1982a,
  author = {Karl Reichl},
  title = {Categorial Grammar and Word-Formation: the De-Adjectival
  	Abstract Noun in {E}nglish},
  publisher = {Niemeyer,},
  year = {1982},
  address = {T\"ubingen},
  ISBN = {3484421223},
  rtnote = {UMich Graduate Library, 820.6 A588b v.22.},
  topic = {categorial-grammar;derivational-morphology;}
 }

@article{ reichman:1978a,
  author = {Rachel Reichman},
  title = {Conversational Coherency},
  journal = {Cognitive Science},
  year = {1978},
  volume = {2},
  pages = {283--327},
  topic = {discourse-coherence;pragmatics;}
  }

@book{ reichman:1985a,
  author = {Rachel Reichman},
  title = {Getting Computers to Talk Like You and Me},
  publisher = {The {MIT} Press},
  year = {1985},
  address = {Cambridge, Massachusetts},
  rtnote = {In RHT collection.},
  topic = {computational-pragmatics;discourse;}
 }

@article{ reichmanadar:1984a,
  author = {Rachel {Reichman-Adar}},
  title = {Extended Person--Machine Interface},
  journal = {Artificial Intelligence},
  year = {1984},
  volume = {22},
  number = {2},
  pages = {157--218},
  topic = {discourse;pragmatics;nl-interfaces;}
  }

@article{ reid_id-brady_jm:1995a,
  author = {I.D. Reid and J.M. Brady},
  title = {Recognition of Object Classes from Range Data},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {78},
  number = {1--2},
  pages = {289--326},
  acontentnote = {Abstract:
     We develop techniques for recognizing instances of 3D object
     classes (which may consist of multiple and/or repeated sub-parts
     with internal degrees of freedom, linked by parameterized
     transformations), from sets of 3D feature observations.
     Recognition of a class instance is structured as a search of an
     interpretation tree in which geometric constraints on pairs of
     sensed features not only prune the tree, but are used to
     determine upper and lower bounds on the model parameter values
     of the instance.  A real-valued constraint propagation network
     unifies the representations of the model parameters, model
     constraints and feature constraints, and provides a simple and
     effective mechanism for accessing and updating parameter values.
       Recognition of objects with multiple internal degrees of
     freedom, including non-uniform scaling and stretching,
     articulations, and sub-part repetitions, is demonstrated and
     analysed for two different types of real range data: 3D edge
     fragments from a stereo vision system, and position/surface
     normal data derived from planar patches extracted from a range
     image. },
  topic = {shape-recognition;visual-reasoning;object-recognition;}

repository: sergiud/bibtex-spirit

repo_name: sergiud/bibtex-spirit