text:
year = {2008},
  note = {Unpublished manuscript, Cornell University},
  rtnote = {In RHT collection.},
  topic = {generics;nl-semantics;}
  }

@article{ liebesman:2010a,
  author = {David Liebesman},
  title = {Review of \emph{Reconciling Our Aims: In Search of Bases
  		for Ethics}, by {A}llan {F}. {G}ibbard},
  journal = {The Philosophical Review},
  year = {2010},
  volume = {119},
  number = {2},
  pages = {259--263},
  xref = {Review of: gibbard:2008a},
  topic = {ethics;}
  }

@inproceedings{ lifschitz:1984a,
  author = {Vladimir Lifschitz},
  title = {Some Results on Circumscription},
  booktitle = {Proceedings of the First Non-Monotonic Reasoning Workshop},
  year = {1984},
  pages = {151--164},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  missinginfo = {editor},
  topic = {nonmonotonic-logic;circumscription;}
  }

@article{ lifschitz:1985a1,
  author = {Vladimir Lifschitz},
  title = {Closed-World Databases and Circumscription},
  journal = {Artificial Intelligence},
  year = {1985},
  volume = {27},
  number = {2},
  pages = {229--235},
  rtnote = {In RHT collection.},
  xref = {Republication: lifschitz:1985a2.},
  topic = {applied-nonmonotonic-reasoning;closed-world-reasoning;
      circumscription;nonmonotonic-reasoning;kr-course;}
  }

@incollection{ lifschitz:1985a2,
  author = {Vladimir Lifschitz},
  title = {Closed-World Databases and Circumscription},
  booktitle = {Readings in Nonmonotonic Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1987},
  editor = {Matthew L. Ginsberg},
  pages = {334--336},
  address = {Los Altos, California},
  xref = {Original Publication: lifschitz:1985a1.},
  topic = {applied-nonmonotonic-reasoning;closed-world-reasoning;}
  }

@inproceedings{ lifschitz:1985b1,
  author = {Vladimir Lifschitz},
  title = {Computing Circumscription},
  booktitle = {Proceedings of the Ninth International Joint
  	Conference on Artificial Intelligence},
  year = {1985},
  editor = {Arivind Joshi},
  pages = {121--127},
  publisher = {Morgan Kaufmann},
  address = {Los Altos, California},
  rtnote = {In RHT collection.},
  xref = {Republication: lifschitz:1985b2.},
  topic = {circumscription;nonmonotonic-logic;nonmonotonic-reasoning;}
 }

@incollection{ lifschitz:1985b2,
  author = {Vladimir Lifschitz},
  title = {Computing Circumscription},
  booktitle = {Readings in Nonmonotonic Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1987},
  editor = {Matthew L. Ginsberg},
  pages = {167--173},
  address = {Los Altos, California},
  xref = {Original Publication: lifschitz:1985b1.},
  topic = {circumscription;nonmonotonic-logic;nonmonotonic-reasoning;}
  }

@inproceedings{ lifschitz:1986a,
  author = {Vladimir Lifschitz},
  title = {Pointwise Circumscription: Preliminary Report},
  booktitle = {Proceedings of the Fifth National Conference on
              Artificial Intelligence},
  year = {1986},
  editor = {Tom Kehler and Stan Rosenschein},
  pages = {121--127},
  organization = {American Association for Artificial Intelligence},
  publisher = {Morgan Kaufmann},
  address = {Los Altos, California},
  xref = {Superseded by lifschitz:1986d1.},
  topic = {circumscription;nonmonotonic-logic;temporal-reasoning;
  	Yale-shooting-problem;}
  }

@incollection{ lifschitz:1986c1,
  author = {Vladimir Lifschitz},
  title = {On the Semantics of {\sc strips}},
  booktitle = {Reasoning about Actions and Plans},
  publisher = {Morgan Kaufmann},
  year = {1986},
  editor = {Michael P. Georgeff and Amy Lansky},
  pages = {1--9},
  address = {Los Altos, California},
  rtnote = {Reading notes on file.},
  xref = {Reprinted in allen-etal:1990a, see lifschitz:1986c2.},
  topic = {action-formalisms;planning;foundations-of-planning;}
  }

@incollection{ lifschitz:1986c2,
  author = {Vladimir Lifschitz},
  title = {On the Semantics of {\sc strips}},
  booktitle = {Readings in Planning},
  publisher = {Morgan Kaufmann},
  year = {1990},
  editor = {James F. Allen and James Hendler and Austin Tate},
  pages = {523--530},
  address = {San Mateo, California},
  xref = {Reprint of lifschitz:1986c.},
  topic = {kr;foundations-of-planning;action;kr-course;}
  }

@inproceedings{ lifschitz:1986d1,
  author = {Vladimir Lifschitz},
  title = {Pointwise circumscription},
  booktitle = {Proceedings of the Fifth National Conference on
              Artificial Intelligence},
  year = {1986},
  editor = {Tom Kehler and Stan Rosenschein},
  pages = {406--410},
  organization = {American Association for Artificial Intelligence},
  publisher = {Morgan Kaufmann},
  address = {Los Altos, California},
  xref = {Republication: lifschitz:1986d2.},
  topic = {circumscription;nonmonotonic-logic;temporal-reasoning;
  	Yale-shooting-problem;}
  }

@incollection{ lifschitz:1986d2,
  author = {Vladimir Lifschitz},
  title = {Pointwise Circumscription},
  booktitle = {Readings in Nonmonotonic Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1987},
  editor = {Matthew L. Ginsberg},
  address = {Los Altos, California},
  pages = {179--193},
  contentnote = {This is one of 3 formulations of a chronological
  	minimization solutuon to the YSP.},
  xref = {Conference Publication: lifschitz:1986d1.},
  topic = {circumscription;nonmonotonic-logic;temporal-reasoning;
  	Yale-shooting-problem;}
 }

@article{ lifschitz:1986e,
  author = {Vladimir Lifschitz},
  title = {On the Satisfiability of Circumscription},
  journal = {Artificial Intelligence},
  year = {1986},
  volume = {28},
  number = {1},
  pages = {17--27},
  topic = {circumscription;}
  }

@incollection{ lifschitz:1987a2,
  author = {Vladimir Lifschitz},
  title = {On the Declarative Semantics of Logic
         Programs with Negation},
  booktitle = {Readings in Nonmonotonic Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1987},
  editor = {Matthew L. Ginsberg},
  pages = {337--350},
  address = {Los Altos, California},
  xref = {Original Publication: lifschitz:1987a1.},
  topic = {logic-programming;nonmonotonic-logic;negation-as-failure;}
  }

@inproceedings{ lifschitz:1987a,
  author = {Vladimir Lifschitz},
  title = {Benchmark Problems for Formal Non-Monotonic Reasoning,
  	Version 2.00},
  booktitle = {Second International Workshop on Non-Monotonic Reasoning},
  year = {1987},
  editor = {Michael Reinfrank and Johan de Kleer and Eric Sandewall},
  pages = {202--219},
  publisher = {Springer Verlag},
  address = {Berlin},
  rtnote = {In RHT collection.},
  topic = {nonmonotonic-reasoning;}
  }

@inproceedings{ lifschitz:1987c,
  author = {Vladimir Lifschitz},
  title = {Formal Theories of Action: Preliminary Report},
  booktitle = {Proceedings of the Tenth International Joint
  	Conference on Artificial Intelligence},
  year = {1987},
  editor = {John McDermott},
  publisher = {Morgan Kaufmann},
  address = {Los Altos, California},
  missinginfo = {pages},
  topic = {action-formalisms;}
  }

@inproceedings{ lifschitz:1987d1,
  author = {Vladimir Lifschitz},
  title = {Formal Theories of Action},
  booktitle = {Proceedings of the 1987 Workshop on the Frame Problem},
  editor = {Frank M. Brown},
  publisher = {Morgan Kaufmann},
  year = {1987},
  pages = {35--57},
  address = {Los Altos, California},
  xref = {Republication: lifschitz:1987d2.},
  contentnote = {This develops a causal minimization solution to
  	the YSP.},
  topic = {action-formalisms;Yale-shooting-problem;temporal-reasoning;}
  }

@incollection{ lifschitz:1987d2,
  author = {Vladimir Lifschitz},
  title = {Formal Theories of Action},
  booktitle = {Readings in Nonmonotonic Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1987},
  editor = {Matthew L. Ginsberg},
  address = {Los Altos, California},
  pages = {410--432},
  xref = {Republication of lifschitz:1987d1.},
  contentnote = {This develops a causal minimization solution to
  	the YSP.},
  xref = {Republication: lifschitz:1987d2.},
  topic = {action-formalisms;Yale-shooting-problem;temporal-reasoning;}
 }

@article{ lifschitz:1988a1,
  author = {Vladimir Lifschitz},
  title = {Circumscriptive Theories: A Logic-Based Framework for
  	Knowledge Representation},
  journal = {Journal of Philosophical Logic},
  year = {1988},
  volume = {17},
  number = {3},
  pages = {391--441},
  xref = {Republication: lifschitz:1988a2.},
  rtnote = {Reading notes on file.},
  topic = {kr;circumscription;nonmonotonic-logic;}
  }

@incollection{ lifschitz:1988a2,
  author = {Vladimir Lifschitz},
  title = {Circumscriptive Theories: A Logic-Based Framework for
  	Knowledge Representation},
  booktitle = {Philosophical Logic and Artificial Intelligence},
  publisher = {D. Reidel Publishing Co.},
  year = {1989},
  editor = {Richmond H. Thomason},
  pages = {109--159},
  address = {Dordrecht},
  xref = {Republication of: lifschitz:1988a1.},
  rtnote = {Reading notes on file.},
  topic = {kr;circumscription;nonmonotonic-logic;}
  }

@incollection{ lifschitz:1989b,
  author = {Vladimir Lifschitz},
  title = {Between Circumscription and Autoepistemic Logic},
  booktitle = {{KR}'89: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1989},
  editor = {Ronald J. Brachman and Hector J. Levesque and Raymond Reiter},
  pages = {235--244},
  address = {San Mateo, California},
  topic = {kr;circumscription;kr-course;}
  }

@book{ lifschitz:1990b,
  editor = {Vladimir Lifschitz},
  title = {Artificial Intelligence and Mathematical Theory
  	of Computation: Papers in Honor of {J}ohn {M}c{C}arthy},
  publisher = {Ablex Publishing Corporation},
  year = {1990},
  address = {Norwood, New Jersey},
  contentnote = {TC:
     1. David J. Israel, "A Short Sketch of the Life and Career of
     		John McCarthy", pp. 1--5
     2. Robert S. Boyer and David M. Goldschag and Matt Kaufman and
     		J. Strother Moore, "Functional Instantiation in
		First-Order Logic", pp. 7--26
     3. Robert Cartwright, "Lambda: The Ultimate
     	Combinator", pp. 27--46
     4. Solomon Feferman, "Proofs of Termination and the `91'
     		Function", pp. 47--63
     5. Jerome A. Feldman, "Robots with Common Sense?", pp. 65--72
     6. Robert E. Filman, "Ascribing Artificial Intelligence to (Simpler)
     		Machines, or When {AI} Meets the Real World", pp. 73--89
     7. Richard P. Gabriel, "The Design of Parallel Programming
     		Languages", pp. 91--108
     8. Chris Goad, "Metaprogramming at Work in Automated
     		Manufacturing", pp. 109--128
     9. R. Wm. Gosper, "{LISP}+Calculus = Identities", pp. 129--149
    10. Joseph Y. Halpern and Moshe W. Vardi, "Model Checking Versus
    		Theorem Proving: A Manifesto", pp. 151--176
    11. Anthony C. Hearn, "Algebraic Computation: The QUiet
    		Revolution", pp. 177--186
    12. Takahashi Ito, "{LISP} and Parallelism", pp. 187--206
    13. Donald E. Knuth, "Textbook Examples of Recursion", pp. 207--229
    14. Robert A. Kowalski and Jin-Sang Kim, "A Metalogic Approach to
    		Multi-Agent Knowledge and Belief", pp. 231--246
    15. Hector J. Levesque, "Belief and Introspection", pp. 247--260
    16. Zohar Manna and Mark Stickel and Richard Waldinger, "Monotonicity
    		Properties in Automated Deduction", pp. 247--280
    17. Jack Minker and Jorge Lobo and Arcot Rajasekar, "Circumscription
    		 and Disjunctive Logic Programming", pp. 281--304
    18. John C, Mitchell, "On the Equivalence of Data
    		Representations", pp. 305--329
    19. HP Moravec, "Caution!  Robot Vehicle!", pp. 331--343
    20. Peter K. Rathman and Gio Wiederhold, "Circumscription and
    		Authority", pp. 345--358
    21. Raymond Reiter, "The Frame Problem in the Situation Calculus: A
    		Simple Solution (Sometimes) and a Completeness Result
		for Goal Regression", pp. 359--380
    22. Masahiko Sato, "An Abstraction Mechanism for Symbolic
    		Expressions", pp. 381--391
    23. Yoav Shoham, "Varieties of Context", pp. 393--407
    24. Herbert Stoyan, "The Influence of the Designer on the
    	Design---{J}.{M}c{C}arthy and {LISP}", pp. 409--426
    25. Carolyn Talcutt, "Binding Structures", pp. 427--448
    26. Richmond H. Thomason, "Logicism, Artificial Intelligence, and
    		Common Sense: {J}ohn {M}c{C}arthy's Program in
		Philosophical Perspective", pp. 449--466
    27. Richard Weyhrauch, "The Incorrectnesss of the Bisection
    		Algorithm", pp. 467--468
  	},
  topic = {J-McCarthy;common-sense;}
 }

@book{ lifschitz:1990c,
  editor = {Vladimir Lifschitz},
  title = {Formalizing Common Sense: Papers by {J}ohn {M}c{C}arthy},
  publisher = {Ablex Publishing Corporation},
  year = {1990},
  address = {Norwood, New Jersey},
  contentnote = {TC:
     1. Vladimir Lifschitz, "Understanding Common Sense: {M}c{C}arthy's
		Research in Artificial Intelligence", pp. 1--8
     2. John McCarthy, "Programs with Common Sense", pp. 9--20
     3. John McCarthy and Patrick Hayes, "Some Philosophical Problems
     		from the Standpoint of Artificial
		Intelligence", pp. 21--63
     4. John McCarthy, "Review of `Artificial Intelligence: A
     		General Survey{'}", pp. 64--69
     5. John McCarthy, "An Example for Natural Language Understanding
     		and the {AI} Problems It Raises", pp. 70--76
     6. John McCarthy, "Epistemological Problems of Artificial
     		Intelligence", pp. 77--92
     7. John McCarthy, "Ascribing Mental Qualities to
     		Machines", pp. 93--118
     8. John McCarthy, "First Order Theories of Individual Concepts and
		Propositions", pp. 119--141
     9. John McCarthy, "Circumscription--A Form of Nonmonotonic
     		Reasoning", pp. 142--157
    10. John McCarthy, "Formalization of Two Puzzles Involving
    		Knowledge", pp. 158--166
    11. John McCarthy, "Coloring Maps and the Kowalski
    		Doctrine", pp. 167--178
    12. John McCarthy, "The Common Business Communication
    		Language", pp. 179--188
    13. John McCarthy, "The Little Thoughts of Thinking Machines",
    		pp. 179--186
    14. John McCarthy, "{AI} Needs More Emphasis on Basic Research",
    		pp. 187--188
    15. John McCarthy, "Some Expert Systems Need Common
    		Sense", pp. 189--197
    16. John McCarthy, "Applications of Circumscription to
    		Formalizing Common Sense", pp. 198--225
    17. John McCarthy, "Generality in Artificial Intelligence", pp.
    		226--236
    18. John McCarthy, "Mathematical Logic in Artificial
    		Intelligence", pp. 237--249
   },
  xref = {Reviews: akman:1995a,marek:1993a,giunchiglia_f:1994a,
  	giunchiglia_f:1995a,giunchiglia_f:1995b},
  topic = {AI-classics;circumscription;J-McCarthy;common-sense;kr;}
 }

@incollection{ lifschitz:1990d,
  author = {Vladimir Lifschitz},
  title = {Understanding Common Sense: {M}c{C}arthy's
		Research in Artificial Intelligence},
  booktitle = {Formalizing Common Sense: Papers by {J}ohn {M}c{C}arthy},
  publisher = {Ablex Publishing Corporation},
  year = {1990},
  editor = {Vladimir Lifschitz},
  pages = {1--8},
  address = {Norwood, New Jersey},
  rtnote = {Reading notes on file.},
  xref = {Review: akman:1995a.},
  topic = {J-McCarthy;common-sense;kr;}
  }

@article{ lifschitz:1990e,
  author = {Vladimir Lifschitz},
  title = {Frames in the Space of Situations},
  journal = {Artificial Intelligence},
  year = {1990},
  volume = {46},
  number = {3},
  pages = {365--376},
  topic = {situation-calculus;temporal-reasoning;fluents;}
  }

@incollection{ lifschitz:1991a,
  author = {Vladimir Lifschitz},
  title = {Toward a Metatheory of Action},
  booktitle = {{KR}'91: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1991},
  editor = {James Allen and Richard Fikes and Erik Sandewall},
  pages = {376--386},
  address = {San Mateo, California},
  topic = {kr;action;foundations-of-planning;situation-calculus;
  	circumscription;}
  }

@inproceedings{ lifschitz:1993a,
  author = {Vladimir Lifschitz},
  title = {Restricted Monotonicity},
  booktitle = {Proceedings of the Eleventh National Conference on
              Artificial Intelligence},
  year = {1993},
  editor = {Richard Fikes and Wendy Lehnert},
  pages = {432--437},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, CA},
  topic = {nonmonotonic-reasoning;}
  }

@article{ lifschitz:1994a,
  author = {Vladimir Lifschitz},
  title = {Minimal Belief and Negation as Failure},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {70},
  pages = {53--72},
  number = {1--2},
  topic = {nonmonotonic-logic;autoepistemic-logic;negation-as-failure;}
  }

@incollection{ lifschitz:1994b,
  author = {Vladimir Lifschitz},
  title = {Circumscription},
  booktitle = {Handbook of Logic in Artificial Intelligence
   	         and Logic Programming, Volume 3: Nonmonotonic
		 Reasoning and Uncertain Reasoning},
  publisher = {Oxford University Press},
  year = {1994},
  editor = {Dov Gabbay and Christopher J. Hogger and J. A. Robinson},
  pages = {298--352},
  topic = {circumscription;nonmonotonic-logic;}
  }

@article{ lifschitz:1995a,
  author = {Vladimir Lifschitz},
  title = {The Logic of Common Sense},
  journal = {{ACM} Computing Surveys},
  year = {1995},
  volume = {27},
  pages = {343--345},
  missinginfo = {number},
  rtnote = {Also available at
  	http://www.cs.utexas.edu/users/vl/mypapers/common_sense.ps.},
  rtnote = {In RHT collection.},
  topic = {common-sense-logicism;}
  }

@article{ lifschitz:1995b,
  author = {Vladimir Lifschitz},
  title = {Nested Abnormality Theories},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {74},
  number = {2},
  pages = {351--365},
  topic = {nonmonotonic-logic;lcircumscription;}
  }

@inproceedings{ lifschitz:1996a1,
  author = {Vladimir Lifschitz},
  title = {Two Components of an Action Language},
  booktitle = {Working Papers: Common Sense '96},
  year = {1996},
  editor = {Sa\v{s}a Buva\v{c} and Tom Costello},
  pages = {89--95},
  publisher = {Computer Science Department, Stanford University},
  address = {Stanford University},
  note = {Consult http://www-formal.Stanford.edu/tjc/96FCS.},
  xref = {Journal publication: lifschitz:1996a2},
  topic = {kr;action-formalisms;causality;action-effects;kr-course;}
  }

@article{ lifschitz:1996a2,
  author = {Vladimir Lifschitz},
  title = {Two Components of an Action Language},
  journal = {Annals of Mathematics and Artificial Intelligence},
  year = {1997},
  volume = {21},
  pages = {305--320},
  missinginfo = {number},
  xref = {Republication of: lifschitz:1996a1},
  topic = {kr;action-formalisms;causality;action-effects;kr-course;}
  }

@incollection{ lifschitz:1996b,
  author = {Vladimir Lifschitz},
  title = {Foundations of Logic Programming},
  booktitle = {Principles of Knowledge Representation},
  publisher = {{CSLI} Publications},
  year = {1996},
  editor = {Gerhard Brewka},
  pages = {69--127},
  address = {Stanford, California},
  topic = {logic-programming;}
  }

@incollection{ lifschitz:1996c,
  author = {Vladimir Lifschitz},
  title = {Foundations of Logic Programming},
  booktitle = {Principles of Knowledge Representation},
  publisher = {{CSLI} Publications},
  year = {1996},
  editor = {Gerhard Brewka},
  pages = {69--127},
  address = {Stanford, California},
  topic = {logic-programming;}
  }

@article{ lifschitz:1997a,
  author = {Vladimir Lifschitz},
  title = {On the Logic of Causal Explanation},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {96},
  number = {2},
  pages = {451--465},
  topic = {causality;circumscription;action-formalisms;}
  }

@incollection{ lifschitz:1998a,
  author = {Vladimir Lifschitz},
  title = {Situation Calculus and Causal Logic},
  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 = {536--546},
  address = {San Francisco, California},
  topic = {kr;temporal-reasoning;action-formalisms;
  	causality;kr-course;situation-calculus;nonmonotonic-reasoning;}
  }

@inproceedings{ lifschitz:1998b,
  author = {Vladimir Lifschitz},
  title = {Situation Calculus and Causal Logic},
  booktitle = {Working Notes of the {AAAI} Spring Symposium on
 	Prospects for a Commonsense Theory of Causation},
  year = {1998},
  organization = {American Association for Artificial Intelligence},
  publication = {American Association for Artificial Intelligence},
  address = {Menlo Park, CA},
  editor = {Charles L. {Ortiz, Jr.}},
  pages = {31--37},
  rtnote = {In RHT Collection.  Shelf.  Separate copy in reprint files.},
  topic = {causality;temporal-reasoning;planning-formalisms;
	nonmonotonic-reasoning;situation-calculus;}
 }

@unpublished{ lifschitz:1998c,
  author = {Vladimir Lifschitz},
  title = {Cracking an Egg: An Exercise in Commonsense Reasoning},
  year = {1998},
  note = {Unpublished manuscript,
  	http://www.cs.utexas.edu/users/vl/mypapers/egg.ps},
  rtnote = {In RHT collection.},
  topic = {common-sense-reasoning;kr;macro-formalization;}
  }

@inproceedings{ lifschitz:1999a,
  author = {Vladimir Lifschitz},
  title = {A Causal Language for Describing Actions},
  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 = {causality;action-formalisms;}
  }

@inproceedings{ lifschitz:2000a,
  author = {Vladimir Lifschitz},
  title = {Missionaries and Cannibals in the Causal Calculator},
  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 = {85--96},
  topic = {planning-formalisms;macro-formalization;elaboration-tolerance;}
  }

@article{ lifschitz:2000b,
  author = {Vladimir Lifschitz},
  title = {Review of \emph{{S}olving the Frame Problem}, by
  	{M}urray {S}hanahan},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {123},
  number = {1--2},
  pages = {265--268},
  xref = {Review of: shanahan:1997a.  Response: shanahan:2000a.},
  topic = {kr;temporal-reasoning;frame-problem;krcourse;}
  }

@article{ lifschitz:2002a,
  author = {Vladimir Lifschitz},
  title = {Answer Set Generation and Plan Generation},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {138},
  number = {1--2},
  pages = {39--54},
  topic = {logic-programming;answer-sets;plan-algorithms;}
  }

@incollection{ lifschitz-etal:2000a,
  author = {Vladimir Lifschitz and Norman McCain and Emilio Remolina and
     		Armando Tacchella},
  title = {Getting to the Airport: The Oldest Planning Problem in
  		{AI}},
  booktitle = {Logic-Based Artificial Intelligence},
  publisher = {Kluwer Academic Publishers},
  year = {2000},
  editor = {Jack Minker},
  pages = {147--165},
  address = {Dordrecht},
  topic = {logic-in-AI;}
  }

@article{ lifschitz-rabinov:1989a,
  author = {Vladimir Lifschitz and  Arkady Rabinov},
  title = {Miracles in Formal Theories of Action},
  journal = {Artificial Intelligence},
  year = {1989},
  volume = {38},
  number = {2},
  pages = {225--237},
  topic = {action-formalisms;}
  }

@inproceedings{ lifschitz-schwartz_g:1993a,
  author = {Vladimir Lifschitz and Grigiri Schwartz},
  title = {Extended Logic Programs as Autoepistemic Theories},
  booktitle = {Proceedings of the Second International Conference on
		Logic Programming and Nonmonotonic Reasoning},
  year = {1993},
  pages = {101--114},
  missinginfo = {editor, publisher, organization, address},
  topic = {extended-logic-programming;autoepistemic-logic;}
  }

@incollection{ lifschitz-turner_h:1995a,
  author = {Vladimir Lifschitz and Hudson Turner},
  title = {From Disjunctive Programs to Abduction},
  booktitle = {Non-Monotonic Extensions of Logic Programming},
  publisher = {Springer-Verlag},
  year = {1995},
  pages = {23--42},
  address = {Berlin},
  missinginfo = {editor},
  topic = {disjunctive-logic-programming;abduction;}
  }

@incollection{ lifschitz-woo:1992a,
  author = {Vladimir Lifschitz and T. Woo},
  title = {Answer Sets in General Nonmonotonic Reasoning
	(Preliminary Report)},
  booktitle = {{KR}'92. Principles of Knowledge Representation and
  	Reasoning: Proceedings of the Third International Conference},
  publisher = {Morgan Kaufmann},
  year = {1992},
  editor = {Bernhard Nebel and Charles Rich and William Swartout},
  pages = {603--614},
  address = {San Mateo, California},
  topic = {nonmonotonic-reasoning;kr;logic-programming;
  	nonmonotonic-logic;}
  }

@article{ ligeza:1990a,
  author = {Antoni Lig\k{e}za},
  title = {Dynamic Backward Reasoning Systems},
  journal = {Artificial Intelligence},
  year = {1990},
  volume = {43},
  number = {2},
  pages = {127--152},
  topic = {search;planning-algorithms;}
  }

@techreport{ light:1993a,
  author = {Mark Light},
  title = {Classification in Feature-Based Default Inheritance
  	Hierarchies},
  institution = {Computer Science Department, University of Rochester},
  number = {473},
  year = {1991},
  address = {Rochester, NY},
  rtnote = {In RHT collection.},
  topic = {kr;inheritance;classification;feature-structures;kr-course;}
  }

@inproceedings{ light:1996a,
  author = {Marc Light},
  title = {Morphological Cues for Lexical Semantics},
  booktitle = {Proceedings of the Thirty-Fourth Annual Meeting of the
  	Association for Computational Linguistics},
  year = {1996},
  editor = {Arivind Joshi and Martha Palmer},
  pages = {25--31},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco},
  topic = {derivational-morphology;word-learning;}
 }

@article{ light:1998a,
  author = {Marc Light},
  title = {Review of \emph{Corpus Processing for Lexical Acquisition},
  		by {B}ranimir {B}oguraev and {J}ames {P}ustejovsky},
  journal = {Journal of Logic, Language, and Information},
  year = {1998},
  volume = {7},
  number = {1},
  pages = {111--114},
  topic = {corpus-linguistics;dictionary-construction;}
  }

@incollection{ lightner:1971a,
  author = {Theodore Lightner},
  title = {Generative Phonology},
  booktitle = {A Survey of Linguistic Science},
  publisher = {Privately Published, Linguistics Program, University of
		Maryland.},
  year = {1971},
  editor = {William Orr Dingwall},
  pages = {498--574},
  address = {College Park, Maryland},
  topic = {phonology;}
  }

@article{ likhachev-etal:2008a,
  author = {Maxim Likhachev and Dave Ferguson and Geoff Gordon and
  		Anthony Stentz and Sebastian Thrun},
  title = {Anytime Search in Dynamic Graphs},
  journal = {Artificial Intelligence},
  year = {2008},
  volume = {172},
  number = {14},
  pages = {1613--1643},
  topic = {planning-algorithms;heuristics;search;}
  }

@article{ likhachev-stentz:2009a,
  author = {Maxim Likhachev and Anthony Stentz},
  title = {Probabilistic Planning with Clear Preferences on Missing
  	Information},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {173},
  number = {5--6},
  pages = {696--721},
  topic = {planning;heuristics;decision-making-under-uncertainty;
  		uncertainty-in-AI;}
  }

@book{ lim-morley_d:1990a,
  author = {Pierre Lim and David Morley},
  title = {Domains For Meta-Programming},
  publisher = {Dept. of Computer Science, Monash University},
  year = {1990},
  address = {Clayton, Australia},
  ISBN = {1575862379},
  rtnote = {UMich Media Union Library, QA 76 .S4251 1997.},
  topic = {metaprogramming;}
 }

@article{ lima-etal:2005a,
  author = {Pedro Lima and Luis Cust\'odio and Levent Akin and Adam
  		Jackoff and Gerhard Kraetzschunar and Ng Beng Kiat
		and Oliver Obst and Thomas R\"ofer and Yasutke
		Takahashi and Changjiu Zhou},
  title = {Robo{C}up 2004 Competitions and Symposium},
  journal = {The {AI} Magazine},
  year = {2005},
  volume = {26},
  number = {2},
  pages = {37--61},
  topic = {robotics;RoboCup;}
  }

@inproceedings{ lin_dk:1997a,
  author = {Dekang Lin},
  title = {Using Syntactic Dependency on Local Context to Resolve
  	Word Sense Ambiguity},
  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 = {64--71},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  topic = {lexical-disambiguation;nl-processing;}
 }

@article{ lin_dk:1999a,
  author = {Dekang Lin},
  title = {Review of \emph{Wordnet: An Electronic Lexical
		Database}, by {C}hristiane {F}ellbaum},
  journal = {Computational Linguistics},
  year = {1998},
  volume = {25},
  number = {2},
  pages = {292--296},
  xref = {Review of fellbaum:1998a.},
  topic = {wordnet;clcourse;}
  }

@techreport{ lin_dk-goebel:1989a,
  author = {Dekang Lin and Randy Goebel},
  title = {Computing Circumscription of Ground Theories with
		Theorist},
  institution = {Department of Computing Science, University of Alberta},
  number = {TR 89--26},
  year = {1989},
  address = {Edmonton},
  rtnote = {In RHT collection.},
  topic = {circumscription;nonmonotonic-reasoning;}
  }

@techreport{ lin_dk-goebel:1989b,
  author = {Dekang Lin and Randy Goebel},
  title = {A Probabilistic Theory of Abductive Diagnostic Reasoning},
  institution = {Department of Computing Science, University of Alberta},
  number = {TR 89--25},
  year = {1989},
  address = {Edmonton},
  rtnote = {In RHT collection.},
  topic = {abduction;diagnosis;}
  }

@inproceedings{ lin_fz:1988a,
  author = {Fangzhen Lin},
  title = {Circumscription in a Modal Logic},
  booktitle = {Proceedings of the Second Conference on Theoretical
  	Aspects of Reasoning about Knowledge},
  year = {1988},
  editor = {Moshe Y. Vardi},
  pages = {113--127},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  topic = {circumscription;modal-logic;epistemic-logic;}
  }

@phdthesis{ lin_fz:1990a,
  author = {Fangzhen Lin},
  title = {A Study in Nonmonotonic Reasoning},
  school = {Computer Science Department, Stanford University},
  year = {1991},
  topic = {action;planning-formalisms;nonmonotonic-logic;
  	causality;}
    }

@inproceedings{ lin_fz:1995a,
  author = {Fangzhen Lin},
  title = {Embracing Causality in Specifying the Indirect Effects of
  	Actions},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {1985--1991},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  rtnote = {In RHT collection.},
  topic = {causality;action-effects;action;action-formalisms;}
  }

@inproceedings{ lin_fz:1996a,
  author = {Fangzhen Lin},
  title = {Abstract Operators, Indeterminate Effects, and the
  	Magic Predicate},
  booktitle = {Working Papers: Common Sense '96},
  year = {1996},
  editor = {Sa\v{s}a Buva\v{c} and Tom Costello},
  pages = {96--103},
  publisher = {Computer Science Department, Stanford University},
  address = {Stanford University},
  note = {Consult http://www-formal.Stanford.edu/tjc/96FCS.},
  topic = {indeterminacy;actions;action-formalisms;frame-problem;}
  }

@inproceedings{ lin_fz:1996b,
  author = {Fangzhen Lin},
  title = {Nondeterminism in Causal Theories of Action},
  booktitle = {Proceedings of the Thirteenth National Conference on
              Artificial Intelligence and the Eighth Innovative
	      Applications of Artificial Intelligence  Conference},
  year = {1996},
  editor = {William J. Clancey and Dan Weld},
  pages = {670--676},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {action-formalisms;causality;(in)determinism;}
  }

@inproceedings{ lin_fz:1998a,
  author = {Fangzhen Lin},
  title = {On the Relationships between Static and Dynamic Causal
		Rules in the Situation Calculus},
  booktitle = {Working Notes of the {AAAI} Spring Symposium on
 	Prospects for a Commonsense Theory of Causation},
  year = {1998},
  organization = {American Association for Artificial Intelligence},
  publication = {American Association for Artificial Intelligence},
  address = {Menlo Park, CA},
  editor = {Charles L. {Ortiz, Jr.}},
  pages = {38--43},
  rtnote = {In RHT Collection.  Shelf.},
  topic = {causality;temporal-reasoning;planning-formalisms;
	actions;nonmonotonic-reasoning;situation-calculus;}
 }

@incollection{ lin_fz:1998b,
  author = {Fangzhen Lin},
  title = {On Measuring Plan Quality (A Preliminary Report)},
  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 = {224--232},
  address = {San Francisco, California},
  topic = {kr;planing;plan-evaluation;kr-course;}
  }

@article{ lin_fz:1998c,
  author = {Fangzhen Lin},
  title = {Applications of the Situation Calculus to Formalizing
  	Control and Strategic Information: the {P}rolog Cut Operator},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {103},
  number = {1--2},
  pages = {273--294},
  topic = {procedural-control;situation-calculus;negation-as-failure;}
  }

@inproceedings{ lin_fz:2000a,
  author = {Fangzhen Lin},
  title = {On Strongest Necessary and Weakest Sufficient Conditions},
  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 = {167--175},
  topic = {abduction;definability;}
  }

@article{ lin_fz:2001a,
  author = {Fangzhen Lin},
  title = {On Strongest Necessary and Weakest Sufficient Conditions},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {128},
  number = {1--2},
  pages = {143--159},
  topic = {definability;abduction;}
  }

@article{ lin_fz:2001b,
  author = {Fangzhen Lin},
  title = {A Planner Called {R}},
  journal = {The {AI} Magazine},
  year = {2001},
  volume = {22},
  number = {1},
  pages = {73--76},
  topic = {planning;planning-algorithms;planning-systems;}
  }

@incollection{ lin_fz:2002a,
  author = {Fangzhen Lin},
  title = {Reducing Strong Equivalence to Entailment in Classical
  	Propositional Logic},
  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 = {170--176},
  address = {San Francisco, California},
  topic = {kr;logic-programming;}
  }

@incollection{ lin_fz:2004a,
  author = {Fangzhen Lin},
  title = {Discovering State Invariants},
  booktitle = {{KR}2004: Principles of Knowledge Representation and
  		Reasoning},
  publisher = {AAAI Press},
  year = {2004},
  editor = {Didier Dubois and Christopher A. Welty and Mary-Anne Williams},
  pages = {536--544},
  address = {Menlo Park, California},
  topic = {temporal-reasoning;search;}
  }

@article{ lin_fz-levesque:1998a,
  author = {Fangzhen Lin and Hector J. Levesque},
  title = {What Robots Can Do: Robot Programs and Effective
  	Achievability},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {101},
  number = {1--2},
  pages = {201--226},
  topic = {cognitive-robotics;action-theory;action-formalisms;
  	ability;reasoning-about-achievability;}
  }

@article{ lin_fz-reiter_r:1994a,
  author = {Fangzhen Lin and Raymond Reiter},
  title = {State Constraints Revisited},
  journal = {Journal of Logic and Computation},
  year = {1994},
  volume = {4},
  pages = {655--678},
  topic = {kr;frame-problem;temporal-reasoning;kr-course;}
  }

@incollection{ lin_fz-reiter_r:1994b,
  author = {Fangzhen Lin and Raymond Reiter},
  title = {How to Progress a Database (and Why) {I}: Logical Foundations},
  booktitle = {{KR}'94: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
  pages = {425--436},
  address = {San Francisco, California},
  topic = {planning-formalisms;temporal-reasoning;kr;kr-course;}
  }

@inproceedings{ lin_fz-reiter_r:1994c,
  author = {Fangzhen Lin and Raymond Reiter},
  title = {Forget It!},
  booktitle = {Working Notes, {AAAI} Fall Symposium on Relevance},
  year = {1994},
  editor = {Russell Greiner and Devika Subramanian},
  pages = {154--159},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  topic = {kr;}
  }

@inproceedings{ lin_fz-reiter_r:1995a,
  author = {Fangzhen Lin and Raymond Reiter},
  title = {How to Progress a Database {II}: The {\sc strips} Connection},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {2001--2007},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  xref = {See lin_fz-reiter_r:1994b for Part I.  Journal Publication:
  	lin_fz-reiter_r:1997a},
  rtnote = {In RHT collection.},
  topic = {planning-formalisms;temporal-reasoning;kr;kr-course;
  	situation-calculus;}
  }

@article{ lin_fz-reiter_r:1997a,
  author = {Fangzhen Lin and Raymond Reiter},
  title = {How to Progress a Database},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {92},
  number = {1--2},
  pages = {131--167},
  xref = {See lin_fz-reiter_r:1994b, lin_fz-reiter_r:1995a for conference
  	papers.},
  topic = {planning-formalisms;temporal-reasoning;kr;kr-course;
  	situation-calculus;action-formalisms;frame-problem;}
  }

@article{ lin_fz-shoham:1995a,
  author = {Fangzhen Lin and Yoav Shoham},
  title = {Provably Correct Theories of Action},
  year = {1995},
  journal = {Journal of the Association for Computing Machinery},
  volume = {42},
  number = {2},
  pages = {293--320},
  topic = {action;planning-formalisms;frame-problem;concurrent-actions;}
  }

@incollection{ lin_fz-shoham_y1:1989a,
  author = {Fangzhen Lin and Yoav Shoham},
  title = {Argument Systems: A Uniform Basis For Non-Monotonic
  	Reasoning},
  booktitle = {{KR}'89: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1989},
  editor = {Ronald J. Brachman and Hector J. Levesque and Raymond Reiter},
  pages = {245--255},
  address = {San Mateo, California},
  rtnote = {Techreport in RHT collection.},
  topic = {argument-systems;nonmonotonic-logic;}
  }

@inproceedings{ lin_fz-shoham_y1:1990a,
  author = {Fang-Zhen Lin and Yoav Shoham},
  title = {Epistemic Semantics For Fixed-Points Non-Monotonic Logics},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
    Proceedings of the Third Conference ({TARK} 1990)},
  year = {1990},
  editor = {Rohit Parikh},
  pages = {111--120},
  publisher = {Morgan Kaufmann},
  address = {Los Altos, California},
  rtnote = {In RHT collection.},
  topic = {nonmonotonic-logic;fixpoints;autoepistemic-logic;
  	default-logic;}
  }

@inproceedings{ lin_fz-shoham_y1:1991a,
  author = {Fangzhen Lin and Yoav Shoham},
  title = {Provably Correct Theories of Action (Preliminary Report)},
  booktitle = {Proceedings of the Ninth National Conference on
              Artificial Intelligence},
  year = {1991},
   editor = {Thomas Dean and Kathy McKeown},
  pages = {349--354},
  organization = {American Association for Artificial Intelligence},
  publisher = {The {MIT} Press},
  address = {Cambridge, Massachusetts},
  rtnote = {In RHT collection.},
  topic = {action;planning-formalisms;frame-problem;concurrent-actions;}
  }

@article{ lin_fz-shoham_y1:1992a,
  author = {Fangzhen Lin and Yoav Shoham},
  title = {A Logic of Knowledge and Justified Assumptions},
  journal = {Artificial Intelligence},
  year = {1992},
  volume = {57},
  number = {2--3},
  pages = {271--289},
  rtnote = {In RHT collection.},
  topic = {kr;nonmonotonic-logic;epistemic-logic;kr-course;}
 }

@inproceedings{ lin_fz-shoham_y1:1992b,
  author = {Fangzhen Lin and Yoav Shoham},
  title = {Concurrent Actions in the Situation Calculus},
  booktitle = {Proceedings of the Tenth National Conference on
              Artificial Intelligence},
  year = {1992},
  editor = {Paul Rosenbloom and Peter Szolovits},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  missinginfo = {pages},
  rtnote = {In RHT collection.},
  topic = {action;planning-formalisms;concurrent-action;}
  }

@article{ lin_fz-you:2002a,
  author = {Fangzhen Lin and Jia-Huai You},
  title = {Abduction in Logic Programming: A New Definition and an
  	Abductive Procedure Based on Rewriting},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {140},
  number = {1--2},
  pages = {175--205},
  topic = {abduction;logic-programming;}
  }

@inproceedings{ lin_fz-zhao_yt:2002a,
  author = {Fangzhen Lin and Yuting Zhao},
  title = {{ASSAT}: Computing Answer Sets of a Logic Program by
  	{SAT} Solvers},
  booktitle = {Proceedings of the Eighteenth National Conference on
              Artificial Intelligence},
  year = {2002},
  editor = {Rina Dechter and Michael Kearns and Richard S. Sutton},
  pages = {112--117},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {logic-programming;model-checking;}
  }

@article{ lin_fz-zhao_yt:2004a,
  author = {Fangzhen Lin and Yuting Zhao},
  title = {{ASSAT}: Computing Answer Sets of a Logic Program with
  		{SAT} Solvers},
  journal = {Artificial Intelligence},
  year = {2004},
  volume = {157},
  number = {1--2},
  pages = {115--137},
  topic = {nonmonotonic-reasoning;logic-programming;answer-sets;
  	model-checking;}
  }

@article{ lin_jw:1998a,
  author = {Jo-Wang Lin},
  title = {Distributivity in {C}hinese and its Implications},
  journal = {Natural Language Semantics},
  year = {1998},
  volume = {6},
  number = {2},
  pages = {201--243},
  topic = {distributivity-of-quantifiers;Chinese-language;}
  }

@article{ lin_jw:1999a,
  author = {Jo-Wang Lin},
  title = {Double Quantification and the Meaning of
  	{\it Shenne} `What' in {C}hinese Bare Conditionals},
  journal = {Linguistics and Philosophy},
  year = {1999},
  volume = {22},
  number = {6},
  pages = {573--593},
  topic = {nl-quantifiers;Chinese-language;}
  }

@article{ lin_jw:2004a,
  author = {Jo-Wang Lin},
  title = {Choice Functions and Scope of Existential Polarity Wh-Phrases
  		in {M}andarin {C}hinese},
  journal = {Linguistics and Philosophy},
  year = {2004},
  volume = {27},
  number = {4},
  pages = {451--491},
  topic = {existential-constructions;Chinese-language;}
  }

@incollection{ lin_jx:1994a,
  author = {Jinxin Lin},
  title = {Consistent Belief Reasoning in the Presence of Inconsistency},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
  	Proceedings of the Fifth Conference ({TARK} 1994)},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Ronald Fagin},
  pages = {80--94},
  address = {San Francisco},
  topic = {paraconsistency;epistemic-logic;}
  }

@article{ lin_jx:1996a,
  author = {Jinxin Lin},
  title = {Integration of Weighted Knowledge Bases},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {83},
  number = {2},
  pages = {363--378},
  topic = {knowledge-integration;}
  }

@article{ lin_jx:1996b,
  author = {Jinxin Lin},
  title = {A Semantics for Reasoning Consistently in the Presence of
  	Inconsistency},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {86},
  number = {1},
  pages = {75--95},
  topic = {paraconsistency;hyperintensionality;epistemic-logic;}
  }

@article{ lin_r-etal:2008a,
  author = {Raz Lin and Sarit Kraus and Jonathan Wilkenfeld and James Barry},
  title = {Negotiating with Bounded Rational Agents in Environments
  		with Incomplete Information Using an Automated Agent},
  journal = {Artificial Intelligence},
  year = {2008},
  volume = {172},
  number = {6--7},
  pages = {823--851},
  topic = {negotiation;bounded-rationality;}
  }

@article{ lin_wc-etal:1989a,
  author = {Wei-Chung Lin and Cheng-Chung Liang and Chin-Tu Chen},
  title = {A Computational Model for Process-Grammar},
  journal = {Artificial Intelligence},
  year = {1989},
  volume = {38},
  number = {2},
  pages = {207--224},
  acontentnote = {Abstract:
     Shape analysis is a challenging topic in the research areas of
     human and machine vision.  Recently, Leyton [1] proposed a
     process-grammar for analyzing morphological change of
     two-dimensional patterns.  Because the process-grammar was
     designed to give a qualitative description of what has occurred
     in the intervening time, it does not quantitatively derive the
     later shape from the earlier one and the continuous family of
     ``intermediate shapes'' is therefore unspecified.  A
     computational model is thus proposed to supplement the
     process-grammar for describing the continuous process-history of
     shape change.  Based on the idea of elastic interpolation, the
     basic approach is to find a set of ``forces'' acting on one
     shape and trying to distort it to be like the other shape.  The
     intermediate shapes generated by this process can be considered
     as the process-history of the two shapes.  Five out of six rules
     in the process-grammar can be explained by the model without any
     modification.  By a minor modification, the only rule remained
     can also be covered by the model.  },
  topic = {spatial-reasoning;extralinguistic-uses-of-grammars;}
  }

@inproceedings{ lin_y:2005a,
  author = {Ying Lin},
  title = {Learning Stochastic {OT} Grammars: A {B}ayesian Approach
  		using Data Augmentation and {G}ibbs Sampling},
  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 = {346--353},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1043},
  topic = {machine-learning;optimality-theory;grammar-learning;}
  }

@inproceedings{ lincoln-shankar_n:1994a,
  author = {P.D. Lincoln and N. Shankar},
  title = {Proof Search in First-order Linear Logic and Other
   		Cut-free Sequent Calculi},
  year = {1994},
  booktitle = {LICS},
  pages = {282--291},
  topic = {linear-logic;theorem-proving;cut-free-deduction;}
}

@incollection{ lind-coiner:2003a,
  author = {Laura H. Lind and Tania Coiner},
  title = {Initiative and Clarification in Web-Based Surveys},
  booktitle = {Working Papers of the 2003 {AAAI} Spring Symposium on
  	Natural Language Generation in Spoken and Written
	Dialogue},
  publisher = {AAAI Press},
  year = {2003},
  editor = {Reva Freedman and Charles Callaway},
  pages = {125--132},
  address = {Menlo Park, California},
  topic = {nl-generation;computational-dialogue;clarification-dialogues;
  	discourse-initiative;}
  }

@book{ lindahl:1977a,
  author = {Lars Lindahl},
  title = {Position and Change: A Study in Law and Logic},
  publisher = {D. Reidel Publishing Co.},
  year = {1977},
  address = {Dordrecht},
  rtnote = {Chapter 7 in RHT collection.  Deals with Hohfeld.},
  topic = {logic-and-law;Hohfeld;}
 }

@book{ lindblom:1977a,
  author = {Charles E. Lindblom},
  title = {Politics and Markets: The World's Political Economic
  	Systems},
  publisher = {Basic Books},
  year = {1977},
  address = {New York},
  ISBN = {0465059570},
  rtnote = {UMich Graduate Library, HD82 .L4751.},
  topic = {political-economy;}
 }

@article{ lindell-weinstein_s1:2007a,
  author = {Steven Lindell and Scott Weinstein},
  title = {Review of \emph{{E}lements of Finite Model Theory}, by
  		{L}eonid {L}ibkin},
  journal = {Journal of Logic, Language, and Information},
  year = {2007},
  volume = {16},
  number = {2},
  pages = {233--239},
  xref = {Review of: libkin:2004a.},
  topic = {finite-model-theory;}
  }

@inproceedings{ linden-etal:1997a,
  author = {Greg Linden and Steve Hanks and Neal Lesh},
  title = {Interactive Assessment of User Preference Models: The
  	Automated Travel Assistant},
  booktitle = {Proceedings, User Modeling '97},
  year = {1997},
  note = {Available at
  	http://www.cs.washington.edu/homes/hanks/Papers/index.html.},
  missinginfo = {Title may not be accurate. editor pages,
  	organization, address},
  rtnote = {In RHT collection.  Filed under "Hanks".},
  rtnote = {Reading notes on file.},
  topic = {preference-elicitation;}
  }

@book{ lindley:2007a,
  author = {David Lindley},
  title = {Uncertainty:  {E}instein, {B}ohr, {H}eisenberg, and the
  	Struggle for the Soul of Science},
  publisher = {Doubleday},
  year = {2007},
  address = {New York},
  rtnote = {In RHT Collection.  History of science shelves.},
  topic = {history-of-science;quantum-mechanics;}
 }

@book{ lindsay_ph-norman_da:1972a,
  author = {Peter H. Lindsay and Donald A. Norman},
  title = {Human Information Processing; An Introduction to Psychology},
  publisher = {Academic Press},
  year = {1972},
  address = {New York},
  ISBN = {0124509509},
  rtnote = {UMich Undergraduate Call No: BF131 .L75},
  topic = {cognitive-psychology;}
 }

@article{ lindsay_rk:1988a1,
  author = {Robert K. Lindsay},
  title = {Imagery and Inference},
  journal = {Cognition},
  year = {1988},
  volume = {29},
  pages = {229--250},
  missinginfo = {number},
  xref = {Republication: lindsay:1988a2},
  topic = {diagrams;cognitive-psychology;visual-reasoning;}
  }

@incollection{ lindsay_rk:1988a2,
  author = {Robert K. Lindsay},
  title = {Imagery and Inference},
  booktitle = {Diagrammatic Reasoning},
  publisher = {The {MIT} Press},
  year = {1995},
  editor =  {Janice Glasgow and N. Hari Narayanan and B.
		Chandrasekaran},
  pages = {111--135},
  address = {Cambridge, Massachusetts},
  xref = {Republication of: lindsay:1988a1},
  topic = {diagrams;cognitive-psychology;visual-reasoning;}
  }

@article{ lindsay_rk-etal:1993a,
  author = {Robert K. Lindsay and Bruce G. Buchanan and Edward A.
  	Feigenbaum and Joshua Lederberg},
  title = {{DENDRAL}: A Case Study of the First Expert System for
  	Scientific Hypothesis Formation},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {61},
  number = {2},
  pages = {209--261},
  acontentnote = {Abstract:
     The DENDRAL Project was one of the first large-scale programs to
     embody the strategy of using detailed, task-specific knowledge
     about a problem domain as a source of heuristics, and to seek
     generality through automating the acquisition of such knowledge.
     This paper summarizes the major conceptual contributions and
     accomplishments of that project.  It is an attempt to distill
     from this research the lessons that are of importance to
     artificial intelligence research and to provide a record of the
     final status of two decades of work.  },
  topic = {expert-systems;scientific-reasoning;computer-assisted-science;}
  }

@article{ lindstrom_p:2001a,
  author = {Per Lindstr\"om},
  title = {Penrose's New Argument},
  journal = {Journal of Philosophical Logic},
  year = {2001},
  volume = {30},
  number = {3},
  pages = {241--250},
  topic = {foundations-of-cognition;goedels-first-theorem;
  	goedels-second-theorem;philosophy-of-computation;}
  }

@article{ lindstrom_p:2006a,
  author = {Per Lindstrom},
  title = {Note on Some Fixed Point Constructions in Provability Logic},
  journal = {Journal of Philosophical Logic},
  year = {2006},
  volume = {35},
  number = {3},
  pages = {225--230},
  topic = {modal-logic;provability-logic;}
  }

@article{ lindstrom_p:2006b,
  author = {Per Lindstrom},
  title = {Remarks on {P}enrose's `New Argument'\,},
  journal = {Journal of Philosophical Logic},
  year = {2006},
  volume = {35},
  number = {3},
  pages = {231--237},
  topic = {foundations-of-cognition;goedels-first-theorem;
  	foundations-of-computation;goedels-second-theorem;}
  }

@incollection{ lindstrom_s:1996a,
  author = {Sten Lindstrom},
  title = {The {R}amsey Test and the Indexicality of Conditionals:
  	A Proposed Resolution of {G}\"ardenfors' Paradox},
  booktitle = {Logic, Action, and Information: Essays on Logic in
  	Philosophy and Artificial Intelligence},
  year = {1996},
  publisher = {Walter de Gruyter},
  editor = {Andr\'e Fuhrmann and Hans Rott},
  pages = {208--228},
  address = {Berlin},
  contentnote = {This is about the qualitative version of the
  	CCCP.},
  topic = {conditionals;belief-revision;indexicality;context;}
  }

@incollection{ lindstrom_s-rabinowicz:1998a,
  author = {Sten Lindstr\"om and Wlodek Rabinowicz},
  title = {Conditionals	and the {R}amsey Test},
  booktitle = {Handbook of Defeasible Reasoning and Uncertainty
		Management Systems, Volume 3},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {Dov M. Gabbay and Philippe Smets},
  pages = {147--188},
  address = {Dordrecht},
  topic = {CCCP;conditionals;}
  }

@article{ lindstrom_s-rabinowicz_w1:1989a,
  author = {Sten Lindstrom and Wlodzimierz Rabinowicz},
  title = {On Probabilistic Representation of Non-Probabilistic
  	Belief Revision},
  journal = {Journal of Philosophical Logic},
  year = {1989},
  volume = {18},
  number = {1},
  pages = {69--101},
  topic = {probability-kinematics;belief-revision;}
  }

@incollection{ lindstrom_s-rabinowicz_w1:1991a,
  author = {Sten Lindstrom and Wlodzimierz Rabinowicz},
  title = {Belief Revision, Epistemic Conditionals, and the {R}amsey
  	Test},
  booktitle = {The Logic of Theory Change},
  publisher = {Springer-Verlag},
  year = {1991},
  editor = {Andr\'e Fuhrmann and Michael Morreau},
  pages = {93--126},
  address = {Berlin},
  topic = {belief-revision;cccp;conditionals;}
  }

@article{ lindstrom_s-rabinowicz_w1:1992a,
  author = {Sten Lindstrom and Wlodzimierz Rabinowicz},
  title = {Belief Revision, Epistemic Conditionals and the {R}amsey
  	Test},
  journal = {Synth\'ese},
  year = {1992},
  volume = {91},
  pages = {195--237},
  missinginfo = {number},
  topic = {conditionals;belief-revision;cccp;}
  }

@incollection{ lindstrom_s-rabinowicz_w1:1995a,
  author = {Sten Lindstr\"om and Wlodzimierz Rabinowicz},
  title = {The {R}amsey Test Revisited},
  booktitle = {Conditionals: From Philosophy to Computer Science},
  publisher = {Oxford University Press},
  year = {1995},
  editor = {Gabriella Crocco and Luis Fari\~nas del Cerro and Andreas Herzig},
  pages = {147--191},
  address = {Oxford},
  topic = {conditionals;belief-revision;CCCP;}
  }

@incollection{ lindstrom_s-rabinowicz_w2:1998a,
  author = {Sten Lindstr\"om and Wlodek Rabinowicz},
  title = {Conditionals and the {R}amsey Test},
  booktitle = {Handbook of Defeasible Reasoning and Uncertainty
		Management Systems, Volume 3:  Belief Change},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {Didier Dubois and Henri Prade},
  pages = {147--188},
  address = {Dordrecht},
  topic = {conditionals;belief-revision;CCCP;}
  }

@incollection{ lindstrom_s-segerberg:2006a,
  author = {Sten Lindstrom and Krister Segerberg},
  title = {Modal Logic and Philosophy},
  booktitle = {Handbook of Modal Logic},
  year = {2006},
  editor = {Patrick Blackburn and Johan van Benthem and Frank Wolter},
  pages = {1149--1214},
  address = {New York},
  rtnote = {In RHT collection.  File drawers.},
  topic = {modal-logic;philosophical-logic;conditionals;deontic-logic;
  		belief-change;action-formalisms;}
  }

@article{ linebarger:1987a,
  author = {Marcia C. Linebarger},
  title = {Negative Polarity and Grammatical Representation},
  journal = {Linguistics and Philosophy},
  year = {1987},
  volume = {10},
  number = {3},
  pages = {325--387},
  topic = {polarity;syntax-semantics-interface;}
  }

@article{ lingard-richards_eb:1998a,
  author = {A.R. Lingard and E.B. Richards},
  title = {Planning Parallel Actions},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {99},
  number = {2},
  pages = {261--324},
  missinginfo = {A's 1st name},
  topic = {planning;temporal-reasoning;concurrent-actions;}
  }

@book{ lingis:1998a,
  author = {Alphonso Lingis},
  title = {The Imperative},
  publisher = {Inidana University Press},
  year = {1998},
  address = {Bloomington},
  topic = {imperatives;}
 }

@article{ linhares:2000a,
  author = {Alexandre Linhares},
  title = {A Glimpse at the Metaphysics of {B}ongard Problems},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {121},
  number = {1--2},
  pages = {251--270},
  topic = {visual-reasoning;philosophical-realism;}
  }

@incollection{ link:1983a,
  author = {Godehard Link},
  title = {The Logical Analysis of Plurals and Mass Terms: A
  	Lattice-Theoretical Approach},
  booktitle = {Meaning, Use, and Interpretation of Language},
  publisher = {Walter de Gruyter},
  year = {1983},
  editor = {Rainer B\"auerle and Christoph Schwarze and Arnim von
  	Stechow},
  pages = {302--323},
  address = {Berlin},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;mass-term-semantics;}
  }

@incollection{ link:1984a,
  author = {Godehard Link},
  title = {Hydras: On the Logic of Relative Clause Constructions
  	With Multiple Heads},
  booktitle = {Varieties of Formal Semantics},
  publisher = {Foris},
  year = {1984},
  editor = {Fred Landman and Frank Veltman},
  pages = {245--257},
  address = {Dordrecht},
  topic = {nl-semantics;plural;}
  }

@incollection{ link:1987a,
  author = {Godehard Link},
  title = {Algebraic Semantics of Event Structures},
  booktitle = {Proceedings of the Sixth {A}msterdam Colloquium April
  	13--16 1987},
  publisher = {Institute for Language, Logic and Information,
    University of Amsterdam},
  year = {1987},
  editor = {Jeroen Groenendijk and Martin Stokhof and Frank Veltman},
  address = {Amsterdam},
  topic = {tense-aspect;events;}
  }

@incollection{ link:1991a,
  author = {Godehard Link},
  title = {Plural},
  booktitle = {Semantik/Semantics: an International Handbook
  	of Contemporary Research},
  publisher = {Walter de Gruyter},
  year = {1991},
  editor = {Dieter Wunderlich and Arnim {von Stechow}},
  address = {Berlin},
  missinginfo = {pages},
  topic = {nl-semantics;plural;}
  }

@incollection{ link:1995a,
  author = {Godehard Link},
  title = {Generic Information and Dependent Generics},
  booktitle = {The Generic Book},
  publisher = {Chicago University Press},
  year = {1995},
  editor = {Gregory Carlson and Francis Jeffry Pelletier},
  pages = {358--382},
  address = {Chicago, IL},
  contentnote = {TC:
  	1.  Krifka, Pelletier, Carlson, ter Meulen, Chierchia, Link,
		"Genericity: an Introduction"
	2.  Kratzer, "Stage-Level and Individual-Level Predicates"
	3.  Chierchia, "Individual-Level Predicates as Inherent Generics"
	4.  Carlson, "Truth Conditions of Generic Sentences: Two Contrasting
		Views"
	5.  Krifka, "Focus and the Interpretation of Generic Sentences"
	6.  Rooth, "Indefinites, Adverbs of Quantification, and Focus
		Semantics"
	7.  Asher and Morreau, "What Some Generic Sentences Mean"
	8.  Alice ter Meulen, "Semantic Constraints on Type-Shifting"
	9.  Link, "Generic Information and Dependent Generics"
	10. Wilkinson, "The Semantics of the Common Noun `Kind'"
	11. Krifka, "Common Nouns: A Contrastive Analysis of English
		and Chinese"
	12. Dahl, "The Marking of the Episodic/Generic Distinction in
		Tense-Aspect Systems"
   },
  topic = {generics;}
  }

@book{ link:1997a,
  author = {Godehard Link},
  title = {Algebraic Semantics in Language and Philosophy},
  publisher = {{CSLI} Publications},
  year = {1997},
  address = {Stanford, California},
  ISBN = {1575860902},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {nl-semantics;mass-term-semantics;plural;generics;}
 }

@article{ linke-schaub:2000a,
  author = {Thomas Linke and Torsten Schaub},
  title = {Alternative Foundations for {R}eiter's Default Logic},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {124},
  number = {1},
  pages = {31--86},
  topic = {nonmonotonic-logic;default-logic;}
  }

@article{ linnebo:2002a,
  author = {{\O}ystein Linnebo},
  title = {Plural Quantification Exposed},
  journal = {No\^us},
  year = {2002},
  volume = {36},
  number = {1},
  pages = {25--51},
  xref = {Commentary on boolos:1985b.},
  topic = {plural;higher-order-logic;nominalism;}
  }

@incollection{ linnebo:2006a,
  author = {{\O}ystein Linnebo},
  title = {Sets, Properties, and Unrestricted Quantification},
  booktitle = {Absolute Generality},
  publisher = {Oxford University Press},
  year = {2006},
  editor = {August\'in Rayo and Gabriel Uzquiano},
  pages = {149--178},
  address = {Oxford},
  topic = {philosophical-ontology;unrestrictive-quantification;
  		set-theory;}
  }

@incollection{ linsky_b:2002a,
  author = {Bernard Linsky},
  title = {The Resolution of {R}ussell's Paradox in
    		{\em Principia Mathematica}},
  booktitle = {Philosophical Perspectives 16: Language and Mind, 2002},
  publisher = {Blackwell Publishers},
  year = {2002},
  editor = {James E. Tomberlin},
  pages = {395--417},
  address = {Oxford},
  topic = {Russell-paradox;Russell;}
  }

@article{ linsky_b-zalta:2006a,
  author = {Bernard Linsky and Edward N. Zalta},
  title = {What is Neologicism?},
  journal = {The Bulletin of Symbolic Logic},
  year = {2006},
  volume = {12},
  number = {1},
  pages = {60--99},
  topic = {logicism;foundations-of-mathematics;neologicism;}
  }

@book{ linsky_l:1952a,
  editor = {Leonard Linsky},
  title = {Semantics and the Philosophy of Language},
  publisher = {University of Illinois Press},
  year = {1952},
  address = {Urbana, Illinois},
  rtnote = {In RHT Collection.  LLP edited shelves.},
  rtnote = {UMich Location: Graduate Library Call No: P 325 .L76},
  topic = {philosophy-of-language;}
 }

@book{ linsky_l:1967a,
  author = {Leonard Linsky},
  title = {Referring},
  publisher = {Routledge},
  year = {1967},
  address = {London},
  rtnote = {Umich Graduate Library Call No: B 840 .L76 1967},
  topic = {reference;analytic-philosophy;philosophical-ontology;}
 }

@book{ linsky_l:1971a,
  editor = {Leonard Linsky},
  title = {Reference and Modality},
  publisher = {Oxford University Press},
  year = {1971},
  address = {Oxford},
  contentnote = {TC:
     1. W.V.O. Quine, "Reference and Modality"
     2. A.F. Smullyan, "Modality and Description"
     3. R.B Marcus, "Extensionality"
     4. D. F{\o}llesdal, "Quantification into Causal Contexts"
     5. S.A. Kripke, "Semantical Considerations on Modal Logic"
     6. T. Parsons, "Essentialism and Quantified Modal Logic"
     7. L. Linsky, "Reference, Essentialism, and Modality"
     8. W. V. O. Quine, "Quantifiers and Propositional Attitudes"
     9. D. Kaplan, "Quantifying in"
     10. J. Hintikka, "Semantics for propositional attitudes"
     11. A. Church, "On {C}arnap's Analysis of Statements of Assertion
     		and Belief"
    },
  ISBN = {019875017X},
  rtnote = {UMich Graduate Library Call No: BC 199 .M6 L76},
  topic = {modal-logic;intensionality;quantifying-in-modality;}
 }

@incollection{ linsky_l:1972a,
  author = {Leonard Linsky},
  title = {Analytic/Synthetic and Semantic Theory},
  booktitle = {Semantics of Natural Language},
  publisher = {D. Reidel Publishing Co.},
  year = {1972},
  editor = {Donald Davidson and Gilbert H. Harman},
  pages = {473--482},
  address = {Dordrecht},
  topic = {analyticity;nl-semantics;}
  }

@book{ linsky_l:1977a,
  author = {Leonard Linsky},
  title = {Names and Descriptions},
  publisher = {University of Chicago Press},
  year = {1977},
  address = {Chicago},
  ISBN = {0226484416},
  rtnote = {UMich Graduate Library, B105.R25 L76.},
  topic = {proper-names;definite-descriptions;reference;}
 }

@book{ linsky_l:1980a,
  author = {Leonard Linsky},
  title = {Referring},
  publisher = {Humanities Press},
  year = {1980},
  address = {Atlantic Highlands, New Jersey},
  ISBN = {0391017462},
  rtnote = {UMich Graduate Library, B840 .L76 1980.},
  topic = {reference;analytic-philosophy;definite-descriptions;}
 }

@book{ linsky_l:1983a,
  author = {Leonard Linsky},
  title = {Oblique Contexts},
  publisher = {University of Chicago Press},
  year = {1983},
  address = {Chicago},
  ISBN = {0226484394},
  rtnote = {UMich Graduate Library, B840 .L5381 1983.},
  topic = {intensionality;}
 }

@article{ liou-tai:2000a,
  author = {Cheng-Yuan Liou and Wen-Pin Tai},
  title = {Conformity to the Self-Organization Network},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {116},
  number = {1--2},
  pages = {265--286},
  topic = {pattern-recognition;self-organization-network;}
  }

@inproceedings{ lipman:1989a,
 author = {Barton L. Lipman},
 title = {How to Decide How to Decide How to $\ldots$:
		Limited Rationality in Decisions and Games},
 booktitle = {Working Notes of the {AAAI} Symposium on {AI} and Limited
 	Rationality},
 year = {1989},
 pages = {77--80},
 organization = {AAAI},
  address = {Menlo Park, California},
 month = {March},
 topic = {limited-rationality;decision-theory;}
 }

@inproceedings{ lipman:1990a,
  author = {Barton L. Lipman},
  title = {On the Strategic Advantages of a Lack of Common Knowledge},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
    Proceedings of the Third Conference ({TARK} 1990)},
  year = {1990},
  editor = {Rohit Parikh},
  pages = {209--224},
  publisher = {Morgan Kaufmann},
  address = {Los Altos, California},
  topic = {mutual-belief;game-theory;foundations-of-game-theory;}
  }

@incollection{ lipman:1994a,
  author = {Barton L. Lipman},
  title = {An Axiomatic Approach to the Logical Omniscience Problem},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
  	Proceedings of the Fifth Conference ({TARK} 1994)},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Ronald Fagin},
  pages = {182--196},
  address = {San Francisco},
  rtnote = {Lipman is an economist.},
  topic = {hyperintensionality;epistemic-logic;}
  }

@unpublished{ lipton:1989a,
  author = {Barton L. Lipton},
  title = {How to Decide How to Decide How to $\ldots$},
  year = {1989},
  note = {Unpublished manuscript, Computer Science Department,
  		Carnegie Mellon University},
  rtnote = {In RHT collection.},
  topic = {limited-rationality;}
  }

@book{ lipton:1991a,
  author = {Peter Lipton},
  title = {Inference to the Best Explanation},
  publisher = {Routledge},
  year = {1991},
  address = {London},
  xref = {Review: vogel_j:1993a},
  topic = {abduction;explanation;philosophy-of-science;}
 }

@article{ lismont:1995a,
  author = {Luc Lismont},
  title = {Common Knowledge: Relating Anti-Founded Situation Semantics
  	to Modal Logic Neighbourhood Semantics},
  journal = {Journal of Logic, Language, and Information},
  year = {1995},
  volume = {3},
  number = {3},
  pages = {285--302},
  missinginfo = {A's 1st name.},
  topic = {mutual-belief;epistemic-logic;}
  }

@article{ lismont-mongin:1994a,
  author = {Luc Lismont and Philippe Mongin},
  title = {A Non-Minimal But Very Weak Axiomatization of Common
  	Belief},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {70},
  number = {1--2},
  pages = {363--374},
  acontentnote = {Abstract:
     The paper introduces a modal logic system of individual and
     common belief which is shown to be sound and complete with
     respect to a version of Neighbourhood semantics. This
     axiomatization of common belief is the weakest of all those
     currently available: it dispenses with even the Monotonicity
     rule of individual belief. It is non-minimal in that it does not
     use just the Equivalence rule but the conjunction of the latter
     with the specially devised rule of C-Restricted Monotonicity.},
  topic = {modal-logic;epistemic-logic;neighborhood-semantics;}
  }

@article{ lismont-mongin:2003a,
  author = {Luc Lismont and Philippe Mongin},
  title = {Strong Completeness Theorems for Weak Logics of Common
  	Belief},
  journal = {Journal of Philosophical Logic},
  year = {2003},
  volume = {32},
  number = {2},
  pages = {115--137},
  topic = {mutual-belief;modal-logic;completeness-theorems;}
  }

@article{ list:2008a,
  author = {Christian List},
  title = {Which Worlds are Possible?  A Judgment Aggregation Problem},
  journal = {Journal of Philosophical Logic},
  year = {2008},
  volume = {37},
  number = {1},
  pages = {57--65},
  topic = {possibility;Arrow's-theorem;}
  }

@article{ list-menzies:2009a,
  author = {Christian List and Peter Menzies},
  title = {Nonreductive Physicalism and the Limits of the Exclusion
  		Principle},
  journal = {The Journal of Philosophy},
  year = {2009},
  volume = {106},
  number = {9},
  pages = {475--502},
  topic = {reduction;reasons-for-action;causality;}
  }

@article{ liston:1999a,
  author = {Michael Liston},
  title = {Review of \emph{{W}hat is Mathematics, Really}, by
  	{R}euben {H}irsch},
  journal = {Philosophy of Science},
  year = {1999},
  volume = {66},
  number = {3},
  pages = {501--502},
  topic = {philosophy-of-mathematics;}
  }

@article{ litak:2004a,
  author = {Tadeusz Litak},
  title = {Modal Incompleteness Revisited},
  journal = {Studia Logica},
  year = {2004},
  volume = {76},
  number = {1},
  pages = {329--342},
  topic = {modal-logic;(in)completeness;}
  }

@phdthesis{ litman:1985a,
  author = {Diane Litman},
  title = {Plan Recognition and Discourse Analysis},
  school = {Computer Science Department, University of Rochester},
  year = {1985},
  type = {Ph.{D}. Dissertation},
  address = {Rochester, New York},
  rtnote = {pragmatics-course;},
  topic = {plan-recognition;discourse;nl-interpretation;
  	pragmatics;}
 }

@inproceedings{ litman:1992a,
  author = {Diane Litman},
  title = {Integrating {DL} and Plan-Based Paradigms},
  booktitle = {Working Notes, {AAAI} Fall Symposium on Issues in Description
  	Logics: Users Meet Developers},
  year = {1992},
  editor = {Robert MacGregor},
  pages = {49--52},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {kr;krcourse;description-logics;extensions-of-kl1;}
  }

@unpublished{ litman:1993a,
  author = {Diane Litman},
  title = {{CLASP}: {CLA}ssification of {S}cenarios and {P}lans
  	User's Guide},
  year = {1998},
  month = {April},
  note = {Unpublished manuscript, AT\&T Bell Laboratories.},
  rtnote = {In RHT collection.},
  topic = {kr;krcourse;description-logics;extensions-of-kl1;}
  }

@techreport{ litman-allen_jf:1984a,
  author = {Diane Litman and James Allen},
  title = {A Plan Recognition Model for Clarification Subdialogues},
  institution = {Computer Science Department, University of Rochester},
  number = {141},
  year = {1984},
  address = {Rochester, NY},
  rtnote = {In RHT collection.  Apparently published in CoLing.},
  rtnote = {pragmatics-course;},
  topic = {plan-recognition;discourse;pragmatics;}
  }

@incollection{ litman-allen_jf:1990a,
  author = {Diane J. Litman and James F. Allen},
  title = {Discourse Planning and Commonsense Plans},
  booktitle = {Intentions in Communication},
  publisher = {MIT Press},
  year = {1990},
  editor = {Philip Cohen and Jerry Morgan and Martha Pollack},
  pages = {366--388},
  address = {Cambridge, Massachusetts},
  rtnote = {Reading notes on file.},
  topic = {discourse;plan-recognition;discourse-planning;pragmatics;}
  }

@inproceedings{ litman-etal:1999a,
  author = {Diane J. Litman and Marilyn A. Walker and Michael
  		S. Kearns},
  title = {Acquiring Knowledge of System Performance for Spoken
  		Dialogue},
  booktitle = {Proceedings of the {IJCAI}-99 Workshop on
  	Knowledge and Reasoning in Practical Dialogue Systems},
  year = {1999},
  editor = {Jan Alexandersson},
  pages = {73--80},
  organization = {IJCAI},
  publisher = {International Joint Conference on Artificial Intelligence},
  address = {Murray Hill, New Jersey},
  topic = {computational-dialogue;spoken-dialogue-systems;
  	nlp-evaluation;}
  }

@inproceedings{ litman-etal:2000a,
  author = {Diane Litman and Satinder Singh and Michael Kearns and
     		Marilyn Walker},
  title = {{NJF}un: A Reinforcement Learning Spoken Dialogue
		System},
  booktitle = {Conversational Systems},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  editor = {Candace Sidner and James Allen and Phil Cohen and
  	Justine Cassell and Laila Dybkjaer and X.D. Huang and
	Masato Ishizaki and Candace Kamm and Lin-Shan Lee and
	Susann Luperfoy and Patti Price and Owen Rambow and
	Norbert Reithinger and Alex Rudnicky and Stephanie
	Seneff and Dave Stallard and David R. Traum and Marilyn
	Walker and Wayne Ward},
  pages = {17--20},
  address = {New Brunswick, New Jersey},
  topic = {computational-dialogue;reinforcement-learning;}
  }

@unpublished{ litman-hirschberg:1990a,
  author = {Diane Litman and Julia Hirschberg},
  title = {Disambiguating Cue Phrases in Text and Speech},
  year = {1990},
  note = {Unpublished manuscript, AT\&T Bell Laboratories.},
  rtnote = {In RHT collection.  Marked "to appear CoLing90".},
  topic = {discourse-cue-words;}
  }

@book{ little:1995a,
  editor = {Daniel Little},
  title = {On the Reliability of Economic Models: Essays in the
                   Philosophy of Economics},
  publisher = {Kluwer Academic Publishers},
  year = {1995},
  address = {Dordrecht},
  rtnote = {GSPIA/Economics Lib    HB72 O5 1995},
  topic = {philosophy-of-economics;}
 }

@article{ littlejohn:2009a,
  author = {Clayton Littlejohn},
  title = {Must We Act Only on What We Know?},
  Journal = {The Journal of Philosophy},
  year = {2009},
  volume = {106},
  number = {1},
  pages = {463--473},
  xref = {Discussion of: hawthorne_j2-stanley_j:2008a},
  topic = {knowledge;intention;reasons-for-action;practical-reasoning;}
  }

@article{ littman-etal:2002a,
  author = {Michael L. Littman and Greg A. Keim and Noam Shazeer},
  title = {A Probabilistic Approach to Solving Crossword Puzzles},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {134},
  number = {1--2},
  pages = {23--55},
  topic = {crossword-puzzles;probabilistic-reasoning;}
  }

@article{ littman-mey:1991a,
  author = {D.C. Littman and J.L. Mey},
  title = {The Nature of Irony: Toward a Computational Theory of Irony},
  journal = {Journal of Pragmatics},
  year = {1991},
  volume = {15},
  number = {2},
  pages = {131--151},
  missinginfo = {A's 1st names},
  topic = {irony;}
  }

@incollection{ liu_b-etal:2003a,
  author = {Bei Liu and LiMin Du and ZhiWei Fang and XianFang Wang},
  title = {Language Understanding and Generation in {C}hinese
		Spoken Dialogue Systems},
  booktitle = {Working Papers of the 2003 {AAAI} Spring Symposium on
  	Natural Language Generation in Spoken and Written
	Dialogue},
  publisher = {AAAI Press},
  year = {2003},
  editor = {Reva Freedman and Charles Callaway},
  pages = {91--93},
  address = {Menlo Park, California},
  topic = {nl-generation;computational-dialogue;Chinese-language;}
  }

@inproceedings{ liu_h1:2003a,
  author = {Hugo Liu},
  title = {Unpacking Meaning from Words: A Context-Centered
    		Approach to Computational Lexicon Design},
  booktitle = {Modeling and Using Context: Fourth International and
  	Interdisciplinary Conference, Context 2003},
  publisher = {Springer-Verlag},
  year = {2003},
  editor = {Patrick Blackburn and Chiara Ghidini and Roy M. Turner
  	and Fausto Giunchiglia},
  pages = {218--232},
  address = {Berlin},
  topic = {context;lexical-semantics;lexical-disambiguation;}
  }

@article{ liu_h2-etal:2004a,
  author = {Huan Liu and Hiroshi Motoda and Lei Yu},
  title = {A Selective Sampling Approach to Active Feature Selection},
  journal = {Artificial Intelligence},
  year = {2004},
  volume = {159},
  number = {1--2},
  pages = {49--74},
  topic = {machine-learning;feature-selection;}
  }

@article{ liu_h2-ju_s:2004a,
  author = {Hu Liu and Shier Ju},
  title = {Two-Dimensional Awareness Logics},
  journal = {Journal of Philosophical Logic},
  year = {2004},
  volume = {33},
  number = {5},
  pages = {481--495},
  topic = {belief;hyperintensionality;awareness;}
  }

@article{ liu_jm:1998a,
  author = {Jiming Liu},
  title = {A Method of Spatial Reasoning Based on Qualitative
		Trigonometry},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {98},
  number = {1--2},
  pages = {137--168},
  topic = {spatial-reasoning;qualitative-geometry;qualitative-reasoning;}
  }

@article{ liu_jm-etal:2002a,
  author = {Jiming Liu and Han Jing and Y.Y. Tang},
  title = {Multi-Agent Oriented Constraint Satisfaction},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {136},
  number = {1},
  pages = {101--144},
  topic = {constraint-satisfaction;multiagent-systems;}
  }

@article{ liu_ln-etal:2009a,
  author = {Lengning Liu and Enrico Pontelli and Tran Cao Son and Miroslaw
  		Truszczyski},
  title = {Logic Programs with Abstract Constraint Atoms: The Role of
  		Computations},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {174},
  number = {3--4},
  pages = {295--315},
  topic = {abstract-constraints;logic-programming;answer-sets;}
  }

@article{ liu_w-williams_ma:2001a,
  author = {Wei Liu and Mary-Anne Williams},
  title = {A Framework for Multi-Agent Belief Revision},
  journal = {Studia Logica},
  year = {2001},
  volume = {67},
  number = {2},
  pages = {291--312},
  topic = {belief-revision;multiagent-epistemic-logic;artificial-societies;}
  }

@article{ liu_wr:2006a,
  author = {Weiru Liu},
  title = {Analyzing the Degree of Conflict among Belief Functions},
  journal = {Artificial Intelligence},
  year = {2006},
  volume = {170},
  number = {11},
  pages = {909--924},
  topic = {Dempster-Shafer-theory;belief;conflict-resolution;}
  }

@inproceedings{ liu_y-etal:2005a,
  author = {Yang Liu and Andreas Stolcke and Elizabeth Shriberg and
  		Mary Harper},
  title = {Using Conditional Random Fields for Sentence Boundary
  		Detection in Speech},
  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 = {451--458},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1056},
  topic = {speech-recognition;machine-learning;}
  }

@inproceedings{ liu_y-etal:2005b,
  author = {Yang Liu and Qun Liu and Shouxun Lin},
  title = {Log-Linear Models for Word Alignment},
  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 = {459--466},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1057},
  topic = {word-alignment;}
  }

@inproceedings{ liu_ym:2002a,
  author = {Yongmai Liu},
  title = {A {H}oare-Style Proof System for Robot Programs},
  booktitle = {Proceedings of the Eighteenth National Conference on
              Artificial Intelligence},
  year = {2002},
  editor = {Rina Dechter and Michael Kearns and Richard S. Sutton},
  pages = {74--79},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {Golog;}
  }

@incollection{ liu_ym-etal:2004a,
  author = {Yongmei Liu and Gerhard Lakemeyer and Hector J. Levesque},
  title = {A Logic of Limited Belief for Reasoning with Disjunctive
  		Information},
  booktitle = {{KR}2004: Principles of Knowledge Representation and
  		Reasoning},
  publisher = {AAAI Press},
  year = {2004},
  editor = {Didier Dubois and Christopher A. Welty and Mary-Anne Williams},
  pages = {587--597},
  address = {Menlo Park, California},
  topic = {disjunction;tractable-logics;}
  }

@article{ livingston:2000a,
  author = {Erin Livingston},
  title = {Review of \emph{{T}he Is-Ought Problem: An Investigation in
  	Philosophical Logic}, by {G}eorge {S}churtz},
  journal = {Studia Logica},
  year = {2000},
  volume = {65},
  number = {3},
  pages = {432--434},
  xref = {Review of schurtz_g1:1997a.},
  topic = {deontic-logic;Hume;}
  }

@article{ lloyd_ac:1955a,
  author = {A.C. Lloyd},
  title = {The Logical Form of Law Statements},
  journal = {Mind, New Series},
  year = {1955},
  volume = {64},
  pages = {312--218},
  missinginfo = {number},
  xref = {Review: feys:1957a.},
  topic = {natural-laws;conditionals;}
  }

@book{ lloyd_d:2003a,
  author = {Dan Lloyd},
  title = {Radiant Cool:  A Novel Theory of Consciousness},
  publisher = {The {MIT} Press},
  year = {2003},
  address = {Cambridge, Massachusetts},
  ISBN = {9780-262-62193-9 (pbk)},
  topic = {consciousness;philosophy-of-mind;}
 }

@book{ lloyd_ger:1999a,
  author = {G.E.R. Lloyd},
  title = {Aristotelian Explanations},
  publisher = {Cambridge University Press},
  year = {1999},
  address = {Cambridge, England},
  ISBN = {052155619-8},
  topic = {Aristotle;}
 }

@incollection{ loar:1976a,
  author = {Brian Loar},
  title = {Two Theories of Meaning},
  booktitle = {Truth and Meaning: Essays in Semantics},
  publisher = {Oxford University Press},
  year = {1976},
  editor = {Gareth Evans and John Mc{D}owell},
  pages = {138--161},
  address = {Oxford},
  topic = {davidson_d-semantics;speaker-meaning;convention;
  	philosophy-of-language;}
  }

@incollection{ loar:1980a,
  author = {Brian Loar},
  title = {Ramsey's Theory of Belief and Truth},
  booktitle = {Prospects for Pragmatism},
  publisher = {Cambridge University Press},
  year = {1980},
  editor = {D. Hugh Mellor},
  address = {Cambridge, England},
  missinginfo = {pages},
  topic = {F.P.Ramsey;belief;truth;}
  }

@book{ loar:1981a,
  author = {Brian Loar},
  title = {Mind and Meaning},
  publisher = {Cambridge University Press},
  year = {1981},
  address = {Cambridge, England},
  topic = {philosophy-of-mind;philosophy-of-language;}
 }

@article{ loar:1982a,
  author = {Brian Loar},
  title = {Conceptual Role and Truth Conditions},
  journal = {Notre {D}ame Journal of Formal Logic},
  year = {1982},
  volume = {23},
  number = {3},
  pages = {272--283},
  topic = {foundations-of-semantics;}
  }

@incollection{ loar:1994a,
  author = {Brian Loar},
  title = {Self-Interpretation and the Constitution of
		Reference},
  booktitle = {Philosophical Perspectives, Volume 8:
  	Logic and Language},
  publisher = {Blackwell Publishers},
  year = {1994},
  editor = {James E. Tomberlin},
  pages = {51--74},
  address = {Oxford},
  note = {Also available at http://www.jstor.org/journals/.},
  topic = {internalism/externalism;reference;foundations-of-semantics;}
  }

@incollection{ lobner:1986a,
  author = {Sebastian L\"obner},
  title = {Quantification as a Major Module of Natural Language},
  booktitle = {Studies in Discourse Representation Theory and the Theory of
                   Generalized Quantifiers},
  publisher = {Foris Publications},
  year = {1986},
  editor = {Jeroen Groenendijk and Dick de Jongh and Martin Stokhof},
  pages = {53--85},
  address = {Dordrecht},
  topic = {nl-quantifiers;pragmatics;}
  }

@article{ lobner:1989a,
  author = {Sebstian L\"obner},
  title = {German `Schon'-`Erst'-`Noch':  An Integrated Analysis},
  journal = {Linguistics and Philosophy},
  year = {1989},
  volume = {12},
  number = {2},
  pages = {167--212},
  topic = {tense-aspect;German-language;`already';`still';}
  }

@article{ lobner:1999a,
  author = {Sebastian L\"obner},
  title = {Why {G}erman Schon and Noch are Still Duals: A Reply to
  	van der {A}uwera},
  journal = {Linguistics and Philosophy},
  year = {1999},
  volume = {22},
  number = {1},
  pages = {45--107},
  xref = {Reply to vanderauwera:1993a.},
  topic = {`already';`still';tense-aspect;}
  }

@article{ lobner:2000a,
  author = {Sebastian L\"obner},
  title = {Polarity in Natural Language Predication, Quantification
  	and Negation in Particular and Characterizing Sentences},
  journal = {Linguistics and Philosophy},
  year = {1000},
  volume = {23},
  number = {3},
  pages = {213--308},
  topic = {negation;polarity;plural;generics;}
  }

@book{ lobo-etal:1992a,
  author = {Jorge Lobo and Jack Minker and Arcot Rajasekar},
  title = {Foundations of Disjunctive Logic Programming},
  publisher = {The {MIT} Press},
  year = {1992},
  address = {Cambridge, Massachusetts},
  ISBN = {0262121654},
  rtnote = {UMich Media Union Library, QA 76.63 .L6131 1992.},
  topic = {disjunctive-logic-programming;}
 }

@inproceedings{ lobo-uzcategui:1996a,
  author = {Jorge Lobo and Carlos Uzc/'ategui},
  title = {Abductive Consequence Relations},
  booktitle = {Working Papers: Common Sense '96},
  year = {1996},
  editor = {Sa\v{s}a Buva\v{c} and Tom Costello},
  pages = {104--113},
  publisher = {Computer Science Department, Stanford University},
  address = {Stanford University},
  note = {Consult http://www-formal.Stanford.edu/tjc/96FCS.},
  xref = {See lobo-uzcategui:1997a for journal publication.},
  topic = {abduction;belief-revision;}
  }

@article{ lobo-uzcategui:1996b,
  author = {Jorge Lobo and Carlos Uzc/'ategui},
  title = {Abductive Change Operators},
  journal = {Fundamenta Informaticae},
  year = {1996},
  note = {Forthcoming.},
  contentnote = {Idea is to provide a theory of revising beliefs on
  	things abduced to explain evidence.},
  topic = {abduction;belief-revision;}
  }

@article{ lobo-uzcategui:1997a,
  author = {Jorge Lobo and Carlos Uzc/'ategui},
  title = {Abductive Consequence Relations},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {89},
  number = {1--2},
  pages = {149--171},
  xref = {See lobo-uzcategui:1996a for prepublication.},
  topic = {belief-revision;abduction;}
  }

@book{ locascio-vet:1986a,
  editor = {Vinzenzo Lo Cascio and Co Vet},
  title = {Temporal Structure in Sentence and Discourse},
  publisher = {Foris Publications},
  year = {1986},
  address = {Dordrecht},
  contentnote = {TC:
     1.  Renate Bartsch, "On Aspectual Properties of {D}utch and
     		{G}erman Nominalizations"
     2.  Pier Marco Bertinetto, "Intrinsic and Extrinsic Temporal
     		References"
     3.  Christian Rohrer, "Indirect Discourse and 'Consecutio
     		Temporum'\,"
     4.  Bob Rigter, "Focus Matters"
     5.  Co Vet and Arie Molendijk, "The Discourse Functions of the
     		Past Tenses of {F}rench "
     6.  Frans Houweling, "Deictic and Anaphoric Tense Morphemes"
     7.  Vincenzo Lo Cascio, "Temporal Deixis and Anaphor in
     		Sentence and Text"
     8.  Vincenzo Lo Cascio and Christian Rohrer, "Interaction
     		between Verbal Tenses and Temporal Adverbs in Complex
		Sentences"
     9.  Mascia Adelaar and Vincenzo Lo Cascio, "Temporal Relation,
     		Localization and Direction in Discourse"
  },
  xref = {Review: hinrichs_e:1989a.},
  ISBN = {9067651354, 9067651362 (pbk.)},
  rtnote = {UMich Graduate Library Call No: P294.5 .T411 1986},
  topic = {tense-aspect;}
 }

@unpublished{ lochbaum:1992a,
  author = {Karen E. Lochbaum},
  title = {A Collaborative Planning Approach to Discourse
		Understanding},
  year = {1992},
  note = {Unpublished manuscript,Harvard University.},
  rtnote = {In RHT collection.},
  missinginfo = {Year is a guess.},
  topic = {sharedplans;discourse;pragmatics;}
  }

@phdthesis{ lochbaum:1994a,
  author = {Karen E. Lochbaum},
  title = {Using Collaborative Plans to Model the Intentional
  	Structure of Discourse},
  school = {Harvard University},
  year = {1994},
  type = {Ph.{D}. Dissertation, Computer Science Department},
  address = {Cambridge, {MA}},
  rtnote = {In RHT collection.},
  topic = {sharedplans;discourse;pragmatics;}
 }

@inproceedings{ lochbaum:1995a,
  author = {Karen E. Lochbaum},
  title = {The Use of Knowledge Preconditions in Language Processing},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {1260--1266},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  topic = {sharedplans;}
  }

@article{ lochbaum:1998a,
  author = {Karen E. Lochbaum},
  title = {A Collaborative Planning Model of Intentional
		Structure},
  journal = {Computational Linguistics},
  year = {1998},
  volume = {24},
  number = {4},
  pages = {525--572},
  topic = {sharedplans;discourse;pragmatics;}
  }

@inproceedings{ lochbaum-sidner_cl:1990a,
  author = {Karen E. Lochbaum and Candice L. Sidner},
  title = {Models of Plans to Support Communication: An Initial
  	Report},
  booktitle = {Proceedings of the Eighth National Conference on
              Artificial Intelligence},
  year = {1990},
  editor = {Thomas Dietterich and William Swartout},
  pages = {485--490},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {sharedplans;discourse;pragmatics;}
  }

@article{ locke:1962a,
  author = {Don Locke},
  title = {Ifs and Cans Revisited},
  journal = {Philosophy},
  year = {1962},
  volume = {37},
  pages = {245--256},
  missinginfo = {number},
  topic = {conditionals;ability;JL-Austin;}
  }

@article{ locke:1976a,
  author = {Don Locke},
  title = {The `Can' of Being Able},
  journal = {Philosophia},
  year = {1976},
  volume = {6},
  pages = {1--20},
  missinginfo = {number},
  topic = {ability;}
  }

@incollection{ lockelt-etal:2002a,
  author = {Markus L\"ockelt and Tilman Becker and Norbert Pfleger
	and Jan Alexandersson},
  title = {Making Sense of Partial},
  booktitle = {{EDILOG} 2002: Proceedings of the Sixth Workshop on the
  	Semantics and Pragmatics of Dialogue},
  publisher = {Cognitive Science Centre, University of Edinburgh},
  year = {2002},
  editor = {Johan Bos and Mary Ellen Foster and Colin Mathesin},
  pages = {101--107},
  address = {Edinburgh},
  topic = {computational-dialogue;ellipsis;}
  }

@book{ lockhead-pomerantz:1991a,
  editor = {Gregory R. Lockhead and James R. Pomerantz},
  title = {The Perception of Structure: Essays in Honor of {W}endell {R}.
    {G}arner},
  publisher = {American Psychological Association},
  year = {1991},
  address = {Washington, DC},
  ISBN = {1557981256},
  rtnote = {UMich Graduate Library, P37 .P731 1983.},
  contentnote = {TC:
     1. James R. Pomerantz and Gregory R. Lockhead, "Perception of
     		Structure: An Overview"
     2. Stephen E. Palmer, "Goodness, Gestalt, Groups and {G}arner:
     		Local Symmetry Subgroups as a Theory of Figural
		Goodness"
     3. James E. Cutting, "Why Our Stimuli Look As They Do"
     4. Roger N. Shepard, "Integrality Versus Separability of
     		Stimulus Dimensions: From an Early Convergence of
		Evidence to a Proposed Theoretical Basis"
     5. Irving Biederman, H. John Hilton, and John E. Hummel,
     		"Pattern Goodness and Pattern Recognition"
     6. Sarah Hollingsworth Lisanby and Gregory R. Lockhead,
     	        "Subjective Randomness, Aesthetics, and Structure"
     7. Michael Kubovy and David Gilden, "Apparent Randomness Is Not
     		Always The Complement of Apparent Order"
     8. Howard E. Egeth and Toby Mordkoff, "Redundancy gain
     		Revisited: Evidence for Parallel Processing of
		Separable Dimensions"
     9. Robert G. Crowder, "Imagery and the Perception of Musical
     		Timbre"
    10. James D. St. James and Charles W. Eriksen, "Response
    		Competition Produces A `Fast Same Effect' in
		Same-Different Judgments"
    11. Donald Broadbent, "Early Selection, Late Selection, and the
    		Partitioning of Structure"
    12. Bryan E. Shepp, "Perception of Color: A Comparison
    		of Alternative Structural Organizations"
    13. James R. Pomerantz, "The Structure of Visual Configurations:
    		Stimulus Versus Subject Contributions"
    14. Donald S. Blough, "Perceptual Analysis in Pigeon Visual
    		Search"
    15. Donald A. Riley and Michael F.  Brown, "Representation of
    		Multidimensional Stimuli in Pigeons"
    16. George A. Miller, "Lexical Echoes of Perceptual Structure"
    17. Herbert H. Clark. "On the Influence of Response Uncertainty
    		and Task Structure on Retrieval from Lexical Memory"
    18. James H. Neely, "Words, the World, and Their Possibilities"
    19. Linda B. Smith, "Perceptual Structure and Developmental
    		Process"
    20. John Morton and Mark Johnson, "The Perception of Facial
    		Structure in Infancy"
    21.  Wendell R. Garner, "Afterword: A Final Commentary"
  },
  topic = {perceptual-psychology;pattern-recognition;}
 }

@article{ lockman-klapholtz:1980a,
  author = {Abraham Lockman and David Klapholz},
  title = {Toward a Procedural Model of Contextual Reference Resolution},
  journal = {Discourse Processes},
  year = {1980},
  volume = {3},
  pages = {25--71},
  missinginfo = {number},
  topic = {discourse;anaphora;reference;pragmatics;}
  }

@article{ lodge-bobro:1998a,
  author = {Paul Lodge and Marc Bobro},
  title = {Stepping Back Inside Leibnitz's Mill},
  journal = {The Monist},
  year = {1998},
  volume = {81},
  number = {4},
  pages = {553--571},
  rtnote = {In RT collection. ...\ja10\leibniz.htm },
  topic = {philosophy-of-mind;Leibniz;}
  }

@article{ loeb_le:1998a,
  author = {Louis E. Loeb},
  title = {Sextus, {D}escartes, {H}ume, and {P}eirce:  On
  	Securing Settled Doxastic States},
  journal = {No\^us},
  year = {1998},
  volume = {32},
  number = {2},
  pages = {205--230},
  topic = {skepticism;Sextus-Empiricus;}
  }

@article{ loeb_m:1955a,
  author = {M.H. L\"ob},
  title = {Solution to a Problem of {L}eon {H}enkin},
  journal = {Journal of Symbolic Logic},
  year = {1955},
  volume = {20},
  pages = {115--118},

repository: sergiud/bibtex-spirit

repo_name: sergiud/bibtex-spirit