text:
},
  booktitle = {Rudolph {C}arnap, Logical Empiricist},
  publisher = {D. Reidel Publishing Co.},
  year = {1975},
  editor = {Jaakko Hintikka},
  pages = {87--94},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {Carnap;analyticity;}
  }

@unpublished{ kaplan_d:1977a1,
  author = {David Kaplan},
  title = {Demonstratives},
  year = {1977},
  note = {Unpublished course description, Philosophy Department, UCLA.},
  rtnote = {In RHT collection.},
  xref = {Publication: kaplan_d:1977a2.},
  topic = {indexicals;context;}
  }

@incollection{ kaplan_d:1977a2,
  author = {David Kaplan},
  title = {Demonstratives},
  booktitle = {Themes from {K}aplan},
  editor = {Joesph Almog and John Perry and Howard Wettstein},
  publisher = {Oxford University Press},
  year = {1989},
  address = {Oxford},
  pages = {481--563},
  xref = {Publication of: kaplan_d:1977a1.},
  topic = {indexicals;context;}
 }

@unpublished{ kaplan_d:1977b,
  author = {David Kaplan},
  title = {Demonstratives},
  year = {1977},
  note = {Unpublished manuscript, Philosophy Department, UCLA.},
  rtnote = {In RHT collection.},
  xref = {Publication: kaplan_d:1989a.},
  topic = {indexicals;context;}
  }

@article{ kaplan_d:1978a,
  author = {David Kaplan},
  title = {On the Logic of Demonstratives},
  journal = {Journal of Philosophical Logic},
  year = {1978},
  volume = {8},
  pages = {81--98},
  rtnote = {tmix-project;},
  rtnote = {semantics-course;},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;context;indexicals;demonstratives;
		logic-of-context;}
 }

@article{ kaplan_d:1978b,
  author = {David Kaplan},
  title = {Words},
  journal = {Proceedings of the {A}ristotelian Society},
  year = {1990},
  volume = {64},
  note = {Supplementary Series.},
  rtnote = {Hillman B11 A71 n.s.},
  pages = {93--119},
  topic = {philosophy-of-language;referring-expressions;reference;}
 }

@incollection{ kaplan_d:1978c,
  author = {David Kaplan},
  title = {Dthat},
  booktitle = {Contemporary Perspectives in the Philosophy of Language},
  publisher = {University of Minnesota Press},
  year = {1978},
  editor = {Peter A. French and Theodore E. {Uehling, Jr.} and Howard
  	K. Wettstein},
  pages = {383--400},
  address = {Minneapolis},
  topic = {nl-semantics;indexicals;demonstratives;}
  }

@incollection{ kaplan_d:1978d,
  author = {David Kaplan},
  title = {On the Logic of Demonstratives},
  booktitle = {Contemporary Perspectives in the Philosophy of Language},
  publisher = {University of Minnesota Press},
  year = {1978},
  editor = {Peter A. French and Theodore E. {Uehling, Jr.} and Howard
  	K. Wettstein},
  pages = {401--412},
  address = {Minneapolis},
  topic = {nl-semantics;indexicals;demonstratives;}
  }

@unpublished{ kaplan_d:1984a,
  author = {David Kaplan},
  title = {Opacity},
  year = {1984},
  note = {Unpublished manuscript, UCLA, 1984.},
  rtnote = {In RHT collection.},
  topic = {propositional-attitudes;}
  }

@incollection{ kaplan_d:1989a,
  author = {David Kaplan},
  title = {Demonstratives: an Essay on the Semantics, Logic,
             Metaphysics, and Epistemology of Demonstratives
             and Other Indexicals},
  booktitle = {Themes from {K}aplan},
  publisher = {Oxford University Press},
  address = {Oxford},
  year = {1989},
  editor = {Joseph Almog and John Perry and Howard Wettstein},
  pages = {481--563},
  topic = {indexicals;context;}
    }

@incollection{ kaplan_d:1989b,
  author = {David Kaplan},
  title = {Afterthoughts},
  booktitle = {Themes from {K}aplan},
  publisher = {Oxford University Press},
  year = {1989},
  editor = {Joseph Almog and John Perry and Howard Wettstein},
  pages = {565--614},
  address = {Oxford},
  topic = {indexicals;reference;philosophy-of-language;}
  }

@unpublished{ kaplan_j:1980a,
  author = {Jerome Kaplan},
  title = {Interpreting Natural Language Database Updates},
  year = {1980},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript, Computer Science Department,
  	Stanford University.},
  missinginfo = {Date is guess.},
  topic = {database-update;nl-interpretation;}
  }

@article{ kaplan_m:1985a,
  author = {Mark Kaplan},
  title = {It's Not What You Know that Counts},
  journal = {The Journal of Philosophy},
  year = {1985},
  volume = {82},
  number = {7},
  pages = {350--363},
  topic = {belief;knowledge;}
  }

@article{ kaplan_m:1993a,
  author = {Mark Kaplan},
  title = {Not by the Book},
  journal = {Philosophical Topics},
  year = {1994},
  volume = {21},
  number = {1},
  pages = {153--171},
  topic = {foundations-of-utility;Dutch-book-argument;}
  }

@article{ kaplan_rm:1972a,
  author = {Ronald M. Kaplan},
  title = {Augmented Transition Networks as Psychological Models of
  	Sentence Comprehension},
  journal = {Artificial Intelligence},
  year = {1972},
  volume = {3},
  number = {1--3},
  pages = {77--100},
  topic = {Augmented-Transition-Networks;psycholinguistics;
  	parsing-psychology;}
  }

@incollection{ kaplan_rm:1987a,
  author = {Ronald M. Kaplan},
  title = {Three Seductions of Computational Linguistics},
  booktitle = {Linguistic Theory and Computer Applications},
  publisher = {Academic Press},
  year = {1987},
  editor = {P. Whitelock},
  pages = {149--188},
  address = {London},
  topic = {nlp-and-linguistics;}
  }

@techreport{ kaplan_rm-bresnan:1981a1,
  author = {Ronald M. Kaplan and Joan Bresnan},
  title = {Lexical-Functional Grammar: A Formal System for
  	Grammatical Representation},
  institution = {Center for Cognitive Science, MIT},
  number = {Occasional Paper \#13},
  year = {1971},
  address = {Cambridge, Massachusetts},
  rtnote = {In RHT collection.},
  topic = {LFG;}
  }

@incollection{ kaplan_rm-bresnan:1981a2,
  author = {Ronald M. Kaplan and Joan Bresnan},
  title = {Lexical-Functional Grammar: A Formal System for
  	Grammatical Representation},
  booktitle = {The Mental Representation of Grammatical Relations},
  publisher = {The {MIT} Press},
  year = {1982},
  editor = {Joan Bresnan},
  address = {Cambridge, Massachusetts},
  missinginfo = {pages},
  topic = {LFG;}
  }

@article{ kaplan_sj:1982a,
  author = {S. Jerrold Kaplan},
  title = {Cooperative Responses from a Portable Natural Language
  	Query System},
  journal = {Artificial Intelligence},
  year = {1982},
  volume = {19},
  number = {2},
  pages = {165--187},
  topic = {question-answering;discourse-planning;cooperation;}
  }

@article{ kapur_d:1988a,
  author = {Deepak Kapur},
  title = {A Refutational Approach to Geometry Theorem Proving},
  journal = {Artificial Intelligence},
  year = {1988},
  volume = {37},
  number = {1--3},
  pages = {61--93},
  topic = {spatial-reasoning;geometrical-reasoning;theorem-proving;}
  }

@book{ kapur_d:1992a,
  title = {Eleventh International Conference on Automated Deduction
  	{CADE}92, {S}arasota {S}prings, New York, June 1992},
  editor = {Deepak Kapur},
  publisher = {Springer-Verlag},
  year = {1992},
  address = {Berlin},
  series = {Lecture Notes in Computer Science},
  ISBN = {3540671900 (softcover)},
  rtnote = {UMich Media Union Library, QA 76.9 .A96 A851 2000},
  topic = {theorem-proving;}
 }

@article{ kapur_d-mundy:1988a,
  author = {Deepak Kapur and Joseph L. Mundy},
  title = {Geometric Reasoning and Artificial Intelligence:
  	Introduction to the Special Volume},
  journal = {Artificial Intelligence},
  year = {1988},
  volume = {37},
  number = {1--3},
  pages = {1--11},
  topic = {spatial-reasoning;geometrical-reasoning;}
  }

@article{ kapur_d-mundy:1988b,
  author = {Deepak Kapur and Joseph L. Mundy},
  title = {Wu's Method and Its Application to Perspective Viewing},
  journal = {Artificial Intelligence},
  year = {1988},
  volume = {37},
  number = {1--3},
  pages = {15--36},
  acontentnote = {Abstract:
     An algebraic method for proving a class of geometry theorems
     recently proposed by Wu is informally discussed.  Key concepts
     relevant to the method are explained.  An application of this
     method to perspective viewing in image understanding is
     discussed.  Finally, it is outlined how the method can be
     helpful to prove geometry theorems involving inequalities to
     capture the relation of a point being in between two given
     points.  This is also illustrated using an example from image
     understanding.},
  topic = {reasoning-about-perspective;geometrical-reasoning;
  	theorem-proving;}
  }

@article{ kapur_d-musser:1987a,
  author = {Deepak Kapur and David R. Musser},
  title = {Proof by Consistency},
  journal = {Artificial Intelligence},
  year = {1987},
  volume = {31},
  number = {2},
  pages = {125--157},
  acontentnote = {Abstract:
      Advances of the past decade in methods and computer programs
     for showing consistency of proof systems based on first-order
     equations have made it feasible, in some settings, to use proof
     by consistency as an alternative to conventional rules of
     inference.  Musser described the method applied to proof of
     properties of inductively defined objects.  Refinements of this
     inductionless induction method were discussed by Kapur, Goguen,
     Huet and Hullot, Huet and Oppen, Lankford, Dershowitz, Paul, and
     more recently by Jouannaud and Kounalis as well as by Kapur,
     Narendran and Zhang.  This paper gives a very general account of
     proof by consistency and inductionless induction and shows how
     previous results can be derived simply from the general theory.
     New results include a theorem giving characterizations of an
     unambiguity property that is key to applicability of proof by
     consistency, and a theorem similar to the Birkhoff's
     Completeness Theorem for equational proof systems, but
     concerning inductive proof. },
  topic = {reasoning-about-consistency;}
  }

@incollection{ kapur_s-clark_r:1996a,
  author = {Shayam Kapur and Robin Clark},
  title = {The Automatic Construction of a Symbolic Parser Via
  	Statistical Techniques},
  booktitle = {The Balancing Act:  Combining Symbolic and Statistical
  	Approaches to Language},
  publisher = {The {MIT} Press},
  year = {1996},
  editor = {Judith Klavans and Philip Resnik},
  pages = {95--117},
  address = {Cambridge, Massachusetts},
  topic = {automatic-grammar-acquisition;statistical-nlp;}
  }

@incollection{ karagjosova-kruiijfkorbayova:2002a,
  author = {Elena Karagjosova and Ivana Kruiijf-Korbayova},
  title = {Conditional Responses in Information-Seeking Dialogues},
  booktitle = {Third {SIGdial} Workshop on Discourse and Dialogue:
  		Proceedings of the Workshop},
  publisher = {Association for Computational Linguistics},
  year = {2002},
  editor = {Kristina Jokinen and Susan McRoy},
  pages = {84--87},
  address = {New Brunswick, New Jersey},
  topic = {computational-dialogue;}
  }

@article{ karamanis:2007b,
  author = {Nikiforos Karamanis},
  title = {Supplementing Entity Coherence with Local Rhetorical
  		Relations for Information Ordering},
  journal = {Journal of Logic, Language, and Information},
  year = {2007},
  volume = {16},
  number = {4},
  pages = {445--464},
  topic = {coherence;computational-dialogue;}
  }

@incollection{ karamanis-etal:2004a,
  author = {Nikiforos Karamanis and Chris Mellish and Jon Oberlander
  		and Massimo Poesio},
  title = {A Corpus-Based Methodology for Evaluating
		Metrics of Coherence for Text Structuring},
  booktitle = {Natural Language Generation: Third International
	Conference, INLG 2004},
  publisher = {Springer-Verlag},
  year = {2004},
  editor = {Anja Belz and Roger Evans and Paul Piwek},
  pages = {90--99},
  address = {Berlin},
  topic = {discourse-coherence;}
  }

@incollection{ karlgen-cutting:1994a,
  author = {Jussi Karlgen and Douglas Cutting},
  title = {Recognizing Text Genres with Simple Metrics Using
  	Discriminant Analysis},
  booktitle = {{COLING}'94: The Fifteenth International Conference on
  	Computational Linguistics},
  year = {1994},
  pages = {1071--1075},
  missinginfo = {Editor, publisher, address},
  topic = {document-classification;text-genre;}
  }

@book{ karlsson_f-etal:1994a,
  editor = {Fred Karlsson and Atro Voutilainen and Juha
  	Heikkila and Arto Antilla},
  title = {Constraint Grammar: A Language-Independent System
  	for Parsing Unrestricted Text},
  publisher = {Mouton de Gruyter},
  year = {1994},
  address = {Berlin},
  topic = {nl-interpretation;computational-linguistics;
		parsing-algorithms;}
}

@incollection{ karlsson_l:1998a,
  author = {Lars Karlsson},
  title = {Anything Can Happen; on Narratives and Hypothetical
		Reasoning},
  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 = {36--47},
  address = {San Francisco, California},
  topic = {kr;narrative-representation;temporal-reasoning;
		branching-time;kr-course;}
  }

@article{ karov-edelman:1998a,
  author = {Yael Karov and Shimon Edelman},
  title = {Similarity-Based Word Sense Disambiguation},
  journal = {Computational Linguistics},
  year = {1998},
  volume = {24},
  number = {1},
  pages = {41--59},
  topic = {lexical-disambiguation;}
  }

@inproceedings{ karp_p-etal:1995a,
  author = {Peter Karp and Karen Myers and Tom Gruber},
  title = {The Generic Frame Protocol},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {768--774},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  contentnote = {Algorithm for KB implementation, access.},
  rtnote = {Read for KR?},
  topic = {large-kr-systems;frames;kr-course;}
 }

@inproceedings{ karp_p-paley:1995a,
  author = {Peter Karp and Suzanne Paley},
  title = {Knowledge Representation in the Large},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {751--758},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  rtnote = {Use database tech for frames?  Maybe read this in KR??},
  rtnote = {In RHT collection.},
  topic = {frames;large-kr-systems;kr-course;}
 }

@article{ karp_rm-pearl:1983a,
  author = {Richard M. Karp and Judea Pearl},
  title = {Searching for an Optimal Path in a Tree with Random Costs},
  journal = {Artificial Intelligence},
  year = {1983},
  volume = {21},
  number = {1--2},
  pages = {99--116},
  acontentnote = {Abstract:
     We consider the problem of finding an optimal path leading from
     the root of a tree to any of its leaves.  The tree is known to be
     uniform, binary, and of height N, and each branch independently
     may have a cost of 1 or 0 with probability p and 1 - p,
     respectively.
      We show that for p < [$\textfrac{1}{2}$] the uniform cost
     algorithm can find a cheapest path in linear expected time.  By
     contrast, when p > [$\textfrac{1}{2}$], every algorithm which
     guarantees finding an exact cheapest path, or even a path within
     a fixed cost ratio of the cheapest, must run in exponential
     average time.  If, however, we are willing to accept a near
     optimal solution almost always, then a pruning algorithm exists
     which finds such a solution in linear expected time.  The
     algorithm employs a depth-first strategy which stops at regular
     intervals to appraise its progress and, if the progress does not
     meet a criterion based on domain-specific knowledge, the current
     node is irrevocably pruned.  },
  topic = {search;optimization;decision-trees;}
  }

@article{ karpas-etal:2009a,
  author = {Erez Karpas and Solomon Eyal Shimony and Amos Beimel},
  title = {Approximate Belief Updating in Max-2-Connected {B}ayes
  		Networks is {NP}-Hard},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {173},
  number = {12--13},
  pages = {1150--1153},
  topic = {Bayesian-networks;belief-revision;complexity-in-AI;}
  }

@incollection{ karpenko:1994a,
  author = {A.S. Karpenko},
  title = {Aristotle, {\L}ukasiewicz, and Factor-Semantics},
  booktitle = {Intensional Logic:  Theory and Applications},
  publisher = {The Philosophical Society of Finland},
  year = {1994},
  editor = {Ilkka Niiniluoto and Esa Saarinen},
  pages = {7--21},
  address = {Helsinki},
  topic = {temporal-logic;branching-time;truth-value-gaps;
       future-contingent-propositions;}
  }

@article{ kartha:1994a,
  author = {G. Neelakantan Kartha},
  title = {Two Counterexamples Related to {B}aker's Approach to the
  	Frame Problem},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {69},
  number = {1--2},
  pages = {379--391},
  topic = {frame-problem;temporal-reasoning;Yale-shooting-problem;}
  }

@inproceedings{ kartha:1996a,
  author = {G. Neelakantan Kartha},
  title = {On the Range of Applicability of {B}aker's Approach
  	to the Frame Problem},
  booktitle = {Proceedings of the Thirteenth National Conference on
              Artificial Intelligence and the Eighth Innovative
	      Applications of Artificial Intelligence  Conference},
  year = {1996},
  editor = {William J. Clancey and Dan Weld},
  pages = {664--669},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  missinginfo = {pages},
  topic = {action-formalisms;}
  }

@inproceedings{ kartha-lifschit:1995a,
  author = {G. Neelakantan Kartha and Vladimir Lifschitz},
  title = {A Simple Formalization of Actions Using Circumscription},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {1970--1975},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  rtnote = {In RHT collection.},
  topic = {action-formalisms;}
  }

@incollection{ kartha-lifschitz:1994a,
  author = {G. Neelakantan Kartha and Vladimir Lifschitz},
  title = {Actions with Indirect Effects (Preliminary Report)},
  booktitle = {{KR}'94: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
  pages = {341--350},
  address = {San Francisco, California},
  missinginfo = {A's 1st name},
  topic = {kr;ramification-problem;kr-course;}
  }

@inproceedings{ kartha-lifschitz:1995a,
  author = {G. Neelakantan  Kartha},
  title = {Soundness and Completeness  Theorems for Three Formalizations
  	of Action},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {724--729},
  publisher = {Morgan Kaufmann},
  rtnote = {In RHT collection.},
  address = {San Mateo, California},
  topic = {action;action-formalisms;}
  }

@unpublished{ karttunen_f-karttunen_l:1976a,
  author = {Frances Karttunen and Lauri Karttunen},
  title = {\emph{Even} Questions},
  year = {1976},
  note = {Unpublished manuscript, University of Texas at Austin},
  rtnote = {In RHT collection.},
  missinginfo = {"To appear in NELS VII".},
  topic = {interrogatives;`even';}
  }

@unpublished{ karttunen_l:1967a,
  author = {Lauri Karttunen},
  title = {The Identity of Noun Phrases},
  year = {1967},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript, The Rand Corporation.},
  topic = {nl-syntax;noun-phrases;}
  }

@unpublished{ karttunen_l:1968a,
  author = {Lauri Karttunen},
  title = {What Do Referential Indices Refer To?},
  year = {1968},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript, The Rand Corporation.},
  topic = {anaphora;reference;discourse-referents;pragmatics;}
  }

@unpublished{ karttunen_l:1969a,
  author = {Lauri Karttunen},
  title = {What Makes Definite Noun Phrases Definite?},
  year = {1969},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript, The Rand Corporation.},
  topic = {(in)definiteness;}
  }

@article{ karttunen_l:1971a,
  author = {Lauri Karttunen},
  title = {Some Observations on Factivity},
  journal = {Papers in Linguistics},
  year = {1971},
  volume = {4},
  pages = {55--69},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {presupposition;pragmatics;(counter)factive-constructions;}
  }

@article{ karttunen_l:1971b,
  author = {Lauri Karttunen},
  title = {Implicative Verbs},
  journal = {Language},
  year = {1971},
  volume = {47},
  pages = {340--358},
  missinginfo = {number},
  topic = {presupposition;pragmatics;}
  }

@book{ karttunen_l:1971c,
  author = {Lauri Karttunen},
  title = {Discourse Referents},
  publisher = {Indiana University Linguistics Club},
  year = {1971},
  address = {310 Lindley Hall, Bloomington, Indiana},
  rtnote = {In RHT collection.},
  topic = {anaphora;reference;discourse-referents;pragmatics;}
  }

@book{ karttunen_l:1971d,
  author = {Lauri Karttunen},
  title = {The Logic of {E}nglish Predicate Complement Constructions},
  publisher = {Indiana University Linguistics Club},
  year = {1968},
  address = {[Bloomington, Indiana},
  topic = {conditionals;(counter)factive-constructions;`only-if';}
 }

@incollection{ karttunen_l:1972a,
  author = {Lauri Karttunen},
  title = {Possible and Must},
  booktitle = {Syntax and Semantics, Volume 1},
  publisher = {Academic Press},
  year = {1972},
  editor = {John Kimball},
  pages = {1--20},
  address = {New York},
  rtnote = {In RHT collection.},
  topic = {modals;possibility;}
  }

@article{ karttunen_l:1973a,
  author = {Lauri Karttunen},
  title = {Presuppositions of Compound Sentences},
  journal = {Linguistic Inquiry},
  year = {1973},
  volume = {4},
  pages = {169--193},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {presupposition;pragmatics;}
  }

@unpublished{ karttunen_l:1973b,
  author = {Lauri Karttunen},
  title = {A Squib on \emph{Too}},
  year = {1986},
  note = {Unpublished manuscript, University of Texas at Austin},
  rtnote = {In RHT collection.},
  topic = {anaphora;}
  }

@unpublished{ karttunen_l:1973d,
  author = {Lauri Karttunen},
  title = {The Last Word (on Presuppositions of Compound Sentences)},
  year = {1973},
  note = {Unpublished manuscript, University of Texas at Austin.},
  rtnote = {In RHT collection.},
  topic = {pragmatics;presupposition;}
  }

@unpublished{ karttunen_l:1973e,
  author = {Lauri Karttunen},
  title = {To Doubt Whether},
  year = {1973},
  note = {Unpublished manuscript, University of Texas at Austin.},
  rtnote = {In RHT collection.},
  topic = {interrogatives;nl-semantics;}
  }

@unpublished{ karttunen_l:1973f,
  author = {Lauri Karttunen},
  title = {Some Inferences in Naive Logic},
  year = {1973},
  note = {Unpublished manuscript, University of Texas at Austin},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  topic = {belief;presupposition;}
  }

@article{ karttunen_l:1974a,
  author = {Lauri Karttunen},
  title = {Presupposition and Linguistic Context},
  journal = {Theoretical Linguistics},
  year = {1974},
  volume = {1},
  number = {1/2},
  pages = {182--194},
  rtnote = {In RHT collection.},
  topic = {presupposition;pragmatics;context;}
  }

@inproceedings{ karttunen_l:1974b,
  author = {Lauri Karttunen},
  title = {Until},
  booktitle = {Papers from the Tenth Regional Meeting of the
  	{C}hicago Linguistic Society},
  year = {1974},
  editor = {Michael LaGaly and Robert A. Fox and Anthony Bruck},
  organization = {Chicago Linguistic Society},
  publisher = {Chicago Linguistic Society},
  address = {Goodspeed Hall, 1050 East 59th Street, Chicago, Illinois},
  missinginfo = {pages},
  rtnote = {In RHT collection.},
  topic = {temporal-adverbials;}
  }

@unpublished{ karttunen_l:1974c,
  author = {Lauri Karttunen},
  title = {On Pragmatic and Semantic Aspects of Meaning},
  year = {1974},
  note = {Unpublished manuscript, University of Texas at Austin.},
  rtnote = {In RHT collection.},
  topic = {foundations-of-semantics;pragmatics;presupposition;}
  }

@article{ karttunen_l:1977a,
  author = {Lauri Karttunen},
  title = {Syntax and Semantics of Questions},
  journal = {Linguistics and Philosophy},
  year = {1977},
  volume = {1},
  number = {1},
  pages = {3--44},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;interrogatives;}
 }

@unpublished{ karttunen_l:1977b,
  author = {Lauri Karttunen},
  title = {Questions Revisited},
  year = {1977},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript, The Rand Corporation.},
  topic = {interrogatives;}
  }

@unpublished{ karttunen_l:1977d,
  author = {Lauri Karttunen},
  title = {To Doubt Whether},
  year = {1977},
  note = {Unpublished manuscript, University of Texas at Austin.},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;interrogatives;}
  }

@techreport{ karttunen_l:1986a,
  author = {Lauri Karttunen},
  title = {Radical Lexicalism},
  institution= {Center for the Study of Language and Information},
  number = {CSLI--86--68},
  year = {1986},
  address = {Stanford University, Stanford California.},
  rtnote = {In RHT collection.},
  topic = {categorial-grammar;lexicon;}
  }

@unpublished{ karttunen_l:1986b,
  author = {Lauri Karttunen},
  title = {Whichever Antecedent},
  year = {1986},
  note = {Unpublished manuscript, University of Texas at Austin},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  contenttnote = {This has the paycheck example.},
  topic = {anaphora;}
  }

@unpublished{ karttunen_l:1989a,
  author = {Lauri Karttunen},
  title = {Translating from {E}nglish to Logic in {T}arski's {W}orld},
  year = {1989},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript, Xerox Palo Alto Research Center.},
  topic = {nl-generation;logic-tutorial-systems;}
  }

@unpublished{ karttunen_l:1991a,
  author = {Lauri Karttunen},
  title = {Finite-State Constraints},
  year = {1991},
  rtnote = {In RHT collection.  Supposed to be forthcoming in John
  	Goldsmith, ed. The Last Phonological Rule, Univ Chicago Press.},
  note = {Unpublished manuscript, Xerox Palo Alto research Center.},
  topic = {finite-state-morpology;}
  }

@techreport{ karttunen_l:1993a,
  author = {Lauri Karttunen},
  title = {Finite-State Lexicon Compiler},
  institution = {Xerox Corporation},
  number = {ISTL--NLTT--1993--04--02},
  year = {1993},
  address = {Palo Alto Research Center, Palo Alto, California},
  rtnote = {In RHT collection.},
  topic = {finite-state-morpology;finite-state-phonology;
  	two-level-morphology;computational-morphology;}
  }

@inproceedings{ karttunen_l:1996a,
  author = {Lauri Karttunen},
  title = {Directed Replacement},
  booktitle = {Proceedings of the Thirty-Fourth Annual Meeting of the
  	Association for Computational Linguistics},
  year = {1996},
  editor = {Arivind Joshi and Martha Palmer},
  pages = {108--115},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco},
  topic = {computational-phonology;two-level-phonology;}
 }

@book{ karttunen_l:1998a,
  editor = {Lauri Karttunen},
  title = {{FSMNLP'98}: International Workshop on Finite State
  	Methods in Natural Language Processing},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  address = {Somerset, New Jersey},
  contentnote = {TC:
  	1.  Lauri Karttunen, "The Proper Treatment of Optimality
		in Computational Phonology"
	2.  Mark-Jan Nederhof, "Context-Free Parsing through
		Regular Approximation"
        3.  Atro Voutilainen, "Does Tagging Help Parsing?  A Case
		Study on Finite State Parsing"
        4.  Wide R. Hogenbout and Yuji Matsumoto, "Robust Parsing
		Using a Hidden {M}arkov Model"
        5.  Jan Daciuk and Bruce W. Watson and Richard E. Watson,
		"Incremental Construction of Minimal Acyclic Finite
		State Automata and Transducers"
        6.  Gertjan van Noord, "Treatment of $\epsilon$-Moves in
		Subset Construction"
        7.  David Pic\'o and Enrique Vidal, "Learning Finite State
		Models for Language Understanding"
        8.  Aarne Ranta, "A Multilingual Natural Language Interface
		to Regular Expressions"
        9.  Kemal Oflazer and G\"okhan T\"ur, "Implementing Voting
		Constraints with Finite State Transducers"
        10. R\'emi Zajec, "Feature Structures, Unification and
		Finite State Transducers"
        11. Sandro Pedrazzini and Marcus Hoffman, "Using Genericity
		to Create Customizable Finite State Tools"
        12. Kenneth R. Beesley, "Constraining Separated Morphotactic
		Dependencies in Finite State Grammars"
  	},
  rtnote = {In RHT collection.  CL Shelves.a},
  topic = {nl-processing;finite-state-nlp;finite-state-morpology;
  	finite-state-automata;finite-state-phonology;}
 }

@incollection{ karttunen_l:1998b,
  author = {Lauri Karttunen},
  title = {The Proper Treatment of Optimality in Computational
  	Phonology},
  booktitle = {{FSMNLP'98}: International Workshop on Finite State
  	Methods in Natural Language Processing},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Lauri Karttunen},
  pages = {1--12},
  address = {Somerset, New Jersey},
  topic = {optimality-theory;finite-state-phonology;}
  }

@article{ karttunen_l:2007a,
  author = {Lauri Karttunen},
  title = {Word Play},
  journal = {Computational Linguistics},
  year = {2007},
  volume = {33},
  number = {4},
  pages = {443--467},
  topic = {nlp-editorial;}
  }

@techreport{ karttunen_l-beesley:1992a,
  author = {Lauri Karttunen and Kenneth Beesley},
  title = {Two-Level Rule Compiler},
  institution = {Xerox Corporation},
  number = {ISTL--92--2},
  year = {1992},
  address = {Palo Alto Research Center, Palo Alto, California},
  rtnote = {In RHT collection.},
  topic = {finite-state-morpology;finite-state-phonology;
  	two-level-morphology;computational-morphology;}
  }

@unpublished{ karttunen_l-etal:1987a,
  author = {Lauri Karttunen and Kimmo Koskenniemi and Ronald M. Kaplan},
  title = {{TWOL}:  A Compiler for Two-Level Phonological Rules},
  year = {1987},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript, Xerox Palo Alto research Center.},
  topic = {finite-state-phonology;computational-morphology;
  	computational-phonology;}
  }

@unpublished{ karttunen_l-karttunen_f:1976a,
  author = {Frances Karttunen and Lauri Karttunen},
  title = {The Clitic -kin/-kaan in Finnish},
  year = {1976},
  note = {Unpublished manuscript, University of Texas at Austin.},
  rtnote = {In RHT collection.},
  topic = {Finnish-language;presupposition;}
  }

@article{ karttunen_l-oflazer:2000a,
  author = {Lauri Karttunen and Kemal Oflazer},
  title = {Introduction to the Special Issue on Finite-State
  	Methods in {NLP}},
  journal = {Computational Linguistics},
  year = {2000},
  volume = {26},
  number = {1},
  pages = {1--2},
  topic = {finite-state-phonology;finite-state-nlp;
  	finite-state-morpology;}
  }

@unpublished{ karttunen_l-peters:1973a,
  author = {Lauri Karttunen},
  title = {Remarks on Presuppositions},
  year = {1973},
  note = {Unpublished manuscript, University of Texas at Austin.},
  rtnote = {In RHT collection.},
  topic = {pragmatics;presupposition;}
  }

@unpublished{ karttunen_l-peters:1973b,
  author = {Lauri Karttunen},
  title = {\,`Stop'---Is There a Presupposition or Isn't There?},
  year = {1976},
  note = {Unpublished manuscript, University of Texas at Austin.},
  rtnote = {In RHT collection.},
  topic = {pragmatics;presupposition;}
  }

@incollection{ karttunen_l-peters:1975a1,
  author = {Lauri Karttunen and Stanley Peters},
  title = {Conventional Implicature in {M}ontague Grammar},
  booktitle = {Proceedings of the First Annual Meeting of the
  	{B}erkeley Linguistics Society},
  publisher = {Berkeley Linguistics Society},
  year = {1975},
  pages = {266--278},
  address = {University of California at Berkeley, Berkeley,
  	California},
  rtnote = {In RHT collection.},
  xref = {Republication: karttunen_l-peters:1975a2.},
  topic = {presupposition;conventional-implicature;pragmatics;}
  }

@incollection{ karttunen_l-peters:1975a2,
  author = {Lauri Karttunen and Stanley Peters},
  title = {Conventional Implicature in {M}ontague Grammar},
  booktitle = {Syntax and Semantics 11: Presupposition},
  publisher = {Academic Press},
  year = {1979},
  editor = {ChoonKyo Oh and David A. Dineen},
  missinginfo = {pages},
  address = {New York},
  xref = {Republication of: karttunen_l-peters:1975a1.},
  topic = {presupposition;conventional-implicature;pragmatics;}
  }

@unpublished{ karttunen_l-peters:1976a,
  author = {Lauri Karttunen and Stanley Peters},
  title = {What Indirect Questions Conversationally Implicate},
  year = {1976},
  note = {Unpublished manuscript, University of Texas at Austin.},
  rtnote = {In RHT collection.},
  topic = {interrogatives;presupposition;}
  }

@incollection{ karttunen_l-peters:1977b,
  author = {Lauri Karttunen and Stanley Peters},
  title = {Requiem for Presupposition},
  booktitle = {Proceedings of the Third Annual Meeting of the
  	Berkeley Linguistics Society},
  publisher = {Berkeley Linguistics Society},
  year = {1977},
  pages = {360--371},
  address = {University of California at Berkeley, Berkeley,
  	California},
  topic = {presupposition;pragmatics;}
  }

@incollection{ karttunen_l-peters:1979a,
  author = {Lauri Karttunen and Stanley Peters},
  title = {Conventional Implicature},
  booktitle = {Syntax and Semantics {II}: Presupposition},
  publisher = {Academic Press},
  year = {1979},
  editor = {ChoonKyo Oh and David A. Dineen},
  pages = {1--56},
  address = {New York},
  rtnote = {In RHT collection.},
  rtnote = {pragmatics-course;},
  topic = {presupposition;pragmatics;}
  }

@unpublished{ karttunen_l-yampol:1989a,
  author = {Lauri Karttunen and Todd Yampol},
  title = {Tarski Translator},
  year = {1989},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript, Xerox Palo Alto research Center.},
  topic = {nl-generation;logic-tutorial-systems;}
  }

@article{ karunatillake-etal:2009a,
  author = {Nishan C. Karunatillake and Nicholas R. Jennings and Iyad
          Rahwan and Peter McBurney},
  title = {Dialogue Games that Agents Play Within a Society},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {173},
  number = {9--10},
  pages = {935--981},
  topic = {dialogue-games;negotiation;multiagent-systems;}
  }

@article{ kashap:1971a,
  author = {Paul Kashap},
  title = {Imperative Inference},
  journal = {Mind, New Series},
  year = {1971},
  volume = {80},
  number = {317},
  pages = {141--143},
  topic = {imperative-logic;}
  }

@incollection{ kasher:1973a,
  author = {Asa Kasher},
  title = {Worlds, Games and Pragmemes:  A Unified Theory of Speech Acts},
  booktitle = {Logic, Language, and Probability},
  publisher = {D. Reidel Publishing Co.},
  year = {1973},
  editor = {R.J. Bogdan and I. Niiniluoto},
  pages = {201--207},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {pragmatics;speech-acts;}
  }

@article{ kasher:1974a,
  author = {Asa Kasher},
  title = {Mood Implicatures: A Logical Way of Doing Pragmatics},
  journal = {Theoretical Linguistics},
  year = {1974},
  volume = {1},
  number = {1/2},
  pages = {6--38},
  topic = {pragmatics;implicature;}
  }

@incollection{ kasher:1975a,
  author = {Asa Kasher},
  title = {Pragmatic Representations and Language-Games: Beyond
  	Intensions and Extensions},
  booktitle = {Rudolph {C}arnap, Logical Empiricist},
  publisher = {D. Reidel Publishing Co.},
  year = {1975},
  editor = {Jaakko Hintikka},
  pages = {271--292},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {pragmatics;foundations-of-semantcis;}
  }

@book{ kasher:1976a,
  editor = {Asa Kasher},
  title = {Language in Focus},
  publisher = {D. Reidel Publishing Co.},
  year = {1976},
  address = {Dordrecht},
  rtnote = {In RHT Collection.  LLP edited shelves.},
  contentnote = {TC:
	1. Alfred J. Ayer, "Identity and Reference", pp. 3--24
	2. Peter T. Geach, "Back-Reference", pp. 25--39
	3. Fred Sommers, "On Predication and Logical Syntax", pp. 41--54
	4. Eric Walther and Eddy M. Zemach, "Substance Logic", pp. 55--74
	5. M. Glouberman, "Prime Matter, Predication, and the Semantics
		of Feature-Placing", pp.75--104
	6. Jaakko Hintikka, "A Counterexample to {T}Arski-Type Truth
		Definitions as Applied to Natural Languages", pp. 107--112
	7. Robert L. Martin and Peter Woodruff, "On Representing
		`True-in{$L$}' in {$L$}", pp. 113--117
	8. Richmond H. Thomason, "Necessity, Quotation, and Truth:
		An Indexical Theory", pp. 119--138
	9. Hans G. Herzberger, "Propositional Policies", pp.139--164
       10. Jerrold J. Katz, "The Dilemma between Orthodoxy and
       		Identity", pp. 165--175
       11. Robert C. Stalnaker, "Indicative Conditionals", pp. 179--196
       12. Asa Kasher, "Conversational Maxims and Rationality", pp. 197--216
       13. Hans-Heinrich Lieb, "On Relating Pragmaticcs, Linguistics, and
				Non-Semantic Disciplines", pp. 217--249
       14. Dieter Wunderlich, "Towards an Integrated Theory of Grammatical and
				Pragmatical Meaning", pp. 251--277
       15. Noam Chomsky, "Problems and Mysteries in the Study of
       		Human Language", pp. 281--357
       16. L. Jonathan Cohen, "How Empirical is Contemporary Logical
       		Empiricism?", pp. 359--376
       17. Helmut Schnelle, "Basic Aspects of the Theory of Grammatical
       		Form", pp. 377--404
       18. Manfred Bierwisch, "Social Differentiation of Language
       		Structure", pp. 407--456
       19. Avishai Margalit, "Talking with Children, {P}iaget
       		Style", pp. 457--471
       20. Joseph Agassi, "Can Adults Become Genuinely
       		Bilingual?", pp. 473--484
       21. Franz von Kutschera, "Epistemic Interpretation of
       		Conditionals", pp. 501--537
       22. Renate Bartsch, "The Role of Categorial Syntax in
       		Grammatical Theory", pp. 503--539
       23. Richard M. Martin, "On {H}arris' Systems of Report and
       		Paraphrase", pp.541--568
       24. Dov M. Gabbay, "Two-Dimensional Propositional Tense
       		Logics", 567--623
       25. Marcello Dascal, "Levels of Meaning and Moral
       		Discourse", pp. 587--625
       26. Irving M. Copi, "A Problem in {P}lato's Laws", pp. 627--639
       27. Roland Posner, "Discourse as a Means to
       		Enlightenment", pp. 641--660
       28. Gershon Weiler, "Points of View", pp. 661--674
   },
  topic = {nl-semantics;pragmatics;philosophy-of-language;}
 }

@article{ kasher:1976b,
  author = {Asa Kasher},
  title = {Logical Rationalism: on Degrees of Adequacy for Semantics
 	of Natural Languages},
  journal = {Philosophica},
  year = {1976},
  volume = {18},
  pages = {139--157},
  missinginfo = {number},
  topic = {nl-semantics;foundations-of-semantics;}
 }

@incollection{ kasher:1976c,
  author = {Asa Kasher},
  title = {Conversational Maxims and Rationality},
  booktitle = {Language in Focus},
  publisher = {D. Reidel Publishing Co.},
  year = {1976},
  editor = {Asa Kasher},
  pages = {197--216},
  address = {Dordrecht},
  topic = {implicature;pragmatics;}
  }

@incollection{ kasher:1979a,
  author = {Asa Kasher},
  title = {On Pragmatic Demarcation of a Language},
  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 = {188--194},
  topic = {pragmatics;philosophy-of-language;}
  }

@incollection{ kasher:1979b,
  author = {Asa Kasher},
  title = {Logical Rationalism and Formal Semantics of Natural
  	Languages: On Conditions of Adequacy},
  booktitle = {Syntax and Semantics 10},
  publisher = {Academic Press},
  year = {1979},
  pages = {257--273},
  address = {New York},
  rtnote = {In RHT collection.},
  topic = {foundations-of-semantics;nl-semantics;}
  }

@incollection{ kasher:1979c,
  author = {Asa Kasher},
  title = {What Is a Theory of Use?},
  booktitle = {Meaning and Use: Papers Presented at the Second
		{J}erusalem Philosophy Encounter},
  publisher = {D. Reidel Publishing Co.},
  year = {1979},
  editor = {Avishai Margalit},
  pages = {37--55},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {foundations-of-pragmatics;pragmatics;}
  }

@article{ kasher:1982a,
  author = {Asa Kasher},
  title = {Gricean Inference Reconsidered},
  journal = {Philosophia},
  year = {1982},
  volume = {29},
  pages = {25--44},
  number = {1},
  rtnote = {In RHT collection.},
  topic = {implicature;pragmatics;}
  }

@article{ kasher:1984a,
  author = {Asa Kasher},
  title = {On the Psychological Reality of Pragmatics},
  journal = {Journal of Pragmatics},
  year = {1984},
  volume = {8},
  pages = {539--557},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {pragmatics;foundations-of-pragmatics;psychological-reality;}
  }

@article{ kasher:1984b1,
  author = {Asa Kasher},
  title = {Pragmatics and the Modularity of Mind},
  journal = {Journal of Pragmatics},
  year = {1984},
  volume = {8},
  pages = {539--557},
  missinginfo = {number},
  xref = {Republication: kasher:1984b2.},
  topic = {pragmatics;foundations-of-pragmatics;cognitive-modularity;}
  }

@incollection{ kasher:1984b2,
  author = {Asa Kasher},
  title = {Pragmatics and the Modularity of Mind},
  booktitle = {Pragmatics: A Reader},
  publisher = {Oxford University Press},
  year = {1991},
  editor = {Steven Davis},
  pages = {567--582},
  address = {Oxford},
  xref = {Republication of: kasher:1984b2.},
  topic = {pragmatics;foundations-of-pragmatics;cognitive-modularity;}
  }

@incollection{ kasher:1987a,
  author = {Asa Kasher},
  title = {Justification of Speech, Acts, and Speech Acts},
  booktitle = {New Directions in Semantics, Volume 2},
  publisher = {Academic Press},
  year = {1987},
  editor = {Ernest LePore},
  pages = {281--303},
  address = {London},
  topic = {speech-acts;pragmatics;philosophy-of-language;}
  }

@book{ kasher:1989a,
  editor = {Asa Kasher},
  title = {Cognitive Aspects of Language Use},
  publisher = {Elsevier Science},
  year = {1989},
  address = {Amsterdam},
  ISBN = {0444871500 (U.S.)},
  rtnote = {UMich Graduate Library, P 302 .C551 1989.},
  topic = {pragmatics;psycholinguistics;discourse;discourse-analysis;}
 }

@book{ kasher:1998a,
  editor = {Asa Kasher},
  title = {Pragmatics: Critical Concepts.  Volume {I}:
		Dawn and Delineation},
  publisher = {Routledge},
  year = {1998},
  address = {London},
  ISBN = {0415169348 (v. 1)},
  rtnote = {Graduate Library Call No: P 99.4 .P72 P7391 1998},
  topic = {pragmatics;}
 }

@book{ kasher:1998b,
  editor = {Asa Kasher},
  title = {Pragmatics: Critical Concepts.  Volume {II}:
		Speech Act Theory and Particular Speech Acts},
  publisher = {Routledge},
  year = {1998},
  address = {London},
  ISBN = {0415169356 (v. 2)},
  rtnote = {Graduate Library Call No: P 99.4 .P72 P7391 1998},
  topic = {pragmatics;speech-acts;}
 }

@book{ kasher:1998c,
  editor = {Asa Kasher},
  title = {Pragmatics: Critical Concepts.  Volume {III}:
		Indexicals and Reference},
  publisher = {Routledge},
  year = {1998},
  address = {London},
  contentnote = {TC:
	1. Keith S. Donnellan, "Reference and Definite Descriptions"
	2. Richard Montague, "Pragmatics"
	3. Howard K. Wettstein, "How to Bridge the Gap Between Meaning
			and Reference"
	4. Steven Davis, "Linguistic Semantics, Philosophical Semantics
			and Pragmatics"
	5. Jorge Hankamer and Ivan Sag, "Deep and Surface Anaphora"
	6. Ray Jackendoff, "Pragmatic Anaphors and Categories of Concepts"
	7. Geoffrey Nunberg, "Indexicality and Reference"
	8. Amichai Kronfeld, "Reference and Computation"
  },
  topic = {reference;indexicals;}
 }

@book{ kasher:1998d,
  editor = {Asa Kasher},
  title = {Pragmatics: Critical Concepts.  Volume {IV}:
		Presupposition, Implicature, and Indirect Speech Acts},
  publisher = {Routledge},
  year = {1998},
  address = {London},
  ISBN = {0415169372 (v. 4)},
  rtnote = {Graduate Library Call No: P 99.4 .P72 P7391 1998},
  topic = {pragmatics;presupposition;implicature;}
 }

@book{ kasher:1998e,
  editor = {Asa Kasher},
  title = {Pragmatics: Critical Concepts.  Volume {V}:
		Communication, Interaction, and Discourse},
  publisher = {Routledge},
  year = {1998},
  address = {London},
  ISBN = {0415169380 (v. 5)},
  rtnote = {Graduate Library Call No: P 99.4 .P72 P7391 1998},
  topic = {pragmatics;discourse;}
 }

@book{ kasher:1998f,
  editor = {Asa Kasher},
  title = {Pragmatics: Critical Concepts.  Volume {VI}:
		Grammar, Psychology, and Sociology},
  publisher = {Routledge},
  year = {1998},
  address = {London},
  ISBN = {0415169933 (v. 6)},
  rtnote = {Graduate Library Call No: P 99.4 .P72 P7391 1998},
  topic = {pragmatics;sociolinguistics;}
 }

@book{ kasher-lappin:1977a,
  author = {Asa Kasher and Shalom Lappin},
  title = {Philosophical Linguistics: An Introduction},
  publisher = {Scriptor Verlag},
  year = {1977},
  address = {Kronberg},
  ISBN = {0728602792},
  rtnote = {UMich Graduate Library, P 98 .L37 1998},
  topic = {nl-semantics;philosophy-of-language;}
 }

@incollection{ kasif:1989a,
  author = {Simon Kasif},
  title = {Parallel Solutions to Constraint Satisfaction Problems},
  booktitle = {{KR}'89: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1989},
  editor = {Ronald J. Brachman and Hector J. Levesque and Raymond Reiter},
  pages = {180--188},
  address = {San Mateo, California},
  topic = {kr;kr-course;constraint-satisfaction;parallel-processing;}
  }

@article{ kasif:1990a,
  author = {Simon Kasif},
  title = {On the Parallel Complexity of Discrete Relaxation in
  	Constraint Satisfaction Networks},
  journal = {Artificial Intelligence},
  year = {1990},
  volume = {45},
  number = {3},
  pages = {275--286},
  topic = {constraint-satisfaction;constraint-networks;
  	complexity-in-AI;relaxation-methods;}
  }

@article{ kasif-delcher:1994a,
  author = {Simon Kasif and Arthur L. Delcher},
  title = {Local Consistency in Parallel Constraint Satisfaction
  	Networks},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {69},
  number = {1--2},
  pages = {307--327},
  acontentnote = {Abstract:
     In this paper we present several basic techniques for achieving
     parallel execution of constraint networks.  The major result
     supported by our investigations is that the parallel complexity
     of constraint networks is critically dependent on subtle
     properties of the network that do not influence its sequential
     complexity.  },
  topic = {constraint-satisfaction;constraint-networks;
  	complexity-in-AI;parallel-processing;consistency-checking;}
  }

@article{ kasif-etal:1998a,
  author = {Simon Kasif and Stven Salzberg and David Waltz and John
  	Rachlin and David K. Aha},
  title = {A Probabilistic Framework for Memory-Based Reasoning},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {104},
  number = {1--2},
  pages = {287--311},
  topic = {probabilistic-reasoning;memory-based-reasoning;}
 }

@article{ kask-dechter_r:2001a,
  author = {Kalev Kask and Rina Dechter},
  title = {A General Scheme for Automatic Generation of Search
  	Heuristics from Specification Dependencies},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {129},
  number = {1--2},
  pages = {91--131},
  topic = {heuristics;search;metareasoning;}
  }

@article{ kask-etal:2005a,
  author = {Kalev Kask and Rina Dechter and Javier Larrosa and Avi
  		Dechter},
  title = {Unifying Tree Decompositions for Reasoning in Graphical
  		Models},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {166},
  number = {1--2},
  pages = {165--193},
  topic = {graph-based-reasoning;}
  }

@phdthesis{ kasper:1987a,
  author = {Robert T. Kasper},
  title = {Feature Structures: A Logical Theory with Application to
  	Language Analysis},
  school = {Computer Science Department, University of Michigan},
  year = {1987},
  type = {Ph.{D}. Dissertation},
  address = {Ann Arbor, Michigan},
  contentnote = {Summary: Feature structures are used for
     the representation of linguistic information in several grammar
     formalisms for natural language processing. These structures are
     a type of directed graph, in which arcs are labeled by names of
     features, and nodes correspond to values of features.  Note: As
     a step in constructing a parser for a large Systemic Functional
     Grammar of English, a general mapping is described from systemic
     descriptions to the type of feature structures used in
     Functional Unification Grammar. Experiments carried out with a
     trial version of the parser revealed that existing methods of
     unification could not effectively handle descriptions containing
     a large amount of disjunction. Subtle difficulties were also
     discovered in defining a precise interpretation for some kinds
     of disjunctive feature descriptions. In order to clarify the
     interpretation of feature descriptions, a new sort of logic is
     developed. The formulas of this logic can be precisely
     interpreted as descriptions of sets of feature structures.  A
     complete calculus of equivalences is defined for these formulas,
     providing a sound basis for the simplification of feature
     descriptions. The consistency problem for formulas of the logic
     is shown to be NP-complete, with disjunction as the dominant
     source of complexity. This result indicates that any complete
     unification algorithm for disjunctive descriptions will probably
     require exponential time in the worst-case. However, an
     algorithm has been designed with a much better average
     performance, by factoring formulas according to laws of
     equivalence and using a method of successive approximation. This
     algorithm has been implemented and tested as part of the
     experimental parser for Systemic Functional Grammar with
     favorable results. The implementation also extends the PATR-II
     grammar formalism, by providing an effective way to use
     disjunction in the statement of a grammar. The methods presented
     are generally applicable to any computational system which uses
     feature structures, as well as to the description of large
     grammars for natural language analysis.  },
  topic = {feature-structures;feature-structure-logic;}
  }

@article{ kasper:1992a,
  author = {Walter Kasper},
  title = {Presuppositions, Composition, and Simple Subjunctives},
  journal = {Journal of Semantics},
  year = {1992},
  volume = {9},
  number = {4},
  pages = {307--331},
  topic = {presupposition;discourse-representation-theory;subjunctive-mood;}
  }

@incollection{ kasper-etal:1999a,
  author = {Robert Kasper and Paul Davis and Craige Roberts},
  title = {An Integrated Approach to Reference and Presupposition
  	Resolution},
  booktitle = {The Relation of Discourse/Dialogue Structure and
  	Reference},
  publisher = {Association for Computational Linguistics},
  year = {1999},
  editor = {Dan Cristea and Nancy Ide and Daniel Marcu},
  pages = {1--10},
  address = {New Brunswick, New Jersey},
  topic = {anaphora;reference-resolution;presupposition;}
  }

@unpublished{ kasper-rounds:1985a1,
  author = {Robert Kasper and William C. Rounds},
  title = {A Logical Semantics for Feature Structures},
  year = {1985},
  note = {Unpublished manuscript, Computer Science Department,
  	University of Michigan.},
  rtnote = {In RHT collection.},
  xref = {Conference publication: kasper-rounds:1985a2.},
  topic = {feature-structure-grammar;feature-structure-logic;
  	unification-of-FSs;}
  }

@inproceedings{ kasper-rounds:1985a2,
  author = {Robert Kasper and William C. Rounds},
  title = {A Logical Semantics for Feature Structures},
  booktitle = {Proceedings of the 24th Annual Meeting of the Association for
  	Computational Linguistics},
  year = {1986},
  pages = {235--242},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  missinginfo = {editor},
  xref = {Privately circulated version: kasper-rounds:1985a1.},
  topic = {feature-structure-grammar;feature-structure-logic;
  	unification-of-FSs;}
 }

@article{ kasper-rounds:1990a,
  author = {Robert Kasper and William C. Rounds},
  title = {The Logic of Unification in Grammar},
  journal = {Linguistics and Philosophy},
  year = {1990},
  volume = {13},
  number = {1},
  pages = {35--58},
  topic = {feature-structure-grammar;feature-structure-logic;
  	unification-of-FSs;}
  }

@incollection{ kass:1989a,
  author = {Robert Kass},
  title = {Student Modeling and Intelligent Tutoring---Implications
  	for User Modeling},
  booktitle = {User Models in Dialog Systems},
  publisher = {Springer-Verlag},
  year = {1989},
  editor = {Alfred Kobsa and Wolfgang Wahlster},
  pages = {386--410},
  address = {Berlin},
  topic = {user-modeling;intelligent-tutoring;}
 }

@article{ kastner:2004a,
  author = {Ruth E. Kastner},
  title = {The Nature of the Controversy over Time-Symmetric Quantum
  		Counterfactuals},
  journal = {Philosophy of Science},
  year = {2004},
  volume = {71},
  number = {1},
  pages = {145--163},
  topic = {quantum-mechanics;conditionals;}
  }

@article{ kastner-etal:1986a,
  author = {John Kastner and Chidanand Apte and James
	  Griesmer and Se June Hong and Maurice Karnaugh and Eric
	  Mays and Yoshio Tozawa},
  title = {A Knowledge-Based Consultant for Financial Marketing},
  journal = {AI Magazine},
  year = {1986},
  volume = {7},
  number = {5},
  pages = {71--79},
  topic = {automatic-consulting;expert-systems;}
      }

@incollection{ katagiri:2000a,
  author = {Yasuhiro Katagiri},
  title = {An Implicit Argument Analysis of {J}apanese Zeros},
  booktitle = {Logic, Language, and Computation, Volume 3},
  publisher = {CSLI Publications},
  year = {2000},
  editor = {Lawrence Cavedon and Patrick Blackburn and Nick Braisby
  	and Atushi Shimojina},
  pages = {161--178},
  address = {Stanford, California},
  topic = {zero-pronouns;Japanese-language;}
  }

@book{ kates:1980a,
  author = {Carol A. Kates},
  title = {Pragmatics and Semantics: An Empiricist Theory},
  publisher = {Cornell University Press},
  year = {1980},
  address = {Ithaca, New York},
  rtnote = {In RHT collection.},
  topic = {semantics;pragmatics;metaphor;}
 }

@article{ katovsky:1973a,
  author = {Dieter Katovsky},
  title = {Causatives},
  journal = {Foundations of Language},
  year = {1973},
  volume = {10},
  number = {2},
  pages = {255--315},
  topic = {causatives;}
  }

@inproceedings{ katsuno-mendelzon:1989a,
  author = {Hirofumi Katsuno and Alberto Mendelzon},
  title = {A Unified View of Propositional Knowledge Base Updates},
  booktitle = {Proceedings of the Eleventh International Joint
  	Conference on Artificial Intelligence},
  year = {1989},
  editor = {N.S. Sridharan},
  pages = {387--394},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  rtnote = {In RHT collection.},
  topic = {belief-revision;}
  }

@incollection{ katsuno-mendelzon:1991a,
  author = {Hirofumi Katsuno and Alberto Mendelzon},
  title = {On the Difference Between Updating a Knowledge Base and
  	Revising It},
  booktitle = {{KR}'91: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1991},
  editor = {James F. Allen and Richard Fikes and Erik Sandewall},
  pages = {387--394},
  address = {San Mateo, California},
  xref = {Extended version in gardenfors:1992b.},
  topic = {belief-revision;}
  }

@article{ katsuno-mendelzon:1991b,
  author = {Hirofumi Katsuno and Alberto Mendelzon},
  title = {Propositional Knowledge Base Revision and Minimal Change},
  journal = {Artificial Intelligence},
  year = {1991},
  volume = {52},
  number = {3},
  pages = {263--294},
  topic = {kr;belief-revision;kr-course;}
  }

@incollection{ katsuno-mendelzon:1992a,
  author = {Hirofumi Katsuno and Alberto Mendelzon},
  title = {On the Difference Between Updating a Knowledge Base and
  	Revising It},
  booktitle = {Belief Revision},
  publisher = {Cambridge University Press},
  year = {1992},
  editor = {Peter G\"ardenfors},
  pages = {183--203},
  address = {Cambridge},
  xref = {Preliminary version in {KR}'91; see katsuno-mendelzon:1991a.},
  topic = {belief-revision;}
  }

@incollection{ katsuno-satch:1995a,
  author = {Hirofumi Katsuno and Ken Satoh},
  title = {A Unified View of Consequence Relation, Belief Revision,
  	and Conditional Logic},
  booktitle = {Conditionals: From Philosophy to Computer Science},
  publisher = {Oxford University Press},
  year = {1995},
  editor = {Gabriella Crocco and Luis Fari\~nas del Cerro and Andreas Herzig},
  pages = {33--65},
  address = {Oxford},
  topic = {conditionals;belief-revision;}
  }

@inproceedings{ katsuno-satoh:1991a,
  author = {Hirofumi Katsuno and K. Satoh},
  title = {A Unified View of Consequence Relation, Belief Revision
  	and Conditional Logic},
  booktitle = {Proceedings of the Twelfth International Joint
  	Conference on Artificial Intelligence},
  year = {1991},
  editor = {Barbara Grosz and John Mylopoulos},
  pages = {406--412},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  missinginfo = {A's 1st name},
  topic = {conditionals;belief-revision;}
  }

@article{ katz_bj:1999a,
  author = {Bernard J. Katz},
  title = {On a Supposed Counterexample to Modus Ponens},
  journal = {The Journal of Philosophy},
  year = {1999},
  volume = {95},
  number = {8},
  pages = {404--415},
  xref = {Criticism of: mcgee:1985a.},
  topic = {conditionals;belief-revision;}
  }

@article{ katz_fm-katz_jj:1997a,
  author = {Fred M. Katz and Jerrold J. Katz},
  title = {Is Necessity the Mother of Intention?},
  journal = {The Philosophical Review},
  year = {1977},
  volume = {86},
  number = {2},
  pages = {70--96},
  rtnote = {Reading notes on file.},
  rtnote = {In RHT collection.},
  topic = {intensionality;philosophy-of-language;}
  }

@incollection{ katz_g:2003a,
  author = {Graham Katz},
  title = {A Modal Account of the English Present Perfect Puzzle},
  booktitle = {Proceedings from Semantics and Linguistic Theory {XIII}},
  publisher = {Cornell University},
  year = {2003},
  editor = {Robert B. Young and Yuping Zhou},
  pages = {145--161},
  address = {Ithaca, New York},
  topic = {nl-semantics;tense-aspect;perfective-aspect;}
  }

@article{ katz_jj:1964a,
  author = {Jerrold J. Katz},
  title = {Semantic Theory and the Meaning of `Good'\,},
  journal = {The Journal of Philosophy},
  year = {1964},
  volume = {62},
  number = {23},
  pages = {739--766},
  topic = {nl-semantics;analytic-philosophy;`good';}
  }

@article{ katz_jj:1965a,
  author = {Jerrold J. Katz},
  title = {The Relevance of Linguistics to Philosophy},
  journal = {The Journal of Philosophy},
  year = {1965},
  volume = {62},
  number = {20},
  pages = {590--602},
  xref = {Commentary: vendler:1965a, wilson_nl:1965a.},
  topic = {philosophy-and-linguistics;}
  }

@book{ katz_jj:1966a,
  author = {Jerrold J. Katz},
  title = {The Philosophy of Language},
  publisher = {Harper and Row Publishers},
  year = {1966},
  address = {New York},
  xref = {Review: wilson_nl:1967a.},
  topic = {philosophy-of-language;}
 }

@book{ katz_jj:1972a,
  author = {Jerrold J. Katz},
  title = {Semantic Theory},
  publisher = {Harper and Row Publishers},
  year = {1972},
  address = {New York},
  topic = {nl-semantics;presuposition;}
 }

@incollection{ katz_jj:1975a,
  author = {Jerold J. Katz},
  title = {Logic and Language: An Examination of
     		Recent Criticisms of Intensionalism},
  booktitle = {Language, Mind, and Knowledge.  {M}innesota Studies in
  	the Philosophy of Science, Vol. 7},
  publisher = {University of Minnesota Press},
  year = {1975},
  editor = {Keith Gunderson},
  pages = {36--130},
  address = {Minneapolis, Minnesota},
  topic = {philosophy-of-language;}
  }

@incollection{ katz_jj:1976a,
  author = {Jerrold J. Katz},
  title = {The Dilemma between Orthodoxy and Identity},
  booktitle = {Language in Focus},
  publisher = {D. Reidel Publishing Co.},
  year = {1976},
  editor = {Asa Kasher},
  pages = {165--175},
  address = {Dordrecht},
  topic = {analyticity;}
  }

@incollection{ katz_jj:1976b,
  author = {Jerrold J. Katz},
  title = {Global Rules and Surface Structure Interpretation},
  booktitle = {An Integrated Theory of Linguistic Ability},
  publisher = {Thomas Y. Crowell Co.},
  year = {1976},
  editor = {Thomas G. Bever and Jerrold J. Katz and D. Terence Langendoen},
  pages = {415--425},
  address = {New York},
  topic = {generative-semantics;}
  }

@article{ katz_jj:1977a,
  author = {Jerrold J. Katz},
  title = {The Advantage of Semantic Theory over Predicate Calculus in
	the Representation of Logical Form in Natural Language},
  journal = {The Monist},
  year = {1977},
  volume = {60},
  pages = {303--326},
  missinginfo = {number},
  topic = {nl-semantics;}
  }

@incollection{ katz_jj:1978a,
  author = {Jerrold J. Katz},
  title = {The Neoclassical Theory of Reference},
  booktitle = {Contemporary Perspectives in the Philosophy of Language},
  publisher = {University of Minnesota Press},
  year = {1978},
  editor = {Peter A. French and Theodore E. {Uehling, Jr.} and Howard
  	K. Wettstein},
  pages = {103--124},
  address = {Minneapolis},
  topic = {reference;philosophy-of-language;}
  }

@incollection{ katz_jj:1978b,
  author = {Jerrold J. Katz},
  title = {Effability and Translation},
  booktitle = {Meaning and Translation: Philosophical and Logical
  	Approaches},
  publisher = {New York University Press},
  year = {1978},
  editor = {Franz Guenthner and Monica Guenthner-Reutter},
  pages = {191--234},
  address = {New York},
  topic = {foundations-of-semantics;}
  }

@article{ katz_jj:1978c,
  author = {Jerrold J. Katz},
  title = {The Theory of Semantic Representation},
  journal = {Erkenntnis},
  year = {1978},
  volume = {13},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;}
  }

@book{ katz_jj:1984a,
  editor = {Jerrold J. Katz},
  title = {The Philosophy of Linguistics},
  publisher = {Oxford University Press},
  year = {1984},
  address = {Oxford},
  ISBN = {019875065X},
  rtnote = {UMich Graduate Library: P121 .P4371 1985},
  topic = {philosophy-of-linguistics;}
 }

@incollection{ katz_jj:1984b,
  author = {Jerrold J. Katz},
  title = {Introduction},
  booktitle = {The Philosophy of Linguistics},
  publisher = {Oxford University Press},
  year = {1984},
  editor = {Jerrold J. Katz},
  pages = {1--16},
  address = {Oxford},
  rtnote = {In RHT collection.},
  topic = {philosophy-of-linguistics;foundations-of-semantics;}
  }

@incollection{ katz_jj:1987a,
  author = {Jerrold J. Katz},
  title = {Common Sense in Semantics},
  booktitle = {New Directions in Semantics, Volume 2},
  publisher = {Academic Press},
  year = {1987},
  editor = {Ernest LePore},
  pages = {157--233},
  address = {London},
  contentnote = {A statement of Katz's views on semantics},
  topic = {nl-semantics;}
  }

@incollection{ katz_jj:1996a,
  author = {Jerrold J. Katz},
  title = {Semantics in Linguistics and Philosophy:  An
	Intentionalist Perspective},
  booktitle = {The Handbook of Contemporary Semantic Theory},
  publisher = {Blackwell Publishers},
  year = {1996},
  address = {Oxford},
  editor = {Shalom Lappin},
  pages = {559--616},
  topic = {foundations-of-semantics;}
  }

@article{ katz_jj:2001a,
  author = {Jerrold J. Katz},
  title = {The End of Milleanism: Multiple Bearers, Improper
  	Names, and Compositional Meaning},
  journal = {The Journal of Philosophy},
  year = {2000},
  volume = {98},
  number = {3},
  pages = {137--166},
  topic = {semantics-of-proper-names;}
  }

@article{ katz_jj:2002a,
  author = {Jerrold J. Katz},
  title = {Mathematics and Metaphilosophy},
  journal = {The Journal of Philosophy},
  year = {2002},
  volume = {99},
  number = {7},
  pages = {362--390},
  topic = {philosophy-of-mathematics;philosophical-realism;}
  }

@incollection{ katz_jj-bever:1976a,
  author = {Jerrold J. Katz and Thomas G. Bever},
  title = {The Fall and Rise of Empiricism},
  booktitle = {An Integrated Theory of Linguistic Ability},
  publisher = {Thomas Y. Crowell Co.},
  year = {1976},
  editor = {Thomas G. Bever and Jerrold J. Katz and D. Terence Langendoen},
  pages = {11--64},
  address = {New York},
  topic = {linguistics-methodology;foundations-of-linguistics;}
  }

@article{ katz_jj-fodor_ja:1963a1,
  author = {Jerrold J. Katz and Jerry A. Fodor},
  title = {The Structure of a Semantic Theory},
  journal = {Language},
  year = {1963},
  volume = {39},
  number = {2},
  pages = {170--210},
  rtnote = {In RHT collection.},
  contentnote = {Evidently this contains the claim that single-sentence
  	semantics accounts for discourse because a discourse is just
	a big S with many "and"s.},
  rtnote = {Reading notes on file.},
  xref = {Republication: katz_jj-fodor_ja:1963a2.},
  topic = {nl-semantics;pragmatics;semantic-features;}
  }

@incollection{ katz_jj-fodor_ja:1963a2,
  author = {Jerrold J. Katz and J.A. Fodor},
  title = {The Structure of a Semantic Theory},
  booktitle = {The Structure of Language: Readings in the Philosophy of
  	Language},
  publisher = {Prentice-Hall},
  year = {1964},
  editor = {J.A. Fodor and Jerrold J. Katz},
  pages = {479--518},
  address = {Englewood Cliffs, New Jersey},
  missinginfo = {A's 1st name.},
  xref = {Republication of: katz_jj-fodor_ja:1963a1.},
  topic = {nl-semantics;pragmatics;semantic-features;}
  }

@article{ katz_jj-langendoen:1976a1,
  author = {Jerrold J. Katz and D. Terence Langendoen},
  title = {Pragmatics and Presupposition},
  journal = {Language},
  year = {1976},
  volume = {52},
  pages = {1--17},
  missinginfo = {number},
  xref = {Republication: katz_jj-langendoen:1976a2.},
  rtnote = {pragmatics-course;},
  topic = {presupposition;pragmatics;}
  }

@incollection{ katz_jj-langendoen:1976a2,
  author = {Jerrold J. Katz and D. Terence Langendoen},
  title = {Pragmatics and Presupposition},
  booktitle = {An Integrated Theory of Linguistic Ability},
  publisher = {Thomas Y. Crowell Co.},
  year = {1976},
  editor = {Thomas G. Bever and Jerrold J. Katz and D. Terence Langendoen},
  pages = {393--413},
  address = {New York},
  xref = {Journal publication: katz_jj-langendoen:1976a1.},
  topic = {presupposition;}
  }

@book{ katz_jj-postal:1964a,
  editor = {Jerrold J. Katz and Paul M. Postal},
  title = {An Integrated Theory of Linguistic Descriptions},
  publisher = {The {MIT} Press},
  year = {1964},
  address = {Cambridge, Massachusetts},
  xref = {Review: staal:1965a.},
  topic = {transformational-grammar;nl-semantics;}
 }

@article{ katz_jj-postal:1991a,
  author = {Jerrold J. Katz and Paul M. Postal},
  title = {Realism vs. Conceptualism in Linguisics},
  journal = {Linguistics and Philosophy},
  year = {1991},
  volume = {14},
  number = {5},
  pages = {515--554},
  xref = {Commentary: higginbotham:1991a, israel_dj:1991b, soames:1991a.},
  topic = {philosophy-of-linguistics;}
  }

@article{ katz_l:1999a,
  author = {Leo Katz},
  title = {Preempting Oneself: The Right and Duty to Forestall One's
  	Own Wrongdoing},
  journal = {Legal Theory},
  year = {1999},
  volume = {5},
  number = {3},
  pages = {339--362},
  topic = {predicted-behavior-and-obligation;deontic-logic;
  		branching-time;}
  }

@article{ katz_m:1982a,
  author = {Michael Katz},
  title = {The Logic of Approximation in Quantum Theory},
  journal = {Journal of Philosophical Logic},
  year = {1982},
  volume = {11},
  number = {2},
  pages = {215--228},
  topic = {quantum-logic;}
  }

@inproceedings{ katz_s-taubenfeld:1986a,
  author = {S. Katz and G. Tauvenfeld},
  title = {What Processes Know: Definitions and Methods},
  booktitle = {Proceedings of the Ninth {ACM} Symposium on
  	Principles of Distributed Computing},
  year = {1986},
  pages = {249--262},
  organization = {{ACM}},
  missinginfo = {A's 1st name, editor, address, publisher},
  topic = {epistemic-logic;distributed;distributed-systems;}
  }

@article{ katzir:2007a,
  author = {Roni Katzir},
  title = {Structurally Defined Alternatives},
  journal = {Linguistics and Philosophy},
  year = {2007},
  volume = {30},
  number = {6},
  pages = {669--690},
  topic = {scalar-implicature;alternatives;}
  }

@incollection{ kaufman_sg:1991a,
  author = {Stephen G. Kaufman},
  title = {A Formal Theory of Spatial Reasoning},
  booktitle = {{KR}'91: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1991},
  editor = {James F. Allen and Richard Fikes and Erik Sandewall},
  pages = {347--356},
  address = {San Mateo, California},
  topic = {kr;spatial-reasoning;kr-course;spatial-representation;}
  }

@article{ kaufmann_s:2000a,
  author = {Stefan Kaufmann},
  title = {Second-Order Cohesion},
  journal = {Computational Intelligence},
  year = {2000},
  volume = {16},
  number = {4},
  pages = {511--524},
  rtnote = {In RHT collection.},
  topic = {text-coherence;statistical-nlp;}
  }

@inproceedings{ kaufmann_s:2001a,
  author = {Stefan Kaufmann},
  title = {Probabilities of Conditionals},
  booktitle = {Proceedings from Semantics and Linguistic Theory {XI}},
  publisher = {Cornell University},
  year = {2001},
  editor = {Rachel Hastings and Brendan Jackson and Zsofia Zvolenszky},
  pages = {248--267},
  address = {Ithaca, New York},
  topic = {nl-semantics;conditionals;probability-semantics;CCCP;}
  }

@unpublished{ kaufmann_s:2004a,
  author = {Stefan Kaufmann},
  title = {A Modal Analysis of Expressive Meaning: {G}erman `ja'
  	under Quantifiers},
  year = {2004},
  note = {Unpublished manuscript, Linguistics Department,
  		Northwestern University},
  rtnote = {In RHT collection.},
  topic = {pragmatics;presupposition;German-language;}
  }

@unpublished{ kaufmann_s:2004b,
  author = {Stefan Kaufmann},
  title = {On the Lumping Semantics of Conditionals},
  year = {2004},
  note = {Forthcoming, Journal of Semantics},
  rtnote = {In RHT collection.},
  topic = {conditionals;}
  }

@article{ kaufmann_s:2004c,
  author = {Stefan Kaufmann},
  title = {Conditioning against the Grain},
  journal = {Journal of Philosophical Logic},
  year = {2004},
  volume = {33},
  number = {6},
  pages = {583--606},
  xref = {Commentary: douven:2008a.},
  topic = {cccp;conditionals;probability;}
  }

@article{ kaufmann_s:2005a,
  author = {Stefan Kaufmann},
  title = {Conditional Prediction},
  journal = {Linguistics and Philosophy},
  year = {2005},
  volume = {28},
  number = {2},
  pages = {181--231},
  topic = {conditionals;CCCP;}
  }

@unpublished{ kaufmann_s:2005b,
  author = {Stefan Kaufmann},
  title = {Conditional Truth and Future Reference},
  year = {2006},
  note = {Unpublished manuscript, Northwestern University.},
  rtnote = {In RHT collection.},
  rtnote = {Forthcoming, Journal of Semantics},
  topic = {condtionals;nl-tense;tense-logic;}
  }

@article{ kaufmann_s:2009a,
  author = {Stefan Kaufmann},
  title = {Conditionals Right and Left: Probabilities for the
  		Whole Family},
  journal = {Journal of Philosophical Logic},
  year = {2009},
  volume = {38},
  number = {1},
  pages = {1--53},
  topic = {conditionals;probability-semantics;}
  }

@unpublished{ kaufmann_s-arita:2004a,
  author = {Stefan Kaufmann and Setsuko Arita},
  title = {Conditional Uses of the Connective \emph{tara}: Temporal
  		and Modal Dimensions},
  year = {2004},
  note = {Unpublished manuscript, Northwestern University},
  rtnote = {In RHT collection.},
  topic = {conditionals;Japanese-language;}
  }

@incollection{ kaufmann_s-etal:2006a,
  author = {Stefan Kaufmann and Cleo Condoravdi and Valentina Harizanov},
  title = {Formal Approaches to Modality},
  booktitle = {The Expression of Modality},
  publisher = {Mouton de Gruyter},
  year = {2006},
  editor = {William Frawley},
  pages = {72--206},
  address = {The Hague},
  rtnote = {In RHT collection.  Summer, 2008.},
  topic = {modality;nl-semantics;}
  }

@techreport{ kautz:1985a,
  author = {Henry A. Kautz},
  title = {Toward a Theory of Plan Recognition},
  institution = {Computer Science Department, University of Rochester},
  number = {162},
  year = {1985},
  address = {Rochester, New York},
  topic = {plan-recognition;}
  }

@inproceedings{ kautz:1986a,
  author = {Henry A. Kautz},
  title = {The Logic of Persistence},
  booktitle = {Proceedings of the Fifth National Conference on
              Artificial Intelligence},
  year = {1986},
  editor = {Tom Kehler and Stan Rosenschein},
  pages = {401--405},
  organization = {American Association for Artificial Intelligence},
  publisher = {Morgan Kaufmann},
  address = {Los Altos, California},
  contentnote = {This is one of 3 formulations of a chronological
  	minimization solutuon to the YSP.},
  topic = {temporal-reasoning;Yale-shooting-problem;frame-problem;}
  }

@techreport{ kautz:1987a,
  author = {Henry Kautz},
  title = {A Formal Theory of Plan Recognition},
  institution = {Department of Computer Science, University of
  	Rochester},
  number = {215},
  year = {1987},
  address = {Rochester, New York},
  topic = {plan-recognition;}
  }

@incollection{ kautz:1990a,
  author = {Henry A. Kautz},
  title = {A Circumscriptive Theory of Plan Recognition},
  booktitle = {Intentions in Communication},
  publisher = {MIT Press},
  year = {1990},
  editor = {Philip R. Cohen and Jerry Morgan and Martha Pollack},
  pages = {105--133},
  address = {Cambridge, Massachusetts},
  rtnote = {Copy in RHT collection.  See files.},
  rtnote = {Reading notes on file.},
  topic = {plan-recognition;}
  }

@inproceedings{ kautz-allen_jf:1986a,
  author = {Henry A. Kautz and James F. Allen},
  title = {Generalized Plan Recognition},
  booktitle = {Proceedings of the Fifth National Conference on
              Artificial Intelligence},
  year = {1986},
  editor = {Tom Kehler and Stan Rosenschein},
  organization = {American Association for Artificial Intelligence},
  publisher = {Morgan Kaufmann},
  address = {Los Altos, California},
  missinginfo = {pages},
  rtnote = {Look at this.},
  topic = {plan-recognition;}
  }

@article{ kautz-etal:1995a,
  author = {Henry Kautz and Michael Kearns and Bart Selman},
  title = {Horn Approximations of Empirical Data},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {74},
  number = {1},
  pages = {129--145},
  acontentnote = {Abstract:
     Formal AI systems traditionally represent knowledge using
     logical formulas.  Sometimes, however, a model-based
     representation is more compact and enables faster reasoning than
     the corresponding formula-based representation.  The central idea
     behind our work is to represent a large set of models by a
     subset of characteristic models.  More specifically, we examine
     model-based representations of Horn theories, and show that
     there are large Horn theories that can be exactly represented by
     an exponentially smaller set of characteristic models.
      We show that deduction based on a set of characteristic models
     requires only polynomial time, as it does using Horn theories.
     More surprisingly, abduction can be performed in polynomial time
     using a set of characteristic models, whereas abduction using
     Horn theories is NP-complete.  Finally, we discuss algorithms for
     generating efficient representations of the Horn theory that
     best approximates a general set of models.  },
  topic = {Horn-approximationl;kr;macro-formalization;}
  }

@incollection{ kautz-etal:1996a,
  author = {Henry Kautz and David McAllester and Bart Selman},
  title = {Encoding Plans in Propositional Logic},
  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 = {374--384},
  address = {San Francisco, California},
  topic = {kr;planning;theorem-proving;kr-course;}
  }

@inproceedings{ kautz-etal:1996b,
  author = {Henry Kautz and Bart Selman and Al Milewski},
  title = {Agent Amplified Communication},
  booktitle = {Proceedings of the Thirteenth National Conference on
              Artificial Intelligence and the Eighth Innovative
	      Applications of Artificial Intelligence  Conference
	      },
  year = {1996},
  editor = {William J. Clancey and Dan Weld},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  pages = {1--9},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {information-retrieval;software-agents;}
  }

@incollection{ kautz-selman:1989a1,
  author = {Henry Kautz and Bart Selman},
  title = {Hard Problems for Simple Default Logics},
  booktitle = {{KR}'89: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1989},
  editor = {Ronald J. Brachman and Hector J. Levesque and Raymond Reiter},
  pages = {189--197},
  address = {San Mateo, California},
  xref = {Journal Publication: kautz-selman:1989a2.},
  topic = {kr;kr-course;default-logic;nonmonotonic-reasoning;
  	kr-complexity-analysis;}
  }

@article{ kautz-selman:1989a2,
  author = {Henry A. Kautz and Bart Selman},
  title = {Hard Problems for Simple Default Logics},
  journal = {Artificial Intelligence},
  year = {1991},
  volume = {49},
  number = {3},
  pages = {243--279},
  xref = {Conference Publication: kautz-selman:1989a1.},
  topic = {kr;kr-course;default-logic;nonmonotonic-reasoning;
  	kr-complexity-analysis;}
  }

@article{ kautz-selman:1991a,
  author = {Henry Kautz and Bart Selman},
  title = {Hard Problems for Simple Default Logics},
  journal = {Artificial Intelligence},
  year = {1991},
  volume = {49},
  number = {1--3},
  pages = {243--281},
  contentnote = {Explores complexity of reasoning in limited default
  	logics.  The complexity results are mostly negative.},
  rtnote = {In RHT collection.},
  topic = {complexity-theory;nonmonotonic-logic;complexity-in-AI;
  	default-logic;complexity-in-kr;}
  }

@inproceedings{ kautz-selman:1992a,
  author = {Henry Kautz and Bart Selman},
  title = {Planning as Satisfiability},
  booktitle = {Proceedings of the Tenth {E}uropean Conference on
		Artificial Intelligence},
  year = {1992},
  editor = {J. LLoyd},
  pages = {359--379},
  missinginfo = {Editor, Publisher, Address},
  topic = {planning-algorithms;sat-based-planning;
  		model-checking;}
  }

@inproceedings{ kautz-selman:1996a,
  author = {Henry Kautz and Bart Selman},
  title = {Pushing the Envelope: Planning, Propositional Logic, and
  	Stochastic Search},
  booktitle = {Proceedings of the Thirteenth National Conference on
              Artificial Intelligence and the Eighth Innovative
	      Applications of Artificial Intelligence  Conference},
  year = {1996},
  editor = {Howard Shrobe and Ted Senator},
  pages = {1194--1201},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {sat-based-planning;planning-algorithm;stochastic-search;}
  }

@inproceedings{ kautz-selman:1999a,
  author = {Henry Kautz and Bart Selman},
  title = {Unifying {SAT}-Based and Graph-Based Planning},
  booktitle = {Workshop on Logic-Based Artificial Intelligence,
	       Washington, DC, June 14--16, 1999},
  year = {1999},
  editor = {Jack Minker},
  publisher = {Computer Science Department, University of Maryland},
  address = {College Park, Maryland},
  xref = {This entry made obsolete by kautz-selman:1999b.},
  topic = {planning-algorithms;graph-based-reasoning;
  		model-checking;}
  }

@inproceedings{ kautz-selman:1999b,
  author = {Henry Kautz and Bart Selman},
  title = {Unifying {SAT}-Based and Graph-Based Planning},
  booktitle = {Proceedings of the Sixteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1999},
  editor = {Thomas Dean},
  pages = {318--325},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  topic = {planning-algorithms;graph-based-reasoning;
  		model-checking;}
  }

@incollection{ kautz-selman:2000a,
  author = {Henry Kautz and Bart Selman},
  title = {Encoding Domain Knowledge for
       		Propositional Planning},
  booktitle = {Logic-Based Artificial Intelligence},
  publisher = {Kluwer Academic Publishers},
  year = {2000},
  editor = {Jack Minker},
  pages = {169--186},
  address = {Dordrecht},
  topic = {logic-in-AI;foundations-of-planning;history-of-AI;
  	causal-reasoning;}
  }

@book{ kavanaugh-etal:1996a,
  editor = {Robert D. Kavanaugh and Betty Zimmerberg and Steven Fein},
  title = {Emotion: Interdisciplinary Perspectives},
  publisher = {Lawrence Erlbaum Associates},
  year = {1996},
  address = {Mahwah, New Jersey},
  topic = {emotion;cognitive-psychology;}
 }

@incollection{ kawamori-etal:1998a,
  author = {Masahito Kawamori and Takeshi Kawabata and Akira
		Shimazu},
  title = {Discourse Markers in Spontaneous Dialogue:
		A Corpus-Based Study of {J}apanese and {E}nglish},
  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 = {93--99},
  address = {Somerset, New Jersey},
  topic = {discourse-cue-words;discourse-structure;corpus-linguistics;}
  }

@incollection{ kawasaki-etal:1998a,
  author = {Zenshiro Kawasaki and Keiji Takida and Masato Tajima},
  title = {Language Model and Sentence Structure Manipulations for
  		Natural Language Applications Systems},
  booktitle = {Proceedings of the Joint Conference on New Methods in
  	Language Processing and Computational Language Learning},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {David M.W. Powers},
  pages = {281--286},
  address = {Somerset, New Jersey},
  topic = {nlp-technology;}
  }

@inproceedings{ kawashima-kitahara:1993a,
  author =  {Rurito Kawashima and Hisatsugu Kitahara},
  title = {On the Distribution and Interpretation of Subjects
  	and their Numerical Classifiers},
  booktitle = {Proceedings from Semantics and Linguistic Theory {III}},
  year = {1993},
  editor = {Utpal Lahiri and Zachary Wyner},
  pages = {97--116},
  publisher = {Cornell University},
  address = {Ithaca, New York},
  note = {Available from CLC Publications, Department of Linguistics,
  	Morrill Hall, Cornell University, Ithaca, NY 14853-4701.},
  topic = {Japanese-language;}
  }

@article{ kay_h-etal:2000a,
  author = {Herbert Kay and Bernhard Rinner and Benjamin Kuipers},
  title = {Semi-Quantitative System Identification},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {119},
  number = {1--2},
  pages = {103--140},
  acontentnote = {Abstract:
     System identification takes a space of possible models and a
     stream of observational data of a physical system, and attempts
     to identify the element of the model space that best describes
     the observed system.  In traditional approaches, the model space
     is specified by a parameterized differential equation, and
     identification selects numerical parameter values so that
     simulation of the model best matches the observations.  We
     present SQUID, a method for system identification in which the
     space of potential models is defined by a semi-quantitative
     differential equation (SQDE): qualitative and monotonic function
     constraints as well as numerical intervals and functional
     envelopes bound the set of possible models.  The simulator SQSIM
     predicts semi-quantitative behavior descriptions from the SQDE.
     Identification takes place by describing the observation stream
     in similar semi-quantitative terms and intersecting the two
     descriptions to derive narrower bounds on the model space.
     Refinement is done by refuting impossible or implausible subsets
     of the model space.  SQUID therefore has strengths, particularly
     robustness and expressive power for incomplete knowledge, that
     complement the properties of traditional system identification
     methods.  We also present detailed examples, evaluation, and
     analysis of SQUID.},
  topic = {diagnosis;qualitative-simulation;}
  }

@inproceedings{ kay_m:1979a,
  author = {Martin Kay},
  title = {Functional Grammar},
  booktitle = {Proceedings of the Fifth Annual Meeting of the
  	Berkeley Linguistic Society},
  year = {1979},
  pages = {142--158},
  topic = {constraint-based-grammar;unification-of-FSs;}
}

@inproceedings{ kay_m:1984a,
  author = {Martin Kay},
  title = {Functional Unification Grammar: A Formalism for Machine
  	Translation},
  booktitle = {Proceedings of the Tenth International Conference
  	on Computational Linguistics: {COLING}-84},
  year = {1984},
  editor = {Bonnie L. Webber and Ralph Weischedel},
  pages = {75--78},
  rtnote = {In RHT collection.},
  topic = {functional-unification-grammar;}
  }

@unpublished{ kay_m:1987a,
  author = {Martin Kay},
  title = {Monotonicity in Linguistics},
  year = {1987},
  note = {Unpublished manuscript, Xerox Palo Alto Research Center},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  topic = {nl-processing;parsing-algorithms;}
  }

@incollection{ kay_m:1992a,
  author = {Martin Kay},
  title = {Unification},
  booktitle = {Computational Linguistics and Formal Semantics},
  publisher = {Cambridge University Press},
  year = {1992},
  editor = {Michael Rosner and Roderick Johnson},
  pages = {1--29},
  address = {Cambridge, England},
  topic = {unification-of-FSs;unification-grammars;}
  }

@inproceedings{ kay_m:1996a,
  author = {Martin Kay},
  title = {Chart Generation},
  booktitle = {Proceedings of the Thirty-Fourth Annual Meeting of the
  	Association for Computational Linguistics},
  year = {1996},
  editor = {Arivind Joshi and Martha Palmer},
  pages = {200--204},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco},
  topic = {chart-parsing;parsing-algorithms;nl-interpretation;}
 }

@article{ kay_m:2005a,
  author = {Martin Kay},
  title = {A Lifetime of Language},
  journal = {Computational Linguistics},
  year = {2005},
  volume = {31},
  number = {4},
  pages = {425--438},
  topic = {nlp-editorial;}
  }

@book{ kay_m-etal:1994a,
  author = {Martin Kay and Jean Mark Gawron and Peter Norvig},
  title = {Verbmobil: A Translation System For Face-To-Face Dialog},
  publisher = {{CSLI} Publications},
  year = {1994},
  address = {Stanford},
  ISBN = {0937073954 (pbk.)},
  rtnote = {UMich Graduate Library, P 309 .K391 1994.},
  topic = {speech-to-speech-machine-translation;}
 }

@unpublished{ kay_p:1973a,
  author = {Paul Kay},
  title = {A Model-Theoretic Approach to Folk Taxonomy},
  year = {1973},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.},
  topic = {cultural-anthropology;}
  }

@techreport{ kay_p:1983a,
  author = {Paul Kay},
  title = {What is the {S}apir-{W}horf Hypothesis?},
  institution = {Institute of Cognitive Studies, University of
	California, Berkeley},
  number = {8},
  year = {1983},
  address = {Berkeley, California},
  rtnote = {In RHT collection.},
  topic = {linguistic-relativity;}
  }

@article{ kay_p:1990a,
  author = {Paul Kay},
  title = {Even},
  journal = {Linguistics and Philosophy},
  year = {1990},
  volume = {13},
  number = {1},
  pages = {59--111},
  topic = {`even';discourse-focus;pragmatics;}
  }

@article{ kay_p:1992a,
  author = {Paul Kay},
  title = {The Inheritance of Presuppositions},
  journal = {Linguistics and Philosophy},
  year = {1992},
  volume = {15},
  number = {4},
  pages = {333--379},
  topic = {presupposition;}
  }

@book{ kay_p:1995b,
  author = {Paul Kay},
  title = {Meaning of Words and Contextual Determination of
  	Interpretation},
  publisher = {Cambridge University Press},
  year = {1995},
  address = {Cambridge, England},
  rtnote = {Same as Kay 1995a???},
  topic = {lexical-semantics;context;polysemy;}
 }

@book{ kay_p:1996a,
  author = {Paul Kay},
  title = {Words and the Grammar of Context},
  publisher = {{CSLI} Publications},
  year = {1996},
  address = {Stanford, California},
  rtnote = {In RHT collection.  Shelf.},
  contentnote = {TC:
  	1. C. Fillmore, "Foreword"
  	2. P. Kay, C. Fillmore, and M. O'Conner, "Regularity and
		Idiomaticity in Grammatical Constructions: The Case
		of {\it Let Alone}"
  	3. P. Kay, "Even"
  	4. P. Kay, "At Least"
  	5. P. Kay, "Construction Grammar"
  	6. P. Kay, "Linguistic Competence and Folk Theories of
		Language: Two {E}nglish Hedges"
  	7. P. Kay, "The {\it Kind of / Sort of} Construction"
  	8. P. Kay, "Contextual Operators: {\it respective,
		respectively}, and {\it vice versa}"
  	9. P. Kay, "Constructional Modus Tollens and Level of
		Conventionality"
       10. P. Kay, "Three Properties of the Ideal Reader"
       11. P. Kay, "The Inheritance of Presuppositions"
  	},
  rtnote = {semantics-course;},
  topic = {lexical-semantics;context;polysemy;sentence-focus;
  	pragmatics;}
 }

@incollection{ kayaalp-etal:1998a,
  author = {Mehmet Kayaalp and Ted Pedersen and Rebecca Bruce},
  title = {A Statistical Decision Making Method: A Case Study
		on Prepositional Attachment},
  booktitle = {{CoNLL97}: Computational Natural Language Learning},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {T. Mark Ellison},
  pages = {33--42},
  address = {Somerset, New Jersey},
  topic = {machine-language-learning;disambiguation;}
  }

@article{ kaye_lj:1995a,
  author = {Lawrence J. Kaye},
  title = {The Languages of Thought},
  journal = {Philosophy of Science},
  year = {1995},
  volume = {62},
  number = {1},
  pages = {92--110},
  contentnote = {Critical examination of args for lang of thought.},
  topic = {foundations-of-semantics;}
  }

@book{ kaye_rw:1991a,
  author = {Richard W. Kaye},
  title = {Models of {P}eano Arithmetic},
  publisher = {Oxford University Press},
  year = {1991},
  address = {Oxford},
  rtnote = {UMich SCIENCE QA 248 .K3851 1991},
  rtnote = {In RHT Collection.  Logic shelves.},
  topic = {model-theory;nonstandard-models;formalizations-of-arithmetic;}
 }

@book{ kayne_rs:1994a,
  author = {Richard S. Kayne},
  title = {The Antisymmetry of Syntax},
  publisher = {The {MIT} Press},
  year = {1994},
  address = {Cambridge, Massachusetts},
  rtnote = {In RHT Collection.  Mathematics shelves.},
  topic = {universal-grammar;}
 }

@incollection{ kayne_rs:2002a,
  author = {Richard S. Kayne},
  title = {Pronouns and Their Antecedents},
  booktitle = {Derivation and Explanation in the Minimalist Program},
  publisher = {Blackwell Publishing},
  year = {2002},
  editor = {Samuel David Epstein and T. Daniel Seeley},
  pages = {133--166},
  address = {Oxford},
  topic = {minimalist-syntax;syntactic-binding;}
  }

@incollection{ kayser:1984a,
  author = {Daniel Kayser},
  title = {A Computer Scientist's View of Meaning},
  booktitle = {The Mind and the Machine: Philosophical Aspects
  	of Artificial Intelligence},
  publisher = {Ellis Horwood, Ltd.},
  year = {1984},
  editor = {Steve B. Torrance},
  pages = {168--176},
  address = {Chichester},
  topic = {computational-semantics;nl-as-kr;}
  }

@incollection{ kayser-abir:1995a,
  author = {Daniel Kayser and Hocine Abir},
  title = {A Non-Monotonic Approach to Lexical Semantics},
  booktitle = {Computational Lexical Semantics},
  publisher = {Cambridge University Press},
  year = {1995},
  editor = {Patrick Saint-Dizier and Evelyne Viegas},
  pages = {303--318},
  address = {Cambridge, England},
  topic = {nl-kr;computational-lexical-semantics;nm-ling;}
  }

@article{ kayser-etal:1987a,
   author = {Daniel Kayser and P. Fosse and M. Karoubi and B. Levrat and
   	L. Nicaud},
   title = {A Strategy for Reasoning in Natural Language},
   journal = {Applied Artificial Intelligence},
   year = {1987},
   volume = {1},
   number = {3},
   pages = {205--231},
   rtnote = {Cited in hirst_g-ryan:1992a.},
   missinginfo = {A's 1st names.},
   topic = {kr;nl-as-kr;kr-course;}
  }

@article{ kayserz-nouioua:2009a,
  author = {Daniel Kayser and Farid Nouioua},
  title = {From the Textual Description of an Accident to its Causes},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {173},
  number = {12--13},
  pages = {1154--1193},
  topic = {nl-interpretation;causal-reasoning;}
  }

@article{ kazmi:1987a,
  author = {Ali Akhtar Kazmi},
  title = {Quantification and Opacity},
  journal = {Linguistics and Philosophy},
  year = {1987},
  volume = {10},
  number = {1},
  pages = {77--100},
  topic = {propositional-attitudes;quantifying-in-modality;}
  }

@article{ kazmi-pelletier:1998a,
  author = {Ali Akhtar Kazmi and Francis Jeffry Pelletier},
  title = {Is Compositionality Formally Vacuous?},
  journal = {Linguistics and Philosophy},
  year = {1998},
  volume = {21},
  number = {6},
  pages = {629--633},
  topic = {compositionality;}
  }

@book{ kearns_jt:1984a,
  author = {John T. Kearns},
  title = {Using Language: The Structure of Speech Acts},
  publisher = {State University of New York Press},
  year = {1984},
  address = {Albany},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {speech-acts;pragmatics;}
 }

@article{ kearns_jt:2006a,
  author = {John T. Kearns},
  title = {Conditional Assertion, Denial, and Supposition as
  	Illocutionary Acts},
  journal = {Linguistics and Philosophy},
  year = {2006},
  volume = {29},
  number = {4},
  pages = {455--485},
  topic = {conditional-assertion;speech-acts;supposing;}
  }

@book{ kearns_m-vazirani:1994a,
  author = {Michael J. Kearns and Umesh V. Vazirani},
  title = {An Introduction to Computational Learning Theory},
  publisher = {The {MIT} Press},
  year = {1994},
  address = {Cambridge, Massachusetts},
  topic = {learning-theory;}
 }

@book{ kearns_mj-vazirani:1994a,
  author = {Michael J. Kearns and Umesh V. Vazirani},
  title = {An Introduction to Computational Learning Theory},
  publisher = {The {MIT} Press},
  year = {1994},
  address = {Cambridge, Massachusetts},
  topic = {learning-theory;}
 }

@incollection{ kearns_s-magidor_o:2008a,
  author = {Stephen Kearns and Ofra Magidor},
  title = {Epistemicism about Vagueness and Meta-Linguistic Safety},
  booktitle = {Philosophical Perspectives 22, 2008: Philosophy of
  		Language},
  publisher = {Blackwell Publishers},
  year = {2008},
  editor = {John Hawthorne},
  pages = {277--304},
  address = {Oxford},
  topic = {vagueness;}
  }

@book{ kearsley:1988a,
  author = {Greg Kearsley},
  title = {Online Help Systems: Design and Implementation},
  publisher = {Ablex Pub. Corp.},
  year = {1988},
  address = {Norwood, New Jersey},
  ISBN = {089391472X},
  rtnote = {UMich Media Union Library, QA 76.9 .Q4 K431 1988.},
  topic = {help-systems;HCI;}
 }

@book{ kecskes-horn_lr:2007a,
  editor = {Istvan Kecskes and Laurence R. Horn},
  title = {Explorations in Pragmatics:  Linguistic, Cognitive
  		and Intercultural Aspects},
  publisher = {Mouton de Gruyter},
  year = {2007},
  address = {Berlin},
  rtnote = {In RHT collection.},
  topic = {pragmatics;}
 }

@article{ keefe:1995a,
  author = {Rosanna Keefe},
  title = {Contingent Identity and Vague Identity},
  journal = {Analysis},
  year = {1995},
  volume = {65},
  pages = {183--190},
  missinginfo = {number},
  topic = {vagueness;identity;}
  }

@book{ keefe:2000a,
  author = {Rosanna Keefe},
  title = {Theories of Vagueness},
  publisher = {Cambridge University Press},
  year = {2000},
  address = {Cambridge, England},
  ISBN = {0521650674},
  xref = {Reviews: raffman-shapiro_s1:2003a, graff:2003a.},
  rtnote = {UMich GRADUATE LIBRARY, P B 105 .V33 K441 2000.},
  topic = {vagueness;}
 }

@article{ keefe-hounek:2008a,
  author = {Rosanna Keefe and Libor B\v{e}hounek},
  title = {Introduction to a Special Issue on Vagueness},
  journal = {Studia Logica},
  year = {2008},
  volume = {90},
  number = {3},
  pages = {287--289},
  topic = {vagueness;}
  }

@book{ keefe-smith_p:1997a,
  editor = {Rosanna Keefe and Peter Smith},
  title = {Vagueness: A Reader},
  publisher = {The {MIT} Press},
  year = {1997},
  address = {Cambridge, Massachusetts},
  contentnote = {TC:
     1. Rosanna Keefe and Peter Smith

repository: sergiud/bibtex-spirit

repo_name: sergiud/bibtex-spirit