text:
ue;}
  }

@inproceedings{ jordan_pw-dieugenio:1993a,
 author = {Pamela Jordan and Barbara Di Eugenio},
 title = {Control and Initiative in Collaborative Problem Solving
		Dialogues},
 booktitle = {Working Notes of the {AAAI} Spring Symposium on
 	Computational Models for Mixed Initiative},
 year = {199?},
 organization = {American Association for Artificial Intelligence},
 address = {Menlo Park, CA},
 rtnote = {In RHT Collection.},
 missinginfo = {pages},
 topic = {discourse;discourse-initiative;}
 }

@incollection{ jordan_pw-etal:2003a,
  author = {Pamela W. Jordan and Maxim Makatchev and Umarani
    		Pappuswamy},
  title = {Extended Explanations as Student Models
		for Guiding Tutorial Dialogue},
  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 = {71--78},
  address = {Menlo Park, California},
  topic = {nl-generation;computational-dialogue;intelligent-tutoring;}
  }

@inproceedings{ jordan_pw-thomason_rh:1995a,
  author = {Pamela Jordan and Richmond Thomason},
  title = {Empirical Methods in Discourse: Limits and Prospects},
  booktitle = {1995 Workshop on Emipirical Methods in Discourse},
  year = {1995},
  organization = {AAAI},
  topic = {discourse;discourse-simulation;pragmatics;}
 }

@inproceedings{ jordan_pw-thomason_rh:1996a,
  author = {Pamela Jordan and Richmond Thomason},
  title = {Refining the Categories of Miscommunication},
  booktitle = {Proceedings of the {AAAI} Workshop on Detecting,
     Repairing, and Preventing Human-Machine Miscommunication},
  year = {1996},
  organization = {AAAI},
  topic = {discourse;miscommunication;pragmatics;}
 }

@inproceedings{ jordan_pw-walker_ma:1996a,
  author =  {Pamela W. Jordan and Marilyn A. Walker},
  title = {Deciding to Remind During Collaborative Problem Solving:
  	Empirical Evidence for Agent Strategies},
  booktitle = {Proceedings of the Thirteenth National Conference on
              Artificial Intelligence and the Eighth Innovative
	      Applications of Artificial Intelligence  Conference,
	      Vol. 2},
  year = {1996},
  editor = {William J. Clancey and Dan Weld},
  pages = {16--23},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address =  {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {discourse-planning;limited-attention;pragmatics;}
  }

@article{ jorgensen_j1:1996a,
  author = {J. Jorgensen},
  title = {The Functions of Sarcastic Irony in Speech},
  journal = {Journal of Pragmatics},
  year = {1996},
  volume = {26},
  pages = {613--634},
  missinginfo = {A's 1st name, number},
  topic = {irony;cognitive-psychology;}
  }

@article{ jorgensen_j1-etal:1984a,
  author = {J. Jorgensen and G.A. Miller and Dan Sperber},
  title = {Test of the Mention Theory of Irony},
  journal = {Journal of Experimental Psychology: General},
  year = {1984},
  volume = {113},
  number = {1},
  pages = {112--120},
  missinginfo = {A's 1st name},
  topic = {irony;cognitive-psychology;}
  }

@article{ jorgensen_j2:1937a,
  author = {J{\o}rgen J{\o}rgensen},
  journal = {Erkenntnis},
  pages = {288--296},
  title = {Imperatives and Logic},
  volume = {7},
  year = {1937--1938},
  topic = {imperatives;imperative logic;}
  }

@article{ josang:2002a,
  author = {Audun J{\o}sang},
  title = {The Consensus Operator for Combining Beliefs},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {141},
  number = {1--2},
  pages = {157--170},
  topic = {Dempster-Shafer-theory;belief-revision;}
  }

@book{ joseph:1982a,
  editor = {Brian Joseph},
  title = {Grammatical Relations and Relational Grammar},
  publisher = {Linguistics Department, The Ohio State University},
  year = {1982},
  address = {Columbus, Ohio},
  note = {Working Papers in Linguistics, No. 26},
  rtnote = {In RHT Collection.  LLP edited shelves.},
  contentnote = {TC:
     1. Catherine A. Jolley, "On the {P}lains {C}ree Passive:
     		An Analysis of Syntactic and Lexical Rules", pp. 1--33
     2. Amy Zaharlick, "Tanoan Studies: Passive Sentences in
     		{P}icuris", pp. 34--48
     3. Brian D. Joseph, "On Some Advancements to Subject in
     		{G}reek", pp. 49--58
     4. John A, Nerbonne, Jr., "Some Passives Not Characterized
     		by Universal Rules", pp. 59--92
     5. Brian D. Joseph, "A Note on the Oblique Law", pp. 93--101
     6. David R. Dowty, "More on the Categorical Analysis of
     		Grammatical Relations", pp. 102--133
  },
 topic = {grammatical-relations;relational-grammar;}
 }

@inproceedings{ josephson_jr:1990a,
  author = {John R. Josephson},
  title = {On the `Logical Form' of Abduction},
  booktitle = {Working Notes, {AAAI} Spring Symposium on Automated
  	Deduction},
  year = {1990},
  editor = {P. O'Rorke},
  pages = {140--144},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  missinginfo = {E's 1st name},
  topic = {abduction;}
  }

@techreport{ josephson_jr:1990b,
  author = {John R. Josephson},
  title = {Spoken Language Understanding as Layered Abductive
  	Inference},
  institution = {The Ohio State University},
  year = {1990b},
  address = {Columbus, Ohio},
  note = {{LAIR} Technical Report.},
  missinginfo = {number},
  topic = {abduction;speech-recognition;}
  }

@article{ josephson_jr-etal:1987a,
  author = {John R. Josephson and B. Chandrasekaran and J. W. Smith
  	and M. C. Tanner},
  title = {A Mechanism for Forming Composite Explanatory Hypotheses},
  journal = {{IEEE} Transactions on Systems, Man and Cyberbetics},
  year = {1987},
  volume = {17},
  pages = {445--454},
  missinginfo = {number},
  topic = {abduction;}
  }

@book{ josephson_jr-josephson_sg:1994a,
  editor = {John R. Josephson and Susan G. Josephson},
  title = {Abductive Inference: Computation, Philosophy, Technology},
  publisher = {Cambridge University Press},
  year = {1994},
  address = {Cambridge, England},
  isbn = {0521434610},
  rtnote = {UMich Graduate Library, Call No: BC 199 .A26 A23 1994},
  rtnote = {In RHT collection.  AI shelves.},
  topic = {abduction;}
 }

@incollection{ joshi_ak:1982a,
  author = {Arivind Joshi},
  title = {Mutual Beliefs in Question-Answer Systems},
  booktitle = {Mutual Knowledge},
  publisher = {Academic Press},
  year = {1982},
  editor = {N.V. Smith},
  pages = {181--197},
  address = {London},
  topic = {mutual-belief;discourse;pragmatics;}
  }

@unpublished{ joshi_ak:1985b,
  author = {Arivind Joshi},
  title = {Processing of Sentences with Intra-Sentential Code-Switching},
  year = {1985},
  note = {Unpublished manuscript, Department of Computer and
  	Information Science, University of Pennsylvania.},
  rtnote = {In RHT collection.},
  topic = {code-switching;}
  }

@incollection{ joshi_ak:1987a,
  author = {Aravind K. Joshi},
  title = {The Relevance of Tree Adjoining Grammar to Generation},
  booktitle = {Natural Language Generation: New Results in Artificial
  	Intelligence},
  year = {1987},
  editor = {Gerard Kempen},
  publisher = {Kluwer Academic Publishers},
  address = {Dordrecht},
  note = {Also available as Technical Report MS-CIS-87-16, Computer and
  	Information Science, University of Pennsylvania.},
  topic = {nl-generation;TAG-grammar;}
}

@incollection{ joshi_ak:1987b,
  author = {Arivind Joshi},
  title = {An Introduction to Tree Adjoining Grammars},
  booktitle = {Mathematics of Language},
  publisher = {John Benjamins},
  year = {1987},
  editor = {Alexis Manaster-Ramer},
  missinginfo = {pages},
  address = {Amsterdam},
  topic = {TAG-grammar;}
  }

@incollection{ joshi_ak:1994a,
  author = {Aravind K. Joshi},
  title = {Some Recent Trends in Natural Language Processing},
  booktitle = {Current Issues in Computational Linguistics: Essays in
  	Honour of {D}on {W}alker},
  publisher = {Giardini Editori e Stampatori and Kluwer Academic
  	Publishers},
  year = {1994},
  editor = {Antonio Zampolli and Nicoletta Calzolari and Martha Palmer},
  pages = {491--501},
  address = {Pisa and Dordrecht},
  topic = {nlp-survey;parsing-algorithms;parsing-complexity;
  	grammar-formalisms;statistical-nlp;}
  }

@article{ joshi_ak:1998a,
  author = {Arivind K. Joshi},
  title = {Role of Constrained Computational Systems in
  	Natural Language Processing},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {103},
  number = {1--2},
  pages = {117--132},
  topic = {TAG-grammar;centering;finite-state-nlp;}
  }

@article{ joshi_ak:1998b,
  author = {Arivind Joshi},
  title = {Relationship between Natural Language Processing and {AI}:
  	Role of Constrained Formal-Computational Systems},
  journal = {The {AI} Magazine},
  year = {1998},
  volume = {19},
  number = {3},
  pages = {95--107},
  topic = {nlp-survey;TAG-grammar;finite-state-nlp;}
  }

@article{ joshi_ak-etal:1975a,
  author = {Aravind K. Joshi and Leon S. Levy and Masako Takahashi},
  year	= {1975},
  title	= {Tree Adjunct Grammars},
  journal = {Journal of the Computer and System Sciences},
  volume = {10},
  number = {1},
  pages	= {136--163},
  topic = {TAG-grammar;}
  }

@book{ joshi_ak-etal:1981a,
  editor = {Arivind Joshi and Bonnie Webber and Ivan Sag},
  title = {Elements of Discourse Understanding},
  publisher = {Cambridge University Press},
  year = {1981},
  address = {Cambridge, England},
  ISBN = {0521233275},
  rtnote = {UMich Graduate Library Call No: P302 .E41},
  topic = {discourse;pragmatics;}
 }

@inproceedings{ joshi_ak-etal:1984a,
  author = {Aravind Joshi and Bonnie Lynn Webber and Ralph M. Weischedel},
  title = {Living up to Expectations: Computing Expert Responses},
  booktitle = {Proceedings of the Fourth National Conference on
              Artificial Intelligence},
  year = {1984},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  missinginfo = {editor,pages},
  rtnote = {Look at this},
  rtnote = {pragmatics-course;},
  topic = {nl-interpretation;discourse;implicature;
  	pragmatics;}
  }

@incollection{ joshi_ak-etal:1999a,
  author = {Arivind K. Joshi and Seth Kulick and Natasha
	Kurtonina},
  title = {Semantic Composition for Partial Proof Trees},
  booktitle = {Proceedings of the Twelfth {A}msterdam Colloquium},
  publisher = {ILLC/Department of Philosophy, University
		of Amsterdam},
  year = {1999},
  editor = {Paul Dekker},
  pages = {157--162},
  address = {Amsterdam},
  topic = {nl-semantics;higher-order-logic;hybrid-modal-logics;}
  }

@inproceedings{ joshi_ak-kuhn_s:1979a,
  author = {Arivind Joshi and Steve Kuhn},
  title = {Centered Logic: The Role of Entity Centered Sentence
  	Representation in Natural Language Inferencing},
  booktitle = {Proceedings of the Seventh International Joint
  	Conference on Artificial Intelligence},
  year = {1979},
  editor = {Bruce Buchanan},
  pages = {435--439},
  publisher = {International Joint Conference on Artificial Intelligence},
  address = {Menlo Park, California},
  topic = {anaphora;discourse;centering;}
 }

@article{ joshi_ak-kulick:1997a,
  author = {Arivind K. Joshi and Seth Kulick},
  title = {Partial Proof Trees as Building Blocks for a
		Categorial Grammar},
  journal = {Linguistics and Philosophy},
  year = {1997},
  volume = {20},
  number = {6},
  pages = {637--667},
  topic = {categorial-grammar;}
  }

@incollection{ joshi_ak-kulick:1997b,
  author = {Aravind K. Joshi and Seth Kulick},
  title = {Partial Proof Trees, Resource Sensitive Logics, and
  	Constraints},
  booktitle = {{LACL}'96: First International Conference on
      Logical Aspects of Computational Linguistics},
  publisher = {Springer-Verlag},
  year = {1997},
  editor = {Christian Retor/'e},
  pages = {21--42},
  address = {Berlin},
  topic = {logic-and-computational-linguistics;}
  }

@article{ joshi_ak-levy_ls:1977a,
  author = {Arivind Joshi and Leon S. Levy},
  title = {Constraints on Structural Descriptions: Local Transformations},
  journal = {SIAM J. Comput.},
  year = {1977},
  volume = {6},
  number = {2},
  pages = {272--284},
  missinginfo = {Full j name},
  topic = {formal-language-theory;}
  }

@inproceedings{ joshi_ak-weinstein_s1:1979a,
  author = {Arivind K. Joshi and Scott Weinstein},
  title = {Control of Inference: Role of Some Aspects of Discourse
  	Structure---Centering},
  booktitle = {Proceedings of the Seventh International Joint
  	Conference on Artificial Intelligence},
  year = {1981},
  editor = {Patrick J. Hayes},
  pages = {385--387},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  topic = {anaphora;discourse;centering;}
 }

@incollection{ joshi_ak-weinstein_s1:1997a,
  author = {Arivind Joshi and Scott Weinstein},
  title = {Formal Systems for Complexity and Control of Discourse: A
  	Reprise and Some Hints},
  booktitle = {Centering Theory in Discourse},
  publisher = {Oxford University Press},
  year = {1997},
  editor = {Marilyn A. Walker and Arivind K. Joshi and Ellen Prince},
  pages = {31--38},
  address = {Oxford},
  topic = {anaphora-resolution;discourse;pragmatics;centering;}
  }

@inproceedings{ joskowicz:1987a1,
  author = {Leo Joskowicz},
  title = {Shape and Function in Mechanical Devices},
  booktitle = {Proceedings of the Sixth National Conference on
              Artificial Intelligence},
  year = {1987},
  editor = {Kenneth Forbus and Howard Shrobe},
  pages = {611--615},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, CA},
  xref = {Republication:  joskowicz:1987a2.},
  topic = {qualitative-physics;qualitative-reasoning;}
  }

@incollection{ joskowicz:1987a2,
  author = {Leo Joskowicz},
  title = {Shape and Function in Mechanical Devices},
  booktitle = {Qualitative Reasoning about Physical Systems},
  publisher = {Morgan Kaufmann},
  year = {1990},
  editor = {Daniel S. Weld and Johan de Kleer},
  pages = {575--579},
  address = {San Mateo, California},
  xref = {Republication of: joskowicz:1987a1.},
  topic = {qualitative-physics;qualitative-reasoning;}
  }

@inproceedings{ joskowicz:1989a1,
  author = {Leo Joskowicz},
  title = {Simplification and Abstraction of Kinematic Behaviors},
  booktitle = {Proceedings of the Eleventh International Joint
  	Conference on Artificial Intelligence},
  year = {1989},
  editor = {N.S. Sridharan},
  pages = {597--602},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, CA},
  xref = {Republication: joskowicz:1989a2.},
  topic = {qualitative-physics;qualitative-reasoning;abstraction;}
  }

@incollection{ joskowicz:1989a2,
  author = {Leo Joskowicz},
  title = {Simplification and Abstraction of Kinematic Behaviors},
  booktitle = {Qualitative Reasoning about Physical Systems},
  publisher = {Morgan Kaufmann},
  year = {1990},
  editor = {Daniel S. Weld and Johan de Kleer},
  pages = {597--609},
  address = {San Mateo, California},
  xref = {Republication of: joskowicz:1989a1.},
  topic = {qualitative-physics;qualitative-reasoning;abstraction;}
  }

@article{ joskowicz-sacks_ep:1991a,
  author = {Leo Joskowicz and Elisha P. Sacks},
  title = {Computational Kinematics},
  journal = {Artificial Intelligence},
  year = {1991},
  volume = {51},
  number = {1--3},
  pages = {381--416},
  topic = {qualitative-physics;}
  }

@phdthesis{ joslin:1996a,
  author = {David Joslin},
  title = {Passive and Active Decision Postponement in Plan
  	Generation},
  school = {Intelligent Systems Program, University of Pittsburgh},
  year = {1996},
  type = {Ph.{D}. Dissertation},
  address = {Pittsburgh, Pennsylvania},
  rtnote = {In RHT collection.},
  topic = {planning;planning-systems;constraint-satisfaction;}
 }

@article{ joslin-roach:1989a,
  author = {David Joslin and John Roach},
  title = {A Theoretical Analysis of Conjunctive-Goal Problems},
  journal = {Artificial Intelligence},
  year = {1989},
  volume = {41},
  number = {1},
  pages = {97--106},
  topic = {planning;conjunctive-goals;}
  }

@incollection{ jowsey:1987a,
  author = {Einar Jowsey},
  title = {Montague Grammar and First-Order Logic},
  booktitle = {Working Papers in Cognitive Science, Volume 1: Categorial
  	Grammar, Unification Grammar and Parsing},
  publisher = {Centre for Cognitive Science, University of Edinburgh},
  year = {1987},
  editor = {Nicholas Haddock and Ewan Klein and Glyn Morrill},
  pages = {143--194},
  address = {Edinburgh},
  topic = {Montague-grammar;semantic-interpretation-algorithms;}
  }

@book{ joyce:1999a,
  author = {James M. Joyce},
  title = {The Foundations of Causal Decision Theory},
  publisher = {Cambridge University Press},
  year = {1999},
  address = {Cambridge, England},
  rtnote = {In RHT collection.  LL Shelves.},
  xref = {Reviews: levi_i:2000a, janusz:2001a.},
  topic = {causal-decision-theory;}
 }

@incollection{ joyce:2000a,
  author = {James M. Joyce},
  title = {Why We Still Need the Logic of Decision},
  booktitle = {{PSA}'1998: Proceedings of the 1998 Biennial Meetings
  	of the Philosophy of Science Association, Part {II}:
	Symposium Papers},
  publisher = {Philosophy of Science Association},
  year = {2000},
  editor = {Don A. Howard},
  pages = {S1--S13},
  address = {Newark, Delaware},
  topic = {decision-theory;}
  }

@unpublished{ joyce:2004a,
  author = {Jim Joyce},
  title = {Probabilistic Belief Revision and the Law of Conditional
  		Excluded Middle},
  year = {2004},
  note = {Unpublished manuscript, Philosophy Department, University
  		of Michigan},
  rtnote = {In RHT collection.},
  topic = {conditionals;probability;belief-revision;}
  }

@article{ joyve:1998a,
  author = {Jame Joyve},
  title = {A Nonpragmatic Vindication of Probabilism},
  journal = {Philosophy of Science},
  year = {1998},
  volume = {65},
  pages = {575--603},
  xref = {Commentary: maher:2002a},
  topic = {foundations-of-probability;}
  }

@book{ juarrero:1999a,
  author = {Alicia Juarrero},
  title = {Dynamics in Action: Intentional Behavior as a Complex
  	System},
  publisher = {The {MIT} Press},
  year = {1999},
  address = {Cambridge, Massachusetts},
  xref = {Review: khalidi:2001a.},
  topic = {action;intention;nonlinear-systems;emergence;}
 }

@book{ jubien:1993a,
  author = {Michael Jubien},
  title = {Ontology, Modality, and the Fallacy of Reference},
  publisher = {Cambridge University Press},
  year = {1993},
  address = {Cambridge, England},
  xref = {Review of: sidner_t:1999a.},
  topic = {philosophical-ontology;essentialism;reference;}
 }

@incollection{ jubien:1993b,
  author = {Michael Jubien},
  title = {Proper Names},
  booktitle = {Philosophical Perspectives, Volume 7:
  	Language and Logic},
  publisher = {Blackwell Publishers},
  year = {1993},
  editor = {James E. Tomberlin},
  pages = {487--504},
  address = {Oxford},
  note = {Also available at http://www.jstor.org/journals/.},
  topic = {semantics-of-proper-names;proper-names;reference;
  	identity;}
  }

@incollection{ jucker:1992a,
  author = {Andreas H. Jucker},
  title = {Conversation: Structure or Process},
  booktitle = {(On) {S}earle on Conversation},
  publisher = {John Benjamins Publishing Company},
  year = {1992},
  editor = {Herman Parret and Jef Verschueren},
  pages = {76--90},
  address = {Amsterdam},
  rtnote = {In RHT collection.},
  topic = {foundations-of-pragmatics;discourse-analysis;pragmatics;}
 }

@inproceedings{ juettner-rentschler:2001a,
  author = {Martin Juettner and Ingo Rentschler},
  title = {Context Dependency of Pattern-Category Learning},
  booktitle = {Modeling and Using Context: Third International and
  	Interdisciplinary Conference, Context 2001},
  publisher = {Springer-Verlag},
  year = {2001},
  editor = {Varol Akman and Paolo Bouquet and Richmond Thomason
  	and Roger A. Young},
  pages = {210--220},
  address = {Berlin},
  topic = {context;}
  }

@book{ juffs:1996a,
  author = {Alan Juffs},
  title = {Learnability and the Lexicon},
  publisher = {John Benjamins Publishing Co.},
  year = {1996},
  address = {Amsterdam},
  topic = {L1-language-learning;L2-language-learning;universal-grammar;}
 }

@incollection{ juha:1998a,
  author = {Patrick Juha},
  title = {Cross-Entropy and Linguistic Typology},
  booktitle = {New Methods in Language Processing and Computational
  		Language Learning},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {David M.W. Powers},
  pages = {141--149},
  address = {Somerset, New Jersey},
  topic = {statistical-nlp;typology;}
  }

@article{ juhl:1995a,
  author = {Cory Juhl},
  title = {Is {G}old-{P}utnam Diagonalization Complete?},
  journal = {Journal of Philosophical Logic},
  year = {1995},
  volume = {24},
  number = {2},
  pages = {117--138},
  topic = {induction;}
  }

@article{ junghanns-schaeffer:2001a,
  author = {Andreas Junghanns and Jonathan Schaeffer},
  title = {Sokoban: Enhancing General Single-Agent Search Methods
  	Using Domain Knowledge},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {129},
  number = {1--2},
  pages = {218--251},
  topic = {search;iterative-deepening;A*-algorithm;}
  }

@inproceedings{ junker:2002a,
  author = {Ulrich Junker},
  title = {Preference-Based Search and Multi-Criteria Optimization},
  booktitle = {Proceedings of the Eighteenth National Conference on
              Artificial Intelligence},
  year = {2002},
  editor = {Rina Dechter and Michael Kearns and Richard S. Sutton},
  pages = {34--40},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {search;constraint-satisfaction;preferences;}
  }

@incollection{ junker-brewka:1991a,
  author = {Ulrich Junker and Gerd Brewka},
  title = {Handling Partially Ordered Defaults in {TMS}},
  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 = {211--218},
  address = {Berlin},
  rtnote = {In RHT collection.},
  topic = {truth-maintenance;}
  }

@inproceedings{ junker-konolige:1990a,
  author = {Ulrich Junker and Kurt Konolige},
  title = {Computing the Extensions of Autoepistemic and Default
  	Logics with a Truth Maintenance System},
  booktitle = {Proceedings of the Eighth National Conference on
              Artificial Intelligence},
  year = {1990},
  editor = {Thomas Dietterich and William Swartout},
  pages = {278--283},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, CA},
  topic = {nonmonotonic-reasoning;autoepistemic-logic;default-logic;
  	nonmonotonic-reasoning-algorithms;}
  }

@book{ junqua-vannoord:2001a,
  editor = {Jean-Claude Junqua and Gertjan van Noord},
  title = {Robustness in Language and Speech Technology},
  publisher = {Kluwer Academic Publishers},
  year = {2000},
  address = {Dordrecht},
  ISBN = {0-7923-6790-1},
  xref = {Review: carroll:2001a.},
  topic = {nlp-technology;}
 }

@incollection{ juola:1998a,
  author = {Patrick Juola},
  title = {Cross-Entropy and Linguistic Typology},
  booktitle = {Proceedings of the Joint Conference on New Methods in
  	Language Processing and Computational Language Learning},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Jill C. Burstein and Claudia Leacock},
  pages = {141--149},
  address = {Somerset, New Jersey},
  topic = {information-theory;corpus-linguistics;historical-linguistics;
  	linguistic-typology;statistical-nlp;}
  }

@article{ juola:2004a,
  author = {Patrick Juola},
  title = {Review of \emph{{P}robabilistic Linguistics}, edited by
  		{R}ens {B}od and {J}ennifer {H}ay and {S}teanie {J}annedy},
  journal = {Computational Linguistics},
  year = {2004},
  volume = {30},
  number = {1},
  pages = {112--113},
  xref = {Review of: bod-etal:2003a.},
  topic = {foundations-of-linguistics;probabilistic-parsing;}
  }

@incollection{ jurafsky-etal:1998a,
  author = {Daniel Jurafsky and Elizabeth Shriberg and Barbara Fox
		and Traci Curl},
  title = {Lexical, Prosodic, and Syntactic Cues for Dialog Acts},
  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 = {114--120},
  address = {Somerset, New Jersey},
  topic = {discourse-cue-words;discourse-structure;prosody;}
  }

@book{ jurafsky-martin_j:2000a,
  author = {Daniel Jurafsky and James H. Martin},
  title = {Speech and Language Processing: An Introduction to
  	Natural Language Processing, Computational Linguistics,
	and Speech Recognition},
  publisher = {Prentice Hall},
  year = {2000},
  address = {Englewood Cliffs, New Jersey},
  ISBN = {0130950696},
  rtnote = {http://www.cs.colorado.edu/\user{}martin/slp.html},
  rtnote = {In RHT Collection.  AI Shelves.},
  rtnote = {UMich Media Union Library, P98 .J871 2000.},
  xref = {Review: teller:2000a.},
  topic = {nlp-intro;}
 }

@article{ jurius-deswart_h2:2001a,
  author = {Herman Jurius and Harrie de Swart},
  title = {Implication with Possible Exceptions},
  journal = {Journal of Symbolic Logic},
  year = {2001},
  volume = {66},
  number = {2},
  pages = {517--535},
  topic = {nonmonotonic-logic;model-preference;}
  }

@article{ jussien-lhomme:2002a,
  author = {Narendra Jussien and Olivier Lhomme},
  title = {Local Search with Constant Propagation and Conflict-Based
  	Heuristics},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {139},
  number = {1},
  pages = {21--45},
  topic = {search;conflict-resolution;constraint-propagation;}
  }

@incollection{ just-etal:1996a,
  author = {Marcel Adam Just and Patricia A. Carpenter and Darold D.
  	Hemphill},
  title = {Constraints on Processing Capacity:  Architectural or
  	Implementational?},
  booktitle = {Mind Matters: A Tribute to {A}llen {N}ewell},
  publisher = {Lawrence Erlbaum Associates, Inc.},
  year = {1996},
  editor = {David M. Steier and Tom M. Mitchell},
  address = {Mahwah, New Jersey},
  pages = {141--178},
  topic = {cognitive-architectures;cognitive-psychology;}
  }

@article{ justice:2001a,
  author = {John Justice},
  title = {On Sense and Reflexivity},
  journal = {The Journal of Philosophy},
  year = {2001},
  volume = {98},
  number = {7},
  pages = {351--378},
  topic = {proper-names;intensionality;sense-reference;}
  }

@article{ justus:2009a,
  author = {James Justus},
  title = {Review of \emph{The {C}ambridge Companion to {C}arnap},
  		edited by {M}ichael {F}riedman and {R}ichard {C}reath},
  journal = {The Bulletin of Symbolic Logic},
  year = {2009},
  volume = {15},
  number = {4},
  pages = {428--431},
  xref = {Review of: friedman_m2-creath:2007a},
  topic = {Carnap;}
  }

@article{ kabanza-etal:1997a,
  author = {F. Kabanza and M. Barbeau and R. St-Denis},
  title = {Planning Control Rules for Reactive Agents},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {95},
  number = {1},
  pages = {67--113},
  topic = {planning;reactive-planning;}
  }

@incollection{ kac:1976a,
  author = {Michael B. Kac},
  title = {Hypothetical Constructs in Syntax},
  booktitle = {Assessing Linguistic Arguments},
  publisher = {Hemisphere Publishing Corporation},
  year = {1976},
  editor = {Jessica R. Wirth},
  pages = {49--83},
  address = {Washington, D.C.},
  topic = {philosophy-of-linguistics;foundations-of-linguistics;}
  }

@article{ kac:1992a,
  author = {Michael B. Kac},
  title = {A Simplified Theory of {B}oolean Semantic Types},
  journal = {Journal of Semantics},
  year = {1992},
  volume = {9},
  number = {1},
  pages = {53--93},
  topic = {nl-semantics;boolean-algebras;}
  }

@book{ kadane-etal:1999a,
  author = {Joseph B. Kadane and Mark J. Schervish and Teddy
  	Seidenfeld},
  title = {Rethinking the Foundations of Statistics},
  publisher = {Cambridge University Press},
  year = {1999},
  address = {Cambridge, England},
  topic = {foundations-of-statistics;Bayesian-statistics;}
 }

@article{ kadane-etal:2008a,
  author = {Joseph B. Kadane and Mark Schervish and Teddy Seidenfeld},
  title = {Is Ignorance Bliss?},
  journal = {The Journal of Philosophy},
  year = {2008},
  volume = {105},
  number = {1},
  pages = {5--36},
  topic = {information;decision-theory;}
  }

@article{ kadesch:1986a,
  author = {R.R. Kadesch},
  title = {Subjective Inference with Multiple Evidence},
  journal = {Artificial Intelligence},
  year = {1986},
  volume = {28},
  number = {3},
  pages = {333--341},
  acontentnote = {Abstract:
     The analysis of a number of pieces of evidence supporting a
     single hypothesis is undertaken within a Bayesian framework. A
     new relevance definition is introduced that takes advantage of
     the linear relationship existing between the posterior
     probability of the hypothesis and that of a single piece of
     evidence.  Two different simplifying assumptions lead to
     expressions for the posterior probability of the hypothesis
     based on revised probabilities of all the evidence. The first
     assumption is one of mutual independence of each piece of
     evidence from all other evidence. The second assumption is one
     of independence of the relevance of each piece of evidence to
     the hypothesis from the probabilities of the remaining evidence.
     Most important, expressions for upper bounds on the input
     relevances are given that guarantee the consistency of the
     resulting posterior for the hypothesis.},
  topic = {relevance;Bayesian-reasoning;probabilistic-reasoning;}
  }

@phdthesis{ kadmon:1988a1,
  author = {Nirit Kadmon},
  title = {On Unique and Non-Unique Reference and Asymmetric
  		Quantification},
  school = {Linguistics Department, University of Massachusetts
  		at Amherst},
  year = {1988},
  type = {Ph.{D}. Dissertation},
  address = {Amherst, Massachusetts},
  xref = {Book publication: kadmon:1988a2.},
  topic = {nl-semantics;reference;anaphora;}
 }

@book{ kadmon:1988a2,
  author = {Nirit Kadmon},
  title = {On Unique and Non-Unique Reference and Asymmetric
	Quantification},
  publisher = {Garland Publishing Company},
  year = {1988},
  address = {New York},
  xref = {Dissertation: kadmon:1988a1.},
  topic = {nl-semantics;reference;anaphora;}
 }

@article{ kadmon:1990a,
  author = {Nirit Kadmon},
  title = {Uniqueness},
  journal = {Linguistics and Philosophy},
  year = {1990},
  volume = {13},
  number = {3},
  pages = {273--324},
  topic = {nl-semantics;nl-quantifiers;anaphora;uniqueness;donkey-anaphora;
  	definiteness;sloppy-identity;}
  }

@book{ kadmon:2001a,
  author = {Nirit Kadmon},
  title = {Formal Pragmatics},
  publisher = {Blackwell Publishers},
  year = {2001},
  address = {Oxford},
  ISBN = {0-631-20120-3 (pbk)},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {pragmatics;definiteness;indefiniteness;
  	discourse-representation-theory;presupposition;focus;
	accommodation;}
 }

@article{ kadmon-landman:1993a,
  author = {Nirit Kadmon and Fred Landman},
  title = {Any},
  journal = {Linguistics and Philosophy},
  year = {1993},
  volume = {16},
  number = {4},
  pages = {353--422},
  topic = {nl-quantifiers;polarity;}
  }

@incollection{ kaebling:1987b,
  author = {Leslie Kaebling},
  title = {An Architecture for Intelligent Reactive Systems},
  booktitle = {Reasoning about Actions and Plans, Proceedings of the 1986
   Workshop at Timberline, Oregon},
  publisher = {Morgan Kaufmann},
  pages = {395--410},
  year = {1987},
  topic = {reactive-planning;}
 }

@article{ kaebling-etal:1998a,
  author = {Leslie Pack Kaebling and Michael L. Littman and
  	Anthony R. Cassandra},
  title = {Planning and Acting in Partially Observable Stochastic
  	Domains},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {101},
  number = {1--2},
  pages = {99--134},
  topic = {planning;uncertainty-in-AI;Markov-decision-processes;}
  }

@article{ kaelbling-rosenschein_sj:1990a,
  author = {Leslie Kaelbling and Stanley J. Rosenschein},
  title = {Action and Planning in Embedded Agents},
  journal = {Robotics and Autonomous Systems},
  volume = {6},
  pages = {35--48},
  year = {1990},
  topic = {cognitive-robotics;}
    }

@book{ kager:1999a,
  author = {Ren\'e Kager},
  title = {Optimality Theory},
  publisher = {Cambridge University Press},
  year = {1999},
  address = {Cambridge, England},
  ISBN = {0-521-58980-0},
  xref = {Review: eisner:2000a.},
  topic = {optimality-theory;}
 }

@article{ kagiromano:1977a,
  author = {U. K\"agi-Romano},
  title = {Quantum Logic and Generalized Probability Theory},
  journal = {Journal of Philosophical Logic},
  year = {1977},
  volume = {6},
  number = {4},
  pages = {455--462},
  topic = {quantum-logic;probability;}
  }

@incollection{ kahle:1999a,
  author = {Reinhard Kahle},
  title = {A Proof Theoretic View of Intensionality},
  booktitle = {Proceedings of the Twelfth {A}msterdam Colloquium},
  publisher = {ILLC/Department of Philosophy, University
		of Amsterdam},
  year = {1999},
  editor = {Paul Dekker},
  pages = {163--168},
  address = {Amsterdam},
  topic = {proof-theory-intensionality;}
  }

@article{ kahle:2001a,
  author = {Reinhard Kahle},
  title = {Truth in Applicative Theories},
  journal = {Studia Logica},
  year = {2001},
  volume = {68},
  number = {1},
  pages = {103--128},
  topic = {truth;Frege-structures;}
  }

@book{ kahle:2005a,
  editor = {Reinhard Kahle},
  title = {Intensionality},
  publisher = {A.K. Peters, Ltd.},
  year = {2005},
  address = {Wellesley, Massachusetts},
  ISBN = {1-56881-268-X},
  contentnote = {TC:
     1. Thomas Forster, "The Modal Aether", pp. 1--19
     2. Volker Halbach, Hannes Leitgeb, and Philip Welch, "Possible
     		Worlds Semantics for Predicates", pp. 20--41
     3. Wilfrid Hodges, "A Context Principle", pp. 42--59
     4. Marcus Kracht and Oliver Kutz, "The Semantics of Modal
     		 Logic {II}.  Modal Individuals Revisited", pp. 60--96
     5. Michiel van Lambargen and Fritz Hamm, "Intensionality and
     		Coercion", pp. 97--122
     6. Karl-Georg Niebergall, "Intensionality in Philosophy and
     		Metamathematics", pp. 123--159
     7. Andreja Prijatelj, "Representation Theorem for Models of
     		Dynamic Intensional Logic", pp. 160--173
     8. Krister Segerberg, "Intension, Intention", pp. 174--186
     9. Kai Frederick Wehmeier, "Modality, Mood, and
     		Description", pp. 187--216
    10. Thomas Ede Zimmerman, "Coercion vs. Indeterminacy in Opaque
    		Verbs", pp. 217--285
  },
 rtnote = {In RHT Collection.  Logic shelves.},
 topic = {intensionality;}
 }

@article{ kahn_ch:1966a,
  author = {Charles H. Kahn},
  title = {The {G}reek Verb `to Be' and the Concept of Being},
  journal = {Foundations of Language},
  year = {1966},
  volume = {2},
  number = {3},
  pages = {245--265},
  rtnote = {In RHT collection.},
  topic = {ancient-philosophy;philosophical-ontology;}
  }

@article{ kahn_k-gorry:1977a,
  author = {Kenneth Kahn and G. Anthony Gorry},
  title = {Mechanizing Temporal Knowledge},
  journal = {Artificial Intelligence},
  year = {1977},
  volume = {9},
  number = {1},
  pages = {87--108},
  acontentnote = {Abstract:
     The importance that an understanding of time plays in many
     problem-solving situations requires that intelligent programs be
     equipped with extensive temporal knowledge.  This paper discusses
     one route to that goal, namely the construction of a time
     specialist, a program knowledgable about time in general which
     can be used by a higher level program to deal with the temporal
     aspects of its problem-solving.  Some examples are given of such
     a use of a time specialist.  The principal issues addressed in
     this paper are how the time specialist organizes statements
     involving temporal references, checks them for consistency, and
     uses them in answering questions.},
  topic = {temporal-reasoning;}
  }

@unpublished{ kahneman-etal:1984a,
  author = {Daniel Kahneman and R. Beyth-Marom and Z. Lanir},
  title = {Probabilistic Forecasting as Decision-{AID}},
  year = {1984},
  note = {Working Paper, The Hebrew University.},
  topic = {decision-making;}
  }

@article{ kahneman-lovallo:1993a,
  author = {Daniel Kahneman and D. Lovallo},
  title = {Timid Choices and Bold Forecasts: A Cognitive Perspective
  	on Risk Taking},
  journal = {Management Science},
  year = {1993},
  volume = {39},
  pages = {17--31},
  topic = {risk;}
  }

@article{ kahneman-tversky:1979a,
  author = {Daniel Kahneman and Amos Tversky},
  title = {Prospect Theory: An Analysis of Decision Under Risk},
  journal = {Econometrica},
  volume = {47},
  pages = {263--291},
  year = {1979},
  topic = {decision-making;practical-reasoning;risk;}
    }

@incollection{ kahramanogullari-thielscher:2003a,
  author = {Ozan Kahramanogullari and Michael Thielscher},
  title = {A Formal Assessment Result for FLuent Calculus},
  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 = {90--97},
  address = {Menlo Park, California},
  topic = {action-formalisms;}
  }

@incollection{ kahrel-etal:1997a,
  author = {Peter Kahrel and Ruthanna Barnet and Geoffrey Leech},
  title = {Towards Cross-Linguistic Standards or Guidelines for the
		Annotation of Corpora},
  booktitle = {Corpus Annotation},
  publisher = {Longman},
  year = {1997},
  editor = {Roger Garside and Geoffrey Leech and Tony McEnery},
  pages = {231--242},
  address = {London},
  topic = {corpus-linguistics;corpus-annotation;}
  }

@article{ kaiser:2000a,
  author = {Ed Kaiser},
  title = {Review of \emph{{E}xtended Finite State Models of Language},
  	by {A}ndr\'as {K}ornai},
  journal = {Computational Linguistics},
  year = {2000},
  volume = {26},
  number = {2},
  pages = {282--285},
  xref = {Review of: kornai:1999a.},
  topic = {finite-state-nlp;}
  }

@book{ kajler:1998a,
  editor = {N. Kajler},
  title = {Computer-Human Interaction in Symbolic Computation},
  publisher = {Springer-Verlag},
  year = {1998},
  address = {Wien},
  contentnote = {TC:
  	1. Alan Wexelblat, "Research Challenges in Gesture: Open
		Issues and Unsolved Problems"
	2. Alistair D.N. Edwards, "Progress in Sign Language Recognition"
	3. Sotaro Kita and Ingeborg van Gijn and and Harry van der
		Hulst, "Movement Phases in Signs and Co-Speech
		Gestures, and Their Transcription by Human Coders"
	4. Axel Kramer, "Classifying Two Dimensional Gestures in
		Interactive Systems"
	5. Shuichi Nobe et al., "Are Listeners Paying Attention to
		the Hand Gestures of an Anthropomorphic Agent?  An
		Evaluation Using a Gaze Tracking Method"
	6. Monica Bordegoni and Franco De Angelis, "High Performance
		Real-Time Gesture Recognition Using Hidden Markov Models"
	7. Gerhard Rigoll and Andreas Kosmala and Stefan
		Eickeler, "Gesture-Based and Haptic Interaction for
		Human Skill Acquisition"
       10. Frank G. Hofmann and Peter Heyer and Günter
       		Hommel, "Velocity Profile Based Recognition of
		Dynamic Gestures with Discrete Hidden {M}arkov Models"
       11. Marcell Assan and Kirsti Grobel, "Video-Based Sign
       		Language Recognition Using Hidden {M}arkov Models"
       12. Sylvie Gibet et al., "Corpus of 3D Natural Movements
       		and Sign Language Primitives of Movement"
       13. Karin Husballe Munk and Erik Granum, "On the Use of
       		Context and a Priori Knowledge in Motion Analysis for
		Visual Gesture Recognition"
       14. Hermann Hienz and Kirsti Grobel, "Automatic estimation of
       		Body Regions from Video Images"
       15. Frank Godenschweger, Thomas Strothotte, and Hubert
       		Wagener, "Rendering Gestures as Line Drawings"
       16. Karen McKenzie Mills and James L. Alty, "Investigating the
       		Role of Redundancy in Multimodal Input Systems"
       17. Martin Fröhlich and Ipke Wachsmuth, "Gesture Recognition
       		of the Upper Limbs: from Signal to Symbol"
       18. Marc Erich Latoschik and Ipke Wachsmuth, "Exploiting
       		Distant Pointing Gestures for Object Selection in a
		Virtual Environment"
       19. Caroline Hummels, Gerda Smets, and Kees Overbeeke, "An
       		Intuitive Two-Handed Gestural Interface for Computer
		Supported Product Design"
       20. Claudia Nölker and Helge Ritter, "Detection of Fingertips
       		in Human Hand Movement Sequences"
       21. Hans-Joachim Boehme et al., "Neural Architecture for
       		Gesture-Based Human-Machine-Interaction"
       22. Jochen Triesch and Christoph von der Malsburg, "Robotic
       		Gesture Recognition"
       23. Axel Christian Varchmin, Robert Rae, and Helge
       		Ritter, "Image Based Recognition of Gaze Direction
		Using Adaptive Methods"
       24. Shan Lu et al., "Towards a Dialogue System Based on
       		Recognition and Synthesis of {J}apanese Sign Language"
       25. Hideaki Matsuo et al., "The Recognition Algorithm
       		with Non-Contact for {J}apanese Sign Language Using
		Morphological Analysis"
       21. Markus Kohler, "Special Topics of Gesture Recognition Applied in
       		Intelligent Home Environments"
       21. Morten Fjeld and Martin Bichsel and Matthias
       		Rauterberg, "{BUILD-IT}: An Intuitive Design Tool
		Based on Direct Object Manipulation"
   },
  ISBN = {3211828435 (alk. paper)},
  rtnote = {UMich Media Union Library, QA 76.9 .H85 C6571 1998.},
  topic = {HCI;}
 }

@article{ kakas-etal:1992a,
  author = {Antonis C. Kakas and Robert A. Kowalski and F. Toni},
  title = {Abductive Logic programming},
  journal = {Logic and Computation},
  year = {1992},
  volume = {2},
  number = {6},
  pages = {719--770},
  topic = {abduction;logic-programming;}
  }

@inproceedings{ kakas-mancarella:1990a,
  author = {Antonis C. Kakas and P. Mancarella},
  title = {Database Updates Through Abduction},
  booktitle = {Proceedings of the Sixteenth {VLKB} Conference},
  year = {1990},
  missinginfo = {A's 1st name, editor, correct title, publisher, address},
  topic = {abduction;database-update;}
  }

@incollection{ kakas-michael:2003a,
  author = {Antonis Kakas and Loizos Michael},
  title = {On the Qualification
    		Problem and Elaboration Tolerance},
  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 = {98--106},
  address = {Menlo Park, California},
  topic = {qualification-problem;elaboration-tolerance;}
  }

@inproceedings{ kakas-miller_r:1998a,
  author = {Antonis Kakas and Rob Miller},
  title = {Reasoning about Actions, Events, and Causality},
  booktitle = {Working Notes of the {AAAI} Spring Symposium on
 	Prospects for a Commonsense Theory of Causation},
  year = {1998},
  organization = {American Association for Artificial Intelligence},
  publication = {American Association for Artificial Intelligence},
  address = {Menlo Park, CA},
  editor = {Charles L. {Ortiz, Jr.}},
  pages = {13--23},
  rtnote = {In RHT Collection.  Shelf.},
  topic = {causality;temporal-reasoning;planning-formalisms;
	actions;nonmonotonic-reasoning;}
 }

@article{ kakol:2005a,
  author = {Tomaz Kakol},
  title = {The Same{P} Relation as a Response to Critics of {B}aker's
  		Theory of Constitution},
  journal = {Journal of Philosophical Logic},
  year = {2005},
  volume = {34},
  number = {5--6},
  pages = {561--579},
  topic = {individuation;common-nouns;}
  }

@book{ kalawsky:1993a,
  author = {Roy S. Kalawsky},
  title = {The Science of Virtual Reality and Virtual Environments:
  	A Technical, Scientific and Engineering Reference on Virtual
	Environments},
  publisher = {Addison-Wesley},
  year = {1993},
  address = {Reading, Massachusetts},
  ISBN = {0201631717},
  rtnote = {UMich Media Union Library, QA 76.9 .H85 K3811 1993.},
  topic = {virtual-reality;}
 }

@article{ kalech-kaminka:2007a,
  author = {Meir Kalech and Gal A. Kaminka},
  title = {On the Design of Coordination Diagnosis Algorithms for
  		Teams of Situated Agents},
  journal = {Artificial Intelligence},
  year = {2007},
  volume = {171},
  number = {8--9},
  pages = {491--513},
  topic = {multiagent-systems;cooperation;}
  }

@incollection{ kalinski:1991a,
  author = {J\"urgen Kalinski},
  title = {Autoepistemic Expansions with Incomplete Belief Introspection},
  booktitle = {Nonmonotonic and Inductive Logics},
  publisher = {Springer-Verlag},
  year = {1991},
  editor = {J\"urgen Dix and Klaus P. Jantke and P.H. Schmidt},
  pages = {223--243},
  address = {Berlin},
  missinginfo = {E's 1st name.},
  topic = {nonmonotonic-logic;autoepistemic-logic;}
  }

@article{ kalita-lee_jc:1997a,
  author = {Jugal K. Kalita and Joel C. Lee},
  title = {An Informal Semantic Analysis of Motion Verbs Based
  	on Physical Primitives},
  journal = {Computational Intelligence},
  year = {1997},
  volume = {13},
  number = {1},
  pages = {87--125},
  topic = {nl-semantics;spatial-semantics;semantic-primitives;}
  }

@incollection{ kallmeyer:2000a,
  author = {Laura Kallmeyer},
  title = {A Query Tool for Syntactically Annotated Corpora},
  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 = {190--198},
  address = {Somerset, New Jersey},
  topic = {corpus-linguistics;computational-field-linguistics;}
  }

@article{ kallmeyer:2005a,
  author = {Laura Kallmeyer},
  title = {Tree-Local Multicomponent Tree-Adjoining Grammars with
  		Shared Nodes},
  journal = {Computational Linguistics},
  year = {2005},
  volume = {31},
  number = {2},
  pages = {187--225},
  topic = {TAG-grammar;free-word-order;}
  }

@incollection{ kallmeyer-joshi_ak:1999a,
  author = {Laura Kallmeyer and Aravind Joshi},
  title = {Factoring Predicate Argument and Scope Semantics:
	Underspecified Semantics with {LTAG}},
  booktitle = {Proceedings of the Twelfth {A}msterdam Colloquium},
  publisher = {ILLC/Department of Philosophy, University
	of Amsterdam},
  year = {1999},
  editor = {Paul Dekker},
  pages = {169--174},
  address = {Amsterdam},
  topic = {TAG-grammar;semantic-underspecification;}
  }

@incollection{ kallstrom:1977a,
  author = {Roger K\"allstr\"om},
  title = {Agreement Rules for {S}wedish Noun Phrases},
  booktitle = {Logic, Pragmatics, and Grammar},
  year = {1977},
  editor = {\"Osten Dahl},
  address = {G\"oteborg},
  publisher = {Department of Linguistics, University of G\"oteberg},
  missinginfo = {publisher,   pages 267--?},
  rtnote = {Partial copy in RHT collection.},
  topic = {inflection;Swedish-language;}
  }

@book{ kalman:2001a,
  author = {John Arnold Kalman},
  title = {Automated Reasoning with {O}tter},
  publisher = {Rinton Press},
  year = {2001},
  address = {Princeton, New Jersey},
  note = {Foreword by Larry Wos},
  xref = {Review: myers_d:2002a.},
  topic = {theorem-proving;computer-assisted-mathematics;}
 }

@techreport{ kaluzhny-lehmann_d:1994a,
  author = {Yuri Kaluzhny and Daniel Lehmann},
  title = {Deductive Nonmonotonic Inference Operations: Antitonic
  	Representations},
  institution = {Leibniz Center for Research in Computer Science,
  	The Hebrew University of Jerusalem},
  number = {TR 94--3},
  year = {1994},
  address = {Jerusalem 91904, Israel},
  rtnote = {In RHT collection.},
  topic = {nonmonotonic-logic;}
  }

@incollection{ kamal-mellish:2004a,
  author = {Hasan Kamal and Chris Mellish},
  title = {An {ATMS} Approach to Systemic Sentence Generation},
  booktitle = {Natural Language Generation: Third International
	Conference, INLG 2004},
  publisher = {Springer-Verlag},
  year = {2004},
  editor = {Anja Belz and Roger Evans and Paul Piwek},
  pages = {80--89},
  address = {Berlin},
  topic = {nl-generation;truth-maintenance;}
  }

@article{ kamareddine:1992a,
  author = {Farouz Kamareddine},
  title = {$\lambda$-Terms, Logic, Determiners and Quantifiers},
  journal = {Journal of Logic, Language, and Information},
  year = {1992},
  volume = {1},
  number = {1},
  pages = {79--103},
  topic = {untyped-lambda-calculus;nl-quantifiers;property-theory;}
  }

@incollection{ kamareddine:1995a,
  author = {Fairouz Kamareddine},
  title = {Are Types Needed for Natural Language?},
  booktitle = {Applied Logic: How, What, and Why?  Logical Approaches to
       Natural Language},
  publisher = {Kluwer Academic Publishers},
  year = {1995},
  editor = {L\'aszl\'o P\'olos and Michael Masuch},
  pages = {79--120},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {polymorphism;nl-semantic-types;semantic-paradoxes;}
  }

@article{ kamareddine:1995b,
  author = {Fairouz Kamareddine},
  title = {A Type Free Theory and Collective/Distributive Predication},
  journal = {Journal of Logic, Language, and Information},
  year = {1995},
  volume = {4},
  number = {2},
  pages = {85--109},
  topic = {nl-semantic-types;polymorphism;plural;}
  }

@book{ kamareddine-etal:2004a,
  author = {Farouz Kamareddine and Twan Laan and Rob Nederfelt},
  title = {A Modern Perspective on Type Theory---From its Origins
  	until Today},
  publisher = {Kluwer Academic Publishers},
  year = {2004},
  address = {Dordrecht},
  ISBN = {1402023340},
  rtnote = {Umich Art Architecture & Engineering QA 9 .K2251 2004},
  xref = {Reviews: bezem:2006a.},
  topic = {type-theory;}
 }

@article{ kamareddine-klein_e:1993a,
  author = {Fairouz Kamareddine and Ewan Klein},
  title = {Nominalization, Predication and Type Containment},
  journal = {Journal of Logic, Language, and Information},
  year = {1993},
  volume = {2},
  number = {3},
  pages = {171--215},
  topic = {nl-semantic-types;polymorphism;higher-order-logic;
  	Russell-paradox;}
  }

@article{ kamareddine-laan:2001a,
  author = {Fairouz Kamareddine and Twan Laan},
  title = {A Correspondence between {M}artin-L\"of Type Theory,
  	the Ramified Theory of Types and Pure Type Systems},
  journal = {Journal of Logic, Language, and Information},
  year = {2001},
  volume = {10},
  number = {3},
  pages = {375--402},
  topic = {type-theory;ramified-type-theory;}
  }

@article{ kamareddine-nederpelt:2004a,
  author = {Farouz Kamareddine and Rob Nederpelt},
  title = {A Refinement of {d}e {Bruijn}'s Formal Language of Mathematics},
  journal = {Journal of Logic, Language, and Information},
  year = {2004},
  volume = {13},
  number = {3},
  pages = {287--340},
  topic = {automath;formalizations-of-mathematics;type-theory;}
  }

@incollection{ kamayama:1997a,
  author = {Megumi Kamayama},
  title = {Intrasentential Centering: A Case Study},
  booktitle = {Centering Theory in Discourse},
  publisher = {Oxford University Press},
  year = {1997},
  editor = {Marilyn A. Walker and Arivind K. Joshi and Ellen Prince},
  pages = {89--112},
  address = {Oxford},
  rtnote = {In RHT collection.  Kameyama.},
  topic = {anaphora-resolution;discourse;pragmatics;centering;}
  }

@incollection{ kambertel:1979a,
  author = {Friedrich Kambertel},
  title = {Constructive Pragmatics and Semantics},
  booktitle = {Semantics from Different Points of View},
  year = {1979},
  editor = {Rainer B\"auerle and Urs Egli and Arnim {von Stechow}},
  publisher = {Springer-Verlag},
  address = {Berlin},
  pages = {195--205},
  topic = {pragmatics;nl-semantics;}
  }

@incollection{ kambhampati:1994a,
  author = {Subbarao Kambhampati},
  title = {Refinement Search as a Unifying Framework for Analyzing
  	Planning Algorithms},
  booktitle = {{KR}'94: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
  pages = {329--340},
  address = {San Francisco, California},
  topic = {kr;search;planning;kr-course;}
  }

@article{ kambhampati:1994b,
  author = {Subbarao Kambhampati},
  title = {Multi-Contributor Causal Structures for Planning: A
  	Formalization and Evaluation},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {69},
  number = {1--2},
  pages = {235--278},
  acontentnote = {Abstract:
     Explicit causal structure representations have been widely used
     in classical planning systems to guide a variety of aspects of
     planning, including plan generation, modification and
     generalization.  For the most part, these representations were
     limited to single-contributor causal structures.  Although widely
     used, single-contributor causal structures have several
     limitations in handling partially ordered and partially
     instantiated plans.  Specifically they are (i) incapable of
     exploiting redundancy in the plan causal structure and (ii)
     force premature commitment to individual contributors thereby
     causing unnecessary backtracking.  In this paper, we study
     multi-contributor causal structures as a way of overcoming these
     limitations.  We will provide a general formulation for
     multi-contributor causal links, and explore the properties of
     several special classes of this formulation.  We will then
     describe two planning algorithms-MP and MP-I-that use
     multi-contributor causal links to organize their search for
     plans.  We will describe empirical studies demonstrating the
     advantages of MP and MP-I over planners that use single
     contributor causal structures, and argue that they strike a more
     favorable balance in the tradeoff between search space
     redundancy and premature commitment to contributors.  Finally, we
     will present a framework for justifying plans with respect to
     multi-contributor causal structures and describe its
     applications in plan modification and generalization.},
  topic = {causality;planning;planning-algorithms;proof-reuse;}
  }

@article{ kambhampati:1998a,
  author = {Subbarao Kambhampati},
  title = {On the Relations between Intelligent Backtracking
  	and Failure-Driven Explanation-Based Learning in Constraint
	Satisfaction and Planning},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {105},
  number = {1--2},
  pages = {161--208},
  topic = {explanation-based-learning;backtracking;
  	planning-algorithms;constraint-satisfaction;}
  }

@article{ kambhampati-etal:1995a,
  author = {Subbarao Kambhampati and Craig A. Knoblock and Qiang Yang},
  title = {Planning as Refinement Search: A Unified Framework for
  	Evaluating Design Tradeoffs in Partial-Order Planning},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {76},
  number = {1--2},
  pages = {167--238},
  topic = {planning;search;partial-order-planning;}
  }

@article{ kambhampati-etal:1996a,
  author = {Subbarao Kambhampati and Suresh Katukam and Yong Qu},
  title = {Failure Driven Dynamic Search Control for Partial Order
  	Planners: An Explanation Based Approach},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {88},
  number = {1--2},
  pages = {253--315},
  topic = {planning;search;}
  }

@article{ kambhampati-etal:1996b,
  author = {Subbarao Kambhampati and Suresh Katukam and Yong Qu},
  title = {Failure Driven Dynamic Search Control for Partial Order
  	Planners: An Explanation Based Approach},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {88},
  number = {1--2},
  pages = {253--315},
  topic = {search;procedural-control;partial-order-planning;
  	planning-algorithms;}
  }

@article{ kambhampati-hendler:1992a,
  author = {Subbaro Kambhampati and James Hendler},
  title = {A Validation Structure-Based Theory of Plan Modification
  	and Reuse},
  journal = {Artificial Intelligence},
  year = {1992},
  volume = {55},
  number = {2--3},
  pages = {193--258},
  topic = {planning;plan-reuse;}
  }

@article{ kambhampati-kedar:1994c,
  author = {Subbarao Kambhampati and Smadar Kedar},
  title = {A Unified Framework for Explanation-Based Generalization
  	of Partially Ordered and Partially Instantiated Plans},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {67},
  number = {1},
  pages = {29--70},
  acontentnote = {Abstract:
     Most previous work in explanation-based generalization (EBG) of
     plans dealt with totally ordered plans.  These methods cannot be
     directly applied to generalizing partially ordered partially
     instantiated plans, a class of plans that have received
     significant attention in planning.  In this paper we present a
     natural way of extending the explanation-based generalization
     methods to partially ordered partially instantiated (POPI)
     plans.  Our development is based on modal truth criteria for POPI
     plans [3].  We develop explanation structures from these truth
     criteria, and use them as a common basis to derive a variety of
     generalization algorithms.  Specifically we present algorithms
     for precondition generalization, order generalization, and
     possible correctness generalization of POPI plans.  The
     systematic derivation of the generalization algorithms from the
     modal truth criterion obviates the need for carrying out a
     separate formal proof of correctness of the EBG algorithms.  Our
     development also systematically explicates the tradeoffs among
     the spectrum of possible generalizations for POPI plans, and
     provides an empirical demonstration of the relative utility of
     EBG in partial ordering, as opposed to total ordering, planning
     frameworks. },
  topic = {partial-order-planning;explanation-based-generalization;}
  }

@article{ kambhampati-nau:1996a,
  author = {Subbaro Kambhampati and Dana S. Nau},
  title = {On the Nature and Role of Modal Truth Criteria in Planning},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {82},
  number = {1--2},
  pages = {129--155},
  topic = {planning;complexity-in-AI;}
  }

@incollection{ kambhampati-yang_xp:1996a,
  author = {Subbarao Kambhampati and Xiuping Yang},
  title = {On the Role of Disjunctive Representations and Constraint
  	Propagation in Refinement Planning},
  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 = {135--146},
  address = {San Francisco, California},
  topic = {planning;search;constraint-satisfaction;}
  }

@inproceedings{ kameyama:1991a,
  author = {Megumi Kameyama},
  title = {Atomization in Grammar Sharing},
  booktitle = {Proceedings of the Twenty-Sixth Annual Meeting of the
  	{A}ssociation for {C}omputational {L}inguistics},
  year = {1988},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  missinginfo = {editor, pages},
  rtnote = {In RHT collection.},
  topic = {comparative-grammar;}
 }

@inproceedings{ kameyama:1991b,
  author = {Megumi Kameyama},
  title = {Resolving Translation Mismatches with Information Flow},
  booktitle = {Proceedings of the Twenty-Ninth Annual Meeting of the
  	Association for Computational Linguistics},
  year = {1994},
  editor = {Robert C. Berwick},
  pages = {193--200},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  topic = {abduction;machine-translation;information-flow-theory;}
 }

@inproceedings{ kameyama:1997a,
  author = {Megumi Kameyama},
  title = {Resolving Translation Mismatches with Contextual Inference},
  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 = {96--98},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  topic = {context;abduction;machine-translation;}
  }

@article{ kamide_n1:2003a,
  author = {Norihiro Kamide},
  title = {Normal Modal Substructural Logics with Strong Negation},
  journal = {Journal of Philosophical Logic},
  year = {2003},
  volume = {32},
  number = {6},
  pages = {589--612},
  topic = {modal-logic;substructural-logics;}
  }

@article{ kamide_n1:2006a,
  author = {Norihiro Kamide},
  title = {Phase Semantics and {P}etri Net Interpretations for
  		Resource-Sensitive Strong Negation},
  journal = {Journal of Logic, Language, and Information},
  year = {2006},
  volume = {15},
  number = {4},
  pages = {371--401},
  topic = {linear-logic;}
  }

@article{ kamide_n2:2002a,
  author = {Noriko Kamide},
  title = {Substructural Logics with Mingle},
  journal = {Journal of Logic, Language, and Information},
  year = {2002},
  volume = {10},
  number = {1},
  pages = {227--249},
  topic = {substructural-logics;proof-theory;}
  }

@article{ kaminski:1995a,
  author = {Michael Kaminski},
  title = {A Comparative Study of Open Default Theories},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {77},
  number = {2},
  pages = {285--319},
  contentnote = {How to get the effect of quantified defaults.},
  topic = {default-logic;}
  }

@article{ kaminski:1997a,
  author = {Michael Kaminski},
  title = {The Elimination of {\it De Re} Formulas},
  journal = {Journal of Philosophical Logic},
  year = {1997},
  volume = {26},
  number = {4},
  pages = {411--422},
  topic = {quantifying-in-modality;singular-propositions;}
  }

@article{ kaminski:1997b,
  author = {Michael Kaminski},
  title = {A Note on the Stable Model Semantics for Logic Programs},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {96},
  number = {2},
  pages = {467--479},
  topic = {stable-models;logic-programming;}
  }

@incollection{ kaminski-etal:1996a,
  author = {Michael Kaminski and Johann A. Makowsky and Michael L.
    	  Tiomkin},
  title = {Extensions for Open Default Theories via the
	  Domain Closure Assumption},
  booktitle = {Logics in Artificial Intelligence: European Workshop,
  	{Jelia}'96, Ivora, Portugal, September 30 - October 3,
	1996.},
  publisher = {Springer-Verlag},
  year = {1996},
  editor = {Jos\'e J\'ulio Alferes and Lu\'is Moniz Pereira and Ewa Orlowska},
  pages = {373--387},
  address = {Berlin},
  topic = {default-logic;}
  }

@incollection{ kamio:1979a,
  author = {Akio Kamio},
  title = {On the Notion {\it Speaker's Territory of Information}:
  	a Functional Analysis of Certain Sentence-Final Forms
	in {J}apanese},
  booktitle = {Explorations in Linguistics: Papers in Honor of
  	{K}azuko {I}noue},
  publisher = {Kenkyusha},
  year = {1979},
  editor = {George Bedell and Eichi Kobayashi and Masatake Muraki},
  pages = {213--231},
  address = {Tokyo},
  rtnote = {In RHT collection.},
  topic = {Japanese-language;pragmatics;}
  }

@techreport{ kamp:1969a,
  author = {Hans Kamp},
  title = {Enthymemes},
  institution = {System Development Corporation},
  year = {1969},
  address = {Santa Monica},
  rtnote = {In RHT collection.},
  topic = {enthymemes;}
  }

@unpublished{ kamp:1969b,
  author = {Hans Kamp},
  title = {Notes on Tense Logic},
  year = {1969},
  note = {Unpublished manuscript, Cornell University.},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {tense-logic;}
  }

@unpublished{ kamp:1970a,
  author = {Hans Kamp},
  title = {Two Related Theorems by {D.} {S}cott and {S.} {K}ripke},
  year = {1970},
  note = {Unpublished manuscript, University of London.},
  rtnote = {In RHT collection.},
  rtnote = {Date is a guess.  This has to do with unaxiomatizability
  	results.},
  topic = {quantifying-in-modality;modal-logic;}
  }

@techreport{ kamp:1970b,
  author = {Hans Kamp},
  title = {On the Adequacy of Translations among Natural and Formal
  	Languages},
  institution = {System Development Corporation},
  year = {1970},
  address = {Santa Monica},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;}
  }

@article{ kamp:1971a,
  author = {Hans Kamp},
  title = {Formal Properties of `Now'},
  journal = {Theoria},
  year = {1971},
  volume = {37},
  pages = {227--273},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {temporal-logic;}
  }

@unpublished{ kamp:1973a,
  author = {Hans Kamp},
  title = {Quantification and Reference in Modal and Tense Logic},
  year = {1973},
  note = {Unpublished manuscript, University College, London.},
  rtnote = {In RHT collection.},
  rtnote = {Date is a guess.},
  topic = {quantifying-in-modality;modal-logic;first-order-modal-logic;
  		first-order-tense-logic;}
  }

@unpublished{ kamp:1974a,
  author = {Hans Kamp},
  title = {A Sketch for a Semantics of Higher-Order Vagueness},
  year = {1974},
  note = {Unpublished manuscript, University of London.},
  rtnote = {In RHT collection.},
  rtnote = {Date is a guess.},
  topic = {vagueness;}
  }

@article{ kamp:1974b,
  author = {Hans Kamp},
  title = {Free Choice Permission},
  journal = {Proceedings of the {A}ristotelian {S}ociety},
  year = {1974},
  volume = {74},
  pages = {57--74},
  rtnote = {In RHT collection.},
  topic = {deontic-logic;permission;}
  }

@incollection{ kamp:1975a,
  author = {Hans Kamp},
  title = {Two Theories about Adjectives},
  booktitle = {Formal Semantics of Natural Language},
  publisher = {Cambridge University Press},
  year = {1975},
  editor = {Edward L. Keenan},
  pages = {123--155},
  address = {Cambridge, England},
  rtnote = {semantics-course;},
  topic = {nl-semantics;comparative-constructions;vagueness;context;
  	 adjectives;semantics-of-adjectives;}
  }

@unpublished{ kamp:1976a,
  author = {Hans Kamp},
  title = {The Logic of Historical Necessity, Part {I}},
  year = {1976},
  note = {Unpublished manuscript, Bedford College, University of London.},
  rtnote = {In RHT collection.  Contains handwritten comments by RHT.
  	I found a problem with the proof, as far as I know, Hans
	never fixed it.},
  missinginfo = {Date is a guess.},
  topic = {temporal-logic;branching-time;}
  }

@incollection{ kamp:1978b,
  author = {Hans Kamp},
  title = {Semantics Versus Pragmatics},
  booktitle = {Formal Semantics and Pragmatics for Natural Languages},
  publisher = {D. Reidel Publishing Co.},
  year = {1978},
  editor = {Franz Guenthner and S.J. Schmidt},
  pages = {255--287},
  address = {Dordrecht},
  contentnote = {This paper is about disjunctions in permission
  	contexts.},
  topic = {nl-semantics;pragmatics;deontic-logic;free-choice-`any/or';}
  }

@incollection{ kamp:1978c,
  author = {Hans Kamp},
  title = {The Adequacy of Translation Between Formal and Natural
  	Languages},
  booktitle = {Meaning and Translation: Philosophical and Logical
  	Approaches},
  publisher = {New York University Press},
  year = {1978},
  editor = {Franz Guenthner and Monica Guenthner-Reutter},
  pages = {275--306},
  address = {New York},
  rtnote = {Early Kamp.  Written in 1990.},
  topic = {foundations-of-semantics;}
  }

@incollection{ kamp:1979a,
  author = {Hans Kamp},
  title = {Events, Instants, and Temporal Reference},
  booktitle = {Semantics from Different Points of View},
  year = {1979},
  editor = {Rainer B\"auerle and Urs Egli and Arnim {von Stechow}},
  publisher = {Springer-Verlag},
  address = {Berlin},
  pages = {376--417},
  topic = {tense-aspect;events;temporal-logic;}
  }

@incollection{ kamp:1981a,
  author = {Hans Kamp},
  title = {A Theory of Truth and Semantic Representation},
  booktitle = {Formal Methods in the Study of Language},
  publisher = {Foris},
  year = {1981},
  editor = {Jeroen A. Groenendijk and Theo Janssen and Martin Stokhof},
  address = {Dordrecht},
  rtnote = {Reading notes on file.},
  topic = {discourse-representation-theory;donkey-anaphora;pragmatics;}
  }

@incollection{ kamp:1981b,
  author = {Hans Kamp},
  title = {The Paradox of the Heap},
  booktitle = {Aspects of Philosophical Logic},
  publisher = {D. Reidel Publishing Co.},
  year = {1981},
  editor = {Uwe M\"onnich},
  pages = {225--277},
  address = {Dordrecht},
  rtnote = {semantics-course;},
  rtnote = {MS in RHT collection.  File drawers.},
  topic = {nl-semantics;vagueness;sorites-paradox;}
  }

@article{ kamp:1985a,
  author = {Hans Kamp},
  title = {Context, Thought and Communication},
  journal = {Proceedings of the {A}ristotelian Society},
  year = {1984/1985},
  volume = {85},
  note = {Supplementary Series.},
  pages = {239--261},
  rtnote = {In RHT collection.},
  topic = {context;anaphora;intentional-identity;}
 }

@techreport{ kamp:1986a,
  author = {Hans Kamp},
  title = {Reading, Writing, and Understanding (Comments on H. Sluga,
	``Philosophy as a Kind of Writing'')},
  institution = {Forschugsstelle f\"ur nat\"urlich-Sprachliche
		Systeme, Universit\"at T\"ubingen},
  year = {1986},
  address = {T\"ubingen},
  rtnote = {In RHT collection.},
  topic = {philosophy-of-language;pragmatics;}
  }

@incollection{ kamp:1990a,
  author = {Hans Kamp},
  title = {Prolegomena to a Structural Theory of Belief and Other
  		Attitudes},
  booktitle = {Propositional Attitudes: The Role of Content in Logic,
  	Language, and Mind},
  publisher = {Center for the Study of Language and Information},
  year = {1990},
  editor = {C. Anthony Anderson and Joseph Owens},
  pages = {27--90},
  address = {Stanford, California},
  topic = {hyperintensionality;syntactic-attitudes;
  		discourse-representation-theory;}
  }

@book{ kamp:1990b,
  editor = {Hans Kamp},
  title = {Conditionals, Defaults, and Belief Revision},
  publisher = {Institut f\"ur maschinelle Sprachverarbeitung,
  		Universit\"at Stuttgart},
  year = {1990},
  note = {Dyana Deliverable R2.5.A.},
  address = {Stuttgart},
  contentnote = {TC:
  	1. Michael Morreau, "Epistemic Semantics for Counterfactuals"
  	2. Frank Veltman, "Defaults in Update Semantics"
  	3. Hans Rott, "Updates, Conditionals, and Non-Monotonicity"
   },
  rtnote = {In RHT collection.  LL collections shelf.},
  topic = {conditionals;belief-revision;nonmonotonic-logic;}
 }

@incollection{ kamp:1991a,
  title = {On the Representation and Transmission of Information:
  	Sketch of a Theory of Verbal Communication Based on Discourse
	Representation Theory},
  author  = {Hans Kamp},
  booktitle = {Natural Language and Speech},
  publisher = {Springer-Verlag},
  year = {1991},
  editor = {Ewan Klein and Frank Vellman},
  pages = {135--158},
  topic = {discourse;pragmatics;discourse-representation-theory;}
}

@article{ kamp-partee:1995a,
  author = {Hans Kamp and Barbara Partee},
  title = {Prototype Theory and Compositionality},
  journal = {Cognition},
  year = {1995},
  volume = {57},
  number = {2},
  pages = {121--191},
  topic = {nl-semantics;compositionality;}
  }

@book{ kamp-reyle:1993a,
  author = {Hans Kamp and Uwe Reyle},
  title = {From Discourse to Logic: Introduction to Modeltheoretic
  	Semantics in Natural Language, Formal Logic and Discourse
	Representation Theory, Vol. 1},
  publisher = {Kluwer Academic Publishers},
  year = {1993},
  address = {Dordrecht},
  xref = {Review: akman:1995b.},
  ISBN = {0-7923-1028-4 (pbk)},
  rtnote = {In RHT Collection.  LLP single author shelves.},
  topic = {nl-semantics;discourse-representation-theory;pragmatics;}
 }

@book{ kamp-reyle:1993b,
  author = {Hans Kamp and Uwe Reyle},
  title = {From Discourse to Logic: Introduction to Modeltheoretic
  	Semantics in Natural Language, Formal Logic and Discourse
	Representation Theory, Vol. 2},
  publisher = {Kluwer Academic Publishers},
  year = {1993},
  address = {Dordrecht},
  topic = {nl-semantics;discourse-representation-theory;pragmatics;}
 }

@article{ kamp-reyle:1994a,
  author = {Hans Kamp and Uwe Reyle},
  title = {A Calculus for First Order Discourse Representation
  	Structures},
  journal = {Journal of Logic, Language, and Information},
  year = {1994},
  volume = {5},
  number = {3--4},
  pages = {297--348},
  topic = {discourse-representation-theory;pragmatics;}
  }

@article{ kamp-rossdeutscher:1994a,
  author = {Hans Kamp and Antje Rossdeutscher},
  title = {Remarks on Lexical Structure and DRS Construction},
  journal = {Theoretical Linguistics},
  year = {1994},
  volume = {20},
  number = {2/3},
  pages = {97--164},
  topic = {discourse-representation-theory;lexical-semantics;pragmatics;}
  }

@article{ kamp-rossdeutscher:1994b,
  author = {Hans Kamp and Antje Rossdeutscher},
  title = {Remarks on Lexical Structure and DRS Construction},
  journal = {Theoretical Linguistics},
  year = {1994},
  volume = {20},
  number = {2/3},
  pages = {167--236},
  topic = {discourse-representation-theory;nl-interpretation;presupposition;
  	pragmatics;}
  }

@incollection{ kamphuis-sarbo:1998a,
  author = {Vera Kamphuis and Janos J. Sarbo},
  title = {Natural Language and Concept Analysis},
  booktitle = {Proceedings of the Joint Conference on New Methods in
  	Language Processing and Computational Language Learning},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Jill C. Burstein and Claudia Leacock},
  pages = {205--214},
  address = {Somerset, New Jersey},
  topic = {constituent-structure;foundations-of-grammar;}
  }

@incollection{ kamps:1998a,
  author = {Jaap Kamps},
  title = {Formal Theory Building Using Automated Reasoning Tools},
  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 = {476--487},
  address = {San Francisco, California},
  topic = {kr;automated-scientific-discovery;
  	formalizations-of-social-science;kr-course;}
  }

@article{ kamtekar:1998a,
  author = {Rachana Kamtekar},
  title = {AI$\Delta\Omega\Sigma$ in Epictetus},
  journal = {Classical Philology},
  year = {1998},
  volume = {93},
  pages = {136--160},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {Stoic-philosophy;}
  }

@article{ kanade:1979a,
  author = {Takeo Kanade},
  title = {A Theory of Origami World},
  journal = {Artificial Intelligence},
  year = {1979},
  volume = {13},
  number = {3},
  pages = {279--311},
  acontentnote = {Abstract:
     The recovery of three-dimensional configurations of a scene from
     its image is one of the most important steps in computer vision.
     The Origami world is a model for understanding line drawings in
     terms of surfaces, and for finding their 3-D configurations.  It
     assumes that surfaces themselves can be stand-alone objects,
     unlike the conventional trihedral world which assumes solid
     objects.  We have established a labeling procedure for this
     Origami world, which can find the 3-D meaning of a given line
     drawing by assigning one of the labels, + (convex edge), -
     (concave edge), [<-], and [->] (occluding boundary) to each
     line.  The procedure uses a filtering procedure not only for
     junction labels as in the Waltz labeling for the trihedral
     world, but also for checking the consistency of surface
     orientations.  The theory includes the Huffman-Clowes labelings
     for the trihedral solid-object world as a subset.  This paper
     also reveals interesting relationships among previous research
     in polyhedral scene analysis.  },
  topic = {computer-vision;three-D-reconstruction;}
  }

@article{ kanade:1981a,
  author = {Takeo Kanade},
  title = {Recovery of the Three-Dimensional Shape of an Object from
  	a Single View},
  journal = {Artificial Intelligence},
  year = {1981},
  volume = {17},
  number = {1--3},
  pages = {409--460},
  topic = {three-D-reconstruction;}
  }

@article{ kanade:1993a,
  author = {Takeo Kanade},
  title = {From a Real Chair to a Negative Chair},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {59},
  number = {1--2},
  pages = {95--101},
  topic = {computer-vision;}
  }

@article{ kanamori:1996a,
  author = {Akihiro Kanamori},
  title = {The Mathematical Development of Set Theory from {C}antor
  	to {C}ohen},
  journal = {The Bulletin of Symbolic Logic},
  year = {1996},
  volume = {2},
  number = {1},
  pages = {1--71},
  topic = {set-theory;}
  }

@article{ kanamori:1997a,
  author = {Akihiro Kanamori},
  title = {The Mathematical Import of {Z}ermelo's Well-Ordering
  	Theorem},
  journal = {The Bulletin of Symbolic Logic},
  year = {1997},
  volume = {3},
  number = {3},
  pages = {281--311},
  topic = {set-theory;}
  }

@article{ kanamori:2001a,
  author = {Akihiro Kanamori},
  title = {Review of \emph{{L}abyrinth of Thought.  A History of Set
  	Theory and Its Role in Modern Mathematics}, by {J}ose {F}erreir\'os},
  journal = {The Bulletin of Symbolic Logic},
  year = {2001},
  volume = {7},
  number = {2},
  pages = {277--278},
  xref = {Review of: ferreiros:1999a},
  topic = {history-of-mathematics;set-theory;foundations-of-mathematics;}
  }

@article{ kanamori:2003a,
  author = {Akihiro Kanamori},
  title = {The Empty Set, the Singleton, and the Ordered Pair},
  journal = {The Bulletin of Symbolic Logic},
  year = {2003},
  volume = {9},
  number = {3},
  pages = {273--298},
  topic = {foundations-of-set-theory;history-of-mathematics;}
  }

@article{ kanamori:2007a,
  author = {Akihiro Kanamori},
  title = {G\"odel and Set Theory},
  journal = {The Bulletin of Symbolic Logic},
  year = {2007},
  volume = {13},
  number = {2},
  pages = {153--188},
  topic = {history-of-logic;history-of-mathematics;Goedel;set-theory;}
  }

@article{ kanamori:2009a,
  author = {Akahiro Kanamori},
  title = {Bernays and Set Theory},
  journal = {The Bulletin of Symbolic Logic},
  year = {2009},
  volume = {15},
  number = {1},
  pages = {43--90},
  topic = {history-of-mathematics;history-of-logic;set-theory;}
  }

@article{ kananmori:2008a,
  author = {Akihiro Kananmori},
  title = {{C}ohen and Set Theory},
  journal = {The Bulletin of Symbolic Logic},
  year = {2008},
  volume = {14},
  number = {3},
  pages = {351--378},
  topic = {history-of-set-theory;history-of-mathematics;
  		continuum-hypothesis;axiom-of-choice;
		forcing;}
  }

@article{ kanatani:1984a,
  author = {Ken-Ichi Kanatani},
  title = {Detection of Surface Orientation and Motion from Texture
  	by a Stereological Technique},
  journal = {Artificial Intelligence},
  year = {1984},
  volume = {23},
  number = {2},
  pages = {213--237},
  acontentnote = {Abstract:
     A new approach is given to detect the surface orientation and
     motion from the texture on the surface by making use of a
     mathematical principle called `stereology'.  Information about
     the surface orientation is contained in `features' computed by
     scanning the image by parallel lines and counting the number of
     intersections with the curves of the texture.  A synthetic
     example is given to illustrate the technique.  This scheme can
     also detect surface motions relative to the viewer by computing
     features of its texture at one time and a short time later.  The
     motion is specified by explicit formulae of the computed
     features.},
  topic = {texture;motion-reconstruction;three-D-reconstruction;}
  }

@article{ kanatani-chou_tc:1989a,
  author = {Ken-ichi Kanatani and Tsai-Chia Chou},
  title = {Shape from Texture: General Principle},
  journal = {Artificial Intelligence},
  year = {1989},
  volume = {38},
  number = {1},
  pages = {1--48},
  topic = {texture;three-D-reconstruction;shape-recognition;}
  }

@techreport{ kanazawa:1991a,
  author = {Makoto Kanazawa},
  title = {The {L}ambek Calculus Enriched With Additional Connectives},
  institution = {Institute for Language, Logic and Information, University
  	of Amsterdam},
  number = {LP--91--04},
  year = {1991},
  address = {Faculty of Mathematics and Computer Science, Roeterssraat 15,
  	1018WB Amsterdam, Holland},
  rtnote = {In RHT collection.},
  xref = {Published as kanezawa:1992a.},
  topic = {Lambek-calculus;categorial-grammar;}
  }

@article{ kanazawa:1992a,
  author = {Makoto Kanazawa},
  title = {The {L}ambek Calculus Enriched With Additional Connectives},
  journal = {Journal of Logic, Language, and Information},
  year = {1992},
  volume = {1},
  number = {2},
  pages = {141--171},
  topic = {Lambek-calculus;categorial-grammar;}
  }

@techreport{ kanazawa:1993a,
  author = {Makoto Kanazawa},
  title = {Dynamic Generalized Quantifiers and Monotonicity},
  institution = {Institute for {L}ogic, {L}anguage, and
  	{C}omputation, {U}niversity of {A}msterdam},
  number = {LP-93-02},
  year = {1993},
  address = {Anmsterdam},
  rtnote = {In RHT collection.},
  topic = {dynamic-logic;generalized-quantifiers;}
  }

@article{ kanazawa:1994a,
  author = {Makoto Kanazawa},
  title = {Weak vs. Strong Readings of Donkey Sentences and
  	Monotonicity Inference in a Dynamic Setting},
  journal = {Linguistics and Philosophy},
  year = {1994},
  volume = {17},
  number = {2},
  pages = {109--158},
  topic = {nl-quantifiers;donkey-anaphora;}
  }

@article{ kanazawa:1996a,
  author = {Makoto Kanazawa},
  title = {Identification in the Limit of Categorial Grammars},
  journal = {Journal of Logic, Language, and Information},
  year = {1996},
  volume = {5},
  number = {2},
  pages = {115--155},
  topic = {learning-theory;categorial-grammar;}
  }

@article{ kanazawa:2001a,
  author = {Makoto Kanazawa},
  title = {Singular Donkey Sentences are Semantically Singular},
  journal = {Linguistics and Philosophy},
  year = {2001},
  volume = {24},
  number = {3},
  pages = {383--403},
  topic = {donkey-anaphora;}
  }

@article{ kanazawa:2004a,
  author = {Makoto Kanazawa},
  title = {Review of \emph{{C}omputational Approaches to Language Acquisition},
		by {M}icheal {R}. {B}rent},
  journal = {Journal of Logic, Language, and Information},
  year = {2004},
  volume = {13},
  number = {3},
  pages = {377--378},
  xref = {Review of: brent:1997a.},
  topic = {machinep-learning;L1-acquisition;}
  }

@article{ kanazawa:2010a,
  author = {Makoto Kanazawa},
  title = {Second-Order Abstract Categorial Grammars as Hyperedge
  		Replacement Grammars},
  journal = {Journal of Logic, Language, and Information},
  year = {2010},
  volume = {19},
  number = {2},
  pages = {137--161},
  topic = {categorial-grammar;}
  }

@book{ kanazawa-etal:1996a,
  editor = {Makoto Kanazawa and Christopher Pi\~n\'on and Henriette
  	de Swart},
  title = {Quantifiers, Deduction, and Context},
  publisher = {Cambridge University Press},
  year = {1996},
  address = {Cambridge, England},
  topic = {nl-quantifiers;context;}
 }

@book{ kandel:2006a,
  author = {Eric R. Kandel},
  title = {In Search of Memory: The Emergence of a New Science of Mind},
  publisher = {W.W. Norton \&\ Company},
  year = {2006},
  address = {New York},
  ISBN = {0393058638 (hardcover)},
  rtnote = {UMich Hatcher Graduate RC 339.52 .K362 A32 2006},
  xref = {Review: sierra:2009a},
  topic = {cognitive-neuroscience;}
 }

@book{ kane:1985a,
  author = {Robert Kane},
  title = {Free Will and Values},
  publisher = {State University of New York Press},
  year = {1985},
  address = {Albany},
  topic = {freedom;volition;}
 }

@book{ kane:1996a,
  author = {Robert Kane},
  title = {The Significance of Free Will},
  publisher = {Oxford University Press},
  year = {1996},
  address = {Oxford},
  xref = {Review: ginet:1998a.},
  topic = {freedom;volition;}
 }

@article{ kane:1999a,
  author = {Robert Kane},
  title = {Responsibility, Luck, and Chance: Reflections on
  	Free Will and Indeterminism},
  journal = {The Journal of Philosophy},
  year = {1999},
  volume = {96},
  number = {5},
  pages = {217--240},
  topic = {(in)determinism;freedom;volition;}
  }

@incollection{ kane:2000a,
  author = {Robert Kane},
  title = {The Dual Regress of Free Will and the Role
     		of Alternative Possibilities},
  booktitle = {Philosophical Perspectives 14: Action and Freedom},
  publisher = {Blackwell Publishers},
  year = {2000},
  editor = {James E. Tomberlin},
  pages = {57--79},
  address = {Oxford},
  topic = {freedom;volition;}
  }

@book{ kane:2002a,
  editor = {Robert Kane},
  title = {The {O}xford Handbook of Free Will},
  publisher = {Oxford University Press},
  year = {2002},
  address = {Oxford},
  xref = {Review: huemer:2004a.},
  topic = {freedom;volition;}
 }

@book{ kane:2005a,
  author = {Robert Kane},
  title = {A Contemporary Introduction to Free Will},
  publisher = {Oxford University Press},
  year = {2005},
  address = {Oxford},
  rtnote = {In RHT Collection.  LLP single author shelves.},
  topic = {freedom;volition;}
 }

@article{ kaneiwa:2004a,
  author = {Ken Kaneiwa},
  title = {Order-Sorted Logic Programming with Predicate Hierarchy},
  journal = {Artificial Intelligence},
  year = {2004},
  volume = {158},
  number = {2},
  pages = {155--188},
  topic = {logic-programming;order-sorted-logic;}
  }

@incollection{ kaneiwa-mizoguchi:2004a,
  author = {Ken Kaneiwa and Riichiro Mizoguchi},
  title = {Sort-Hierarchy and Rigidity},
  booktitle = {{KR}2004: Principles of Knowledge Representation and
  		Reasoning},
  publisher = {AAAI Press},
  year = {2004},
  editor = {Didier Dubois and Christopher A. Welty and Mary-Anne Williams},
  pages = {278--268},
  address = {Menlo Park, California},
  topic = {sort-hierarchies;semantics-of-common-nouns;}
  }

@article{ kaneko:1999a,
  author = {Mamoru Kaneko},
  title = {Common Knowledge Logic and Game Logic},
  journal = {Journal of Symbolic Logic},
  year = {1999},
  volume = {64},
  number = {2},
  pages = {685--700},
  topic = {epistemic-logic;mutual-belief;game-logic;}
  }

@article{ kaneko-etal:2002a,
  author = {Mamoro Kaneko and Takashi Nagashima and Nobu-Yuki Suzuki
  	and Yoshihito Tanaka},
  title = {A Map of Common Knowledge Logics},
  journal = {Studia Logica},
  year = {2002},
  volume = {71},
  number = {1},
  pages = {57--86},
  topic = {epistemic-logic;mutual-belief;}
  }

@article{ kang:1988a,
  author = {Beom-Mo Kang},
  title = {Unbounded Reflexives},
  journal = {Linguistics and Philosophy},
  year = {1988},
  volume = {11},
  number = {4},
  pages = {415--456},
  topic = {reflexive-constructions;nl-syntax;Korean-language;}
  }

@article{ kang:1995a,
  author = {Beom-Mo Kang},
  title = {On the Treatment of Complex Predicates in Categorial
  	Grammar},
  journal = {Linguistics and Philosophy},
  year = {1995},
  volume = {18},
  number = {1},
  pages = {61--81},
  topic = {categorial-grammar;}
  }

@article{ kanger:1957a,
  author = {Stig Kanger},
  title = {The Morning Star Paradox},
  journal = {Theoria},
  year = {1957},
  volume = {23},
  pages = {1--11},
  missinginfo = {number},
  topic = {quantifying-in-modality;intensionality;}
  }

@incollection{ kanger:1971a,
  author = {Stig Kanger},
  title = {New Foundations for Ethical Theory},
  booktitle = {Deontic Logic: Introductory and Systematic Readings},
  editor = {Risto Hilpinen},
  publisher = {D. Reidel Publishing Company},
  address = {Dordrecht},
  year = {1971},
  pages = {36--58},
  note = {(Published as a privately distributed pamphlet in 1957)},
  topic = {deontic-logic;}
    }

@article{ kanger:1972a,
  author = {Stig Kanger},
  title = {Law and logic},
  journal = {Theoria},
  volume = {38},
  pages = {105--132},
  year = {1972},
  topic = {logic-and-law;deontic-logic;}
    }

@book{ kanger-ohman:1981a,
  editor = {Stig Kanger and Sven \"Ohman},
  title = {Philosophy and Grammar: Papers on the Occasion of the
    Quincentennial of {U}ppsala {U}niversity},
  publisher = {D. Reidel Publishing Co.},
  year = {1981},
  address = {Dordrecht},
  contentnote = {TC:
  	1. G.H. Von Wright, "Humanism and the humanities"
	2. W.V. Quine, "Grammar, truth, and logic"
	3. Dagfinn Follesdal, "Comments on {Q}uine"
	4. Jaakko Hintikka, "Theories of Truth and Learnable
		Languages"
	5. Barbara H. Partee, "Montague Grammar, Mental Representations,
		and Reality"
	6. David Lewis, "Index, Context, and Content"
	7. James D. McCawley, "Fuzzy Logic and Restricted Quantifiers"
       10. W. Admoni, "Die Semantische {S}truktur der Syntaktischen
       		{G}ebilde und die Semantischen {S}ysteme der
		{G}enerativisten"
       11. A. Naess, "The Empirical Semantics of Key Terms, Phrases,
       		and Sentences"
   },
  ISBN = {9027710910},
  rtnote = {UMich Graduate Library, P153 .P461},
  topic = {analytic-philosophy;}
 }

@article{ kant_e:1983a,
  author = {Elaine Kant},
  title = {On the Efficient Synthesis of Efficient Programs},
  journal = {Artificial Intelligence},
  year = {1983},
  volume = {20},
  number = {3},
  pages = {253--305},
  topic = {program-synthesis;}
  }

@book{ kant_i:1961a,
  author = {Immanuel Kant},
  title = {Critique of Pure Reason},
  publisher = {St. Martin's Press},
  year = {1961},
  address = {New York},
  note = {First published (in German), 1781.  Translated into
  	{E}nglish by Norman Kemp Smith.},
  topic = {philosophy-classics;}
 }

@article{ kanterian:2009a,
  author = {Edward Kanterian},
  title = {Puzzles about Descriptive Names},
  journal = {Linguistics and Philosophy},
  year = {2009},
  volume = {32},
  number = {4},
  pages = {409--428},
  topic = {proper-names;definite-descriptions;}
  }

@incollection{ kantrowitz-bates_j:1992a,
  author = {Mark Kantrowitz and Joseph Bates},
  title = {Integrated Natural Language Generation Systems},
  booktitle = {Aspects of Automated Natural Language Generation: 6th
    International Workshop on Natural Language Generation, {T}rento,
    {I}taly, April 5--7, 1992},
  publisher = {Springer-Verlag},
  year = {1992},
  editor = {Robert Dale and Eduard Hovy and Dietmar R\"ossner and
  	Oliviero Stock},
  pages = {13--28},
  address = {Berlin},
  rtnote = {In RHT collection.},
  topic = {nl-generation;nlp-architectures;}
  }

@incollection{ kapitan:1994a,
  author = {Tomis Kapitan},
  title = {Exports and Imports: Anaphora in Attitudinal Ascriptions},
  booktitle = {Philosophical Perspectives, Volume 8:
  	Logic and Language},
  publisher = {Blackwell Publishers},
  year = {1994},
  editor = {James E. Tomberlin},
  pages = {273--292},
  address = {Oxford},
  note = {Also available at http://www.jstor.org/journals/.},
  topic = {propositional-attitudes;anaphora;}
  }

@incollection{ kapitan:2000a,
  author = {Tomis Kapitan},
  title = {Autonomy and Manipulated Freedom},
  booktitle = {Philosophical Perspectives 14: Action and Freedom},
  publisher = {Blackwell Publishers},
  year = {2000},
  editor = {James E. Tomberlin},
  pages = {81--103},
  address = {Oxford},
  topic = {freedom;volition;}
  }

@article{ kapitan:2002a,
  author = {Tomis Kapitan},
  title = {Review of \emph{{O}ratio Obliqua, Oratio Recta}, by
  	{F}ran\c{c}ois {R}\'ecanati},
  journal = {The Philosophical Review},
  year = {2002},
  volume = {111},
  number = {3},
  pages = {459--462},
  xref = {Review of: recanati:2000a},
  topic = {belief;intensionality;metareasoning;}
  }

@article{ kaplan_ah-schubert:2000a,
  author = {Aaron N. Kaplan and Lenhart K. Schubert},
  title = {A Computational Model of Belief},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {120},
  number = {1},
  pages = {119--160},
  topic = {reasoning-about-knowledge;nonmonotonic-logic;
  	communication-models;}
  }

@unpublished{ kaplan_an:1997a,
  author = {Aaron N. Kaplan},
  title = {Simulative Inference in a Computational Model of Belief},
  year = {1997},
  note = {Unpublished manuscript, Computer Science Department,
  	University of Rochester},
  rtnote = {In RHT collection.},
  topic = {reasoning-about-knowledge;nonmonotonic-logic;}
  }

@inproceedings{ kaplan_an:1998a,
  author = {Aaron N. Kaplan},
  title = {Simulative Inference about Nonmonotonic Reasoning},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
    Proceedings of the Seventh Conference ({TARK} 1998)},
  year = {1998},
  editor = {Itzhak Gilboa},
  pages = {71--81},
  publisher = {Morgan Kaufmann},
  address = {San Francisco, California},
  topic = {reasoning-about-knowledge;nonmonotonic-logic;
  	communication-models;}
  }

@unpublished{ kaplan_d:1966a,
  author = {David Kaplan},
  title = {What is {R}ussell's Theory of Descriptions?},
  year = {1966},
  note = {Unpublished manuscript, Philosophy Department, UCLA.},
  rtnote = {In RHT collection.},
  xref = {Publication: kaplan_d:1970a1.},
  topic = {Russell;definite-descriptions;}
  }

@unpublished{ kaplan_d:1967a,
  author = {David Kaplan},
  title = {Trans World Heir Lines},
  year = {1967},
  note = {Unpublished manuscript, Philosophy Department, UCLA.},
  rtnote = {In RHT collection.},
  topic = {quantifying-in-modality;individuation;}
  }

@unpublished{ kaplan_d:1967b,
  author = {David Kaplan},
  title = {Individuals in Intensional Logics},
  year = {1967},
  note = {Unpublished manuscript, Philosophy Department, UCLA.},
  rtnote = {In RHT collection.},
  topic = {quantifying-in-modality;individuation;}
  }

@unpublished{ kaplan_d:1967c,
  author = {David Kaplan},
  title = {Topics in Mathematical Logic},
  year = {1967},
  note = {Unpublished course description, Philosophy Department, UCLA.},
  rtnote = {In RHT collection.},
  topic = {philosophical-logic;}
  }

@unpublished{ kaplan_d:1967d,
  author = {David Kaplan},
  title = {Individuals in Intensional Logic},
  year = {1967},
  note = {Unpublished manuscript, Philosophy Department, UCLA.},
  rtnote = {In RHT collection.},
  topic = {quantifying-in-modality;individuation;}
  }

@article{ kaplan_d:1968a,
  author = {David Kaplan},
  title = {Review of `A Semantical Analysis of
  	Modal Logic {I}: Normal Modal Propositional Calculi'},
  journal = {Journal of Symbolic Logic},
  year = {1966},
  volume = {31},
  pages = {120--122},
  missinginfo = {number},
  topic = {modal-logic;}
  }

@article{ kaplan_d:1969a1,
  author = {David Kaplan},
  title = {Quantifying In},
  journal = {Synt\`hese},
  year = {1969},
  pages = {178--214},
  missinginfo = {volume,number},
  rtnote = {In RHT collection.},
  xref = {Republication: kaplan_d:1969a2.},
  topic = {quantifying-in-modality;}
  }

@incollection{ kaplan_d:1969a2,
  author = {David Kaplan},
  title = {Quantifying In},
  booktitle = {The Logic of Grammar},
  publisher = {Dickenson Publishing Co.},
  year = {1975},
  editor = {Donald Davidson and Gilbert H. Harman},
  pages = {160-- 181},
  address = {Encino, California},
  xref = {Original Publication: kaplan_d:1969a1.},
  topic = {quantifying-in-modality;}
  }

@incollection{ kaplan_d:1970a1,
  author = {David Kaplan},
  title = {What is {R}ussell's Theory of Descriptions?},
  booktitle = {Physics, Logic, and History},
  publisher = {Plenum Press},
  year = {1970},
  editor = {Wolfgang Yourgrau and Allen D. Beck},
  pages = {277--288},
  address = {Encino, California},
  xref = {Republication: kaplan_d:1970a2.},
  topic = {Russell;definite-descriptions;}
  }

@incollection{ kaplan_d:1970a2,
  author = {David Kaplan},
  title = {What is {R}ussell's Theory of Descriptions?},
  booktitle = {The Logic of Grammar},
  publisher = {Dickenson Publishing Co.},
  year = {1975},
  editor = {Donald Davidson and Gilbert H. Harman},
  pages = {210--217},
  address = {Encino, California},
  xref = {Original Publication: kaplan_d:1970a1.},
  topic = {Russell;definite-descriptions;}
  }

@unpublished{ kaplan_d:1973a,
  author = {David Kaplan},
  title = {Intensional Logic: April 4 (No. 1)},
  year = {1973},
  note = {Unpublished course material, Philosophy Department, UCLA.},
  rtnote = {In RHT collection.},
  topic = {philosophical-logic;}
  }

@unpublished{ kaplan_d:1973b,
  author = {David Kaplan},
  title = {Topics in Mathematical Logic: April 11},
  year = {1973},
  note = {Unpublished course material, Philosophy Department, UCLA.},
  rtnote = {In RHT collection.},
  topic = {philosophical-logic;}
  }

@article{ kaplan_d:1975a,
  author = {David Kaplan},
  title = {How to {R}ussell a {F}rege-{C}hurch},
  journal = {Journal of Philosophy},
  year = {1975},
  volume = {72},
  number = {19},
  pages = {716--729},
  rtnote = {In RHT collection.},
  topic = {definite-descriptions;singular-propositions;}
  }

@incollection{ kaplan_d:1975b,
  author = {David Kaplan},
  title = {Significance and Analyticity: A Comment on Some
  	Recent Proposals of {C}arnap

license: MIT

license_type: permissive

branch_name: refs/heads/master

gha_license_id: MIT

extension: bib