text:
},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Eduard Hovy},
  pages = {2--7},
  address = {New Brunswick, New Jersey},
  topic = {NL-generation;multimedia-generation;explanation;}
  }

@article{ lester-porter_bw:1997a,
  author = {James C. Lester and Bruce W. Porter},
  title = {Developing and Empirically Evaluating Robust Explanation
  	Generators: The {\sc Knight} Experiments},
  journal = {Computational Linguistics},
  year = {1997},
  volume = {23},
  number = {1},
  pages = {65--101},
  topic = {explanation;nl-generation;}
  }

@article{ leszcynskajasion:2009a,
  author = {Dorota Leszcy\'nska-Jasion},
  title = {A Loop-Free Decision Procedure for Modal Propositional Logics
  		{K4}, {S4} and {S5}},
  journal = {Journal of Philosophical Logic},
  year = {2009},
  volume = {38},
  number = {2},
  pages = {151--177},
  topic = {modal-logic;decidability;}
  }

@incollection{ letz:1998a,
  author = {R. Letz},
  title = {Clausal Tableaux},
  booktitle = {Automated Deduction: A Basis for Applications.
  	Volume {I}, Foundations: Calculi and Methods},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {Wolfgang Bibel and Peter H. Schmidt},
  address = {Dordrecht},
  missinginfo = {A's 1st name, pages},
  topic = {theorem-proving;applied-logic;proof-theory;}
  }

@article{ leuenberger:2006a,
  author = {Stephen Leuenberger},
  title = {A New Problem of Descriptive Power},
  journal = {The Journal of Philosophy},
  year = {2006},
  volume = {103},
  number = {1},
  pages = {145--162},
  topic = {philosophy-of-possible-worlds;}
  }

@article{ leung_ct-chow_tws:1999a,
  author = {Chi-Tat Leung and Tommy W.S. Chow},
  title = {Adaptive Regularization Parameter Selection Method
  	for Enhancing Generalization Capability of Neural
	Networks},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {107},
  number = {2},
  pages = {347--356},
  topic = {connectionist-learning;}
  }

@article{ leung_ct-chow_tws:2001a,
  author = {Chi-Tat Leung and Tommy W.S. Chow},
  title = {Least Third-Order Cumulant Method with Adaptive
  	Regularization Parameter Selection for Neural Networks},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {127},
  number = {2},
  pages = {169--197},
  topic = {connectionist-models;statistical-analysis-of-algorithms;}
  }

@article{ leung_e-reinhold:1981a,
  author = {E. Leung and H. Rheinhold},
  title = {Development of Pointing as a Social Gesture},
  journal = {Developmental Psychology},
  year = {1981},
  volume = {17},
  pages = {215--220},
  missinginfo = {A's 1st name, number},
  topic = {developmental-psychology;demonstratives;}
  }

@incollection{ leuschel:1994a,
  author = {Michael Leuschel},
  title = {Partial Evaluation of the `Real Thing'\,},
  booktitle = {Logic Programming Synthesis and Transformation,
  	Meta-Programming in Logic: Fourth International Workshops,
	{LOBSTR}'94 and	{META}'94, Pisa, Italy},
  publisher = {Springer-Verlag},
  year = {1994},
  editor = {Laurent Fribourg and Franco Turini},
  pages = {122--137},
  address = {Berlin},
  topic = {logic-programming;}
  }

@incollection{ levelt:1982a,
  author = {Willian J.M. Levelt},
  title = {Linearization in Describing Spatial Networks},
  booktitle = {Processes, Beliefs, and Questions},
  publisher = {D. Reidel Publishing Company},
  year = {1982},
  editor = {Stanley Peters and Esa Saarinen},
  pages = {199--220},
  address = {Dordrecht},
  topic = {nl-semantics;discourse;spatial-reasoning;pragmatics;}
  }

@article{ levene-fenner:2001a,
  author = {Mark Levene and Trevor I. Fenner},
  title = {The Effect of Mobility on Minimaxing of Game Trees with
  	Random Leaf Values},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {130},
  number = {1},
  pages = {1--26},
  topic = {game-trees;minimaxing;search;}
  }

@article{ levenick:1998a,
  author = {Jim Levenick},
  title = {Showing the Way: A Review of the Second Edition of
  	{H}olland's {\em Adaptation in Natural and Artificial Systems}},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {100},
  number = {1--2},
  pages = {331--338},
  xref = {Review of: holland_jh:1992a.},
  topic = {complex-adaptive-systems;genetic-algorithms;}
  }

@article{ levesgue:1988b1,
  author = {Hector J. Levesque},
  title = {Logic and the Complexity of Reasoning},
  journal = {Journal of Philosophical Logic},
  year = {1988},
  volume = {17},
  number = {4},
  pages = {355--389},
  xref = {Republication levesgue:1988b2},
  topic = {kr;complexity-in-AI;vivid-reasoning;kr-course;}
  }

@incollection{ levesgue:1988b2,
  author = {Hector J. Levesque},
  title = {Logic and the Complexity of Reasoning},
  booktitle = {Philosophical Logic and Artificial Intelligence},
  publisher = {D. Reidel Publishing Co.},
  year = {1989},
  editor = {Richmond H. Thomason},
  pages = {73--107},
  address = {Dordrecht},
  xref = {Original publication levesgue:1988b1},
  topic = {kr;complexity-in-AI;vivid-reasoning;kr-course;}
  }

@article{ levesque:1984a,
  author = {Hector J. Levesque},
  title = {Foundations of a Functional Approach to Knowledge
  	Representation},
  journal = {Artificial Intelligence},
  year = {1984},
  volume = {23},
  number = {2},
  pages = {155--212},
  acontentnote = {Abstract:
     We present a new approach to knowledge representation where
     knowledge bases are characterized not in terms of the structures
     they use to represent knowledge, but functionally, in terms of
     what they can be asked or told about some domain.  Starting with
     a representation system that can be asked questions and told
     facts in a full first-order logical language, we then define
     ask- and tell-operations over an extended language that can
     refer not only to the domain but to what the knowledge base
     knows about that domain.  The major technical result is that the
     resulting knowledge, which now includes auto-epistemic aspects,
     can still be represented symbolically in first-order terms.  We
     also consider extensions to the framework such as defaults and
     definitional facilities.  The overall result is a formal
     foundation for knowledge representation which, in accordance
     with current principles of software design, cleanly separates
     functionality from implementation structure.  },
  topic = {kr;query-languages;autoepistemic-logic;}
  }

@inproceedings{ levesque:1984b,
  author = {Hector J. Levesque},
  title = {A Logic of Implicit and Explicit Belief},
  booktitle = {Proceedings of the Fourth National Conference on
              Artificial Intelligence},
  year = {1984},
  pages = {198--202},
  organization = {American Association for Artificial Intelligence},
  missinginfo = {editor, publisher, address},
  topic = {propositional-attitudes;epistemic-logic;resource-limited-reasoning;
  	hyperintensionality;belief;}
  }

@incollection{ levesque:1984c,
  author = {Hector J. Levesque},
  title = {The Logic of Incomplete Knowledge Bases},
  booktitle = {On Conceptual Modelling:  Perspectives from Artificial
  	Intelligence, Databases and Programming Languages},
  publisher = {Springer-Verlag},
  year = {1984},
  editor = {Michael L. Brodie and John Mylopoulos and Joachim W. Schmidt},
  pages = {163--189},
  address = {Berlin},
  rtnote = {In RHT collection.},
  topic = {foundations-of-kr;reasoning-about-uncertainty;}
  }

@article{ levesque:1986a,
  author = {Hector J. Levesque},
  title = {Making Believers out of Computers},
  journal = {Artificial Intelligence},
  year = {1986},
  volume = {30},
  number = {1},
  pages = {81--108},
  rtnote = {Source for this was HL's C&T Lecture at IJCAI.  This is
  		good backgr in connection with the "fundamental
		tradeoff" paper.},
  rtnote = {In RHT collection.},
  topic = {kr;foundations-of-kr;kr-course;}
  }

@article{ levesque:1987a,
  author = {Hector J. Levesque},
  title = {Taking Issue: Guest Editor's Introduction},
  journal = {Computational Intelligence},
  year = {1987},
  volume = {3},
  issue = {3},
  pages = {149--150},
  xref = {kr;foundations-of-kr;logic-in-AI;}
  }

@inproceedings{ levesque:1988a,
  author = {Hector J. Levesque},
  title = {The Interaction with Incomplete Knowledge Bases:  A
  	Formal Treatment},
  booktitle = {Proceedings of the Seventh International Joint
  	Conference on Artificial Intelligence},
  year = {1988},
  editor = {Reid Smith and Tom Mitchell},
  pages = {240--245},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address =  {Menlo Park, CA},
  topic = {knowledge-representation;}
  }

@inproceedings{ levesque:1988c,
  author = {Hector J. Levesque},
  title = {Comments on `Knowledge, Representation, and Rational
  	Self-Government'\, },
  booktitle = {Proceedings of the Second Conference on Theoretical
  	Aspects of Reasoning about Knowledge},
  year = {1988},
  editor = {Moshe Y. Vardi},
  pages = {361--362},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  topic = {logic-in-AI;}
  }

@inproceedings{ levesque:1989a,
  author = {Hector J. Levesque},
  title = {A Knowledge-Level Account of Abduction},
  booktitle = {Proceedings of the Eleventh International Joint
  	Conference on Artificial Intelligence},
  year = {1989},
  editor = {N.S. Sridharan},
  pages = {1061--1067},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  topic = {kr;abduction;epistemic-logic;kr-course;}
  }

@article{ levesque:1990a,
  author = {Hector J. Levesque},
  title = {All {I} Know: A Study in Autoepistemic Logic},
  journal = {Artificial Intelligence},
  volume = {42},
  number = {3},
  year = {1990},
  pages = {263--309},
  topic = {nonmonotonic-logic;autoepistemic-logic;}
 }

@incollection{ levesque:1991a,
  author = {Hector J. Levesque},
  title = {Belief and Introspection},
  booktitle = {Artificial Intelligence and Mathematical Theory of
  	Computation},
  publisher = {Academic Press},
  year = {1991},
  editor = {Vladimir Lifschitz},
  pages = {247--260},
  address = {San Diego},
  topic = {belief;introspection;}
  }

@incollection{ levesque:1994a,
  author = {Hector J. Levesque},
  title = {Knowledge, Action, and Ability in the Situation Calculus},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
  	Proceedings of the Fifth Conference ({TARK} 1994)},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Ronald Fagin},
  pages = {1--4},
  address = {San Francisco},
  contentnote = {A brief survey talk.},
  topic = {action-formalisms;}
  }

@techreport{ levesque:1995a,
  author = {Hector J. Levesque},
  title = {What is Planning in the Presence of Sensing?},
  institution = {Computer Science Department, University of
  	Toronto},
  year = {1995},
  address = {Toronto},
  missinginfo = {number},
  topic = {planning;cognitive-robotics;}
  }

@incollection{ levesque:1998a,
  author = {Hector J. Levesque},
  title = {A Completeness Result for Reasoning with Incomplete
		First-Order Knowledge Bases},
  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 = {14--23},
  address = {San Francisco, California},
  topic = {kr;vivid-reasoning;uncertainty-in-AI;kr-complexity-analysis;
		truth-value-gaps;theorem-proving;kr-course;}
  }

@incollection{ levesque:1998b,
  author = {Hector J. Levesque},
  title = {What Robots Can Do (Abstract)},
  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 = {651},
  address = {San Francisco, California},
  topic = {kr;cognitive-robotics;kr-course;}
  }

@inproceedings{ levesque:1999a,
  author = {Hector J. Levesque},
  title = {Two Approaches to Efficient Open-World Reasoning},
  booktitle = {Workshop on Logic-Based Artificial Intelligence,
	       Washington, DC, June 14--16, 1999},
  year = {1999},
  editor = {Jack Minker},
  publisher = {Computer Science Department, University of Maryland},
  address = {College Park, Maryland},
  topic = {foundations-of-AI;theorem-proving;AI-algorithms;}
  }

@inproceedings{ levesque-brachman:1984a,
  author = {Hector J. Levesque and Ronald J. Brachman},
  title = {A Fundamental Tradeoff in {KR} and Reasoning},
  booktitle = {Proceedings of the CSCSI/SCEIO Conference 1984},
  year = {1984},
  pages = {141--152},
  xref = {Revised in Brachman and Levesque; Readings in Knowledge
  	Representation; 1985; see levesque-brachman:1985a},
  topic = {kr;foundations-of-kr;kr-course;}
  }

@incollection{ levesque-brachman:1985a,
  author = {Hector J. Levesque and Ronald J. Brachman},
  title = {A Fundamental Tradeoff in {KR} and Reasoning},
  booktitle = {Readings in Knowledge Representation},
  publisher = {Morgan Kaufmann},
  year = {1995},
  editor = {Ronald J. Brachman and Hector J. Levesque},
  address = {Los Altos, California},
  xref = {Revision of levesque-brachman:1984a},
  missinginfo = {pages},
  topic = {kr;foundations-of-kr;complexity-in-AI;kr-course;}
  }

@article{ levesque-etal:forthcominga,
  author = {Hector J. Levesque and Raymond Reiter and Yves
  	Lesp\'erance and Fangzhen Lin and Richard B. Scherl},
  title = {{\sc golog}: a Logic Programming Language for Dynamic
  	Domains},
  journal = {Journal of Logic Programming},
  year = {1997},
  missinginfo = {number, volume, year, pages},
  topic = {cognitive-robotics;planning-systems;temporal-reasoning;}
  }

@book{ levesque-lakemeyer:2000a,
  author = {Hector J. Levesque and Gerhard Lakemeyer},
  title = {The Logic of Knowledge Bases},
  publisher = {The {MIT} Press},
  year = {2000},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-12232-4 (hardback)},
  rtnote = {UMich Media Union Library, Q 387 .L481 2000.},
  rtnote = {In RHT collection.  AI Shelves.},
  topic = {kr;epistemic-logic;nonmonotonic-logic;autepistemic-logic;}
 }

@article{ levi_g-sirovich:1976a,
  author = {Giorgio Levi and Franco Sirovich},
  title = {Generalized AND/OR graphs},
  journal = {Artificial Intelligence},
  year = {1976},
  volume = {7},
  number = {3},
  pages = {243--259},
  topic = {and/or-graphs;}
  }

@book{ levi_i:1967a,
 author = {Isaac Levi},
 title = {Gambling With Truth: an Essay on Induction and the Aims of
 	Science},
 publisher = {Knopf},
 year = {1967},
 address = {New York},
 topic = {decision-theory;philosophy-of-science;}
 }

@article{ levi_i:1977a,
  author = {Isaac Levi},
  title = {Direct Inference},
  journal = {The Journal of Philosophy},
  year = {1997},
  volume = {74},
  pages = {5--29},
  topic = {foundations-of-statistics;probability-kinematics;}
  }

@article{ levi_i:1977b,
  author = {Isaac Levi},
  title = {Subjunctives, Dispositions, and Chances},
  journal = {Synt\`hese},
  year = {1977},
  volume = {34},
  pages = {423--455},
  missinginfo = {number},
  topic = {dispositions;conditionals;subjunctive-mood;}
 }

@article{ levi_i:1978a,
  author = {Isaac Levi},
  title = {Coherence, Regularity, and Conditional Probability},
  journal = {Theory and Decision},
  year = {1978},
  volume = {9},
  pages = {1--15},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {probability-kinematics;}
  }

@book{ levi_i:1980a,
  author = {Isaac Levi},
  title = {The Enterprise of Knowledge},
  publisher = {The {MIT} Press},
  year = {1980},
  address = {Cambridge, Massachusetts},
  xref = {Review: },
  topic = {foundations-of-probability;belief-revision;probability-kinematics;}
 }

@article{ levi_i:1982a,
  author = {Isaac Levi},
  title = {A Note on {N}ewcombmania},
  journal = {The Journal of Philosophy},
  year = {1982},
  volume = {74},
  number = {6},
  pages = {337--342},
  topic = {Newcomb-problem;}
  }

@book{ levi_i:1984a,
  author = {Isaac Levi},
  title = {Decisions and Revisions: Philosophical Essays
  	on Knowledge and Value},
  publisher = {Cambridge University Press},
  year = {1984},
  address = {Cambridge},
  ISBN = {0521254574},
  rtnote = {UMich Graduate Library, BD161 .L3791 1984},
  topic = {foundations-of-statistics;probability-kinematics;
  	philosophy-of-science;}
 }

@incollection{ levi_i:1984b,
  author = {Isaac Levi},
  title = {Serious Possibility},
  booktitle = {Decisions and Revisions: Philosophical Essays
  	on Knowledge and Value},
  publisher = {Cambridge University Press},
  address = {Cambridge, England},
  year = {1984},
  editor = {Isaac Levi},
  missinginfo = {pages},
  topic = {possibility;}
  }

@article{ levi_i:1987a,
  author = {Isaac Levi},
  title = {Review of \emph{{C}hange in View}, by {G}ilbert {H}arman},
  journal = {The Journal of Philosophy},
  year = {1987},
  volume = {84},
  number  = {7},
  pages = {376--384},
  xref = {Review of harman_gh:1986a.},
  topic = {belief-revision;limited-rationality;}
  }

@article{ levi_i:1988a,
  author = {Isaac Levi},
  title = {The Iteration of Conditionals and the
  	{R}amsey Test},
  journal = {Synth\'ese},
  year = {1988},
  volume = {76},
  number = {1},
  pages = {49--81},
  topic = {conditionals;probability-kinematics;cccp;}
  }

@incollection{ levi_i:1988b,
  author = {Isaac Levi},
  title = {Four Themes in Statistical Explanation},
  booktitle = {Causation in Decision, Belief Change, and Statistics,
  	Vol. 2},
  publisher = {Kluwer Academic Publishers},
  year = {1988},
  editor = {William L. Harper and Brian Skyrms},
  pages = {195--222},
  address = {Dordrecht},
  topic = {foundations-of-probability;explanation;statistical-explanation;}
  }

@article{ levi_i:1990a,
  author = {Isaac Levi},
  title = {Chance},
  journal = {Philosophical Topics},
  year = {1990},
  volume = {18},
  number = {2},
  pages = {117--149},
  topic = {foundations-of-probability;}
  }

@book{ levi_i:1991a,
  author = {Isaac Levi},
  title = {The Fixation of Belief and Its Undoing: Changing
		Beliefs through Inquiry},
  publisher = {Cambridge University Press},
  year = {1991},
  address = {Cambridge, England},
  ISBN = {0521412668},
  rtnote = {UMich Graduate Library, BD 215 .L451 1991},
  topic = {foundations-of-probability;belief-revision;
 	statistical-inference;}
 }

@book{ levi_i:1996a,
  author = {Isaac Levi},
  title = {For the Sake of Argument: {R}amsey Test Conditionals,
  	Inductive Inference, and Nonmonotonic Reasoning},
  publisher = {Cambridge University Press},
  year = {1996},
  address = {Cambridge, England},
  xref = {Review: morreau:1998a.},
  topic = {conditionals;nonmonotonic-reasoning;induction;
  	belief-kinematics;probability-kinematics;}
 }

@article{ levi_i:1997a,
  author = {Isaac Levi},
  title = {Review of \emph{{M}aking Choices: A Recasting of Decision
  	Theory}, by {F}rederic {S}chick},
  journal = {The Journal of Philosophy},
  year = {1997},
  volume = {94},
  number = {11},
  pages = {588--597},
  xref = {Review of schick_f:1997a.},
  topic = {foundations-of-decision-theory;moral-conflict;}
  }

@book{ levi_i:1997b,
  author = {Isaac Levi},
  title = {The Covenant of Reason: Rationality and the
  	Commitments of Thought},
  publisher = {Cambridge University Press},
  year = {1997},
  address = {Cambridge, Massachusetts},
  ISBN = {0521572886 (hardcover)},
  rtnote = {UMich Graduate Library, BC 177 .L481 1997.},
  topic = {rationality;statistical-inference;}
 }

@article{ levi_i:2000a,
  author = {Isaac Levi},
  title = {Review of \emph{{T}he Foundations of Causal Decision
  	Theory}, by {J}ames {M}. {J}oyce},
  journal = {The Journal of Philosophy},
  year = {2000},
  volume = {97},
  number = {2},
  pages = {387--402},
  xref = {Review of joyce:1999a.},
  topic = {causal-decision-theory;}
  }

@article{ levi_i:2003a,
  author = {Isaac Levi},
  title = {Counterexamples to Recovery and the Filtering Condition},
  journal = {Studia Logica},
  year = {2003},
  volume = {75},
  number = {2},
  pages = {209--218},
  topic = {belief-revision;}
  }

@book{ levi_jn:1978a,
  author = {Judith N. Levi},
  title = {The Syntax and Semantics of Complex Nominals},
  publisher = {Academic Press},
  year = {1978},
  address = {New York},
  topic = {compound-nouns;nominal-constructions;}
 }

@book{ levi_jn:1982a,
  author = {Judith N. Levi},
  title = {The Syntax and Semantics of Nonpredicating Adjectives in {E}nglish
		(Preliminary Version)},
  publisher = {Indiana University Linguistics Club},
  year = {1982},
  address = {310 Lindley Hall, Bloomington, Indiana},
  rtnote = {In RHT collection.},
  topic = {adjectives;semantics-of-adjectives;}
 }

@book{ levi_jn-walker_ag:1990a,
  editor = {Judith N. Levi and Anne Graffam Walker},
  title = {Language in the Judicial Process},
  publisher = {Plenum Press},
  year = {1990},
  address = {New York},
  rtnote = {Portions in RHT collection.},
  topic = {forensic-linguistics;}
 }

@book{ levin_b:1993a,
  author = {Beth C. Levin},
  title = {English Verb Classes and Alternations: a Preliminary
  	Investigation},
  year = {1993},
  publisher = {University of Chicago Press},
  address = {Chicago, IL},
  rtnote = {In RHT collection.  Shelf.},
  topic = {transitivity-alternations;argument-structure;lexical-semantics;
  	verb-classes;thematic-roles;}
  }

@incollection{ levin_b:1993b,
  author = {Beth C. Levin},
  title = {The Contribution of Linguistics},
  booktitle = {Challenges in Natural Language Processing},
  publisher = {Cambridge University Press},
  year = {1993},
  editor = {Madeleine Bates and Ralph Weischedel},
  pages = {76--98},
  address = {Cambridge, England},
  topic = {computational-lexical-semantics;lexical-semantics;verb-classes;}
  }

@article{ levin_b-atkins:1997a,
  author = {Beth Levin and Grace Song and B.T.S. Atkins},
  title = {Making Sense of Corpus Data: A Case Study of Verbs of
  	Sound},
  journal = {International Journal of Corpus Linguistics},
  year = {1997},
  volume = {2},
  number = {1},
  pages = {23--64},
  topic = {corpus-linguistics;lexical-semnantics;}
  }

@book{ levin_b-hovav:1995b,
  author = {Beth C. Levin and Malka Rappaport Hovav},
  title = {Unaccusativity: At the Syntax-Lexical Semantics
  	Interface},
  publisher = {The {MIT} Press},
  year = {1995},
  address = {Cambridge, Massachusetts},
  rtnote = {In RHT collection.  Shelf.},
  topic = {unaccusativity;lexical-semantics;}
 }

@incollection{ levin_b-hovav:1996a,
  author = {Beth Levin and Malka {Rappaport Hovav}},
  title = {Lexical Semantics and Syntactic Structure},
  booktitle = {The Handbook of Contemporary Semantic Theory},
  publisher = {Blackwell Publishers},
  year = {1996},
  address = {Oxford},
  editor = {Shalom Lappin},
  pages = {487--507},
  rtnote = {Reading notes on file.},
  topic = {lexical-semantics;}
  }

@inproceedings{ levin_b-hovav:1999a,
  author = {Beth Levin and Malka Rappaport Hovav},
  title = {Two Structures for Compositionally Derived Events},
  booktitle = {Proceedings from Semantics and Linguistic Theory {IX}},
  publisher = {Cornell University},
  year = {1999},
  editor = {Tanya Matthews and Devon Strolovitch},
  pages = {199--223},
  address = {Ithaca, New York},
  topic = {nl-semantics;event-semantics;event-structure;}
  }

@article{ levin_b-hovav:2001a,
  author = {Beth Levin and Malka Rappaport Hovav},
  title = {An Event Structure Account of {E}nglish Resultatives},
  journal = {Language},
  year = {2001},
  volume = {77},
  pages = {766--797},
  number = {4},
  topic = {event-structure;resultative-constructions;}
  }

@book{ levin_b-hovav:2005a,
  author = {Beth Levin and Malka Rappaport Hovav},
  title = {Argument Realization},
  publisher = {Cambridge University Press},
  year = {2005},
  address = {Cambridge, England},
  ISBN = {0-521-66331-8},
  xref = {Review: kipper:2006a},
  topic = {argument-structure;universal-grammar;semantic-roles;}
   }

@article{ levin_b-rappaport_m:1992a,
  author = {Beth Levin and Malka Rappaport},
  title = {The Formation of Adjectival Passives},
  journal = {Linguistic Inquiry},
  year = {1992},
  volume = {17},
  pages = {663--662},
  missinginfo = {number},
  topic = {argument-structure;}
  }

@article{ levin_b-rappaport_m:1992b,
  author = {Beth Levin and Malka Rappaport},
  title = {Non-Event {\em-er-}Nominals: A Probe Into Argument Structure},
  journal = {Linguistics},
  year = {1992},
  volume = {26},
  pages = {1067--1084},
  missinginfo = {number},
  topic = {argument-structure;}
  }

@incollection{ levin_b-rappaport_m:1992c,
  author = {Beth Levin and Malka {Rappaport Hovav}},
  title = {Wiping the Slate Clean: a Lexical Semantic Exploration},
  booktitle = {Lexical and Conceptual Semantics},
  year = {1992},
  editor = {Beth Levin and Steven Pinker},
  publisher = {Blackwell Publishers},
  pages = {123--151},
  address = {Oxford},
  topic = {lexical-semantics;verb-classes;verb-semantics;}
  }

@incollection{ levin_b-rappaport_m:1992d,
  author = {Beth Levin and Malka Rappaport},
  title = {The Lexical Semantics of Verbs of Motion: The Perspective From
  	Unaccusativity},
  booktitle = {Thematic Structure: Its Role in Grammar},
  publisher = {Foris Publications},
  year = {1992},
  editor = {Iggy M. Roca},
  pages = {247--269},
  address = {Berlin},
  rtnote = {In RHT collection.},
  topic = {thematic-roles;argument-structure;}
  }

@article{ levin_b-rappaport_m:1994a,
  author = {Beth Levin and Malka Rappaport},
  title = {A Preliminary Analysis of Causative Verbs in {E}nglish},
  journal = {Lingua},
  year = {1994},
  volume = {92},
  pages = {35--77},
  missinginfo = {number},
  topic = {lexical-semantics;nl-causatives;}
  }

@incollection{ levin_j:2009a,
  author = {Janet Levin},
  title = {Functionalism},
  booktitle = {The {S}tanford Encyclopedia of Philosophy},
  editor = {Edward N. Zalta},
  url = {http://plato.stanford.edu/archives/win2007/entries/functionalism/},
  year = {2009},
  topic = {philosophy-of-mind;functionalism;}
  }

@phdthesis{ levin_l:1986a,
  author = {Lori Levin},
  title = {Operations on Lexical Forms: Unaccusative Rules in
  	{G}ermanic Languages},
  school = {Linguistics Department, Massachusetts Institute of Technology},
  year = {1986},
  type = {Ph.D. Dissertation},
  address = {Cambridge, Massachusetts},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {unaccusatives;argument-structure;transitivity-alternations;}
 }

@book{ levin_l-etal:1983a,
  editor = {Lori Levin and Malka Rappaport and Annie Zaenen},
  title = {Papers in Lexical-Functional Grammar},
  publisher = {Indiana University Linguistics Club},
  year = {1983},
  address = {Bloomington, Indiana},
  ISBN = {0582291496},
  rtnote = {UMich GRADUATE LIBRARY, 820 C738.},
  contentnote = {TC:
     1. Mark Baker, "Objects, Themes, and Lexical Rules in {I}talian"
     2. K.P. Mohanan, "Move {NP} or Lexical Rules?: Evidence from
     		{M}alayalam Causativisation"
     3. Malka Rappaport, "On the Nature of Derived Nominals"
     4. Jane Simpson, "Resultatives"
     5. Annie Zaenen and Joan Maling, "Passive and oblique case" },
  topic = {LFG;}
 }

@incollection{ levin_l-etal:1999a,
  author = {Lori Levin and Klaus Ries and Ann Thym\'e-Gobbel and Alon
     		Levie},
  title = {Tagging of Speech Acts and Dialogue Games
		in {S}panish Call Home},
  booktitle = {Towards Standards and Tools for Discourse Tagging:
  	Proceedings of the Workshop},
  publisher = {Association for Computational Linguistics},
  year = {1999},
  editor = {Marilyn Walker},
  pages = {42--47},
  address = {Somerset, New Jersey},
  topic = {discourse-tagging;speech-acts;Spanish-language;}
  }

@incollection{ levin_l-nirenburg:1994a,
  author = {Lori Levin and Sergei Nirenburg},
  title = {Construction-Based {MT} Lexicons},
  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 = {321--338},
  address = {Pisa and Dordrecht},
  topic = {computational-lexicography;machine-translation;}
  }

@incollection{ levin_m:1978a,
  author = {Michael Levin},
  title = {Explanation and Predication in Grammar},
  booktitle = {Contemporary Perspectives in the Philosophy of Language},
  publisher = {University of Minnesota Press},
  year = {1978},
  editor = {Peter A. French and Theodore E. {Uehling, Jr.} and Howard
  	K. Wettstein},
  pages = {179--188},
  address = {Minneapolis},
  topic = {philosophy-of-linguistics;}
  }

@article{ levin_n-prince_e:1986a,
  author = {N. Levin and E. Prince},
  title = {Gapping and Causal Implicature},
  journal = {Papers in Linguistics},
  year = {1986},
  volume = {1986},
  missinginfo = {A's 1st name, number, pages},
  topic = {implicature;pragmatics;}
  }

@book{ levine_ds:1991a,
  author = {Daniel S. Levine},
  title = {Introduction To Neural and Cognitive Modeling},
  publisher = {Lawrence Erlbaum Associates},
  year = {1991},
  address = {Hillsdale, New Jersey},
  ISBN = {0805802673},
  rtnote = {UMich Media Union Library, QP 363.3 .L481 1991},
  xref = {Review: becker_s:1993a.},
  topic = {cognitive-modeling;neurocognition;}
 }

@book{ levine_ds:2000a,
  author = {Daniel S. Levine},
  title = {Introduction To Neural and Cognitive Modeling},
  publisher = {Lawrence Erlbaum Associates},
  edition = {2},
  year = {2000},
  address = {Mahwah, New Jersey},
  ISBN = {0805820051},
  rtnote = {UMich Media Union Library, QP 363.3 .L481 2000},
  topic = {cognitive-modeling;neurocognition;}
 }

@article{ levine_j1:1998a,
  author = {James Levine},
  title = {Acquaintance, Denoting Concepts, and Sense},
  journal = {The Philosophical Review},
  year = {1998},
  volume = {107},
  number = {3},
  pages = {415--445},
  contentnote = {This is about the Gray's elegy argument},
  topic = {on-denoting;Russell;}
  }

@article{ levine_j1:2001a,
  author = {James Levine},
  title = {Review of \emph{Russell's Hidden Substitutional Theory}, by
  	{G}regory {L}andini},
  journal = {The Philosophical Review},
  year = {2001},
  volume = {110},
  number = {1},
  pages = {138--141},
  xref = {Review of landini:1998a.},
  topic = {Russell;ramified-type-theory;}
  }

@book{ levine_j2:2001a,
  author = {Joseph Levine},
  title = {Purple Haze: The Puzzle of Consciousness},
  publisher = {Oxford University Press},
  year = {2001},
  address = {Oxford},
  xref = {Reviews: byrne_rmj:2002a.},
  rtnote = {In RHT Collection.  LLP single author shelves.},
  topic = {consciousness;philosophy-of-mind;mind-body-problem;}
 }

@inproceedings{ levine_jm:1990a,
  author = {John M. Levine},
  title = {{PRAGMA}---A Flexible Bidirectional Dialogue System},
  booktitle = {Proceedings of the Eighth National Conference on
              Artificial Intelligence},
  year = {1990},
  editor = {Thomas Dietterich and William Swartout},
  pages = {964--969},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, CA},
  topic = {nl-generation;nl-interpretation;}
  }

@incollection{ levine_jm-moreland:1991a,
  author = {John M. Levine and Richard L. Moreland},
  title = {Culture and Socialization in Work Groups},
  booktitle = {Perspectives on Socially Shared Cognition},
  publisher = {American Psychological Association},
  year = {1991},
  editor = {Lauren B. Resnick and John M. Levine and
  	Stephanie D. Teasley},
  pages = {257--279},
  address = {Washington, D.C.},
  topic = {social-psychology;shared-cognition;}
  }

@book{ levine_jr-etal:1992a,
  author = {John R. Levine and Tony Mason and Doug Brown},
  title = {Lex \& Yacc},
  edition = {2},
  publisher = {O'Reilly},
  year = {1992},
  address = {Beijing},
  ISBN = {1-56592-000-7},
  rtnote = {In RHT collection.  Computer Manuals Shelf.},
  topic = {programming-manual;}
 }

@book{ levine_rd-green_gm:1999a,
  editor = {Robert D. Levine and Georgia M. Green},
  title = {Studies in Contemporary Phrase Structure Grammar},
  publisher = {Cambridge University Press},
  year = {1999},
  address = {Cambridge, England},
  contentnote = {TC:
     1. Christopher D. Manning, Ivan A. Sag, and Masayo Iida, "The
     		Lexical Integrity of {J}apanese Causatives"
     2. Michael J.R. Johnston, "A Syntax and Semantics for
     		Purposive Adjuncts in {HPSG}"
     3. Takao Gunji, "On Lexicalist Treatments of {J}apanese
     		Causatives"
     4. Kathryn L.  Baker, "\,`Modal Flip' and Partial Verb Phrase
     		Fronting in {G}erman"
     5. Kazuhiko Fukushima, "A Lexical Comment on a Syntactic
     		Topic"
     6. Andreas Kathol, "Agreement and the Syntax-Morphology
     		Interface in {HPSG}"
     7. Erhard W.  Hinrichs and Tsuneko Nakazawa, "Partial {VP} and
     		Split {NP} Topicalization in {G}erman: An
		{HPSG} Analysis"  },
  topic = {nl-syntax;GPSG;HPSG;}
 }

@incollection{ levinson_d:2003a,
  author = {Dmitry Levinson},
  title = {Probabilistic Model-theoretic Semantics for Want},
  booktitle = {Proceedings from Semantics and Linguistic Theory {XIII}},
  publisher = {Cornell University},
  year = {2003},
  editor = {Robert B. Young and Yuping Zhou},
  pages = {202--239},
  address = {Ithaca, New York},
  topic = {nl-semantics;desire;}
  }

@phdthesis{ levinson_jp:1985a,
  author = {Joan Persily Levinson},
  title = {Punctuation and the Orthographic Sentence: A
		  Linguistic Analysis},
  school = {City University of New York},
  year = {1985},
  topic = {punctuation;}
}

@article{ levinson_r1:1995a,
  author = {Richard Levinson},
  title = {A General Programming Language for Unified Planning and
  	Control},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {76},
  number = {1--2},
  pages = {319--375},
  acontentnote = {Abstract:
     This paper presents a method for embedding predictive search
     techniques within a general-purpose programming language.  We
     focus on using this language to program the behavior of a
     real-time control system.  Our goal is the ability to write
     complex programs that can be interpreted by both a real-time
     controller and an associated planner.  The language provides an
     expressive action representation which captures the procedural
     complexities of practical control programs, yet can still be
     projected by a search-based planner.  To support integration with
     the real-time controller, the planner can provide useful advice
     when it is interrupted after an arbitrary amount of computation.
     The system provides a unified approach since the planner and the
     controller share identical data structures and algorithms for
     interpreting a shared action representation.  This unified
     representation facilitates very tight integration between the
     planner and the controller. },
  topic = {planning-formalisms;procedural-control;}
  }

@incollection{ levinson_r2:1992a,
  author = {Robert Levinson},
  title = {Pattern Associativity and the Retrieval of Semantic Networks},
  booktitle = {Semantic Networks in Artificial Intelligence},
  publisher = {Pergamon Press},
  year = {1992},
  editor = {Fritz Lehmann},
  pages = {573--600},
  address = {Oxford},
  topic = {kr;semantic-networks;kr-course;}
  }

@unpublished{ levinson_sc:1972a,
  author = {Stephen C. Levinson},
  title = {The Organization of Conversation},
  year = {1972},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.},
  topic = {pragmatics;}
  }

@unpublished{ levinson_sc:1973a,
  author = {Stephen C. Levinson},
  title = {Language and Society (That's All)},
  year = {1973},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.},
  topic = {pragmatics;}
  }

@unpublished{ levinson_sc:1973b,
  author = {Stephen C. Levinson},
  title = {Felicity Conditions as Applications of {G}rice's Maxims
		to Particular Speech Act Types},
  year = {1973},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.},
  topic = {pragmatics;speech-acts;}
  }

@article{ levinson_sc:1979a,
  author = {Stephen C. Levinson},
  title = {Activity Types and Language},
  journal = {Linguistics},
  year = {1979},
  volume = {17},
  number = {5/6},
  pages = {366--399},
  topic = {pragmatics;speech-acts;}
  }

@inproceedings{ levinson_sc:1979b,
  author = {Stephen C. Levinson},
  title = {Pragmatics and Social Deixis},
  booktitle = {Proceedings of the Fifth Annual Meeting of the
  	{B}erkeley {L}inguistics {S}ociety},
  year = {1979},
  pages = {206--223},
  organization = {Berkeley Linguistics Society},
  publisher = {Berkeley Linguistics Society},
  address = {Linguistics Department, University of California at
  	Berkeley},
  topic = {deixis;sociolinguistics;pragmatics;}
  }

@article{ levinson_sc:1980a,
  author = {Stephen C. Levinson},
  title = {Speech Act Theory: The State of the Art},
  journal = {Language and Linguistics Teaching: Abstracts},
  year = {1980},
  volume = {13},
  number = {1},
  pages = {5--24},
  rtnote = {In RHT collection.},
  topic = {pragmatics;speech-acts;}
  }

@incollection{ levinson_sc:1981a,
  author = {Stephen C. Levinson},
  title = {The Essential Inadequacies of Speech Act Models of Dialogue},
  booktitle = {Possibilities and Limitations of Pragmatics: Proceedings
  	Of The Conference at Urbino, July 8--14, 1979},
  publisher = {John Benjamins Publishing Company},
  year = {1981},
  editor = {Herman Parret and M. Sbis\`a and Jef Verschueren},
  pages = {473--492},
  address = {Amsterdam},
  missinginfo = {E's 1st name.},
  topic = {speech-acts;discourse;discourse-analysis;pragmatics;}
  }

@article{ levinson_sc:1981b,
  author = {Stephen C. Levinson},
  title = {Some Pre-Observations on the Modeling of Dialogue},
  journal = {Discourse Processes},
  year = {1981},
  volume = {4},
  number = {2},
  pages = {93--110},
  topic = {pragmatics;discourse;}
  }

@book{ levinson_sc:1983a,
  author = {Stephen C. Levinson},
  title = {Pragmatics},
  publisher = {Cambridge University Press},
  year = {1983},
  address = {Cambridge, {E}ngland},
  rtnote = {pragmatics-course;},
  topic = {pragmatics;}
 }

@incollection{ levinson_sc:1987a,
  author = {Stephen C. Levinson},
  title = {Minimization and Conversational Inference},
  booktitle = {The Pragmatic Perspective},
  publisher = {Benjamins},
  year = {1987},
  editor = {Jef Verschueren and Marcella Bertuccelli-Papi},
  pages = {61--127},
  address = {Amsterdam},
  topic = {implicature;pragmatics;}
  }

@article{ levinson_sc:1987b,
  author = {Stephen C. Levinson},
  title = {Implicature Explicated?},
  journal = {Behavioral and Brain Sciences},
  year = {1987},
  volume = {10},
  pages = {722--723},
  missinginfo = {number},
  topic = {implicature;relevance;}
  }

@article{ levinson_sc:1989a,
  author = {Stephen C. Levinson},
  title = {Review of \emph{{R}elevance}, by {D}an {S}perber and
  	{D}eirdre {W}ilson},
  journal = {Journal of Linguistics},
  year = {1989},
  volume = {25},
  pages = {455--472},
  missinginfo = {number},
  xref = {Review of sperber-wilson_d:1986a.},
  topic = {implicature;pragmatics;relevance-theory;context;}
  }

@unpublished{ levinson_sc:1991a,
  author = {Steven C. Levinson},
  title = {Squib: The Fate of {JR}},
  year = {1991},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.},
  missinginfo = {Year is a guess.  I don't know if this was ever
  	published.  It lumps Hobbs and me together on implicature
	and criticizes.},
  topic = {implicature;pragmatics;accommodation;}
  }

@book{ levinson_sc:2001a,
  author = {Steven C. Levinson},
  title = {Presumptive Meanings:  The Theory of Generalized
  		Conversational Implicatures},
  publisher = {The {MIT} Press},
  year = {2001},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-12218-9},
  xref = {Review: green_nl:2001a.},
  rtnote = {In RHT collection.},
  xref = {Review: green_n:2001a.},
  topic = {implicature;}
 }

@unpublished{ levinson_sc-atlas:1973a,
  author = {Stephen C. Levinson and Jay Atlas},
  title = {What {IS} an Implicature)},
  year = {1973},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.},
  topic = {pragmatics;implicature;}
  }

@book{ levitt_n:1999a,
  author = {Norman Levitt},
  title = {Prometheus Bedeviled: Science and the Contradictions Of
    Contemporary Culture},
  publisher = {Rutgers University Press},
  year = {1999},
  address = {New Brunswick, New Jersey},
  ISBN = {0813526523},
  rtnote = {UMich Graduate Library, Q 175.5 .L4751 1999.},
  topic = {science-and-contemporary-culturemmentary;}
 }

@article{ levitt_t-lawton:1990a,
  author = {T. Levitt and D. Lawton},
  title = {Qualitative Navigation for Mobile Robots},
  journal = {Artificial Intelligence},
  year = {1990},
  volume = {305--360},
  pages = {305--360},
  missinginfo = {A's 1st name, number},
  topic = {motion-planning;spatial-reasoning;qualitative-reasoning;}
  }

@article{ levy_al-weld:2000a,
  author = {Alon Y. Levy and Daniel S. Weld},
  title = {Intelligent Internet Systems},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {118},
  number = {1--2},
  pages = {1--14},
  topic = {AI-and-the-internet;AI-editorial;}
  }

@inproceedings{ levy_ay:1999a,
  author = {Alon Y. Levy},
  title = {Logic-Based Techniques in Data Integration},
  booktitle = {Workshop on Logic-Based Artificial Intelligence,
	       Washington, DC, June 14--16, 1999},
  year = {1999},
  editor = {Jack Minker},
  publisher = {Computer Science Department, University of Maryland},
  address = {College Park, Maryland},
  topic = {data-integration;}
  }

@incollection{ levy_ay:2000a,
  author = {Alon Y. Levy},
  title = {Logic-Based Techniques in Data Integration},
  booktitle = {Logic-Based Artificial Intelligence},
  publisher = {Kluwer Academic Publishers},
  year = {2000},
  editor = {Jack Minker},
  pages = {575--595},
  address = {Dordrecht},
  topic = {logic-in-AI;description-logics;knowledge-integration;}
  }

@article{ levy_ay-etal:1997a,
  author = {Alon Y. Levy and Richard E. Fikes and Yehoshua Sagiv},
  title = {Speeding up Inferences Using Relevance Reasoning:  A
		Formalism and Algorithms},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {97},
  number = {1--2},
  pages = {83--136},
  topic = {relevance;AI-algorithms;}
  }

@article{ levy_ay-etal:1997b,
  author = {Alon Y. Levy and Yumi Iwasaki and Richard Fikes},
  title = {Automated Model Selection for Simulation Based on
		Relevance Reasoning},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {96},
  number = {2},
  pages = {351--394},
  topic = {qualitative-simulation;model-checking;}
  }

@article{ levy_ay-rousset:1998a,
  author = {Alon Y. Levy and Marie-Christine Rousset},
  title = {Verification of Knowledge Bases Based on Containment
  	Checking},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {101},
  number = {1--2},
  pages = {227--250},
  topic = {description-logics;knowledge-base-verification;}
  }

@article{ levy_ay-rousset:1998b,
  author = {Alon A. Levy and Marie-Christine Rousset},
  title = {{CARIN}: A Representation Language Combining {H}orn Rules
  	and Description Logics},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {104},
  number = {1--2},
  pages = {165--209},
  topic = {kr;krcourse;extensions-of-kl1;logic-programming;}
  }

@inproceedings{ levy_ay-sagiv:1993a,
  author = {Alon Levy and Yehoshua Sagiv},
  title = {Exploiting Irrelevance Reasoning to Guide Problem Solving},
  booktitle = {Proceedings of the Thirteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1993},
  editor = {Ruzena Bajcsy},
  pages = {138--144},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  rtnote = {In RHT collection.},
  topic = {theorem-proving;relevance;}
  }

@incollection{ levy_f:1991a,
  author = {F. L\'evy},
  title = {Computing Extensions of Default Logics},
  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 = {219--226},
  address = {Berlin},
  topic = {default-logic;}
  }

@book{ levy_m:1997a,
  author = {Michael Levy},
  title = {Computer-Assisted Language Learning: Context and
  	Conceptualization},
  publisher = {Oxford University Press},
  year = {1997},
  address = {Oxford},
  rtnote = {In RHT collection.  AI Shelves.},
  topic = {intelligent-computer-assisted-language-instruction;}
 }

@article{ levy_n:2008a,
  author = {Neil Levy},
  title = {Counterfactual Intervention and Agents' Capabilities},
  journal = {The Journal of Philosophy},
  year = {2008},
  volume = {105},
  number = {5},
  pages = {223--229},
  xref = {Critical Commentary on: frankfurt:1969a},
  topic = {blameworthiness;freedom;}
  }

@incollection{ lewin_i:1995a,
  author = {Ian Lewin},
  title = {Indexical Dynamics},
  booktitle = {Applied Logic: How, What, and Why?  Logical Approaches to
       Natural Language},
  publisher = {Kluwer Academic Publishers},
  year = {1995},
  editor = {L\'aszl\'o P\'olos and Michael Masuch},
  pages = {121--151},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {indexicals;nl-quantifiers;anaphora;ellipsis;dynamic-semantics;
  	context;}
  }

@article{ lewin_r-etal:1997a,
  author = {Renato A. Lewin and Irene F. Mikenberg and Mar\'ia G.
		Schwarze},
  title = {On the Algebraizability of Annotated Logics},
  journal = {Studia Logica},
  year = {1997},
  volume = {59},
  number = {3},
  pages = {359--386},
  topic = {annotated-logics;paraconsistency;}
  }

@book{ lewis_ci:1918a,
  author = {Clarence I. Lewis},
  title = {Survey of Symbolic Logic},
  publisher = {Univeristy of California Press},
  year = {1918},
  address = {Berkeley, California},
  topic = {logic-classic;modal-logic;}
 }

@article{ lewis_ci:1923a,
  author = {Clarence I. Lewis},
  title = {A Pragmatic Conception of the {\it A Priori}},
  journal = {Journal of Philosophy},
  year = {1923},
  volume = {20},
  number = {7},
  pages = {169--177},
  rtnote = {In RHT collection.},
  topic = {a-priori;}
  }

@article{ lewis_ci:1932a,
  author = {Clarence I. Lewis},
  title = {Alternative Systems of Logic},
  journal = {The Monist},
  year = {1932},
  volume = {42},
  number = {4},
  pages = {481--507},
  rtnote = {In RHT collection.},
  topic = {philosophy-of-logic;}
  }

@article{ lewis_ci:1944a1,
  author = {Clarence I. Lewis},
  title = {The Modes of Meaning},
  journal = {Philosophy and Phenomenological Research},
  year = {1944},
  volume = {4},
  missinginfo = {number, pages},
  xref = {Republication: lewis_ci:1944a2.},
  topic = {philosophy-of-language;intensionality;}
  }

@incollection{ lewis_ci:1944a2,
  author = {Clarence I. Lewis},
  title = {The Modes of Meaning},
  booktitle = {Semantics and the Philosophy of Language},
  publisher = {University of Illinois Press},
  year = {1952},
  editor = {Leonard Linsky},
  pages = {50--63},
  address = {Urbana, Illinois},
  xref = {Republication of: lewis_ci:1944a1.},
  topic = {philosophy-of-language;intensionality;}
  }

@book{ lewis_ci:1946a,
  author = {Clarence I. Lewis},
  title = {An Analysis of Knowledge and Valuation},
  publisher = {Open Court Publishing Co.},
  year = {1946},
  address = {LaSalle, Ilinois},
  rtnote = {In RHT collection.  History Philosophy Shelves.},
  topic = {analytic-philosophy;epistemology;ethics;practical-reasoning;}
 }

@book{ lewis_ci-langford:1959a,
  author = {Clarence I. Lewis and C.H. Langford},
  title = {Symbolic Logic},
  publisher = {Dover},
  year = {1959},
  address = {New York},
  edition = {2},
  topic = {modal-logic;}
 }

@article{ lewis_dk:1968a,
  author = {David K. Lewis},
  title = {Counterpart Theory and Quantified Modal Logic},
  journal = {Journal of Philosophy},
  year = {1968},
  volume = {69},
  pages = {26--39},
  topic = {modal-logic;individuation;counterpart-theory;}
  }

@book{ lewis_dk:1969a,
  author = {David K. Lewis},
  title = {Convention: A Philosophical Study},
  publisher = {Harvard University Press},
  year = {1969},
  address = {Cambridge, Massachusetts},
  xref = {Review: grandy_re:1977a.},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  rtnote = {pragmatics-course;},
  topic = {convention;mutual-belief;
  	game-theoretic-coordination;pragmatics;}
 }

@article{ lewis_dk:1969b,
  author = {David K. Lewis},
  title = {Lucas against Mechanism},
  journal = {Philosophy},
  year = {1969},
  volume = {44},
  pages = {231--233},
  missinginfo = {number},
  topic = {philosophy-of-computation;goedels-first-theorem;}
  }

@article{ lewis_dk:1970a1,
  author = {David K. Lewis},
  title = {General Semantics},
  journal = {Synth\'ese},
  year = {1970},
  volume = {22},
  number = {1--2},
  pages = {18--67},
  xref = {Republications: lewis_dk:1972a2, lewis_dk:1972a3},
  topic = {nl-semantics;intensionality;}
  }

@incollection{ lewis_dk:1970a2,
  author = {David Lewis},
  title = {General Semantics},
  booktitle = {Semantics of Natural Language},
  publisher = {D. Reidel Publishing Co.},
  year = {1972},
  editor = {Donald Davidson and Gilbert H. Harman},
  pages = {169--218},
  address = {Dordrecht},
  xref = {Republication of lewis_dk:1972a1. Republication: lewis_dk:1972a3.},
  rtnote = {In RHT collection.},
  rtnote = {Reading notes on file.},
  topic = {nl-semantics;intensionality;}
  }

@incollection{ lewis_dk:1970a3,
  author = {David Lewis},
  title = {General Semantics},
  booktitle = {Montague Grammar},
  publisher = {Academic Press},
  year = {1976},
  editor = {Barbara H. Partee},
  pages = {1--50},
  address = {New York},
  rtnote = {Reading notes on file.},
  topic = {nl-semantics;intensionality;}
  }

@article{ lewis_dk:1970b,
  author = {David K. Lewis},
  title = {Anselm and Actuality},
  journal = {N\^{o}us},
  year = {1970},
  volume = {4},
  number = {2},
  pages = {175--188},
  rtnote = {tmix-project;},
  topic = {philosophy-of-possible-worlds;actuality;}
  }

@unpublished{ lewis_dk:1970c,
  author = {David K. Lewis},
  title = {Chancy Causation},
  year = {1970},
  note = {Unpublished manuscript, Princeton University.},
  rtnote = {In RHT collection.},
  topic = {causality;probability;}
  }

@article{ lewis_dk:1971a,
  author = {David K. Lewis},
  title = {Analog and Digital},
  journal = {No\^us},
  year = {1971},
  volume = {3},
  number = {3},
  pages = {321--327},
  topic = {analog-digital;philosophy-of-representation;}
  }

@article{ lewis_dk:1971b,
  author = {David K. Lewis},
  title = {Counterparts of Persons and Their Bodies},
  journal = {The Journal of Philosophy},
  year = {1971},
  volume = {78},
  number = {7},
  pages = {203--211},
  topic = {counterpart-theory;personal-identity;metaphysics;}
  }

@book{ lewis_dk:1973a,
  author = {David K. Lewis},
  title = {Counterfactuals},
  publisher = {Harvard University Press},
  year = {1973},
  address = {Cambridge, Massachusetts},
  xref = {Review: smart:1974a.},
  rtnote = {tmix-project;},
  topic = {conditionals;}
 }

@article{ lewis_dk:1973b,
  author = {David K. Lewis},
  title = {Counterfactuals and Comparative Possibility},
  journal = {Journal of Philosophical Logic},
  year = {1973},
  volume = {2},
  number = {4},
  pages = {418--446},
  topic = {conditionals;}
  }

@unpublished{ lewis_dk:1973c,
  author = {David K. Lewis},
  title = {Montague's `PTQ' Fragment of {E}nglish},
  year = {1973},
  note = {Unpublished manuscript, University of California at Los
  		Angeles},
  rtnote = {In RHT collection.},
  contentnote = {This is a course handout.},
  topic = {Montague-grammar;}
  }

@article{ lewis_dk:1974a,
  author = {David K. Lewis},
  title = {Intensional Logics without Iterative Axioms},
  journal = {Journal of Philosophical Logic},
  year = {1974},
  volume = {3},
  number = {4},
  pages = {457--466},
  topic = {modal-logic;}
  }

@article{ lewis_dk:1974b,
  author = {David K. Lewis},
  title = {Radical Interpretation},
  journal = {Synth\'ese},
  year = {1974},
  volume = {48},
  pages = {331--344},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {philosophy-of-language;radical-interpretation;}
  }

@incollection{ lewis_dk:1974c,
  author = {David K. Lewis},
  title = {Semantic Analysis for Dyadic Deontic Logic},
  booktitle = {Logical Theory and Semantic Analysis: Essays Dedicated to
		{S}tig {K}anger on His Fiftieth Birthday},
  publisher = {D. Reidel Publishing Co.},
  year = {1974},
  pages = {1--14},
  editor = {S\"oren Stedlund},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {deontic-logic;conditional-obligation;}
  }

@unpublished{ lewis_dk:1974d,
  author = {David K. Lewis},
  title = {`{W}hether' Report},
  year = {1974},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.},
  topic = {interrogatives;}
  }

@incollection{ lewis_dk:1974e,
  author = {David K. Lewis},
  title = {{}'Tensions},
  booktitle = {Semantics and Philosophy},
  publisher = {New York University Press},
  year = {1974},
  editor = {Milton K. Munitz and Peter K. Unger},
  pages = {49--61},
  address = {New York},
  topic = {foundations-of-semantics;intensionality;}
  }

@incollection{ lewis_dk:1975a,
  author = {David K. Lewis},
  title = {Adverbs of Quantification},
  booktitle = {Formal Semantics of Natural Language},
  publisher = {Cambridge University Press},
  year = {1975},
  editor = {Edward L. Keenan},
  pages = {3--15},
  address = {Cambridge, England},
  rtnote = {In RHT collection.},
  topic = {quantification;foundations-of-semantics;}
  }

@incollection{ lewis_dk:1975b,
  author = {David K. Lewis},
  title = {Languages and Language},
  booktitle = {Language, Mind, and Knowledge.  {M}innesota Studies in
  	the Philosophy of Science, Vol. 7},
  publisher = {University of Minnesota Press},
  year = {1975},
  editor = {Keith Gunderson},
  pages = {3--35},
  address = {Minneapolis, Minnesota},
  topic = {philosophy-of-language;convention;nl-semantics;}
  }

@article{ lewis_dk:1975c,
  author = {David K. Lewis},
  title = {Probabilities of Conditionals and Conditional
    		Probabilities},
  journal = {The Philosophical Review},
  year = {1975},
  volume = {85},
  pages = {297--315},
  missinginfo = {number},
  topic = {cccp;conditionals;probability-semantics;}
  }

@incollection{ lewis_dk:1976a,
  author = {David K. Lewis},
  title = {Survival and Identity},
  booktitle = {The Identity of Persons},
  publisher = {University of California Press},
  year = {1976},
  editor = {Amelie Rorty},
  address = {Los Angeles},
  rtnote = {In RHT collection.},
  missinginfo = {pages},
  topic = {personal-identity;}
  }

@article{ lewis_dk:1977a,
  author = {David K. Lewis},
  title = {Causation},
  journal = {Journal of Philosophy},
  year = {1977},
  volume = {70},
  number = {17},
  pages = {566--567},
  note = {Reprinted in David K. Lewis, {\it Philosophical Papers.} vol. 2,
  	Oxford University Press, 1986, pp. 159--213.  (Postscripts are added
	in this reprinting.)},
  xref = {Commentary: berovsky:1973a, kim_j:1973b.},
  topic = {conditionals;causality;action-effects;}
  }

@article{ lewis_dk:1977b,
  author = {David Lewis},
  title = {Possible-Worlds Semantics for Counterfactual Logics:
  	A Rejoinder},
  journal = {Journal of Philosophical Logic},
  year = {1977},
  volume = {6},
  number = {3},
  pages = {359--363},
  contentnote = {This is a (crushing) reply to ellis-etal:1977a.},
  topic = {conditionals;}
  }

@unpublished{ lewis_dk:1977c,
  author = {David K. Lewis},
  title = {Gibbard-{H}arper Decision Theory with Chancy Outcomes},
  year = {1977},
  month = {May},
  note = {Unpublished manuscript, Philosophy Department, Princeton
  	University},
  rtnote = {In RHT collection.},
  topic = {causal-decision-theory;}
  }

@article{ lewis_dk:1978a,
  author = {David K. Lewis},
  title = {Truth in Fiction},
  journal = {American Philosophical Quarterly},
  year = {1978},
  volume = {15},
  pages = {37--46},
  missinginfo = {number.},
  topic = {counterfactuals;world-building;fiction;}
  }

@unpublished{ lewis_dk:1978b,
  author = {David K. Lewis},
  title = {The Hunter-Richter Paradox},
  year = {1978},
  note = {Unpublished manuscript, Philosophy Department,
		Princeton University},
  rtnote = {In RHT collection.},
  topic = {foundations-of-decision-theory;causal-decision-theory;}
  }

@unpublished{ lewis_dk:1978c,
  author = {David K. Lewis},
  title = {Chancy Causation},
  year = {1978},
  note = {Unpublished handout, Philosophy Department,
		Princeton University},
  rtnote = {In RHT collection.},
  topic = {foundations-of-decision-theory;causality;}
  }

@article{ lewis_dk:1979a1,
  author = {David K. Lewis},
  title = {Scorekeeping in a Language Game},
  journal = {Journal of Philosophical Logic},
  year = {1979},
  volume = {8},
  number = {3},
  pages = {339--359},
  rtnote = {Spare copy in files.},
  rtnote = {tmix-project;},
  xref = {Other publication: 1979a2.},
  rtnote = {semantics-course;},
  topic = {nl-semantics;conversational-record;context;vagueness;
  	accommodation;skepticism;}
  }

@incollection{ lewis_dk:1979a2,
  author = {David Lewis},
  title = {Scorekeeping in a Language Game},
  booktitle = {Semantics from Different Points of View},
  year = {1979},
  editor = {Rainer B\"auerle and Urs Egli and Arnim {von Stechow}},
  publisher = {Springer-Verlag},
  address = {Berlin},
  pages = {172--187},
  xref = {Other publication: 1979a1.},
  rtnote = {semantics-course;},
  rtnote = {Reading notes on file.},
  topic = {nl-semantics;conversational-record;context;vagueness;
  	accommodation;skepticism;}
  }

@article{ lewis_dk:1979b,
  author = {David K. Lewis},
  title = {Counterfactual Dependence and Time's Arrow},
  journal = {No\^us},
  year = {1979},
  volume = {13},
  pages = {455--476},
  missinginfo = {number},
  topic = {conditionals;time-and-conditionals;temporal-direction;}
  }

@incollection{ lewis_dk:1979c,
   author = {David K. Lewis},
   title = {A Problem about Permission},
   booktitle = {Essays in Honour of {J}aakko {H}intikka},
   publisher = {D. Reidel Publishing Co.},
   year = {1979},
   editor = {Esa Saarinen and Risto Hilpinen and Ilkka Niiniluoto and
  	Merrill Province Hintikka},
   address = {Dordrecht, Holland},
   missinginfo = {pages},
   topic = {counterfactuals;deontic-logic;}
  }

@article{ lewis_dk:1979d,
  author = {David K. Lewis},
  title = {Attitudes \emph{De Dicto} and \emph{De Se}},
  journal = {The Philosophical Review},
  year = {1979},
  volume = {88},
  number = {4},
  pages = {513--543},
  topic = {propositional-attitudes;indexicals;}
  }

@article{ lewis_dk:1979e,
  author = {David K. Lewis},
  title = {Prisoner's Dilemma is a {N}ewcomb Problem},
  journal = {Philosophy and Public Affairs},
  year = {1979},
  volume = {8},
  number = {3},
  pages = {235--240},
  topic = {foundations-of-decision-theory;prisoner's-dilemma;}
  }

@unpublished{ lewis_dk:1979f,
  author = {David K. Lewis},
  title = {Conditionals: Ordering Semantics \& {K}ratzer's Semantics},
  year = {1979},
  note = {Unpublished manuscript, Princeton University.},
  rtnote = {In RHT collection.},
  topic = {conditionals;}
  }

@incollection{ lewis_dk:1980a1,
   author = {David K. Lewis},
   title = {A Subjectivist's Guide to Objective Chance},
   booktitle = {Studies in Inductive Logic and Probability},
   publisher = {University of California Press},
   year = {1980},
   editor = {Richard Jeffrey},
   rtnote = {Reprinted in William L. Harper et al., {\it Ifs}, D. Reidel
 	Publishing, Dordrecht, Holland, 1981.  Reprinted in David
	Lewis, {\it Philosophical Papers.} vol 2,
   	Oxford University Press, 1986, pp. 114--132.},
   missinginfo = {pages},
  topic = {foundations-of-probability;branching-time;}
  }

@incollection{ lewis_dk:1980a2,
  author = {David K. Lewis},
  title = {A Subjectivist's Guide to Objective Chance},
  booktitle = {Ifs: Conditionals, Belief, Decision, Chance, and Time},
  publisher = {D. Reidel Publishing Co.},
  year = {1980},
  editor = {William L. Harper and Robert Stalnaker and Glenn Pearce},
  pages = {267--297},
  address = {Dordrecht},
  rtnote = {tmix-project;},
  topic = {branching-time;foundations-of-probability;}
 }

@unpublished{ lewis_dk:1980b,
  author = {David K. Lewis},
  title = {Letter to {R}ichard {R}outley and Others},
  year = {1980},
  note = {Unpublished letter, Princeton University},
  rtnote = {In RHT collection.},
  contentnote = {This is a defense of Copeland against an attack by
  		some of the Australian relevance logicians.},
  topic = {relevance-logic;paraconsistency;}
  }

@article{ lewis_dk:1981a1,
  author = {David K. Lewis},
  title = {Causal Decision Theory},
  journal = {Australasian Journal of Philosophy},
  year = {1981},
  volume = {59},
  number = {1},
  pages = {5--30},
  xref = {Republished in lewis_dk:1986a. See lewis_dk:1981a2.},
  rtnote = {In RHT collection.},
  topic = {conditionals;decision-theory;causal-decision-theory;
  	Newcomb-problem;}
  }

@incollection{ lewis_dk:1981a2,
  author = {David K. Lewis},
  title = {Causal Decision Theory},
  booktitle = {Philosophical Papers},
  publisher = {Oxford University Press},
  year = {1986},
  editor = {David K. Lewis},
  pages = {305--339},
  address = {Oxford, England},
  xref = {Reprint of lewis_dk:1981a1},
  topic = {conditionals;decision-theory;causal-decision-theory;}
  }

@unpublished{ lewis_dk:1981b,
  author = {David K. Lewis},
  title = {Individuation by Acquaintance and by Stipulation},
  year = {1981},
  rtnote = {In RHT collection.  Probably published, get reference.},
  note = {Unpublished manuscript, Philosophy Department, Princeton
  	University.},
  topic = {individuation;}
  }

@article{ lewis_dk:1981c,
  author = {David K. Lewis},
  title = {Ordering Semantics and Premise Semantics for Conditionals},
  journal = {Journal of Philosophical Logic},
  year = {1981},
  volume = {10},
  number = {2},
  pages = {217--234},
  doi = {10.1007/BF00248850},
  topic = {conditionals;}
  }

@incollection{ lewis_dk:1981d,
  author = {David K. Lewis},
  title = {Index, Context, and Content},
  booktitle = {Philosophy and Grammar: Papers on the Occasion of the
        Quincentennial of {U}ppsala {U}niversity},
  publisher = {D. Reidel Publishing Co.},
  year = {1981},
  editor = {Stig Kanger and Sven \"Ohman},
  pages = {79--100},
  address = {Dordrecht},
  rtnote = {Reading notes on file.},
  rtnote = {In RHT collection.},
  topic = {context;nl-semantics;foundations-of-semantics;}
  }

@article{ lewis_dk:1981e,
  author = {David K. Lewis},
  title = {What Puzzling {P}ierre Does Not Believe},
  journal = {Australasian Journal of Philosophy},
  year = {1981},
  volume = {59},
  pages = {283--289},
  missinginfo = {number},
  topic = {belief;Pierre-puzzle;}
  }

@article{ lewis_dk:1981f,
  author = {David K. Lewis},
  title = {Are We Free to Break the Laws?},
  journal = {Theoria},
  year = {1981},
  volume = {47},
  pages = {113--121},
  missinginfo = {number},
  rtnote = {Reprinted in Phil Papers 2},
  rtnote = {In RHT collection.},
  topic = {(in)determinism;ability;conditionals;}
  }

@unpublished{ lewis_dk:1983a,
  author = {David K. Lewis},
  title = {Richter's Problem},
  year = {1983},
  note = {Unpublished manuscript, Philosophy Department, Princeton
  	University.},
  rtnote = {In RHT collection.},
  topic = {foundations-of-decision-theory;resource-limited-game-theory;}
  }

@book{ lewis_dk:1983b,
  author = {David K. Lewis},
  title = {Philosophical Papers},
  publisher = {Oxford University Press},
  year = {1983},
  volume = {2},
  address = {Oxford},
  topic = {analytic-philosophy;metaphysics;}
 }

@article{ lewis_dk:1983c,
  author = {David K. Lewis},
  title = {Extrinsic Properties},
  journal = {Philosophical Studies},
  year = {1983},
  volume = {44},
  pages = {197--200},
  missinginfo = {number},
  topic = {internal/external-properties;}
  }

@incollection{ lewis_dk:1984a,
  author = {David K. Lewis},
  title = {Individuation by Acquaintance and by Stipulation},
  booktitle = {Varieties of Formal Semantics},
  publisher = {Foris Publications},
  year = {1984},
  editor = {Fred Landman and Frank Veltman},
  pages = {219--244},
  address = {Dordrecht},
  topic = {individuation;philosophy-of-possible-worlds;}
  }

@book{ lewis_dk:1986a,
  author = {David K. Lewis},
  title = {Philosophical Papers},
  publisher = {Oxford University Press},
  year = {1986},
  volume = {2},
  address = {Oxford},
  contentnote = {TC: 16. Counterfactuals and Comparative Possibility
  		    17. Counterfactual Dependence and Time's Arrow.
		        Postscripts to "Counterfactual Dependence and
				Time's Arrow."
  		    18. The Paradoxes of time Travel
  		    18. A Subjectivist's Guide to Objective Chance
  		    20. Probabilities of Conditionals and Conditional
		    		Probabilities
			Postscripts to "Probabilities of Conditionals and
				Conditional Probabilities"
  		    21. Causation
		        Postscripts to "Causation"
  		    22. Causal Explanation
		        Postscripts to "Causal Explanation"
  		    23. Events
  		    24. Veridical Hallucination and Prosthetic Vision
  		    25. Are We Free to Break the Laws?
		    26. Prisoner's Dilemma is a Newcomb Problem
		    27. Causal Decision Theory
		    	Postscripts to "Causal Decision Theory"
		    28. Utilitarianism and Truthfulness
      },
  topic = {analytic-philosophy;}
 }

@incollection{ lewis_dk:1986b,
  author = {David K. Lewis},
  title = {Causal Explanation},
  booktitle = {Philosophical Papers},
  publisher = {Oxford University Press},
  year = {1986},
  editor = {David K. Lewis},
  pages = {214--240},
  address = {Oxford},
  topic = {causality;explanation;}
  }

@article{ lewis_dk:1986c,
  author = {David K. Lewis},
  title = {Probabilities of Conditionals and Conditional Probabilities {II}},
  journal = {The Philosophical Review},
  year = {1986},
  volume = {95},
  number = {4},
  pages = {581--589},
  topic = {cccp;conditionals;probability-semantics;}
  }

@incollection{ lewis_dk:1986d,
  author = {David Lewis},
  title = {Postscript to 'Probability of Conditionals and Conditional
  	Probabilities},
  booktitle = {Philosophical Papers},
  publisher = {Oxford University Press},
  year = {1986},
  editor = {David K. Lewis},
  pages = {152--156},
  address = {Oxford, England},
  topic = {CCCP;conditionals;probability-kinematics;}
  }

@book{ lewis_dk:1986e,
  author = {David K. Lewis},
  title = {On the Plurality of Worlds},
  publisher = {Basil Blackwell},
  year = {1986},
  address = {Oxford},
  xref = {Review: stalnaker:1988c.},
  topic = {philosophy-of-possible-worlds;metaphysics;}
 }

@article{ lewis_dk:1988a1,
  author = {David K. Lewis},
  title = {Vague Identity: {E}vans Misunderstood},
  journal = {Analysis},
  year = {1988},
  volume = {48},
  pages = {128--130},
  missinginfo = {number},
  xref = {Republication: lewis_dk:1988a2.},
  topic = {vagueness;identity;}
  }

@incollection{ lewis_dk:1988a2,
  author = {David K. Lewis},
  title = {Vague Identity: {E}vans
    		Misunderstood},
  booktitle = {Vagueness: A Reader},
  publisher = {The {MIT} Press},
  year = {1997},
  editor = {Rosanna Keefe and Peter Smith},
  pages = {318--320},
  address = {Cambridge, Massachusetts},
  xref = {Republication of lewis_dk:1988a1.},
  topic = {vagueness;}
  }

@article{ lewis_dk:1989a,
  author = {David K. Lewis},
  title = {Lucas against Mechanism {II}},
  journal = {Canadian Journal of Philosophy},
  year = {1989},
  volume = {9},
  pages = {120--124},
  missinginfo = {number},
  topic = {philosophy-of-computation;goedels-first-theorem;}
  }

@book{ lewis_dk:1998a,
  editor = {David K. Lewis},
  title = {Papers in Philosophical Logic},
  publisher = {Cambridge University Press},
  year = {1998},
  address = {Cambridge, England},
  ISBN = {0521582474 (hardback)},
  rtnote = {UMich Undergraduate, Bc 135 .L441 1998.},
  xref = {Review: priest:2002a.},
  topic = {philosophical-logic;}
 }

@book{ lewis_dk:1999a,
  editor = {David K. Lewis},
  title = {Papers in Metaphysics and Epistemology},
  publisher = {Cambridge University Press},
  year = {1999},
  address = {Cambridge, England},
  ISBN = {0521582482 (hardbound)},
  rtnote = {UMich Graduate Library, BD 111 .L451 1999.},
  xref = {Reviews: armstrong_dm:2001a, priest:2002a.},
  topic = {metaphysics;epistemplogy;}
 }

@article{ lewis_dk:2000a,
  author = {David Lewis},
  title = {Causation as Influence},
  journal = {The Journal of Philosophy},
  year = {2000},
  volume = {97},
  number = {4},
  pages = {181--197},
  topic = {causality;conditionals;}
  }

@book{ lewis_dk:2000b,
  editor = {David K. Lewis},
  title = {Papers in Ethics and Social Theory},
  publisher = {Cambridge University Press},
  year = {2000},
  address = {Cambridge, England},
  ISBN = {0-521-58249-0 (hardbound), 0-521-58786-7 (pbk)},
  rtnote = {UMich Graduate Library, BD 111 .L451 1999.},
  xref = {Review: priest:2002a.},
  topic = {ethics;social-philosophy;deontic-logic;decision-theory;}
 }

@article{ lewis_dk:2001a,
  author = {David K. Lewis},
  title = {Truthmaking and Difference-Making},
  journal = {No\^us},
  year = {2001},
  volume = {35},
  number = {4},
  pages = {602--615},
  topic = {truth;propositions;philosophy-of-possible-worlds;}
  }

@article{ lewis_dk:2001b,
  author = {David K. Lewis},
  title = {Sleeping Beauty: Reply to {E}lga},
  journal = {Analysis},
  year = {2001},
  volume = {61},
  pages = {171--176},
  missinginfo = {number},
  topic = {sleeping-beauty-problem;}
  }

@article{ lewis_dk-langton_r:1998a,
  author = {David K. Lewis and R. Langton},
  title = {Defining Intrinsic},
  journal = {Philosophy and Phenomenological Research},
  year = {1998},
  volume = {58},
  pages = {333--345},
  missinginfo = {number},
  topic = {internal/external-properties;}
  }

@article{ lewis_dk-lewis_s:1998a,
  author = {David K. Lewis and Stephanie Lewis},
  title = {Review of \emph{{H}oles and Other Superficialities},
  	by {R}oberto {C}asati and {A}chille {C}. {V}arzi},
  journal = {The Philosophical Review},
  year = {1998},
  volume = {105},
  number = {1},
  pages = {77--79},
  xref = {Review of casati-varzi:1999a.},
  topic = {spatial-representation;philosophical-ontology;mereology;}
  }

@book{ lewis_hr-denenberg:1991a,
  author = {Harry R. Lewis and Larry Denenberg},
  title = {Data Structures and Their Algorithms},
  publisher = {Harper Collins Publishers},
  year = {1991},
  address = {New York},
  rtnote = {In RHT Collection.  CS General shelves.  MT Summer 01.},
  topic = {algorithms;data-structures;}
 }

@techreport{ lewis_m:1986a,
  author = {Michael Lewis},
  title = {The Automation of a Practical Reasoning System Based
  	on Concepts in Deontic Logic},
  institution = {Advanced Computational Methods Center, University
  	of Georgia},
  number = {01--0014},
  year = {1986},
  address = {Athens, Georgia},
  rtnote = {In RHT collection.},
  topic = {deontic-logic;practical-reasoning;qualitative-utility;}
  }

@article{ lewis_m:1998a,
  author = {Michael Lewis},
  title = {Designing for Human-Agent Interaction},
  journal = {The {AI} Magazine},
  year = {1998},
  volume = {19},
  number = {2},
  pages = {67--78},
  topic = {autonomous-agents;HCI;}
  }

@book{ lewis_r:2007a,
  author = {Rhodri Lewis},
  title = {Language, Mind, and Nature: {A}rtificial Languages in
  	{E}ngland from {B}acon to {L}ocke},
  publisher = {Cambridge University Press},
  year = {2007},
  address = {Cambridge, England},
  ISBN-13 = {9780521874755},
  topic = {artificial-languages;history-of-philosophy;}
 }

@phdthesis{ lewis_rl:1993a,
  author = {Richard L. Lewis},
  title = {An Architecturally-Based Theory of Human Sentence
               Comprehension},
  school = {Carnegie Mellon University},
  year = {1993},
  address = {Pittsburgh, Pennsylvania},
  note = {Available from Computer Science Department as Technical
          Report CMU-CS-93-226},
  topic = {cognitive-architectures;nl-interpretation;}
 }

@incollection{ lewis_rl:1996a,
  author = {Richard L. Lewis},
  title = {What {S}oar has to Say about Modularity},
  booktitle = {Mind Matters: A Tribute to {A}llen {N}ewell},
  publisher = {Lawrence Erlbaum Associates},
  year = {1996},
  editor = {David M. Steier and Tom M. Mitchell},
  address = {Mahwah, New Jersey},
  pages = {75--84},
  rtnote = {Get this.},
  topic = {philosophy-of-linguistics;cognitive-modularity;NL-Soar;}
  }

@article{ leyton:1988a,
  author = {Michael Leyton},
  title = {A Process-Grammar for Shape},
  journal = {Artificial Intelligence},
  year = {1988},
  volume = {34},
  number = {2},
  pages = {213--247},
  acontentnote = {Abstract:
     Inference rules are developed by which process-history can be
     recovered from natural shapes such as tumors, clouds, and
     embryos, etc.  We argue that the inference of history arises from
     a newly discovered duality between curvature extrema and
     symmetry structure.  We also develop a formal grammar by which
     someone, who has two views of an entity at two developmental
     stages, can infer the processes that produced the second stage
     from the first.  More specifically, we find that a grammar, of
     only six operations, suffices to express the relationship
     between any two smooth shapes such that one shape is described
     as the extrapolation of processes inferred in the other under
     the above inference rules.  In fact, a deformation is expressed
     as a transformation of process-records -- a technique reminiscent
     of Chomsky's description of linguistic transformations in terms
     of transitions between phrase-structure trees.  In the present
     case, our process-grammar has the psychological role of
     explaining the curvature extrema in terms of a sequence of
     psychologically meaningful deformations.  Finally, we compare a
     process-based symmetry analysis, that we introduce in this
     paper, with other symmetry analyses in the literature; and we
     compare our process-based grammar with another grammar based on
     curvature extrema.  },
  topic = {process-recognition;extralinguistic-uses-of-grammars;}
  }

@inproceedings{ leytonbrown-etal:2002a,
  author = {Kevin Leyton-Brown and Yoav Shoham and Moshe Tennenholtz},
  title = {Bidding Clubs in First-Price Auctions},
  booktitle = {Proceedings of the Eighteenth National Conference on
              Artificial Intelligence},
  year = {2002},
  editor = {Rina Dechter and Michael Kearns and Richard S. Sutton},
  pages = {373--378},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {auction-protocols;}
  }

@article{ li_aj-ying_ms:2004a,
  author = {Sanjiang Li and Mingsheng Ying},
  title = {Generalized Region Connection Calculus},
  journal = {Artificial Intelligence},
  year = {2004},
  volume = {160},
  number = {1--2},
  pages = {1--34},
  topic = {qualitative-reasoning;spatial-reasoning;constraint-networks;
  		region-connection-calculus;}
  }

@book{ li_cn:1976a,
  editor = {Charles N. Li},
  title = {Subject and Topic},
  publisher = {Academic Press},
  year = {1976},
  address = {New York},
  topic = {s-topic;d-topic;pragmatics;}
 }

@incollection{ li_cn-thompson_sa:1976a,
  author = {Charles N. Li and S.A. Thompson},
  title = {Subject and Topic: A New Typology of Language},
  booktitle = {Subject and Topic},
  publisher = {Academic Press},
  year = {1976},
  editor = {C.N. Li},
  pages = {457--489},
  address = {New York},
  missinginfo = {E's 1st name},
  topic = {s-topic;pragmatics;}
  }

@article{ li_h-abe_n:1998a,
  author = {Hang Li and Naoki Abe},
  title = {Generalizing Case Frames Using a Thesaurus and
  	the {MDI} Principle},
  journal = {Computational Linguistics},
  year = {1998},
  volume = {24},
  number = {2},
  pages = {217--244},
  topic = {word-acquisition;automatic-automatic-grammar-acquisition;}
  }

@article{ li_h-abe_n:1999a,
  author = {Hang Li and Naoki Abe},
  title = {Learning Dependencies between Case Frame Slots},
  journal = {Computational Linguistics},
  year = {1998},
  volume = {25},
  number = {2},
  pages = {283--291},
  topic = {machine-language-learning;}
  }

@article{ li_h-li_c:2004a,
  author = {Hang Li and Cong Li},
  title = {Word Translation Disambiguation Using Bilingual
  		Bootstrapping},
  journal = {Computational Linguistics},
  year = {2004},
  volume = {30},
  number = {3},
  pages = {1--22},
  topic = {disambiguation;machine-translation;machine-learning;}
  }

@inproceedings{ li_h-yamanishi:1997a,
  author = {Hang Li and Kenji Yamanishi},
  title = {Document Classification Using a Finite Mixture Model},
  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 = {39--47},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  topic = {document-classification;information-retrieval;nl-processing;}
 }

@incollection{ li_h-yamanishi:2000a,
  author = {Hang Li and Kenji Yamanishi},
  title = {Topic Analysis Using a Finite Mixture Model},
  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 = {35--44},
  address = {Somerset, New Jersey},
  topic = {topic-extraction;d-topic;}
  }

@inproceedings{ li_hz-ma_b:2005a,
  author = {Haizhou Li and Bin Ma},
  title = {A Phonotactic Language Model for Spoken Language Identification},
  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 = {515--522},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1064},
  topic = {acoustic-modeling;speech-recognition;}
  }

@article{ li_j:1998a,
  author = {Jun Li},
  title = {A Note on Partial Meet Package Contraction},
  journal = {Journal of Logic, Language, and Information},
  year = {1998},
  volume = {7},
  number = {2},
  pages = {139--142},
  topic = {belief-revision;}
  }

@article{ li_lw:1994a,
  author = {Liwu Li},
  title = {Possible Worlds Semantics and Autoepistemic Reasoning},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {71},
  number = {2},
  pages = {281--320},
  topic = {autoepistemic-logic;}
  }

@inproceedings{ li_rw-pereira_lm:1996a,
  author = {Renwei Li and Lu\'is Moniz Pereira},
  title = {What is Believed Is What is Explained (Sometimes)},
  booktitle = {Proceedings of the Thirteenth National Conference on
              Artificial Intelligence and the Eighth Innovative
	      Applications of Artificial Intelligence  Conference,
	      Vol. 2},
  year = {1996},
  editor = {William J. Clancey and Dan Weld},
  pages = {550--555},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {temporal-reasoning;database-update;abduction;}
  }

@article{ li_sj:2007a,
  author = {Sanjiang Li},
  title = {A Representation Theorem for Minemax Regret Policies},
  journal = {Artificial Intelligence},
  year = {2007},
  volume = {171},
  number = {1},
  pages = {19--24},
  topic = {qualitative-utility;minimaxing;}
  }

@article{ li_sj-wang_hq:2006a,
  author = {Sanjiang Li and Huaiqing Wang},
  title = {{RCC8} Binary Constraint Network Can Be Extended},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {170},
  number = {1},
  pages = {1--18},
  topic = {qualitative-reasoning;spatial-reasoning;constraint-networks;
  		region-connection-calculus;}
  }

@article{ li_sj-ying_ms:2003a,
  author = {Sanjiang Li and Mingsheng Ying},
  title = {Region Connection Calculus: Its Models and Composition
  	Table},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {145},
  number = {1--2},
  pages = {121--146},
  topic = {spatial-reasoning;qualitative-reasoning;}
  }

@article{ li_sj-ying_ms:2004a,
  author = {Sanjiang Li and Mingsheng Ying},
  title = {Generalized Region Connection Calculus},
  journal = {Artificial Intelligence},
  year = {2004},
  volume = {160},
  number = {1--2},
  pages = {1--34},
  topic = {spatial-reasoning;qualitative-reasoning;}
  }

@article{ li_x-etal:2005a,
  author = {Xin Li and Paul Morie and Dan Roth},
  title = {Semantic Integration in Text:  From Ambiguous Names to
  		Identifiable Entities},
  journal = {The {AI} Magazine},
  year = {2005},
  volume = {26},
  number = {1},
  pages = {45--58},
  topic = {knowledge-integration;machine-learning;named-entity-tagging;}
  }

@inproceedings{ li_zo-dambrosio:1993a,
  author = {Zhaoyu Li and Bruce D'Ambrision},
  title = {An Efficient Approach for Finding the {MPE} in
  	Belief Networks},
  booktitle = {Proceedings of the
  	9th Conference on Uncertainty in Artificial Intelligence
	(UAI93)},
  year = {1993},
  editor = {David E. Heckerman and Abe Mamdani},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  pages = {342--349},
  topic = {probabilistic-reasoning;Bayesian-networks;}
  }

@article{ liao_l-etal:2007a,
  author = {Lin Liao and Donald J. Patterson and Dieter Fox and Henry Kautz},
  title = {Learning and Inferring Transportation Routines},
  journal = {Artificial Intelligence},
  year = {2007},
  volume = {171},
  number = {5--6},
  pages = {311--331},
  topic = {activity-recognition;}
  }

@article{ liau_cj:2000a,
  author = {Churn-Jung Liau},
  title = {A Logical Analysis of the Relationship between Commitment
  	and Obligation},
  journal = {Journal of Logic, Language, and Information},
  year = {2000},
  volume = {10},
  number = {2},
  pages = {237--261},
  topic = {dynamic-logic;deontic-logic;commitment;}
  }

@article{ liau_cj:2003a,
  author = {Churn-Jung Liau},
  title = {Belief, Information Acquisition, and Trust in Multi-Agent
  	Systems---A Modal Logic Formulation},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {149},
  number = {1},
  pages = {31--60},
  topic = {multi-agent-systems;modal-logic;}
  }

@article{ liau_cj-lin_bip:1992a,
  author = {Churn Jung Liau and Bertrand I-Peng Lin},
  title = {Abstract Minimality and Circumscription},
  journal = {Artificial Intelligence},
  year = {1992},
  volume = {54},
  number = {3},
  pages = {381--396},
  topic = {circumscription;nonmonotonic-logic;}
  }

@article{ liau_cj-lin_bip:1996a,
  author = {Churn-Jung Liau and Bertrand I-Peng Lin},
  title = {Possibilistic Reasoning---A Mini-Survey and Uniform
  	Semantics},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {88},
  number = {1--2},
  pages = {163--193},
  acontentnote = {Abstract:
     In this paper, we survey some quantitative and qualitative
     approaches to uncertainty management based on possibility theory
     and present a logical framework to integrate them.  The semantics
     of the logic is based on the Dempster's rule of conditioning for
     possibility theory.  It is then shown that classical modal logic,
     conditional logic, possibilistic logic, quantitative modal logic
     and qualitative possibilistic logic are all sublogics of the
     presented logical framework.  In this way, we can formalize and
     generalize some well-known results about possibilistic reasoning
     in a uniform semantics.  Moreover, our uniform framework is
     applicable to nonmonotonic reasoning, approximate consequence
     relation formulation, and partial consistency handling.  },
  topic = {possibilistic-logic;probability-semantics;modal-logic;
  	conditionals;nonmonotonic-reasoning;conditioning-methods;}
  }

@incollection{ liberatore:1998a,
  author = {Paolo Liberatore},
  title = {On the Compatibility of Diagnosis, Planning, Reasoning
		about Actions, Belief Revision, etc.},
  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 = {144--155},
  address = {San Francisco, California},
  topic = {kr;complexity-in-AI;diagnosis;planning;
  	belief-revision;kr-course;}
  }

@inproceedings{ liberatore:1999a,
  author = {Paolo Liberatore},
  title = {{BR}e{LS}:  A System for Revising, Updating,
		and Merging Knowledge Bases},
  booktitle = {Proceedings of the {IJCAI}-99 Workshop on
	Nonmonotonic Reasoning, Action and Change},
  year = {1999},
  editor = {Michael Thielscher},
  pages = {41--48},
  organization = {IJCAI},
  publisher = {International Joint Conference on Artificial Intelligence},
  address = {Murray Hill, New Jersey},
  topic = {information-merging;}
  }

@article{ liberatore:2000a,
  author = {Paolo Liberatore},
  title = {On the Complexity of Choosing the Branching Literal
  	in {DPLL}},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {116},
  number = {1--2},
  pages = {315--326},
  topic = {complexity-in-AI;theorem-proving;}
  }

@article{ liberatore:2000b,
  author = {Paolo Liberatore},
  title = {The Complexity of Belief Update},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {119},
  number = {1--2},
  pages = {141--190},
  topic = {belief-revision;kr-complexity-analysis;complexity-in-AI;}
  }

@article{ liberatore:2005a,
  author = {Paolo Liberatore},
  title = {Redundancy in Logic {I}: {CNF} Propositional Formulae},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {163},
  number = {2},
  pages = {203--232},
  topic = {axiomatic-independence;}
  }

@article{ liberatore:2007a,
  author = {Paolo Liberatore},
  title = {Consistency Defaults},
  journal = {Studia Logica},
  year = {2007},
  volume = {86},
  number = {1},
  pages = {89--110},
  topic = {default-logic;nonmonotonic-logic;}
  }

@article{ liberatore:2008a,
  author = {Paolo Liberatore},
  title = {Redundancy in Logic {II}: {2CNF} and {H}orn Propositional
  	Formulae},
  journal = {Artificial Intelligence},
  year = {2008},
  volume = {172},
  number = {2--3},
  pages = {265--299},
  topic = {CNF;complexity-theory;}
  }

@article{ liberatore:2008b,
  author = {Paolo Liberatore},
  title = {Redundancy in Logic {III}: Non-Monotonic Reasoning},
  journal = {Artificial Intelligence},
  year = {2007},
  volume = {172},
  number = {10},
  pages = {1317--1359},
  topic = {axiomatic-independence;nonmonotonic-logic;default-logic;
  		circumscription;}
  }

@incollection{ liberatore-etal:2002a,
  author = {Francesco M. Donini and Paolo Liberatore and Fabio Massacci
  	and Marco Scaerf},
  title = {Solving {QBF} with {SMV}},
  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 = {578--589},
  address = {San Francisco, California},
  topic = {kr;model-checking;}
  }

@inproceedings{ liberatore-schaerf_m:1995a,
  author = {Paolo Liberatore and Marco Schaerf},
  title = {Relating Belief Revision to Circumscription},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {1557--1563},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  rtnote = {In RHT collection.},
  xref = {see liberatore-schaerf_m:1977a},
  topic = {belief-revision;circumscription;}
  }

@article{ liberatore-schaerf_m:1997a,
  author = {Paolo Liberatore and Marco Schaerf},
  title = {Reducing Belief Revision to Circumscription (and Vice
  	Versa)},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {93},
  number = {1--2},
  pages = {261--296},
  topic = {belief-revision;circumscription;complexity-in-AI;kr;
  	krcourse;}
  }

@incollection{ liberatore-schaerf_m:1998a,
  author = {Paolo Liberatore and Marco Schaerf},
  title = {The Complexity of Model Checking for Propositional
  	Default Logicss},
  booktitle = {{ECAI}98, Thirteenth European Conference on
  	Artificial Intelligence},
  publisher = {John Wiley and Sons},
  year = {1998},
  editor = {Henri Prade},
  pages = {18--22},
  address = {Chichester},
  contentnote = {The result of this note is that model checking is
  	Sigma^p_2 complete in general, co-NP for normal defaults with
	prerequisite =T.},
  topic = {model-checking;default-logics;}
  }

@inproceedings{ liberatore-schaerf_m:2000a,
  author = {Paolo Liberatore and Marco Schaerf},
  title = {{\sc Brels}: A System for the Integration of Knowledge
        Bases},
  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 = {145--152},
  topic = {knowledge-integration;}
  }

@inproceedings{ liberman:1973a,
  author = {Mark Liberman},
  title = {Alternatives},
  booktitle = {Proceedings of the Ninth Regional Meeting of the
  	Chicago Linguistics Society},
  year = {1973},
  pages = {346--355},
  publisher = {Chicago Linguistics Society},
  address = {Chicago University, Chicago, Illinois},
  missinginfo = {editor},
  topic = {alternatives;intonation;}
  }

@book{ liberman:1979a,
  author = {Mark Liberman},
  title = {The Intonational System of {E}nglish},
  publisher = {Garland},
  year = {1979},
  address = {New York},
  topic = {intonation;prosody;}
 }

@inproceedings{ liberman-sag:1974a,
  author = {Mark Liberman and Ivan Sag},
  title = {Prosodic Effects on Discourse Function},
  booktitle = {Papers from the Tenth Regional Meeting of the
  	{C}hicago Linguistic Society},
  year = {1974},
  editor = {Michael LaGaly and Robert A. Fox and Anthony Bruck},
  pages = {416--427},
  organization = {Chicago Linguistic Society},
  publisher = {Chicago Linguistic Society},
  address = {Goodspeed Hall, 1050 East 59th Street, Chicago, Illinois},
  topic = {intonation;prosody;discourse;pragmatics;}
  }

@incollection{ liberman-sproat:1992a,
  author = {Mark Liberman and Richard Sproat},
  title = {The Stress and Structure of Modified Noun Phrases in
  	{E}nglish},
  booktitle = {Lexical Matters},
  publisher = {Center for the Study of Language and Information},
  year = {1992},
  editor = {Ivan A. Sag and Anna Szabolcsi},
  pages = {131--181},
  address = {Stanford, California},
  rtnote = {In RHT collection.},
  topic = {noun-phrases;prosody;intonation;English-language;}
  }

@book{ libert:2000a,
  author = {Alan Libert},
  title = {A Priori Artificial Languages},
  publisher = {Lincom Europa},
  year = {2000},
  address = {Munich},
  topic = {artificial-languages;}
 }

@book{ libkin:2004a,
  author = {Leonid Libkin},
  title = {Elements of Finite Model Theory},
  publisher = {Springer-Verlag},
  year = {2004},
  address = {Berlin},
  ISBN = {3-540-21202-7},
  xref = {Review: lindell-weinstein_s1:2007a.},
  topic = {finite-model-theory;}
 }

@incollection{ lichtenstein-etal:1985a,
  author = {O. Lichtenstein and Amir Pnuelli and L. Zuck},
  title = {The Glory of the Past},
  booktitle = {Logics of Programs: Brooklyn, June 17--19,
  	1985 Proceedings},
  publisher = {Springer-Verlag},
  year = {1985},
  editor = {Rohit Parikh},
  pages = {196--218},
  address = {Berlin},
  topic = {temporal-logic;program-verification;}
  }

@incollection{ lieb:1971a,
  author = {Hans-Heinrich Lieb},
  title = {On Subdividing Semiotic},
  booktitle = {Pragmatics of Natural Language},
  publisher = {D. Reidel Publishing Co.},
  year = {1971},
  editor = {Yehoshua Bar-Hillel},
  pages = {94--119},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {pragmatics;}
  }

@incollection{ lieb:1976a,
  author = {Hans-Heinrich Lieb},
  title = {On Relating Pragmatics, Linguistics, and Non-Semantic
  	Disciplines},
  booktitle = {Language in Focus},
  publisher = {D. Reidel Publishing Co.},
  year = {1976},
  editor = {Asa Kasher},
  pages = {217--249},
  address = {Dordrecht},
  topic = {pragmatics;philosophy-of-linguistics;}
  }

@book{ lieber:1981a,
  author = {Rochelle Lieber},
  title = {On the Organization of the Lexicon},
  publisher = {Indiana University Linguistics Club},
  year = {1982},
  address = {310 Lindley Hall, Bloomington, Indiana},
  rtnote = {In RHT collection.},
  topic = {morphology;lexicon;}
 }

@incollection{ lieber-napoli_a:1998a,
  author = {Justine Lieber and Amedeo Napoli},
  title = {Correct and Complete Retrieval for Case-Based
  	Problem-Solving},
  booktitle = {{ECAI}98, Thirteenth European Conference on
  	Artificial Intelligence},
  publisher = {John Wiley and Sons},
  year = {1998},
  editor = {Henri Prade},
  pages = {68--72},
  address = {Chichester},
  topic = {case-based-reasoning;}
  }

@unpublished{ liebesman:2008a,
  author = {David Liebesman},
  title = {Simple Generics},

license: MIT

license_type: permissive

branch_name: refs/heads/master

gha_license_id: MIT

extension: bib