text:
00},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  editor = {Claire Cardie and Walter Daelemans and Claire N\'edellec
  	and Erik Tjong Kim Sang},
  pages = {103--106},
  address = {Somerset, New Jersey},
  topic = {machine-language-learning;genetic-algorithms;
  	computational-morphology;hapax-legomena;}
 }

@techreport{ koomen:1989a,
  author = {Johannes A.G.M. Koomen},
  title = {The {\sc timelogic} Temporal Reasoning System},
  institution = {Computer Science Deaprtment, University of Rochester},
  number = {231},
  year = {1989},
  address = {Rochester, New York 14627},
  rtnote = {In RHT collection.},
  topic = {temporal-reasoning;}
  }

@incollection{ koomen:1989b,
  author = {Johannes A.G.M. Koomen},
  title = {Localizing Temporal Constraint Propagation},
  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 = {198--202},
  address = {San Mateo, California},
  topic = {kr;kr-course;constraint-propagation;temporal-reasoning;}
  }

@inproceedings{ koons:1988a,
  author = {Robert C. Koons},
  title = {Doxastic Paradoxes without Self-Reference},
  booktitle = {Proceedings of the Second Conference on Theoretical
  	Aspects of Reasoning about Knowledge},
  year = {1988},
  editor = {Moshe Y. Vardi},
  pages = {29--41},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  topic = {intensional-paradoxes;}
  }

@incollection{ koons:1990a,
  author = {Robert C. Koons},
  title = {Three Indexical Solutions to the Liar},
  booktitle = {Situation Theory and its Applications},
  publisher = {Center for the Study of Language and Information},
  year = {1990},
  editor = {Robin Cooper and Kuniaki Mukai and John Perry},
  pages = {259--286},
  address = {Stanford, California},
  rtnote = {In RHT collection.},
  topic = {semantic-paradoxes;context;}
  }

@book{ koons:1992a,
  author = {Robert C. Koons},
  title = {Paradoxes of Belief and Strategic Rationality},
  publisher = {Cambridge University Press},
  year = {1992},
  address = {Cambridge, England},
  rtnote = {Hillman BC199 P2K66 1992},
  topic = {foundations-of-decision-theory;foundations-of-game-theory;
  	rationality;syntactic-attitudes;mutual-belief;
	semantic-paradoxes;context;}
 }

@incollection{ koons:1992b,
  author = {Robert C. Koons},
  title = {Doxastic Paradox and Reputation Effects in Iterated
  	Games},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
  	Proceedings of the Fourth Conference ({TARK} 1992)},
  publisher = {Morgan Kaufmann},
  year = {1992},
  editor = {Yoram Moses},
  pages = {60--72},
  address = {San Francisco},
  topic = {semantic-paradoxes;game-theory;epistemic-logic;}
  }

@unpublished{ koons:1993a,
  author = {Robert C. Koons},
  title = {Nonmonotonic Prediction, Causation, and Induction},
  year = {1993},
  rtnote = {In RHT collection.  This is a good example of a use of
  	logics for AI in philosophy.},
  note = {Unpublished Manuscript, Philosophy Department, University
  	of Texas at Austin.},
  topic = {nonmonotonic-reasoning;causality;}
  }

@article{ koons:1994a,
  author = {Robert C. Koons},
  title = {A New Solution to the Sorites Problem},
  journal = {Mind, New Series},
  year = {1994},
  volume = {119},
  pages = {535--557},
  number = {412},
  topic = {vagueness;sorites-paradox;}
  }

@article{ koons:2004a,
  author = {Robert C. Koons},
  title = {The Logic of Causal Explanation.  An Axiomatization},
  journal = {Studia Logica},
  year = {2004},
  volume = {77},
  number = {3},
  pages = {325--354},
  topic = {causality-explanation;multivalued-logic;}
  }

@incollection{ koons-asher:1994a,
  author = {Robert Koons and Nicholas Asher},
  title = {Belief Revision in a Changing World},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
  	Proceedings of the Fifth Conference ({TARK} 1994)},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Ronald Fagin},
  pages = {321--340},
  address = {San Francisco},
  topic = {belief-revision;temporal-reasoning;}
  }

@article{ koopman:1940a1,
  author = {B.O. Koopman},
  title = {The Bases of Probability},
  journal = {Bulletin of the {A}merican {M}athematical {S}ociety},
  year = {1940},
  volume = {46},
  pages = {763--774},
  missinginfo = {A's 1st name, number},
  xref = {Republished: koopman:1940a2},
  topic = {subjective-probabilty;qualitative-probability;}
  }

@incollection{ koopman:1940a2,
  author = {B.O. Koopman},
  title = {The Bases of Probability},
  booktitle = {Studies in Subjective Probability},
  publisher = {John Wiley and Sons},
  year = {1964},
  editor = {Henry E. {Kyburg, Jr.} and Howard E. Smokler},
  pages = {93--158},
  address = {New York},
  xref = {Original publication: koopman:1940a1},
  missinginfo = {A's 1st name.},
  topic = {subjective-probability;qualitative-probability;}
  }

@article{ koopman:1940b,
  author = {B.O. Koopman},
  title = {The Axioms and Algebra of Intuitive Probability},
  journal = {Annals of Mathematics},
  year = {1940},
  volume = {41},
  pages = {269--292},
  missinginfo = {A's 1st name, number},
  topic = {subjective-probabilty;qualitative-probability;}
  }

@incollection{ koppel:1988a,
  author = {Moshe Koppel},
  title = {Structure},
  booktitle = {The Universal {T}uring Machine: A Half-Century
  	Survey},
  publisher = {Oxford University Press},
  year = {1988},
  editor = {Rolf Herkin},
  pages = {435--452},
  address = {Oxford},
  topic = {theory-of-computation;randomness;}
  }

@incollection{ kopperschmidt:1985a,
  author = {Josef Kopperschmidt},
  title = {An Analysis of Argumentation},
  booktitle = {Handbook of Discourse Analysis, Volume 2},
  publisher = {Academic Press},
  year = {1985},
  editor = {Teun A. {van Dijk}},
  pages = {159--167},
  address = {New York},
  rtnote = {In RHT collection.  Pragmatics course files.},
  rtnote = {Reading notes on file.},
  topic = {argumentation;}
  }

@inproceedings{ korb:1992a,
  author = {Kevin B. Korb},
  title = {The Collapse of Collective Defeat: Lessons from the Lottery
  	Paradox},
  booktitle = {{PSA} 1992: Proceedings of the Biennial Meeting of the
	Philosophy of Science Association, Volume 1},
  year = {1992},
  editor = {David Hull and Micky Forbes and Kathleen Okruhlik},
  pages = {230--236},
  organization = {Philosophy of Science Association},
  publisher = {Philosophy of Science Association},
  address = {East Lansing, Michigan},
  rtnote = {In RHT collection.},
  topic = {lottery-paradox;logicism;}
  }

@incollection{ korb:1994a,
  author = {Kevin B. Korb},
  title = {Infinitely Many Resolutions of {H}empel's Paradox},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
  	Proceedings of the Fifth Conference ({TARK} 1994)},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Ronald Fagin},
  pages = {138--149},
  address = {San Francisco},
  topic = {confirmation-theory;Hempel-paradox;}
  }

@article{ korf:1980a,
  author = {Richard E. Korf},
  title = {Toward a Model of Representation Changes},
  journal = {Artificial Intelligence},
  year = {1980},
  volume = {14},
  number = {1},
  pages = {41--78},
  acontentnote = {Abstract:
     The paper presents the first steps in the development of a
     computer model of the process of changing representations in
     problem solving.  The task of discovering representations that
     yield efficient solution strategies for problems is viewed as
     heuristic search in the space of representations.  Two dimensions
     of this representation space are information structure and
     information quantity.  Changes of representation are
     characterized as isomorphisms and homomorphisms, corresponding
     to changes of information structure and information quantity,
     respectively.  A language for expressing representations is
     given.  Also, a language for describing representation
     transformations and an interpreter for applying the
     transformations to representations has been developed.  In
     addition, transformations can be automatically inverted and
     composed to generate new transformations.  Among the example
     problems used to illustrate and support this model are
     tic-tac-toe, integer arithmetic, the Tower of Hanoi problem, the
     arrow puzzle, the five puzzle, the mutilated checkerboard
     problem, and floor plan design.  The system has also been used
     to generate some new NP-complete problems.  },
  topic = {problem-solving;kr;}
  }

@article{ korf:1985a,
  author = {Richard E. Korf},
  title = {Depth-First Iterative-Deepening: An Optimal Admissible
  	Tree Search},
  journal = {Artificial Intelligence},
  year = {1985},
  volume = {27},
  number = {1},
  pages = {97--109},
  topic = {search;iterative-deepening;}
  }

@article{ korf:1985b,
  author = {Richard E. Korf},
  title = {Macro-Operators: A Weak Method for Learning},
  journal = {Artificial Intelligence},
  year = {1985},
  volume = {26},
  number = {1},
  pages = {35--77},
  acontentnote = {Abstract:
     This article explores the idea of learning efficiency strategies
     for solving problems by searching for macro-operators.  A
     macro-operator, or macro for short, is simply a sequence of
     operators chosen from the primitive operators of a problem.  The
     technique is particularly useful for problems with
     non-serializable subgoals, such as Rubik's Cube, for which other
     weak methods fail.  Both a problem-solving program and a
     learning program are described in detail.  The performance of
     these programs is analyzed in terms of the number of macros
     required to solve all problem instances, the length of the
     resulting solutions (expressed as the number of primitive
     moves), and the amount of time necessary to learn the macros.
     In addition, a theory of why the method works, and a
     characterization of the range of problems for which it is useful
     are presented.  The theory introduces a new type of problem
     structure called operator decomposability.  Finally, it is
     concluded that the macro technique is a new kind of weak method,
     a method for learning as opposed to problem solving.},
  topic = {rule-learning;machine-learning;cognitive-architectures;
  	macro-operators;}
  }

@article{ korf:1987a,
  author = {Richard E. Korf},
  title = {Planning as Search: A Quantitative Approach},
  journal = {Artificial Intelligence},
  year = {1987},
  volume = {33},
  number = {1},
  pages = {65--88},
  topic = {planning;search;}
  }

@article{ korf:1990a,
  author = {Richard E. Korf},
  title = {Real-Time Heuristic Search},
  journal = {Artificial Intelligence},
  year = {1990},
  volume = {42},
  number = {3},
  pages = {189--211},
  topic = {search;}
  }

@article{ korf:1991a,
  author = {Richard E. Korf},
  title = {Multi-Player Alpha-Beta Pruning},
  journal = {Artificial Intelligence},
  year = {1991},
  volume = {48},
  number = {1},
  pages = {99--111},
  topic = {search;}
  }

@article{ korf:1993a,
  author = {Richard E. Korf},
  title = {Linear-Space Best-First Search},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {62},
  number = {1},
  pages = {41--78},
  acontentnote = {Abstract:
     Best-first search is a general heuristic search algorithm that
     always expands next a frontier node of lowest cost.  It includes
     as special cases breadth-first search, Dijkstra's single-source
     shortest-path algorithm, and the A* algorithm.  Its
     applicability, however, is limited by its exponential memory
     requirement.  Previous approaches to this problem, such as
     iterative deepening, do not expand nodes in best-first order if
     the cost function can decrease along a path.  We present a
     linear-space best-first search algorithm (RBFS) that always
     explores new nodes in best-first order, regardless of the cost
     function, and expands fewer nodes than iterative deepening with
     a nondecreasing cost function.  On the sliding-tile puzzles, RBFS
     with a nonmonotonic weighted evaluation function dramatically
     reduces computation time with only a small penalty in solution
     cost.  In general, RBFS reduces the space complexity of
     best-first search from exponential to linear, at the cost of
     only a constant factor in time complexity in our experiments.},
  topic = {search;iterative-deepening;}
  }

@article{ korf:1998a,
  author = {Richard E. Korf},
  title = {A Complete Anytime Algorithm for Number Partitioning},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {105},
  number = {1--2},
  pages = {133--155},
  acontentnote = {Abstract:
     Given a set of numbers, the two-way number partitioning problem
     is to divide them into two subsets, so that the sum of the
     numbers in each subset are as nearly equal as possible.  The
     problem is NP-complete.  Based on a polynomial-time heuristic due
     to Karmarkar and Karp, we present a new algorithm, called
     Complete Karmarkar-Karp (CKK), that optimally solves the general
     number-partitioning problem, and significantly outperforms the
     best previously-known algorithms for large problem instances.
     For numbers with twelve significant digits or less, CKK can
     optimally solve two-way partitioning problems of arbitrary size
     in practice.  For numbers with greater precision, CKK first
     returns the Karmarkar-Karp solution, then continues to find
     better solutions as time allows.  Over seven orders of magnitude
     improvement in solution quality is obtained in less than an hour
     of running time.  Rather than building a single solution one
     element at a time, or modifying a complete solution, CKK
     constructs subsolutions, and combines them together in all
     possible ways.  This approach may be effective for other NP-hard
     problems as well.},
  topic = {partitioning-algorithms;complexity-in-AI;
  	AI-algorithms;AI-algorithms-analysis;}
  }

@article{ korf-etal:2001a,
  author = {Richard E. Korf and Michael Reid and Stefan Edelkamp},
  title = {Time Complexity of Iterative-Deepening-$A^*$},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {129},
  number = {1--2},
  pages = {199--218},
  topic = {complexity-in-AI;search;iterative-deepening;A*-algorithm;}
  }

@article{ korf-felner:2002a,
  author = {Richard E. Korf and Ariel Felner},
  title = {Disjoint Pattern Database Heuristics},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {134},
  number = {1--2},
  pages = {9-22},
  topic = {problem-solving;search;computer-games;}
  }

@article{ korf-maxwell_d:1996a,
  author = {Richard E. Korf and David Maxwell},
  title = {Chickering Best-First Minimax Search},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {84},
  number = {1--2},
  pages = {299--337},
  acontentnote = {Abstract:
     We describe a very simple selective search algorithm for
     two-player games, called best-first minimax.  It always expands
     next the node at the end of the expected line of play, which
     determines the minimax value of the root.  It uses the same
     information as alpha-beta minimax, and takes roughly the same
     time per node generation.  We present an implementation of the
     algorithm that reduces its space complexity from exponential to
     linear in the search depth, but at significant time cost.  Our
     actual implementation saves the subtree generated for one move
     that is still relevant after the player and opponent move,
     pruning subtrees below moves not chosen by either player.  We
     also show how to efficiently generate a class of incremental
     random game trees.  On uniform random game trees, best-first
     minimax outperforms alpha-beta, when both algorithms are given
     the same amount of computation.  On random trees with random
     branching factors, best-first outperforms alpha-beta for shallow
     depths, but eventually loses at greater depths.  We obtain
     similar results in the game of Othello.  Finally, we present a
     hybrid best-first extension algorithm that combines alpha-beta
     with best-first minimax, and performs significantly better than
     alpha-beta in both domains, even at greater depths.  In Othello,
     it beats alpha-beta in two out of three games.},
  topic = {search;game-playing;game-trees;}
  }

@incollection{ korhonen:2000a,
  author = {Anna Korhonen},
  title = {Using Semantically Motivated Estimates to
    		Help Subcategorization Acquisition},
  booktitle = {Proceedings of the 2000 Joint {SIGDAT} Conference
  	on Empirical Methods in Natural Language Processing},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  editor = {Hinrich Sch\"utze and Keh-Yih Su},
  pages = {216--223},
  address = {Somerset, New Jersey},
  topic = {argument-structure;corpus-linguistics;statistical-nlp;}
  }

@incollection{ korhonen-etal:2000a,
  author = {Anna Korhonen and Genevieve Gorrell and Diana McCarthy},
  title = {Statistical Filtering and Subcategorization Frame
  	Acquisition},
  booktitle = {Proceedings of the 2000 Joint {SIGDAT} Conference
  	on Empirical Methods in Natural Language Processing},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  editor = {Hinrich Sch\"utze and Keh-Yih Su},
  pages = {199--206},
  address = {Somerset, New Jersey},
  topic = {argument-structure;corpus-linguistics;statistical-nlp;}
  }

@incollection{ korkmaz-ucoluk:1998a,
  author = {Emin Erkan Korkmaz and G\"okt\"urk \"U\c{c}oluk},
  title = {A Method for Improving Automatic Word Categorization},
  booktitle = {{CoNLL97}: Computational Natural Language Learning},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {T. Mark Ellison},
  pages = {43--49},
  address = {Somerset, New Jersey},
  topic = {machine-language-learning;word-acquisition;}
  }

@incollection{ korkmaz-ucoluk:1998b,
  author = {Emin Erkin Korkmaz and G\"okt|"urk \"U\c{c}oluk},
  title = {Choosing a Distance Metric for Automatic Word
		Categorization},
  booktitle = {Proceedings of the Joint Conference on New Methods in
  	Language Processing and Computational Natural Language
	Learning: {NeMLaP3/CoNLL98}},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {David M.W. Powers},
  pages = {111--120},
  address = {Somerset, New Jersey},
  topic = {machine-learning;word-classification;}
  }

@incollection{ kormaz-ucoluk:1998a,
  author = {Emin Erkan Kormaz and G\"okt\"urk \"U\c{c}oluk},
  title = {Choosing a Distance Metric for Automatic Word
  		Categorization},
  booktitle = {New Methods in Language Processing and Computational
  		Language Learning},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {David M.W. Powers},
  pages = {111--120},
  address = {Somerset, New Jersey},
  topic = {word-classification;}
  }

@book{ kornai:1999a,
  editor = {Andr\'as Kornai},
  title = {Extended Finite State Models of Language},
  publisher = {Cambridge University Press},
  year = {1999},
  address = {Cambridge, England},
  ISBN = {0-521-63198-X},
  xref = {Review: kaiser:2000a.},
  topic = {finite-state-nlp;}
 }

@article{ kornai:2009a,
  author = {Andr\'as Kornai},
  title = {The Complexity of Phonology},
  journal = {Linguistic Inquiry},
  year = {2009},
  volume = {40},
  number = {4},
  pages = {701--712},
  topic = {phonology;algorithmic-complexity;}
  }

@article{ korner:1975a,
  author = {Stefan K\"orner},
  title = {Classical Logic and Inexact Predicates---A Reply},
  journal = {Mind, New Series},
  year = {1975},
  volume = {84},
  pages = {450},
  missinginfo = {number},
  topic = {vagueness;}
  }

@book{ korner:1975b,
  editor = {Stephan K\"orner},
  title = {Explanation: Papers and Discussions},
  publisher = {Yale University Press},
  year = {1975},
  address = {New Haven},
  ISBN = {0300018274},
  rtnote = {UMich Graduate Library, BD 241 .E951 1975a.},
  topic = {explanation;}
 }

@incollection{ kornfilt-correa:1993a,
  author = {Jaklin Kornfilt and Nelson Correa},
  title = {Conceptual Structure and Its Relation to the Structure of
  	Lexical Entries},
  booktitle = {Knowledge and Language: Volume {II}, Lexical and Conceptual
  	Structure},
  publisher = {Kluwer Academic Publishers},
  year = {1993},
  editor = {Eric Reuland and Werner Abraham},
  pages = {79--118},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {cognitive-semantics;lexical-semantics;}
  }

@inproceedings{ korpipaa-mantyjarvi:2003a,
  author = {Panu Korpip\"a\"a and Jani M\"antyj\"arvi},
  title = {An Ontology for Mobile Device Sensor-Based Context
  	Awareness},
  booktitle = {Modeling and Using Context: Fourth International and
  	Interdisciplinary Conference, Context 2003},
  publisher = {Springer-Verlag},
  year = {2003},
  editor = {Patrick Blackburn and Chiara Ghidini and Roy M. Turner
  	and Fausto Giunchiglia},
  pages = {451--458},
  address = {Berlin},
  topic = {context;computational-ontology;}
  }

@book{ korsgaard:1996a,
  editor = {Christine M. Korsgaard},
  title = {The Sources of Normativity},
  publisher = {Cambridge University Press},
  year = {1996},
  address = {Cambridge, England},
  ISBN = {0521550599 (hc)},
  rtnote = {UMich Graduate Library, BJ 1458.3 .K671 1996},
  topic = {ethics;}
 }

@techreport{ korta:1997a,
  author = {Kepa Korta},
  title = {Implicatures: Cancellability and Non-Detachability},
  institution = {Institute for Logic, Cognition, Language, and
  	Information, University of the Basque Country},
  number = {ILCLI-97-LIC-6},
  year = {1997},
  address = {Donostia},
  rtnote = {In RHT collection.  Reprint files.},
  topic = {implicature;}
  }

@incollection{ korte-etal:2009a,
  author = {Tapio Korte and Ari Maunu and Tuomo Aho},
  title = {Modal Logic from Kant to Possible Worlds Semantics},
  booktitle = {The Development of Modern Logic},
  publisher = {Oxford University Press},
  year = {2009},
  editor = {Leila Haaparanta},
  pages = {516--},
  address = {Oxford},
  topic = {history-of-logic;modal-logic;}
  }

@book{ kortenkamp-etal:1998a,
  editor = {David Kortenkamp and R. Peter Bonasso and Robin Murphy},
  title = {Artificial Intelligence and Mobile Robots},
  publisher = {The {MIT} Press},
  year = {1998},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-61137-6},
  topic = {robotics;}
 }

@article{ koschmann:1987a,
  author = {Timothy D. Koschmann},
  title = {Review of \emph{{M}ind over Machine: The Power of Human
  	Intuition and Expertise in the Era of the Computer}, by
	{H}ubert {L}. {D}reyfus and {S}tuart {E}. {D}reyfus},
  journal = {Artificial Intelligence},
  year = {1987},
  volume = {33},
  number = {1},
  pages = {135--140},
  xref = {Review of: dreyfus_hl-dreyfus_se:1986a.},
  topic = {philosophy-AI;}
  }

@article{ koschmann:1996a,
  author = {Timothy Koschmann},
  title = {Of {H}ubert {D}reyfus and Dead Horses: Some Thoughts on
  	{\it What Computers Still Can't Do}},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {80},
  number = {1},
  pages = {129--141},
  xref = {Review of dreyfus:1992a.},
  topic = {philosophy-AI;intelligent-tutoring;}
  }

@inproceedings{ koskenniemi:1983a,
  author = {Kimmo Koskenniemi},
  title = {Two-Level Model for Morphological Analysis},
  booktitle = {Proceedings of the Eighth International Joint
  	Conference on Artificial Intelligence},
  year = {1983},
  editor = {Alan Bundy},
  publisher = {William Kaufmann, Inc.},
  address = {Los Altos, California},
  missinginfo = {pages},
  rtnote = {In RHT collection.},
  topic = {two-level-morphology;finite-state-morpology;}
 }

@article{ koskenniemi:1990a,
  author = {Kimmo Koskenniemi},
  title = {Finite State Morphology and Information Retrieval},
  journal = {Natural Language Engineering},
  year = {1990},
  volume = {2},
  number = {4},
  pages = {341--346},
  rtnote = {In RHT collection.},
  topic = {two-level-morphology;finite-state-morpology;
  	information-retrieval;}
  }

@article{ koslicki:1999a,
  author = {Kathryn Koslicki},
  title = {The Semantics of Mass-Predicates},
  journal = {No\^us},
  year = {1999},
  volume = {33},
  number = {3},
  pages = {46--91},
  topic = {mass-term-semantics;}
  }

@article{ koslicki:1999b,
  author = {Kathrin Koslicki},
  title = {Genericity and Logical Form},
  journal = {Mind and Language},
  volume = {14},
  year = {1999},
  pages = {441--467},
  topic = {generics;nl-semantics;}
  }

@article{ koslicki:2004a,
  author = {Kathryn Koslicki},
  title = {Review of {\it {P}lato on Parts and Wholes: The Metaphysics
  		of Structure}, by {V}erity {H}arte},
  journal = {The Journal of Philosophy},
  year = {2004},
  volume = {101},
  number = {9},
  pages = {492--496},
  xref = {Review of: harte:2002a.},
  topic = {Plato;mereology;}
  }

@article{ koslicki:2005a,
  author = {Kathrin Koslicki},
  title = {Almost Indiscernable Objects and the Suspect Strategy},
  journal = {The Journal of Philosophy},
  year = {2005},
  volume = {102},
  number = {1},
  pages = {55--77},
  topic = {individuation;identity;metaphysics;}
  }

@article{ koslicki:2006a,
  author = {Kathryn Koslicki},
  title = {Aristotle's Mereology and the Status of Form},
  journal = {The Journal of Philosophy},
  year = {2006},
  volume = {103},
  number = {1},
  pages = {715--736},
  topic = {mereology;Aristotle;metaphysics;}
  }

@book{ koslicki:2008a,
  author = {Kathryn Koslicki},
  title = {The Structure of Objects},
  publisher = {Oxford University Press},
  year = {2008},
  address = {Oxford},
  xref = {Review: merricks:2009a},
  topic = {mereology;ontology;}
 }

@incollection{ kosseim-etal:1996a,
  author = {Leila Kosseim and Agn\`es Tutin and Richard I. Kittredge and
    		Guy Lapalme},
  title = {Generating Grammatical and Lexical
		Anaphora in Assembly Instructional Texts},
  booktitle = {Trends in Natural Language Generation, An Artificial
  		Intelligence Perspective, Fourth {E}uropean Workshop,
		{EWNLG} '93, Pisa, Italy, April 28-30, 1993, Selected
		Papers},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  volume = {1036},
  year = {1996},
  editor = {Giovanni Adorni and Michael Zock},
  pages = {260--276},
  address = {New York},
  topic = {nl-generation;anaphora;referring-expressions;}
  }

@incollection{ kosslyn:1990a,
  author = {Stephen Michael Kosslyn},
  title = {Visual Cognition: Introduction},
  booktitle = {An Invitation to Cognitive Science.  Volume
  	2: Visual Cognition and Action},
  publisher = {The {MIT} Press},
  year = {1990},
  editor = {Daniel N. Osherson and Howard Lasnik},
  pages = {3--4},
  address = {Cambridge, Massachusetts},
  rtnote = {In RHT collection.},
  topic = {cognitive-psychology;computer-vision;visual-reasoning;}
  }

@incollection{ kosslyn:1990b,
  author = {Steven Michael Kosslyn},
  title = {Mental Imagery},
  booktitle = {An Invitation to Cognitive Science.  Volume
  	2: Visual Cognition and Action},
  publisher = {The {MIT} Press},
  year = {1990},
  editor = {Daniel N. Osherson and Howard Lasnik},
  pages = {73--97},
  address = {Cambridge, Massachusetts},
  topic = {cognitive-psychology;human-vision;visual-reasoning;}
  }

@article{ kostrzycka:2007a,
  author = {Zofia Kostrzycka},
  title = {The Density of Truth in Monadic Fragments of Some
  		Intermediate Logics},
  journal = {Journal of Logic, Language, and Information},
  year = {2007},
  volume = {16},
  number = {3},
  pages = {283--302},
  topic = {substructural-logics;}
  }

@incollection{ koton-chase:1989a,
  author = {Phyllis Koton and Melissa P. Chase},
  title = {Knowledge Representation in a Case-Based Reasoning System:
  	Defaults and Exceptions},
  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 = {203--211},
  address = {San Mateo, California},
  topic = {kr;kr-course;case-based-reasoning;}
  }

@incollection{ koubarakis:1992a,
  author = {Manolis Koubarakis},
  title = {Dense Time and Temporal Constraints with $\neq$},
  booktitle = {{KR}'92. Principles of Knowledge Representation and
  	Reasoning: Proceedings of the Third International Conference},
  publisher = {Morgan Kaufmann},
  year = {1992},
  editor = {Bernhard Nebel and Charles Rich and William Swartout},
  pages = {24--35},
  address = {San Mateo, California},
  topic = {kr;temporal-reasoning;constraint-satisfaction;kr-course;}
  }

@incollection{ koubarakis:1994a,
  author = {Manolis Koubarakis},
  title = {Complexity Results for First-Order Theories of Temporal
  	Constraints},
  booktitle = {{KR}'94: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
  pages = {379--390},
  address = {San Francisco, California},
  topic = {kr;complexity-in-AI;temporal-reasoning;kr-course;}
  }

@article{ koubarakis-skiadopoulos:2000a,
  author = {Manolis Koubarakis and Spiros Skiadopoulos},
  title = {Querying Temporal and Spatial Constraint Networks in
  	{PTIME}},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {123},
  number = {1--2},
  pages = {223--263},
  topic = {constraint-networks;spatial-reasoning;complexity-in-AI;}
  }

@incollection{ kourany:2000a,
  author = {Janet A. Kourany},
  title = {A Successor to the Realism/Antirealism Question},
  booktitle = {{PSA}'1998: Proceedings of the 1998 Biennial Meetings
  	of the Philosophy of Science Association, Part {II}:
	Symposium Papers},
  publisher = {Philosophy of Science Association},
  year = {2000},
  editor = {Don A. Howard},
  pages = {S87--},
  address = {Newark, Delaware},
  topic = {philosophical-realism;philosophy-of-science;}
  }

@article{ kovac:2003a,
  author = {Sre\'cko Kova\v{c}},
  title = {Some Weakened {G}\"odelian Ontological Systems},
  journal = {Journal of Philosophical Logic},
  year = {2003},
  volume = {32},
  number = {6},
  pages = {565--588},
  topic = {ontological-argument;Goedel;modal-logic;
  	higher-order-logic;}
  }

@article{ kovach-delancey:2005a,
  author = {Adam Kovach and Craig De Lancey},
  title = {On Emotions and the Explanation of Behavior},
  journal = {No\^us},
  year = {2004},
  volume = {39},
  number = {1},
  pages = {106--122},
  topic = {emotion;philosophy-of-action;}
  }

@article{ kowalski_ra:1974a,
  author = {Robert Kowalski},
  title = {Predicate Logic as a Programming Language},
  journal = {Information Processing},
  year = {1974},
  volume = {74},
  pages = {569--574},
  missinginfo = {number},
  topic = {logic-programming;}
  }

@incollection{ kowalski_ra:1979a,
  author = {Robert Kowalski},
  title = {Logic for Data Description},
  booktitle = {Logic and Data Bases},
  publisher = {Plenum Press},
  year = {1978},
  editor = {H. Gallaire and Jack Minker},
  pages = {293--322},
  address = {New York},
  missinginfo = {E's 1st name.},
  topic = {logic-programming;deductive-databases;}
  }

@book{ kowalski_ra:1979b,
  author = {Robert Kowalski},
  title = {Logic For Problem Solving},
  publisher = {Elsevier North Holland},
  year = {1979},
  address = {Amsterdam},
  ISBN = {0444003657},
  rtnote = {UMich Media Union Library, QA63 .K681.},
  topic = {logic-in-AI;}
 }

@article{ kowalski_ra:1990a,
  author = {Robert A. Kowalski},
  title = {English as a Logic Programming Language},
  journal = {New Generation Computing},
  volume = {8},
  number = {2},
  pages = {91--93},
  year = {1990},
  ISBN = {0288-3635},
  rtnote = {Media Union Library  Call No: QA75.5 .N53},
  topic = {logic-programming;nl-and-logic;nl-as-kr;}
 }

@article{ kowalski_ra:1992a,
  author = {Robert A. Kowalski},
  title = {Database Updates in the Event Calculus},
  journal = {Journal of Logic Programming},
  year = {1992},
  volume = {12},
  pages = {121--146},
  missinginfo = {number},
  topic = {event-calculus;database-update;}
  }

@article{ kowalski_ra:1993a,
  author = {Robert A. Kowalski},
  title = {An Undergrauate Degree in Practical Reasoning},
  journal = {Journal of Logic and Computation},
  volume = {3},
  number = {3},
  pages = {227--229},
  year = {1993},
  topic = {logic-education;}
 }

@incollection{ kowalski_ra-kim_js:1991a,
  author = {Robert A. Kowalski and Jin-Sang Kim},
  title = {A Metalogic Approach to
    		Multi-Agent Knowledge and Belief},
  booktitle = {Artificial Intelligence and Mathematical Theory of
  	Computation},
  publisher = {Academic Press},
  year = {1991},
  editor = {Vladimir Lifschitz},
  pages = {231--246},
  address = {San Diego},
  topic = {LISP;parallel-processing;}
  }

@article{ kowalski_ra-kuehner:1971a,
  author = {Robert Kowalski and Donald Kuehner},
  title = {Linear Resolution with Selection Function},
  journal = {Artificial Intelligence},
  year = {1971},
  volume = {2},
  number = {3--4},
  pages = {227--260},
  acontentnote = {Abstract:
     Linear resolution with selection function (SL-resolution) is a
     restricted form of linear resolution.  The main restriction is
     effected by a selection function which chooses from each clause
     a single literal to be resolved upon in that clause.  This and
     other restrictions are adapted to linear resolution from
     Loveland's model elimination.
       We show that SL-resolution achieves a substantial reduction in
     the generation of redundant and irrelevant derivations and does
     so without significantly increasing the complexity of simplest
     proofs.  We base our argument for the increased efficiency of
     SL-resolution upon precise calculation of these quantities.
      A more far reaching advantage of SL-resolution is its
     suitability for heuristic search.  In particular, classification
     trees, subgoals, lemmas, and/or search trees can all be used to
     increase the efficiency of finding refutations.  These
     considerations alone suggest the superiority of SL-resolution to
     theorem-proving procedures constructed solely for their
     heuristic attraction.
      From comparison with other theorem-proving methods, we
     conjecture that best proof procedures for first order logic will
     be obtained by further elaboration of SL-resolution.},
  topic = {theorem-proving;SL-resolution;resolution;}
  }

@article{ kowalski_ra-sergot:1986a,
  author = {Robert A. Kowalski and Marek J. Sergot},
  title = {A Logic-Based Calculus of Events},
  journal = {New Generation Computing},
  year = {1986},
  volume = {4},
  pages = {67--95},
  contentnote = {This is the original event calculus paper.},
  topic = {events;event-calculus;action-formalisms;}
  }

@article{ kowalski_ra-toni:1996a,
  author = {Robert A. Kowalski and Frencesca Toni},
  title = {Abstract Argumentation},
  journal = {Artificial Intelligence and Law},
  year = {1996},
  pages = {275--296},
  volume = {4},
  topic = {legal-AI;argumentation-theory;argumentation;}
    }

@article{ kowalski_t-kracht:2006a,
  author = {T. Kowalski and Marcus Kracht},
  title = {Semisimple Varieties of Modal Algebras},
  journal = {Studia Logica},
  year = {2006},
  volume = {83},
  number = {1--3},
  pages = {351--363},
  topic = {modal-logic;algebrac-logic;}
  }

@incollection{ kozai:1999a,
  author = {Soichi Kozai},
  title = {A Mental Space Account for Speaker's
	Empathy: {J}apanese Profiling Identity vs. {E}nglish
	Shading Identity},
  booktitle = {Modeling and Using Contexts: Proceedings of
	the Second International and Interdisciplinary
	Conference, {CONTEXT}'99},
  publisher = {Springer-Verlag},
  year = {1999},
  editor = {Paolo Bouquet and Luigi Serafini and Patrick
	Br\'ezillon	and Massimo Benerecetti and Francesca
	Castellani},
  pages = {214--227},
  address = {Berlin},
  topic = {context;empathy;Japanese-language;}
  }

@book{ kozen:1997a,
  author = {Dexter C. Kozen},
  title = {Automata and Computability},
  publisher = {Springer-Verlag},
  year = {1997},
  address = {Berlin},
  rtnote = {In RHT collection.},
  topic = {automata-theory;finite-state-automata;computability;
  	context-free-grammars;complexity-theory;theoretical-cs-intro;}
 }

@incollection{ kozima-iro:1998a,
  author = {Hideki Kozima and Akira Iro},
  title = {Towards Language Acquisition by an Attention-Sharing
  	Robot},
  booktitle = {Proceedings of the Joint Conference on New Methods in
  	Language Processing and Computational Language Learning},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Jill C. Burstein and Claudia Leacock},
  pages = {245--246},
  address = {Somerset, New Jersey},
  topic = {automated-language-acquisition;}
  }

@incollection{ kozima-ito:1998a,
  author = {Hideki Kozima and Akira Ito},
  title = {Towards Language Acquisition by an Attention-Sharing
  		Robot},
  booktitle = {New Methods in Language Processing and Computational
  		Language Learning},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {David M.W. Powers},
  pages = {245--246},
  address = {Somerset, New Jersey},
  topic = {automated-language-acquisition;}
  }

@article{ kraaij-etal:2003a,
  author = {Wessel Kraaij and Jian-Yun Nie and Michel Simard},
  title = {Embedding Web-Based Statistical Translation Models in
  	Cross-Linguistic Information Retrieval},
  journal = {Computational Linguistics},
  year = {2003},
  volume = {28},
  number = {3},
  pages = {381--419},
  topic = {internet-based-nlp;corpus-linguistics;statistical-nlp;
  	machine-translation;information-retrieval;}
  }

@article{ krabbe:1978a,
  author = {Eric C.W. Krabbe},
  title = {Note on a Completeness Theorem in the Theory of
  	Counterfactuals},
  journal = {Journal of Philosophical Logic},
  year = {1978},
  volume = {7},
  number = {1},
  pages = {91--93},
  topic = {conditionals;}
  }

@techreport{ krabbe:1982a,
  author = {Erik C.W. Krabbe},
  title = {Noncumulative Dialectical Models and Formal Dialectics},
  institution = {Centrale Interfaculteit, Reijksuniversiteit Utrecht},
  year = {1982},
  address = {Utrecht},
  rtnote = {In RHT collection.},
  missinginfo = {Year is a guess.},
  topic = {dialogue-logic;}
  }

@article{ krabbe:1985a,
  author = {Eric C.W. Krabbe},
  title = {Noncumulative Dialectical Models and Formal Dialectics},
  journal = {Journal of Philosophical Logic},
  year = {1985},
  volume = {14},
  number = {2},
  pages = {129--168},
  topic = {dialogue-logic;}
  }

@article{ krabbe:1986a,
  author = {Erik C.W. Krabbe},
  title = {A Theory of Modal Dialectics},
  journal = {Journal of Philosophical Logic},
  year = {1986},
  volume = {15},
  number = {2},
  pages = {191--217},
  topic = {dialogue-logic;}
  }

@incollection{ krabbendam-meyer_jjc:1998a,
  author = {J. Krabbendam and John-Jules Ch. Meyer},
  title = {Contextual Deontic Logic},
  booktitle = {Norms, Logics and Information Systems.  New Studies in
		Deontic Logic and Computer Science},
  publisher = {IOS Press},
  year = {1998},
  editor = {Henry Prakken and Paul McNamara},
  address = {Amsterdam},
  missinginfo = {pages = {347--}},
  topic = {deontic-logic;context;}
  }

@article{ kracht:1991a,
  author = {Marcus Kracht},
  title = {A Solution to a Problem of {U}rquhart},
  journal = {Journal of Philosophical Logic},
  year = {1991},
  volume = {20},
  number = {3},
  pages = {285--286},
  topic = {modal-logic;}
  }

@incollection{ kracht:1993a,
  author = {Marcus Kracht},
  title = {How Completeness and Correspondence Theory Got Married},
  booktitle = {Diamonds and Defaults},
  publisher = {Kluwer Academic Publishers},
  editor = {Maarten de Rijke},
  year = {1993},
  pages = {175--214},
  address = {Dordrecht},
  topic = {modal-logic;completeness-theorems;modal-correspondence-theory;}
  }

@article{ kracht:1995a,
  author = {Marcus Kracht},
  title = {Is There a Genuine Modal Perspective on Feature
  	Structures?},
  journal = {Linguistics and Philosophy},
  year = {1995},
  volume = {18},
  number = {4},
  pages = {401--458},
  topic = {feature-structure-logic;}
  }

@article{ kracht:1995b,
  author = {Marcus Kracht},
  title = {Syntactic Codes and Grammar Refinement},
  journal = {Journal of Logic, Language, and Information},
  year = {1993},
  volume = {4},
  number = {1},
  pages = {41--60},
  note = {(This version contained incorrect fonts, and was reprinted as
  	an erratum in the {\em Journal of Logic, Language, and
	Information}, vol. 4, no. 4, pp.~359--380.)},
  topic = {foundations-of-syntax;constraint-based-grammar;minimalist-syntax;}
  }

@article{ kracht:1997a,
  author = {Marcus Kracht},
  title = {Review of \emph{{T}he Semantics of Syntax: A Minimalist
  	Approach to Grammar}, by {D}enis {B}ouchard},
  journal = {Journal of Logic, Language, and Information},
  year = {1997},
  volume = {6},
  number = {3},
  pages = {344--350},
  topic = {nl-semantics;foundations-of-semantics;}
  }

@incollection{ kracht:1997b,
  author = {Marcus Kracht},
  title = {Inessential Features},
  booktitle = {{LACL}'96: First International Conference on
      Logical Aspects of Computational Linguistics},
  publisher = {Springer-Verlag},
  year = {1997},
  editor = {Christian Retor/'e},
  pages = {43--62},
  address = {Berlin},
  topic = {logic-and-computational-linguistics;
       feature-structure-logic;}
  }

@article{ kracht:1998a,
  author = {Marcus Kracht},
  title = {On Extensions of Intermediate Logics by
		Strong Negation},
  journal = {Journal of Philosophical Logic},
  year = {1998},
  volume = {27},
  number = {1},
  pages = {49--73},
  topic = {intuitionistic-logic;constructive-logics;}
  }

@book{ kracht:1999a,
  author = {Marcus Kracht},
  title = {Tools and Techniques in Modal Logic},
  publisher = {Elsevier},
  year = {1999},
  address = {Amsterdam},
  xref = {Review: bezhanishvili:2001a.},
  ISBB = {0444500553},
  topic = {modal-logic;}
 }

@article{ kracht:2001a,
  author = {Marcus Kracht},
  title = {Syntax in Chains},
  journal = {Linguistics and Philosophy},
  year = {2001},
  volume = {24},
  number = {4},
  pages = {467--529},
  topic = {nl-syntax;constituent-structure;}
  }

@article{ kracht:2002a,
  author = {Marcus Kracht},
  title = {On the Semantics of Locatives},
  journal = {Linguistics and Philosophy},
  year = {2002},
  volume = {25},
  number = {2},
  pages = {157--232},
  topic = {locative-constructions;nl-semantics;spatial-language;
  	spatial-semantics;}
  }

@article{ kracht:2002b,
  author = {Marcus Kracht},
  title = {Referent Systems and Relational Grammar},
  journal = {Journal of Logic, Language, and Information},
  year = {2002},
  volume = {10},
  number = {1},
  pages = {251--286},
  topic = {relational-grammar;dynamic-semantics;referent-systems;}
  }

@book{ kracht:2003a,
  author = {Marcus Kracht},
  title = {The Mathematics of Language},
  publisher = {Mouton de Gruyter},
  year = {2003},
  address = {Berlin},
  ISBN = {3-11-017620-3},
  xref = {Review: tiede:2004a},
  topic = {mathematical-linguistics;}
 }

@article{ kracht:2004a,
  author = {Marcus Kracht},
  title = {Review of \emph{{F}ibring Logics}, edited by {D}ov {M}.
  	{G}abbay},
  journal = {The Bulletin of Symbolic Logic},
  year = {2004},
  volume = {10},
  number = {2},
  pages = {209--211},
  xref = {Review of: gabbay:1999a.},
  topic = {fibred-semantics;modal-logic;}
  }

@article{ kracht:2006a,
  author = {Marcus Kracht},
  title = {Review of \emph{{T}he Proper Treatment of Events},
  	by {M}ichiel van {L}ambargen and {F}ritz {H}amm},
  journal = {The Bulletin of Symbolic Logic},
  year = {2006},
  volume = {12},
  number = {1},
  pages = {139--141},
  xref = {Review of: vanlambargen-hamm:2005a.},
  topic = {nl-semantics;events;}
  }

@incollection{ kracht:2006b,
  author = {Marcus Kracht},
  title = {Modal Consequence Relations},
  booktitle = {Handbook of Modal Logic},
  year = {2006},
  editor = {Patrick Blackburn and Johan van Benthem and Frank Wolter},
  pages = {491--545},
  address = {New York},
  rtnote = {In RHT collection.},
  topic = {modal-logic;logical-consequence;admissible-rules;
  	interpolation-theorems;}
  }

@article{ kracht:2007a,
  author = {Marcus Kracht},
  title = {The Emergence of Syntactic Structure},
  journal = {Linguistics and Philosophy},
  year = {2007},
  volume = {30},
  number = {4},
  pages = {47--95},
  topic = {compositionality;foundations-of-semantics;}
  }

@book{ kracht-etal:1998a,
  editor = {Marcus Kracht and Maarten de Rijke and Heinrich Wansing},
  title = {Advances in Modal Logic, Volume 1},
  publisher = {{CSLI} Publications},
  year = {1998},
  address = {Stanford, California},
  contentnote = {TC:
     1. Alberto Artosi and Paola Benassi and Guido GOvernatori
     	and Antonio Rotolo, "Shakespearian Modal Logic: A Labeled
	Treatment of Modal Identity", pp. 1--21
     2. Philippe Balbiani, "Terminological Modal Logic", pp. 23--39
     3. Patrick Blackburn and Jerry Seligman, "What Are Hybrid
     		Languages?", pp. 41--62
     4. Lilia Chagrova, "On the Degree of Neighborhood Incompleteness
     		of Normal Modal Logics", pp. 63--72
     5. Giovanna D'Agostino and Marco Hollenberg, "Uniform Interpolation,
     		Automata and the Modal $\mu$-Calculus", pp. 73--84
     6. Carsten Grefe, "Fischer {S}ervi's Intuitionistic Modal Logic
     		Has the Finite Model Property", pp. 85--98
     7. Bernhard Heinemann, "Topological Nexttime Logic", pp. 99--113
     8. Oliver Lemon and Ian Pratt, "On the Incompleteness of Modal
     		Logics of Space: Advancing Complete Modal Logics of
		Place", pp. 115--132
     9. Larisa Maksimova, "Interpolation in Superinituitionistic
     		and Modal Predicate Logics with Equality", pp. 113--140
    10. Maarten Marx, "Mosaics and Cylindric Modal Logic of Dimension
    		2", pp. 141--156
    11. Aida Pliu\v{s}kevi\v{c}ien\'e, "Cut-Free Indexical Calculi
    		for Modal Logics Containing the {B}arcan
		Axiom", pp. 157--172
    12. Riccardo Rosati, "Minimal Knowledge States in Nonmonotonic
    		Modal Logics", pp. 173--187
    13. Renate A. Schmidt, "Resolution is a Decision Procedure for
    		Many Propositional Modal Logics", pp. 187--208
    14. Valentin Shehtman, "On Strong Neighbourhood Completeness of Modal
    		and Intermediate Propositional Logics, Part {I}", pp. 209-222
    15. Hiroyuki Shirasu, "Duality in Superintuitionistic and Modal
    		Predicate Logics", pp. 223--236
    16. Vladimir V. Spanopulo and Vladimir A. Zakharov, "On the
    		Relationship between Models of Parallel
		Computation", pp. 237--248
    17. Timothy J. Surendonk, "On Isomorphisms between Canonical
    		Frames", pp. 249--268
    18. Dimiter Vakarelov, "Hyper Arrow Structures.  Arrow Logics
    		{III}", pp. 269--290
    19. Yde Venema, "Atom Structures", pp. 291--305
    20. Albert Visser, "An Overview of Interpretability Logic", pp. 307--359
    21. Frank Wolter, "Fusions of Modal Logics Revisited", pp. 361--379
  },
  ISBN = {1-57587-102-X},
  xref = {Reviews: cresswell_mj:2000a,mares:2002a.},
  topic = {modal-logic;}
 }

@incollection{ kracht-kutz_o:2005a,
  author = {Marcus Kracht and Oliver Kutz},
  title = {The Semantics of Modal Logic {II}.  Modal Individuals
  		Revisited},
  booktitle = {Intensionality},
  publisher = {A.K. Peters, Ltd.},
  year = {2005},
  editor = {Reinhard Kahle},
  pages = {60--96},
  address = {Wellesley, Massachusetts},
  topic = {quantifying-in-modality;modal-logic;completeness-theorems;
  		first-order-modal-logic;}
  }

@article{ kracht-wolter:1991a,
  author = {Marcus Kracht and Frank Wolter},
  title = {Properties of Independently Axiomatizable Bimodal Logics},
  journal = {Journal of Symbolic Logic},
  year = {1991},
  volume = {56},
  number = {4},
  pages = {1469--1485},
  topic = {multimodal-logic;combining-logics;}
  }

@article{ kracht-wolter:1997a,
  author = {Marcus Kracht and Frank Wolter},
  title = {Simulation and Transfer Results in Modal Logic:
		A Survey},
  journal = {Studia Logica},
  year = {1997},
  volume = {59},
  number = {2},
  pages = {149--177},
  topic = {combining-logics;modal-logics;}
  }

@book{ krahmer:1998a,
  author = {Emiel Krahmer},
  title = {Presupposition and Anaphora},
  publisher = {{CSLI} Publications},
  year = {1998},
  address = {Stanford, California},
  topic = {presuppsoition;anaphora;}
 }

@incollection{ krahmer-etal:1997a,
  author = {Emiel Krahmer and Jan Landsbergen and Xavier Pouteau},
  title = {How to Obey the 7 Commandments for Spoken Dialogue},
  booktitle = {Interactive Spoken Dialog Systems:  Bridging
  	Speech and {NLP} Together in Real Applications},
  publisher = {Association for Computational Linguistics},
  year = {1997},
  editor = {Julia Hirschberg and Candace Kamm and Marilyn Walker},
  pages = {82--89},
  address = {New Brunswick, New Jersey},
  topic = {computational-dialogue;}
  }

@article{ krahmer-etal:2003a,
  author = {Emiel Krahmer and Sebantian van Erk and Andr\'e Verleg},
  title = {Graph-Based Generation of Referring Expressions},
  journal = {Computational Linguistics},
  year = {2003},
  volume = {29},
  number = {1},
  pages = {53--72},
  topic = {nl-generation;referring-expressions;}
  }

@inproceedings{ krahmer-muskens:1994a,
  author = {Emiel Krahmer and Reinhard Muskens},
  title = {Umbrellas and Bathrooms},
  booktitle = {Proceedings from Semantics and Linguistic Theory {IV}},
  year = {1994},
  editor = {Mandy Harvey and Lynn Santelmann},
  pages = {175--194},
  publisher = {Cornell University},
  address = {Ithaca, New York},
  note = {Available from CLC Publications, Department of Linguistics,
  	Morrill Hall, Cornell University, Ithaca, NY 14853-4701.},
  topic = {nl-semantics;donkey-anaphora;discourse-representation-theory;
  	pragmatics;}
  }

@incollection{ krahmer-theune:2002a,
  author = {Emiel Krahmer and Mari\"et Theune},
  title = {Efficient Context-Sensitive Generation of
  	Referring Expressions},
  booktitle = {Information Sharing: Givenness and Newness in Language
  	Processing},
  publisher = {CSLI Publications},
  year = {2002},
  editor = {Kees van Deemter and Rodger Kibble},
  pages = {233--264},
  address = {Stanford, California},
  rtnote = {In RHT collection.},
  topic = {nl-generation;referring-expressions;context;}
  }

@article{ krajcoviech-kotocova:1999a,
  author = {Richard Kraj\v{c}oviech and Margar\'eta Koto\v{c}ov\'a},
  title = {Non-Uniform Time Sharing in the Concurrent
		Execution of Constraint Solving},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {109},
  number = {1--2},
  pages = {161--185},
  acontentnote = {Abstract:
     Concurrent execution of multiple instances of a randomised
     search over a CSP is one of the techniques for improvement of
     performance. Hitherto, uniform time sharing is the dominant
     approach to the control of execution of such instances. This
     paper introduces a new modification of search
     algorithms--non-uniform time sharing with elimination
     (NUTSE)--and experimentally evaluates the efficiency of its
     combination with both the FC-MRV (Forward Checking with the
     Minimal-Remaining-Values heuristic) and the FC-B (FC with the
     Brelaz's heuristic). The experiments show that the NUTSE over
     FC-MRV can be in the underconstrained area many times faster
     than the singly-executed FC-B. This good behaviour is used in a
     hybrid CNUC algorithm (Combined Non-Uniform Concurrency) that
     combines the FC-B and the NFC-MRV algorithms to obtain a good
     algorithm across a wide range of problem instances. All the
     experiments in this paper use the graph three-colouring problem.
  },
  topic = {constraint-satisfaction;search;AI-algorithms;
  		experimental-AI;graph-coloring;time-sharing;}
  }

@article{ krajicek:2001a,
  author = {Jan kraj\'i\^cek},
  title = {Tautologies from Pseudo-Random Generators},
  journal = {The Bulletin of Symbolic Logic},
  year = {2001},
  volume = {7},
  number = {2},
  pages = {197--212},
  topic = {proof-complexity;bounded-arithmetic;randomness;}
  }

@article{ kramer_ga:1992a,
  author = {Glenn A. Kramer},
  title = {A Geometric Constraint Engine},
  journal = {Artificial Intelligence},
  year = {1992},
  volume = {58},
  number = {1--3},
  pages = {327--360},
  acontentnote = {Abstract:
     This paper describes a geometric constraint engine for finding
     the configurations of a collection of geometric entities that
     satisfy a set of geometric constraints.  This task is
     traditionally performed by reformulating the geometry and
     constraints as algebraic equations which are then solved
     symbolically or numerically.  Symbolic algebraic solution is
     NP-complete.  Numerical solution methods are characterized by
     slow runtimes, numerical instabilities, and difficulty in
     handling redundant constraints.  Many geometric constraint
     problems can be solved by reasoning symbolically about the
     geometric entities themselves using a new technique called
     degrees of freedom analysis.  In this approach, a plan of
     measurements and actions is devised to satisfy each constraint
     incrementally, thus monotonically decreasing the system's
     remaining degrees of freedom.  This plan is used to solve, in a
     maximally decoupled form, the equations resulting from an
     algebraic representation of the problem.  Degrees of freedom
     analysis results in a polynomial-time, numerically stable
     algorithm for geometric constraint satisfaction.  Empirical
     comparison with a state-of-the-art numerical solver in the
     domain of kinematic simulation shows degrees of freedom analysis
     to be more robust and substantially more efficient.
  },
  topic = {constraint-satisfaction;geometrical-reasoning;
  	automated-algebra;complexity-in-AI;polynomial-algorithms;}
  }

@book{ kramer_mh:2003a,
  author = {Matthew H. Kramer},
  title = {The Quality of Freedom},
  publisher = {Oxford University Press},
  year = {2003},
  address = {Oxford},
  xref = {Review: carter_i:2005a},
  topic = {freedom;volition;}
 }

@incollection{ kramer_r-etal:2005a,
  author = {Ronney Kramer and Marko Modsching and Jorg Schulze and
  	Klaus ten Hagen},
  title = {Context-Aware Adaptation in a Mobile Tour Guide},
  booktitle = {Modeling and Using Context: 5th International and
  	Interdisciplinary Conference},
  publisher = {Springer-Verlag},
  year = {2005},
  editor = {Anind Dey and Boicho Kokinov and David Leake and Roy Turner},
  pages = {210--224},
  address = {Berlin},
  topic = {context;computational-ontology;advice-giving-systems;}
  }

@book{ krantz-etal:1971a,
  author = {D.H. Krantz and R. Duncan Luce and Patrick Suppes and
  	Amos Tversky},
  title = {Foundations of Measurement},
  publisher = {Academic Press},
  year = {1971},
  volume = {1},
  address = {New York},
  missinginfo = {A's 1st name.},
  topic = {measurement-in-behavioral-science;measurement-theory;}
 }

@inproceedings{ krasucki:1990a,
  author = {Paul J. Krasucki},
  title = {Reaching Consensus on Decisions},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
    Proceedings of the Third Conference ({TARK} 1990)},
  year = {1990},
  editor = {Rohit Parikh},
  pages = {141--150},
  publisher = {Morgan Kaufmann},
  address = {Los Altos, California},
  topic = {mutual-agreement;mutual-belief;bargaining-theory;
  	communications-modeling;}
  }

@incollection{ krasucki:1992a,
  author = {Paul J. Krasucki},
  title = {Some Results on Consensus},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
  	Proceedings of the Fourth Conference ({TARK} 1992)},
  publisher = {Morgan Kaufmann},
  year = {1992},
  editor = {Yoram Moses},
  pages = {245--253},
  address = {San Francisco},
  topic = {communication-protocols;mutual-belief;}
  }

@inproceedings{ krasucki-etal:1990a,
  author = {Paul Krasucki and Rohit Parikh and Gilbert Ndjatou},
  title = {Probabilistic Knowledge and Probabilistic Common Knowledge
  	(Preliminary Report)},
  booktitle = {Methodologies for Intelligent Systems: Proceedings of
  	the Sixth International Symposium},
  year = {1991},
  editor = {Z. Ras and M. Zemankova and M. Emrich},
  pages = {1--8},
  publisher = {North-Holland},
  address = {Amsterdam},
  rtnote = {In RHT collection.},
  topic = {probabilistic-reasoning;mutual-belief;}
  }

@incollection{ krasucki-ramanujam:1994a,
  author = {Paul J. Krasucki and Ramaswamy Ramanujam},
  title = {Knowledge and the Ordering of Events in Distributed
  	Systems},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
  	Proceedings of the Fifth Conference ({TARK} 1994)},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Ronald Fagin},
  pages = {267--283},
  address = {San Francisco},
  topic = {epistemic-logic;distibuted-systems;}
  }

@article{ kratzer:1977a,
  author = {Angelika Kratzer},
  title = {What `Must' and `Can' Must and Can Mean},
  journal = {Linguistics and Philosophy},
  year = {1977},
  volume = {1},
  number = {3},
  pages = {337--356},
  rtnote = {tmix-project;},
  rtnote = {semantics-course;},
  url = {http://semanticsarchive.net/Archive/Tc2NjA1M/},
  topic = {nl-semantics;nl-modality;}
  }

@incollection{ kratzer:1979a,
  author = {Angelika Kratzer},
  title = {Conditional Necessity and Possibility},
  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 = {117--147},
  topic = {nl-semantics;nl-modality;conditionals;}
  }

@article{ kratzer:1980a,
  author = {Angelika Kratzer},
  title = {Possible-Worlds Semantics and Psychological Reality},
  journal = {Linguistische Berichte},
  year = {1980},
  volume = {66},
  pages = {1--14},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {foundations-of-semantics;philosophy-of-possible-worlds;
	psychological-reality;natural-language-semantics-and-cognition;}
  }

@article{ kratzer:1981a,
  author = {Angelika Kratzer},
  title = {Partition and Revision: The Semantics of Counterfactuals},
  journal = {Journal of Philosophical Logic},
  year = {1981},
  volume = {10},
  number = {2},
  pages = {201--216},
  topic = {conditionals;vagueness;}
  }

@incollection{ kratzer:1981b,
  author = {Angelika Kratzer},
  title = {The Notional Category of Modality},
  booktitle = {Words, Worlds and Contexts},
  editor = {Hans-J\"urgen Eikmeyer and Hannes Rieser},
  publisher = {Walter de Gruyter},
  address = {Berlin},
  year = {1981},
  pages = {38--74},
  rtnote = {In RHT collection.},
  url = {http://semanticsarchive.net/Archive/Tc2NjA1M/notional-category-modality.pdf},
  topic = {nl-modality;}
  }

@article{ kratzer:1989a,
  author = {Angelika Kratzer},
  title = {An Investigation of the Lumps of Thought},
  journal = {Linguistics and Philosophy},
  year = {1989},
  volume = {12},
  number = {5},
  pages = {607--653},
  topic = {situation-semantics;conditionals;negation;}
  }

@unpublished{ kratzer:1989b,
  author = {Angelika Kratzer},
  title = {The Representation of Focus},
  year = {1989},
  note = {Unpublished manuscript, University of Massachusetts
  	at Amherst},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;sentence-focus;}
  }

@incollection{ kratzer:1991a,
  author = {Angelika Kratzer},
  title = {Modality},
  booktitle = {Semantics: An International Handbook of
	Contemporary Research},
  editor = {Arnim von Stechow and Dieter Wunderlich},
  publisher = {de Gruyter},
  year = {1991},
  address = {Berlin},
  pages = {639--650},
  topic = {nl-modality;nl-semantics;}
  }

@incollection{ kratzer:1991b,
  author = {Angelika Kratzer},
  title = {Conditionals},
  booktitle = {Semantics: An International Handbook of
	Contemporary Research},
  editor = {A. von Stechow and D. Wunderlich},
  publisher = {de Gruyter},
  year = {1991},
  address = {Berlin},
  pages = {651--656},
  topic = {conditionals;nl-modality;nl-semantics;}
  }

@incollection{ kratzer:1995a,
  author = {Angelika Kratzer},
  title = {Stage-Level and Individual-Level Predicates},
  booktitle = {The Generic Book},
  publisher = {Chicago University Press},
  year = {1995},
  editor = {Gregory Carlson and Francis Jeffry Pelletier},
  pages = {125--175},
  address = {Chicago, IL},
  topic = {i-level/s-level;}
  }

@inproceedings{ kratzer:1998a,
  author = {Angelika Kratzer},
  title = {More Structural Analogies Between Pronouns and Tenses},
  booktitle = {Proceedings from Semantics and Linguistic Theory {VIII}},
  publisher = {Cornell University},
  year = {1998},
  editor = {Devon Strolovitch and Aaron Lawson},
  pages = {92--110},
  address = {Ithaca, New York},
  topic = {nl-semantics;pronouns;nl-tense;}
  }

@inproceedings{ kratzer:1998b,
  author = {Angelika Kratzer},
  title = {Scope or Pseudoscope?  Are There Wide-Scope Indefinites?},
  booktitle = {Events and Grammar},
  year = {1998},
  editor = {Susan D. Rothstein},
  pages = {163--196},
  publisher = {Kluwer Academic Publishers},
  address = {Dordrecht},
  topic = {nl-semantics;nl-quantifier-scope;indefiniteness;}
  }

@unpublished{ kratzer:2000a,
  author = {Angelika Kratzer},
  title = {The Event Argument, Chapter 2},
  year = {2000},
  note = {Available at http://www.semanticsarchive.net},
  rtnote = {In RHT collection.},
  topic = {thematic-roles;agency;}
  }

@unpublished{ kratzer:2001a,
  author = {Angelika Kratzer},
  title = {The Event Argument, Chapter 4},
  year = {2001},
  note = {Available at http://www.semanticsarchive.net},
  rtnote = {In RHT collection.},
  topic = {thematic-roles;agency;}
  }

@article{ kratzer:2002a,
  author = {Angelika Kratzer},
  title = {Facts: Particulars or Information Units?},
  journal = {Linguistics and Philosophy},
  year = {2002},
  volume = {25},
  number = {5--6},
  pages = {655--670},
  topic = {facts;situation-semantics;}
  }

@unpublished{ kratzer:2003a,
  author = {Angelika Kratzer},
  title = {The Event Argument, Chapter 3},
  year = {2003},
  note = {Available at http://www.semanticsarchive.net},
  rtnote = {In RHT collection.},
  topic = {thematic-roles;agency;}
  }

@article{ kratzer:2009a,
  author = {Angelika Kratzer},
  title = {Making a Pronoun: Fake Indexicals as Windows into the
  		Properties of Pronouns},
  journal = {Linguistic Inquiry},
  year = {2009},
  volume = {40},
  number = {2},
  pages = {187--237},
  topic = {underspecification;pronouns;binding-theory;}
  }

@article{ kraus_s:1996a,
  author = {Sarit Kraus},
  title = {An Overview of Incentive Contracting},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {83},
  number = {2},
  pages = {297--346},
  acontentnote = {Abstract:
     Agents may contract some of their tasks to other agents even
     when they do not share a common goal.  An agent may try to
     contract some of the tasks that it cannot perform by itself, or
     that may be performed more efficiently by other agents.  One
     self-motivated agent may convince another self-motivated agent
     to help it with its task, by promises of rewards, even if the
     agents are not assumed to be benevolent.  We propose techniques
     that provide efficient ways for agents to make incentive
     contracts in varied situations: when agents have full
     information about the environment and each other, or when agents
     do not know the exact state of the world.  We consider situations
     of repeated encounters, cases of asymmetric information,
     situations where the agents lack information about each other,
     and cases where an agent subcontracts a task to a group of
     agents.  Situations in which there is competition among possible
     contractor agents or possible manager agents are also
     considered.  In all situations we assume that the contractor can
     choose a level of effort when carrying out the task and we would
     like the contractor to carry out the task efficiently without
     the need of close observation by the manager.},
  topic = {cooperation;negotiation;distributed-systems;
  	artificial-societies;}
  }

@article{ kraus_s:1997a,
  author = {Sarit Kraus},
  title = {Negotiation and Cooperation in Multi-Agent Environments},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {94},
  number = {1--2},
  pages = {79--97},
  topic = {cooperation;negotiation;distributed-systems;artificial-societies;}
  }

@book{ kraus_s:2001a,
  author = {Sarit Kraus},
  title = {Strategic Negotiation in Multiagent Environments},
  publisher = {The {MIT} Press},
  year = {2001},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-11264-7 (hardback)},
  rtnote = {In RHT collection.  AI Shelves.},
  topic = {cooperation;negotiation;distributed-systems;artificial-societies;}
 }

@techreport{ kraus_s-etal:1988a,
  author = {Sarit Kraus and Daniel Lehmann and Menachem Magidor},
  title = {Preferential Models and Cumulative Logic},
  institution = {Leibniz Center for Research in Computer Science,
  	The Hebrew University of Jerusalem},
  number = {TR--88--15},
  year = {1988},
  address = {Jerusalem},
  rtnote = {In RHT collection.},
  topic = {nonmonotonic-logic;preferential-models;}
  }

@article{ kraus_s-etal:1990a,
  author = {Sarit Kraus and Daniel Lehmann and Menachem Magidor},
  title = {Nonmonotonic Reasoning, Preferential Models and Cumulative
  	Logics},
  journal = {Artificial Intelligence},
  year = {1990},
  volume = {14},
  number = {1},
  pages = {167--207},
  rtnote = {Copy also on file.},
  topic = {nonmonotonic-logic;model-preference;}
 }

@article{ kraus_s-etal:1991a,
  author = {Sarit Kraus and Donald Perlis and John Horty},
  title = {Reasoning about Ignorance: A Note on the {B}ush-{G}orbachov
  	Problem},
  journal = {Fundamenta Informaticae},
  year = {1991},
  volume = {15},
  number = {3--4},
  pages = {325--332},
  rtnote = {This volume in RHT collection.},
  topic = {reasoning-about-knowledge;propositional-attitude-ascription;}
  }

@article{ kraus_s-etal:1995a,
  author = {Sarit Kraus and Jonathan Wilkenfeld and Gilad Zlotkin},
  title = {Multiagent Negotiation under Time Constraints},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {75},
  number = {2},
  pages = {297--345},
  topic = {distributed-AI;negotiation;}
  }

@article{ kraus_s-etal:1998a,
  author = {Sarit Kraus and Katia Sycara and Amir Evenchik},
  title = {Reaching Agreements through Argumentation:  A Logical
  	Model and Implementation},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {104},
  number = {1--2},
  pages = {1--69},
  topic = {argumentation;argumentation-theory;negotiation;}
  }

@article{ kraus_s-etal:2008a,
  author = {Sarit Kraus and Penina Hoz-Weiss and Jonathan Wilkenfeld
  		and David R. Andersen and Amy Pate},
  title = {Resolving Crises through Automated Bilateral Negotiations},
  journal = {Artificial Intelligence},
  year = {2008},
  volume = {172},
  number = {1},
  pages = {1--18},
  topic = {negotiation;}
  }

@article{ kraus_s-lehmann_dj:1988a,
  author = {Sarit Kraus and Daniel J. Lehmann},
  title = {Knowledge, Belief, and Time},
  journal = {Theoretical Computer Science},
  year = {1988},
  volume = {58},
  pages = {155--274},
  missinginfo = {number},
  topic = {epistemic-logic;temporal-logic;}
  }

@inproceedings{ kraus_s-wilkenfeld:1991a,
  author = {Sarit Kraus and Jonathan Wilkenfeld},
  title = {The Function of Time in Cooperative Negotiations},
  booktitle = {Proceedings of the Ninth National Conference on
              Artificial Intelligence},
  year = {1991},
  editor = {Thomas Dean and Kathy McKeown},
  pages = {179--184},
  organization = {American Association for Artificial Intelligence},
  publisher = {MIT Press},
  address = {Cambridge, Massachusetts},
  topic = {distributed-AI;negotiation;}
  }

@incollection{ krause:2002a,
  author = {Peter Krause},
  title = {An Algorithm for Processing Referential Definite
  	Descriptions in Dialogue Based on Abductive Inference},
  booktitle = {{EDILOG} 2002: Proceedings of the Sixth Workshop on the
  	Semantics and Pragmatics of Dialogue},
  publisher = {Cognitive Science Centre, University of Edinburgh},
  year = {2002},
  editor = {Johan Bos and Mary Ellen Foster and Colin Mathesin},
  pages = {77--84},
  address = {Edinburgh},
  topic = {abduction;definite-descriptions;DRT;}
  }

@incollection{ krause_p1:1999a,
  author = {Peter Krause},
  title = {Identification Language Games},
  booktitle = {Proceedings of the Twelfth {A}msterdam Colloquium},
  publisher = {ILLC/Department of Philosophy, University
		of Amsterdam},
  year = {1999},
  editor = {Paul Dekker},
  pages = {13--18},
  address = {Amsterdam},
  topic = {object-identification;discourse;knowing-who;}
  }

@book{ krause_p1-clark_d:1993a,
  author = {Paul Krause and Dominic Clark},
  title = {Representing Uncertain Knowledge: An Artificial Intelligence
  	Approach},
  publisher = {Kluwer Academic Publishers},
  year = {1993},
  address = {Dordrecht},
  ISBN = {0792324331},
  rtnote = {UMich Graduate Library, Q 375 .K71 1993},
  topic = {reasoning-about-knowledge;kr;}
 }

@book{ krause_p2-clark_d:1993a,
  author = {Paul Krause and Dominic Clark},
  title = {Representing Uncertain Knowledge: An Artificial Intelligence
    Approach},
  publisher = {Dordrecht ; Kluwer Academic Publishers},
  year = {1993},
  address = {Dordrecht},
  ISBN = {0792324331},
  rtnote = {UMich Graduate Library, Q 375 .K71 1993.},
  topic = {resoning-about-uncertainty;}
 }

@incollection{ krauss-fussell:1991a,
  author = {Robert M. Krauss and Susan R. Fussell},
  title = {Constructing Shared Communicative Environments},
  booktitle = {Perspectives on Socially Shared Cognition},
  publisher = {American Psychological Association},
  year = {1991},
  editor = {Lauren B. Resnick and John M. Levine and
  	Stephanie D. Teasley},
  pages = {172--200},
  address = {Washington, D.C.},
  topic = {social-psychology;shared-cognition;}
  }

@article{ kraut_r:1979a,
  author = {Robert Kraut},
  title = {Attitudes and Their Objects},
  journal = {Journal of Philosophical Logic},
  year = {1979},
  volume = {8},
  number = {2},
  pages = {197--217},
  topic = {propositional-attitudes;}
  }

@incollection{ kraut_r:1986a,
  author = {Robert Kraut},
  title = {Love {\em De Re}},
  booktitle = {Midwest Studies in Philosophy Volume {X}:
  	Studies in the Philosophy of Mind},
  publisher = {University of Minnesota Press},
  address = {Minneapolis},
  year = {1986},
  editor = {Peter A. French and Theodore E. {Uehling, Jr.} and Howard K.
  	Wettstein},
  pages = {413--430},
  topic = {emotion;reference;}
  }

@article{ kraut_r:1996a,
  author = {Robert Kraut},
 title = {Review of \emph{Modalities: Philosophical Essays}, by {R}uth
  	{B}arcan {M}arcus},
  journal = {The Journal of Philosophy},
  year = {1996},
  volume = {93},
  number = {5},
  pages = {243--248},
  topic = {modal-logic;intensionality;}
  }

@article{ kraut_re-johnston_re:1979a,
  author = {Robert E. Kraut and Robert E. Johnston},
  title = {Social and Emotional Messages of Smiling: An
  	Ethological Approach},
  journal = {Journal of Personality and Social Psychology},
  volume = {37},
  number = {9},
  pages = {1539--1553},
  year = {1979},
  topic = {facial-expression;emotion;}
  }

@article{ kreisel:1984a,
  author = {George Kreisel},
  title = {Frege's Foundations and Intuitionistic Logic},
  journal = {The Monist},
  year = {1984},
  volume = {67},
  number = {1},
  pages = {72--91},
  topic = {Frege;intuitionistic-logic;foundations-of-mathematics;}
  }

@incollection{ kreitz:1998a,
  author = {C. Kreitz},
  title = {Program Synthesis},
  booktitle = {Automated Deduction: A Basis for Applications.
  	Volume {III}, Applications},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {Wolfgang Bibel and Peter H. Schmidt},
  address = {Dordrecht},
  missinginfo = {A's 1st name, pages},
  topic = {theorem-proving;applied-logic;software-engineering;
		automatic-programming;}
  }

@unpublished{ kremer_m:1984a,
  author = {Michael Kremer},
  title = {`{I}f' is Unambiguous},
  year = {1984},
  month = {May},
  rtnote = {May be published, eg in Phil Review.  In RHT collection.},
  note = {Unpublished MS, Philosophy Department, University of
  	Pittsburgh.},
  topic = {conditionals;}
  }

@article{ kremer_m:1988a,
  author = {Michael Kremer},
  title = {Kripke and the Logic of Truth},
  journal = {Journal of Philosophical Logic},
  year = {1988},
  volume = {17},
  number = {3},
  pages = {225--278},
  topic = {truth;semantic-paradoxes;}
  }

@article{ kremer_m:1994a,
  author = {Michael Kremer},
  title = {The Argument of `On Denoting'},
  journal = {The Philosophical Review},
  year = {1994},
  volume = {103},
  number = {2},
  pages = {249--297},
  topic = {on-denoting;Russell;}
  }

@article{ kremer_m:1997a,
  author = {Michael Kremer},
  title = {Marti on Descriptions in {C}arnap's {S}2},
  journal = {Journal of Philosophical Logic},
  year = {1997},
  volume = {26},
  number = {6},
  pages = {629--634},
  contentnote = {Improves a defense of Marti's against a criticism of
   	Follesdal's of Carnap's modal logic. See follesdal:1969a,
	marti:1995a.},
  topic = {Carnap;modal-logic;definite-descriptions;}
  }

@article{ kremer_p:1989a,
  author = {Philip Kremer},
  title = {Relevant Predication: Grammatical Characterizations},
  journal = {Journal of Philosophical Logic},
  year = {1989},
  volume = {18},
  number = {4},
  pages = {349--382},
  topic = {relevance-logic;relevant-predication;}
  }

@article{ kremer_p:1993a,
  author = {Philip Kremer},
  title = {Quantifying Over Propositions in Relevance Logic:
  	Nonaxiomatizability of Primary Interpretations of
	$\forall p$ and $\exists p$},
  journal = {The Journal of Symbolic Logic},
  year = {1993},
  volume = {58},
  number = {1},
  pages = {334--349},
  topic = {relevance-logic;propositional-quantifiers;}
  }

@article{ kremer_p:1993b,
  author = {Philip Kremer},
  title = {The {G}upta-{B}elnap Systems $S''$ and $S*$ are Not
  	Axiomatizable},
  journal = {Notre {D}ame Journal of Formal Logic},
  year = {1993},
  volume = {34},
  number = {4},
  pages = {583--596},
  rtnote = {In RHT collection.},
  topic = {truth;}
  }

@article{ kremer_p:1997a,
  author = {Philip Kremer},
  title = {Propositional Quantification in the Topological Semantics
  	for {S4}},
  journal = {Notre {D}ame Journal of Formal Logic},
  year = {1997},
  volume = {38},
  number = {2},
  pages = {295--312},
  rtnote = {In RHT collection.},
  topic = {propositional-quantifiers;modal-logic;}
  }

@article{ kremer_p:1997b,
  author = {Philip Kremer},
  title = {On the Complexity of Propositional Quantification in
  	Intuitionistic Logic},
  journal = {The Journal of Symbolic Logic},
  year = {1997},
  volume = {62},
  number = {2},
  pages = {529--544},
  topic = {intuitionistic-logic;propositional-quantifiers;}
  }

@article{ kremer_p:1997c,
  author = {Philip Kremer},
  title = {Defining Relevant Implication in Propositionally
  	Quantified {S}4},
  journal = {The Journal of Symbolic Logic},
  year = {1997},
  volume = {62},
  number = {4},
  pages = {1057--1069},
  topic = {modal-logic;relevance-logic;propositional-quantifiers;}
  }

@article{ kremer_p:1997d,
  author = {Philip Kremer},
  title = {Defining Relevant Implication in a Propositionally
		Quantified {S4}},
  journal = {Journal of Symbolic Logic},
  year = {1997},
  volume = {62},
  pages = {1057--1069},
  number = {4},
  topic = {relevance-logic;modal-logic;propositional-quantifiers;}
  }

@article{ kremer_p:1997e,
  author = {Philip Kremer},
  title = {Dunn's Relevant Predication, Real Properties,
		and Identity},
  journal = {Erkenntnis},
  year = {1997},
  volume = {47},
  pages = {37--65},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {relevance-logic;real-properties;property-theory;}
  }

@unpublished{ kremer_p:1998a,
  author = {Philip Kremer},
  title = {Relevant Identity: A Technical Result},
  year = {1998},
  note = {Unpublished manuscript, Yale University},
  rtnote = {In RHT collection.  Said to be forthcoming
  	in JPL.},
  topic = {relevance-logic;identity;}
  }

@unpublished{ kremer_p:1998b,
  author = {Philip Kremer},
  title = {Dynamic Topological Logic},
  year = {1998},
  note = {Unpublished manuscript, Yale University},
  rtnote = {In RHT collection.},
  topic = {dynamic-logic;modal-logic;temporal-logic;}
  }

@article{ kremer_p:1999a,
  author = {Philip Kremer},
  title = {Relevant Identity},
  journal = {Journal of Philosophical Logic},
  year = {1999},
  volume = {28},
  number = {2},
  pages = {190--222},
  topic = {relevance-logic;identity;}
  }

@article{ kremer_p:2009a,
  author = {Philip Kremer},
  title = {Comparing Fixed-Point and Revision Theories of Truth},
  journal = {Journal of Philosophical Logic},
  year = {2009},
  volume = {38},
  number = {4},
  pages = {363--403},
  topic = {truth;semantic-paradoxes;fixpoints;}
  }

@article{ kremer_p-kremer_m:2003a,
  author = {Philip Kremer and Michael Kremer},
  title = {Some Supervaluation-Based Consequence Relations},
  journal = {Journal of Philosophical Logic},
  year = {2003},
  volume = {32},
  number = {3},
  pages = {225--224},
  topic = {supervaluations;truth-value-gaps;completeness-theorems;
  	(in)completeness;}
  }

@article{ kremer_p-urquhart:2008a,
  author = {Philip Kremer and Alisdair Urquhart},
  title = {Supervaluation Fixed-Point Logics of Truth},
  journal = {Journal of Philosophical Logic},
  year = {2008},
  volume = {37},
  number = {5},
  pages = {407--440},
  topic = {truth;semantic-paradoxes;fixpoints;supervaluations;}
  }

@techreport{ kreppe:1988b,
  author = {Anneke Kreppe},
  title = {A Blissymbolics Translation Program},
  institution = {Institute for Language, Logic and Information, University
  	of Amsterdam},
  number = {LP--88--10},
  year = {1988},
  address = {Faculty of Mathematics and Computer Science, Roeterssraat 15,
  	1018WB Amsterdam, Holland},
  rtnote = {In RHT collection.},
  topic = {communicating-with-the-handicapped;}
  }

@book{ kreps:1988a,
  author = {David M. Kreps},
  title = {Notes on the Theory of Choice},
  publisher = {Westview Press},
  year = {1988},
  address = {Boulder, Colorado},
  rtnote = {GSPIA/Economics Lib  HB172 K74 1990},
  topic = {utility-theory;decision-theory;}
 }

@book{ kreps:1990a,
  author = {David M. Kreps},
  title = {A Course in Microeconomic Theory},
  publisher = {Princeton University Press},
  year = {1990},
  address = {Princeton, New Jersey},
  rtnote = {GSPIA/Economics Lib  HB801 K73 1988},
  topic = {utility-theory;decision-theory;game-theory;}
 }

@book{ kreps:1990b,
  author = {David M. Kreps},
  title = {Game Theory and Economic Modelling},
  publisher = {Oxford University Press},
  year = {1990},
  address = {Oxford, England},
  ISBN = {0198283571},
  rtnote = {UMich Graduate Library, HB 144 .K7311 1990.},
  topic = {game-theory;}
 }

@book{ kretzmann-etal:1982a,
  editor = {Norman Kretzmann and Anthony Kenny and Jan Pinborg},
  title = {Cambridge History of Later {M}edieval Philosophy: from
  	the Rediscovery of {A}ristotle to the Disintegration of
	Scholasticism 1100--1600},
  publisher = {Cambridge University Press},
  year = {1982},
  address = {Cambridge, England},
  ISBN = {0521226058},
  rtnote = {Umich Graduate Library B 721 .C351},
  topic = {medieval-philosophy;}
 }

@incollection{ kreutel-mann_w:2003a,
  author = {J\"orn Kreutel and William Mann},
  title = {Analyzing Bids in Dialogue Macrogame Theory using
  	Discourse Obligations},
  booktitle = {Diabruck 2003: Proceedings of the 7th Workshop on the
  	Semantics and Pragmatics of Dialogue},
  publisher = {Universit\"at des Saarlandes},
  year = {2003},
  editor = {Ivana Kruijff-Korbayov\'a and Claudia Kosny},
  pages = {59--66},
  address = {Saarbr\"ucken},
  topic = {pragmatics;speech-acts;}
  }

@incollection{ kreutel-matheson:2002a,
  author = {J\"orn Kreutel and Colin Matheson},
  title = {From Dialogue Acts to Dialogue Act Offers: Building
  	Discourse Structure as an Argumentative Process},
  booktitle = {{EDILOG} 2002: Proceedings of the Sixth Workshop on the
  	Semantics and Pragmatics of Dialogue},
  publisher = {Cognitive Science Centre, University of Edinburgh},
  year = {2002},
  editor = {Johan Bos and Mary Ellen Foster and Colin Mathesin},
  pages = {85--92},
  address = {Edinburgh},
  topic = {speech-acts;argumentation;}
  }

@incollection{ kreuz-etal:1998a,
  author = {R.J. Kreuz and M.A. Kassler and L. Coppenrath},
  title = {The Use of Exaggeration in Discourse: Cognitive and
        Social Facets},
  booktitle = {Social and Cognitive Approaches to Interpersonal
        Communication},
  publisher = {Lawrence Erlbaum},
  year = {1998},
  editor = {S.R. Fussell and R.J. Kreuz},
  pages = {91---111},
  address = {Mahwah, New Jersey},
  missinginfo = {A's 1st name, E's 1st name.},
  topic = {exaggeration;cognitive-psychology;}
  }

@incollection{ krieger_hu-nerbonne:1993a,
  author = {Hans-Ulrich Krieger and John Nerbonne},
  title = {Feature-Based Inheritance Networks for Computational Lexicons},
  booktitle = {Inheritance, Defaults, and the Lexicon},
  publisher = {Cambridge University Press},
  year = {1993},
  editor = {Ted Briscoe and Valeria de Paiva and Ann Copestake},
  pages = {90--136},
  address = {Cambridge, England},
  topic = {inheritance;computational-lexicography;}
  }

@book{ krieger_mh:1989a,
  author = {Martin H. Krieger},
  title = {Marginalism and Discontinuity},
  publisher = {Russell Sage Foundation},
  year = {1989},
  address = {New York},
  rtnote = {In RHT collection.  Philsci shelves.},
  topic = {philosophy-of-science;sociology-of-science;}
 }

@techreport{ krifka:1987a,
  author = {Manfred Krifka},
  title = {An Outline of Genericity},
  institution = {Seminar f\"r Nat\"urlich-sprachliche Systems},
  number = {87--25},
  year = {1987},
  address = {Biesingerstrasse 10, 7400 T\"ubingen, Germany},
  rtnote = {In RHT collection.},
  topic = {generics;}
  }

@incollection{ krifka:1989a,
  author = {Manfred Krifka},
  title = {Nominal Reference, Temporal Consitution, and
  		Quantification in Event Semantics},
  booktitle = {Semantics and Contextual Expression},
  editor = {Renate Bartsch and Johan van Benthem and Peter van Emde
  	Boas},
  publisher = {Foris Publications},
  address = {Dordrecht},
  year = {1989},
  missinginfo = {pages},
  topic = {events;nl-tense;nl-quantifiers;}
  }

@article{ krifka:1990a,
  author = {Manfred Krifka},
  title = {Four Thousand Ships Passed Through the Lock:
  	Object-Induced Measure Functions on Events},
  journal = {Linguistics and Philosophy},
  year = {1990},
  volume = {13},
  number = {5},
  pages = {487--520},
  topic = {events;Aktionsarten;measures;}
  }

@inproceedings{ krifka:1991a,
  author = {Manfred Krifka},
  title = {A Compositional Semantics for Multiple Focus Constructions},
  booktitle = {Proceedings from Semantics and Linguistic Theory {I}},
  year = {1991},
  editor = {Steven Moore and {Adam Zachary} Wyner},
  pages = {127--158},
  publisher = {Cornell University},
  address = {Ithaca, New York},
  note = {Available from CLC Publications, Department of Linguistics,
  	Morrill Hall, Cornell University, Ithaca, NY 14853-4701.},
  topic = {sentence-focus;pragmatics;}
  }

@incollection{ krifka:1992a,
  author = {Manfred Krifka},
  title = {Thematic Relations as Links Between Nominal Reference and
  	Temporal Constitution},
  booktitle = {Lexical Matters},
  publisher = {University of Chicago Press},
  year = {1992},
  editor = {Ivan Sag and Anna Szabolski},
  pages = {30--52},
  rtnote = {In RHT collection.},
  topic = {thematic-roles;aspect;}
  }

@article{ krifka:1993a,
  author = {Manfred Krifka},
  title = {Focus and Presupposition in Dynamic Interpretation},
  journal = {Journal of Semantics},
  year = {1993},
  volume = {10},
  pages = {269--300},
  rtnote = {In RHT collection.},
  topic = {sentence-focus;structured-meanings;negation;dynamic-semantics;}
  }

@inproceedings{ krifka:1994a,
  author = {Manfred Krifka},
  title = {The Semantics and Pragmatics of Weak and
		Strong Polarity Items in Assertions},
  booktitle = {Proceedings from Semantics and Linguistic Theory {IV}},
  year = {1994},
  editor = {Mandy Harvey and Lynn Santelmann},
  pages = {195--219},
  publisher = {Cornell University},
  address = {Ithaca, New York},
  note = {Available from CLC Publications, Department of Linguistics,
  	Morrill Hall, Cornell University, Ithaca, NY 14853-4701.},
  topic = {nl-semantics;polarity;}
  }

@incollection{ krifka:1995a,
  author = {Manfred Krifka},
  title = {Focus and the Interpretation of Generic Sentences},
  booktitle = {The Generic Book},
  publisher = {Chicago University Press},
  year = {1995},
  editor = {Gregory Carlson and Francis Jeffry Pelletier},
  pages = {238--264},
  address = {Chicago, IL},
  topic = {sentence-focus;generics;}
  }

@incollection{ krifka:1995b,
  author = {Manfred Krifka},
  title = {Common Nouns: A Contrastive Analysis of {E}nglish
		and {C}hinese},
  booktitle = {The Generic Book},
  publisher = {Chicago University Press},
  year = {1995},
  editor = {Gregory Carlson and Francis Jeffry Pelletier},
  pages = {398--411},
  address = {Chicago, IL},
  topic = {semantics-of-common-nouns;English-language;Chinese-language;}
  }

@article{ krifka:1996a,
  author = {Manfred Krifka},
  title = {Parameterized Sum Individuals for Plural Anaphora},
  journal = {Linguistics and Philosophy},
  year = {1996},
  volume = {19},
  number = {6},
  pages = {555--598},
  topic = {dynamic-semantics;plural;anaphora;}
  }

@inproceedings{ krifka:1996b,
  author = {Manfred Krifka},
  title = {Pragmatic Strengthening in Plural Predications and Donkey
  		Sentences},
  booktitle = {Proceedings from Semantics and Linguistic Theory {VI}},
  publisher = {Cornell University},
  year = {1996},
  editor = {Teresa Galloway and Justin Spence},
  pages = {136--153},
  address = {Ithaca, New York},
  topic = {nl-semantics;plural;donkey-anaphora;}
  }

@inproceedings{ krifka:1998a,
  author = {Manfred Krifka},
  title = {Additive Particles under Stress},
  booktitle = {Proceedings from Semantics and Linguistic Theory {VIII}},
  publisher = {Cornell University},
  year = {1998},
  editor = {Devon Strolovitch and Aaron Lawson},
  pages = {111--128},
  address = {Ithaca, New York},
  topic = {nl-semantics;stress;`even';`only';}
  }

@inproceedings{ krifka:1999a,
  author = {Manfred Krifka},
  title = {Quantifying into Question Acts},
  booktitle = {Proceedings from Semantics and Linguistic Theory {IX}},
  publisher = {Cornell University},
  year = {1999},
  editor = {Tanya Matthews and Devon Strolovitch},
  pages = {181--198},
  address = {Ithaca, New York},
  topic = {nl-semantics;interrogatives;nl-quantifiers;}
  }

@article{ krifka:2001a,
  author = {Manfred Krifka},
  title = {Quantifying into Question Acts},
  journal = {Natural Language Semantics},
  year = {2001},
  volume = {9},
  number = {1},
  pages = {1--40},
  topic = {nl-quantifiers;nl-quantifier-scope;interrogatives;}
  }

@incollection{ krifka:2003a,
  author = {Manfred Krifka},
  title = {Bare {NP}s: Kind-referring, Indefinites, Both, or
  		Neither?},
  booktitle = {Proceedings from Semantics and Linguistic Theory {XIII}},
  publisher = {Cornell University},
  year = {2003},
  editor = {Robert B. Young and Yuping Zhou},
  pages = {180--203},
  address = {Ithaca, New York},
  topic = {nl-semantics;generics;indefiniteness;}
  }

@incollection{ krifka-etal:1995a,
  author = {Manfred Krifka and Francis Jeffry Pelletier and Gregory
  	Carlson and Alice {ter Meulen} and Gennaro Chierchia and
	Godehard Link},
  title = {Genericity: An Introduction},
  booktitle = {The Generic Book},
  publisher = {Chicago University Press},
  editor = {Gregory Carlson and Francis Jeffry Pelletier},
  year = {1995},
  pages = {1--124},
  address = {Chicago, IL},
  rtnote = {Hillman P299 G44G46 1995.},
  topic = {generics;}
  }

@article{ kripke:1959a,
  author = {Saul A. Kripke},
  title = {A Completeness Theorem in Modal Logic},
  journal = {Journal of Symbolic Logic},
  year = {1959},
  volume = {24},
  pages = {1--14},
  number = {1},
  rtnote = {In RHT collection.},
  topic = {modal-logic;completeness-theorems;}
 }

@unpublished{ kripke:1960a,
  author = {Saul A. Kripke},
  title = {The Undecidability of Monadic Modal Quantification Theory},
  year = {1960},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  topic = {quantifying-in-modality;(un)decidability;
  		first-order-modal-logic;}
  }

@article{ kripke:1962a,
  author = {Saul A. Kripke},
  title = {The Undecidability of Monadic Modal Quantification Theory},
  journal = {Zeitschrift f\"ur Mathematische Logik und
  	Grundlagen der Mathematik},
  year = {1962},
  volume = {8},
  pages = {67--96},
  rtnote = {MS in RHT collection.},
  topic = {quantifying-in-modality;modal-logic;(un)decidability;
  		first-order-modal-logic;}
 }

@article{ kripke:1963a,
  author = {Saul A. Kripke},
  title = {Semantical Analysis of Modal Logic {I}: Normal Modal
  	Propositional Calculi},
  journal = {Zeitschrift f\"ur Mathematische Logik und
  	Grundlagen der Mathematik},
  year = {1963},
  volume = {9},
  pages = {67--96},
  missinginfo = {number.},
  rtnote = {In RHT collection.},
  topic = {modal-logic;completeness-theorems;}
 }

@article{ kripke:1963b,
  author = {Saul A. Kripke},
  title = {Semantic Considerations on Modal Logic},
  journal = {Acta Philosophica {F}ennica},
  year = {1963},
  volume = {24},
  pages = {83--94},
  missinginfo = {number.},
  topic = {modal-logic;completeness-theorems;}
 }

@incollection{ kripke:1965a,
  author = {Saul A. Kripke},
  title = {A Semantical Analysis of Modal Logic {II}: Non-Normal
  	Propositional Calculi},
  booktitle = {The Theory of Models},
  publisher = {North-Holland},
  year = {1965},
  editor = {Leon Henkin and Alfred Tarski},
  pages = {206--220},
  address = {Amsterdam},
  topic = {modal-logic;completeness-theorems;}
  }

@incollection{ kripke:1965b,
  author = {Saul A. Kripke},
  title = {Semantical Analysis of Intuitionistic Logic {I}},
  booktitle = {Formal Systems and Recursive Functions},
  editor = {John N. Crossley and Michael A.E. Dummett},
  publisher = {North-Holland},
  address = {Amsterdam},
  pages = {92--130},
  year = {1965},
  topic = {intuitionistic-logic;}
  }

@incollection{ kripke:1971a,
  author = {Saul Kripke},
  title = {Identity and Necessity},
  booktitle = {Identity and Individuation},
  publisher = {New York University Press},
  year = {1971},
  editor = {Milton K. Munitz},
  pages = {135--164},
  address = {New York},
  rtnote = {In RHT collection.},
  topic = {identity;individuation;modal-logic;}
  }

@unpublished{ kripke:1971b,
  author = {Saul Kripke},
  title = {Quantified Modality and Essentialism},
  year = {1971},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  topic = {quantifying-in-modality;essentialism;}
  }

@incollection{ kripke:1972a,
  author = {Saul Kripke},
  title = {Naming and Necessity},
  booktitle = {Semantics of Natural Language},
  publisher = {D. Reidel Publishing Co.},
  year = {1972},
  editor = {Gilbert Harman and Donald Davidson},
  pages = {253--355},
  address = {Dordrecht},
  rtnote = {tmix-project;},
  topic = {reference;modal-logic;philosophy-of-language;proper-names;
  		expert-relativity;}
 }

@unpublished{ kripke:1972b,
  author = {Saul Kripke},
  title = {Untitled},
  year = {1972},
  note = {Unpublished manuscript on empty names and empty predicates.},
  rtnote = {In RHT collection.},
  topic = {reference-gaps;(non)existence;fiction;}
  }

@article{ kripke:1975a,
  author = {Saul Kripke},
  title = {Outline of a Theory of Truth},
  journal = {Journal of Philosophy},
  year = {1975},
  volume = {72},
  pages = {690--715},
  missinginfo = {number.},
  rtnote = {In RHT collection.},
  topic = {truth;semantic-paradoxes;fixpoints;}
 }

@incollection{ kripke:1976a,
  author = {Saul Kripke},
  title = {Is There a Problem about Substitutional Quantification?},
  booktitle = {Truth and Meaning: Essays in Semantics},
  publisher = {Oxford University Press},
  year = {1976},
  editor = {Gareth Evans and John H. McDowell},
  pages = {325--419},
  address = {Oxford},
  topic = {substitutional-quantification;truth-definitions;}
  }

@incollection{ kripke:1977a1,
  author = {Saul Kripke},
  title = {Speaker's Reference and Semantic Reference},
  booktitle = {Midwest Studies in Philosophy, Volume {II}},
  year = {1977},
  editor = {Peter A. French and Thomas {Uehling, Jr.} and Howard
  	K. Wettstein},
  note = {Volume 2: Studies in Semantics.},
  publisher = {University of Minnesota Press},
  address = {Minneapolis},
  pages = {255--276},
  rtnote = {In RHT collection.},
  rtnote = {Reading Notes on File},
  xref = {Republication: kripke:1977a2.},
  topic = {reference;referring-expressions;definite-descriptions;
	philosophy-of-language;}
  }

@incollection{ kripke:1977a2,
  author = {Saul Kripke},
  title = {Speaker's Reference and Semantic 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 = {6--27},
  address = {Minneapolis},
  xref = {Republication of: kripke:1977a1.},
  topic = {reference;referring-expressions;definite-descriptions;
	philosophy-of-language;}
  }

@incollection{ kripke:1978a,
  author = {Saul Kripke},
  title = {Speaker's Reference and Semantic 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 = {6--27},
  address = {Minneapolis},
  topic = {definite-descriptions;pragmatics;}
  }

@incollection{ kripke:1979a,
  author = {Saul A. Kripke},
  title = {A Puzzle about Belief},
  booktitle = {Meaning and Use: Papers Presented at the Second
		{J}erusalem Philosophy Encounter},
  publisher = {D. Reidel Publishing Co.},
  year = {1979},
  editor = {Avishai Margalit},
  pages = {239--288},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {propositional-attitudes;belief;Pierre-puzzle;}
  }

@book{ kripke:1982a,
  author = {Saul A. Kripke},
  title = {Wittgenstein on Rules and Private Language},
  publisher = {Harvard University Press},
  year = {1982},
  address = {Cambridge, Massachusetts},
  topic = {Wittgenstein;philosophy-of-language;}
 }

@article{ kripke:2009a,
  author = {Saul A. Kripke},
  title = {Presupposition and Anaphora:  Remarks on the Formalization
  		of the Projection Problem},
  journal = {Linguistic Inquiry},
  year = {2009},
  volume = {40},
  number = {3},
  pages = {367--386},
  topic = {presupposition;}
  }

@article{ krips:1989a,
  author = {H. Krips},
  title = {Irreducible Probabilities and Indeterminism},
  journal = {Journal of Philosophical Logic},
  year = {1989},
  volume = {18},
  number = {2},
  pages = {155--172},
  topic = {quantum-logic;}
  }

@phdthesis{ krishnaprasad:1989a,
  author = {Thirunarayan Krishnaprasad},
  title = {The Semantics of Inheritance Networks},
  school = {Computer Science Department, State University of New
  	York at Stony Brook},
  year = {1989},
  type = {Ph.{D}. Dissertation},
  address = {Stony Brook, New York},
  topic = {inheritance-theory;}
 }

@unpublished{ krishnaprasad-etal:1988a1,
  author = {Thirunarayan Krishnaprasad and Michael Kifer and
  	David S. Warren},
  title = {On the Declarative Semantics of Inheritance Networks},
  year = {1988},
  note = {Unpublished manuscript, Computer Science Department, State
  	University of New York at Stony Brook},
  rtnote = {In RHT collection.},
  xref = {Conference publication: krishnaprasad-etal:1988a2.},
  topic = {inheritance-theory;}
  }

@inproceedings{ krishnaprasad-etal:1988a2,
  author = {Thirunarayan Krishnaprasad and Michael Kifer and David Warren},
  title = {On the Declarative Semantics of Inheritance Networks},
  booktitle = {Proceedings of the Eleventh International Joint
  	Conference on Artificial Intelligence},
  year = {1989},
  editor = {N.S. Sridharan},
  pages = {1098--1103},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  xref = {Republication of: krishnaprasad-etal:1988a1.},
  topic = {inheritance-theory

license: MIT

license_type: permissive

branch_name: refs/heads/master

gha_license_id: MIT

extension: bib