text:
{A}ndrew {W}ilson and of {\it Language and Computers: A
	Practical Introduction to the Computer Analysis of Language},
	by {G}eoff {B}arnstock},
  journal = {Computational Linguistics},
  year = {1998},
  volume = {24},
  number = {2},
  pages = {333--335},
  topic = {corpus-linguistics;}
  }

@book{ kirk_r:2005a,
  author = {Robert Kirk},
  title = {Zombies and Consiousness},
  publisher = {Oxford University Press},
  year = {2005},
  address = {Oxford},
  ISBN = {0-19-928548-9},
  topic = {philosophy-of-mind;consciousness;}
 }

@incollection{ kirk_r:2006a,
  author = {Robert Kirk},
  title = {Zombies},
  bookbooktitle = {The {S}tanford Encyclopedia of Philosophy},
  publisher = {Stanford University},
  editor = {Edward N. Zalta},
  url = {http://plato.stanford.edu/archives/win2006/entries/zombies/},
  year = {2006},
  topic = {philosophy-of-mind;zombies;}
}

@book{ kirkham:1992a,
  author = {Richard L. Kirkham},
  title = {Theories of Truth: A Critical Introduction},
  publisher = {The {MIT} Press},
  year = {1992},
  address = {Cambridge, Massachusetts},
  rtnote = {Look at this.},
  topic = {truth;}
 }

@article{ kirousis:1993a,
  author = {Lefteris M. Kirousis},
  title = {Fast Parallel Constraint Satisfaction},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {64},
  number = {1},
  pages = {147--160},
  acontentnote = {Abstract:
     We describe a class of constraint satisfaction problems (CSPs)
     for which a global solution can be found by a fast parallel
     algorithm. No relaxation preprocessing is needed for the
     parallel algorithm to work on this class of CSPs. The result is
     motivated from the problem of labelling a 2-D line drawing of a
     3-D object by the Clowes-Huffman-Malik labelling scheme-an
     important application of CSP in computer vision. For such a CSP,
     the constraint graph can be general, but the constraint
     relations are usually of the type we call implicational. It is
     shown here that a CSP with this type of constraint relations
     (and no restrictions on its graph) can be solved by an efficient
     (i.e., with polynomial time complexity) sequential algorithm.
     Also, it is shown that it can be solved by a fast parallel
     algorithm that executes in time O(log3 n) with O((m+n3)/ log n)
     processors on an exclusive-read exclusive-write parallel random
     access machine (n is the number of variables and m is the number
     of constraint relations-the constraint relations may have arity
     more than two).
  },
  topic = {complexity-in-AI;parallel-processing;constraint-satisfaction;
  	polynomial-algorithms;}
  }

@article{ kirsh:1991a,
  author = {David Kirsh},
  title = {Foundations of {AI}: The Big Issues},
  journal = {Artificial Intelligence},
  year = {1991},
  volume = {47},
  number = {1--3},
  pages = {3--30},
  contentnote = {This is a survey discussion of 5 issues that Kirsh
  	claims are fundamental in AI.  (1) Core AI should begin with
	knowledge-level issues. (2) Cognition can be studied as a
	disembodied process.  (3) Cognition is nicely described in
	propositional terms (4) We can study cognition separately
	from learning.  (5) There is a single architecture underlying
	cognition.},
  topic = {foundations-of-AI;}
  }

@article{ kirsh:1991b,
  author = {David Kirsh},
  title = {Today the Earwig, Tomorrow Man?},
  journal = {Artificial Intelligence},
  year = {1991},
  volume = {47},
  number = {1--3},
  pages = {161--184},
  topic = {reactive-AI;minimalist-robotics;foundations-of-AI;}
  }

@article{ kirsh:1995a,
  author = {David Kirsh},
  title = {The Intelligent Use of Space},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {73},
  number = {1--2},
  pages = {31--68},
  acontentnote = {Abstract:
     The objective of this essay is to provide the beginning of a
     principled classification of some of the ways space is
     intelligently used.  Studies of planning have typically focused
     on the temporal ordering of action, leaving as unaddressed,
     questions of where to lay down instruments, ingredients,
     work-in-progress, and the like.  But, in having a body, we are
     spatially located creatures: we must always be facing some
     direction, have only certain objects in view, be within reach of
     certain others.  How we manage the spatial arrangement of items
     around us, is not an afterthought; it is an integral part of the
     way we think, plan and behave.  The proposed classification has
     three main categories: spatial arrangements that simplify
     choice; spatial arrangements that simplify perception; and
     spatial dynamics that simplify internal computation.  The data
     for such a classification is drawn from videos of cooking,
     assembly and packing, everyday observations in supermarkets,
     workshops and playrooms, and experimental studies of subjects
     playing Tetris, the computer game.  This study, therefore,
     focusses on interactive processes in the medium and short term:
     on how agents set up their workplace for particular tasks, and
     how they continuously manage that workplace.  },
  topic = {spatial-reasoning;spatial-arrangement-tasks;}
  }

@article{ kisielewicz:1998a,
  author = {Andrzej Kisielewicz},
  title = {A Very Strong Set Theory?},
  journal = {Studia Logica},
  year = {1998},
  volume = {61},
  number = {2},
  pages = {171--178},
  topic = {foundations-of-set-theory;axiom-of-comprehension;}
  }

@article{ kiss:1998a,
  author = {E. Kiss},
  title = {Identificational Focus Versus Information Focus},
  journal = {Language},
  year = {1998},
  volume = {74},
  pages = {245--273},
  missinginfo = {A's 1st name, number},
  topic = {sentence-focus;}
  }

@article{ kiss-strunk:2006a,
  author = {Tibor Kiss and Jan Strunk},
  title = {Unsupervised Multilingual Sentence Boundary Detection},
  journal = {Computational Linguistics},
  year = {2006},
  volume = {32},
  number = {4},
  pages = {485--525},
  topic = {sentence-boundary-detection;machine-learning;}
  }

@article{ kissine:2008a,
  author = {Mikhail Kissine},
  title = {Why \emph{Will} is not a Modal},
  journal = {Natural Language Semantics},
  year = {2008},
  volume = {16},
  number = {2},
  pages = {129--155},
  topic = {nl-semantics;nl-modality;nl-tense;}
  }

@article{ kitagawa_c:1980a,
  author = {Chisato Kitagawa},
  title = {Saying `Yes' in {J}apanese},
  journal = {Journal of Pragmatics},
  year = {1980},
  volume = {4},
  pages = {105--120},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {pragmatics;Japanese-language;}
  }

@book{ kitahara:1997a,
  author = {Hisatsugu Kitahara},
  title = {Elementary Operations and Optimal Derivations},
  publisher = {The {MIT} Press},
  year = {1997},
  address = {Cambridge, Massachusetts},
  topic = {nl-syntax;syntactic-minimalism;}
 }

@incollection{ kitahara:2002a,
  author = {Hisatsugu Kitahara},
  title = {Scrambling, Case, and Interpretability},
  booktitle = {Derivation and Explanation in the Minimalist Program},
  publisher = {Blackwell Publishing},
  year = {2002},
  editor = {Samuel David Epstein and T. Daniel Seeley},
  pages = {167--183},
  address = {Oxford},
  topic = {minimalist-syntax;}
  }

@incollection{ kitano:1990a,
  author = {Hiraki Kitano},
  title = {Parallel Incremental Sentence Production for a Model
  	of Simultaneous Interpretation},
  booktitle = {Current Research in Natural Language Generation},
  year = {1990},
  editor = {Robert Dale and Chris Mellish and Michael Zock},
  publisher = {Academic Press},
  address = {London},
  pages = {321--351},
  topic = {nl-generation;parallel-processing;}
}

@article{ kitano:1999a,
  author = {Hiroaki Kitano},
  title = {Preface},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {110},
  number = {2},
  pages = {189--191},
  note = {Introduction to an issue on RoboCup.},
  topic = {RoboCup;robotics;}
  }

@article{ kitcher:1978a,
  author = {Philip Kitcher},
  title = {Positive Understatement: The Logic of Attributive
  	Adjectives},
  journal = {Journal of Philosophical Logic},
  year = {1978},
  volume = {7},
  number = {1},
  pages = {1--17},
  topic = {semantics-of-adjectives;vagueness;comparative-constructions;}
  }

@article{ kitcher:1984a,
  author = {Philip Kitcher},
  title = {Species},
  journal = {Philosophy of Science},
  year = {1984},
  volume = {51},
  number = {2},
  pages = {308--333},
  topic = {species;philosophy-of-biology;}
  }

@incollection{ kitcher:2000a,
  author = {Philip Kitcher},
  title = {Reviving the Sociology of Science},
  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 = {S33--S44},
  address = {Newark, Delaware},
  topic = {sociology-of-science;}
  }

@article{ kittay:1984a,
  author = {Eva Feder Kittay},
  title = {The Identification of Metaphor},
  journal = {Synth\'ese},
  year = {1984},
  volume = {58},
  number = {2},
  pages = {153--202},
  topic = {metaphor;implicature;nl-semantics;}
  }

@article{ kittredge-etal:1991a,
  author = {Richard Kittredge and Tanya Korelsky and Owen Rambow},
  title = {On the Need for Domain Communication Knowledge},
  year = {1991},
  journal = {Computational Intelligence},
  volume = {7},
  number = {4},
  topic = {nl-generation;kr;kr-course;}
}

@book{ kittredge-lehrberger:1982a,
  editor = {Richard Kittredge and John Lehrberger},
  title = {Sublanguage: Studies of Language in Restricted Semantic
  	Domains},
  publisher = {Walter de Gruyter,},
  year = {1982},
  address = {Berlin},
  contentnote = {TC:
     1. Naomi Sager, "Introduction---Syntactic formatting of
     		science information"
     2. Lynette Hirschman and Naomi Sager, "Automatic information
     		formatting of a medical sublanguage"
     3. John Lehrberger, "Automatic translation and the concept of
     		sublanguage"
     4. Richard Kittredge, "Variation and homogeneity of sublanguages"
     5. Barbara Grosz, "Discourse analysis"
     6. Veda Charrow and Jo Ann Crandall and Robert Charrow,
     		"Characteristics and functions of legal language"
     7. Wolf Moskovich, "What is a sublanguage?  The notion of
     		sublanguage in modern {S}oviet linguistics"
     8. Henry Hiz, "Specialized languages of biology, medicine, and
     		science and connections between them"
     9. Arnold M. Zwicky and Ann D. Zwicky, "Register as a dimension
     		of linguistic variation"
    10. Irena Bellert and Paul Weingartner, "On different
    		characteristics of scientific texts as compared with
		everyday language texts"
    11. Zellig Harris "Discourse and sublanguage"},
 topic = {nl-semantics;}
  }

@incollection{ kittridge:1992a,
  author = {Richard Kittridge},
  title = {Bilingual Report Generation: Experience with
  	Interlinguae},
  booktitle = {Aspects of Automated Natural Language Generation: 6th
    International Workshop on Natural Language Generation, {T}rento,
    {I}taly, April 5--7, 1992},
  publisher = {Springer-Verlag},
  year = {1992},
  editor = {Robert Dale and Eduard Hovy and Dietmar R\"ossner and
  	Oliviero Stock},
  pages = {297--299},
  address = {Berlin},
  topic = {nl-generation;interlinguas;}
  }

@article{ kivinen-etal:1997a,
  author = {J. Kivinen and M.K. Warmuth and P. Auer},
  title = {The Perception Algorithm Versus Winnow:  Linear Versus
		Logarithmic Mistake Bounds when Few Input Variables are
		Relevant},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {97},
  number = {1--2},
  pages = {325--343},
  topic = {relevance;perceptrons;}
  }

@incollection{ klabunde-jansche:1998a,
  author = {Ralf Klabunde and Martin Jansche},
  title = {Abductive Reasoning for Syntactic Realization},
  booktitle = {Proceedings of the Ninth International Workshop
  	on Natural Language Generation},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Eduard Hovy},
  pages = {108--117},
  address = {New Brunswick, New Jersey},
  url = {citeseer.ist.psu.edu/klabunde98abductive.html},
  rtnote = {In RHT collection.},
  topic = {abduction;nl-generation;nl-realization;}
  }

@incollection{ klahr:1996a,
  author = {David Klahr},
  title = {Scientific Discovery Processes in Children, Adults,
  	and Machines},
  booktitle = {Mind Matters: A Tribute to {A}llen {N}ewell},
  publisher = {Lawrence Erlbaum Associates, Inc.},
  year = {1996},
  editor = {David M. Steier and Tom M. Mitchell},
  address = {Mahwah, New Jersey},
  pages = {325--355},
  topic = {cognitive-psychology;automated-scientific-discovery;
  	scientific-discovery;}
  }

@incollection{ klarner:2004a,
  author = {Martin Klarner},
  title = {Hybrid {NLG} in a Generic Dialog System},
  booktitle = {Natural Language Generation: Third International
	Conference, INLG 2004},
  publisher = {Springer-Verlag},
  year = {2004},
  editor = {Anja Belz and Roger Evans and Paul Piwek},
  pages = {205--211},
  address = {Berlin},
  topic = {computational-dialogue;nl-generation;}
  }

@incollection{ klavans:1994a,
  author = {Judith L. Klavans},
  title = {Visions of the Digital Library: Views
   		on Using Computational Linguistics and Semantic
		Nets in Information Retrieval},
  booktitle = {Current Issues in Computational Linguistics: Essays in
  	Honour of {D}on {W}alker},
  publisher = {Giardini Editori e Stampatori and Kluwer Academic
  	Publishers},
  year = {1994},
  editor = {Antonio Zampolli and Nicoletta Calzolari and Martha Palmer},
  pages = {227--236},
  address = {Pisa and Dordrecht},
  topic = {machine-readable-dictionaries;semantic-nets;
  	information-retrieval;}
  }

@book{ klavans-resnik_p:1996a,
  editor = {Judith Klavans and Philip Resnik},
  title = {The Balancing Act:  Combining Symbolic and Statistical
  	Approaches to Language},
  publisher = {The {MIT} Press},
  year = {1996},
  address = {Cambridge, Massachusetts},
  contentnote = {TC:
  	1. Steven Abney, "Statistical Methods and Linguistics", pp. 1--26
	2. Hiyan Alshawi, "Qualitative and Quantitative Models
		of Speech Translation", pp. 27--48
	3. B\'eatrice Daille, "Study and Implementation of Combined
		Techniques for Automatic Extraction of Terminology",
		pp. 49--66
	4. Vasileios Hatzivassilogou, "Do We Need a Linguistics When
		We have Statistics?  A Comparative Analysis of the
		Contributions of Linguistic Cues to a Statistical
		Word Grouping System", pp. 67--94
	5. Shayam Kapur and Robin Clark, "The Automatic Construction
		of a Symbolic Parser Via Statistical Techniques",
		pp. 95--117
	6. Patti Price, "Combining Linguistic with Statistical
		Methods in Automatic Speech Understanding",
		pp. 119--133
	7. Lance A. Ramshaw and Mitchell P. Marcus, "Exploring the
		the Nature of Transformation-Based Learning",
		pp. 135--156
       10. Carolyn Pennstein Ros\'e and Alex H. Waibel, "Recovering
       		from Parser Failures: A Hybrid Statistical and
		Symbolic Approach", pp. 157--179
   },
  rtnote = {In RHT collection.  AI Shelf.},
  topic = {corpus-linguistics;corpus-statistics;statistical-nlp;}
 }

@book{ kleene:1952a,
  author = {Steven C. Kleene},
  title = {Introduction to Metamathematics},
  publisher = {Van Nostrand},
  year = {1952},
  address = {New York},
  rtnote = {UMich Science QA9 .K63},
  rtnote = {In RHT Collection.  Logic shelves.},
  topic = {logic-classics;proof-theory;recursion-theory;
  	goedels-first-theorem;goedels-second-theorem;}
  }

@incollection{ kleene:1952b,
  author = {Stephen C. Kleene},
  title = {Permutation of inferences in {Gentzen}'s calculi {LK} and {LJ}},
  booktitle = {Two papers on the Predicate Calculus},
  publisher = {American Mathematical Society},
  editor = {Stephen Kleene},
  address = {Providence, RI},
  year = {1952},
  pages = {1--26},
  topic = {proof-theory;}
  }

@book{ kleene:1952c,
  author = {Stephen Cole Kleene},
  title = {Two Papers on the Predicate Calculus},
  publisher = {American Mathematical Society},
  year = {1952},
  address = {Providence},
  rtnote = {UMich Science QA 1 .A512m no.10},
  topic = {proof-theory;}
 }

@article{ kleene:1965a,
  author = {Stephen C. Kleene},
  title = {Logical Calculus and Realizability},
  journal = {Acta Philosophical Fennica},
  year = {1965},
  volume = {8},
  pages = {71--80},
  rtnote = {In RHT collection.},
  topic = {intuitionistic-logic;}
  }

@book{ kleene:1967a,
  author = {Steven C. Kleene},
  title = {Mathematical Logic},
  publisher = {John Wiley and Sons},
  year = {1967},
  address = {New York},
  topic = {logic-classics;proof-theory;goedels-first-theorem;
  	goedels-second-theorem;computability;recursion-theory;}
 }

@incollection{ kleene:1988a,
  author = {Steven C. Kleene},
  title = {Turing's Analysis of Computability,
		and Major Applications of It},
  booktitle = {The Universal {T}uring Machine: A Half-Century
  	Survey},
  publisher = {Oxford University Press},
  year = {1988},
  editor = {Rolf Herkin},
  pages = {17--54},
  address = {Oxford},
  topic = {Turing;history-of-theory-of-computation;
  	theory-of-computation;}
  }

@book{ kleene-vesley:1987a,
  author = {Stephen C. Kleene and Richard E. Vesley},
  title = {The Foundations of Intuitionistic Mathematics; Especially In
    Relation To Recursive Functions},
  publisher = {North-Holland Publishing Co.},
  year = {1987},
  address = {Amsterdam},
  rtnote = {UMich Graduate Library  QA9 .K628},
  topic = {intuitionistic-logic;intuitionistic-mathematics;
  	recursion-theory;}
 }

@article{ kleiman:1986a,
  author = {Ruben J. Kleiman},
  title = {Review of \emph{{S}emantics and Cognition}, by {R}ay
  	{J}ackendoff},
  journal = {Artificial Intelligence},
  year = {1986},
  volume = {29},
  number = {2},
  pages = {225--235},
  xref = {Review of jackendoff:1983a.},
  topic = {cognitive-semantics;}
  }

@incollection{ klein_a-etal:1998a,
  author = {Alexandra Klein and Johannes Matiasek and Harald Trost},
  title = {The Treatment of Noun Phrase Queries in a Natural Language
  	Database Access System},
  booktitle = {The Computational Treatment of Nominals: Proceedings
  	of the Workshop},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Federica Busa and Inderjeet Mani and Patrick Saint-Dizier},
  pages = {39--45},
  address = {New Brunswick, New Jersey},
  topic = {compound-nouns;information-retrieval;}
  }

@article{ klein_d:2004a,
  author = {Dan Klein},
  title = {Review of \emph{{D}ata-Oriented Parsing}, edited by
  		{R}ens {B}od and {R}emko {S}cha and {K}halil {S}ima'an},
  journal = {Computational Linguistics},
  year = {2004},
  volume = {30},
  number = {2},
  pages = {240--244},
  xref = {Review of: bod-etal:2003a},
  topic = {statistical-parsing;}
  }

@book{ klein_da:1994a,
  author = {David A. Klein},
  title = {Decision-Analytic Intelligent Systems},
  publisher = {Lawrence Erlbaum Associates},
  year = {1994},
  address = {Mahwah, New Jersey},
  topic = {implementations-of-decision-theory;}
 }

@article{ klein_da-shortliffe:1994a,
  author = {David A. Klein and Edward H. Shortliffe},
  title = {A Framework for Explaining Decision-Theoretic Advice},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {67},
  number = {2},
  pages = {201--243},
  topic = {explanation;decision-theory;}
  }

@unpublished{ klein_e:1975a,
  author = {Ewan Klein},
  title = {Two Sorts of Factive Predicates},
  year = {1975},
  note = {Unpublished manuscript, Bedford College, London.},
  rtnote = {In RHT collection.},
  topic = {(counter)factive-constructions;presupposition;pragmatics;}
  }

@unpublished{ klein_e:1975b,
  author = {Ewan Klein},
  title = {{VP} and Sentence Pro-Forms in {M}ontague Grammar},
  year = {1975},
  note = {Unpublished manuscript, Bedford College, London.},
  rtnote = {In RHT collection.},
  topic = {VP-ellipsis;VP-pro-forms;}
  }

@unpublished{ klein_e:1976a,
  author = {Ewan Klein},
  title = {Theoretical Issues in Formal Semantics and Child Language},
  year = {1976},
  note = {Unpublished manuscript, Bedford College, London.},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;L1-acquisition;}
  }

@unpublished{ klein_e:1976b,
  author = {Ewan Klein},
  title = {Comparatives, Intensionality, and Contexts},
  year = {1976},
  note = {Unpublished manuscript, Bedford College, London.},
  rtnote = {In RHT collection.},
  rtnote = {semantics-course;},
  topic = {nl-semantics;context;comparative-constructions;
  	vagueness;context;}
  }

@article{ klein_e:1979a,
  author = {Ewan Klein},
  title = {On Formalizing the Referential/Attributive Distinction},
  journal = {Journal of Philosophical Logic},
  year = {1979},
  volume = {8},
  number = {3},
  pages = {333--337},
  topic = {referring-expressions;}
  }

@phdthesis{ klein_e:1979b,
  author = {Ewan Klein},
  title = {On Sentences Which Report Beliefs, Desires, and Other
  	Propositional Attitudes},
  school = {University of Cambridge},
  year = {1979},
  type = {Ph.{D}. Dissertation},
  address = {Cambridge, England},
  rtnote = {In RHT collection.},
  topic = {propositional-attitudes;definite-descriptions;referential-opacity;
		indexicality;indefiniteness;}
 }

@unpublished{ klein_e:1979c,
  author = {Ewan Klein},
  title = {Defensible Descriptions},
  year = {1976},
  note = {Unpublished manuscript, University of Sussex.},
  rtnote = {In RHT collection.},
  topic = {reference;definite-descriptions;}
  }

@unpublished{ klein_e:1980a,
  author = {Ewan Klein},
  title = {Determiners and the Category Q*},
  year = {1980},
  note = {Unpublished manuscript, University of Sussex.},
  rtnote = {In RHT collection.},
  topic = {GPSG;}
  }

@article{ klein_e:1980b,
  author = {Ewan Klein},
  title = {A Semantics for Positive and Comparative Adjectives},
  journal = {Linguistics and Philosophy},
  year = {1980},
  volume = {4},
  number = {1},
  pages = {1--45},
  rtnote = {semantics-course;},
  topic = {nl-semantics;context;comparative-constructions;
  	vagueness;context;}
  }

@unpublished{ klein_e:1980c1,
  author = {Ewan Klein},
  title = {The Interpretation of Adjectival Comparatives},
  journal = {Linguistics and Philosophy},
  year = {1980},
  note = {Unpublished manuscript, University of Sussex.},
  rtnote = {semantics-course;},
  xref = {Publication: klein_e:1980c2},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;comparative-constructions;vagueness;context;}
  }

@incollection{ klein_e:1980c2,
  author = {Ewan Klein},
  title = {The Interpretation of Adjectival, Nominal and Adverbial
		Comparatives},
  booktitle = {Formal Methods in the Study of Language},
  editor = {J.A.G. Groenendijk, T.M.V. Janssen and M.B.J. Stokhof},
  volume = {2},
  pages = {381--398},
  publisher = {Mathematical Centre Tracts},
  year = 1980,
  topic = {nl-semantics;comparative-constructions;vagueness;context;}
 }

@article{ klein_e:1983a,
  author = {Ewan Klein},
  title = {Preface},
  journal = {Linguistics and Philosophy},
  year = {1983},
  volume = {6},
  number = {1},
  note = {Preface to a special issue on pronouns and anaphora.},
  pages = {3--4},
  topic = {pronouns;anaphora;}
  }

@incollection{ klein_e:1986a,
  author = {Ewan Klein},
  title = {{VP} Ellipsis in {DR} Theory},
  booktitle = {Studies in Discourse Representation Theory and the Theory of
                   Generalized Quantifiers},
  publisher = {Foris Publications},
  year = {1986},
  editor = {Jeroen Groenendijk and Dick de Jongh and Martin Stokhof},
  pages = {161--187},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {ellipsis;discourse-representation-theory;pragmatics;}
  }

@incollection{ klein_e:1989a,
  author = {Ewan Klein},
  title = {Grammar Frameworks},
  booktitle = {Logic and Linguistics},
  publisher = {Lawrence Earlbaum Associates},
  year = {1989},
  editor = {Helmut Schnelle and Niels Ole Bernsen},
  pages = {71--107},
  address = {Hillsdale, New Jersey},
  topic = {grammar-formalisms;}
  }

@unpublished{ klein_e-sag:1982a,
  author = {Ewan Klein and Ivan Sag},
  title = {Semantic Type and Control},
  year = {1982},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript, Newcastle Upon Tyne and Stanford
  	University.},
  rtnote = {In RHT collection.},
  topic = {syntactic-control;}
  }

@article{ klein_e-sag:1985a,
   author = {Ewan Klein and Ivan Sag},
   title = {Type-Driven Translation},
   journal = {Linguistics and Philosophy},
   year = {1985},
   volume = {8},
   number = {2},
   pages = {163--201},
   topic = {syntax-semantics-interface;nl-semantics;GPSG;
   	nl-to-logic-mapping;}
  }

@book{ klein_e-vanbenthem:1987a,
  editor = {Ewan Klein and Johan van Benthem},
  title = {Categories, Polymorphism and Unification},
  publisher = {Center for Cognitive Science, University of Edinburgh
  	and Institute for Language, Logic and Information, Univesity
	of Amsterdam},
  year = {19},
  address = {Edinburgh and Amsterdam},
  rtnote = {In RHT Collection.  LLP edited shelves.},
  topic = {categorial-grammar;}
 }

@incollection{ klein_m:1999a,
  author = {Marion Klein},
  title = {Standardisation Efforts on the Level of
     		Dialogue Act in the {MATE} Project},
  booktitle = {Towards Standards and Tools for Discourse Tagging:
  	Proceedings of the Workshop},
  publisher = {Association for Computational Linguistics},
  year = {1999},
  editor = {Marilyn Walker},
  pages = {35--41},
  address = {Somerset, New Jersey},
  topic = {discourse-tagging;speech-acts;}
  }

@article{ klein_pd:1976a,
  author = {Peter D. Klein},
  title = {Knowledge, Causality, and Defeasibility},
  journal = {The Journal of Philosophy},
  year = {1976},
  volume = {18},
  number = {73},
  pages = {792--812},
  topic = {knowledge;epistemology;}
  }

@book{ klein_w-levelt:1981a,
  editor = {Wolfgang Klein and Willem Levelt},
  title = {Crossing The Boundaries In Linguistics: Studies Presented To
    {M}anfred {B}ierwisch},
  publisher = {D. Reidel Publishing Co},
  year = {1981},
  address = {Dordrecht},
  ISBN = {902771259X},
  rtnote = {UMich Graduate Library, P26.B46 C71},
  topic = {linguistics-misc-collection;}
 }

@article{ kleiter:1992a,
  author = {Gernot D. Kleiter},
  title = {Bayesian Diagnosis in Expert Systems},
  journal = {Artificial Intelligence},
  year = {1992},
  volume = {54},
  number = {1--2},
  pages = {1--32},
  topic = {diagnosis;expert-systems;Bayesian-reasoning;}
  }

@article{ kleiter:1996a,
  author = {Gernot D. Kleiter},
  title = {Propagating Imprecise Probabilities in {B}ayesian Networks},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {88},
  number = {1--2},
  pages = {143--161},
  topic = {Bayesian-networks;uncertain-probabilities;}
  }

@book{ klement:2002a,
  author = {Kevin C. Klement},
  title = {Frege and the Logic of Sense and Reference},
  publisher = {Routledge},
  year = {2002},
  address = {London},
  ISBN = {0-415-93790-6},
  topic = {Frege;intensional-logic;Russell;}
 }

@article{ klement_kc:2001a,
  author = {Kevin C. Klement},
  title = {Russell's Paradox in {Appendix B} of the {Principles of
      Mathematics}: Was {F}rege's Response adequate?},
  journal = {History and Philosophy of Logic},
  year = {2001},
  volume = {22},
  pages = {13--28},
  topic = {Russell;Frege;propositions;intensional-paradoxes;}
  }

@book{ klement_kc:2002a,
  author = {Kevin C. Klement},
  title = {Frege and the Logic of Sense and Reference},
  publisher = {Routledge},
  year = {2002},
  address = {London},
  ISBN = {0415937906},
  rtnote = {UMich Hatcher Graduate B 3245 .F24 K54 2002},
  topic = {Frege;logic-of-sense-and-denotation;}
  }

@incollection{ klemke:1999a,
  author = {Roland Klemke},
  title = {The Notion of Context in Organizational Memories},
  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 = {483--487},
  address = {Berlin},
  topic = {context;organizational-memory;}
  }

@inproceedings{ klemke-nick:2001a,
  author = {Roland Klemke and Achim Nick},
  title = {Case Studies in Developing
    		Contextualizing Information Systems},
  booktitle = {Modeling and Using Context: Third International and
  	Interdisciplinary Conference, Context 2001},
  publisher = {Springer-Verlag},
  year = {2001},
  editor = {Varol Akman and Paolo Bouquet and Richmond Thomason
  	and Roger A. Young},
  pages = {457--460},
  address = {Berlin},
  topic = {context;information-retrieval;}
  }

@article{ klenk-forbus:2009a,
  author = {Matthew Klenk and Ken Forbus},
  title = {Analogical Model Formulation for Transfer
  		Learning in {AP} Physics},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {173},
  number = {18},
  pages = {1615--1638},
  topic = {analogical-reasoning;case-based-reasoning;}
  }

@book{ kline_p:1998a,
  author = {Paul Kline},
  title = {The New Psychometrics: Science, Psychology, and
  	Measurement},
  publisher = {Routledge},
  year = {1998},
  address = {London},
  ISBN = {0415187516},
  rtnote = {UMich Graduate Library, BF 39 .K571 1998.},
  topic = {psychometrics;}
 }

@book{ kline_p:2000a,
  author = {Paul Kline},
  title = {A Psychometrics Primer},
  publisher = {Free Association Books},
  year = {2000},
  address = {London},
  ISBN = {1853434884},
  rtnote = {UMich Graduate Library, BF 39 .K586 2000.},
  topic = {psychometrics;}
 }

@article{ kling:1970a,
  author = {Robert E. Kling},
  title = {A Paradigm for Reasoning by Analogy},
  journal = {Artificial Intelligence},
  year = {1970},
  volume = {2},
  number = {2},
  pages = {147--178},
  topic = {analogy;analogical-reasoning;}
  }

@book{ klinger:1991a,
  editor = {Allen Klinger},
  title = {Human-Machine Interactive Systems},
  publisher = {Plenum Press},
  year = {1991},
  address = {New York},
  ISBN = {0306437589},
  rtnote = {UMich Media Union Library, QA 76.9 .H85 H891 1991.},
  topic = {HCI;}
 }

@techreport{ klop-vrijer:1987a,
  author = {Jan Willem Klop and Roel de Vrijer},
  title = {Unique Normal Forms for Lambda Calculus with
  	Subjective Pairing},
  institution = {Institute for Language, Logic and Information,
  	University of Amsterdam},
  number = {LP--87--03},
  year = {1988},
  address = {Faculty of Mathematics and Computer Science,
  	Roeterssraat 15, 1018WB Amsterdam, Holland},
  rtnote = {In RHT collection.},
  topic = {lambda-calculus;}
  }

@incollection{ kment:2006a,
  author = {Boris Kment},
  title = {Counterfactuals and the Analysis of Necessity},
  booktitle = {Metaphysics},
  publisher = {Blackwell Publishers},
  year = {2006},
  editor = {John Hawthorne},
  pages = {237--302},
  address = {Oxford},
  topic = {conditionals;necessity;}
  }

@article{ kment:2010a,
  author = {Boris Kment},
  title = {Causation: Determination and Difference-Making},
  journal = {No\^us},
  year = {2010},
  volume = {43},
  number = {1},
  pages = {80--211},
  topic = {causality;}
  }

@book{ knapp:1981a,
  author = {Benjamin B. Wolman and Susan Knapp},
  edition = {2},
  title = {Contemporary Theories and Systems in Psychology},
  publisher = {Plenum Press},
  year = {1981},
  address = {New York},
  ISBN = {0306405156},
  rtnote = {UMich Graduate Library, BF38 .W93 1981.},
  topic = {psychology-general;}
 }

@article{ kneale_wc:1950a,
  author = {William C. Kneale},
  title = {Natural Laws and Contrary-to-Fact Conditionals},
  journal = {Analysis},
  year = {1950},
  volume = {10},
  number = {6},
  pages = {121--125},
  xref = {Review: chisholm:1951a.},
  topic = {natural-laws;conditionals;}
  }

@article{ kneale_wc:1972a,
  author = {William C. Kneale},
  title = {Propositions and Truth in Natural Languages},
  journal = {Mind, New Series},
  year = {1972},
  volume = {81},
  number = {322},
  pages = {225--243},
  rtnote = {In RT Collection. \my10},
  topic = {propositions;indirect-discourse;}
  }

@incollection{ kneale_wc:1979a,
  author = {William C. Kneale},
  title = {Russell's Paradox and Some Others},
  booktitle = {Bertrand {R}ussell Memorial Volume},
  publisher = {George Allen \&{} Unwin},
  year = {1979},
  editor = {George W. Roberts},
  pages = {34--51},
  address = {London},
  topic = {Russell-paradox;semantic-paradoxes;}
  }

@book{ kneale_wc-kneale_m:1962a,
  author = {William C. Kneale and Martha Kneale},
  title = {The Development of Logic},
  publisher = {Oxford University Press},
  year = {1962},
  address = {Oxford},
  rtnote = {In RHT collection.  History of Logic Shelves.
  		2nd copy in office.},
  topic = {history-of-logic;}
 }

@article{ knight_jf-stob:2000a,
  author = {Julia F. Knight and Michael Stob},
  title = {Computable Boolean Algebras},
  journal = {Journal of Symbolic Logic},
  year = {2000},
  volume = {65},
  number = {4},
  pages = {1605--1623},
  topic = {boolean-algebras;computability;}
  }

@article{ knight_k:1998a,
  author = {Kevin Knight},
  title = {Automating Knowledge Acquistition for Machine Translation},
  journal = {The {AI} Magazine},
  year = {1998},
  volume = {18},
  number = {4},
  pages = {81--96},
  topic = {machine-translation;machine-learning;}
  }

@article{ knight_k:1999a,
  author = {Kevin Knight},
  title = {Decoding Complexity in Word-Replacement Translation
  	Models},
  journal = {Computational Linguistics},
  year = {1999},
  volume = {25},
  number = {4},
  pages = {607--615},
  topic = {statistical-nlp;machine-translation;}
  }

@inproceedings{ knight_k-etal:1995a,
  author = {Kevin Knight and Ishwar Chander and Matthew Haines and
  	Vasileos Hatzivassiloglou and Eduard Hovy and Masayo Iida and
	Steve K. Luk and Richard Whitney and Kenji Yamada},
  title = {Filling Knowledge Gaps in a Broad-Coverage Machine Translation
  	System},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {1390--1396},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  rtnote = {In RHT collection.},
  topic = {machine-translation;}
  }

@inproceedings{ knight_k-graehl:1997a,
  author = {Kevin Knight and Jonathan Graehl},
  title = {Machine Transliteration},
  booktitle = {Proceedings of the Thirty-Fifth Annual Meeting of the
		{A}ssociation for {C}omputational {L}inguistics and Eighth
		Conference of the {E}uropean Chapter of the {A}ssociation
		for {C}omputational {L}inguistics},
  year = {1997},
  editor = {Philip R. Cohen and Wolfgang Wahlster},
  pages = {128--135},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  topic = {machine-translation;transliteration;}
 }

@article{ knight_k-graehl:1998b,
  author = {Kevin Knight and Jonathan Graehl},
  title = {Machine Transliteration},
  journal = {Computational Linguistics},
  year = {1998},
  volume = {24},
  number = {4},
  pages = {599--612},
  topic = {transliteration;}
  }

@article{ knight_k-marcu:2002a,
  author = {Kevin Knight and Daniel Marcu},
  title = {Summarization beyond Sentence Extraction: A Probabilistic
  	Approach to Sentence Compression},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {139},
  number = {1},
  pages = {91--107},
  topic = {text-summary;noisy-channel-models;}
  }

@article{ knight_km:2003a,
  author = {Kevin M. Knight},
  title = {Two Information Measures for Inconsistent Sets},
  journal = {Journal of Logic, Language, and Information},
  year = {2003},
  volume = {12},
  number = {2},
  pages = {227--248},
  topic = {paraconsistency;}
  }

@inproceedings{ knoblock:1990a,
  author = {Craig A. Knoblock},
  title = {Learning Abstraction Hierarchies for Problem Solving},
  booktitle = {Proceedings of the Eighth National Conference on
              Artificial Intelligence},
  year = {1990},
  editor = {Thomas Dietterich and William Swartout},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  missinginfo = {pages},
  topic = {abstraction;abstraction-hierarchies;machine-learning;}
  }

@techreport{ knoblock:1992a,
  author = {Craig Knoblock},
  title = {An Analysis of {ABSTRIPS}},
  institution = {Information Sciences Institute},
  number = {RR-92-292},
  year = {1992},
  address = {Los Angeles, California},
  rtnote = {In RHT collection.},
  topic = {hierarchical-planning;abstraction;}
  }

@article{ knoblock:1994a,
  author = {Craig A. Knoblock},
  title = {Automatically Generating Abstractions for Planning},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {68},
  number = {2},
  pages = {243--302},
  topic = {planning-algorithms;abstraction;machine-learning;}
  }

@inproceedings{ knoblock:1995a,
  author = {Craig A. Knoblock},
  title = {Planning, Executing, Sensing, and Replanning for Information
  	Gathering},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {1686--1693},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  rtnote = {In RHT collection.},
  topic = {planning;plan-reuse;}
  }

@incollection{ knott:1998a,
  author = {Alisdair Knott},
  title = {Similarity and Context Relations and Inductive Rules},
  booktitle = {Discourse Relations and Discourse Markers:  Proceedings
  	of the Conference},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Manfred Stede and Leo Wanner and Eduard Hovy},
  pages = {54--57},
  address = {Somerset, New Jersey},
  topic = {discourse-cue-words;discourse-structure;}
  }

@article{ knott:2006a,
  author = {Alistair Knott},
  title = {Review of \emph{{C}oherence in Natural Language: Data
  		Structures and Applications}, by {F}lorian {W}olf and
		{E}dward {G}ibson},
  journal = {Computational Linguistics},
  year = {2006},
  volume = {32},
  number = {4},
  pages = {591--595},
  xref = {Review of: wolf-gibson:2006a},
  topic = {corpus-linguistics;discourse-coherence;discourse-structure;
  		discourse-tagging;}
  }

@incollection{ knott-dale_r:1996a,
  author = {Alistair Knott and Robert Dale},
  title = {Choosing a Set of Coherence
     		Relations for Text Generation: A Data-Driven
		Approach},
  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 = {47--67},
  address = {New York},
  topic = {nl-generation;discourse-structure;document-structuring;
  	discourse-coherence;}
  }

@article{ knott-vlugter:2008a,
  author = {Alistair Knott and Peter Vlugter},
  title = {Multi-Agent Human-Machine Dialogue: Issues in Dialogue
  		Management and Referring Expression Semantics},
  journal = {Artificial Intelligence},
  year = {2008},
  volume = {172},
  number = {2--3},
  pages = {69--102},
  topic = {computational-dialogue;personal-pronouns;}
  }

@incollection{ knott-wright_n:2003a,
  author = {Alistair Knott and Nick Wright},
  title = {A Dialogue-Based Knowledge Authoring System for Text
  	Generation},
  booktitle = {Working Papers of the 2003 {AAAI} Spring Symposium on
  	Natural Language Generation in Spoken and Written
	Dialogue},
  publisher = {AAAI Press},
  year = {2003},
  editor = {Reva Freedman and Charles Callaway},
  pages = {71--78},
  address = {Menlo Park, California},
  topic = {nl-generation;computational-dialogue;}
  }

@article{ knox:1972a,
  author = {N. Knox},
  title = {On the Classification of Ironies},
  journal = {Modern Philology},
  year = {1972},
  volume = {70},
  number = {1},
  pages = {53--62},
  missinginfo = {A's 1st name},
  topic = {irony;}
  }

@book{ knuth:1973a,
  author = {Donald E. Knuth},
  title = {The Art of Computer Programming: Fundamental Algorithms},
  publisher = {Addison-Wesley Publishing Co.},
  year = {1973},
  volume = {1},
  edition = {2},
  address = {Reading, Massachusetts},
  rtnote = {In RHT collection.  Shelf.},
  topic = {art-of-programming;algorithms;}
 }

@book{ knuth:1986a,
  author = {Donald E. Knuth},
  title = {The {METAFONT} Book},
  publisher = {Addison-Wesley Publishing Co.},
  year = {1986},
  address = {Reading, Massachusetts},
  rtnote = {In RHT collection.  Shelf.},
  topic = {computer-assisted-document-preparation;}
 }

@incollection{ knuth:1991b,
  author = {Donald E. Knuth},
  title = {Textbook Examples of Recursion},
  booktitle = {Artificial Intelligence and Mathematical Theory of
  	Computation},
  publisher = {Academic Press},
  year = {1991},
  editor = {Vladimir Lifschitz},
  pages = {207--229},
  address = {San Diego},
  topic = {recursion-theory;}
  }

@book{ knuth:1992a,
  author = {Donald E. Knuth},
  title = {Literate Programming},
  publisher = {Center for the Study of Language and Information},
  year = {1992},
  address = {Stanford, California},
  ISBN = {0937073806},
  rtnote = {UMich Media Union Library, QA 76.6 .K6441 1992.},
  topic = {structured-programming;programming-languages;
  	art-or-programming;}
 }

@book{ knuth-etal:1989a,
  author = {Donald E. Knuth and Tracy Larrabee and Paul M. Roberts},
  title = {Mathematical Writing},
  publisher = {The Mathematical Association of America},
  year = {1989},
  address = {Washington, DC},
  ISBN = {978-0-88385-063-3},
  rtnote = {In RHT collection.  Math Shelves.},
  topic = {mathematical-writing;}
 }

@article{ knuth-moore_rw:1975a,
  author = {Donald E. Knuth and Ronald W. Moore},
  title = {An Analysis of Alpha-Beta Pruning},
  journal = {Artificial Intelligence},
  year = {1975},
  volume = {6},
  number = {4},
  pages = {293--326},
  topic = {AI-algorithms;search;AI-algorithms-analysis;}
  }

@incollection{ knuuttila:1981a,
  author = {Simo Knuuttila},
  title = {The Emergence of Deontic Logic in the
     		Fourteenth Century},
  booktitle = {New Studies in Deontic Logic},
  publisher = {D. Reidel Publishing Company},
  year = {1981},
  editor = {Risto Hilpinen},
  pages = {225--248},
  address = {Dordrecht},
  topic = {deontic-logic;history-of-logic;scholastic-philosophy;}
  }

@incollection{ knuuttila:1994a,
  author = {Simo Knuuttila},
  title = {Topics in Late Medieval Intensional Logic},
  booktitle = {Intensional Logic:  Theory and Applications},
  publisher = {The Philosophical Society of Finland},
  year = {1994},
  editor = {Ilkka Niiniluoto and Esa Saarinen},
  pages = {26--41},
  address = {Helsinki},
  topic = {medieval-logic;intensional-logic;}
  }

@article{ ko_hp:1988a,
  author = {Hai-Ping Ko},
  title = {Geometry Theorem Proving by Decomposition of
  	Quasi-Algebraic Sets: An Application of the {R}itt-{W}u
	Principle},
  journal = {Artificial Intelligence},
  year = {1988},
  volume = {37},
  number = {1--3},
  pages = {95--122},
  acontentnote = {Abstract:
     We use differences of two algebraic sets, called quasi-algebraic
     sets, to represent various geometrical properties. To determine
     the truth value of a geometry statement, we use the Ritt-Wu
     Principle to decompose the corresponding algebraic difference
     set into disjoint triangular quasi-algebraic sets, and then
     examine properties of elements of these triangular
     quasi-algebraic sets.  },
  topic = {geometrical-reasoning;theorem-proving;}
  }

@incollection{ kobsa:1989a,
  author = {Alfred Kobsa},
  title = {A Taxonomy of Beliefs and Goals for
	User Models in Dialog Systems},
  booktitle = {User Models in Dialog Systems},
  publisher = {Springer-Verlag},
  year = {1989},
  editor = {Alfred Kobsa and Wolfgang Wahlster},
  pages = {52--73},
  address = {Berlin},
  contentnote = {This is a survey, mentioning eg the kinds of beliefs
  	you are likely to encounter in user modeling.},
  topic = {user-modeling;belief;desire;intention;}
 }

@book{ kobsa-wahlster:1989a,
  editor = {Alfred Kobsa and Wolfgang Wahlster},
  title = {User Models in Dialog Systems},
  publisher = {Springer-Verlag},
  year = {1989},
  address = {Berlin},
  contentnote = {TC:
  	1. Wolfgang Wahlster and Alfred Kobsa, "User Models in
		Dialog Systems", pp. 4--34
  	2. Elaine Rich, "Stereotypes and User Modeling", pp. 35--51
  	3. Alfred Kobsa, "A Taxonomy of Beliefs and Goals for
		User Models in Dialog Systems", pp. 52--73
  	4. David N. Chin, "{KNOME}: Modeling What the User
		Knows in {UC}", pp. 74--107
  	5. Alexander Quilici, "Detecting and Responding to
		Plan-Oriented Misconceptions", pp. 108--132
  	6. Sandra Carberry, "Plan Recognition and Its Use in
		Understanding Dialog", pp. 133--162
  	7. Jill Fain Lehman and Jaime Carbonell, "Learning the
		User's Language: A Step Towards Automated
		Creation of User Models", pp. 163--194
  	8. C\'ecile Paris, "The Use of Explicit User Models
		in a Generation System for Tailoring Answers
		to the User's Level of Expertise", pp. 200--232
  	9. Kathleen F. McCoy, "Highlighting a User Model to
		Respond to Misconceptions", pp. 233--254
       10. Anthony Jameson, "But What Will the Listener
       		Think?  Belief Ascription and Image
		Maintenance in Dialog", pp. 255--312
       11. Robin Cohen and Marlene Jones, "Incorporating
       		User Models into Expert Systems for
		Educational Diagnosis", pp. 313--333
       12. Karen Sparck Jones, "Realism about User
       		Modeling", pp. 341--363
       13. Katherine Morik, "User Models and Conversational
       		Settings: Modelling the User's Wants", pp. 364--385
       14. Robert Kass, "Student Modeling and Intelligent
       		Tutoring---Implications for User
		Modeling", pp. 386--410
       15. Timothy W. Finin, "{GUMS}---A General User Modeling
       		Shell", pp. 411--430
  },
  ISBN = {0387183809 (paper)},
  rtnote = {UMich Media Union Library, QA 76.9 .H85 U741 1989},
  topic = {user-modeling;discourse;computational-dialogue;}
 }

@book{ koch_c:2004a,
  author = {Christof Koch},
  title = {The Quest for Consciousness:  A Neurobiological Approach},
  publisher = {Roberts \&{} Company},
  year = {2004},
  address = {Englewood, Colorado},
  ISBN = {0-9747077-0-8 (hardcover)},
  rtnote = {In RHT collection.  Cogsci Shelves.},
  topic = {cognitive-neuroscience;consciousness;}
 }

@article{ koch_c-etal:2003a,
  author = {Christoph Koch and Nicola Leone and Gerald Pfeifer},
  title = {Enhancing Disjunctive Logic Programming Systems by
  	{SAT} Checkers},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {151},
  number = {1--2},
  pages = {177--212},
  topic = {disjunctive-logic-programming;model-checking;}
  }

@incollection{ koch_g:1991a,
  author = {Gregers Koch},
  title = {Preliminary Investigations of the Implementation
       		of {PTQ} by Use of Data Flow},
  booktitle = {Working Papers in Computational Semantics, Dialogue and
  	Discourse},
  publisher = {Department of Mathematics, University of Oslo},
  year = {1991},
  editor = {Harold L. Somers},
  address = {P.O. Box 1053-Blindern, 0316 Oslo 3, Norway},
  missinginfo = {pages   pages = {103--}},
  topic = {Montague-grammar;semantic-interpretation-algorithms;}
  }

@article{ kochen_m:1974a,
  author = {Manfred Kochen},
  title = {Representations and Algorithms for Cognitive Learning},
  journal = {Artificial Intelligence},
  year = {1974},
  volume = {5},
  number = {3},
  pages = {199--216},
  acontentnote = {Abstract:
     This is a report summarizing our progress towards a theory of
     cognitive learning. It is concerned with an algorithm that
     recognizes, selects and formulates in an internal language
     problems that arise in an external environment. This algorithm
     revises its representation of the environment and uses it to
     cope with self-selected problems.
      The algorithm depends on the formation of hypotheses and their
     use to select actions. The key ideas of this project are major
     new additions to a theory of representation of knowledge built
     on an inductive predicate logic.  },
  topic = {cognitive-architectures;learning;cognitive-modeling;}
  }

@unpublished{ kochen_s:1968a,
  author = {Simon Kochen},
  title = {The Logic of Quantum Mechanics},
  year = {1968},
  note = {Unpublished manuscript, Princeton University.},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  topic = {quantum-logic;}
  }

@unpublished{ kochen_s:1979a,
  author = {Simon Kochen},
  title = {The Interpretation of Quantum Mechanics},
  year = {1979},
  note = {Unpublished manuscript, Princeton University.},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  topic = {quantum-logic;foundations-of-quantum-mechanics;}
  }

@incollection{ kochen_s-specker:1965a,
  author = {Simon Kochen and Ernst P. Specker},
  title = {The Calculus of Partial Propositional Functions},
  booktitle = {Proceedings of the 1964 Congress for Logic, Methodology
  		and Philosophy of Science},
  publisher = {North-Holland Publishing Company},
  year = {1965},
  editor = {Yehoshua Bar-Hillel},
  pages = {45--57},
  address = {Amsterdam},
  rtnote = {In RHT collection.},
  topic = {quantum-logic;truth-value-gaps;}
  }

@book{ kock:2006a,
  author = {Anders Kock},
  title = {Synthetic Differential Geometry, 2nd Edition},
  publisher = {Cambridge University Press},
  year = {2006},
  address = {Cambridge, England},
  xref = {Review: bell_jl:2007a},
  topic = {constructive-mathematics;synthetic-differential-geometry;}
 }

@incollection{ kodeh-matsumoto_y2:2000a,
  author = {Taku Kodeh and Yuji Matsumoto},
  title = {Use of Support Vector Learning for Chunk Identification},
  booktitle = {Proceedings of the Fourth Conference on Computational
  	Natural Language Learning and of the Second Learning Language
	in Logic Workshop, {L}isbon, 2000},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  editor = {Claire Cardie and Walter Daelemans and Claire N\'edellec
  	and Erik Tjong Kim Sang},
  pages = {142--144},
  address = {Somerset, New Jersey},
  topic = {machine-language-learning;text-chunking;}
  }

@incollection{ kodratoff-ganascia:1984a,
  author = {Yves Kodratoff and Jean-Gabriel Ganascia},
  title = {Learning as a Non-Deterministic but Exact Logical
		Processes},
  booktitle = {The Mind and the Machine: Philosophical Aspects
  	of Artificial Intelligence},
  publisher = {Ellis Horwood, Ltd.},
  year = {1984},
  editor = {Steve B. Torrance},
  pages = {182--191},
  address = {Chichester},
  topic = {machine-learning;concept-learning;}
  }

@inproceedings{ koehler_j:1992a,
  author = {Jana Koehler},
  title = {Towards a Logical Treatment of Plan Reuse},
  booktitle = {Proceedings of the First International Conference on
               Artificial Intelligence Planning Systems},
  year = {1992},
  pages = {285--286},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  topic = {planning;plan-reuse;}
  }

@incollection{ koehler_j:1994a,
  author = {Jana Koehler},
  title = {Flexible Plan Reuse in a Formal Framework},
  booktitle = {Current Trends in AI Planning},
  publisher = {IOS Press},
  year = {1994},
  editor = {Christer B\"ackstr\"om and Erik Sandewall},
  pages = {171--184},
  address = {Amsterdam},
  topic = {planning;plan-reuse;}
  }

@inproceedings{ koehler_j:1994b,
  author = {Jana Koehler},
  title = {An Application of Terminological Logics to Case-Based
  	Reasoning},
  booktitle = {{KR}'94:  Principles of Knowledge Representation and Reasoning},
  year = {1994},
  editor = {J. Doyle and E. Sandewall and P. Torasso},
  publisher = {Morgan Kaufmann},
  pages = {351--362},
  rtnote = {Read this.},
  topic = {kr;description-logics;case-based-reasoning;kr-course;}
  }

@article{ koehler_j:1996a,
  author = {Jana Koehler},
  title = {Planning from Second Principles},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {87},
  number = {1--2},
  pages = {145--146},
  contentnote = {Integrates KL1 with CBR, Plan Reuse.},
  rtnote = {Read this.  Use this for KR course instead of Devanbu and
  	Litman?  KR?},
  topic = {kr;description-logics;case-based-reasoning;
  	plan-reuse;kr-course;}
  }

@article{ koehler_j-ottinger:2002a,
  author = {Jana Koehler and Daniel Ottinger},
  title = {An {AI}-Base Approach to Destination Control in Elevators},
  journal = {The {AI} Magazine},
  year = {2000},
  volume = {23},
  number = {3},
  pages = {59--79},
  topic = {scheduling;}
  }

@article{ koenig_jp-davis_ar:2001a,
  author = {Jean-Pierre Koenig and Anthony R. Davis},
  title = {Sub-Lexical Modality and the Structure of Lexical
  	Semantic Representations},
  journal = {Linguistics and Philosophy},
  year = {2001},
  volume = {24},
  number = {1},
  pages = {71--124},
  topic = {nl-modality;lexical-semantics;verb-semantics;}
  }

@article{ koenig_s:2001a,
  author = {Sven Koenig},
  title = {Minimax Real-Time Heuristic Search},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {129},
  number = {1--2},
  pages = {165--197},
  topic = {plan-execution;heuristics;search;minimaxing;}
  }

@article{ koenig_s-etal:2004a,
  author = {Sven Koenig and Maxim Likhachev and David Furcy},
  title = {Lifelong Planning A$^*$},
  journal = {Artificial Intelligence},
  year = {2004},
  volume = {155},
  number = {1--2},
  pages = {93--146},
  topic = {planning-algorithms;search;}
  }

@incollection{ koenig_s-simmons_r2:1994a,
  author = {Sven Koenig and Reid G. Simmons},
  title = {Risk-Sensitive Planning with Probabilistic Decision Graphs},
  booktitle = {{KR}'94: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
  pages = {363--373},
  address = {San Francisco, California},
  topic = {kr;planning;plan-evaluation;decision-theory;kr-course;}
  }

@incollection{ koertge:2000a,
  author = {Noretta Koertge},
  title = {Science, Values, and the Value of Science},
  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 = {S45--S57},
  address = {Newark, Delaware},
  topic = {philosophy-of-science;}
  }

@article{ koffman-blount:1975a,
  author = {Elliot B. Koffman and Sumner E. Blount},
  title = {Artificial Intelligence and Automatic Programming in
  	{CAI}},
  journal = {Artificial Intelligence},
  year = {1975},
  volume = {6},
  number = {3},
  pages = {215--234},
  acontentnote = {Abstract:
     This paper discusses generative computer-assisted instruction
     (CAI) and its relationship to Artificial Intelligence Research.
     Systems which have a limited capability for natural language
     communication are described.  In addition, potential areas in
     which Artificial Intelligence could be applied are outlined.
     These include individualization of instruction, determining the
     degree of accuracy of a student response, and problem-solving.
     A CAI system which is capable of writing computer programs is
     described in detail.  Techniques are given for generating
     meaningful programming problems.  These problems are represented
     as a sequence of primitive tasks each of which can be coded in
     several ways.  The manner in which the system designs its own
     solution program and monitors the student solution is also
     described.},
  topic = {computer-assisted-instruction;automatic-programming;
  	intelligent-tutoring;}
  }

@article{ kofka:1922a,
  author = {Kurt Kofka},
  title = {Perception: An Introduction to the {G}estalt-{T}heorie},
  journal = {Psychological Bulletin},
  year = {1992},
  volume = {19},
  pages = {531--585},
  missinginfo = {number},
  rtnote = {Cited by },
  topic = {perception;psychology-of-perception;}
  }

@article{ kohavi-john:1997a,
  author = {Ron Kohavi and George H. John},
  title = {Wrappers for Feature Subset Selection},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {97},
  number = {1--2},
  pages = {273--323},
  topic = {relevance;machine-learning;}
  }

@incollection{ kohl_k-etal:1998a,
  author = {Karen T. Kohl and Douglas A. Jones and Robert C. Berwick
     		and Naoyuki Nomura},
  title = {Representing Verb Alternations in {W}ord{N}et},
  booktitle = {Word{N}et: An Electronic Lexical Database},
  publisher = {The {MIT} Press},
  year = {1998},
  editor = {Christaine Fellbaum},
  pages = {153--178},
  address = {Cambridge, Massachusetts},
  topic = {wordnet;nlp-lexicons;computational-lexical-semantics;
  	computational-lexicography;}
  }

@article{ kohl_m:1969a,
  author = {M. Kohl},
  title = {Bertrand {R}ussell on Vagueness},
  journal = {Australasian Journal of Philosophy},
  year = {1969},
  volume = {147},
  pages = {31--41},
  missinginfo = {A's 1st name, number},
  topic = {vagueness;Russell;}
  }

@article{ kohlas-etal:1998a,
  author = {J. Kohlas and B. Anrig and R. Haenni and P.A. Monney},
  title = {Model-Based Diagnostics and Probabilistic
  	Assumption-Based Reasoning},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {104},
  number = {1--2},
  pages = {71--106},
  topic = {probabiliistic-reasoning;diagnosis;truth-maintenance;}
  }

@article{ kohlas-wilson_n:2008a,
  author = {J\"urg Kohlas and Nic Wilson},
  title = {Semiring Induced Valuation Algebras: Exact and Approximate
  		Local Computation Algorithms},
  journal = {Artificial Intelligence},
  year = {2007},
  volume = {172},
  number = {11},
  pages = {1360--1399},
  topic = {valuation-algebras;bayesian-networks;}
  }

@article{ kohlenbach:2000a,
  author = {Ulrich Kohlenbach},
  title = {Review of \emph{{E}psilon Substitution Method for Elementary
  	Analysis}, by {G}rigori {M}ints, {S}ergei {T}upailo and
	{W}ilfried {B}uchholtz},
  journal = {The Bulletin of Symbolic Logic},
  year = {2000},
  volume = {6},
  number = {3},
  pages = {356--357},
  xref = {Review of mints-etal:1996a.},
  topic = {epsilon-operator;elementary-analysis;proof-theory;}
  }

@incollection{ kohler_e:2006a,
  author = {Eckehart K\"ohler},
  title = {Ramsey and the {V}ienna {C}ircle on Logicism},
  booktitle = {Cambridge and {V}ienna: {F}rank {P}. {R}amsey and
           the {V}ienna {C}ircle},
  publisher = {Springer-Verlag},
  year = {2006},
  editor = {Maria Carla Galavotti},
  pages = {91--121},
  address = {Berlin},
  rtnote = {In RHT collection.},
  topic = {history-of-logic;F.P.Ramsey;logicism;}
  }

@incollection{ kohlhase:1998a,
  author = {M. Kohlhase},
  title = {Higher-Order Automated Theorem Proving},
  booktitle = {Automated Deduction: A Basis for Applications.
  	Volume {I}, Foundations: Calculi and Methods},
  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;higher-order-logic;}
  }

@incollection{ kohlhase:1998b,
  author = {M. Kohlhase},
  title = {Introduction (to Part {I}: Automated
		Theorem Proving in Mathematics)},
  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;}
  }

@inproceedings{ kohlhase:2000a,
  author = {Michael Kohlhase},
  title = {Model Generation for Discourse Representation Theory},
  booktitle = {14th European Conference on Artificial Intelligence},
  year = {2000},
  editor = {Werner Horn},
  publisher = {{IOS} Press},
  address = {Amsterdam},
  missinginfo = {pages},
  topic = {DRT;model-checking;}
  }

@article{ kohno-etal:1997a,
  author = {Takeshi Kohno and Susumu Hamada and Dai Araki and Shoichi
  	Kojima and Toshikazu Tanaka},
  title = {Error Repair and Knowledge Acquisition via Case-Based
  	Reasoning},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {91},
  number = {1},
  pages = {85--101},
  acontentnote = {Abstract:
     To cope with the knowledge acquisition bottleneck, the authors
     propose a new architecture combining rule-based reasoning (RBR),
     case-based reasoning (CBR) and knowledge acquisition technology
     in a system which solves pattern search problems.  The RBR part
     searches for specified patterns in a large space represented by
     a network structure such as an LSI circuit diagram, which
     contains a great number of patterns and variations.  It then
     carries out specified actions, such as fault diagnosis, on the
     patterns that are found.  The outputs of the RBR part are
     transferred to the CBR part.  The user of the system detects and
     repairs a few pattern detection errors caused by the RBR part.
     The CBR part detects and repairs all remaining errors which can
     be estimated from the user detected ones.  The repaired results
     are sent back to the RBR part to recover the RBR output.  The
     repaired results are also stored automatically in the case base.
     Similar cases are grouped in a same case family.  The knowledge
     acquisition part relates each case family to an incomplete rule
     in the RBR knowledge base and proposes modifying the rule.
     Eventually, the system can obtain refined rules with the
     cooperation of domain experts.  Thus, the problem solving process
     and knowledge acquisition process are performed cyclically.  The
     architecture was successfully applied to a pair condition
     extraction problem for an analog LSI circuit layout system.},
  topic = {case-based-reasoning;knowledge-acquisition;
  	rule-based-reasoning;circuit-design;}
  }

@inproceedings{ kohomban_us-lee_ws:2005a,
  author = {Upali Sathyajith Kohomban and Wee Sun Lee},
  title = {Learning Semantic Classes for Word Sense Disambiguation},
  booktitle = {Proceedings of the 43rd Annual Meeting of the
  		Association for Computational Linguistics (ACL'05)},
  month = {June},
  year = {2005},
  address = {Ann Arbor, Michigan},
  publisher = {Association for Computational Linguistics},
  pages = {34--41},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1005},
  topic = {machine-learning;lexical-disambiguation;}
  }

@incollection{ koit-etal:2002a,
  author = {Mare Koit and Tiit Roosmaa and Haldur \~Oim},
  title = {Teaching Computational
    		Linguistics at the {U}niversity of {T}artu: Experience,
		Perspectives, and Challenges},
  booktitle = {Effective Tools and Methodologies for Teaching
  	{NLP} and {CL}},
  publisher = {Association for Computational Linguistics},
  year = {2002},
  editor = {Dragomir Radev and Chris Brew},
  pages = {84--88},
  address = {New Brunswick, New Jersey},
  topic = {nlp-pedagogy;}
  }

@incollection{ koit-oim:2000a,
  author = {Mare Koit and Haldur Oim},
  title = {Dialogue Management in the Agreement Negotiation Process:
  		A Model that Involves Natural Reasoning},
  booktitle = {Proceedings of the First {SIGdial} Workshop on Discourse
  	and Dialogue},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  editor = {Laila Dybkjaer and Koiti Hasida and David R. Traum},
  pages = {102--111},
  address = {Somerset, New Jersey},
  topic = {computational-dialogue;negotiation;}
  }

@incollection{ kokinov:1999a,
  author = {Boicho Kokinov},
  title = {Dynamics and Automaticity of Context: A
			Cognitive Modeling Approach},
  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 = {200--213},
  address = {Berlin},
  topic = {context;cognitive-psychology;}
  }

@book{ kokinov-etal:2006a,
  editor = {Boicho Kokinov and Daniel C. Richardson and Thomas R.
  		Roth-Berghofer and Laure View},
  title = {Modeling and Using Context: Sixth International and
  	Interdisciplinary Conference, Context 2007},
  publisher = {Springer-Verlag},
  year = {2007},
  address = {Berlin},
  ISBN-10 = {3-540-74254-9},
  contentnote = {TC:
     1.  Rodrigo Agerri, John Barnden, Mark Lee, and Alan
     		Wallington, "Default Inferences in Metaphor
		Interpretation", pp. 1--14
     2.  Dhouha Ayed, Didier Delanote, and Yolande Berbers, "{MDD} Approach
     		for the Development of Context-Aware
		Applications, pp. 15--28
     3.  Norbert Baumgartner, Werner Retschitzegger, Wieland
     		Schwinger, Gabriele Kotsis, and Christoph
		Schwieterung, "Of Situations and Their
		Neighbors---Evolution and Similarity in Ontology-Based
		Approaches to Situation Awareness", pp. 29--42
     4.  Peter J. Beers and Pieter W.G. Bots, "Conceptual Analysis of
     		Interdisciplinary Scientific Work", pp. 43--55
     5.  Tarek Ben Mena, Narj\`es Bellamine-Ben Saoud, Mohamed Ben
                Ahmed, and Bernard Pavard "Towards a Methodology for
		Context Sensitive Systems", pp. 56--68
     6.  Claudia Bianchi and Nicla Vassallo, "Meaning, Contexts and
     		Justification", pp. 69--81
     7.  Ergun Bi\c{c}ici, "Local Context Selection for Aligning Sentences
     		in Parallel Corpora", pp. 82--93
     8.  Nik Nailah Binti Abdullah and Shinichi Honiden, "Context in Use for
     		Analyzing Conversation Structures on the Web Tied to
		the Notion of Situatedness Nik Nailah", pp. 94--107
     9.  Cristiana Bolchini, Elisa Quintarelli, Rosalba Rossato and
     		Letizia Tanca, "Using Context for the Extraction of Relational
		Views", pp. 108--121
     10. Patrick Br\'ezillon, "Context Modeling: Task Model and
     		Practice Model", pp. 122--135
     11. Juliette Br\'ezillon and Patrick Br\'ezillon, "Context
     		Modeling: Context as a Dressing of a Focus", pp. 136--149
     12. Marcel Cremene and Michel Riveill, "Service-Context Unified
     		Knowledge Representation for Autonomic
		Adaptation", pp. 150--163
     13. Richard Dapoigny and Patrick Barlatier, "Goal Reasoning with
     		Context Record Types", pp. 164--177
     14. Brecht Desmet and Jorge Vallejos and Pascal Costanza and
     		Wolfgang De Meuter and Theo D'Hondt,
		"Context-Oriented Domain Analysis", pp. 178--191
     15. Karl Devooght, "A Semantics for Changing Frames of
     		Mind", pp. 192--205
     16. Ya'akov Gal and Barbara Grosz and Avi Pfeffer and Stuart
     		Shieber and Alex Allain, "The Influence of Task
		Contexts on the Decision-Making of Humans and
		Computers", pp.  206--219
     17. John S. Gero and Gregory J. Smith, "Context and Design
     		Agents", pp. 220--233
     18. Chiara Ghidini and Luciano Serafini and Sergio Tessaris, "On
     		Relating Heterogeneous Elements from Different
		Ontologies", pp.  234--247
     19. Shun Hattori and Taro Tezuka and Hiroaki Ohshima and Satoshi
     		Oyama and Junpei Kawamoto and Keishi Tajima and
		Katsumi Tanaka, "ReCQ: Real-World Context-Aware
		Querying", pp.  248--262
     20. Penka Hristova and Georgi Petkov and Boicho Kokinov,
     		"Objective vs. Subjective Scales: The Challenge That
		the Scale Type Poses to the {JUDGEMAP} Model of
		Context Sensitive Judgment", pp.  263--276
     21. Carsten Ke{\ss}ler, "Similarity Measurement in
     		Context", pp.  277--290
     22. Oleg Kiselyov and Chung-Chieh Shan, "Delimited Continuations
     		in Operating Systems", pp. 291--302
     23. Anders Kofod-Petersen and J\"org Cassens, "Explanations and
     		Context in Ambient Intelligent Systems", pp. 303--316
     24. Boicho Kokinov and Georgi Petkov and Nadezhda Petrova,
     		"Context-Sensitivity of Human Memory: Episode
		Connectivity and Its Influence on Memory
		Reconstruction", pp.  317--329
     25. Robert Lokaiczyk and Andreas Faatz and Arne Beckhaus and
     		Manuel Goertz, "Enhancing Just-in-Time E-Learning
		Through Machine Learning on Desktop Context
		Sensors", pp. 330--341
     26. Stefan Mandl and Bernd Ludwig, "Coping with Unconsidered
     		Context of Formalized Knowledge ", pp.  342--355
     27. Srini Narayanan and Katie Sievers and Steve Maiorano,
     		"OCCAM: Ontology-Based Computational Contextual
		Analysis and Modeling", pp.  356--368
     28. Cosimo Palmisano and Alexander Tuzhilin and Michele
     		Gorgoglione, "User Profiling with Hierarchical
		Context: An e-Retailer Case Study", pp. 369--383
     29. Seon-Ho Park and Young-Ju Han and Tai-Myoung Chung,
     		"Context-Aware Security Management System for
		Pervasive Computing Environment", pp. 384--396
     30. Romaric Redon and Andreas Larsson and Richard Leblond and
     		Barthelemy Longueville, "VIVACE Context Based Search
		Platform", pp.  397--410
     31. Mathieu Roche and Violaine Prince, "AcroDef : A Quality
     		Measure for Discriminating Expansions of Ambiguous
		Acronyms", pp.  411--424
     32. Kayo Sakamoto and Masanori Nakagawa, "Risk Context Effects
     		in Inductive Reasoning: An Experimental and
		Computational Modeling Study", pp. 425--438
     33. Ahu Sieg and Bamshad Mobasher and Robin Burke, "Representing
     		Context in Web Search with Ontological User
		Profiles", pp. 439--452
     34. Thana Sukvaree and Asanee Kawtrakul and Jean Caelen, "Thai
     		Text Coherence Structuring with Coordinating and
		Subordinating Relations for Text Summarization", pp. 453--466
     35. Richmond H. Thomason, "Three Interactions Between Context
     		and Epistemic Locutions", pp. 467--481
     36. John M. Tomlinson and Daniel C. Richardson, "Do You Believe
     		What Eye Believe?", pp. 482--492
     37. Vaninha Vieira and Patrícia Tedesco and Ana Carolina Salgado
     		and Patrick Br\'ezillon, "Investigating the Specifics
		of Contextual Elements Management: The CEManTIKA
		Approach", pp.  493--506
     38. Michael Vonrueden and Wolfgang Prinz, "Distributed Document
     		Contexts in Cooperation Systems", pp. 507--516
     39. Marielba Zacarias and H. Sofia Pinto and Jos\'e Tribolet,
     		"Integrating Engineering and Cognitive and Social
		Approaches for a Comprehensive Modeling of
		Organizational Agents and Their Contexts", pp. 517--530
     40. Tomasz Zarycki, "Fields as Dimensions of Context: An
     		Application of BourdieuÂ’s Sociological Theory to
		Modelling of Context of Social Action", pp. 531--544
     41. Dan Zeman, "Context Sensitivity: Indexicalism,
     		Contextualism, Relativism", pp. 545--557
     42. Andreas Zimmermann and Andreas Lorenz and Reinhard
     		Oppermann, "An Operational Definition of
		Context", pp. 558--571
   },
  rtnote = {In RHT collection.  LLP edited shelves.},
  topic = {context;}
 }

@inproceedings{ kokinov-grinberg:2001a,
  author = {Boicho Kokinov and Maurice Grinberg},
  title = {Simulating Context Effects in Problem Solving with
  	{AMBR}},
  booktitle = {Modeling and Using Context: Third International and
  	Interdisciplinary Conference, Context 2001},
  publisher = {Springer-Verlag},
  year = {2001},
  editor = {Varol Akman and Paolo Bouquet and Richmond Thomason
  	and Roger A. Young},
  pages = {221--234},
  address = {Berlin},
  topic = {context;analogy;problem-solving;cognitive-psychology;}
  }

@article{ kokkonidis:2008a,
  author = {Miltiadis Kokkonidis},
  title = {First-Order Glue},
  journal = {Journal of Logic, Language, and Information},
  year = {2008},
  volume = {17},
  number = {1},
  pages = {43--68},
  topic = {compositionality;foundations-of-semantics;}
  }

@article{ koktova:1987a,
  author = {Eva Koktova},
  title = {On the Scoping Properties of Negation, Focusing Particles and
  	Sentence Adverbials},
  journal = {Theoretical Linguistics},
  year = {1987},
  volume = {14},
  number = {2/3},
  pages = {173--226},
  topic = {sentence-focus;nl-negation;pragmatics;}
  }

@book{ kolak:1998a,
  author = {Daniel Kolak},
  title = {Wittgenstein's {T}ractatus},
  publisher = {Mayfield Publishing Co.},
  year = {1998},
  address = {Mountain View, California},
  rtnote = {In RHT collection.},
  topic = {early-Wittgenstein;}
 }

@book{ kolb-monnich:1999a,
  editor = {Hans-Peter Kolb and Uwe M\"onnich},
  title = {The Mathematics of Syntactic Structures: Trees and
  	Their Logics},
  publisher = {Mouton de Gruyter},
  year = {1999},
  address = {Berlin},
  ISBN = {3-11-016273-3},
  xref = {Review: penn:2000a.},
  topic = {mathematical-linguistics;}
 }

@inproceedings{ kolbe-walther_c:1995a,
  author = {Thomas Kolbe and Christoph Walther},
  title = {Second-Order Matching Modulo Evaluation---A Technique for
  	Reusing Proofs},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {190--195},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  rtnote = {In RHT collection.},
  topic = {theorem-proving;proof-reuse;}
  }

@incollection{ kolbe-walther_c:1998a,
  author = {Thomas Kolbe and Christoph Walther},
  title = {Proof Analysis, Generalization, and Reuse},
  booktitle = {Automated Deduction: A Basis for Applications.
  	Volume {II}, Systems and Implementation Techniques},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {Wolfgang Bibel and Peter H. Schmidt},
  address = {Dordrecht},
  topic = {theorem-proving;applied-logic;proof-reuse;}
  }

@article{ kolbel:2001a,
  author = {Max K\"olbel},
  title = {Two Dogmas of {D}avidsonian Semantics},
  journal = {The Journal of Philosophy},
  year = {2001},
  volume = {98},
  number = {12},
  pages = {613--635},
  topic = {Davidson-semantics;foundations-of-semantics;}
  }

@article{ koller_a-etal:2004a,
  author = {Alexander Koller and Ralph Debusmann and Malte Gabsdil
  		and Kristina Striegnitz},
  title = {Put My Galakmid Coin in the Dispenser and Kick It:
  		Computational Linguistics and Theorem Proving
		in a Computer Game},
  journal = {Journal of Logic, Language, and Information},
  year = {2004},
  volume = {13},
  number = {2},
  pages = {187--206},
  topic = {computational-semantics;computational-dialogue;}
  }

@inproceedings{ koller_d-etal:1997a,
  author = {Daphne Koller and Alon Levy and Avi Pfeffer},
  title = {{\sc P-Classic:} A Tractable Probabilistic Description Logic},
  booktitle = {Proceedings of the Fourteenth National Conference on
              Artificial Intelligence,  Vol. 1},
  year = {1997},
  editor = {Benjamin J. Kuipers and Bonnie Webber},
  pages = {390--397},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {probabilistic-reasoning;Bayesian-networks;
	description-logics;extensions-of-kl1;tractable-logics;krcourse;}
  }

@book{ koller_d-friedman_n:2009a,
  author = {Daphne Koller and Nir Friedman},
  title = {Probabilistic Graphical Models},
  publisher = {The {MIT} Press},
  year = {2009},
  address = {Cambridge, Massachusetts},
  ISBN-10 = {0-262-01319-3},
  ISBN-13 = {978-0-262-01319-2 },
  xref = {Review: murphy_k:2009a},
  topic = {Bayesian-networks;graph-based-reasoning;probabilistic-reasoning;}
 }

@incollection{ koller_d-halpern:1992a,
  author = {Daphne Koller and Joswph Y. Halpern},
  title = {A Logic for Approximate Reasoning},
  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 = {153--164},
  address = {San Mateo, California},
  topic = {reasoning-about-uncertainty;}
  }

@inproceedings{ koller_d-halpern:1996a,
  author = {Daphne Koller and Joseph Y. Halpern},
  title = {Irrelevance and Conditioning in First-Order Probabilistic
  	Logic},
  booktitle = {Proceedings of the Thirteenth National Conference on
              Artificial Intelligence and the Eighth Innovative
	      Applications of Artificial Intelligence  Conference,
	      Vol. 2},
  year = {1996},
  editor = {William J. Clancey and Dan Weld},
  pages = {569--576},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {probabilistic-reasoning;probability-semantics;nonmonotonic-logic;
  	conditioning-methods;}
  }

@inproceedings{ koller_d-pfeffer:1997a,
  author = {Daphne Koller and Avi Pfeffer},
  title = {Object-Oriented Bayesian Networks},
  booktitle = {Proceedings of the Thirteenth Conference on
		Uncertainty in Artificial Intelligence (UAI-97)},
  year = {1997},
  pages = {302--313},
  missinginfo = {editor, publisher, address},
  rtnote = {In RHT collection.},
  topic = {temporal-reasoning;probabilistic-reasoning;}
  }

@article{ koller_d-pfeffer:1997b,
  author = {Daphne Koller and Avi Pfeffer},
  title = {Representations and Solutions for Game-Theoretic Problems},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {94},
  number = {1--2},
  pages = {167--215},
  topic = {game-theory;distributed-systems;}
  }

@book{ kolmogorov:1933a1,
  author = {A.N. Kolmogorov},
  title = {Grundlagen der {W}ahrscheinlichkeitsrechnung},
  publisher = {Springer-Verlag},
  year = {1933},
  address = {Berlin},
  missinginfo = {A's 1st name.},
  xref = {See kolmogorov:1933a2 for translation.},
  topic = {foundations-of-probability;}
 }

@book{ kolmogorov:1956a2,
  author = {A.N. Kolmogorov},
  title = {Foundations of the Theory of Probability},
  publisher = {Chelsea},
  year = {1956},
  address = {New York},
  missinginfo = {A's 1st name.},
  xref = {Original publication: kolmogorov:1933a1.},
  topic = {foundations-of-probability;}
 }

@inproceedings{ kolzer:1999a,
  author = {Anke K\"olzer},
  title = {Universal Dialogue Specification for Conversational
  		Systems},
  booktitle = {Proceedings of the {IJCAI}-99 Workshop on
  	Knowledge and Reasoning in Practical Dialogue Systems},
  year = {1999},
  editor = {Jan Alexandersson},
  pages = {65--72},
  organization = {IJCAI},
  publisher = {International Joint Conference on Artificial Intelligence},
  address = {Murray Hill, New Jersey},
  topic = {computational-dialogue;spoken-dialogue-systems;}
  }

@article{ komagata:2003a,
  author = {Nobo Komagata},
  title = {Information Structure in Subordinate and Subordinate-Like
  	Clauses},
  journal = {Journal of Logic, Language, and Information},
  year = {2003},
  volume = {12},
  number = {3},
  pages = {301--318},
  topic = {information-structure;subordinate-clauses;}
  }

@article{ komarova-niyogi:2004a,
  author = {Natalia Komarova and Partha Niyogi},
  title = {Optimizing the Mutual Intelligibility of Linguistic
  	Agents in a Shared World},
  journal = {Artificial Intelligence},
  year = {2004},
  volume = {154},
  number = {1--2},
  pages = {1--42},
  topic = {multiagent-systems;game-theory;communication-models;}
  }

@incollection{ komatsu:2000a,
  author = {Hisashi Komatsu},
  title = {Belief and the Epistemic Channel},
  booktitle = {Logic, Language, and Computation, Volume 3},
  publisher = {CSLI Publications},
  year = {2000},
  editor = {Lawrence Cavedon and Patrick Blackburn and Nick Braisby
  	and Atushi Shimojina},
  pages = {201--216},
  address = {Stanford, California},
  topic = {belief;situation-theory;}
  }

@inproceedings{ komogata:2003a,
  author = {Nobo Komogata},
  title = {Contextual Effects on Word Order: Information
    		Structure and Information Theory},
  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 = {190--203},
  address = {Berlin},
  topic = {context;s-topic;information-theory;}
  }

@article{ konagata:2003a,
  author = {Nobo Konagata},
  title = {Information Structure in Subordinate and Subordination-Like
  	Clauses},
  journal = {Journal of Logic, Language, and Information},
  year = {2003},
  volume = {12},
  number = {3},
  pages = {301--318},
  topic = {information-structure;subordinate-clauses;}
  }

@article{ kondo:1989a,
  author = {Michiro Kondo},
  title = {{A1} is Not a Conservative Extension of {S4} but of
		{S5}},
  journal = {Journal of Philosophical Logic},
  year = {1989},
  volume = {18},
  number = {3},
  pages = {321--323},
  topic = {modal-logic;}
  }

@article{ kondrak:2001a,
  author = {Grzegorz Kondrak},
  title = {Review of \emph{{T}he Significance of Word Lists}, by
  	{B}rett {K}essler},
  journal = {Computational Linguistics},
  year = {2001},
  volume = {27},
  number = {4},
  pages = {588--591},
  xref = {Review of: kessler:2001a.},
  topic = {computational-historical-linguistics;}
  }

@article{ kondrak-vanbeek:1997a,
  author = {Grzegorz Kondrak and Peter {van Beek}},
  title = {A Theoretical Evaluation of Selected Backtracking
  	Algorithms},
  journal = {Artificial Intelligence},
  year = {1989},
  volume = {89},
  number = {1--2},
  pages = {365--387},
  topic = {constraint-satisfaction;AI-algorithms-analysis;backtracking;}
  }

@inproceedings{ konieczny:2000a,
  author = {S\'ebastian Konieczny},
  title = {On the Difference between Merging Knowledge Bases and
  	Combining Them},
  booktitle = {{KR}2000: Principles of Knowledge Representation and
  	Reasoning},
  year = {2000},
  editor = {Anthony G. Cohn and Fausto Giunchiglia and Bart Selman},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  pages = {135--144},
  topic = {knowledge-integration;}
  }

@incollection{ konieczny-etal:2002a,
  author = {S\'ebastien Konieczny and J\'erome Lang and Pierre Marquis},
  title = {Distance-Based Merging: A General Framework and Some
  	Complexity Results},
  booktitle = {{KR2002}: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {2002},
  editor = {Dieter Fensel and Fausto Giunchiglia and Deborah
  	L. McGuinness and Mary-Anne Williams},
  pages = {97--108},
  address = {San Francisco, California},
  topic = {kr;complexity-in-AI;knowledge-integration;}
  }

@article{ konieczny-etal:2004a,
  author = {S\'ebastian Konieczny and J\'erome Lang and Pierre Marquis},
  title = {{DA}$^2$ Merging Operators},
  journal = {Artificial Intelligence},
  year = {2004},
  volume = {157},
  number = {1--2},
  pages = {49--79},
  topic = {complexity-in-AI;knowledge-integration;}
  }

@incollection{ konieczny-pinoperez:1998a,
  author = {S\'ebastian Konieczny and Ram\'on Pino-P\'erez},
  title = {On the Logic of Merging},
  booktitle = {{KR}'98: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1998},
  editor = {Anthony G. Cohn and Lenhart Schubert and Stuart C.
		Shapiro},
  pages = {488--498},
  address = {San Francisco, California},
  topic = {kr;social-choice-theory;belief-revision;kr-course;}
  }

@incollection{ konieczny-pinopirez:2002a,
  author = {S\'ebastien Konieczny and Ram\'on Pino Pirez},
  title = {On the Frontier between Arbitration and Majority},
  booktitle = {{KR2002}: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {2002},
  editor = {Dieter Fensel and Fausto Giunchiglia and Deborah
  	L. McGuinness and Mary-Anne Williams},
  pages = {109--118},
  address = {San Francisco, California},
  topic = {kr;complexity-in-AI;knowledge-integration;}
  }

@article{ konig_e1:1977a,
  author = {Ekkehard K\"onig},
  title = {Temporal and Non-Temporal Uses of `Noch' and `Schon'
  	in {G}erman},
  journal = {Linguistics and Philosophy},
  year = {1977},
  volume = {1},
  number = {2},
  pages = {173--198},
  topic = {still;already;German-language;}
  }

@incollection{ konig_e1:1979a,
  author = {Ekkehard K\"onig},
  title = {A Semantic Analysis of German `Erst'\, },
  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 = {148--160},
  topic = {nl-semantics;`only';}
  }

@incollection{ konig_e1:1981a,
  author = {Ekkehard K\"onig},
  title = {The Meaning of Scalar Particles in {G}erman},
  booktitle = {Words, Worlds, and Contexts: New Approaches to Word
  	Semantics},
  publisher = {Walter de Gruyter},
  year = {1981},
  editor = {Hans-J\"urgen Eikmeyer and Hannes Rieser},
  pages = {107--132},
  address = {Berlin},
  topic = {nl-semantics;degree-modifiers;German-language;}
 }

@incollection{ konig_e1:1986a,
  author = {Ekkehard K\"onig},
  title = {Conditionals, Concessive Conditionals
    		and Concessives: Areas of Contrast, Overlap,
		and Neutralization},
  booktitle = {On Conditionals},
  publisher = {Cambridge University Press},
  year = {1986},
  editor = {Elizabeth Traugott and Alice {ter Meulen} and Judy Reilly},
  pages = {229--246},
  address = {Cambridge, England},
  topic = {concessive-conditionals;conditionals;}
  }

@article{ konig_e2-mengel:2000a,
  author = {Esther K\"onig and Andreas Mengel},
  title = {Review of \emph{Linguistic Databases},
		edited by {J}ohn {N}erbonne},
  journal = {Journal of Logic, Language, and Information},
  year = {2000},
  volume = {9},
  number = {4},
  pages = {513--517},
  xref = {Review of nerbonne:1997a.},
  topic = {linguistic-databases;corpus-linguistics;
  	computer-assisted-science;computer-assisted-linguistics;}
  }

@article{ konig_s-etal:2003a,
  author = {Sven Konig and Craig Towey and Yuri Smirnov},
  title = {Performance Bounds for Planning in Unknown Terrain},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {147},
  number = {1--2},
  pages = {253--279},
  topic = {motion-planning;reasoning-about-uncertainty;}
  }

@techreport{ konolige:1983a,
  author = {Kurt Konolige},
  title = {A Deductive Model of Belief},
  institution = {AI Center, SRI International},
  number = {Technical Note 294},
  year = {1983},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {epistemic-logic;hyperintensionality;belief;}
  }

@inproceedings{ konolige:1986a,
  author = {Kurt Konolige},
  title = {What Awareness Isn't: A Sentential View of Implicit and
  	Explicit Belief},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
  	Proceedings of the First Conference},
  year = {1986},
  editor = {Joseph Y. Halpern},
  pages = {241--250},
  publisher = {Morgan Kaufmann Publishers, Inc.},
  address = {Los Altos, California},
  topic = {hyperintensionality;epistemic-logic;belief;}
  }

@book{ konolige:1986b,
  author = {Kurt Konolige},
  title = {A Deduction Model of Belief},
  publisher = {Morgan Kaufmann},
  year = {1986},
  address = {Los Altos, California},
  ISBN = {0934613087},
  rtnote = {Media Union Library QA9.46 .K661 1986},
  topic = {epistemic-logic;hyperintensionality;belief;}
 }

@article{ konolige:1988a1,
  author = {Kurt Konolige},
  title = {On the Relation Between Default and Autoepistemic Logic},
  journal = {Artificial Intelligence},
  year = {1988},
  volume = {35},
  number = {3},
  pages = {343--382},
  note = {(See also erratum, Artificial Intelligence {\bf 41}(1): 115.)},
  xref = {Republication: konolige:1988a2.  Erratum: konolige:1990d.},
  topic = {kr;nonmonotonic-logic;autoepistemic-logic;default-logic;kr-course;}
 }

@incollection{ konolige:1988a2,
  author = {Kurt Konolige},
  title = {On the Relation Between Default and
         Autoepistemic Logic},
  booktitle = {Readings in Nonmonotonic Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1987},
  editor = {Matthew L. Ginsberg},
  pages = {195--226},
  address = {Los Altos, California},
  xref = {Journal Publication: konolige:1990a1.},
  topic = {kr;nonmonotonic-logic;autoepistemic-logic;default-logic;kr-course;}
  }

@inproceedings{ konolige:1988b,
  author = {Kurt Konolige},
  title = {Hierarchic Autoepistemic Logic for Nonmonotonic Reasoning},
  booktitle = {Proceedings of the Seventh National Conference on
              Artificial Intelligence},
  year = {1988},
  editor = {Reid Smith and Tom Mitchell},
  pages = {439--443},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, CA},
  rtnote = {In RHT collection.},
  topic = {kr;nonmonotonic-logic;autoepistemic-logic;kr-course;}
  }

@article{ konolige:1989a,
  author = {Kurt Konolige},
  title = {Quantification in Autoepistemic Logic},
  journal = {Fundamenta Informaticae},
  year = {1991},
  volume = {15},
  number = {3--4},
  pages = {275--300},
  rtnote = {This volume in RHT collection.},
  topic = {autoepistemic-logic;}
 }

@unpublished{ konolige:1990a,
  author = {Kurt Konolige},
  title = {Intention, Commitment and Preference},
  year = {1999},
  note = {Unpublished manuscript, SRI International},
  rtnote = {In RHT collection.},
  topic = {intention;qualitative-utility;preference;commitment;}
  }

@inproceedings{ konolige:1990b,
  author = {Kurt Konolige},
  title = {A General Theory of Abduction},
  booktitle = {Working Notes, {AAAI} Spring Symposium on Automated
  	Deduction},
  year = {1990},
  editor = {P. O'Rorke},
  pages = {62--66},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  missinginfo = {E's 1st name},
  topic = {abduction;}
  }

@inproceedings{ konolige:1990c,
  author = {Kurt Konolige},
  title = {Explanatory Belief Ascription},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
    Proceedings of the Third Conference ({TARK} 1990)},
  year = {1990},
  editor = {Rohit Parikh},
  pages = {85--96},
  publisher = {Morgan Kaufmann},
  address = {Los Altos, California},
  topic = {propositional-attitudes;propositional-attitude-ascription;}
  }

@article{ konolige:1990d,
  author = {Kurt Konolige},
  title = {On the Relation between Default Theories and Autoepistemic
             Logic (Erratum)},
  journal = {Artificial Intelligence},
  volume = {41},
  number = {1},
  year = {1990},
  pages = {115},
  topic = {nonmonotonic-logic;nonmonotonic-reasoning;}
    }

@incollection{ konolige:1992a,
  author = {Kurt Konolige},
  title = {Using Default and Causal Reasoning in Diagnosis},
  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 = {509--520},
  address = {San Mateo, California},
  topic = {kr;nonmonotonic-reasoning;causality;diagnosis;kr-course;}
  }

@article{ konolige:1992b,
  author = {Kurt Konolige},
  title = {Abduction Versus Closure in Causal Theories},
  journal = {Artificial Intelligence},
  year = {1992},
  volume = {53},
  number = {2--3},
  pages = {255--272},
  topic = {abduction;diagnosis;}
  }

@incollection{ konolige:1994a,
  author = {Kurt Konolige},
  title = {Easy to be Hard: Difficult Problems for Greedy Algorithms},
  booktitle = {{KR}'94: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
  pages = {374--378},
  address = {San Francisco, California},
  topic = {kr;complexity-in-AI;kr-course;}
  }

@incollection{ konolige:1994b,
  author = {Kurt Konolige},
  title = {Autoepistemic Logic},
  booktitle = {Handbook of Logic in Artificial Intelligence
   	         and Logic Programming, Volume 3: Nonmonotonic
		 Reasoning and Uncertain Reasoning},
  publisher = {Oxford University Press},
  year = {1994},
  editor = {Dov Gabbay and Christopher J. Hogger and J. A. Robinson},
  pages = {217--295},
  address = {Oxford},
  topic = {default-logic;nonmonotonic-logic;}
  }

@incollection{ konolige:1996a,
  author = {Kurt Konolige},
  title = {Elements of Uncertain Reasoning},
  booktitle = {Philosophy and Cognitive Science},
  publisher = {Kluwer Academic Publishers},
  year = {1996},
  editor = {Andy Clark and Jes\'us Ezquerro and Jes\'us M. Larrazabal},
  address = {Dordrecht},
  missinginfo = {pages},
  topic = {uncertainty-in-AI;}
  }

@incollection{ konolige:1996b,
  author = {Kurt Konolige},
  title = {Abductive Theories in Artificial Intelligence},
  booktitle = {Principles of Knowledge Representation},
  publisher = {{CSLI} Publications},
  year = {1996},
  editor = {Gerhard Brewka},
  pages = {129--152},
  address = {Stanford, California},
  topic = {abduction;}
  }

@book{ konolige-etal:1996a,
  author = {Kurt Konolige and Gerd Brewka and J\"urgen Dix},
  title = {A Tutorial on Nonmonotonic Reasoning},
  publisher = {Cambridge University Press},
  year = {1996},
  address = {Cambridge, England},
  rtnote = {In RHT collection.  LL Shelf.},
  topic = {nonmonotonic-reasoning-survey;}
 }

@inproceedings{ konolige-pollack_me:1990a,
  author = {Kurt Konolige and Martha Pollack},
  title = {A Representationalist Theory of Intention},
  year = {1993},
  booktitle = {Proceedings of the Thirteenth International Joint
  	Conference on Artificial Intelligence},
  editor = {Ruzena Bajcsy},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  missinginfo = {pages},
  topic = {intention;}
  }

@inproceedings{ konolige-pollack_me:1993a,
  author = {Kurt Konolige and Martha Pollack},
  title = {A Representationalist Theory of Intention},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Ruzena Bajcsy},
  pages = {390--395},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  topic = {intention;agent-modeling;}
  }

@phdthesis{ konrad:2000a,
  author = {Karsten Konrad},
  title = {Model Generation for Natural Language Interpretation
          and Analysis},
  school = {Universit\"at des Saarlandes},
  year = {2000},
  rtnote = {In RHT collection.},
  note = {Available at http://www.ags.uni-sb.de/\user{}konrad.},
  topic = {model-checking;}
  }

@article{ kontchakov-etal:2004a,
  author = {Roman Kontchakov and Carsten Lutz and Frank Wolter and
  		Michael Zakharyaschev},
  title = {Temporalizing Tableaux},
  journal = {Studia Logica},
  year = {2004},
  volume = {76},
  number = {1},
  pages = {91--134},
  topic = {tense-logic;proof-theory;}
  }

@article{ kontchakov-etal:2005a,
  author = {Roman Kontchakov and Agi Kuruca and Michael Zakharyaschev},
  title = {Undecidability of First-Order Intuitionistic and Modal
  		Logics with Two Variables},
  journal = {The Bulletin of Symbolic Logic},
  year = {2005},
  volume = {11},
  number = {3},
  pages = {428--438},
  topic = {modal-logic;subtheories-of-FOL;(un)decidability;}
  }

@article{ kontinen-szymanik:2008a,
  author = {Juha Kontinen and Jakub Szymanik},
  title = {A Remark on Collective Quantification},
  journal = {Journal of Logic, Language, and Information},
  year = {2008},
  volume = {18},
  number = {2},
  pages = {131--140},
  topic = {nl-quantification;plural;nl-semantic-types;}
  }

@article{ kooi:2003a,
  author = {Barteld P. Kooi},
  title = {Probabilistic Dynamic Epistemic Logic},
  journal = {Journal of Logic, Language, and Information},
  year = {2003},
  volume = {12},
  number = {4},
  pages = {381--408},
  topic = {dynamic-logic;epistemic-logic;probability-semantics;}
  }

@article{ kooi-tamminga:2008a,
  author = {Barteld Kooi and Allard Tamminga},
  title = {Moral Conflicts between Groups of Agents},
  journal = {Journal of Philosophical Logic},
  year = {2008},
  volume = {37},
  number = {1},
  pages = {1--21},
  topic = {multiagent-deontic-logic;moral-conflict;prisoner's-dilemma;}
  }

@book{ kooij:1971a,
  author = {J.G. Kooij},
  title = {Ambiguity in Natural Language: An Investigation
  	of Certain Problems in Its Description},
  publisher = {North-Holland Publishing Co.},
  year = {1971},
  address = {Amsterdam},
  xref = {Review: nilsen:1973a.},
  topic = {ambiguity;}
 }

@incollection{ kool-etal:2000a,
  author = {Anne Kool and Walter Daelemans and Jakub Zavrel},
  title = {Genetic Algorithms for Feature Relevance Assignment in
  	Memory-Based Language Processing},
  booktitle = {Proceedings of the Fourth Conference on Computational
  	Natural Language Learning and of the Second Learning Language
	in Logic Workshop, {L}isbon, 20

repository: sergiud/bibtex-spirit

repo_name: sergiud/bibtex-spirit