text:
missinginfo = {pages   pages = {311--}},
  topic = {ambiguity;nl-quantifier-scope;nl-quantifiers;
  	semantic-underspecification;}
  }

@article{ tennant_n:1986a,
  author = {Neil Tennant},
  title = {The Withering Away of Formal Semantics?},
  journal = {Mind and Language},
  year = {1996},
  volume = {1},
  number = {4},
  pages = {302--318},
  contentnote = {Argues that formal semantics adds nothing of value
  	to what can already be done by proof theory.},
  rtnote = {A narrow and unilluminating paper, with no scholarship
  	and very little to say.  Disappointing.  Tennant was at
	ANU when this was written.  --RT},
  topic = {foundations-of-semantics;}
  }

@article{ tennant_n:1994a,
  author = {Neil Tennant},
  title = {Changing the Theory of Theory Change:  Towards a
  	Computational Approach},
  journal = {British Journal for the Philosophy of Science},
  year = {1994},
  volume = {45},
  pages = {865--89},
  missinginfo = {number},
  topic = {belief-revision;}
  }

@incollection{ tennant_n:1996a,
  author = {Neil Tennant},
  title = {Delicate Proof Theory},
  booktitle = {Logic and Reality: Essays on the Legacy of {A}rthur
  	{P}rior},
  publisher = {Oxford University Press},
  year = {1996},
  editor = {Jack Copeland},
  pages = {351--385},
  address = {Oxford},
  topic = {proof-theory;}
  }

@article{ tennant_n:1997a,
  author = {Neil Tennant},
  title = {On the Necessary Existence of Numbers},
  journal = {No\^us},
  year = {1997},
  volume = {31},
  number = {3},
  pages = {307--336},
  topic = {philosophy-of-mathematics;metaphysics;}
  }

@book{ tennant_n:1997b,
  author = {Neil Tennant},
  title = {The Taming of the True},
  publisher = {Oxford University Press},
  year = {1997},
  address = {Oxford},
  xref = {Review: glanzberg:2000a.},
  ISBN = {0198237170},
  rtnote = {UMich Graduate Library, B 835 .T466 1997.},
  topic = {philosophical-realism;}
 }

@article{ tennant_n:2000a,
  author = {Neil Tennant},
  title = {Deductive Versus Expressive Power: A Pre-{G}\"odelian
  	Predicament},
  journal = {The Journal of Philosophy},
  year = {2000},
  volume = {97},
  number = {5},
  pages = {257--277},
  topic = {philosophy-of-mathematics;logicism;}
  }

@incollection{ tennant_n:2002a,
  author = {Neil Tennant},
  title = {The Emperor's New Concepts},
  booktitle = {Philosophical Perspectives 16: Language and Mind, 2002},
  publisher = {Blackwell Publishers},
  year = {2002},
  editor = {James E. Tomberlin},
  pages = {345--377},
  address = {Oxford},
  xref = {Commentary on peacocke:1992a.},
  topic = {philosophy-of-mind;philosophy-of-psychology;concept-grasping;}
  }

@article{ tennant_n:2003a,
  author = {Neil Tennant},
  title = {Frege's Content Principle and Relevant Deducibility},
  journal = {Journal of Philosophical Logic},
  year = {2003},
  volume = {32},
  number = {3},
  pages = {245--258},
  topic = {proof-theory;relevance-logic;}
  }

@article{ tennant_n:2006a,
  author = {Neil Tennant},
  title = {On the Degeneracy of the Full {AGM}-Theory of
  		Theory-Revision},
  journal = {Journal of Symbolic Logic},
  year = {2006},
  volume = {71},
  number = {2},
  pages = {661--676},
  topic = {belief-revision;}
  }

@article{ tennant_n:2006b,
  author = {Neil Tennant},
  title = {New Foundations for a Relational Theory of Theory Revision},
  journal = {Journal of Philosophical Logic},
  year = {2006},
  volume = {35},
  number = {5},
  pages = {489--528},
  topic = {belief-revision;}
  }

@incollection{ tennenholtz:1996a,
  author = {Moshe Tennenholtz},
  title = {On Stable Social Laws and Qualitative Equilibrium
  	for Risk-Averse Agents},
  booktitle = {{KR}'96: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1996},
  editor = {Luigia Carlucci Aiello and Jon Doyle and Stuart Shapiro},
  pages = {553--561},
  address = {San Francisco, California},
  topic = {kr;qualitative-utility;qualitative-equilibria;kr-course;}
  }

@article{ tennenholtz:1998a,
  author = {Moshe Tennenholtz},
  title = {On Stable Social Laws and Qualitative Equilibria},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {102},
  number = {1},
  pages = {1--20},
  topic = {distributed-systems;artificial-societies;
  	qdt;}
  }

@article{ tennenholtz:2002a,
  author = {Moshe Tennenholtz},
  title = {Tractable Combinatorial Auctions and B-Matching},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {140},
  number = {1--2},
  pages = {231--243},
  topic = {auction-protocols;e-commerce;}
  }

@inproceedings{ tennenholtz:2002b,
  author = {Moshe Tennenholtz},
  title = {Competitive Safety Analysis},
  booktitle = {Proceedings of the Eighteenth National Conference on
              Artificial Intelligence},
  year = {2002},
  editor = {Rina Dechter and Michael Kearns and Richard S. Sutton},
  pages = {404--409},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {game-theory;planning-algorithms;}
  }

@techreport{ tenny:1988a,
  author = {Carol Tenny},
  title = {Studies in Generative Approaches to Aspect},
  institution = {Center for Cognitive Science, Massachusetts Institute
  	of Technology},
  number = {Lexicon Project Working Papers 24},
  year = {1988},
  address = {Cambridge, Massachusetts},
  rtnote = {In RHT collection.  In file.},
  topic = {tense-aspect;events;}
  }

@book{ tenny:1994a,
  author = {Carol L. Tenny},
  title = {Aspectual Roles and the Syntax-Semantics Interface},
  publisher = {Kluwer Academic Publishers},
  year = {1994},
  address = {Dordrecht},
  ISBN = {0792328639},
  topic = {tense-aspect;}
 }

@article{ tent:1990a,
  author = {Katin Tent},
  title = {The Application of {M}ontague's Translations in
  	Universal Research and Typology},
  journal = {Linguistics and Philosophy},
  year = {1990},
  volume = {13},
  number = {6},
  pages = {661--686},
  topic = {Montague-grammar;universal-grammar;typology;}
  }

@incollection{ tenteije-vanharmelen:1996a,
  author = {Annette ten Teije and Frank {van Harmelen}},
  title = {Computing Approximate Diagnoses by Using Approximate
  	Entailment},
  booktitle = {{KR}'96: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1996},
  editor = {Luigia Carlucci Aiello and Jon Doyle and Stuart Shapiro},
  pages = {256--265},
  address = {San Francisco, California},
  topic = {kr;diagnosis;approximate-logical-consequence;
  	theorem-proving;}
  }

@article{ terenziani-torasso:1995a,
  author = {Paolo Terenziani and Pietro Torasso},
  title = {Time, Action-Types and Causation: An Integrated Analysis},
  journal = {Computational Intelligence},
  year = {1995},
  volume = {11},
  number = {3},
  pages = {529--552},
  rtnote = {In RHT collection.},
  topic = {temporal-reasoning;Aktionsarten;causality;}
  }

@book{ termeulen:1980a,
  author = {Alice {ter Meulen}},
  title = {Substances, Quantities and Individuals:  A Study in
		the Formal Semantics of Mass Terms},
  publisher = {Indiana University Linguistics Club},
  year = {1980},
  address = {310 Lindley Hall, Bloomington, Indiana},
  rtnote = {In RHT collection.  Files.},
  topic = {mass-term-semantics;mereology;}
 }

@article{ termeulen:1980b,
  author = {Alice {ter Meulen}},
  title = {An Intensional Logic for Mass Terms},
  journal = {Philosophical Studies},
  year = {1980},
  volume = {40},
  pages = {105--125},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {mass-term-semantics;}
  }

@incollection{ termeulen:1980c,
  author = {Alice {ter Meulen}},
  title = {Linguistics and the Philosophy of Language},
  booktitle = {Linguistics: The Cambridge Survey.  Volume {I},
  	Linguistic Theory: Foundations},
  publisher = {Cambridge University Press},
  year = {1980},
  editor = {Frederick J. Newmeyer},
  pages = {430--446},
  address = {Cambridge, England},
  rtnote = {In RHT collection.},
  topic = {philosophy-of-language;nl-semantics;pragmatics;}
  }

@incollection{ termeulen:1984a,
  author = {Alice G.B. ter Meulen},
  title = {Events, Quantities, and Individuals},
  booktitle = {Varieties of Formal Semantics},
  publisher = {Foris Publications},
  year = {1984},
  editor = {Fred Landman and Frank Veltman},
  pages = {259--280},
  address = {Dordrecht},
  topic = {philosophical-ontology;events;nl-semantics;}
  }

@unpublished{ termeulen:1985a1,
  author = {Alice {ter Meulen}},
  title = {Progressives without Possible Worlds},
  year = {1985},
  note = {Unpublished manuscript, University of Washington.},
  rtnote = {In RHT collection.  Forthcoming in CLS.},
  topic = {tense-aspect;}
  }

@inproceedings{ termeulen:1985a2,
  author = {Alice {ter Meulen}},
  title = {Progressives without Possible Worlds},
  booktitle = {Proceedings of the Twenty-First Regional Meeting of the
  	Chicago Linguistics Society},
  year = {1985},
  publisher = {Chicago Linguistics Society},
  address = {Chicago University, Chicago, Illinois},
  pages = {408--423},
  missinginfo = {editor},
  topic = {tense-aspect;progressive-aspect;}
  }

@incollection{ termeulen:1986a,
  author = {Alice {ter Meulen}},
  title = {Generic Information, Conditional Contexts and
  		Constraints},
  booktitle = {On Conditionals},
  publisher = {Cambridge University Press},
  year = {1986},
  editor = {Elizabeth Traugott and Alice {ter Meulen} and Judy Reilly},
  pages = {123--146},
  address = {Cambridge, England},
  rtnote = {In RHT collection.  TC to volume attached.},
  topic = {conditionals;generics;context;}
  }

@inproceedings{ termeulen:1986b,
  author = {Alice G. B. ter Meulen},
  title = {Plural Anaphora with Nominal and Predicative Antecedents},
  booktitle = {WCCFL 5},
  publisher = {Stanford Linguistics Association},
  address = {Stanford},
  year = {1986},
  topic = {nl-semantics;plural;}
  }

@unpublished{ termeulen:1986c,
  author = {Alice {ter Meulen}},
  title = {Processing Pronouns: A Comparison of Situations Semantics
  	and Discourse Representation Theory},
  year = {1986},
  note = {Unpublished manuscript, University of Washington.},
  missinginfo = {Year is a guess},
  rtnote = {In RHT collection.},
  topic = {anaphora;discourse-representation-theory;situation-semantics;}
  }

@incollection{ termeulen:1987a,
  author = {Alice {ter Meulen}},
  title = {Incomplete Events},
  booktitle = {Proceedings of the Sixth {A}msterdam Colloquium April
  	13--16 1987},
  publisher = {Institute for Language, Logic and Information,
    University of Amsterdam},
  year = {1987},
  editor = {Jeroen Groenendijk and Martin Stokhof and Frank Veltman},
  address = {Amsterdam},
  missinginfo = {pages},
  topic = {tense-aspect;progressive-aspect;events;}
  }

@unpublished{ termeulen:1988a,
  author = {Alice {ter Meulen}},
  title = {Structuring Domains for Events},
  year = {1988},
  note = {Unpublished manuscript, University of Washington},
  rtnote = {In RHT collection.},
  topic = {tense-aspect;events;dynamic-semantics;}
  }

@book{ termeulen:1995a,
  author = {Alice {ter Meulen}},
  title = {Representing Time in Natural Language: The Dynamic
  	Interpretation of Tense and Aspect},
  publisher = {The {MIT} Press},
  year = {1995},
  address = {Cambridge, Massachusetts},
  xref = {Review: passoneau:1996a.},
  topic = {dynamic-semantics;tense-aspect;}
 }

@incollection{ termeulen:1995b,
  author = {Alice {ter Meulen}},
  title = {Semantic Constraints on Type-Shifting Anaphora},
  booktitle = {The Generic Book},
  publisher = {Chicago University Press},
  year = {1995},
  editor = {Gregory Carlson and Francis Jeffry Pelletier},
  pages = {339--357},
  address = {Chicago, IL},
  topic = {definite-descriptions;anaphora;}
  }

@inproceedings{ termeulen:1995c,
  author = {Alice {ter Meulen}},
  title = {Content in Context},
  booktitle = {Formalizing Context},
  year = {1995},
  editor = {Sa\v{s}a Buva\v{c}},
  pages = {97--109},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {context;tense-aspect;}
  }

@article{ termeulen:1998a,
  author = {Alice {ter Meulen}},
  title = {Review of \emph{{A}naphora Temporalles et
		(In)Coherence}, edited by {W}alter de {M}ulder,
		{L}iliane {T}asmowski-{D}e {R}yck, and {C}arl
		{V}etters},
  journal = {Computational Linguistics},
  year = {1998},
  volume = {24},
  number = {4},
  pages = {644--648},
  topic = {anaphora;}
  }

@incollection{ termeulen:1999a,
  author = {Alice ter Meulen},
  title = {Binding by Implicit Arguments},
  booktitle = {Proceedings of the Twelfth {A}msterdam Colloquium},
  publisher = {ILLC/Department of Philosophy, University
		of Amsterdam},
  year = {1999},
  editor = {Paul Dekker},
  pages = {37--42},
  address = {Amsterdam},
  topic = {anaphora;definite-descriptions;game-theoretic-semantics;}
  }

@incollection{ termeulen:2000a,
  author = {Alice ter Meulen},
  title = {Chronoscopes: The Dynamic Representation of
     		Facts and Events},
  booktitle = {Speaking of Events},
  publisher = {Oxford University Press},
  year = {2000},
  editor = {James Higginbotham and Fabio Pianesi and Achille C. Varzi},
  pages = {151--168},
  address = {Oxford},
  topic = {events;nl-semantics;event-semantics;facts;}
  }

@inproceedings{ termeulen:2003a,
  author = {Alice G.B. ter Meulen},
  title = {Speaking One's Mind},
  booktitle = {Modeling and Using Context: Fourth International and
  	Interdisciplinary Conference, Context 2003},
  publisher = {Springer-Verlag},
  year = {2003},
  editor = {Patrick Blackburn and Chiara Ghidini and Roy M. Turner
  	and Fausto Giunchiglia},
  pages = {507--516},
  address = {Berlin},
  topic = {context;conversational-record;presupposition;}
  }

@article{ termeulen:2003b,
  author = {Alice ter Meulen},
  title = {Representation and Human Reasoning},
  journal = {Journal of Logic and Computation},
  year = {2003},
  volume = {13},
  number = {1},
  pages = {147--155},
  rtnote = {In RHT collection.},
  topic = {temporal-reasoning;narrative-understanding;}
  }

@inproceedings{ ternovskaia:1998a,
  author = {Eugenia Ternovskaia},
  title = {Causality via Inductive Definitions},
  booktitle = {Working Notes of the {AAAI} Spring Symposium on
 	Prospects for a Commonsense Theory of Causation},
  year = {1998},
  organization = {American Association for Artificial Intelligence},
  publication = {American Association for Artificial Intelligence},
  address = {Menlo Park, CA},
  editor = {Charles L. {Ortiz, Jr.}},
  pages = {94--100},
  rtnote = {In RHT Collection.  Shelf.},
  topic = {causality;temporal-reasoning;planning-formalisms;
	nonmonotonic-reasoning;}
 }

@book{ terry-hogg:2000a,
  editor = {Deborah J. Terry and Michael A. Hogg},
  title = {Attitudes, Behavior, and Social Context: The Role of Norms and
    Group Membership},
  publisher = {Erlbaum Associates},
  year = {2000},
  address = {Mahwah, New Jersey},
  ISBN = {0805825657 (cloth)},
  rtnote = {UMich Graduate Library, HM 132 .A85 2000.},
  topic = {social-psychology;attitudes-in-psychology;}
 }

@inproceedings{ terveen-wroblewski:1991a,
  author = {Loren G. Terveen and David A. Wroblewski},
  title = {A Tool for Achieving Consensus in Knowledge Representation},
  booktitle = {Proceedings of the Ninth National Conference on
              Artificial Intelligence},
  year = {1991},
  editor = {Thomas Dean and Kathleen McKeown},
  pages = {74--79},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {Use in kr course?},
  rtnote = {In RHT collection.},
  topic = {kr;kr-acquisition;kr-course;}
  }

@article{ terwijn:2007a,
  author = {Sebastiaan A. Terwijn},
  title = {Kripke Models, Distributive Lattices, and {M}edvedev Degrees},
  journal = {Studia Logica},
  year = {2007},
  volume = {85},
  number = {3},
  pages = {319--332},
  topic = {intuitionistic-logic;possible-worlds-semantics;}
  }

@incollection{ terziyan-puuronen:2000a,
  author = {Vagan Y. Terziyan and Seppo Puuronen},
  title = {Reasoning with Multilevel Contexts in Semantic
  	Metanetworks},
  booktitle = {Formal Aspects of Context},
  publisher = {Kluwer Academic Publishers},
  year = {2000},
  editor = {Pierre Bonzon and Marcos Cavalcanti and Rolf Nossum},
  pages = {107--126},
  address = {Dordrecht},
  topic = {context;}
  }

@article{ terzopoulos-etal:1988a,
  author = {Demetri Terzopoulos and Andrew Witkin and Michael Kass},
  title = {Constraints on Deformable Models: Recovering {3D} Shape and
  	Nonrigid Motion},
  journal = {Artificial Intelligence},
  year = {1988},
  volume = {36},
  number = {1},
  pages = {91--123},
  topic = {three-D-reconstruction;computer-vision;}
  }

@inproceedings{ tesar:1996a,
  author = {Bruce Tesar},
  title = {Computing Optimal Descriptions for Optimality Theory
  	Grammars with Context-Free Position Structures},
  booktitle = {Proceedings of the Thirty-Fourth Annual Meeting of the
  	Association for Computational Linguistics},
  year = {1996},
  editor = {Arivind Joshi and Martha Palmer},
  pages = {101--107},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco},
  topic = {optimality-theory;parsing-algorithms;linear-programming;}
 }

@article{ tesar:2004a,
  author = {Bruce Tesar},
  title = {Using Inconsistency Detection to Overcome Structural
  	Ambiguity},
  journal = {Linguistic Inquiry},
  year = {2004},
  volume = {35},
  number = {2},
  pages = {219--253},
  topic = {language-learning;}
  }

@article{ tesar-smolensky:1998a,
  author = {Bruce Tesar and Paul Smolensky},
  title = {Learnability in Optimality Theory},
  journal = {Linguistic Inquiry},
  year = {199},
  volume = {29},
  number = {1},
  pages = {229--268},
  xref = {Follow-up book: tesar-smolensky:2000a.},
  topic = {grammar-learning;optimality-theory;}
  }

@book{ tesar-smolensky:2000a,
  author = {Bruce Tesar and Paul Smolensky},
  title = {Learnability in Optimality Theory},
  publisher = {The {MIT} Press},
  year = {2000},
  address = {Cambridge, Massachusetts},
  xref = {Review: daelemans:2001a, blutner:2002a.},
  topic = {grammar-learning;optimality-theory;}
 }

@article{ tesauro:2002a,
  author = {Gerald Tesauro},
  title = {Programming Backgammon Using Self-Teaching Neural Nets},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {134},
  number = {1--2},
  pages = {181-199},
  topic = {computer-games;connectionist-models;machine-learning;}
  }

@article{ tesauro-sejnowski:1989a,
  author = {G. Tesauro and T.J. Sejnowski},
  title = {A Parallel Network that Learns to Play Backgammon},
  journal = {Artificial Intelligence},
  year = {1989},
  volume = {39},
  number = {3},
  pages = {357--390},
  topic = {machine-learning;game-playing;}
  }

@incollection{ tessaris-etal:2002a,
  author = {Sergio Tessaris and Ian Horrocks and Graham Gough},
  title = {Evaluating a Modular {A}box Algorithm},
  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 = {227--235},
  address = {San Francisco, California},
  topic = {kr;description-logics;}
  }

@article{ tessem:1993a,
  author = {Bj{\o}rnar Tessem},
  title = {Approximations for Efficient Computation in the Theory of
  	Evidence},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {61},
  number = {2},
  pages = {315--329},
  acontentnote = {Abstract:
     The theory of evidence has become a widely used method for
     handling uncertainty in intelligent systems. The method has,
     however, an efficiency problem. To solve this problem there is a
     need for approximations. In this paper an approximation method
     in the theory of evidence is presented.  Further, it is compared
     experimentally with Bayesian and consonant approximation methods
     with regard to the error they make. Depending on parameters and
     the nature of evidence the experiments show that the new method
     gives comparatively good results. Properties of the
     approximation methods for presentation purposes are also
     discussed.
  },
  topic = {reasoning-about-uncertainty;approxiomation-methods;}
  }

@book{ tesser:1995a,
  editor = {Abraham Tesser},
  title = {Advanced Social Psychology},
  publisher = {McGraw-Hill},
  year = {1995},
  address = {New York},
  contentnote = {TC:
     1. Robert Rosenthal, "Methodology"
     2. Roy F. Baumeister, "Self and Identity: An Introduction"
     3. Daniel T. Gilbert, "Attribution and Interpersonal
     		Perception"
     4. Susan T. Fiske, "Social Cognition"
     5. Richard E. Petty, "Attitude Change"
     6. Robert B. Cialdini, "Principles and Techniques
     		of Social Influence"
     7. Margaret S. Clark and Sherri P. Pataki, "Interpersonal Processes
     		Influencing Attraction and Relationships"
     8. C. Daniel Batson, "Prosocial Motivation: Why Do We Help
     		Others?"
     9. Russell G. Geen, "Human Aggression"
    10. John M. Levine and Richard Moreland, "Group Processes"
    11.  Patricia G. Devine, "Prejudice and Out-Group Perception"
  },
  ISBN = {0070633924 (recycled, acid-free paper)},
  rtnote = {UMich Undergraduate, Hm 251 .A321 1995.},
  topic = {social-psychology;}
 }

@incollection{ tessier:2003a,
  author = {Catherine Tessier},
  title = {Towards a Commonsense Estimator for Activity Tracking},
  booktitle = {Working Papers of the 2003 {AAAI} Spring Symposium on
  	Logical Formalization of Commonsense Reasoning},
  publisher = {AAAI Press},
  year = {2003},
  editor = {Patrick Doherty and John McCarthy and Mary-Anne Williams},
  pages = {131--138},
  address = {Menlo Park, California},
  topic = {plan-recognition;visual-reasoning;}
  }

@incollection{ tessler-etal:1995a,
  author = {Shirley Tessler and Yumi Iwasaki and Kincho Law},
  title = {Qualitative Structural Analysis Using Diagrammatic
			Reasoning},
  booktitle = {Diagrammatic Reasoning},
  publisher = {The {MIT} Press},
  year = {1995},
  editor =  {Janice Glasgow and N. Hari Narayanan and B.
		Chandrasekaran},
  pages = {711--729},
  address = {Cambridge, Massachusetts},
  topic = {diagrams;reasoning-with-diagrams;
  	qualitative-physics;visual-reasoning;}
  }

@article{ tetreault:2001a,
  author = {Joel Tetreault},
  title = {A Corpus-Based Evaluation of Centering and Pronoun
  	Resolution},
  journal = {Computational Linguistics},
  year = {2001},
  volume = {27},
  number = {4},
  pages = {507--520},
  topic = {anaphora-resolution;centering;corpus-linguistics;}
  }

@incollection{ teufel:1998a,
  author = {Simone Teufel},
  title = {Meta-Discourse Markers and Problem-Structuring in
  	Scientific Texts},
  booktitle = {Discourse Relations and Discourse Markers:  Proceedings
  	of the Conference},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Manfred Stede and Leo Wanner and Eduard Hovy},
  pages = {43--49},
  address = {Somerset, New Jersey},
  topic = {discourse-cue-words;discourse-structure;argumentation;}
  }

@incollection{ teufel-moens:1999a,
  author = {Simone Teufel and Marc Moens},
  title = {Discourse-Level Argumentation in Scientific Articles:
  	Human and Automatic Annotation},
  booktitle = {Towards Standards and Tools for Discourse Tagging:
  	Proceedings of the Workshop},
  publisher = {Association for Computational Linguistics},
  year = {1999},
  editor = {Marilyn Walker},
  pages = {84--93},
  address = {Somerset, New Jersey},
  topic = {discourse-tagging;argumentation;}
  }

@incollection{ teufel-moens:2000a,
  author = {Simone Teufel and Marc Moens},
  title = {What's Yours and What's Mine: Determining Intellectual
  	Attribution in Scientific Text},
  booktitle = {Proceedings of the 2000 Joint {SIGDAT} Conference
  	on Empirical Methods in Natural Language Processing},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  editor = {Hinrich Sch\"utze and Keh-Yih Su},
  pages = {9--17},
  address = {Somerset, New Jersey},
  topic = {classification-of-corpus-information;authorship-attribution;}
  }

@article{ teufel-moens:2002a,
  author = {Simone Teufel and Marc Moens},
  title = {Summarizing Scientific Articles: Experiments with
  	Relevance and Rhetorical Status},
  journal = {Computational Linguistics},
  year = {2002},
  volume = {28},
  number = {4},
  pages = {409--445},
  topic = {text-summary;coherence;discourse-structure;}
  }

@article{ thagard:1977a,
  author = {Paul Thagard},
  title = {The Unity of {P}eirce's Theory of Hypothesis},
  journal = {Transactions of the {C}harles {S}anders {P}eirce {S}ociety},
  year = {1977},
  volume = {13},
  pages = {112--121},
  topic = {Peirce;abduction;}
  }

@article{ thagard:1978a,
  author = {Paul R. Thagard},
  title = {The Best Explanation: Criteria for Theory Choice},
  journal = {The Journal of Philosophy},
  year = {1978},
  pages = {76--92},
  missinginfo = {volume, number},
  topic = {abduction;}
  }

@article{ thagard:1978b,
  author = {Paul Thagard},
  title = {Semiotics and Hypothetic Inference in {C}.{S}. {P}eirce},
  journal = {Versus},
  year = {1978},
  volume = {19/20},
  pages = {163--172},
  topic = {semiotics;Peirce;}
  }

@book{ thagard:1988a,
  author = {Paul R. Thagard},
  title = {Computational Philosophy of Science},
  publisher = {The {MIT} Press},
  year = {1988},
  address = {Cambridge, Massachusetts},
  ISBN = {0262200686},
  rtnote = {UMich Graduate Library, Q175 .T4791 1988},
  topic = {philosophy-of-science;AI-phil;philosophy-AI;}
 }

@incollection{ thagard:1991a,
  author = {Paul Thagard},
  title = {The Dinosaur Debate: Explanatory Coherence and
		the Problem of Competing Hypotheses},
  booktitle = {Philosophy and {AI}: Essays at the Interface},
  publisher = {The {MIT} Press},
  year = {1991},
  editor = {Robert Cummins and John Pollock},
  pages = {279--300},
  address = {Cambridge, Massachusetts},
  topic = {explanation;philosophy-of-science;}
  }

@book{ thagard:1996a,
  author = {Paul Thagard},
  title = {Mind: Introduction to Cognitive Science},
  publisher = {The {MIT} Press},
  year = {1996},
  address = {Cambridge, Massachusetts},
  ISBN = {0262201062 (alk. paper)},
  rtnote = {UMich Undergraduate, Bf 316.6 .T481 1996},
  topic = {philosophy-of-mind;philosophy-cogsci;cogsci-intro;
  	philosophy-AI;cognitive-science-general;}
 }

@book{ thagard:1998a,
  editor = {Paul Thagard},
  title = {Mind Readings: Introductory Selections on Cognitive Science},
  publisher = {The {MIT} Press},
  year = {1998},
  ISBN = {0262700670 (pbk.)},
  rtnote = {UMich Undergraduate, Bf 316.6 .M551 1998.},
  topic = {cogsci-intro;}
 }

@book{ thagard:1999a,
  author = {Paul Thagard},
  title = {How Scientists Explain Disease},
  publisher = {Princeton University Press},
  year = {1999},
  address = {Princeton},
  ISBN = {0691002614 (cloth)},
  rtnote = {UMich TAUBMAN MEDICAL, RB 151 .T471 1999.},
  topic = {explanation;philosophy-of-science;}
 }

@book{ thagard:2000a,
  author = {Paul Thagard},
  title = {Coherence in Thought and Action},
  publisher = {The {MIT} Press},
  year = {2000},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-20131-3},
  rtnote = {UMich Undergraduate, BD 171 .T451 2000.},
  topic = {coherence;philosophy-of-mind;constraint-satisfaction;
  	foundations-of-cognitive-science;}
 }

@book{ thagard:2005a,
  author = {Paul Thagard},
  title = {Mind: Introduction to Cognitive Science},
  edition = {2},
  publisher = {The {MIT} Press},
  year = {2005},
  address = {Cambridge, Massachusetts},
  ISBN = {026270109-X},
  topic = {philosophy-of-mind;philosophy-cogsci;cogsci-intro;
  	philosophy-AI;cognitive-science-general;}
 }

@book{ thagard:2006a,
  author = {Paul Thagard},
  title = {Hot Thought:  Mechanisms and Application of Emotional
  		Cognition},
  publisher = {The {MIT} Press},
  year = {2006},
  address = {Cambridge, Massachusetts},
  ISBN = {9780-262-201643},
  topic = {emotion;philosophy-of-cogsci;}
 }

@article{ thagard:2007a,
  author = {Paul Thagard},
  title = {Theory and Experiment in Cognitive Science},
  journal = {Artificial Intelligence},
  year = {2007},
  volume = {171},
  number = {18},
  pages = {1104--1106},
  xref = {Review of: boden:2006a},
  topic = {cognitive-science;}
  }

@incollection{ thagard-etal:2002a,
  author = {Paul Thagard and Chris Eliasmith and Paul Rusnock and Cameron
          Shelley},
  title = {Knowledge and Coherence},
  booktitle = {Common Sense, Reasoning, and Rationality},
  publisher = {Oxford University Press},
  year = {2002},
  editor = {Ren\'ee Elio},
  pages = {104--131},
  address = {Oxford},
  abstract = {This chapter shows how epistemic coherence can be
    understood in terms of maximization of constraint satisfaction,
    in keeping with computational models that have had a substantial
    impact in cognitive science.  It is shown how explanatory
    coherence subsumes Haack's recent "foundherentist" theory of
    knowledge.  An account of deductive coherence is provided,
    showing how the selection of mathematical axioms can be
    understood as a constraint satisfaction problem.  Visual
    interpretation can also be understood in terms of satisfaction of
    multiple constraints. After a brief account of how conceptual
    coherence can also be understood in terms of constraint
    satisfaction, the chapter concludes with a discussion of how the
    "multicoherence" theory of knowledge avoids many criticisms
    traditionally made of coherentism.},
  topic = {common-sense-reasoning;constraint-satisfaction;coherence;}
  }

@article{ thalberg:1962a,
  author = {Irving Thalberg},
  title = {Abilities and Ifs},
  journal = {Analysis},
  year = {1962},
  volume = {22},
  pages = {121--126},
  missinginfo = {number},
  topic = {ability;conditionals;JL-Austin;}
  }

@article{ thalberg:1962b,
  author = {Irving Thalberg},
  title = {Natural Expressions of Emotion},
  journal = {Philosophy and Phenomenological Research},
  year = {1962},
  volume = {22},
  pages = {382--392},
  missinginfo = {number},
  topic = {emotion;speech-acts;pragmatics;}
  }

@article{ thalberg:1964a,
  author = {Irving Thalberg},
  title = {Freedom of Action and Freedom of Will},
  journal = {Journal of Philosophy},
  year = {1964},
  volume = {62},
  number = {20},
  pages = {405--415},
  topic = {action;freedom;volition;}
  }

@article{ thalberg:1967a,
  author = {Irving Thalberg},
  title = {Do We Cause Our Own Actions?},
  journal = {Analysis},
  year = {1967},
  volume = {27},
  pages = {196--201},
  missinginfo = {number},
  topic = {action;philosophy-of-action;causality;}
  }

@incollection{ thalberg:1969a,
  author = {Irving Thalberg},
  title = {Austin on Abilities},
  booktitle = {Symposium on {J}.{L}. {A}ustin},
  publisher = {Routledge and Kegan Paul},
  year = {1969},
  editor = {K.T. Fann},
  pages = {182--204},
  address = {London},
  missinginfo = {E's 1st name},
  rtnote = {In RHT collection.},
  topic = {JL-Austin;ability;conditionals;}
  }

@article{ thalberg:1978a,
  author = {Irving Thalberg},
  title = {The Irreducibility of Events},
  journal = {Analysis},
  year = {1978},
  volume = {38},
  number = {1},
  pages = {1--9},
  rtnote = {In RHT collection.},
  xref = {See feldman_rh-wierenga:1979a for comment.},
  topic = {events;}
  }

@book{ thaler_r:1991a,
  author = {Richard H. Thaler},
  title = {Quasi-Rational Economics},
  publisher = {Russell Sage Foundation},
  year = {1991},
  address = {New York},
  rtnote = {In RHT collection.  PSE Shelf.},
  topic = {foundations-of-decision-theory;}
 }

@inproceedings{ thalos:1998a,
  author = {Mariam Thalos},
  title = {Units of Decision},
  booktitle = {{PSA}98: Proceedings of the Biennial Meeting of the
	Philosophy of Science Association, Part 1: Contributed
	Papers},
  year = {1998},
  editor = {Don A. Howard},
  missinginfo = {pages = {324--}},
  organization = {Philosophy of Science Association},
  publisher = {University of Chicago Press},
  address = {Chicago, Illinois},
  topic = {decision-theory;foundations-of-decision-theory;}
  }

@article{ tharp:1971a,
  author = {Leslie H. Tharp},
  title = {Truth, Quantification and Abstract Objects},
  journal = {No\^us},
  year = {1971},
  volume = {5},
  number = {4},
  pages = {363--372},
  topic = {truth-definitions;substitutional-quantification;}
  }

@book{ thart-etal:1990a,
  author = {Johan t'Hart and Ren\'e Collier and Antonie Cohen},
  title = {A Perceptual Study of Intonation: An Experimental-Phonetic
  	Approach to Speech Melody},
  publisher = {Cambridge University Press},
  address = {Cambridge, England},
  year = {1990},
  ISBN = {0521366437},
  rtnote = {UMich Graduate Library, P 222 .H371 1990.},
  topic = {intonation;}
 }

@book{ thayer-dorfman:1990a,
  editor = {Richard H. Thayer and Merlin Dorfman},
  title = {System and Software Requirements Engineering},
  publisher = {{IEEE} Computer Society Press},
  year = {1990},
  address = {Los Alamitos, California},
  ISBN = {0818689218},
  rtnote = {UMich Media Union Library, QA 76.758 .S99 1990.},
  topic = {software-engineering;}
 }

@book{ thayse:1991a,
  editor = {Andr\'e Thayse},
  title = {From Natural Language Processing to Logic for Expert
  	Systems : A Logic  Based Approach to Artificial Intelligence},
  publisher = {John Wiley and Sons},
  year = {1991},
  address = {New York},
  ISBN = {0471924318},
  rtnote = {UMich Media Union Library, QA 76.9 .N38 F761 1991.},
  topic = {AI-intro;AI-text;}
 }

@article{ thebaux-etal:2005a,
  author = {Sylvie Thi\'ebaux and J\"org Hoffmann and Bernhard Nebel},
  title = {In Defense of {PDDL} Axioms},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {168},
  number = {1--2},
  pages = {38--69},
  topic = {action-formalisms;}
  }

@unpublished{ thecyclists:1991a,
  author = {The Cyclists},
  title = {The {ZUE} Portable Interface for {CYC}},
  year = {1991},
  note = {Unpublished manuscript, Microelectronics and Computer Technology
  	Corporation},
  rtnote = {In RHT collection.  Filed under CYC, Institution files.},
  topic = {CYC;}
  }

@article{ theiner-oconnor_t:2002a,
  author = {Georg Theiner and Timothy O'Connor},
  title = {Review of \emph{{C}ausing Actions}, by {P}aul {M}. {P}ietroski},
  journal = {The Philosophical Review},
  year = {2002},
  volume = {111},
  number = {2},
  pages = {291--294},
  xref = {Review of: pietroski:2000a},
  topic = {mental-causation;philosophy-of-mind;}
  }

@inproceedings{ theune:1997a,
  author = {Mari\"et Theune},
  title = {Contrastive Accent in Data-to-Speech System},
  booktitle = {Proceedings of the Thirty-Fifth Annual Meeting of the
		{A}ssociation for {C}omputational {L}inguistics and Eighth
		Conference of the {E}uropean Chapter of the {A}ssociation
		for {C}omputational {L}inguistics},
  year = {1997},
  editor = {Philip R. Cohen and Wolfgang Wahlster},
  pages = {519--521},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  topic = {contrastive-stress;speech-generation;}
 }

@incollection{ theune:2003a,
  author = {Mari\"et Theune},
  title = {From Monologue to Dialogue: Natural
    		Language Generation in {OVIS}},
  booktitle = {Working Papers of the 2003 {AAAI} Spring Symposium on
  	Natural Language Generation in Spoken and Written
	Dialogue},
  publisher = {AAAI Press},
  year = {2003},
  editor = {Reva Freedman and Charles Callaway},
  pages = {141--150},
  address = {Menlo Park, California},
  topic = {nl-generation;computational-dialogue;}
  }

@incollection{ thiel:2009a,
  author = {Christian Thiel},
  title = {Gottlob {F}rege and the Interplay between Logic and
  		Mathematics},
  booktitle = {The Development of Modern Logic},
  publisher = {Oxford University Press},
  year = {2009},
  editor = {Leila Haaparanta},
  pages = {196--202},
  address = {Oxford},
  topic = {history-of-logic;Frege;}
  }

@incollection{ thiele:1991a,
  author = {Helmut Thiele},
  title = {On Generation of Cumulative Inference Operators by Default
  	Deduction Rules},
  booktitle = {Nonmonotonic and Inductive Logics},
  publisher = {Springer-Verlag},
  year = {1991},
  editor = {J\"urgen Dix and Klaus P. Jantke and P.H. Schmidt},
  pages = {100--137},
  address = {Berlin},
  missinginfo = {E's 1st name.},
  topic = {nonmonotonic-logic;default-logic;cumulativity;}
  }

@article{ thielen:1999a,
  author = {Christine Thielen},
  title = {Review of \emph{{T}urning a Bilingual Dictionary
  	into a Lexical-Semantic Database}, by {T}hierry {F}ontentelle},
  journal = {Computational Linguistics},
  year = {1998},
  volume = {25},
  number = {3},
  pages = {447--449},
  topic = {multilingual-lexicons;}
  }

@article{ thielscher:1993a,
  author = {Michael Thielscher},
  title = {On Prediction in Theorist},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {60},
  number = {2},
  pages = {283--292},
  acontentnote = {Abstract:
     Theorist is a well-known framework and system for nonmonotonic
     reasoning which provides mechanisms for dealing with both
     explanations for observations and skeptical prediction.  Its
     current implementation, developed by David Poole and co-workers,
     uses an algorithm for prediction which holds for a restricted
     part of Theorist.  In more general cases, the system produces
     incorrect results in the case of prediction.  In this note, we
     present an algorithm for prediction which is shown to be correct
     within the entire Theorist framework.},
  topic = {nonmonotonic-reasoning;hypothesis-generation;}
  }

@inproceedings{ thielscher:1995a,
  author = {Michael Thielscher},
  title = {Computing Ramifications by Postprocessing},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {1994--2000},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  rtnote = {In RHT collection.},
  topic = {ramification-problem;}
  }

@inproceedings{ thielscher:1995b,
  author = {Michael Thielscher},
  title = {The Logic of Dynamic Systems},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {1956--1962},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  rtnote = {In RHT collection.},
  topic = {concurrent-actions;nondeterministic-action;}
  }

@incollection{ thielscher:1996a,
  author = {Michael Thielscher},
  title = {Causality and the Qualification Problem},
  booktitle = {{KR}'96: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1996},
  editor = {Luigia Carlucci Aiello and Jon Doyle and Stuart Shapiro},
  pages = {51--62},
  address = {San Francisco, California},
  topic = {kr;causality;qualification-problem;kr-course;}
  }

@article{ thielscher:1997a,
  author = {Michael Thielscher},
  title = {Ramification and Causality},
  journal = {Artificial Intelligence},
  year = {1989},
  volume = {89},
  number = {1--2},
  pages = {317--364},
  topic = {action-formalisms;temporal-reasoning;ramification-problem;
  	causality;}
  }

@inproceedings{ thielscher:1998a,
  author = {Michael Thielscher},
  title = {Towards a Logic for Causal Reasoning},
  booktitle = {Working Notes of the {AAAI} Spring Symposium on
 	Prospects for a Commonsense Theory of Causation},
  year = {1998},
  organization = {American Association for Artificial Intelligence},
  publication = {American Association for Artificial Intelligence},
  address = {Menlo Park, CA},
  editor = {Charles L. {Ortiz, Jr.}},
  pages = {101--106},
  rtnote = {In RHT Collection.  Shelf.},
  topic = {causality;temporal-reasoning;planning-formalisms;
	nonmonotonic-reasoning;}
 }

@incollection{ thielscher:1998b,
  author = {Michael Thielscher},
  title = {How (Not) to Minimize Events},
  booktitle = {{KR}'98: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1998},
  editor = {Anthony G. Cohn and Lenhart Schubert and Stuart C.
		Shapiro},
  pages = {60--71},
  address = {San Francisco, California},
  topic = {kr;narrative-understanding;temporal-reasoning;kr-course;}
  }

@article{ thielscher:1998c,
  author = {Michael Thielscher},
  title = {Reasoning about Actions: Steady Versus Stabilizing
  	State Constraints},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {104},
  number = {1--2},
  pages = {339--355},
  topic = {temporal-reasoning;causality;action-formalisms;
  	ramification-problem;}
  }

@book{ thielscher:1999a,
  editor = {Michael Thielscher},
  title = {Proceedings of the {IJCAI}-99 Workshop on
	Nonmonotonic Reasoning, Action and Change},
  publisher = {International Joint Conference on Artificial Intelligence},
  year = {1999},
  address = {Murray Hill, New Jersey},
  rtnote = {In RHT collection.},
  topic = {action-formalisms;}
 }

@article{ thielscher:1999b,
  author = {Michael Thielscher},
  title = {From Situation Calculus to Fluent Calculus: State
  	Update Axioms as a Solution to the Inferential Frame
	Problem},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {111},
  number = {1--2},
  pages = {277--299},
  topic = {frame-problem;action-formalisms;}
  }

@inproceedings{ thielscher:2000a,
  author = {Michael Thielscher},
  title = {Representing the Knowledge of a Robot},
  booktitle = {{KR}2000: Principles of Knowledge Representation and
  	Reasoning},
  year = {2000},
  editor = {Anthony G. Cohn and Fausto Giunchiglia and Bart Selman},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  pages = {109--120},
  topic = {epistemic-logic;sensing-actions;sensing-formalisms;}
  }

@book{ thielscher:2000b,
  author = {Michael Thielscher},
  title = {Challenges For Action Theories},
  publisher = {Springer-Verlag},
  year = {2000},
  address = {Berlin},
  ISBN = {3540674551 (pbk.)},
  rtnote = {UMich Media Union Library, QA 76.9 .L63 T481 2000.},
  topic = {action-formalisms;}
 }

@article{ thielscher:2001a,
  author = {Michael Thielscher},
  title = {The Qualification Problem: A Solution to the Problem of
  	Anomalous Models},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {131},
  number = {1--2},
  pages = {1--37},
  topic = {qualification-problem;nonmonotonic-reasoning;
  	action-formalisms;Yale-shooting-problem;}
  }

@article{ thielscher:2001b,
  author = {Michael Thielscher},
  title = {The Concurrent, Continuous Fluent Calculus},
  journal = {Studia Logica},
  year = {2001},
  volume = {67},
  number = {3},
  pages = {315--331},
  topic = {action-formalisms;concurrency;continuous-change;}
  }

@incollection{ thielscher:2002a,
  author = {Michael Thielscher},
  title = {Programming of Reasoning and Planning Agents with {FLUX}},
  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 = {435--448},
  address = {San Francisco, California},
  topic = {kr;planning-algorithms;}
  }

@incollection{ thielscher-witkowski:2006a,
  author = {Michael Thielscher and Thomas Witkowski},
  title = {The Features-and-Fluents Semantics for the Fluent Calculus},
  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 = {362--370},
  address = {Menlo Park, California},
  topic = {fluent-calculus;action-formalisms;}
  }

@inproceedings{ thienot:1999a,
  author = {Cedric Thienot},
  title = {Intuitive Reasoning with Pseudo-Intuitionistic
  	Semantics},
  booktitle = {Proceedings of the {IJCAI}-99 Workshop on
  	Practical Reasoning and Rationality},
  year = {1999},
  editor = {John Bell},
  pages = {39--47},
  organization = {IJCAI},
  publisher = {International Joint Conference on Artificial Intelligence},
  address = {Murray Hill, New Jersey},
  topic = {reasoning-about-uncertainty;intuitionistic-logic;}
  }

@phdthesis{ thijsse:1992a,
  author = {Elias Thijsse},
  title = {On Partial Logic and Knowledge Representation},
  school = {Tilburg University},
  year = {1992},
  type = {Ph.{D}. Dissertation},
  address = {Delft},
  topic = {partial-logic;kr;logic-in-AI;}
 }

@incollection{ thijsse:1993b,
  author = {Elias Thijsse},
  title = {On Total Awareness Logics},
  booktitle = {Diamonds and Defaults},
  publisher = {Kluwer Academic Publishers},
  editor = {Maarten de Rijke},
  year = {1993},
  pages = {309--347},
  address = {Dordrecht},
  topic = {propositional-attitudes;epistemic-logic;resource-limited-reasoning;
  	hyperintensionality;}
  }

@book{ thimbleby-etal:1997a,
  editor = {H. Thimbleby and B. O'Conaill and P.J. Thomas},
  title = {People and Computers {XII}: Proceedings of {HCI}'97},
  publisher = {Springer-Verlag},
  year = {1997},
  address = {Berlin},
  ISBN = {3540761721 (pbk.)},
  rtnote = {UMich Media Union Library, QA 76.9 .H85 B7511 1997.},
  topic = {HCI;}
 }

@techreport{ thirunarayan:1991a,
  author = {Krishnaprasad Thirunarayan},
  title = {Implementation of an Efficient Inheritance Reasoner},
  institution = {Department of Computer Science, Wayne State
		University},
  number = {WSU--CS--91--04},
  year = {1991},
  rtnote = {In RHT collection.},
  topic = {inheritance-reasoning;}
  }

@book{ thistlewaite-etal:1988a,
  author = {P.B. Thistlewaite and M.A. McRobbie and R.K. Meyer},
  title = {Automated Theorem-Proving in Non-Classical Logics},
  publisher = {Pitman},
  year = {1988},
  address = {London},
  missinginfo = {A's 1st name},
  topic = {theorem-proving;relevance-logic;}
 }

@incollection{ thoene-etal:1991a,
  author = {H. Th\"one and U. G\"untzer and W. Kie{\ss}ling},
  title = {Probabilistic Reasoning with Facts and Rules in Deductive
  	Databases},
  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 = {333--337},
  address = {Berlin},
  topic = {probabilistic-reasoning;databases;}
  }

@book{ thom:1975a,
  author = {Ren\'e Thom},
  title = {Structural Stability and Morphogenesis: An Outline of
  	a General Theory of Models},
  publisher = {W. A. Benjamin},
  year = {1975},
  address = {Reading, Massachusetts},
  ISBN = {08053927690805392777 (pbk.)},
  note = {Translated from the French ed., as updated by the
    author, by D. H. Fowler. With a foreword by C. H. Waddington.},
  rtnote = {UMich Science, QH 323.5 .T453 1975.},
  topic = {topology;mathematics-of-biology;}
 }

@article{ thomas_g:1964a,
  author = {George Thomas},
  title = {Abilities and Physiology},
  journal = {The Journal of Philosophy},
  year = {1964},
  volume = {62},
  number = {11},
  pages = {321--328},
  topic = {ability;dispositions;}
  }

@incollection{ thomas_i-etal:1998a,
  author = {Ian Thomas and Ingrid Zuckerman and Bhavani Raskutti},
  title = {Extracting Phoneme Pronunciation Information from
  		Corpora},
  booktitle = {Proceedings of the Joint Conference on New Methods in
  	Language Processing and Computational Language Learning},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {David M.W. Powers},
  pages = {175--183},
  address = {Somerset, New Jersey},
  topic = {speech-generation;corpus-linguistics;machine-learning;
  		pronunciation-models;}
  }

@book{ thomas_jc-schneider_ml:1984a,
  editor = {John C. Thomas and Michael L. Schneider},
  title = {Human Factors in Computer Systems},
  publisher = {Ablex Pub. Corp.},
  year = {1984},
  address = {Norwood, New Jersey},
  ISBN = {0893911461},
  rtnote = {UMich Media Union Library, QA76.9.P75 H861 1984.},
  topic = {HCI;}
 }

@incollection{ thomas_k-matheson:2003a,
  author = {Kavita Thomas and Colin Matheson},
  title = {Modelling Concession across Speakers in Task-Oriented
  	Dialogues},
  booktitle = {Diabruck 2003: Proceedings of the 7th Workshop on the
  	Semantics and Pragmatics of Dialogue},
  publisher = {Universit\"at des Saarlandes},
  year = {2003},
  editor = {Ivana Kruijff-Korbayov\'a and Claudia Kosny},
  pages = {139--146},
  address = {Saarbr\"ucken},
  topic = {computational-dialogue;discourse;`but';}
  }

@inproceedings{ thomas_ke:2003a,
  author = {Kavita E. Thomas},
  title = {Modelling `but' in Task-Oriented Dialogue},
  booktitle = {Modeling and Using Context: Fourth International and
  	Interdisciplinary Conference, Context 2003},
  publisher = {Springer-Verlag},
  year = {2003},
  editor = {Patrick Blackburn and Chiara Ghidini and Roy M. Turner
  	and Fausto Giunchiglia},
  pages = {314--327},
  address = {Berlin},
  topic = {context;`but';computational-dialogue;}
  }

@book{ thomas_l-chundi:1999a,
  author = {Lee Thomas and Stephen Chundi},
  title = {The {E}nglish Language: An Owner's Manual},
  publisher = {Allyn and Bacon},
  year = {1999},
  address = {New York},
  contentnote = {Sort of an intro for English/Communication types.},
  topic = {English-Language;linguistics-intro;}
 }

@book{ thomas_p-etal:1988a,
  author = {Pete Thomas and Hugh Robinson and Judy Emms},
  title = {Abstract Data Types: Their Specification, Representation,
  	and Use},
  publisher = {Oxford University Press},
  year = {1988},
  address = {Oxford},
  ISBN = {0198596634},
  rtnote = {UMich Media Union Library, QA 76.9 .A23 T461 1988.},
  topic = {abstraact-data-types;}
 }

@book{ thomas_pj:1995a,
  editor = {Peter J. Thomas},
  title = {The Social and Interactional Dimensions of Human-Computer
  	Interfaces},
  publisher = {Cambridge University Press},
  year = {1995},
  address = {Cambridge, England},
  ISBN = {052145302X},
  rtnote = {UMich Media Union Library, QA 76.9 .H85 S631 1995.},
  topic = {HCI;}
 }

@incollection{ thomas_sr:1999a,
  author = {S. Rebecca Thomas},
  title = {A Survey of Agent-Oriented Programming},
  booktitle = {Foundations of Rational Agency},
  publisher = {Kluwer Academic Publishers},
  year = {1999},
  editor = {Michael Wooldridge and Anand Rao},
  pages = {263--273},
  address = {Dordrecht},
  topic = {agent-oriented-programming;}
  }

@article{ thomason_rh:1969a,
  author = {Richmond H. Thomason},
  title = {A Semantical Study of Constructible Falsity},
  journal = {Zeitschrift f\"{u}r Mathematische Logik und Grundlagen der
 	Mathematik},
  year = {1969},
  volume = {15},
  pages = {247--257},
  missinginfo = {number},
  topic = {constructive-falsity;completeness-theorems;}
 }

@incollection{ thomason_rh:1969b,
  author = {Richmond H. Thomason},
  title = {Modal Logic and Metaphysics},
  booktitle = {The Logical Way of Doing Things},
  publisher = {Yale University Press},
  year = {1969},
  editor = {Karel Lambert},
  pages = {119--146},
  address = {New Haven, Connecticut},
  topic = {individuation;quantifying-in-modality;first-order-modal-logic;}
  }

@book{ thomason_rh:1970a,
  author = {Richmond H. Thomason},
  title = {Symbolic Logic: An Introduction},
  publisher = {The Macmillan Company},
  year = {1970},
  address = {Mew York},
  rtnote = {In RHT collection.},
  note = {Out of print.  See http://www.eecs.umich.edu/\user{}rthomaso
  	for an online version.},
  topic = {logic-intro;}
 }

@article{ thomason_rh:1970b,
  author = {Richmond H. Thomason},
  title = {Indeterminist Time and Truth-Value Gaps},
  journal = {Theoria},
  year = {1970},
  volume = {36},
  pages = {246--281},
  missinginfo = {number},
  rtnote = {tmix-project;},
  topic = {temporal-logic;branching-time;truth-value-gaps;
       future-contingent-propositions;}
  }

@incollection{ thomason_rh:1970c,
  author = {Richmond H. Thomason},
  title = {Some Completeness Results for Modal Predicate Calculi},
  booktitle = {Philosophical Problems in Logic:  Some Recent Developments},
  publisher = {D. Reidel},
  year = {1970},
  editor = {Karel Lambert},
  pages = {20--40},
  address = {Dordrecht},
  topic = {quantifying-in-modality;modal-logic;completeness-theorems;
  		first-order-modal-logic;}
  }

@article{ thomason_rh:1972a,
  author = {Richmond H. Thomason},
  title = {A Semantic Theory of Sortal Incorrectness},
  journal = {Journal of Philosophical Logic},
  year = {1972},
  volume = {2},
  number = {2},
  pages = {209--258},
  topic = {sortal-incorrectness;truth-value-gaps;}
  }

@article{ thomason_rh:1972b,
  author = {Richmond H. Thomason},
  title = {Review of {Linguistic Behaviour}, by {J}onathan {B}ennett},
  journal = {Synth\'ese},
  year = {1978},
  volume = {39},
  pages = {141--154},
  xref = {Review of bennett_j:1976a.},
  topic = {philosophy-or-language;semantics;speaker-meaning;Grice;
  	convention;}
  }

@incollection{ thomason_rh:1973a,
  author = {Richmond H. Thomason},
  title = {Perception and Individuation},
  booktitle = {Logic and Ontology},
  publisher = {New York University Press},
  year = {1973},
  editor = {Milton K. Munitz},
  pages = {261--285},
  address = {New York},
  topic = {logic-of-perception;}
  }

@incollection{ thomason_rh:1973b,
  author = {Richmond H. Thomason},
  title = {Philosophy and Formal Semantics},
  booktitle = {Truth, Syntax and Modality},
  publisher = {North-Holland},
  year = {1973},
  editor = {Hugues Leblanc},
  pages = {294--307},
  address = {Amsterdam},
  topic = {philosophy-of-language;}
  }

@incollection{ thomason_rh:1974a,
  author = {Richmond H. Thomason},
  title = {Introduction},
  booktitle = {Formal Philosophy: Selected Papers of {R}ichard {M}ontague},
  publisher = {Yale University Press},
  year = {1974},
  editor = {Richmond H. Thomason},
  pages = {1--69},
  address = {New Haven, Connecticut},
  topic = {nl-semantics;montague-grammar;}
  }

@incollection{ thomason_rh:1976a,
  author = {Richmond H. Thomason},
  title = {Necessity, Quotation, and Truth: An Indexical Theory},
  booktitle = {Language in Focus},
  publisher = {D. Reidel Publishing Co.},
  year = {1976},
  editor = {Asa Kasher},
  pages = {119--138},
  address = {Dordrecht},
  topic = {indexicals;context;truth;direct-discourse;
  	direct-discourse;pragmatics;}
  }

@incollection{ thomason_rh:1976b,
  author = {Richmond H. Thomason},
  title = {Some Extensions of {M}ontague Grammar},
  booktitle = {Montague Grammar},
  publisher = {Academic Press},
  year = {1976},
  editor = {Barbara H. Partee},
  pages = {77--117},
  address = {New York},
  topic = {Montague-grammar;nl-semantics;}
  }

@article{ thomason_rh:1977a,
  author = {Richmond H. Thomason},
  title = {Indirect Discourse Is not Quotational},
  journal = {The Monist},
  year = {1977},
  volume = {60},
  pages = {340--354},
  missinginfo = {number},
  topic = {indirect-discourse;direct-discourse;}
  }

@incollection{ thomason_rh:1978a,
  author = {Richmond H. Thomason},
  title = {Home Is Where the Heart Is},
  booktitle = {Contemporary Perspectives in the Philosophy of Language},
  publisher = {University of Minnesota Press},
  year = {1978},
  editor = {Peter A. French and Theodore E. {Uehling, Jr.} and Howard
  	K. Wettstein},
  pages = {209--219},
  address = {Minneapolis},
  topic = {measures;nl-semantics;individual-concepts;
  	Montague-grammar;}
  }

@article{ thomason_rh:1980a,
  author = {Richmond H. Thomason},
  title = {A Model Theory for Propositional Attitudes},
  journal = {Linguistics and Philosophy},
  year = {1980},
  volume = {4},
  pages = {47--70},
  topic = {propositional-attitudes;foundations-of-semantics;
  	hyperintensionality;intensional-logic;}
 }

@article{ thomason_rh:1980b,
  author = {Richmond Thomason},
  title = {A Note on Syntactic Treatments of Modality},
  journal = {Synth\'ese},
  year = {1980},
  volume = {44},
  pages = {391--395},
  missinginfo = {number},
 topic = {syntactic-attitudes;diagonalization-arguments;belief;}
  }

@incollection{ thomason_rh:1981a,
  author = {Richmond H. Thomason},
  title = {Deontic Logic and the Role of Freedom in Moral Deliberation},
  booktitle = {New Studies in Deontic Logic},
  publisher = {D. Reidel Publishing Company},
  year = {1981},
  editor = {Risto Hilpinen},
  pages = {153--162},
  address = {Dordrecht},
  rtnote = {tmix-project;},
  topic = {deontic-logic;branching-time;predicted-behavior-and-obligation;}
  }

@incollection{ thomason_rh:1981b,
  author = {Richmond H. Thomason},
  title = {Deontic Logic as Founded on Tense Logic},
  booktitle = {New Studies in Deontic Logic},
  publisher = {D. Reidel Publishing Company},
  year = {1981},
  editor = {Risto Hilpinen},
  pages = {165--176},
  address = {Dordrecht},
  rtnote = {tmix-project;},
  topic = {deontic-logic;branching-time;}
  }

@incollection{ thomason_rh:1981c,
  author = {Richmond Thomason},
  title = {Deontic Logic and the Role of Freedom in
             Moral Deliberation},
  booktitle = {New Studies in Deontic Logic},
  publisher = {D. Reidel Publishing Company},
  address = {Dordrecht},
  year = {1981},
  editor = {Risto Hilpinen},
  pages = {177--186},
  topic = {deontic-logic;branching-time;}
    }

@unpublished{ thomason_rh:1981d,
  author = {Richmond H. Thomason},
  title = {Notes on Completeness Problems with Historical Necessity},
  year = {1981},
  note = {Unpublished manuscript, Pittsburgh, Pennsylvania.},
  rtnote = {In RHT collection.},
  topic = {branching-time;completeness-theorems;}
  }

@article{ thomason_rh:1982a,
  author = {Richmond H. Thomason},
  title = {Identity and Vagueness},
  journal = {Philosophical Studies},
  year = {1982},
  volume = {42},
  pages = {329--332},
  topic = {identity;vagueness;}
 }

@unpublished{ thomason_rh:1982b,
  author = {Richmond H. Thomason},
  title = {Counterfactuals and Temporal Direction},
  year = {1982},
  note = {Unpublished manuscript, Pittsburgh, Pennsylvania.},
  rtnote = {In RHT collection.},
  topic = {conditionals;temporal-direction;}
  }

@incollection{ thomason_rh:1984a,
  author = {Richmond H. Thomason},
  title = {Combinations of Tense and Modality},
  booktitle = {Handbook of Philosophical Logic, Volume {II}:
  	Extensions of Classical Logic},
  year = {1984},
  editor = {Dov Gabbay and Franz G\"unthner},
  publisher = {D. Reidel Publishing Co.},
  pages = {135--165},
  address = {Dordrecht},
  topic = {temporal-logic;modal-logic;}
  }

@article{ thomason_rh:1985a,
  author = {Richmond H. Thomason},
  title = {Some Issues Concerning the Interpretation of
		Derived and Gerundive Nominals},
  journal = {Linguistics and Philosophy},
  year = {1985},
  volume = {8},
  number = {1},
  pages = {73--80},
  topic = {nl-semantics;evants;nominalization;}
  }

@inproceedings{ thomason_rh:1986a,
  author = {Richmond H. Thomason},
  title = {Paradoxes and Semantic Representation},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
  	Proceedings of the First Conference},
  year = {1986},
  editor = {Joseph Y. Halpern},
  pages = {225--239},
  publisher = {Morgan Kaufmann Publishers, Inc.},
  address = {Los Altos, California},
  topic = {syntactic-attitudes;epistemic-logic;semantic-paradoxes;}
  }

@incollection{ thomason_rh:1986b,
  author = {Richmond H. Thomason},
  title = {The Context-Sensitivity of Belief and Desire},
  booktitle = {Reasoning about Actions and Plans},
  publisher = {Morgan Kaufmann},
  year = {1986},
  editor = {Michael P. Georgeff and Amy Lansky},
  pages = {341--360},
  address = {Los Altos, California},
  topic = {philosophy-of-belief;belief;utility;context;stake-sensitivity;}
  }

@incollection{ thomason_rh:1987a,
  author = {Richmond H. Thomason},
  title = {The Multiplicity of Belief and Desire},
  booktitle = {Reasoning about Actions and Plans},
  publisher = {Morgan Kaufmann},
  year = {1987},
  editor = {Michael P. Georgeff and Amy Lansky},
  pages = {341--360},
  address = {Los Altos, California},
  topic = {belief;desire;}
  }

@article{ thomason_rh:1988a1,
  author = {Richmond H. Thomason},
  title = {Philosophical Logic and Artificial Intelligence},
  journal = {Journal of Philosophical Logic},
  year = {1988},
  volume = {17},
  number = {4},
  pages = {321--327},
  xref = {Republication: thomason_rh:1988a2.},
  topic = {philosophical-logic;logic-in-AI-survey;}
  }

@incollection{ thomason_rh:1988a2,
  author = {Richmond H. Thomason},
  title = {Philosophical Logic and Artificial Intelligence},
  booktitle = {Philosophical Logic and Artificial Intelligence},
  publisher = {Kluwer Academic Publishers},
  year = {1989},
  editor = {Richmond H. Thomason},
  pages = {1--7},
  address = {Dordrecht},
  xref = {Republication of: thomason_rh:1988a1.},
  topic = {philosophical-logic;logic-in-AI-survey;}
  }

@incollection{ thomason_rh:1988b,
  author = {Richmond H. Thomason},
  title = {Theories of Nonmonotonicity and Natural Language
  	Generics},
  booktitle = {Genericity in Natural Language: Proceedings of
  	the 1988 T\"ubingen Conference},
  publisher = {Seminar f\"ur Naturlich-Sprachliche
  	Systeme der Universit\"at T\"ubingen},
  year = {1988},
  editor = {Manfred Krifka},
  pages = {395--406},
  address = {T\"ubingen},
  topic = {generics;nonmonotonic-logic;}
  }

@incollection{ thomason_rh:1988c,
  author  =  {Richmond H. Thomason},
  title  =  {Motivating Ramified Type Theory},
  booktitle  =  {Properties, Types and Meaning, Vol.\ 1},
  year  =  {1988},
  editor  =  {Gennaro Chierchia and Barbara Partee and Raymond Turner},
  publisher  =  {Kluwer Academic Publishers},
  pages  =  {47--62},
  address  =  {Dordrecht},
  topic  =  {intensional-paradoxes;ramified-type-theory;}
  }

@book{ thomason_rh:1989a,
  editor = {Richmond Thomason},
  title = {Philosophical Logic and Artificial Intelligence},
  publisher = {Kluwer Academic Publishers},
  year = {1988},
  address = {Dordrecht},
  topic = {philosophical-logic;logic-in-AI-survey;}
 }

@inproceedings{ thomason_rh:1989b,
  author = {Richmond H. Thomason},
  title = {Completeness Proofs for Monotonic Nets With Relations and
  	Identity},
  booktitle = {Methodologies for Intelligent Systems},
  year = {1989},
  editor = {Zbigniew Ras},
  pages = {523--532},
  publisher = {North-Holland},
  address = {Amsterdam},
  topic = {inheritance-theory;}
  }

@incollection{ thomason_rh:1990a,
  author = {Richmond Thomason},
  title = {Accommodation, Meaning, and Implicature:
  	Interdisciplinary Foundations for Pragmatics},
  booktitle = {Intentions in Communication},
  publisher = {MIT Press},
  year = {1990},
  editor = {Philip R. Cohen and Jerry Morgan and Martha Pollack},
  pages = {326--363},
  address = {Cambridge, Massachusetts},
  topic = {discourse;accommodation;implicature;pragmatics;
  	conversational-record;}
  }

@inproceedings{ thomason_rh:1990b,
  author = {Richmond H. Thomason},
  title = {Propagating Epistemic Coordination Through Mutual
	Defaults {I}},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
    Proceedings of the Third Conference ({TARK} 1990)},
  year = {1990},
  editor = {Rohit Parikh},
  pages = {29--39},
  publisher = {Morgan Kaufmann},
  address = {Los Altos, California},
  topic = {nonmonotonic-reasoning;mutual-belief;conversational-record;
  	nm-ling;communication-models;}
  }

@incollection{ thomason_rh:1991a,
  author = {Richmond Thomason},
  title = {Logicism, Artificial Intelligence, and Common Sense: {J}ohn
  {M}c{C}arthy's Program in Philosophical Perspective},
  booktitle = {Artificial Intelligence and Mathematical Theory of
  	Computation},
  publisher = {Academic Press},
  year = {1991},
  editor = {Vladimir Lifschitz},
  pages = {449--466},
  address = {San Diego},
  topic = {logicism;Mccarthy;}
  }

@inproceedings{ thomason_rh:1991b,
  author = {Richmond H. Thomason},
  title = {A Semantic Analysis of Monotonic Inheritance With Roles
  	and Relations},
  booktitle = {Methodologies for Intelligent Systems: Proceedings of
  	the Sixth International Symposium},
  year = {1991},
  editor = {Z. Ras and M. Zemankova and M. Emrich},
  pages = {630--644},
  publisher = {North-Holland},
  address = {Amsterdam},
  topic = {inheritance-theory;}
  }

@inproceedings{ thomason_rh:1991c,
  author = {Richmond H. Thomason},
  title = {Knowledge Representation and Knowledge of Words},
  booktitle = {Lexical Semantics and Knowledge Representation:
  	Proceedings of a Workshop Sponsored by the
	Special Interest Group on the Lexicon of the Association for
	Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  year = {1991},
  editor = {James Pustejovsky and Sabine Bergler},
  pages = {1--8},
  address = {Somerset, New Jersey},
  topic = {lexical-semantics;knowledge-representation;}
  }

@incollection{ thomason_rh:1992a,
  author = {Richmond H. Thomason},
  title = {{NETL} and Subsequent Path-Based Inheritance Theories},
  booktitle = {Semantic Networks in Artificial Intelligence},
  publisher = {Pergamon Press},
  year = {1992},
  editor = {Fritz Lehmann},
  pages = {179--204},
  address = {Oxford},
  xref = {Also published in Computers and Mathematics with Applications;
  	vol. 23; 1992; 179--204},
  topic = {kr;inheritance-theory;kr-course;}
  }

@inproceedings{ thomason_rh:1993a,
 author = {Richmond H. Thomason},
 title = {Towards a Logical Theory of Practical Reasoning},
 booktitle = {Working Notes of the {AAAI} Spring Symposium on
 	Reasoning about Mental States},
 year = {1993},
 organization = {American Association for Artificial Intelligence},
 address = {Menlo Park, CA},
 rtnote = {In RHT Collection.},
 pages = {133--142},
 topic = {practical-reasoning;nonmonotonic-logic;deontic-logic;
 	qualitative-utility;}
 }

@unpublished{ thomason_rh:1995b,
  author = {Richmond Thomason},
  title = {Logicism: Exact Philosophy, Linguistics, and
	Artificial Intelligence},
  year = {1995},
  note = {Unpublished manuscript.},
  topic = {logicism;}
 }

@incollection{ thomason_rh:1996a,
  author = {Richmond H. Thomason},
  title = {Nonmonotonicity in Linguistics},
  booktitle = {Handbook of Logic and Language},
  publisher = {Elsevier Science Publishers},
  year = {1996},
  editor = {Johan {van Benthem} and Alice {ter Meulen}},
  pages = {777--831},
  address = {Amsterdam},
  topic = {nm-ling;}
  }

@unpublished{ thomason_rh:1996b,
  author = {Richmond H. Thomason},
  title = {Nonmonotonic Formalisms for Natural Language Semantics},
  note = {Unpublished manuscript.},
  topic = {nonmonotonic-reasoning;foundations-of-semantics;
  	lexical-semantics;}
  }

@inproceedings{ thomason_rh:1997a,
  author = {Richmond H. Thomason},
  title = {Type Theoretic Foundations for Context},
  booktitle = {Working Papers of the {AAAI} Fall Symposium on
  	Context in Knowledge Representation and Natural Language},
  year = {1997},
  editor = {Sa\v{s}a Buva\v{c} and {\L}ucia Iwa\'nska},
  pages = {173--175},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  topic = {context;logic-of-context;}
  }

@unpublished{ thomason_rh:1997b,
  author = {Richmond H. Thomason},
  title = {Towards a Logical Theory of Practical Reasoning},
  note = {Unpublished manuscript, 1997.  Available at
           www.pitt.edu/\user{}thomason.html.
	   },
  topic = {practical-reasoning;qualitative-utility;preferences;}
  }

@incollection{ thomason_rh:1997c,
 author = {Richmond H. Thomason},
  title = {Type Theoretic Foundations for Context (Extended Abstract)},
  booktitle = {Working Papers of the {AAAI} Fall Symposium on
  	Context in Knowledge Representation and Natural Language},
  publisher = {American Association for Artificial Intelligence},
  year = {1997},
  editor = {Sa\v{s}a Buva\v{c} and {\L}ucia Iwa\'nska},
  pages = {211--220},
  address = {Menlo Park, California},
  topic = {context;logic-of-context;higher-order-logic;}
  }

@inproceedings{ thomason_rh:1998a,
  author = {Richmond H. Thomason},
  title = {Intra-Agent Modality and Nonmonotonic Epistemic Logic},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
    Proceedings of the Seventh Conference ({TARK} 1998)},
  year = {1998},
  editor = {Itzhak Gilboa},
  pages = {57--69},
  publisher = {Morgan Kaufmann},
  address = {San Francisco, California},
  topic = {reasoning-about-knowledge;nonmonotonic-logic;
  	mutual-belief;}
  }

@inproceedings{ thomason_rh:1998b,
 author = {Richmond H. Thomason},
 title = {Qualitative Decision Theory and Interactive Problem
 	Solving (Extended Abstract)},
 booktitle = {Working Notes of the {AAAI} Spring Symposium on
 	Interactive and Mixed-Initiative Decision-Theoretic Systems},
 year = {1998},
 organization = {American Association for Artificial Intelligence},
 editor = {Peter Haddawy and Steve Hanks},
 pages = {107--113},
 address = {Menlo Park, CA},
 rtnote = {In RHT Collection.},
 topic = {practical-reasoning;qualitative-utility;planning;}
 }

@inproceedings{ thomason_rh:1998c,
  author = {Richmond H. Thomason},
  title = {Conditionals, Time, and Causal Independence},
  booktitle = {Working Notes of the {AAAI} Spring Symposium on
 	Prospects for a Commonsense Theory of Causation},
  year = {1998},
  organization = {American Association for Artificial Intelligence},
  publication = {American Association for Artificial Intelligence},
  address = {Menlo Park, CA},
  editor = {Charles L. {Ortiz, Jr.}},
  pages = {107--113},
  rtnote = {In RHT Collection.  Shelf.},
  topic = {causality;causal-(in)dependence;temporal-reasoning;
	branching-time;conditionals;}
 }

@inproceedings{ thomason_rh:1998d,
  author = {Richmond H. Thomason},
  title = {Representing and Reasoning with Context},
  booktitle = {Artificial Intelligence and Symbolic Computation;
  	Proceedings of the International Conference {AISC}'98,
	Plattsburgh, New York},
  year = {1998},
  editor = {Jacques Calmet and Jan Plaza},
  pages = {29--41},
  publisher = {Springer-Verlag},
  address = {Berlin},
  topic = {context;logic-of-context;intensional-logic;}
  }

@inproceedings{ thomason_rh:1999a,
  author = {Richmond H. Thomason},
  title = {Progress towards a Theory of Practical Reasoning:
  	Problems and Prospects},
  booktitle = {Proceedings of the {IJCAI}-99 Workshop on
  	Practical Reasoning and Rationality},
  year = {1999},
  editor = {John Bell},
  pages = {46--47},
  organization = {IJCAI},
  publisher = {International Joint Conference on Artificial Intelligence},
  address = {Murray Hill, New Jersey},
  topic = {practical-reasoning;default-logic;}
  }

@incollection{ thomason_rh:1999b,
  author = {Richmond H. Thomason},
  title = {Type Theoretic Foundations for Context, Part 1: Contexts
  	as Complex Type-Theoretic Objects},
  booktitle = {Modeling and Using Contexts: Proceedings of
	the Second International and Interdisciplinary
	Conference, {CONTEXT}'99},
  publisher = {Springer-Verlag},
  year = {1999},
  editor = {Paolo Bouquet and Luigi Serafini and Patrick
	Br\'ezillon	and Massimo Benerecetti and Francesca
	Castellani},
  pages = {352--374},
  address = {Berlin},
  topic = {context;higher-order-logic;intensional-logic;
		logic-of-context;}
  }

@inproceedings{ thomason_rh:1999c,
  author = {Richmond H. Thomason},
  title = {Modeling the Beliefs of Other Agents},
  booktitle = {Workshop on Logic-Based Artificial Intelligence,
	       Washington, DC, June 14--16, 1999},
  year = {1999},
  editor = {Jack Minker},
  publisher = {Computer Science Department, University of Maryland},
  address = {College Park, Maryland},
  topic = {propositional-attitude-ascription;}
  }

@article{ thomason_rh:1999d,
  author = {Richmond H. Thomason},
  title = {Review of \emph{Reasoning about Knowledge},
	by {R}onald {F}agin and {J}oseph {Y}. {H}alpern and {Y}oram {M}oses
	and {M}oshe {Y}. {V}ardi},
  journal = {Studia Logica},
  year = {1999},
  volume = {63},
  number = {1},
  pages = {128--136},
  xref = {Review of fagin-etal:1995b.},
  topic = {epistemic-logic;distributed-systems;communication-protocols;
  	game-theory;}
  }

@unpublished{ thomason_rh:1999e,
  author = {Richmond H. Thomason},
  title = {Formalizing the Semantics of Derived Words},
  year = {1999},
  note = {Unpublished manuscript, available at
  	http://www.eecs.umich.edu/\user{}rthomaso/documents.html. },
  rtnote = {In RHT collection.},
  topic = {nm-ling;lexical-semantics;}
  }

@inproceedings{ thomason_rh:2000a,
  author = {Richmond H. Thomason},
  title = {Desires and Defaults: A Framework for Planning with
  	Inferred Goals},
  booktitle = {{KR}2000: Principles of Knowledge Representation and
  	Reasoning},
  year = {2000},
  editor = {Anthony G. Cohn and Fausto Giunchiglia and Bart Selman},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  pages = {702--713},
  topic = {desires;planning-formalisms;default-logic;
  	practical-reasoning;}
  }

@incollection{ thomason_rh:2000c,
  author = {Richmond H. Thomason},
  title = {Modeling the Beliefs of Other Agents},
  booktitle = {Logic-Based Artificial Intelligence},
  publisher = {Kluwer Academic Publishers},
  year = {2000},
  editor = {Jack Minker},
  pages = {375--473},
  address = {Dordrecht},
  topic = {logic-in-AI;reasoning-about-attitudes;agent-modeling;
  	mutual-belief;nonmonotonic-logic;}
  }

@article{ thomason_rh:2001a,
  author = {Richmond H. Thomason},
  title = {Review of \emph{{F}ormal Aspects of Context}, edited by {P}ierre
  	{B}onzon, {M}arcos {C}avalcanti and {R}olf {N}ossum},
  journal = {Computational Linguistics},
  year = {2001},
  volume = {27},
  number = {4},
  pages = {598--600},
  xref = {Review of: bonzon-etal:2000a.},
  topic = {context;}
  }

@incollection{ thomason_rh:2002a,
  author = {Richmond H. Thomason},
  title = {Preferences as Conclusions},
  booktitle = {Preferences in {AI} and {CP}: Symbolic Approaches},
  publisher = {AAAI Press},
  year = {2002},
  editor = {Ulrich Junker},
  pages = {94--98},
  address = {Menlo Park, California},
  topic = {qualitative-utility;conditionals;}
  }

@incollection{ thomason_rh:2003a,
  author = {Richmond H. Thomason},
  title = {Ability and Action},
  booktitle = {Working Papers of the 2003 {AAAI} Spring Symposium on
  	Logical Formalization of Commonsense Reasoning},
  publisher = {AAAI Press},
  year = {2003},
  editor = {Patrick Doherty and John McCarthy and Mary-Anne Williams},
  pages = {139--145},
  address = {Menlo Park, California},
  topic = {ability;action;planning-formalisms;}
  }

@unpublished{ thomason_rh:2003b,
  author = {Richmond H. Thomason},
  title = {Logic and Artificial Intelligence},
  year = {2003},
  note = {Stanford Encyclopedia of Philosophy.
  http://plato.stanford.edu/archives/fall2003/entries/logic-ai/},
  topic = {logic-in-AI;nonmonotonic-logic;}
  }

@incollection{ thomason_rh:2003c,
  author = {Richmond H. Thomason},
  title = {Dynamic Contextual Intensional Logic: Logical Foundations
 	and an Application},
  booktitle = {Modeling and Using Context:
	Fourth International and Interdisciplinary Conference},
  publisher = {Springer-Verlag},
  year = {2003},
  editor = {Patrick Blackburn and Chiara Ghidini and Roy M. Turner},
  pages = {328--341},
  topic = {context;higher-order-logic;dynamic-logic;}
  }

@incollection{ thomason_rh:2005a,
  author = {Richmond H. Thomason},
  title = {Making Contextual Intensional Logic Nonmonotonic},
  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 = {502--514},
  address = {Berlin},
  topic = {context;logic-of-context;nonmonotonic-logic;higher-order-logic;}
  }

@inproceedings{ thomason_rh:2007a,
  author = {Richmond H. Thomason},
  title = {Three Interactions between Context and Epistemic Locutions},
  booktitle = {Modeling and Using Context: Sixth International and
  	Interdisciplinary Conference, Context 2007},
  year = {2007},
  editor = {Boicho Kokinov and Daniel C. Richardson and Thomas R.
  		Roth-Berghofer and Laure View},
  pages = {467--481},
  publisher = {Springer-Verlag},
  address = {Berlin},
  topic = {context;indeterminist-time;epistemic-modals;}
  }

@unpublished{ thomason_rh:2007b,
  author = {Richmond H. Thomason},
  title = {Truth After the Fact in Indeterminist Tense Logic},
  year = {2007},
  note = {Unpublished manuscript, Philosophy Department, University
             of Michigan.  Available from the author},
  topic = {branching-time;truth;}
  }

@incollection{ thomason_rh:2007c,
  author = {Richmond H. Thomason},
  title = {Contextual Intensional Logic:
     		Type-Theoretic and Dynamic Considerations},
  booktitle = {Perspectives on Context},
  publisher = {CSLI Publications},
  year = {2007},
  editor = {Paolo Bouquet and Luciano Serafini and Richmond H. Thomason},
  pages = {43--63},
  address = {Stanford, California},
  topic = {context;logic-of-context;contextual-reasoning;intensional-logic;}
  }

@incollection{ thomason_rh:2009a,
  author = {Richmond H. Thomason},
  title = {Logic and Artificial Intelligence},
  booktitle = {The Development of Modern Logic},
  publisher = {Oxford University Press},
  year = {2009},
  editor = {Leila Haaparanta},
  pages = {848--902},
  address = {Oxford},
  topic = {history-of-logic;logic-in-AI;}
  }

@article{ thomason_rh-aronis:1992a,
  author = {Richmond H. Thomason and John M. Aronis},
  title = {Hybridizing Nonmonotonic Inheritance With Theorem Proving},
  journal = {Annals of Mathematics and Artificial Intelligence},
  year = {1992},
  volume = {6},
  pages = {345--366},
  missinginfo = {number},
  topic = {inheritance-theory;}
  }

@techreport{ thomason_rh-etal:1986a,
  author = {Richmond H. Thomason and John F. Horty and David S. Touretzky},
  title = {A Calculus For Inheritance in Monotonic Semantic Nets},
  institution = {Department of Computer Science, Carnegie Mellon
  	University},
  number = {CMU-CS-86-138},
  year = {1986},
  address = {Pittsburgh, Pennsylvania 15213},
  rtnote = {In RHT collection.},
  topic = {inheritance-theory;}
  }

@inproceedings{ thomason_rh-etal:1987a,
   author = {Richmond H. Thomason and John F. Horty and David S.
  	Touretzky},
  title = {A Calculus for Inheritance in Monotonic Semantic Nets},
  booktitle = {Methodologies for Intelligent Systems: Proceedings of
  	the Sixth International Symposium},
  year = {1987},
  editor = {Z. Ras and M. Zemankova},
  pages = {280--287},
  publisher = {North-Holland},
  address = {Amsterdam},
  topic = {inheritance-theory;}
  }

@inproceedings{ thomason_rh-etal:1996a,
  author = {Richmond Thomason and Jerry Hobbs and Johanna Moore},
  title = {Communicative Goals},
  booktitle = {Proceedings of the {ECAI} 96 Workshop on Gaps and
  	Bridges: New Directions in Planning and Natural Language
	Generation},
  year = {1996},
  editor = {Kristiina Jokinen and Mark T. Maybury and Ingrid Zukerman},
  publisher = {Springer-Verlag},
  address = {Berlin},
  missinginfo = {pages},
  topic = {nl-interpretation;nl-generation;discourse;pragmatics;}
  }

@article{ thomason_rh-gupta_a1:1980a1,
  author = {Richmond Thomason and Anil Gupta},
  title = {A Theory of Conditionals in the Context of Branching Time},
  journal = {The Philosophical Review},
  year = {1980},
  volume = {80},
  pages = {65--90},
  xref = {Republication: thomason_rh-gupta_a1:1980a2.},
  rtnote = {tmix-project;},
  topic = {conditionals;branching-time;causal-(in)dependence;
  	selection-functions;}
  }

@incollection{ thomason_rh-gupta_a1:1980a2,
  author = {Richmond Thomason and Anil Gupta},
  title = {A Theory of Conditionals in the Context of Branching Time},
  booktitle = {Ifs: Conditionals, Belief, Decision, Chance, and Time},
  publisher = {D. Reidel Publishing Co.},
  year = {1981},
  editor = {William L. Harper and Robert Stalnaker and Glenn Pearce},
  pages = {229--322},
  address = {Dordrecht},
  xref = {Republication of thomason_rh-gupta_a1:1980a1.},
  rtnote = {tmix-project;},
  topic = {conditionals;branching-time;causal-(in)dependence;}
 }

@inproceedings{ thomason_rh-hobbs_jr:1997a,
  author = {Richmond H. Thomason and Jerry R. Hobbs},
  title = {Interrelating Interpretation and Generation in an Abductive
  	Framework},
  booktitle = {Working Papers of the {AAAI} Fall Symposium on
  	Communicative Action in Humans and Machines},
  year = {1997},
  editor = {David R. Traum},
  pages = {97--105},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  topic = {speech-acts;pragmatics;discourse;pragmatics;
  	nl-generation-and-interpretation;}
  }

@incollection{ thomason_rh-horty:1996a,
  author = {Richmond H. Thomason and John F. Horty},
  title = {Nondeterministic Action and Dominance:
  	Foundations for Planning and Qualitative Decision},
  booktitle = {Theoretical Aspects of Rationality and Knowledge:
  	Proceedings of the Sixth Conference ({TARK} 1996)},
  publisher = {Morgan Kaufmann},
  year = {1996},
  editor = {Yoav Shoham},
  pages = {229--250},
  address = {San Francisco},
  note = {The statement and proof of the soundness theorem in
  		Section~7 of this version are flawed.  See
		www.pitt.edu/\user{}thomason/dominance.html.},
  xref = {Working Version: thomason_rh-horty:1997a.},
  topic = {action;concurrent-actions;conditionals;qualitative-utility;
  	dominance;}
  }

@unpublished{ thomason_rh-horty:1997a,
  author = {Richmond H. Thomason and John F. Horty},
  title = {Nondeterministic Action and Dominance:
  	Foundations for Planning and Qualitative Decision},
  note = {Unpublished manuscript, 1997.  Available at
           www.pitt.edu/\user{}thomason/dominance.html.
	   (A version of this paper was published in Yoav Shoham, ed.,
	   {\it Theoretical Aspects of Rationality and Knowledge:
	   Proceedings of the Sixth Conference ({TARK} 1996),
	   Morgan Kaufmann, 1996.}},
  xref = {Conference publication: thomason_rh-horty:1996a.},
  topic = {action;concurrent-actions;conditionals;qualitative-utility;
  	dominance;}
  }

@inproceedings{ thomason_rh-moore_jd:1995a,
  author = {Richmond Thomason and Johanna D. Moore},
  title = {Discourse Context},
  booktitle = {Working Notes of the {AAAI} Fall Symposium on
 	Formalizing Context},
  year = {1995},
  editor = {Sa\v{s}a Buva\v{c}},
  organization = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  pages = {102--109},
  missinginfo = {pages},
  topic = {discourse;context;pragmatics;}
  }

@article{ thomason_rh-stalnaker:1970a,
  author = {Richmond H. Thomason and Robert C. Stalnaker},
  title = {A Semantic Analysis of Conditional Logic},
  journal = {Theoria},
  year = {1970},
  volume = {36},
  pages = {23--42},
  missinginfo = {number},
  topic = {conditionals;}
  }

@article{ thomason_rh-stalnaker:1973a,
  author = {Richmond H. Thomason and Robert C. Stalnaker},
  title = {A Semantic Theory of Adverbs},
  journal = {Linguistic Inquiry},
  year = {1973},
  volume = {4},
  pages = {195-220},
  missinginfo = {number},
  topic = {adverbs;nl-semantics;}
  }

@incollection{ thomason_rh-touretzky:1990c,
  author = {Richmond H. Thomason and David S. Touretzky},
  title = {Inheritance Theory and Networks with Roles},
  booktitle = {Principles of Semantic Networks},
  publisher = {Morgan Kaufmann},
  year = {1992},
  editor = {John Sowa},
  pages = {231--266},
  address = {Los Altos, California},
  topic = {inheritance-theory;}
  }

@incollection{ thomason_rh-touretzky:1992a,
  author = {Richmond H. Thomason and David S. Touretzky},
  title = {Inheritance Theory and Networks With Roles},
  booktitle = {Principles of Semantic Networks},
  publisher = {Morgan Kaufmann},
  year = {1992},
  editor = {John F. Sowa},
  pages = {231--266},
  address = {San Mateo, California},
  topic = {inheritance-theory;}
  }

@article{ thomason_sk:1972a,
  author = {Steven K. Thomason},
  title = {Semantic Analysis of Tense Logics},
  journal = {Journal of Symbolic Logic},
  year = {1972},
  volume = {37},
  number = {1},
  pages = {150--158},
  topic = {temporal-logic;}
  }

@article{ thomason_sk:1974a,
  author = {Steven K. Thomason},
  title = {An Incompleteness Theorem in Modal Logic},
  journal = {Theoria},
  year = {1974},
  volume = {40},
  pages = {30--34},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {modal-logic;(in)compactness;}
  }

@unpublished{ thomason_sk:1978a,
  author = {Steven K. Thomason},
  title = {Undecidability of the Completeness Problem of Modal
  	Logic},
  year = {1978},
  note = {Unpublished manuscript},
  rtnote = {In RHT collection.},
  topic = {modal-logic;undecidability;}
  }

@unpublished{ thomason_sk:1978b,
  author = {Steven K. Thomason},
  title = {Independent Propositional Modal Logics},
  year = {1978},
  note = {Unpublished manuscript},
  rtnote = {In RHT collection.},
  topic = {modal-logic;}
  }

@article{ thomason_sk:1979a,
  author = {Steven K. Thomason},
  title = {Independent Propositional Modal Logics},
  journal = {Studia Logica},
  year = {1979},
  volume = {34},
  pages = {143--144},
  missinginfo = {number, year is a guess},
  topic = {modal-logic;}
  }

@unpublished{ thomason_sk:1979b,
  author = {Steven K. Thomason},
  title = {Possible Worlds, Time, and Tenure},
  year = {1979},
  note = {Unpublished manuscript},
  rtnote = {In RHT collection.},
  topic = {temporal-logic;individuation;}
  }

@article{ thomason_sk:1984a,
  author = {Steven K. Thomason},
  title = {On Constructing Instants from Events},
  journal = {Journal of Philosophical Logic},
  year = {1984},
  volume = {13},
  number = {1},
  pages = {85--96},
  topic = {temporal-logic;temporal-representation;interval-logic;}
  }

@article{ thomason_sk:1989a,
  author = {Steven K. Thomason},
  title = {Free Construction of Time from Events},
  journal = {Journal of Philosophical Logic},
  year = {1989},
  volume = {18},
  number = {1},
  pages = {43--67},
  topic = {philosophy-of-time;events;}
  }

@article{ thomason_sk:1993a,
  author = {Steven K. Thomason},
  title = {Semantic Analysis of the Modal Syllogistic},
  journal = {Journal of Philosophical Logic},
  year = {1993},
  volume = {22},
  number = {2},
  pages = {111--128},
  topic = {syllogistic;modal-logic;}
  }

@article{ thomason_sk:1997a,
  author = {Steven K. Thomason},
  title = {Relational Models for the Modal Syllogistic},
  journal = {Journal of Philosophical Logic},
  year = {1997},
  volume = {26},
  number = {2},
  pages = {129--141},
  topic = {syllogistic;modal-logic;}
  }

@book{ thomasson:1999a,
  author = {Amie L. Thomasson},
  title = {Fiction and Metaphysics},
  publisher = {Cambridge University Press},
  year = {1999},
  address = {Cambridge, England},
  xref = {Review: zemach:2003a.},
  topic = {fiction;fictional-characters;}
 }

@article{ thomaz-breazeal:2008a,
  author = {Andrea L. Thomaz and Cynthia Breazeal},
  title = {Teachable Robots: Understanding Human Teaching Behavior to
  		Build More Effective Robot Learners},
  journal = {Artificial Intelligence},
  year = {2008},
  volume = {172},
  number = {6--7},
  pages = {716--737},
  topic = {robotics;HCI;reinforcement-learning;}
  }

@article{ thompson_e:2003a,
  author = {Ellen Thompson},
  title = {The Structure of Bounded Events},
  journal = {Linguistic Inquiry},
  year = {2003},
  volume = {37},
  number = {2},
  pages = {211--228},
  topic = {tense-aspect;events;Aktionsarten;}
  }

@incollection{ thompson_hs:1981a,
  author = {Henry S. Thompson},
  title = {Chart Parsing for Loosely Coupled
    		Parallel Systems},
  booktitle = {Current Issues in Parsing Technology},
  publisher = {Kluwer Academic Publishers},
  year = {1981},
  editor = {Masaru Tomita},
  pages = {231--241},
  address = {Dordrecht},
  topic = {parsing-algorithms;parallel-processing;}
  }

@article{ thompson_p:2004a,
  author = {Paul Thompson},
  title = {Review of \emph{{L}anguage Modeling for Information Retrieval},
  		edited by {W}. {B}ruce {C}roft and {J}ohn {L}afferty},
  journal = {Computational Linguistics},
  year = {2004},
  volume = {30},
  number = {1},
  pages = {110--111},
  xref = {Review of: croft_wb-lafferty:2003a.},
  topic = {n-gram-models;information-retrieval;}
  }

@incollection{ thompson_p-dozier:1997a,
  author = {Paul Thompson and Christopher C. Dozier},
  title = {Name Searching and Information Retrieval},
  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 = {134--140},
  address = {Somerset, New Jersey},
  topic = {empircal-methods-in-nlp;personal-name-recognition;}
  }

@article{ thomson_jf:1960a,
  author = {J.F. Thomson},
  title = {What {A}chilles Should Have Said to the Tortoise},
  journal = {Ratio},
  year = {1960},
  volume = {3},
  number = {a},
  pages = {95--105},
  topic = {Achilles-and-the-tortoise;}
  }

@incollection{ thomson_jf:1962a,
  author = {J.F. Thomson},
  title = {On Some Paradoxes},
  booktitle = {Analytical Philosophy, First Series},
  publisher = {Barnes and Noble},
  year = {1962},
  editor = {Ronald J. Butler},
  pages = {104--119},
  address = {New York},
  topic = {diagonalization-arguments;semantic-paradoxes;}
  }

@article{ thomson_jj1:1954a,
  author = {James J. Thomson},
  title = {Tasks and Supertasks},
  journal = {Analysis},
  year = {1954},
  volume = {15},
  pages = {1--13},
  missinginfo = {number},
  topic = {paradoxes-of-physical-infinity;paradoxes-of-motion;}
  }

@book{ thomson_jj1:1987a,
  editor = {James J. Thomson},
  title = {On Being and Saying: Essays for {R}ichard {C}artwright},
  publisher = {The {MIT} Press},
  year = {1987},
  address = {Cambridge, Massachusetts},
  topic = {analytic-philosophy-collection;}
 }

@article{ thomson_jj2:1964a,
  author = {Judith Jarvis Thomson},
  title = {Private Languages},
  journal = {Anerican Philosophical Quarterly},
  year = {1964},
  volume = {1},
  number = {1},
  pages = {20--31},
  rtnote = {In RHT collection.},
  topic = {private-language;Wittgenstein;philosophy-of-language;}
  }

@book{ thomson_jj2:1977a,
  author = {Judith Jarvis Thomson},
  title = {Acts and Other Events},
  publisher = {Cornell University Press},
  year = {1977},
  address = {Ithaca},
  rtnote = {In RHT Collection.  LLP single author shelves.},
  topic = {philosophy-of-action;}
 }

@book{ thomson_jj2:1987a,
  editor = {Judith Jarvis Thomson},
  title = {On Being and Saying: Essays For {R}ichard {C}artwright},
  publisher = {The {MIT} Press},
  year = {1987},
  address = {Cambridge, Massachusetts},
  contentnote = {TC:
     1. George Boolos, "The Consistency of {F}rege's
     		Foundations of Arithmetic "
     2. Leonard Linsky, "Russell's `no-classes' theory of classes"
     3. Charles S. Chihara, "Quine's indeterminacy"
     4. Harold Levin, "Justifying Symbolizations"
     5. Scott Soames, "Substitutivity "
     6. Charles E. Caton, "Moore's Paradox, Sincerity Conditions, and
     		Epistemic Qualification "
     7. William P. Alston, "Matching Illocutionary Act Types"
     8. Roderick M. Chisholm, "Scattered Objects"
     9. Helen Morris Cartwright, "Parts and Places"
    10. Judith Jarvis Thomson, "Ruminations on an Account of Personal
    		Identity"
    11. Jordan Howard Sobel, "G\"odel's Ontological Proof "
    12. David Wiggins, "The concept of the Subject Contains the
    		Concept of The Predicate"
  },
  ISBN = {0262200635},
  rtnote = {UMich Graduate Library, B29 .O671 1987.},
  topic = {analytic-philosophy;}
 }

@book{ thomson_jj2:1990a,
  author = {Judith Jarvis Thomson},
  title = {The Realm of Rights},
  publisher = {Harvard University Press},
  address = {Cambridge, Massachusetts},
  year = {1990},
  topic = {ethics;rights;}
    }

@incollection{ thornton:1996a,
  author = {Christopher J. Thornton},
  title = {Why Concept Learning is a Good Idea},
  booktitle = {Connectionism, Concepts, and Folk Psychology: The Legacy
  		of {A}lan {T}uring: Volume {II}},
  publisher = {Oxford University Press},
  year = {1996},
  editor = {Peter J.R. Millican and Andy Clark},
  pages = {181--194},
  address = {Oxford},
  topic = {concept-learning;}
  }

@book{ thornton:2000a,
  author = {Chris Thornton},
  title = {Truth from Trash: How Learning Makes Sense},
  publisher = {The {MIT} Press},
  year = {2000},
  address = {Cambridge, Massachusetts},
  ISBN = {0262201275},
  xref = {Review: hernandezorallo:2000a.},
  topic = {machine-learning;}
 }

@book{ thrall-etal:1960a,
  editor = {Robert M. Thrall and C.H. Coombs and R.L. Davis},
  title = {Decision Processes},
  publisher = {John Wiley and Sons},
  year = {1960},
  address = {New York},
  rtnote = {UMich Graduate Library Call No: Q 175 .T53},
  topic = {decision-theory;}
 }

@article{ thrun:1998a,
  author = {Sebastian Thrun},
  title = {Learning Metric-Topological Maps for Indoor
		Mobile Robot Navigation},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {99},
  number = {1},
  pages = {21--71},
  topic = {machine-learning;robot-navigation;}
  }

@article{ thrun:2006a,
  author = {Sebastian Thrun},
  title = {A Personal Account of {S}tanley, the Robot that Won the
  		{DARPA} Challenge},
  journal = {The {AI} Magazine},
  year = {2006},
  volume = {27},
  number = {4},
  pages = {69--82},
  topic = {history-of-AI;robotics;}
  }

@article{ thrun-etal:1999a,
  author = {Sebastian thrun and Christos Faloufsos and Tom Mitchell
  	and Larry Wasserman},
  title = {Automated Learning and Discovery---State of the Art and
  	Research Topics in a Rapidly Growing Field},
  journal = {The {AI} Magazine},
  year = {1999},
  volume = {20},
  number = {3},
  pages = {78--82},
  topic = {machine-learning;}
  }

@article{ thrun-etal:2001a,
  author = {Sebastian Thrun and Dieter Fox and Wolfram Burgard and
  	Frank Dellaert},
  title = {Robust {M}onte {C}arlo Localization for Mobile Robots},
  journal = {Artificial Intelligence},
  year = {20

license: MIT

license_type: permissive

branch_name: refs/heads/master

gha_license_id: MIT

extension: bib