text:
;}
  }

@inproceedings{ krishnaprasad-kifer:1988a,
  author = {Thirunarayan Krishnaprasad and Michael Kifer},
  title = {An Evidence-Based Framework for a Theory of Inheritance},
  booktitle = {Proceedings of the Eleventh International Joint
  	Conference on Artificial Intelligence},
  year = {1989},
  editor = {N.S. Sridharan},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, CA},
  missinginfo = {pages},
  rtnote = {In RHT collection.},
  topic = {inheritance-theory;}
  }

@inproceedings{ krishnaprasad-kifer:1989b,
  author = {Thirunarayan Krishnaprasad and Michael Kifer},
  title = {An Evidence Based Theory of Inheritance},
  booktitle = {Proceedings of the Eleventh International Joint
  	Conference on Artificial Intelligence},
  year = {1989},
  editor = {N.S. Sridharan},
  pages = {1093--1098},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, CA},
  topic = {inheritance-theory;}
  }

@inproceedings{ krishnaprasad-warren_ds:1988a,
  author = {Thirunarayan Krishnaprasad and David S. Warren},
  title = {An Evidence-Based Framework for a Theory of Inheritance},
  booktitle = {Proceedings of the Eleventh International Joint
  	Conference on Artificial Intelligence},
  year = {1989},
  editor = {N.S. Sridharan},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, CA},
  missinginfo = {pages},
  rtnote = {In RHT collection.},
  topic = {inheritance-theory;}
  }

@book{ kroch:1975a,
  author = {Anthony Kroch},
  title = {The Semantics of Scope in {E}nglish},
  publisher = {Indiana University Linguistics Club},
  year = {1982},
  address = {310 Lindley Hall, Bloomington, Indiana},
  rtnote = {In RHT collection.},
  topic = {nl-quantifier-scope;nl-semantics;}
 }

@techreport{ krock-joshi_ak:1985a,
  author = {Anthony Krock and Arivind Joshi},
  title = {The Linguistic Rlevance of Tree Adjoining Grammar},
  institution = {Department of Computer and Information Science,
  		University of Pennsylvania},
  number = {MS--CIS--85--16},
  year = {1985},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {TAG-grammar;}
  }

@book{ kroger-metz:2008a,
  author = {Fred Kr\"oger and Stephan Metz},
  title = {Temporal Logic and State Systems},
  publisher = {Springer-Verlag},
  year = {2008},
  address = {Berlin},
  ISBN = {978-3-540-67401-6},
  xref = {Review: goranko:2010a},
  topic = {temporal-logic;state-transition-systems;}
 }

@inproceedings{ krogh:1999a,
  author = {Christen Krogh},
  title = {Abstract: On the Role of Action Logics and
  	Deontic Logics in Specifying Protocols},
  booktitle = {Proceedings of the {IJCAI}-99 Workshop on
  	Practical Reasoning and Rationality},
  year = {1999},
  editor = {John Bell},
  pages = {28--29},
  organization = {IJCAI},
  publisher = {International Joint Conference on Artificial Intelligence},
  address = {Murray Hill, New Jersey},
  topic = {deontic-logic;action-formalisms;}
  }

@incollection{ krogh-jones_a:1998a,
  author = {Cristen Krogh and A. Jones},
  title = {Protocol Breaches and Violation Flaws},
  booktitle = {Norms, Logics and Information Systems.  New Studies in
		Deontic Logic and Computer Science},
  publisher = {IOS Press},
  year = {1998},
  editor = {Henry Prakken and Paul McNamara},
  pages = {265--274},
  address = {Amsterdam},
  topic = {deontic-logic;prima-facie-obligation;}
  }

@article{ kroll:2008a,
  author = {Nicky Kroll},
  title = {On Bishops and Donkeys},
  journal = {Natural Language Semantics},
  year = {2008},
  volume = {16},
  number = {4},
  pages = {359--372},
  topic = {donkey-anaphora;}
  }

@inproceedings{ kronfeld:1986a,
  author = {Amicai Kronfeld},
  title = {Donnellan's Distinction and a Computational
  	Model of Reference},
  booktitle = {Proceedings of the 24th Meeting of the Association for
  	Computational Linguistics},
  year = {1986},
  editor = {Alan W. Biermann},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Morristown, New Jersey},
  missinginfo = {pages},
  topic = {reference;definite-descriptions;referring-expressions;
  	pragmatics;}
 }

@book{ kronfeld:1990a,
  author = {Amicai Kronfeld},
  title = {Reference and Computation: An Essay in Applied Philosophy
  	of Language},
  publisher = {Cambridge University Press},
  series = {Studies in Natural Language Processing},
  year = {1990},
  address = {Cambridge, England},
  rtnote = {Copy of 1-3 in RHT collection.},
  topic = {reference;nl-interpretation;nl-generation;}
 }

@incollection{ kronz:2000a,
  author = {Frederick M. Kronz},
  title = {Chaos in a Model of an Open Quantum System},
  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 = {S446--S453},
  address = {Newark, Delaware},
  topic = {quantum-chaos;}
  }

@article{ kronz:2007a,
  author = {Fred Kronz},
  title = {Non-Monotonic Probability Theory and Photon Polarization},
  journal = {Journal of Philosophical Logic},
  year = {2007},
  volume = {36},
  number = {4},
  pages = {449--472},
  topic = {foundations-of-probability;foundations-of-quantum-mechanics;}
  }

@article{ kroon:1980a,
  author = {Frederick W. Kroon},
  title = {Review of \emph{{A}dvanced Logic for Applications}, by
  	{R}ichard {E}. {G}randy},
  journal = {Linguistics and Philosophy},
  year = {1980},
  volume = {3},
  number = {3},
  pages = {415--418},
  xref = {Review of grandy_re:1977b.},
  topic = {logic-intro;}
  }

@article{ kroon:1999a,
  author = {Frederick W. Kroon},
  title = {Review of \emph{{A}n Introduction to Philosophical Logic},
  	by {A}.{C}. {G}rayling},
  journal = {Studia Logica},
  year = {1999},
  volume = {63},
  number = {1},
  pages = {445--448},
  xref = {Review of: grayling:1999a.},
  topic = {philosophical-logic;}
  }

@article{ kroon:2000a,
  author = {Frederick W. Kroon},
  title = {Review of \emph{{D}efinite Descriptions: A Reader}, by
  	{G}ary {O}stering},
  journal = {Studia Logica},
  year = {2000},
  volume = {65},
  number = {3},
  pages = {435--439},
  xref = {Review of: ostering:1998a.},
  topic = {definite-descriptions;}
  }

@article{ kroon:2004a,
  author = {Frederick Kroon},
  title = {Descriptivism, Pretense, and the {F}rege-{R}ussell Problem},
  journal = {The Philosophical Review},
  year = {2004},
  volume = {113},
  number = {1},
  pages = {1--30},
  topic = {proper-names;descriptions;philosophy-of-language;}
  }

@article{ kroon:2009a,
  author = {Frederick Kroon},
  title = {Existence in the Theory of Definite Descriptions},
  journal = {The Journal of Philosophy},
  year = {2009},
  volume = {106},
  number = {7},
  pages = {365--389},
  topic = {definite-descriptions;}
  }

@inproceedings{ krovetz:1997a,
  author = {Robert Krovetz},
  title = {Homonymy and Polysemy in Information Retrieval},
  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 = {72--79},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  topic = {nl-polysemy;information-retrieval;}
 }

@article{ krovetz:2000a,
  author = {Robert Krovetz},
  title = {Viewing Morphology as an Inference Process},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {118},
  number = {1--2},
  pages = {277--294},
  acontentnote = {Abstract:
     Morphology is the area of linguistics concerned with the
     internal structure of words. Information retrieval has generally
     not paid much attention to word structure, other than to account
     for some of the variability in word forms via the use of
     stemmers. We report on our experiments to determine the
     importance of morphology, and the effect that it has on
     performance.  We found that grouping morphological variants
     makes a significant improvement in retrieval performance.
     Improvements are seen by grouping inflectional as well as
     derivational variants. We also found that performance was
     enhanced by recognizing lexical phrases. We describe the
     interaction between morphology and lexical ambiguity, and how
     resolving that ambiguity will lead to further improvements in
     performance.
       },
       topic = {information-retrieval;lexical-semantics;disambiguation;}
       }

@book{ kruglanski:1989a,
  author = {Arie W. Kruglanski},
  title = {Lay Epistemics and Human Knowledge: Cognitive and
  	Motivational Bases},
  publisher = {Plenum Press},
  year = {1989},
  address = {New York},
  ISBN = {0306430789},
  rtnote = {UMich Graduate Library, BF 323 .S63 K781 1989.},
  topic = {social-psychology;}
 }

@article{ kruiffkorbayova-steedman:2003a,
  author = {Ivana Kruiff-Korbayova and Mark Steedman},
  title = {Discourse and Information Structure},
  journal = {Journal of Logic, Language, and Information},
  year = {2003},
  volume = {12},
  number = {3},
  pages = {249--259},
  note = {Introduction to a special issue on discourse and
  	information structure},
  topic = {discourse;discourse-structure;information-structure;}
  }

@article{ kruijff:1998a,
  author = {Geert-Jan M. Kruijff},
  title = {Review of \emph{Labelled Deductive Systems},
		by {D}ov {M}. {G}abbay},
  journal = {Journal of Logic, Language, and Information},
  year = {1998},
  volume = {7},
  number = {4},
  pages = {502--506},
  topic = {labeled-deductive-systems;}
  }

@article{ kruijffkorbayova:2000a,
  author = {Ivanna Kruijff-Korbayov\'a},
  title = {Review of \emph{The Syntactic Phenomena of {E}nglish},
		by {J}ames {D}. {M}c{C}awley},
  journal = {Journal of Logic, Language, and Information},
  year = {2000},
  volume = {10},
  number = {2},
  pages = {263--266},
  xref = {Review of: mccawley:1998a.},
  topic = {nl-syntax;English-language;}
  }

@incollection{ kruijffkorbayova-etal:2002a,
  author = {Ivana Kruijff-Korbayov\'a and Elena Karagjosova and
    		Staffan Larsson},
  title = {Enhancing Collaboration with Conditional Responses in
  	Information-Seeking Dialogues},
  booktitle = {{EDILOG} 2002: Proceedings of the Sixth Workshop on the
  	Semantics and Pragmatics of Dialogue},
  publisher = {Cognitive Science Centre, University of Edinburgh},
  year = {2002},
  editor = {Johan Bos and Mary Ellen Foster and Colin Mathesin},
  pages = {93--100},
  address = {Edinburgh},
  contentnote = {This is a SIRIDUS paper.  Conditional responses are
  	things like "No if you want to fly economy."},
  topic = {computational-dialogue;cooperation;}
  }

@book{ kruijffkorbayova-kosny:2003a,
  editor = {Ivana Kruijff-Korbayov\'a and Claudia Kosny},
  title = {Diabruck 2003: Proceedings of the 7th Workshop on the
  	Semantics and Pragmatics of Dialogue},
  publisher = {Universit\"at des Saarlandes},
  year = {2003},
  address = {Saarbr\"ucken},
  contentnote = {TC:
     1. Nicholas Asher, "Bias, Tone, and Questions in Dialogue"
     		(Abstract), p. 1
     2. Andreas Herzig, "Beliefs, Intentions, Actions, and Speech
     		Acts" (Abstract), p. 3
     3. Martin Pickering, "Investigating the Interactive-Alignment
     		Model of Dialogue" (Abstract), p. 5
     4. Johan Boye and Mats Wir\'en, "Negotiative Spoken-Dialogue
     		Interfaces to Databases", pp. 7--14
     5. Sarah Brown-Schmidt and Michael M. Tanenhaus, "Referential
     		Domains and the Interpretation of Referring Expressions
		in Interactive Conversation", pp. 15--20
     6. Marina Castagneto and Giacomo Ferrari, "Influence of Regional
     		Features on Map Task Dialogues", pp. 21--26
     7. Francis Corblin, "Presuppositions of Commitment
     		Stores", pp. 27--34
     8. Gunther G\"orz and Alexander Huber and Bernd Ludwig and Peter
     		Reiss, "Combining the Practical Syllogism and Planning
		in Dialogue", pp. 35--42
     9. Joris Hulstijn, "Roles in Dialogue", pp. 43--50
    10. Rodger Kibble, "Towards the Elimination of Centering
    		Theory", pp. 51--58
    11. J\"orn Kreutel and William Mann, "Analyzing Bids in Dialogue
    		Macrogame Theory using Discourse Obligations", pp. 59--66
    12. Fr\'ed\'eric Landragin and Laurent Romary, "Referring to Objects
    		through Sub-Contexts in Multimodal Human-Computer
		Interaction", pp. 67--74
    13. Staffan Larsson, "Interactive Communication Management in an
    		Issue-Based Dialogue System", pp. 75--82
    14. Henk-Jan Lebbink and Cilia Witteman and John-Jules Meyer, "A
    		Dialogue to Agree to Disagree about Inconsistent
		Information", pp. 83--90
    15. Emar Maier and Rob van der Sandt, "Denial and Correction in
    		Layered {DRT}", pp. 91--98
    16. Philippe Muller and Laurent Pr\'evot, "An Empirical Study of
    		Acknowledgement Structures", pp. 99--106
    17. Norbert Pfleger and Ralf Engel and Jan Alexandersson, "Robust
    		Multimodal Discourse Processing", pp. 107--114
    18. Matthew Purver and Raquel Fernandez, "Utterances as Update
    		Instructions", pp. 115--122
    19. Candace L. Sidner and Christopher Lee and Neal Lash, "Engagement
    		by Looking: Behaviors for Robots When Collaborating
		with People", pp. 123--130
    20. Matthew Stone and Richmond Thomason, "Coordinating Understanding
    		and Generation in an Abductive Approach to
		Interpretation", pp. 131--138
    21. Kavita Thomas and Colin Matheson, "Modelling Concession across
    		Speakers in Task-Oriented Dialogues", pp. 139--146
    22. Katsuhiko Yabushita, "Topicality in the Semantics and Pragmatics
    		of Questions and Answers, Evidence for a File-Like
		Structure of Information States", pp. 147--154
    23. Henk Zeevat, "The Syntax Semantics Interface of Speech Act
    		Markers", pp. 155--161
  },
 topic = {computational-dialogue;}
  }

@article{ kruijffkorbayova-steedman:2003a,
  author = {Ivana Kruijff-Korbayov\'a and Mark Steedman},
  title = {Discourse and Information Structure},
  journal = {Journal of Logic, Language, and Information},
  year = {2003},
  volume = {12},
  number = {3},
  pages = {249--259},
  topic = {information-structure;}
  }

@book{ krulee:1987a,
  author = {Gilbert K. Krulee},
  title = {Two-Level Processing of Natural Language},
  publisher = {Indiana University Linguistics Club},
  year = {1987},
  address = {Bloomington, Indiana},
  ISBN = {0127472207},
  rtnote = {UMich Graduate Library, P 98 .L74 1987},
  topic = {two-level-morphology;two-level-phonology;}
 }

@book{ kruse-etal:1991a,
  author = {Rudolf Kruse and Erhard Schwecke and Jochen Heinsohn},
  title = {Uncertainty and Vagueness in Knowledge Based Systems:
                   Numerical Methods},
  publisher = {Springer-Verlag},
  year = {1991},
  address = {Berlin},
  rtnote = {COMPUTER SCI LIB  Q335 K75 1991},
  topic = {reasoning-about-uncertainty;vagueness;fuzzy-logic;
  	probability;Dempster-Shafer-theory;}
 }

@incollection{ kruse-etal:1991b,
  author = {Rudolf Kruse and J. Gebhardt and F. Klawonn},
  title = {Reasoning with Mass Distributions and the Context Model},
  booktitle = {Symbolic and Quantitative Approaches for Uncertainty:
  	Proceedings of the {E}uropean Conference {ECSQAU}, Marseille,
	France, October 1991},
  publisher = {Springer-Verlag},
  year = {1991},
  editor = {Rudolf Kruse and Pierre Siegel},
  pages = {81--85},
  address = {Berlin},
  topic = {vagueness;probability;}
  }

@book{ kruse-siegel_p:1991a,
  editor = {Rudolf Kruse and Pierre Siegel},
  title = {Symbolic and Quantitative Approaches for Uncertainty:
  	Proceedings of the {E}uropean Conference {ECSQAU}, Marseille,
	France, October 1991},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  number = {548},
  year = {1991},
  address = {Berlin},
  topic = {uncertainty-in-AI;reasoning-about-uncertainty;}
 }

@incollection{ krymolowski-roth_d:1998a,
  author = {Yuval Krymolowski and Dan Roth},
  title = {Incorporating Knowledge in Natural Language Learning: A
  	Case Study},
  booktitle = {Use of {W}ord{N}et in Natural Language Processing
  	Systems:  Proceedings of the Conference},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Sanda Harabagiu},
  pages = {121--127},
  address = {Somerset, New Jersey},
  url = {
  http://www.ai.sri.com/\user{}harabagi/coling-acl98/acl_work/krymolowski.ps.gz},
  topic = {nl-processing;WordNet;machine-language-learning;}
  }

@book{ krynicki:1995b,
  author = {Michal Krynicki},
  title = {Relational Quantifiers},
  publisher = {Polska Akademia Nauk, Instytut Matematyczny},
  year = {1995},
  address = {Warsaw},
  ISBN = {0814725821},
  rtnote = {UMich Graduate Library, HB119.A75 A771 1987.},
  topic = {generalized-quantifiers;}
 }

@book{ krynicki-etal:1995a,
  editor = {Micha{\l} Krynicki and Marcin Mostowski and Les{\l}aw W.
  	Szczerba},
  title = {Quantifiers: Logic, Models, and Computation},
  publisher = {Kluwer Academic Publishers},
  year = {1995},
  address = {Dordrecht},
  volume = {1},
  rtnote = {Hillman QA9.7 Q36 1995.},
  contentnote = {TC:
  	1. Lindstr\"om, "Prologue"
        2. Hans-Dieter Ebbinghaus, "On the Model Theory of Some
           Generalized Quantifiers"
        3. Lauri Hella and Kerkko Luosto, "Finite Generation Problem
           and n-ary Quanfifiers"
        4. Jouko Vaanaen, "Games and Trees in Infinitary Logic: A
           Survey"
        5. Heinrich Herre, "Theory of Linear Order in Extended
           Logics"
        6. Micha{\l} Krynicki and Marcin Mostowski, "Henkin
           Quantifiers"
        7. Xavier Caicedo, "Continuous Operations on Spaces of
           Functions"
        8. J\"org Flum, "Model Theory of Topological Structures"
        9. Johann A. Makowski and Yachan B. Pnuelli, "Computable
           Quantifiers and Logics over Finite Structures"
       10. Dag Westerst{\aa}hl, "Quantifiers in Natural Language: A
	   Survey of Some Recent Work"
	   	},
  ISBN = {0792334507 (set: acid-free paper)},
  rtnote = {UMich Graduate Library, QA 9.7 .Q361 1995.},
  topic = {generalized-quantifiers;}
 }

@incollection{ krynicki-mostowski_m:1995a,
  author = {Micha{\l} Krynicki and Marcin Mostowski},
  title = {Quantifiers, Some Problems and Ideas},
  booktitle = {Quantifiers: Logic, Models, and Computation, Vol. 1},
  publisher = {Kluwer Academic Publishers},
  year = {1995},
  editor = {Micha{\l} Krynicki and Marcin Mostowski and Les{\l}aw W.
  	Szczerba},
  pages = {1--19},
  address = {Dordrecht},
  contentnote = {This is a survey paper.},
  topic = {generalized-quantifiers;}
  }

@incollection{ krynicki-mostowski_m:1995b,
  author = {Micha{\l} Krynicki and Marcin Mostowski},
  title = {Henkin Quantifiers},
  booktitle = {Quantifiers: Logic, Models, and Computation, Vol. 1},
  publisher = {Kluwer Academic Publishers},
  year = {1995},
  editor = {Micha{\l} Krynicki and Marcin Mostowski and Les{\l}aw W.
  	Szczerba},
  pages = {193--262},
  address = {Dordrecht},
  topic = {branching-quantifiers;}
  }

@article{ kshemkalyani:1997a,
  author = {Ajay D. Kshemkalyani},
  title = {Reasoning About Causality between Distributed Nonatomic
  	Events},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {92},
  number = {1--2},
  pages = {301--315},
  acontentnote = {Abstract:
     The complex events in distributed applications such as
     industrial process control, avionics, navigation, planning,
     robotics, diagnostics, virtual reality, and temporal and
     geographic databases, are realistically modeled by nonatomic
     events.  This paper derives and studies causality relations
     between nonatomic distributed events in the execution of a
     complex distributed application. Such causality relations are
     useful because they provide a fine level of discrimination in
     the specification of the relative timing relations and
     synchronization conditions between the nonatomic events. The
     paper then proposes a set of axioms on the proposed causality
     relations.  The set of axioms provides a mechanism for temporal
     and spatial reasoning with the set of relations and can be used
     to derive all possible implications from any valid predicate on
     the proposed relations.
  },
  topic = {causality;distributed-systems;temporal-reasoning;}
  }

@article{ kubat:1991a,
  author = {Miroslav Kubat},
  title = {Conceptual Inductive Learning: The Case of Unreliable
  	Teachers},
  journal = {Artificial Intelligence},
  year = {1991},
  volume = {52},
  number = {2},
  pages = {169--182},
  acontentnote = {Abstract:
     Various algorithms for learning from examples usually suppose
     more or less reliable sources of information. In this paper, we
     study the influence of unreliable information sources on the
     learning process and the recovery possibilities. The problem is
     analyzed within the frame of the rough set theory which seems to
     be a suitable means for treating incomplete and uncertain
     knowledge.  We briefly report on the learning system FLORA which
     is based on this theory.  },
  topic = {machine-learning;unreliable-information-sources;}
  }

@incollection{ kubler:1998a,
  author = {Sandra K\"ubler},
  title = {Learning a Lexicalized Grammar for {G}erman},
  booktitle = {Proceedings of the Joint Conference on New Methods in
  	Language Processing and Computational Language Learning},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {David M.W. Powers},
  pages = {11--18},
  address = {Somerset, New Jersey},
  topic = {machine-language-learning;grammar-learning;German-language;}
  }

@incollection{ kubner:1998a,
  author = {Sandra K\"ubner},
  title = {Learning a Lexiclized Grammar for {G}erman},
  booktitle = {Proceedings of the Joint Conference on New Methods in
  	Language Processing and Computational Natural Language
	Learning: {NeMLaP3/CoNLL98}},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {David M.W. Powers},
  pages = {11--18},
  address = {Somerset, New Jersey},
  topic = {grammar-learning;German-language;}
  }

@incollection{ kuchlin:1998a,
  author = {W. K\"uchlin},
  title = {Introduction (To Part {III}: Parallel Inference Systems},
  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},
  missinginfo = {A's 1st name, pages},
  topic = {theorem-proving;applied-logic;}
  }

@article{ kudlek-etal:2003a,
  author = {Manfred Kudlek and Carlos Martin-Vide and Alexandru
  		Mateescu and Victor Mitrana},
  title = {Contexts and the Concept of Mild Context-Sensitivity},
  journal = {Linguistics and Philosophy},
  year = {2003},
  volume = {26},
  number = {6},
  pages = {703--725},
  topic = {extensions-of-context-free-grammar;}
  }

@inproceedings{ kudo-etal:2005a,
  author = {Taku Kudo and Jun Suzuki and Hideki Isozaki},
  title = {Boosting-based Parse Reranking with Subtree Features},
  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 = {189--196},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1024},
  topic = {syntactic-disambiguation;machine-learning;}
  }

@incollection{ kudo-matsumoto_y2:2000a,
  author = {Taku Kudo and Yuji Matsumoto},
  title = {Japanese Dependency Structure
     		Analysis Based on Support Vector Machines},
  booktitle = {Proceedings of the 2000 Joint {SIGDAT} Conference
  	on Empirical Methods in Natural Language Processing},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  editor = {Hinrich Sch\"utze and Keh-Yih Su},
  pages = {18--25},
  address = {Somerset, New Jersey},
  topic = {Japanese-language;dependency-grammar;corpus-tagging;}
  }

@book{ kueker-etal:1987a,
  editor = {David W.  Kueker and Edgar G.K. Lopez-Escobar and
  	Carl H. Smith},
  title = {Mathematical Logic and Theoretical Computer Science},
  publisher = {M. Dekker},
  year = {1987},
  address = {New York},
  ISBN = {0824777468 (pbk.)},
  rtnote = {UMich Media Union Library, QA9.2 .M351 1987.},
  topic = {logic-in-cs;logic-in-cs-intro;}
 }

@book{ kuhn_d:1991a,
  author = {Deanna Kuhn},
  title = {The Skills of Argument},
  publisher = {Cambridge University Press},
  year = {1991},
  address = {Cambridge, England},
  ISBN = {0521404517 (hardcover), 052142349X (paperback)},
  rtnote = {UMich Graduate Library, BF 442 .K841 1991.},
  rtnote = {In RHT collection.  2 copies.  1: Cogsci Shelves.
  	    2: Philosophy office.},
  topic = {cognitive-psychology;argumentation;deductive-reasoning;}
 }

@article{ kuhn_d:1999a,
  author = {Deanna Kuhn},
  title = {A Developmental Model of Critical Thinking},
  journal = {Educational Researcher},
  year = {1999},
  volume = {28},
  pages = {16--25},
  topic = {cognitive-psychology;}
  }

@article{ kuhn_d:2001a,
  author = {Deanna Kuhn},
  title = {How Do People Know?},
  journal = {Psychological Science},
  year = {2001},
  volume = {12},
  pages = {1--8},
  topic = {cognitive-psychology;}
  }

@book{ kuhn_d:2005a,
  author = {Deanna Kuhn},
  title = {Education for Thinking},
  publisher = {Harvard University Press},
  year = {2000},
  address = {Cambridge, Massachusetts},
  ISBN = {0674019067},
  rtnote = {UMich },
  topic = {educational-psychology;reasoning;}
 }

@book{ kuhn_d:2008a,
  author = {Deanna Kuhn},
  title = {Education for Thinking},
  publisher = {Harvard University Press},
  year = {2008},
  address = {Cambridge, Massachusetts},
  ISBN = {978-0-674-02745-9 (pbk)},
  rtnote = {In RHT collection.  Cogsci Shelves.},
  topic = {cognitive-psychology;argumentation;}
 }

@article{ kuhn_st:1979a,
  author = {Steven T. Kuhn},
  title = {Quantifiers as Modal Operators},
  journal = {Studia Logica},
  year = {1979},
  volume = {39},
  number = {2/3},
  pages = {145--158},
  rtnote = {In RHT collection.},
  topic = {modal-logic;quantifiers;}
  }

@article{ kuhn_st:1989a,
  author = {Steven Kuhn},
  title = {The Domino Relation: Flattening a Two-Dimensional Logic},
  journal = {Journal of Philosophical Logic},
  year = {1989},
  volume = {18},
  number = {2},
  pages = {173--195},
  topic = {modal-logic;}
  }

@book{ kuhn_t:1962a,
  author = {Thomas Kuhn},
  title = {The Structure of Scientific Revolutions},
  publisher = {University of Chicago Press},
  year = {1962},
  address = {Chicago, Illinois},
  topic = {philosophy-of-science;}
 }

@article{ kuipers_bj:1978a,
  author = {Benjamin Kuipers},
  title = {Modeling Spatial Knowledge},
  journal = {Cognitive Science},
  year = {1978},
  volume = {2},
  number = {2},
  pages = {129--154},
  topic = {spatial-reasoning;qualitative-reasoning;}
  }

@article{ kuipers_bj:1984a,
  author = {Benjamin Kuipers},
  title = {Commonsense Reasoning about Causality: Deriving Behavior
  	from Structure},
  journal = {Artificial Intelligence},
  year = {1984},
  volume = {24},
  number = {1--3},
  pages = {169--203},
  topic = {qualitative-models;qualitative-physics;causality;}
  }

@article{ kuipers_bj:1986a1,
  author = {Benjamin Kuipers},
  title = {Qualitative Simulation},
  journal = {Artificial Intelligence},
  year = {1986},
  volume = {29},
  number = {3},
  pages = {289--338},
  xref = {Republication: kuipers_bj:1986a2.},
  topic = {qualitative-models;qualitative-physics;}
  }

@incollection{ kuipers_bj:1986a2,
  author = {Benjamin J. Kuipers},
  title = {Qualitative Simulation},
  booktitle = {Qualitative Reasoning about Physical Systems},
  publisher = {Morgan Kaufmann},
  year = {1990},
  editor = {Daniel S. Weld and Johan de Kleer},
  pages = {236--260},
  address = {San Mateo, California},
  xref = {Republication: kuipers_bj:1986a2.},
  topic = {qualitative-models;qualitative-physics;qualitative-reasoning;}
  }

@inproceedings{ kuipers_bj:1987a1,
  author = {Benjamin Kuipers},
  title = {Abstraction by Time-Scale in Qualitative Simulation},
  booktitle = {Proceedings of the Sixth National Conference on
              Artificial Intelligence},
  year = {1987},
  editor = {Kenneth Forbus and Howard Shrobe},
  pages = {621--625},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, CA},
  xref = {Republication: kuipers:1987a2.},
  topic = {qualitative-reasoning;temporal-reasoning;abstraction;}
  }

@incollection{ kuipers_bj:1987a2,
  author = {Benjamin Kuipers},
  title = {Abstraction by Time-Scale in Qualitative Simulation},
  booktitle = {Qualitative Reasoning about Physical Systems},
  publisher = {Morgan Kaufmann},
  year = {1990},
  editor = {Daniel S. Weld and Johan de Kleer},
  pages = {530--534},
  address = {San Mateo, California},
  xref = {Republication of: kuipers:1987a1.},
  topic = {qualitative-reasoning;temporal-reasoning;abstraction;}
  }

@article{ kuipers_bj:1993a,
  author = {Benjamin Kuipers},
  title = {Reasoning with Qualitative Models},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {59},
  number = {1--2},
  pages = {125--132},
  topic = {qualitative-reasoning;qualitative-methods;}
  }

@article{ kuipers_bj:1993b,
  author = {Benjamin J. Kuipers},
  title = {Qualitative Simulation: Then and Now},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {59},
  number = {1--2},
  pages = {133--140},
  topic = {qualitative-models;qualitative-physics;}
  }

@article{ kuipers_bj:2000a,
  author = {Benjamin J. Kuipers},
  title = {The Spatial Semantic Hierarchy},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {119},
  number = {1--2},
  pages = {191--233},
  acontentnote = {Abstract:
     The Spatial Semantic Hierarchy is a model of knowledge of
     large-scale space consisting of multiple interacting
     representations, both qualitative and quantitative.  The SSH is
     inspired by the properties of the human cognitive map, and is
     intended to serve both as a model of the human cognitive map and
     as a method for robot exploration and map-building.  The multiple
     levels of the SSH express states of partial knowledge, and thus
     enable the human or robotic agent to deal robustly with
     uncertainty during both learning and problem-solving.
     The control level represents useful patterns of sensorimotor
     interaction with the world in the form of trajectory-following
     and hill-climbing control laws leading to locally distinctive
     states.  Local geometric maps in local frames of reference can
     be constructed at the control level to serve as observers for
     control laws in particular neighborhoods.  The causal level
     abstracts continuous behavior among distinctive states into a
     discrete model consisting of states linked by actions.  The
     topological level introduces the external ontology of places,
     paths and regions by abduction to explain the observed pattern
     of states and actions at the causal level.  Quantitative
     knowledge at the control, causal and topological levels supports
     a ``patchwork map'' of local geometric frames of reference linked
     by causal and topological connections.  The patchwork map can be
     merged into a single global frame of reference at the metrical
     level when sufficient information and computational resources
     are available.
     We describe the assumptions and guarantees behind the
     generality of the SSH across environments and sensorimotor
     systems.  Evidence is presented from several partial
     implementations of the SSH on simulated and physical robots.},
  topic = {kr;spatial-reasoning;reasoning-about-space;
  	spatial-representation;qualitative-reasoning;}
  }

@inproceedings{ kuipers_bj-beeson:2002a,
  author = {Benjamin Kuipers and Patrick Beeson},
  title = {Bootstrap Learning for Place Configuration},
  booktitle = {Proceedings of the Eighteenth National Conference on
              Artificial Intelligence},
  year = {2002},
  editor = {Rina Dechter and Michael Kearns and Richard S. Sutton},
  pages = {174--180},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {machine-learning;robotics;}
  }

@inproceedings{ kuipers_bj-chiu_c:1987a1,
  author = {Benjamin J. Kuipers and Charles Chiu},
  title = {Taming Intractible Branching in Qualitative Simulation},
  booktitle = {Proceedings of the Tenth International Joint
  	Conference on Artificial Intelligence},
  year = {1987},
  editor = {John McDermott},
  pages = {1079--1085},
  publisher = {Morgan Kaufmann},
  address = {Los Altos, California},
  xref = {Republication: kuipers-chiu_c:1987a2.},
  topic = {qualitative-physics;qualitative-reasoning;search;}
  }

@incollection{ kuipers_bj-chiu_c:1987a2,
  author = {Benjamin J. Kuipers and Charles Chiu},
  title = {Taming Intractible Branching in Qualitative Simulation},
  booktitle = {Qualitative Reasoning about Physical Systems},
  publisher = {Morgan Kaufmann},
  year = {1990},
  editor = {Daniel S. Weld and Johan de Kleer},
  pages = {261--267},
  address = {San Mateo, California},
  xref = {Republication of: kuipers-chiu_c:1987a1.},
  topic = {qualitative-physics;qualitative-reasoning;search;}
  }

@article{ kuipers_bj-etal:1991a,
  author = {Benjamin J. Kuipers and Charles Chiu and David T. Dalle
  	Molle and D.R. Throop},
  title = {Higher-Order Derivative Constraints in Qualitative
  	Simulation},
  journal = {Artificial Intelligence},
  year = {1991},
  volume = {51},
  number = {1--3},
  pages = {343--379},
  topic = {qualitative-physics;}
  }

@incollection{ kuipers_bj-shultz:1994a,
  author = {Benjamin J. Kuipers and Benjamin Shultz},
  title = {Reasoning in Logic about Continuous Systems},
  booktitle = {{KR}'94: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
  pages = {391--402},
  address = {San Francisco, California},
  topic = {kr;qualitative-physics;reasoning-about-physical-systemsl
  	branching-time;kr-course;reasoning-about-continuous-quantities;
	continuous-systems;}
  }

@phdthesis{ kukich:1983a,
  author = {Karen Kukich},
  title = {Knowledge-Based Report Generation: A Knowledge Engineering
  	Approach to Natural Language Report Generation},
  school = {University of Pittsburgh},
  year = {1983},
  topic = {nl-generation;}
}

@article{ kukich:1988a,
  author = {Karen Kukich},
  title = {Techniques for Automatically Correcting Words in Text},
  journal = {{ACM} Computing Surveys},
  year = {1988},
  volume = {24},
  number = {4},
  pages = {377--439},
  topic = {spelling-correction;}
  }

@incollection{ kukich-etal:1994a,
  author = {Karen Kukich and Kathleen McKeown and James Shaw and
  	Jacques Robin and J. Lim and N. Morgan and J. Phillips},
  title = {User-Needs Analysis and Design Methodology for an
  	Automated Document Generator},
  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 = {109--115},
  address = {Pisa and Dordrecht},
  topic = {nl-generation;HCI;}
  }

@incollection{ kukich-etal:1997a,
  author = {Karen Kukich and Rebecca Passaneau and Kathleen McKeown and
     		Dragomir Radev and Vasileios Hataivassiloglou and
		Hongyan Jing},
  title = {Software Re-Use and Evolution in Text
		Generation Applications},
  booktitle = {From Research to Commercial Applications: Making
  	{NLP} Work in Practice},
  publisher = {Association for Computational Linguistics},
  year = {1997},
  editor = {Jill C. Burstein and Claudia Leacock},
  pages = {13--21},
  address = {Somerset, New Jersey},
  topic = {software-engineering;nl-generation;}
  }

@incollection{ kulikowski:1977a,
  author = {R. Kulikowski},
  title = {A Dynamic Consumption Model and Optimization of Utility
  	Functionals},
  booktitle = {Conflicting Objectives in Decisions},
  publisher = {John Wiley and Sons},
  year = {1977},
  editor = {David E. Bell and Ralph L. Keeney and Howard Raiffa},
  pages = {223--244},
  address = {New York},
  topic = {decision-analysis;multiattribute-utility;}
  }

@article{ kulvicki:2010a,
  author = {John Kulvicki},
  title = {Knowing with Images:  Medium and Message},
  journal = {Philosophy of Science},
  year = {2010},
  volume = {77},
  number = {2},
  pages = {295--313},
  topic = {visual-representation;}
  }

@article{ kumonnakamura-etal:1995a,
  author = {S. Kumon-Nakamura and S. Glucksberg and N. Brown},
  title = {How about Another Piece of Pie: The Allusional
        Pretense Theory of Discourse Irony},
  journal = {Journal of Experimental Psychology: General},
  year = {1995},
  volume = {124},
  pages = {3--21},
  missinginfo = {A's 1st name, number},
  topic = {irony;cognitive-psychology;}
  }

@book{ kunda:1999a,
  author = {Ziva Kunda},
  title = {Social Cognition},
  publisher = {The {MIT} Press},
  year = {1996},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-11241-8 (hardcover), 0-262-61143-0 (pbk)},
  rtnote = {UMich Graduate Library, BF 323 .S63 K861 1999},
  topic = {social-psychology;social-cognition;agent-modeling;
  	cognitive-psychology;reasoning-about-attitudes;}
 }

@article{ kung:1974a,
  author = {Guido K\"ung},
  title = {Prologue-Functors},
  journal = {Journal of Philosophical Logic},
  year = {1974},
  volume = {3},
  number = {3},
  pages = {241--254},
  topic = {propositional-attitudes;Davidson-semantics;}
  }

@book{ kunne-etal:1996a,
  editor = {Wolfgang K\"unne and Albert Newman and Martin Andushus},
  title = {Direct Reference, Indexicalitum and Propositional Attitudes},
  publisher = {Cambridge University Press},
  year = {1996},
  address = {Cambridge, England},
  topic = {propositional-attitudes;reference;}
 }

@article{ kuno:1974a,
  author = {Susumo Kuno},
  title = {Lexical and Contextual Meaning},
  journal = {Linguistic Inquiry},
  year = {1974},
  volume = {5},
  pages = {469--477},
  missinginfo = {number},
  rtnote = {Look at this, classify.},
  topic = {pragmatics;context;}
  }

@book{ kunreuther:1968a,
  author = {Howard Kunreuther},
  title = {The Case for Comprehensive Disaster Insurance},
  publisher = {Dept. of Economics, Graduate School of Business, University
  	of Chicago,},
  year = {1968},
  address = {Chicago},
  topic = {risk-management;insurance;}
 }

@article{ kunreuther:1976a,
  author = {Howard Kunreuther},
  title = {Disaster Insurance: A Tool For Hazard Mitigation},
  journal = {The Journal of Risk and Insurance},
  year = {1976},
  volume = {41},
  number = {2},
  missinginfo = {pages},
  topic = {risk-management;insurance;}
 }

@book{ kunreuther-etal:1978a,
  author = {H. Kunreuther et al.},
  title = {Disaster Insurance},
  publisher = {John Wiley and Sons},
  year = {1978},
  address = {New York},
  missinginfo = {A's 1st name, other authors.},
  topic = {risk;}
 }

@book{ kunreuther-etal:2000a,
  author = {Howard Kunreuther and Nathan Novemsky and Daniel Kahneman},
  title = {Making Low Probabilities Useful},
  publisher = {Risk Management and Decision Processes Center,
  		The Wharton School, University of Pennsylvania},
  year = {2000},
  address = {[Philadelphia},
  ISBN = {0471150819 (electronic bk.)},
  rtnote = {UMich Graduate Library, BC 173 .C661 1983.},
  topic = {risk-assessment;}
 }

@book{ kuper:1999a,
  author = {Adam Kuper},
  title = {Culture.  The Anthropologist's Account},
  publisher = {Harvard University Press},
  year = {1999},
  address = {Cambridge, Massachusetts},
  xref = {Review: jarvie:2000a.},
  topic = {cultural-anthropology;philosophy-of-social-science;}
 }

@book{ kuper-etal:2000a,
  editor = {Gabriel Kuper and Leonid Libkin and Jan Paredaens},
  title = {Constraint Databases},
  publisher = {Springer Verlag},
  year = {2000},
  address = {Berlin},
  ISBN = {3-540-66151-4},
  topic = {constraint-databases;}
 }

@inproceedings{ kurafuji:1998a,
  author = {Takeo Kurafuji},
  title = {Dynamic Binding and the {E}-Type Strategy:
     		Evidence from {J}apanese},
  booktitle = {Proceedings from Semantics and Linguistic Theory {VIII}},
  publisher = {Cornell University},
  year = {1998},
  editor = {Devon Strolovitch and Aaron Lawson},
  pages = {129--144},
  address = {Ithaca, New York},
  topic = {nl-semantics;Japanese-language;donkey-anaphora;binding;}
  }

@inproceedings{ kurkisuonio:1986a,
  author = {R. Kurki-Suonio},
  title = {Towards Programming With Knowledge Expressions},
  booktitle = {Proceedings of the Thirteenth Annual {ACM} Symposium
  	on Principles of Programming Languages},
  publisher = {ACM},
  year = {1981},
  pages = {140--149},
  organization = {ACM},
  missinginfo = {A's 1st name, editor, publisher, address},
  topic = {knowledge-based-programming;}
  }

@article{ kuroda:1979a,
  author = {S-.Y. Kuroda},
  title = {Some Thoughts on the Foundations of Language Use},
  journal = {Linguistics and Philosophy},
  year = {1979},
  volume = {3},
  number = {1},
  pages = {1--17},
  topic = {pragmatics;foundations-of-pragmatics;}
  }

@article{ kuroda:1986a,
  author = {S.-Y. Kuroda},
  title = {A Formal Theory of Speech Acts},
  journal = {Linguistics and Philosophy},
  year = {1986},
  volume = {9},
  number = {4},
  pages = {495--524},
  topic = {speech-acts;}
  }

@article{ kuroda:1989a,
  author = {S.-Y. Kuroda},
  title = {An Explanatory Theory of Communicative Intention},
  journal = {Linguistics and Philosophy},
  year = {1989},
  volume = {12},
  number = {6},
  pages = {655--681},
  missinginfo = {A's 1st name.},
  rtnote = {pragmatics-course;},
  topic = {discourse;pragmatics;}
  }

@incollection{ kuroda:2003a,
  author = {S.-Y. Kuroda},
  title = {Milsark's Generalization and Categorical Judgments},
  booktitle = {Proceedings from Semantics and Linguistic Theory {XIII}},
  publisher = {Cornell University},
  year = {2003},
  editor = {Robert B. Young and Yuping Zhou},
  pages = {204--221},
  address = {Ithaca, New York},
  topic = {nl-semantics;predication;Japanese-language;}
  }

@incollection{ kurohashi-etal:1998a,
  author = {Sadao Kurohashi and Masaka Murata and Yasunori Yata and
  	Mitsunobu Shimada and Makoto Nagao},
  title = {Construction of {J}apanese Nononal Semantic Dictionary
  	Using `{A} {NO} {B}' Phrases in Corpora},
  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 = {33--38},
  address = {New Brunswick, New Jersey},
  topic = {computational-lexicography;Japanese-language;}
  }

@incollection{ kurohashi-higasa:2000a,
  author = {Sado Kurohashi and Wataru Higasa},
  title = {Dialogue Helpsystem Based on Flexible Matching of User
  		Query with Natural Language Knowledge Base},
  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 = {141--149},
  address = {Somerset, New Jersey},
  topic = {computational-dialogue;help-systems;}
  }

@incollection{ kurohashi-ori:2000a,
  author = {Sadao Kurohashi and Manabu Ori},
  title = {Nonlocal Language Modeling
    		Based on Context Co-Occurrence Vectors},
  booktitle = {Proceedings of the 2000 Joint {SIGDAT} Conference
  	on Empirical Methods in Natural Language Processing},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  editor = {Hinrich Sch\"utze and Keh-Yih Su},
  pages = {80--86},
  address = {Somerset, New Jersey},
  topic = {n-gram-models;word-coocurrence-vectors;}
  }

@article{ kurotonina-derijke:1997a,
  author = {Natasha Kurotonina and Maarten de Rijke},
  title = {Bisimulations for Temporal Logic},
  journal = {Journal of Logic, Language, and Information},
  year = {1997},
  volume = {6},
  number = {4},
  pages = {403--425},
  topic = {modal-logic;dynamic-logic;}
  }

@article{ kurtonina:1998a,
  author = {Natasha Kurtonina},
  title = {Categorial Inference and Modal Logic},
  journal = {Journal of Logic, Language, and Information},
  year = {1998},
  volume = {7},
  number = {4},
  pages = {399--411},
  topic = {categorial-grammar;modal-logic;}
  }

@article{ kurtonina:2000a,
  author = {Natasha Kurtonina},
  title = {Review of \emph{Handbook of Logic and Language}, edited by
  	{J}ohan van {B}enthem and {A}lice ter {M}eulen},
  journal = {Journal of Logic, Language, and Information},
  year = {2000},
  volume = {9},
  number = {2},
  pages = {263--269},
  xref = {Review of: vanbenthem-termeulen:1996a.},
  rtnote = {semantics-course;},
  topic = {nl-semantics;}
  }

@article{ kurtonina-derijke:1999a,
  author = {Natashi Kurtonina and Maarten de Rijke},
  title = {Expressiveness of Concept Expressions in First-Order
  	Description Logics},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {107},
  number = {2},
  pages = {303--333},
  topic = {logic-in-AI;description-logics;krcourse;}
  }

@techreport{ kurtz-etal:1992a,
  author = {Stuart Kurtz and John Mitchell and Michael O'Donnell},
  title = {Connective Formal Semantics to Constructive Intuitions},
  institution = {Department of Computer Science, University of Chicago},
  number = {CS 92--01},
  year = {1992},
  address = {Chicago, IL},
  rtnote = {In RHT collection.},
  topic = {foundations-of-intuitionistic-logic;}
  }

@incollection{ kurucz:2006a,
  author = {\'Agnes Kurucz},
  title = {Combining Modal Logics},
  booktitle = {Handbook of Modal Logic},
  year = {2006},
  editor = {Patrick Blackburn and Johan van Benthem and Frank Wolter},
  pages = {869--924},
  address = {New York},
  rtnote = {In RHT collection.  File Drawers.},
  topic = {modal-logic;combining-logics;}
  }

@article{ kurucz-etal:1992a,
  author = {\'Agnes Kurucz and Istv\'an N\'emeti and Idik\'o Sain
  	and Andr\'as Simon},
  title = {Decidable and Undecidable Logics With a Binary Modality},
  journal = {Journal of Logic, Language, and Information},
  year = {1992},
  volume = {4},
  number = {3},
  pages = {191--206},
  topic = {modal-logic;}
  }

@book{ kurzweil:2005a,
  author = {Ray Kurzweil},
  title = {The Singularity is Near:  When Humans Transcend Biology},
  publisher = {Viking Adult},
  year = {2005},
  address = {New York},
  ISBN = {0670033847},
  xref = {Review: mcdermott_d:2006a.},
  topic = {AI-editorial;}
 }

@article{ kusch:1988a,
  author = {Martin Kusch},
  title = {Husserl and {H}eidegger on Meaning},
  journal = {Synth\'ese},
  year = {1988},
  volume = {77},
  number = {1},
  pages = {99--127},
  topic = {Husserl;Heidegger;semantics;}
  }

@book{ kusch:1999a,
  author = {Martin Kusch},
  title = {Psychological Knowledge},
  publisher = {Routledge},
  year = {1999},
  address = {London},
  ISBN = {0 415 19253 6 (Hb)},
  topic = {philosophy-of-psychology;}
 }

@incollection{ kusch:2009a,
  author = {Martin Kusch},
  title = {Psychologism},
  booktitle = {The {S}tanford Encyclopedia of Philosophy},
  editor = {Edward N. Zalta},
  howpublished =
    {\url{http://plato.stanford.edu/archives/win2009/entries/psychologism/}},
  year = {2009},
  edition = {Winter 2009},
  topic = {psychologism;Frege;Husserl;}
 }

@book{ kusch-schroder_h:1989a,
  editor = {Martin Kusch and Hartmut Schr\"der},
  title = {Text--Interpretation--Argumentation},
  publisher = {H. Buske},
  year = {1989},
  address = {Hamburg},
  ISBN = {3871189219},
  rtnote = {UMich Graduate Library, 805 P185 v.64.},
  topic = {discourse-analysis;}
 }

@article{ kushida-okada:2003a,
  author = {H. Kushida and M. Okada},
  title = {A Proof-Theoretic Study of the Correspondence of Modal
  	Logic and Classical Logic},
  journal = {Journal of Symbolic Logic},
  year = {2003},
  volume = {68},
  number = {4},
  pages = {1403--1414},
  topic = {modal-logic;proof-theory;}
  }

@article{ kushida-okada:2007a,
  author = {H. Kushida and M. Okada},
  title = {A Proof-Theoretic Study of the Correspondence of Hybrid
  		Logic and Classical Logic},
  journal = {Journal of Logic, Language, and Information},
  year = {2007},
  volume = {16},
  number = {1},
  pages = {35--61},
  topic = {hybrid-logic;proof-theory;}
  }

@article{ kushmerick:2000a,
  author = {Nicholas Kushmerick},
  title = {Wrapper Induction: Efficiency and Expressiveness},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {118},
  number = {1--2},
  pages = {15--68},
  acontentnote = {Abstract:
     The Internet presents numerous sources of useful
     information---telephone directories, product catalogs, stock
     quotes, event listings, etc. Recently, many systems have been
     built that automatically gather and manipulate such information
     on a user's behalf. However, these resources are usually
     formatted for use by people (e.g., the relevant content is
     embedded in HTML pages), so extracting their content is
     difficult.  Most systems use customized wrapper procedures to
     perform this extraction task.  Unfortunately, writing wrappers
     is tedious and error-prone.  As an alternative, we advocate
     wrapper induction, a technique for automatically constructing
     wrappers.  In this article, we describe six wrapper classes, and
     use a combination of empirical and analytical techniques to
     evaluate the computational tradeoffs among them. We first
     consider expressiveness: how well the classes can handle actual
     Internet resources, and the extent to which wrappers in one
     class can mimic those in another. We then turn to efficiency: we
     measure the number of examples and time required to learn
     wrappers in each class, and we compare these results to PAC
     models of our task and asymptotic complexity analyses of our
     algorithms.  Summarizing our results, we find that most of our
     wrapper classes are reasonably useful (70% of surveyed sites can
     be handled in total), yet can rapidly learned (learning usually
     requires just a handful of examples and a fraction of a CPU
     second per example).
  },
  topic = {AI-and-the-internet;machine-learning;automatic-programming;
  	information-integration;}
  }

@article{ kushmerick-etal:1995a,
  author = {Nicholas Kushmerick and Steve Hanks and Daniel S. Weld},
  title = {An Algorithm for Probabilistic Planning},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {76},
  number = {1--2},
  pages = {239--286},
  acontentnote = {Abstract:
     We define the probabilistic planning problem in terms of a
     probability distribution over initial world states, a boolean
     combination of propositions representing the goal, a probability
     threshold, and actions whose effects depend on the
     execution-time state of the world and on random chance.
     Adopting a probabilistic model complicates the definition of
     plan success: instead of demanding a plan that provably achieves
     the goal, we seek plans whose probability of success exceeds the
     threshold.
       In this paper, we present BURIDAN, an implemented
     least-commitment planner that solves problems of this form.  We
     prove that the algorithm is both sound and complete.  We then
     explore BURIDAN's efficiency by contrasting four algorithms for
     plan evaluation, using a combination of analytic methods and
     empirical experiments.  We also describe the interplay between
     generating plans and evaluating them, and discuss the role of
     search control in probabilistic planning.},
  topic = {probabilistic-planning;planning-algorithms;}
  }

@incollection{ kusters:1998a,
  author = {Ralf K\"usters},
  title = {Characterizing the Semantics of Terminological Cycles
  	in ${\cal ALN}$ Using Finite Automata},
  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 = {499--510},
  address = {San Francisco, California},
  topic = {kr;terminological-cycles;description-logics;kr-course;}
  }

@article{ kusumoto:2005a,
  author = {Kiyomi Kusumoto},
  title = {On the Quantification over Times in Natural Language},
  journal = {Natural Language Semantics},
  year = {2005},
  volume = {13},
  number = {4},
  pages = {317--357},
  topic = {nl-tense;nl-semantics;}
  }

@article{ kutach:2002a,
  author = {Douglas N, Kutach},
  title = {The Entropy Theory of Counterfactuals},
  journal = {Philosophy of Science},
  year = {2002},
  volume = {69},
  number = {1},
  pages = {82--104},
  topic = {conditionals;probability;}
  }

@article{ kuter-etal:2009a,
  author = {Ugur Kuter and Dana S. Nau and Marco Pistore and Paolo Traverso},
  title = {Task Decomposition on Abstract States, for Planning under
  		Nondeterminism},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {173},
  number = {5--6},
  pages = {669--695},
  topic = {planning;planning-algorithms;concurrency;}
  }

@article{ kutulakos-dyer:1995a,
  author = {Kiriakos N. Kutulakos and Charles R. Dyer},
  title = {Global Surface Reconstruction by Purposive Control of
  	Observer Motion},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {78},
  number = {1--2},
  pages = {147--177},
  acontentnote = {Abstract:
      What viewpoint-control strategies are important for performing
     global visual exploration tasks such as searching for specific
     surface markings, building a global model of an arbitrary
     object, or recognizing an object?  In this paper we consider the
     task of purposefully controlling the motion of an active,
     monocular observer in order to recover a global description of a
     smooth, arbitrarily-shaped object. We formulate global surface
     reconstruction as the task of controlling the motion of the
     observer so that the visible rim slides over the maximal,
     connected, reconstructible surface regions intersecting the
     visible rim at the initial viewpoint. We show that these regions
     are bounded by a subset of the visual event curves defined on
     the surface.
      By studying the epipolar parameterization, we develop two basic
     strategies that allow reconstruction of a surface region around
     any point in a reconstructible surface region. These strategies
     control viewpoint to achieve and maintain a well-defined
     geometric relationship with the object's surface, rely only on
     information extracted directly from images (e.g., tangents to
     the occluding contour), and are simple enough to be performed in
     real time. We then show how global surface reconstruction can be
     provably achieved by (1) appropriately integrating these
     strategies to iteratively ``grow'' the reconstructed regions, and
     (2) obeying four simple rules.},
  topic = {active-perception;contour;object-identification;}
  }

@incollection{ kutz_o-etal:2002a,
  author = {Oliver Kutz and Frank Wolter and Michael Zakharyaschev},
  title = {Connecting Abstract Description Systems},
  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 = {215--226},
  address = {San Francisco, California},
  topic = {kr;description-logics;hybrid-kr-architectures;}
  }

@article{ kvanvig:1995a,
  author = {Jonathan Kvanvig},
  title = {The Knowability Paradox and the Prospects for Anti-Realism},
  journal = {No\^us},
  year = {1995},
  volume = {29},
  number = {4},
  pages = {481--500},
  topic = {epistemic-logic;propositional-quantifiers;}
  }

@article{ kvart:1980a,
  author = {Igal Kvart},
  title = {Formal Semantics for Temporal Logic and Counterfactuals},
  journal = {Logique et Analyse, Nouvelle S\'erie},
  year = {1980},
  volume = {23},
  number = {23},
  pages = {35--62},
  topic = {conditionals;temporal-logic;}
  }

@incollection{ kvart:1986a,
  author = {Igal Kvart},
  title = {Kripke's Belief Puzzle},
  booktitle = {Midwest Studies in Philosophy Volume {X}:
  	Studies in the Philosophy of Mind},
  publisher = {University of Minnesota Press},
  year = {1986},
  editor = {Peter A. French and Theodore E. {Uehling, Jr.} and Howard K.
  	Wettstein},
  pages = {287--325},
  address = {Minneapolis},
  topic = {belief;Pierre-puzzle;}
  }

@incollection{ kvart:1997a,
  author = {Igal Kvart},
  title = {Cause and Some Positive Causal Impact},
  booktitle = {Philosophical Perspectives 11: Mind, Causation, and World},
  publisher = {Blackwell Publishers},
  year = {1997},
  editor = {James E. Tomberlin},
  pages = {401--432},
  address = {Oxford},
  rtnote = {In RHT collection.},
  topic = {causality;}
  }

@article{ kvart:2002a,
  author = {Igal Kvart},
  title = {Probabilistic Cause and the Thirsty Traveler},
  journal = {The Journal of Philosophy},
  year = {2002},
  volume = {99},
  number = {2},
  pages = {139--179},
  topic = {causality;}
  }

@article{ kwa:1989a,
  author = {James B.H. Kwa},
  title = {{BS}*: An Admissible Bidirectional Staged Heuristic Search
  	Algorithm},
  journal = {Artificial Intelligence},
  year = {1989},
  volume = {38},
  number = {1},
  pages = {95--109},
  acontentnote = {Abstract:
     In order to reap the potential advantage of less extensive
     searching which bidirectional heuristic search algorithms offer,
     strategies are needed to influence the two search wavefronts to
     meet such that early termination will occur. The principled
     search control strategy aims to achieve this without trading
     running time, but can be found wanting still. An improved
     algorithm BS* is described which expands significantly less
     nodes on average than any other algorithm in the same class of
     non-wave-shaping admissible bidirectional algorithms. When
     pitted against BHPA, the only other heuristically guided member
     in this class, BS*'s average search efficiency in time and space
     is about 30% better. BS*'s superior performance stems from the
     use of all opportunities to achieve early termination and the
     elimination of unfruitful avenues by search reduction
     operations: nipping, pruning, trimming and screening. Such
     operations explore information gathered during search and have
     several spin-offs: more accurate guidance of search control,
     early exposure of nonpromising nodes and reduced bookkeeping
     overheads, all of which further enhance BS*'s performance. A
     further noteworthy feature of BS* is that it is the first staged
     search algorithm which preserves admissibility.  },
  topic = {search;}
  }

@incollection{ kwock:1997a,
  author = {K.L. Kwock},
  title = {Lexicon Effects on {C}hinese Information Retrieval},
  booktitle = {Proceedings of the Second Conference on Empirical
		Methods in Natural Language Processing},
  publisher = {Association for Computational Linguistics},
  year = {1997},
  editor = {Claire Cardie and Ralph Weischedel},
  pages = {141--148},
  address = {Somerset, New Jersey},
  topic = {empirical-methods-in-nlp;Chinese-language;
		information-retrieval;}
  }

@article{ kwoh-gillies_df:1996a,
  author = {Chee-Keong Kwoh and Duncan Fyfe Gillies},
  title = {Using Hidden Nodes in {B}ayesian Networks},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {88},
  number = {1--2},
  pages = {1--38},
  topic = {Bayesian-networks;}
  }

@incollection{ kwong:1998a,
  author = {Oi Yee Kwong},
  title = {Aligning {W}ord{N}et with Additional Lexical Resources},
  booktitle = {Use of {W}ord{N}et in Natural Language Processing
  	Systems:  Proceedings of the Conference},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Sanda Harabagiu},
  pages = {73--79},
  address = {Somerset, New Jersey},
  topic = {nl-processing;WordNet;computational-lexicography;}
  }

@unpublished{ kyburg_a-morreau:1998a,
  author = {Alice Kyburg and Michael Morreau},
  title = {Vague Utterances and Context Change},
  year = {1998},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.  Filed under "Morreau".},
  topic = {vagueness;context;}
  }

@article{ kyburg_a-morreau:2000a,
  author = {Alice Kyburg and Michael Morreau},
  title = {Fitting Words: Vague Language in Context},
  journal = {Linguistics and Philosophy},
  year = {2000},
  volume = {23},
  number = {6},
  pages = {577--597},
  topic = {vagueness;context;}
  }

@book{ kyburg_he:1961a,
  author = {Henry E. {Kyburg, Jr.}},
  title = {Probability and the Logic of Rational Belief},
  publisher = {Wesleyan University Press},
  year = {1961},
  address = {Middletown, Connecticut},
  topic = {foundations-of-probability;}
 }

@article{ kyburg_he:1966a,
  author = {Henry E. {Kyburg, Jr.}},
  title = {Probability and Decision},
  journal = {Philosophy of Science},
  year = {1966},
  volume = {33},
  number = {3},
  pages = {250--261},
  rtnote = {In RHT collection.},
  topic = {foundations-of-probability;decision-theory;}
  }

@incollection{ kyburg_he:1970a,
  author = {Henry E. {Kyburg, Jr.}},
  title = {Conjunctivitis},
  booktitle = {Induction, Acceptance, and Rational Belief},
  publisher = {D. Reidel Publishing Co.},
  year = {1970},
  editor = {Marshall Swain},
  pages = {55--82},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {lottery-paradox;}
  }

@article{ kyburg_he:1976a,
  author = {Henry E. {Kyburg, Jr.}},
  title = {Chance},
  journal = {Journal of Philosophical Logic},
  year = {1976},
  volume = {5},
  number = {3},
  pages = {355--393},
  topic = {foundations-of-probability;}
  }

@article{ kyburg_he:1976b,
  author = {Henry E. {Kyburg, Jr.}},
  title = {Chance},
  journal = {Journal of Philosophical Logic},
  year = {1976},
  volume = {5},
  number = {3},
  pages = {355--393},
  topic = {foundations-of-probability;}
  }

@book{ kyburg_he:1983a,
  author = {Henry E. {Kyburg, Jr.}},
  title = {Epistemology and Inference},
  publisher = {University of Minnesota Press},
  year = {1983},
  address = {Minneapolis},
  ISBN = {0816611491},
  rtnote = {UMich Graduate Library, BD161 .K91 1983.},
  topic = {foundations-of-probability;statistical-inference;
  	foundations-of-belief;}
 }

@incollection{ kyburg_he:1983b,
  author = {Henry E. {Kyburg, Jr.}},
  title = {Subjective Probability: Criticisms, Reflections, and
  	Problems},
  booktitle = {Epistemology and Inference},
  editor = {Henry E. {Kyburg, Jr.}},
  publisher = {University of Minnesota Press},
  year = {1983},
  pages = {79--98},
  address = {Minneapolis},
  topic = {foundations-of-probability;}
  }

@unpublished{ kyburg_he:1985a,
  author = {Henry E. {Kyburg, Jr.}},
  title = {Representing Knowledge and Evidence for Decision},
  year = {1985},
  note = {Unpublished manuscript, Philosophy Department,
  	University of Rochester.},
  rtnote = {In RHT collection.},
  missinginfo = {Year is a guess.},
  topic = {foundations-of-decision-theory;}
  }

@article{ kyburg_he:1987a,
  author = {Henry E. {Kyburg, Jr.}},
  title = {Bayesian and Non-{B}ayesian Evidential Updating},
  journal = {Artificial Intelligence},
  year = {1987},
  volume = {31},
  number = {3},
  pages = {271--293},
  topic = {probability-kinematics;Dempster-Shafer-theory;}
  }

@incollection{ kyburg_he:1988a,
  author = {Henry E. {Kyburg, Jr.}},
  title = {Powers},
  booktitle = {Causation in Decision, Belief Change, and Statistics,
  	Vol. 2},
  publisher = {Kluwer Academic Publishers},
  year = {1988},
  editor = {William L. Harper and Brian Skyrms},
  pages = {71--82},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {causality;reasoning-about-uncertainty;probability;dominance;}
  }

@article{ kyburg_he:1988b,
  author = {Henry E. {Kyburg, Jr.}},
  title = {Review of \emph{{A}bstract Measurement Theory},
  	by {L}ouis {N}arens},
  journal = {Synth\'ese},
  year = {1988},
  volume = {76},
  number = {1},
  pages = {179--182},
  xref = {Review of narens:1988a.},
  topic = {measurement-in-behavioral-science;measurement-theory;}
  }

@article{ kyburg_he:1990a,
  author = {Henry E. {Kyburg, Jr.}},
  title = {Probabilistic Inference and Probabilistic Reasoning},
  journal = {Philosophical Topics},
  year = {1990},
  volume = {18},
  number = {2},
  pages = {107--116},
  topic = {probabilistic-reasoning;}
  }

@incollection{ kyburg_he:1994a,
  author = {Henry E. {Kyburg, Jr.}},
  title = {Uncertainty Logics},
  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 = {397--438},
  address = {Oxford},
  topic = {uncertainty-logics;uncertainty-in-AI;}
  }

@incollection{ kyburg_he:1995a,
  author = {Henry E. Kyburg, Jr.},
  title = {How to Settle an Argument},
  booktitle = {Android Epistemology},
  publisher = {Cambridge University Press},
  year = {1995},
  editor = {Kenneth M. Ford and Clark Glymour and Patrick J. Hayes},
  pages = {267--278},
  address = {Cambridge, England},
  topic = {argumentation;rational-acceptance;}
  }

@techreport{ kyburg_he:1996a,
  author = {Henry E. {Kyburg, Jr.}},
  title = {Combinatorial Semantics: Semantics for Frequent Validity},
  institution = {Department of Computer Science, University of
  	Rochester},
  number = {563},
  year = {1996},
  address = {Rochester, New York},
  rtnote = {In RHT collection.},
  topic = {probability-semantics;}
  }

@incollection{ kyburg_he:1996b,
  author = {Henry E. {Kyburg, Jr.}},
  title = {Dennett's Beer},
  booktitle = {The Robot's Dilemma Revisited: The Frame Problem
             in Artificial Intelligence},
  publisher = {Ablex Publishing Co.},
  year = {1996},
  editor = {Kenneth M. Ford and Zenon Pylyshyn},
  pages = {49--60},
  address = {Norwood, New Jersey},
  topic = {frame-problem;}
  }

@article{ kyburg_he:1997a,
  author = {Henry E. {Kyburg, Jr.}},
  title = {Combinatorial Semantics:  Semantics for Frequent Validity},
  journal = {Computational Intelligence},
  year = {1997},
  volume = {13},
  number = {2},
  pages = {215--257},
  topic = {nonmonotonic-logic;probability-semantics;}
  }

@article{ kyburg_he:1997b,
  author = {Henry E. {Kyburg, Jr.}},
  title = {The Rule of Adjunction and Reasonable Inference},
  journal = {Journal of Philosophy},
  year = {1997},
  volume = {94},
  number = {3},
  pages = {109--125},
  topic = {lottery-paradox;Simpson-paradox;conjunction;}
  }

@incollection{ kyburg_he:1998a,
  author = {Henry E. {Kyburg, Jr.}},
  title = {Families of Probabilities},
  booktitle = {Handbook of Defeasible Reasoning and Uncert`swiainty
		Management Systems, Volume 1:  Quantified Representation
		of Uncertainty and Imprecision},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {Dov M. Gabbay and Philippe Smets},
  pages = {227--245},
  address = {Dordrecht},
  topic = {relaxations-of-classical-probability;}
  }

@article{ kyburg_he:2000a,
  author = {Henry E. {Kyburg, Jr.}},
  title = {Review of \emph{{R}ethinking the Foundations of
  	Statistics}, edited by {J}oseph {B}. {K}adane and
	{M}ark {J}. {S}chervish and {T}eddy {S}eidenfeld},
  journal = {The Journal of Philosophy},
  year = {2000},
  volume = {97},
  number = {5},
  pages = {677--680},
  topic = {foundations-of-statistics;Bayesian-statistics;}
  }

@incollection{ kyburg_he:2002a,
  author = {Henry E. {Kyburg, Jr.}},
      title = {Induction and Consistency},
  booktitle = {Common Sense, Reasoning, and Rationality},
  publisher = {Oxford University Press},
  year = {2002},
  editor = {Ren\'ee Elio},
  pages = {78--92},
  address = {Oxford},
  abstract = {This chapter addresses the question of how a reasoning
    agent comes to accept conclusions that are based on inductive or
    uncertain inference.  ...  Two approaches to uncertainty in
    dealing with such matters are considered. One is the Bayesian
    approach, which holds that observations or evidence is
    incorrigible, while all other statements have an associated
    number that indicates their degree of uncertainty.  The other is
    a nonmonotonic approach, which supposes that people come to
    accept statements tentatively and that we might reject them when
    more evidence is collected.  It is argued that the Bayesian
    reconstruction of induction is misguided both in its assumption
    that evidential statements are certain and in its attempt to
    avoid nonobservational acceptance.  There is a way of casting the
    nonmonotonic approach in terms of probability intervals, which
    allows for the association of a level of error or uncertainty
    with individual statements and the recognition that the
    conjunction of all such statements is false, while still
    supporting the acceptance of each individual statement.  Although
    the cost of this acceptance approach is that sometimes mistakes
    will be made, it is more realistic psychologically and more
    efficient computationally as a representation of rational
    inference.},
  topic = {inductive-reasoning;probability;nonmonotonic-reasoning;}
  }

@article{ kyburg_he:2005a,
  author = {Henry E. {Kyburg, Jr.}},
  title = {Review of \emph{{C}ausality}, by {J}udea {P}earl},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {169},
  number = {2},
  pages = {174--179},
  xref = {Review of: pearl:2000a},
  xref = {Response: pearl:2005a},
  topic = {Bayesian-networks;causality;action;conditionals;}
  }

@article{ kyburg_he:2006a,
  author = {Henry E. {Kyburg, Jr.}},
  title = {Belief, Evidence, and Conditioning},
  journal = {Philosophy of Science},
  year = {2006},
  volume = {73},
  number = {1},
  pages = {42--65},
  topic = {foundations-of-probability;belief;}
  }

@book{ kyburg_he-smokler:1964a,
  editor = {Henry E. {Kyburg, Jr.} and Howard E. Smokler},
  title = {Studies in Subjective Probability},
  publisher = {John Wiley and Sons},
  year = {1964},
  address = {New York},
  rtnote = {BC141 .K99s},
  topic = {subjective-probability;foundations-of-probability;}
 }

@article{ laan-nederpelt:1996a,
  author = {Twan Laan and Rob Nederpelt},
  title = {A Modern Elaboration of the Ramified Theory of Types},
  journal = {Studia Logica},
  volume = {57},
  number = {2--3},
  year = {1996},
  pages = {243--278},
  topic = {ramified-type-theory;}
 }

@article{ laborie:2003a,
  author = {Philippe Laborie},
  title = {Algorithms for Propagating Resource Constraints in
  	{AI} Planning and Scheduling: Existing Approaches and New
	Results},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {143},
  number = {2},
  pages = {151--188},
  topic = {planning-algorithms;constraint-programming;scheduling;}
  }

@incollection{ labov:1971a,
  author = {William Labov},
  title = {Methodology},
  booktitle = {A Survey of Linguistic Science},
  publisher = {Privately Published, Linguistics Program, University of
		Maryland.},
  year = {1971},
  editor = {William Orr Dingwall},
  pages = {412--497},
  address = {College Park, Maryland},
  topic = {philosophy-of-linguistics;sociolinguistics;}
  }

@book{ labov:1972a,
  author = {William Labov},
  title = {Sociolinguistic Patterns},
  publisher = {University of Pennsylvania Press},
  year = {1972},
  address = {Philadelphia},
  contentnote = {Apparently contains the famous study on unreliability
  	of introspective methods.},
  topic = {sociolinguistics;}
 }

@incollection{ labov:1974a,
  author = {William Labov},
  title = {The Boundaries of Words and Their Meanings},
  booktitle = {New Ways of Analyzing Variation in {E}nglish},
  publisher = {Georgetown University Press},
  year = {1974},
  editor = {Ralph Fasold and Roger Schuy},
  pages = {340--373},
  address = {Washington, DC},
  rtnote = {In RHT collection.},
  topic = {vagueness;}
  }

@book{ labov-fanshel:1977a,
  author = {William Labov and D. Fanshel},
  title = {Therapeutic Discourse: Psychotherapy as Conversation},
  publisher = {Academic Press},
  year = {1977},
  address = {New York},
  topic = {discourse-analysis;text-linguistics;discourse;
  	sociolinguistics;pragmatics;}
 }

@book{ labudde:1987a,
  author = {Keith LaBudde},
  title = {Structured Programming Concepts},
  publisher = {McGraw-Hill},
  year = {1987},
  address = {New York},
  ISBN = {0070357781},
  rtnote = {UMich Media Union Library, QA76.6 .L32351 1987.},
  topic = {structured-programming;}
 }

@phdthesis{ lacey_be:2004a,
  author = {Bruce E.Lacey},
  title = {Cognitive-Contentand Communication},
  school = {Philosophy Department, University of Michigan},
  year = {2004},
  type = {Ph.D. Dissertation},
  address = {Ann Arbor, Michigan},
  rtnote = {In RHT Collection.  LLP single author shelves.},
  topic = {propositional-attitudes;context;indexicality;}
 }

@article{ lachman:1998a,
  author = {Roy Lachman},
  title = {{AI}, Decision Science, and Psychological Theory
		in Decisions about People},
  journal = {{AI} Magazine},
  year = {1998},
  volume = {19},
  number = {1},
  pages = {110--129},
  topic = {decision-analysis;qualitative-utility;expert-systems;
		psychological-reality;}
  }

@article{ lackey:2003a,
  author = {Jennifer Lackey},
  title = {Review of \emph{{A} Slim Book about Narrow Content}, by
  	{G}abriel {M}.{A}. {S}iegel},
  journal = {No\^us},
  year = {2003},
  volume = {37},
  number = {4},
  pages = {724--745},
  xref = {Review of: siegel_gma:2000a},
  topic = {internal/external-properties;}
  }

@book{ lacy:2005a,
  author = {Lee W. Lacy},
  title = {Owl: Representing Information Using the Web Ontology Language},
  publisher = {Trafford},
  year = {2005},
  address = {Crewe},
  ISBN = {1-4120-3448-5},
  rtnote = {In RHT collection.  AI shelves.},
  topic = {OWL;semantic-web;}
 }

@book{ ladd:1980a,
  author = {D. Robert Ladd},
  title = {The Structure of Intonational Meaning: Evidence from
  	{E}nglish},
  publisher = {Indiana University Linguistics Club},
  year = {1980},
  address = {310 Lindley Hall, Bloomington, Indiana},
  topic = {nl-semantics;intonation;}
 }

@article{ ladd:1990a,
  author = {D. Robert Ladd},
  title = {Review of \emph{{I}ntonation and Its Uses: Melody in
  		Spoken {E}nglish}},
  journal = {Language},
  year = {1990},
  volume = {66},
  number = {4},
  pages = {806--816},
  rtnote = {In RHT collection.  File drawers.},
  xref = {Review of: bolinger:1986a.},
  topic = {intonation;prosody;punctuation;}
  }

@book{ ladd:1996a,
  author = {D. Robert Ladd},
  title = {Intonational Phonology},
  publisher = {Cambridge University Press},
  year = {1996},
  address = {Cambridge, England},
  topic = {intonation;}
 }

@article{ ladkin-reinefeld:1992a,
  author = {Peter B. Ladkin and Alexander Reinefeld},
  title = {Effective Solution of Qualitative Interval Constraint
  	Problems},
  journal = {Artificial Intelligence},
  year = {1992},
  volume = {57},
  number = {1},
  pages = {105--124},
  topic = {temporal-reasoning;constraint-satisfaction;interval-logic;}
  }

@article{ ladner:1977a,
  author = {Richard E. Ladner and Johjn H. Reif},
  title = {The Computational Complexity of Provability in Systems of
  	Modal Propositional Logic},
  journal = {{SIAM} Journal on Computing},
  year = {1977},
  volume = {6},
  number = {3},
  pages = {467--480},
  topic = {modal-logic;algorithmic-complexity;}
  }

@inproceedings{ ladner-reif:1986a,
  author = {Richard E. Ladner and Johjn H. Reif},
  title = {The Logic of Distributed Protocols (Preliminary Report)},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
  	Proceedings of the First Conference},
  year = {1986},
  editor = {Joseph Y. Halpern},
  pages = {207--222},
  publisher = {Morgan Kaufmann Publishers, Inc.},
  address = {Los Altos, California},
  topic = {epistemic-logic;distributed-systems;}
  }

@book{ ladusaw:1980a,
  author = {William Ladusaw},
  title = {Polarity Sensitivity as Inherent Scope Relations},
  publisher = {Indiana University Linguistics Club},
  year = {1980},
  address = {310 Lindley Hall, Bloomington, Indiana},
  rtnote = {In RHT collection.  Shelf.},
  topic = {nl-semantics;polarity;polarity-sensitivity;nl-quantifier-scope;}
 }

@article{ ladusaw:1983a,
  author = {William A. Ladusaw},
  title = {Logical Form and Conditions on Grammaticality},
  journal = {Linguistics and Philosophy},
  year = {1983},
  volume = {6},
  number = {3},
  pages = {373--392},
  topic = {extended-std-theory;logical-form;}
  }

@techreport{ ladusaw:1985a,
  author = {William Ladusaw},
  title = {A Proposed Distinction between Levels and Strata},
  institution = {Syntax Research Center, Cowell College, University
  	of California at Santa Cruz},
  number = {SRC--85--04},
  year = {1985},
  address = {Santa Cruz, California},
  rtnote = {In RHT collection.},
  topic = {syntax;foundations-of-syntax;}
  }

@inproceedings{ ladusaw:1994a,
  author = {William A. Ladusaw},
  title = {Thetic and Categorial, Stage and Individual, Weak
		and Strong},
  booktitle = {Proceedings from Semantics and Linguistic Theory {IV}},
  year = {1994},
  editor = {Mandy Harvey and Lynn Santelmann},
  pages = {220--229},
  publisher = {Cornell University},
  address = {Ithaca, New York},
  note = {Available from CLC Publications, Department of Linguistics,
  	Morrill Hall, Cornell University, Ithaca, NY 14853-4701.},
  topic = {nl-semantics;i-level/s-level;existential-constructions;}
  }

@incollection{ ladusaw:1996a,
  author = {William A. Ladusaw},
  title = {Negation and Polarity Items},
  booktitle = {The Handbook of Contemporary Semantic Theory},
  publisher = {Blackwell Publishers},
  year = {1996},
  address = {Oxford},
  editor = {Shalom Lappin},
  pages = {321--341},
  topic = {nl-semantics;nl-negation;polarity;}
  }

@incollection{ ladusaw-dowty:1988a,
  author = {William Ladusaw and David Dowty},
  title = {Toward a Nongrammatical Account of Thematic Roles},
  booktitle = {Thematic Relations},
  publisher = {Academic Press},
  year = {1988},
  editor = {Wendy W. Wilkins},
  pages = {61--73},
  address = {San Diego, California},
  rtnote = {semantics-course;},
  topic = {thematic-roles;}
  }

@article{ ladyman-bigaj:2010a,
  author = {James Ladyman and Tomasz Bigaj},
  title = {The Principle of the Identity of Indiscernables and
  		Quantum Mechanics},
  journal = {Philosophy of Science},
  year = {2010},
  volume = {77},
  number = {1},
  pages = {117--136},
  topic = {foundations-of-quantum-mechanics;identity-of-indiscernables;}
  }

@article{ laenans-vermeir:1990a,
  author = {E. Laenans and D. Vermeir},
  title = {A Fixpoint Semantics for Ordered Logic},
  journal = {Journal of Logic and Computation},
  year = {1990},
  volume = {1},
  number = {2},
  pages = {159--185},
  rtnote = {There is a relation between ordered logic programs and
  	prioritized NM logic.  Maybe I should look at this.},
  missinginfo = {A's 1st name},
  topic = {logic-programming;}
  }

@inproceedings{ lafage-lang_j:2000a,
  author = {C\'eline Lafage and J\'er\^ome Lang},
  title = {Logical Representation of Preferences for Group
  	Decision Making},
  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 = {457--468},
  topic = {social-choice-theory;prefence-representation;}
  }

@article{ lafollette_h-shanks_n:1993a,
  author = {Hugh {LaFollette} and Niall Shanks},
  title = {Belief and the Basis of Humor},
  journal = {American Philosophical Quarterly},
  volume = {30},
  number = {4},
  year = {1993},
  pages = {329--339},
  topic = {humor2;}
  }

@book{ lafollette_mc:1984a,
  editor = {Marcel C. La Follette},
  title = {Creationism, Science, and the Law:  The {A}rkansas
  	Case},
  publisher = {The {MIT} Press},
  year = {1984},
  address = {Cambridge, Massachusetts},
  topic = {creationism;}
 }

@book{ lafont_c:2000a,
  author = {Cristina Lafont},
  title = {The Linguistic Turn in Hermaneutic Philosophy},
  publisher = {The {MIT} Press},
  year = {2000},
  address = {Cambridge, Massachusetts},
  note = {Translated by Jos\'e Medina.},
  ISBN = {0-262-12217-0},
  topic = {continental-philosophy;pragmatics;philosophy-of-language;}
 }

@article{ lafont_y:1997a,
  author = {Yves Lafont},
  title = {The Finite Model Property for Various Fragments of Linear
		Logic},
  journal = {Journal of Symbolic Logic},
  year = {1997},
  volume = {62},
  pages = {1202--1208},
  number = {4},
  topic = {linear-logic;finite-model-property;}
  }

@article{ laforte-etal:1998a,
  author = {Geoffrey LaForte and Patrick J. Hayes and Kenneth M. Ford},
  title = {Why {G}\"odel's Theorem Cannot Refute Computationalism},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {104},
  number = {1--2},
  pages = {265--286},
  topic = {philosophy-of-computation;goedels-first-theorem;
  	foundations-of-cognition;}
  }

@incollection{ lagus-kuusisto:2002a,
  author = {Krista Lagus and Jukka Kuusisto},
  title = {Topic Identification in Natural
    		Language Dialogues Using Neural Networks},
  booktitle = {Third {SIGdial} Workshop on Discourse and Dialogue:
  		Proceedings of the Workshop},
  publisher = {Association for Computational Linguistics},
  year = {2002},
  editor = {Kristina Jokinen and Susan McRoy},
  pages = {95--102},
  address = {New Brunswick, New Jersey},
  topic = {computational-dialogue;d-topic;}
  }

@inproceedings{ lahiri:1995a,
  author = {Utpal Lahiri},
  title = {Negative Polarity in {H}indi},
  booktitle = {Proceedings from Semantics and Linguistic Theory {V}},
  year = {1995},
  editor = {Mandy Simons and Teresa Galloway},
  pages = {168--185},
  publisher = {Cornell University},
  address = {Ithaca, New York},
  note = {Available from CLC Publications, Department of Linguistics,
  	Morrill Hall, Cornell University, Ithaca, NY 14853-4701.},
  topic = {sentence-focus;polarity;Hindi-language;pragmatics;}
  }

@article{ lahiri:1997a,
  author = {Utpal Lahiri},
  title = {Focus and Negative Polarity in {H}indi},
  journal = {Natural Language Semantics},
  year = {1997},
  volume = {6},
  number = {1},
  pages = {57--123},
  topic = {sentence-focus;polarity;Hindi-language;pragmatics;}
  }

@article{ lahiri:2000a,
  author = {Utpal Lahiri},
  title = {Lexical Selection and Quantificational Variability in
  	Embedded Interrogatives},
  journal = {Linguistics and Philosophy},
  year = {2000},
  volume = {23},
  number = {4},
  pages = {325--389},
  topic = {interrogatives;nl-quantifiers;nl-semantics;}
  }

@book{ lahiri-wyner:1993a,
  editor = {Utpal Lahiri and Zachary Wyner},
  title = {Proceedings from Semantics and Linguistic Theory {III}},
  publisher = {Cornell University},
  year = {1993},
  address = {Ithaca, New York},
  note = {Available from CLC Publications, Department of Linguistics,
  	Morrill Hall, Cornell University, Ithaca, NY 14853-4701.},
  rtnote = {In RHT Collection.  LLP edited shelves.},
  topic = {nl-semantics;}
 }

@article{ lai-bird_s:2010a,
  author = {Catherine Lai and Steven Bird},
  title = {Querying Linguistic Trees},
  journal = {Journal of Logic, Language, and Information},
  year = {2010},
  volume = {19},
  number = {1},
  pages = {53--73},
  topic = {corpus-annotation;linguistic-databases;
  	linguistic-information-retrieval;}
  }

@book{ laird-etal:1986a,
  author = {John Laird and Paul Rosenbloom and Allen Newell},
  title = {Universal Subgoaling and Chunking: The Automatic Generation and
    Learning of Goal Hierarchies},
  publisher = {Kluwer Academic Publishers},
  year = {1986},
  address = {Dordrecht},
  ISBN = {0898382130},
  rtnote = {UMich Media Union Library, Q 335 .L331 1986.},
  xref = {Review: shrager:1987a},
  topic = {machine-learning;planning;cognitive-architectures;}
 }

@article{ laird-etal:1987a,
  author = {John E. Laird and Allen Newell and Paul S. Rosenbloom},
  title = {SOAR: an architecture for general intelligence},
  journal = {Artificial Intelligence},
  year = {1987},
  volume = {33},
  number = {1},
  pages = {1--64},
  topic = {cognitive-architectures;SOAR;}
  }

@incollection{ laird-rosenbloom:1996a,
  author = {John E. Laird and Paul Rosenbloom},
  title = {The Evolution of the {S}oar Cognitive Architecture},
  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 = {1--50},
  topic = {cognitive-architectures;SOAR;}
  }

@article{ laird-rosenbloom:2000a,
  author = {John E. Laird and Paul S. Rosenbloom},
  title = {The Research of {A}llen {N}ewell},
  journal = {The {AI} Magazine},
  year = {2000},
  volume = {21},
  number = {4},
  pages = {19--45},
  topic = {history-of-AI;}
  }

@article{ laird-vanlent:2001a,
  author = {John Laird and Michael Van Lent},
  title = {Human-Level {AI}'s Killer Application: Interactive
  	Computer Games},
  journal = {The {AI} Magazine},
  year = {2000},
  volume = {22},
  number = {2},
  pages = {15--25},
  topic = {AI-editorial;computer-games;}
  }

@inproceedings{ laita-etal:1998a,
  author = {L.M. Laita and E. Roanes-Lozano and Y. Maojo},
  title = {Inference and Verification in Medical Appropriateness Criteria
		Using {G}r\"obner Bases},
  booktitle = {Artificial Intelligence and Symbolic Computation:
	Proceedings of {AISC'98}},
  year = {1998},
  editor = {Jacques Calmet and Jan Plaza},
  pages = {183--194},
  publisher = {Springer Verlag},
  address = {Berlin},
  topic = {automated-algebra;theorem-proving;}
  }

@inproceedings{ lakemeyer:1986a,
  author = {Gerhard Lakemeyer},
  title = {Steps Towards a First-Order Logic of Explicit and Implicit
  	Belief},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
  	Proceedings of the First Conference},
  year = {1986},
  editor = {Joseph Y. Halpern},
  pages = {325--340},
  publisher = {Morgan Kaufmann Publishers, Inc.},
  address = {Los Altos, California},
  topic = {hyperintensionality;epistemic-logic;belief;}
  }

@incollection{ lakemeyer:1991a,
  author = {Gerhard Lakemeyer},
  title = {On the Relation between Explicit and Implicit Belief},
  booktitle = {KR'91: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1991},
  editor = {James F. Allen and Richard Fikes and Erik Sandewall},
  pages = {368--375},
  address = {San Mateo, California},
  topic = {kr;belief;propositional-attitudes;hyperintensionality;}
  }

@inproceedings{ lakemeyer:1992a,
  author = {Gerhard Lakemeyer},
  title = {Tractable Meta-Reasoning in Propositional Logics of Belief},
  booktitle = {Proceedings of the Tenth International Joint
  	Conference on Artificial Intelligence},
  year = {1987},
  editor = {John McDermott},
  pages = {402--408},
  publisher = {Morgan Kaufmann},
  address = {Los Altos, California},
  topic = {epistemic-logic;}
  }

@incollection{ lakemeyer:1992b,
  author = {Gerhard Lakemeyer},
  title = {On Perfect Introspection with Quantifying-In},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
  	Proceedings of the Fourth Conference ({TARK} 1992)},
  publisher = {Morgan Kaufmann},
  year = {1992},
  editor = {Yoram Moses},
  pages = {199--213},
  address = {San Francisco},
  topic = {epistemic-logic;}
  }

@incollection{ lakemeyer:1992c,
  author = {Gerhard Lakemeyer},
  title = {All You Ever Wanted to Know about {T}weety (But Were
  	Afraid to Ask)},
  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 = {639--648},
  address = {San Mateo, California},
  topic = {kr;epistemic-logic;nonmonotonic-logic;}
  }

@inproceedings{ lakemeyer:1993a,
  author = {Gerhard Lakemeyer},
  title = {All They Know: A Study in Autoepistemic Logic},
  booktitle = {Proceedings of the Thirteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1993},
  editor = {Ruzena Bajcsy},
  pages = {376--381},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  topic = {nonmonotonic-reasoning;reasoning-about-knowledge;}
  }

@article{ lakemeyer:1994a,
  author = {Gerhard Lakemeyer},
  title = {Limited Reasoning in First-Order Knowledge Bases},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {71},
  number = {2},
  pages = {213--255},
  topic = {belief;epistemic-logic;hyperintensionality;}
  }

@inproceedings{ lakemeyer:1995a,
  author = {Gerhard Lakemeyer},
  title = {A Logical Account of Relevance},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {853--861},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  topic = {kr;relevance;}
  }

@incollection{ lakemeyer:1995b,
  author = {Gerhard Lakemeyer},
  title = {Relevance in a Logic of Only Knowing about and Its
  	Axiomatization},
  booktitle = {Knowledge and Belief in Philosophy and Artificial
  	Intelligence},
  publisher = {Akedemie Verlag},
  year = {1995},
  editor = {Armin Laux and Heinrich Wansing},
  pages = {163--173},
  address = {Berlin},
  rtnote = {In RHT collection.},
  topic = {autoepistemic-logic;relevance;}
  }

@incollection{ lakemeyer:1996a,
  author = {Gerhard Lakemeyer},
  title = {Only Knowing in the Situation Calculus},
  booktitle = {{KR}'96: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1996},
  editor = {Luigia Carlucci Aiello and Jon Doyle and Stuart Shapiro},
  pages = {14--25},
  address = {San Francisco, California},
  topic = {kr;reasoning-about-knowledge;autoepistemic-logic;
  	situation-calculus;action-formalisms;}
  }

@article{ lakemeyer:1996b,
  author = {Gerhard Lakemayer},
  title = {Limited Reasoning in First-Order Knowledge Bases
  	With Full Introspection},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {84},
  number = {1--2},
  pages = {209--255},
  topic = {tractable-logics;epistemic-logics;}
  }

@article{ lakemeyer:1997a,
  author = {Gerhard Lakemeyer},
  title = {Relevance from an Epistemic Perspective},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {97},
  number = {1--2},
  pages = {137--167},
  topic = {relevance;epistemic-logic;}
  }

@inproceedings{ lakemeyer-levesque:1988a,
  author = {Gerhard Lakemeyer and Hector J. Levesque},
  title = {A Tractable Knowledge Representation Service with Full
  	Introspection},
  booktitle = {Proceedings of the Second Conference on Theoretical
  	Aspects of Reasoning about Knowledge},
  year = {1988},
  editor = {Moshe Y. Vardi},
  pages = {145--159},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  topic = {knowledge-representation;complexity-in-AI;
  	tractable-logics;epistemic-logic;}
  }

@incollection{ lakemeyer-levesque:1998a,
  author = {Gerhard Lakemeyer and Hector J. Levesque},
  title = {${\cal AOL}$ A Logic of Acting, Sensing, Knowing,
		and Only Knowing},
  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 = {316--327},
  address = {San Francisco, California},
  topic = {kr;action-logic;sensing-formalisms;autoepistemic-logic;
  	kr-course;}
  }

@incollection{ lakemeyer-levesque:2002a,
  author = {Gerhard Lakemeyer and Hector J. Levesque},
  title = {Evaluation-Based Reasoning with Disjunctive Information
  	in First-Order Knowledge Bases},
  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 = {73--81},
  address = {San Francisco, California},
  topic = {kr;complexity-in-AI;query-evaluation;}
  }

@incollection{ lakemeyer-levesque:2004a,
  author = {Gerhard Lakemeyer and Hector Levesque},
  title = {Situations, Si!  Situation Terms, No!},
  booktitle = {{KR}2004: Principles of Knowledge Representation and
  		Reasoning},
  publisher = {AAAI Press},
  year = {2004},
  editor = {Didier Dubois and Christopher A. Welty and Mary-Anne Williams},
  pages = {516--526},
  address = {Menlo Park, California},
  topic = {action-formalisms;temporal-reasoning;}
  }

@incollection{ lakemeyer-meyer_s:1994a,
  author = {Gerhard Lakemeyer and Susanne Meyer},
  title = {Enhancing the Power of a Decidable First-Order Reasoner},
  booktitle = {{KR}'94: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
  pages = {403--413},
  address = {San Francisco, California},
  topic = {kr;theorem-proving;complexity-in-AI;kr-course;}
  }

@book{ lakemeyer-nebel:1994a,
  editor = {Gerhard Lakemeyer and Bernhard Nebel},
  title = {Foundations of Knowledge Representation and Reasoning},
  publisher = {Springer-Verlag},
  year = {1994},
  address = {Berlin},
  rtnote = {UMich Media Union Library, Q 387 .F681.},
  topic = {knowledge-representation;}
 }

@book{ lakemeyer-nebel:1994b,
  editor = {Gerhard Lakemeyer and Bernhard Nebel},
  title = {Foundations of Knowledge Representation and Reasoning},
  publisher = {Springer-Verlag},
  year = {1994},
  address = {Berlin},
  ISBN = {0387581073},
  rtnote = {UMich Media Union Library, Q 387 .F681 1994.},
  topic = {kr;}
 }

@book{ lakemeyer-nebel:2002a,
  editor = {Gerhard Lakemeyer and Berhard Nebel},
  title = {Exploring Artificial Intelligence in the New Millenium},
  publisher = {Morgan Kaufman},
  year = {2002},
  address = {San Francisco},
  ISBN = {1--55860-811-7},
  topic = {AI-survey;}
 }

@techreport{ lakoff_g:1965a,
  author = {George Lakoff},
  title = {On the Nature of Syntactic Irreguarity},
  institution = {The Computation Laboratory of Harvard University},
  number = {NSF-16},
  year = {1965},
  address = {Cambridge, Massachusetts},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {syntax;irregularity;}
  }

@incollection{ lakoff_g:1971a,
  author = {George Lakoff},
  title = {Presupposition and Relative Well-Formedness},
  booktitle = {Semantics: An Interdisciplinary Reader in Philosophy,
  	Linguistics, and Psychology},
  publisher = {Cambridge University Press},
  year = {1971},
  editor = {Danny D. Steinberg and Leon A. Jacobovits},
  pages = {329--340},
  address = {Cambridge, England},
  topic = {presupposition;pragmatics;}
  }

@incollection{ lakoff_g:1971b,
  author = {George Lakoff},
  title = {On Generative Semantics},
  booktitle = {Semantics: An Interdisciplinary Reader in Philosophy,
  	Linguistics, and Psychology},
  publisher = {Cambridge University Press},
  year = {1971},
  editor = {Danny D. Steinberg and Leon A. Jacobovits},
  pages = {232--296},
  address = {Cambridge, England},
  topic = {generative-semantics;}
  }

@incollection{ lakoff_g:1972a,
  author = {George Lakoff},
  title = {Linguistics and Natural Logic},
  booktitle = {Semantics of Natural Language},
  publisher = {D. Reidel Publishing Co.},
  year = {1972},
  editor = {Donald Davidson and Gilbert H. Harman},
  pages = {545--665},
  address = {Dordrecht},
  topic = {nl-semantics;generative-semantics;}
  }

@article{ lakoff_g:1973a,
  author = {George Lakoff},
  title = {Hedges: A Study in Meaning Criteria and the Logic
  	of Fuzzy Concepts},
  journal = {Journal of Philosophical Logic},
  year = {1973},
  volume = {2},
  number = {4},
  pages = {458--508},
  topic = {vagueness;}
  }

@book{ lakoff_g:1973b,
  author = {George Lakoff},
  title = {Linguistics and Natural Logic},
  publisher = {Linguistics Department, University of Michigan},
  year = {1973},
  address = {Ann Arbor, Michigan},
  note = {Studies in Generative Semantics, No. 1},
  rtnote = {In RHT Collection.  LLP edited shelves.},
  topic = {generative-semantics;nl-semantics;}
 }

@incollection{ lakoff_g:1975a,
  author = {George Lakoff},
  title = {Pragmatics in Natural Logic},
  booktitle = {Formal Semantics of Natural Language},
  publisher = {Cambridge University Press},
  year = {1975},
  editor = {Edward L. Keenan},
  pages = {253--286},
  address = {Cambridge, England},
  topic = {pragmatics;generative-semantics;}
  }

@book{ lakoff_g:1987a,
  author = {George Lakoff},
  title = {Women, Fire, and Dangerous Things: What Categories Reveal
  	about the Mind},
  publisher = {Chicago : University of Chicago Press},
  year = {1987},
  address = {Chicago},
  ISBN = {0226468038},
  rtnote = {UMich Graduate Library, P37 .L3441 1987.},
  xref = {Review: weld:1988a.},
  topic = {connectionism;foundations-of-semantics;}
 }

@incollection{ lakoff_g:1993a,
  author = {George

repository: sergiud/bibtex-spirit

repo_name: sergiud/bibtex-spirit