text:
missinginfo = {A's 1st name, number.},
  topic = {goedels-second-theorem;semantic-reflection;}
  }

@incollection{ loeb_p:1973a,
  author = {P. Loeb},
  title = {A Nonstandard Representation of {B}orel Measures and
  	$\sigma$-Finite Measures},
  booktitle = {Victoria Symposium on Nonstandard Analysis},
  publisher = {Springer},
  year = {1974},
  editor = {P. Loeb et al.},
  pages = {144--152},
  address = {Heidelberg},
  missinginfo = {A's 1st name, editors},
  topic = {nonstandard-probability;}
  }

@incollection{ loeb_p:1979a,
  author = {P.A. Loeb},
  title = {An Introduction to Nonstandard Analysis and Hyperfinite
  	Probability Theory},
  booktitle = {Probabilistic Analysis and Related Topics, Volume 2},
  publisher = {Academic Press},
  year = {1979},
  editor = {A.T. Bharucha-Reid},
  pages = {105--142},
  address = {New York},
  missinginfo = {A's 1st name, E's 1st name.},
  topic = {nonstandard-probability;}
  }

@book{ loeckx-etal:1996a,
  author = {Jacques Loeckx and Hans-Dieter Ehrich and Markus Wolf},
  title = {Specification of Abstract Data Types},
  publisher = {John Wiley and Sons},
  year = {1996},
  address = {Chichester},
  ISBN = {047195067X (alk. paper)},
  rtnote = {UMich Media Union Library, QA 76.9 .A23 L631 1996.},
  topic = {abstract-data-types;}
 }

@book{ loemker:1956a,
  editor = {Leroy E. Loemker},
  title = {Gottfried {W}illhelm {L}eibniz:  Philosophical Papers and
  	Letters, Volume {I}},
  publisher = {The University of Chicago Press},
  year = {1956},
  address = {Chicago},
  rtnote = {In RHT collection.  History Philosophy Shelves.},
  topic = {philosophy-classics;}
 }

@book{ loemker:1956b,
  editor = {Leroy E. Loemker},
  title = {Gottfried {W}illhelm {L}eibniz:  Philosophical Papers and
  	Letters, Volume {II}},
  publisher = {The University of Chicago Press},
  year = {1956},
  address = {Chicago},
  rtnote = {In RHT collection.  History Philosophy Shelves.},
  topic = {philosophy-classics;}
 }

@book{ loeve:1960a,
  author = {M. Lo\'eve},
  title = {Probability Theory},
  publisher = {Van Nostrand},
  year = {1960},
  address = {Princeton, New Jersey},
  missinginfo = {A's 1st name.},
  contentnote = {According to spohn:1986a, Chapters 24, 25 have an account
  	of defining probabilities conditional on sigma-fields.  This
	Spohn says is the standard mathematics solution to
	0 probability conditions.},
  topic = {probability-theory;primitive-conditional-probability;}
 }

@article{ loewer:1976a,
  author = {Barry Loewer},
  title = {Counterfactuals with Disjunctive Antecedents},
  journal = {Journal of Philosophy},
  year = {1976},
  volume = {73},
  number = {1`6},
  pages = {531--537},
  topic = {conditionals;}
  }

@article{ loewer:1978a,
  author = {Barry Loewer},
  title = {Cotenability and Counterfactual Logics},
  journal = {Journal of Philosophical Logic},
  year = {1978},
  volume = {8},
  number = {1},
  pages = {99--115},
  topic = {conditionals;}
  }

@article{ loewer:2001a,
  author = {Barry Loewer},
  title = {Review of \emph{{M}ind in a Physical World}, by {J}aegwon
  	{K}im},
  journal = {The Journal of Philosophy},
  year = {2001},
  volume = {98},
  number = {6},
  pages = {315--329},
  xref = {Review of kim_jw:1998a.},
  topic = {mind-body-problem;causality;}
  }

@article{ loewer:2004a,
  author = {Barry Loewer},
  title = {David Lewis's {H}umean Theory of Objective Chance},
  journal = {Philosophy of Science},
  year = {2004},
  volume = {71},
  number = {5},
  pages = {1115--1125},
  note = {Philosophy of Science: Proceedings of the
  	2002 Biennial Meeting of the
	Philosophy of Science Association, Part 2: Symposia
	Papers.  Edited by Sandra D. Mitchell.},
  topic = {David-Lewis;chance;}
  }

@article{ loewer-belzer:1983a,
  author = {Barry Loewer and Marvin Belzer},
  title = {Dyadic Deontic Detachment},
  journal = {Synth\'ese},
  volume = {54},
  year = {1983},
  pages = {295--318},
  topic = {deontic-logic;conditional-obligation;}
    }

@article{ loewer-godby:1978a,
  author = {Barry Loewer and John W, {Godbey, Jr.}},
  title = {Representational Symbol Systems},
  journal = {Semiotica},
  year = {1978},
  volume = {23},
  number = {3/4},
  pages = {335},
  rtnote = {In RHT collection.},
  topic = {representation;}
  }

@book{ loewer-rey:1991a,
  editor = {Barry Loewer and Georges Rey},
  title = {Meaning in Mind: {F}odor and His Critics},
  publisher = {Blackwell},
  year = {1991},
  address = {Oxford},
  ISBN = {0631171037 (cloth)},
  contentnote = {TC:
  	1. Louise Antony and Joseph Levine, "The nomic and the robust"
	2. Lynne Rudder Baker, "Has content been naturalized?"
	3. Ned Block, "What narrow content is not"
	4. Daniel C. Dennett, "Granny's campaign for safe science"
	5. Paul A. Boghossian  /, "Naturalizing content"
	6. Michael Devitt, "Why Fodor can't have it both ways"
	7. Brian Loar, "Can we explain intentionality?"
       10. Robert J. Matthews, "Is there vindication through
       		representationalism?"
       11. Ruth Garrett Millikan, "Speaking up for Darwin"
       12. John Perry and David Isreal, "Fodor and psychological
       		explanations"
       13. Stephen Schiffer, "Does mentalese have a compositional
       		semantics?"
       14. Paul Smolensky, "Connectionism, constituency, and the
       		language of thought"
       15. Robert Stalnaker, "How to do semantics for the language of
       		thought"
       16. Stephen P. Stich, "Narrow content meets fat syntax"
       17. Jerry A. Fodor, "Replies"
   },
  rtnote = {UMich Undergraduate, B 945 .F634 M41 1991.},
  topic = {philosophy-of-mind;philosophy-of-language;}
 }

@incollection{ loflin:1976a,
  author = {Marvin D. Loflin},
  title = {Black {E}nglish Deep Structure},
  booktitle = {Assessing Linguistic Arguments},
  publisher = {Hemisphere Publishing Corporation},
  year = {1976},
  editor = {Jessica R. Wirth},
  pages = {249--273},
  address = {Washington, D.C.},
  topic = {Black-English;nl-syntax;}
  }

@techreport{ logan-etal:1994a,
  author = {Brian Logan and Steven Reece and Alison Causey and
  	Julia Galliers and Karen Sparck Jones},
  title = {Belief Revision and Dialogue Management in Information
  	Retrieval},
  institution = {University of Cambridge Computer Laboratory},
  number = {339},
  year = {1994},
  address = {Cambridge},
  rtnote = {In RHT collection.},
  topic = {belief-revision;computational-dialogue;}
  }

@book{ logue:1995a,
  author = {James Logue},
  title = {Projective Probability},
  publisher = {Oxford University Press},
  year = {1995},
  address = {Oxford},
  rtnote = {In RHT collection.  PhilSci Shelves.},
  topic = {foundations-of-probability;}
 }

@incollection{ lohrmann:1991a,
  author = {Gabriele Lohrmann},
  title = {An Evidential Reasoning Approach to the Classification of
  	Satellite Images},
  booktitle = {Symbolic and Quantitative Approaches for Uncertainty:
  	Proceedings of the {E}uropean Conference {ECSQAU}, Marseille,
	France, October 1991},
  publisher = {Springer-Verlag},
  year = {1991},
  editor = {Rudolf Kruse and Pierre Siegel},
  pages = {227--231},
  address = {Berlin},
  topic = {statistical-inference;computer-vision;visual-reasoning;}
  }

@article{ lokhorst:1996a,
  author = {Gert-Jan C. Lokhorst},
  title = {Reasoning about Actions and Obligations in First-Order
  	Logic},
  journal = {Studia Logica},
  year = {1996},
  volume = {57},
  number = {1},
  pages = {221--237},
  topic = {deontic-logic;logic-programming;}
  }

@article{ lokhorst:1999a,
  author = {Gert-Jan Lokhorst},
  title = {Geach's Deontic Quantifier},
  journal = {Philosophia},
  year = {1999},
  volume = {24},
  number = {1--2},
  pages = {247--251},
  topic = {deontic-logic;}
  }

@article{ lombard:1995a,
  author = {Lawrence Brian Lombard},
  title = {Sooner or Later},
  journal = {No\^us},
  year = {1995},
  volume = {29},
  number = {3},
  pages = {343--359},
  topic = {events;}
  }

@article{ lombardi:2001a,
  author = {Giuseppe Lombardi},
  title = {How Comparative is Semantics?  A Unified Parametric
  	Theory of Bare Nouns and Proper Names},
  journal = {Natural Language Semantics},
  year = {2001},
  volume = {9},
  number = {4},
  pages = {335--369},
  topic = {universal-grammar;nl-semantics;indefiniteness;}
  }

@article{ lomuscio-etal:2007a,
  author = {Alessio Lomuscio and Wojciech Penczek and Bozena Wozna},
  title = {Bounded Model Checking for Knowledge and Real Time},
  journal = {Artificial Intelligence},
  year = {2007},
  volume = {171},
  number = {16--17},
  pages = {1011--103},
  topic = {model-checking;reasoning-about-knowledge;}
  }

@article{ lomuscio-sergot:2003a,
  author = {Alesso Lomuscio and Marek J. Sergot},
  title = {Deontic Interpreted Systems},
  journal = {Studia Logica},
  year = {2003},
  volume = {75},
  number = {1},
  pages = {63--92},
  topic = {deontic-logic;multiagent-systems;}
  }

@article{ london:1980a,
  author = {Philip London},
  title = {Review of \emph{{A}rtificial Intelligence Programming}, by
  	{E}ugene {C}harniak, {C}hristopher {R}iesbeck and
	{D}rew {M}cDermott},
  journal = {Artificial Intelligence},
  year = {1980},
  volume = {15},
  number = {1--2},
  pages = {123--124},
  xref = {Review of charniak-etal:1980a.},
  topic = {AI-programming;AI-intro;AI-text;}
  }

@book{ long_j-whitefield:1989a,
  editor = {J. Long and A. Whitefield},
  title = {Cognitive Ergonomics and Human-Computer Interaction},
  publisher = {Cambridge University Press},
  year = {1989},
  address = {Cambridge, England},
  ISBN = {0521371791},
  rtnote = {UMich Media Union Library, QA 76.9 .H85 C641 1989.},
  topic = {HCI;}
 }

@book{ longacre:1964a,
  author = {Robert E. Longacre},
  title = {Grammar Discovery Procedures: A Field Manual},
  publisher = {Mouton},
  year = {1964},
  address = {The Hague},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {linguistics-methodology;field-linguistics;}
 }

@book{ longacre:1976a,
  author = {Robert E. Longacre},
  title = {An Anatomy of Speech Notions},
  publisher = {Peter de Ridder Press},
  year = {1976},
  address = {Lisse},
  rtnote = {Hillman P153 .L6.  According to Levinson this is an attempt
   	to construct a "speech act grammar."},
  topic = {tagmemics;discourse-analysis;text-linguistics;discourse;
  	pragmatics;}
 }

@book{ longacre:1996a,
  author = {Robert E. Longacre},
  title = {The Grammar of Discourse},
  publisher = {Plenum Press},
  year = {1996},
  edition = {Second},
  address = {New York},
  rtnote = {HILLMAN P302 L59 1996.  Supersedes longacre:1976},
  topic = {tagmemics;discourse;discourse-analysis;pragmatics;}
}

@techreport{ longo-moggi:1988a,
  author = {Giuseppe Longo and Eugenio Moggi},
  title = {Constructive Natural Deduction and its `Modest' Interpretation},
  institution = {Computer Science Department, Carnegie Mellon University},
  number = {CMU-CS-88-131},
  year = {1988},
  address = {Pittsburgh, Pennsylvania},
  rtnote = {In RHT collection.},
  topic = {proof-theory;constructive-mathematics;}
  }

@article{ longuethiggins:1994a,
  author = {H. Christopher Longuet-Higgins},
  title = {Artificial Intelligence and Musical Cognition},
  journal = {Philosophical Transactions of the Royal Society, Series A:
  	Physical Sciences and Engineering},
  year = {1994},
  volume = {349},
  number = {1689},
  pages = {3--112},
  note = {Available at http://www.jstor.org/journals/09628428.html},
  topic = {AI-and-music;}
  }

@incollection{ longworth:2008a,
  author = {Guy Longworth},
  title = {Comprehending Speech},
  booktitle = {Philosophical Perspectives 22, 2008: Philosophy of
  		Language},
  publisher = {Blackwell Publishers},
  year = {2008},
  editor = {John Hawthorne},
  pages = {339--373},
  address = {Oxford},
  topic = {philosophy-of-language;speech-perception;}
  }

@incollection{ lonning:1984a,
  author = {Jan Tore L{\o}nning},
  title = {Mass Terms and Quantification},
  booktitle = {Report of an {O}slo Seminar in Logic and Linguistics},
  publisher = {Institute of Mathematics, University of Oslo},
  year = {1984},
  editor = {Jens Erik Fenstad and Jan Tore Langholm and Jan Tore L{\o}nning
	and Helle Frisak Sem},
  pages = {III.1--III.54},
  address = {Oslo},
  topic = {mass-term-semantics;}
  }

@article{ lonning:1987a,
  author = {Jan Tore L{\o}nning},
  title = {Mass Terms and Quantification},
  journal = {Linguistics and Philosophy},
  year = {1987},
  volume = {10},
  number = {1},
  pages = {1--52},
  topic = {mass-term-semantics;}
  }

@techreport{ lonning:1989a,
  author = {Jan Tore L{\o}nning},
  title = {Some Aspects of the Logic of Plural Noun Phrases},
  institution = {Department of Mathematics, University of Oslo},
  year = {1989},
  number = {11},
  address = {Oslo, Norway},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;plural;}
  }

@techreport{ lonning:1990a,
  author = {Jan Tore L{\o}nning},
  title = {Computational Semantics of Mass Terms},
  institution = {Department of Mathematics, University of Oslo},
  year = {1990},
  number = {14},
  address = {Oslo, Norway},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;mass-term-semantics;computational-semantics;}
  }

@incollection{ lonning:1996a,
  author = {John Tore L{\o}nning},
  title = {Plurals and Collectivity},
  booktitle = {Handbook of Logic and Language},
  publisher = {Elsevier Science Publishers},
  year = {1996},
  editor = {Johan {van Benthem} and Alice {ter Meulen}},
  pages = {1009--1053},
  address = {Amsterdam},
  topic = {nl-semantics;pluralities;plural;mass-term-semantics;}
  }

@incollection{ lonsdale:2002a,
  author = {Derly Lonsdale},
  title = {A Niche at the Nexus: Situating an {NLP} Curriculum
  	Interdisciplinarily},
  booktitle = {Effective Tools and Methodologies for Teaching
  	{NLP} and {CL}},
  publisher = {Association for Computational Linguistics},
  year = {2002},
  editor = {Dragomir Radev and Chris Brew},
  pages = {45--52},
  address = {New Brunswick, New Jersey},
  topic = {nlp-pedagogy;}
  }

@incollection{ loper-bird_s:2002a,
  author = {Edward Loper and Stephen Bird},
  title = {{NLTK}: The Natural Language
     		Toolkit},
  booktitle = {Effective Tools and Methodologies for Teaching
  	{NLP} and {CL}},
  publisher = {Association for Computational Linguistics},
  year = {2002},
  editor = {Dragomir Radev and Chris Brew},
  pages = {62--69},
  address = {New Brunswick, New Jersey},
  topic = {nlp-pedagogy;}
  }

@article{ lopes_dm:2006a,
  author = {Dominic McIver Lopes},
  title = {Review of \emph{{M}indsight: Image, Dream, Meaning},
  	by {C}olin {M}c{G}inn},
  journal = {The Philosophical Review},
  year = {2006},
  volume = {115},
  number = {4},
  pages = {543--545},
  xref = {Review of: mcginn_c:2004a},
  topic = {imagination;philosophy-of-mind;}
  }

@book{ lopezdemantaras-poole:1994a,
  editor = {R. Lopez de Mantaras and David Poole},
  title = {Uncertainty in Artificial Intelligence.  Proceedings of
  	the Tenth Conference (1994)},
  publisher = {Morgan Kaufmann Publishers},
  year = {1994},
  address = {San Francisco},
  topic = {reasoning-about-uncertainty;}
 }

@incollection{ loptson:1996a,
  author = {Peter Loptson},
  title = {Prior, {P}lantinga, Haecceity, and the Possible},
  booktitle = {Logic and Reality: Essays on the Legacy of {A}rthur
  	{P}rior},
  publisher = {Oxford University Press},
  year = {1996},
  editor = {Jack Copeland},
  pages = {419--435},
  address = {Oxford},
  topic = {reference;quantifying-in-modality;haecceity;}
  }

@article{ lorenz_k:1973a,
  author = {Kuno Lorenz},
  title = {Rules Versus Theorems: A New Approach for Mediation Between
  	Intuitionistic and Two-Valued Logic},
  journal = {Journal of Philosophical Logic},
  year = {1973},
  volume = {2},
  number = {3},
  pages = {352--369},
  topic = {intuitionistic-logic;dialogue-logic;}
  }

@article{ lorenz_s:1994a,
  author = {S. Lorenz},
  title = {A Tableau Prover for Domain Minimization},
  journal = {Journal of Automated Reasoning},
  year = {1994},
  volume = {13},
  pages = {375--390},
  missinginfo = {A's 1st name, number},
  topic = {theorem-proving;minimal-models;}
  }

@incollection{ lormand:1996a,
  author = {Eric Lormand},
  title = {The Holorobophobe's Dilemma},
  booktitle = {The Robot's Dilemma Revisited: The Frame Problem
             in Artificial Intelligence},
  publisher = {Ablex Publishing Co.},
  year = {1996},
  editor = {Kenneth M. Ford and Zenon Pylyshyn},
  pages = {61--88},
  address = {Norwood, New Jersey},
  topic = {frame-problem;philosophy-AI;}
  }

@book{ lotka:1956a,
  author = {Alfred J. Lotka},
  title = {Elements of Mathematical Biology},
  publisher = {Dover Publications},
  year = {1956},
  address = {New York},
  rtnote = {UMich Graduate Library Call No: QH 307 .L88 1956},
  topic = {mathematical-biology;}
 }

@book{ loucopoulos-karakostas:1995a,
  author = {Pericles Loucopoulos and Vassilios Karakostas},
  title = {System Requirements Engineering},
  publisher = {McGraw-Hill Book Co.},
  year = {1995},
  address = {New York},
  ISBN = {0077078438},
  rtnote = {UMich Media Union Library, QA 76.758 .L681 1995.},
  topic = {software-engineering;}
 }

@unpublished{ loui:1986a,
  author = {Ronald P. Loui},
  title = {A Presumptive System of Defeasible Inheritance},
  year = {1986},
  month = {May},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript.},
  topic = {nonmonotonic-reasoning;}
  }

@article{ loui:1987a,
  author = {Ronald P. Loui},
  title = {Review of \emph{{C}hange in View}, by {G}. {H}arman},
  journal = {Artificial Intelligence},
  year = {1987},
  volume = {34},
  number = {1},
  pages = {119--124},
  xref = {Review of harman_gh:1986a.},
  topic = {belief-revision;limited-rationality;}
  }

@article{ loui:1987b,
  author = {Ronald Loui},
  title = {Defeat Among Arguments: a System of Defeasible Inference},
  journal = {Computational Intelligence},
  year = {1987},
  volume = {3},
  number = {2},
  pages = {100---106},
  topic = {argumentation;argumentation-theory;nonmonotonic-logic;
  	argument-based-defeasible-reasoning;}
 }

@techreport{ loui:1987c,
  author = {Ronald Loui},
  title = {Theory and Computation of Uncertain Inference and Decision},
  institution = {Department of Computer Science, University of Rochester},
  year = {1987},
  address = {Rochester, New York},
  rtnote = {In RHT Collection.  CS MS shelves.},
  topic = {argumentation;argumentation-theory;nonmonotonic-logic;}
  }

@inproceedings{ loui:1988a,
  author = {Ronald P. Loui},
  title = {The Curse of {F}rege},
  booktitle = {Proceedings of the Second Conference on Theoretical
  	Aspects of Reasoning about Knowledge},
  year = {1988},
  editor = {Moshe Y. Vardi},
  pages = {355--359},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  topic = {logic-in-AI;}
  }

@unpublished{ loui:1988b,
  author = {Ronald P. Loui},
  title = {Defeat among the Arguments {II}: Renewal, Rebuttal,
  	and Referral},
  year = {1988},
  note = {Unpublished manuscript, Washington University.},
  rtnote = {In RHT collection.},
  topic = {argumentation;argumentation-theory;nonmonotonic-logic;}
  }

@inproceedings{ loui:1989a,
 author = {Ronald P. Loui},
 title = {Analogical Reasoning, Defeasible Reasoning, and the
 	Reference Class},
 booktitle = {{KR}'89: Principles of Knowledge Representation and Reasoning},
 year = {1989},
 editor = {Ronald J. Brachman and Hector J. Levesque and Raymond Reiter},
 pages = {256--265},
 publisher = {Morgan Kaufmann},
 address = {San Mateo, California},
 topic = {nonmonotonic-reasoning;statistical-inference;analogy;
 	analogical-reasoning;}
 }

@incollection{ loui:1990a,
  author = {Ronald Loui},
  title = {Defeasible Specification of Utilities},
  booktitle = {Knowledge Representation and Defeasible Reasoning},
  publisher = {Kluwer Academic Publishers},
  year = {1990},
  editor = {Henry Kyburg and Ronald Loui and Greg Carlson},
  pages = {345--359},
  address = {Dordrecht},
  topic = {nonmonotonic-reasoning;decision-theory;qualitative-utility;}
  }

@incollection{ loui:1991a,
  author = {Ron Loui},
  title = {Ampliative Inference, Computation, and
                Dialectic},
  booktitle = {Philosophy and {AI}: Essays at the Interface},
  publisher = {The {MIT} Press},
  year = {1991},
  editor = {Robert Cummins and John L. Pollock},
  pages = {141--155},
  address = {Cambridge, Massachusetts},
  topic = {argument-based-defeasible-reasoning;}
  }

@unpublished{ loui:1992a,
  author = {Ronald P. Loui},
  title = {Process and Policy:  Resource-Bounded Non-Demonstrative
  	Reasoning},
  year = {1992},
  rtnote = {In RHT collection.},
  note = {Unpublished MS, Department of Computer Science, Washington
  	University, St. Louis, MO 63130.},
  topic = {argumentation;argumentation-theory;nonmonotonic-reasoning;}
  }

@incollection{ loui:1996a,
  author = {Ronald P. Loui},
  title = {Back to the Scene of the Crime: Or,
         Who Survived the {Y}ale Shooting?},
  booktitle = {The Robot's Dilemma Revisited: The Frame Problem
             in Artificial Intelligence},
  publisher = {Ablex Publishing Co.},
  year = {1996},
  editor = {Kenneth M. Ford and Zenon Pylyshyn},
  pages = {89--98},
  address = {Norwood, New Jersey},
  topic = {Yale-shooting-problem;frame-problem;}
  }

@article{ loui:1998a,
  author = {Ronald P. Loui},
  title = {Review of {B}rian {C}. {S}mith's {\it On the Origin
  	of Objects}},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {106},
  number = {2},
  pages = {353--358},
  xref = {Review of smith_bc:1996a.},
  topic = {foundations-of-computation;}
  }

@article{ loui:1999a,
  author = {Ronald P. Loui},
  title = {Review of \emph{{L}ogical Tools for Modeling Legal Argument:
  	A Study of Defeasible Reasoning in Law}, by {H}enry {P}rakken},
  journal = {Journal of Symbolic Logic},
  year = {1999},
  volume = {64},
  number = {4},
  pages = {1840--1841},
  xref = {Review of: prakken:1997a.},
  topic = {logic-and-law;nonmonotonic-reasoning;}
  }

@book{ loux:1979a,
  editor = {Michael J. Loux},
  title = {The Possible and the Actual:  Readings in the Metaphysics
  		of Modality},
  publisher = {Cornell University Press},
  year = {1979},
  address = {Ithaca, New York},
  ISBN = {0801412382},
  rtnote = {UMich Graduate Library, BC199.M6 P661 1979.},
  contentnote = {TC:
     1. M.J. Loux, "Introduction"
     2. J. Hintikka, "The Modes of Modality"
     3. R.M. Chisholm, "Identity through Possible Worlds"
     4. D. Kaplan, "Transworld Heir Lines"
     5. D. Lewis, "Counterpart Theory and Quantified Modal Logic"
     6. M.J. Cresswell, "The World Is Everything that Is the Case"
     7. A. Plantinga, "Transworld Identity or Worldbound Individuals? "
     8. N. Rescher, "The Ontology of the Possible"
     9. D. Lewis, "Possible Worlds"
    10. R.M. Adams, "Theories of actuality"
    11. D. Kaplan, "How to {R}ussell a Frege-Church"
    12. R.C. Stalnaker, "Possible Worlds"
    13. F. Mondadori and A. Morton, "Modal realism"
    14. A. Plantinga, "Actualism and Possible Worlds"
    15. W. Lycan, "The Trouble with Possible Worlds"},
  topic = {metaphysics;essentialism;modality;
  		philosophy-of-possible-worlds;}
  }

@article{ love:2002a,
  author = {Bradley C. Love},
  title = {Review of \emph{{S}imilarity and Categorization}, by },
  journal = {The {AI} Magazine},
  year = {2002},
  volume = {23},
  number = {2},
  pages = {103--105},
  xref = {Review of: hahn_u2-ramscar:2001a.},
  topic = {categorization;similarity;cognitive-psychology;}
  }

@book{ lovejoy:1964a,
  author = {Arthur O. Lovejoy},
  title = {The Great Chain of Being: A Study of the History of an Idea},
  publisher = {Harvard University Press},
  year = {1964},
  address = {Cambridge, Massachusetts},
  ISBN = {0674361539},
  rtnote = {UMich Shapiro Undergraduate B 105 .C5 L9 1964},
  topic = {history-of-ideas;plenitude;Leibniz;}
 }

@article{ loveland:1991a,
  author = {Donald W. Loveland},
  title = {Near-Horn {Prolog} and Beyond},
  journal = {Journal of Automated Reasoning},
  volume = {7},
  pages = {1--26},
  year = {1991},
  topic = {logic-programming;}
  }

@inproceedings{ loveland:1999a,
  author = {Donald W. Loveland},
  title = {Applications of Theorem Proving},
  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 = {theorem-proving;AI-applications;}
  }

@article{ lowe_b-welch:2001a,
  author = {Benedict Lowe and Philip D. Welch},
  title = {Set-Theoretic Absoluteness and the Revision Theory of
  	Truth},
  journal = {Studia Logica},
  year = {2001},
  volume = {68},
  number = {1},
  pages = {21--41},
  topic = {truth;semantic-paradoxes;fixpoints;semantic-hierarchies;
  	arithmetic-hierarchy;}
  }

@article{ lowe_dj:1987a,
  author = {David G. Lowe},
  title = {Three-Dimensional Object Recognition from Single
  	Two-Dimensional Images},
  journal = {Artificial Intelligence},
  year = {1987},
  volume = {31},
  number = {3},
  pages = {355--395},
  topic = {three-D-reconstruction;}
  }

@article{ lowe_ej:1979a,
  author = {E. Jonathan Lowe},
  title = {Indicative and Counterfactual Conditionals},
  journal = {Analysis},
  year = {1979},
  volume = {39},
  pages = {139--141},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {conditionals;}
  }

@book{ lowe_ej:1989a,
  author = {E. Jonathan Lowe},
  title = {Kinds of Being: A Study of Individuation, Identity, and
  	the Logic of Sortal Terms},
  publisher = {Blackwell Publishers},
  year = {1989},
  address = {Oxford},
  ISBN = {063116703X},
  rtnote = {UMich Graduate Library, BC 199 .I4 L691 1989.},
  topic = {philosophical-ontology;sortal-quantification;identity;}
 }

@article{ lowe_ej:1994a,
  author = {E. Jonathan Lowe},
  title = {Vague Identity and Quantum Indeterminacy},
  journal = {Analysis},
  year = {1994},
  volume = {54},
  pages = {110--114},
  missinginfo = {number},
  topic = {vagueness;identity;quantum-logic;}
  }

@incollection{ lownie:1992a,
  author = {Timothy M. Lownie},
  title = {A Contraction Operator for Classical Propositional Logic},
  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 = {720--731},
  address = {San Mateo, California},
  topic = {kr;belief-revision;}
  }

@article{ lozanoperez:1982a,
  author = {Tom\'as Lozano-P\'erez},
  title = {Robotics},
  journal = {Artificial Intelligence},
  year = {1982},
  volume = {19},
  number = {2},
  pages = {137--143},
  topic = {robotics;}
  }

@incollection{ lozinskii:1989a,
  author = {Eliezer Lozinskii},
  title = {Plausible World Assumption},
  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 = {266--275},
  address = {San Mateo, California},
  topic = {kr;nonmonotonic-logic;kr-course;}
  }

@book{ lu_zw:1989a,
  author = {Zhongwan Lu},
  title = {Mathematical Logic for Computer Science},
  publisher = {World Scientific},
  year = {1989},
  address = {Singapore},
  ISBN = {9971502518},
  rtnote = {UMich Media Union Library, QA 76.9 .M35 L81 1989.},
  topic = {logic-in-cs;logic-in-cs-intro;}
 }

@book{ lu_zw:1998a,
  author = {Zhongwan Lu},
  title = {Mathematical Logic for Computer Science},
  edition = {2},
  publisher = {World Scientific},
  year = {1998},
  address = {Singapore},
  ISBN = {981023091-5},
  xref = {Review: forster:2001a.},
  rtnote = {Forster's review makes this book look pretty paltry.},
  topic = {logic-in-cs;logic-in-cs-intro;}
 }

@article{ lucas_jr:1961a,
  author = {John R. Lucas},
  title = {Minds, Machines, and {G}\"odel},
  journal = {Philosophy},
  year = {1961},
  volume = {36},
  pages = {112--127},
  missinginfo = {number.},
  topic = {philosophy-of-computation;goedels-first-theorem;}
 }

@incollection{ lucas_jr:1962a,
  author = {John R. Lucas},
  title = {Causation},
  booktitle = {Analytical Philosophy, First Series},
  publisher = {Barnes and Noble},
  year = {1962},
  editor = {Ronald J. Butler},
  pages = {32--65},
  address = {New York},
  topic = {causality;}
  }

@article{ lucas_jr:1968a,
  author = {John R. Lucas},
  title = {Satan Stultified: A Reply to {P}aul {B}enacerraf},
  journal = {The Monist},
  year = {1968},
  volume = {51},
  number = {1},
  pages = {145--158},
  contentnote = {Reply to benacerraf:1967a},
  rtnote = {In RHT collection.},
  topic = {philosophy-of-computation;}
 }

@article{ lucas_jr:1976a,
  author = {John R. Lucas},
  title = {This {G}\"odel is Killing Me:  A Rejoinder},
  journal = {Philosophia},
  year = {1976},
  volume = {6},
  number = {1},
  pages = {145--148},
  xref = {Reply to: hutton:1976a},
  topic = {philosophy-of-computation;goedels-first-theorem;}
  }

@article{ lucas_jr:1994a,
  author = {John R. Lucas},
  title = {A View of One's Own},
  journal = {Philosophical Transactions of the Royal Society, Series A:
  	Physical Sciences and Engineering},
  year = {1994},
  volume = {349},
  number = {1689},
  pages = {147--152},
  note = {Available at http://www.jstor.org/journals/09628428.html},
  topic = {philosophy-AI;consciousness;}
  }

@incollection{ lucas_jr:1996a,
  author = {John R. Lucas},
  title = {Minds, Machines, and {G}\"odel: A Rejoinder},
  booktitle = {Machines and Thought: The Legacy of {A}lan {T}uring:
  	Volume {I}},
  publisher = {Oxford University Press},
  year = {1996},
  editor = {Peter J.R. Millican and A. Clark},
  pages = {103--124},
  address = {Oxford},
  rtnote = {In RHT collection.},
  topic = {philosophy-of-computation;goedels-first-theorem;}
  }

@article{ lucas_pjf:1998a,
  author = {Peter J.F. Lucas},
  title = {Analysis of Notions of Diagnosis},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {105},
  number = {1--2},
  pages = {295--343},
  contentnote = {This claims to provide a formal theory of
		diagnosis.},
  topic = {diagnosis;}
  }

@article{ lucas_pjf:2005a,
  author = {Peter J.F. Lucas},
  title = {Bayesian Network Modelling through Qualitative Patterns},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {163},
  number = {2},
  pages = {233--263},
  topic = {Bayesian-networks;qualitative-reasoning;}
  }

@article{ luce:1967a,
  author = {R. Duncan Luce},
  title = {Sufficient Conditions for the Existence of a Finitely
  	Additive Probability Measure},
  journal = {Annals of Mathematics and Statistics},
  year = {1967},
  volume = {38},
  pages = {780--786},
  missinginfo = {number},
  topic = {qualitative-probability;measurement-theory;}
  }

@incollection{ luce:1977a,
  author = {R. Duncan Luce},
  title = {Conjoint Measurement: A Brief Survey},
  booktitle = {Conflicting Objectives in Decisions},
  publisher = {John Wiley and Sons},
  year = {1977},
  editor = {David E. Bell and Ralph L. Keeney and Howard Raiffa},
  pages = {148--171},
  address = {New York},
  rtnote = {In RHT collection.},
  topic = {decision-analysis;multiattribute-utility;measurement-theory;}
  }

@book{ luce-raiffa:1957a,
  author = {R. Duncan Luce and Howard Raiffa},
  title = {Games and Decisions},
  publisher = {John Wiley and Sons},
  year = {1957},
  address = {New York},
  rtnote = {Reading notes on file.},
  topic = {decision-theory;game-theory;}
 }

@article{ luck:1998a,
  author = {Michael Luck},
  title = {Review of \emph{Elements of Machine Learning},
		by {P}at {L}angley},
  journal = {Journal of Logic, Language, and Information},
  year = {1998},
  volume = {7},
  number = {1},
  pages = {103--105},
  topic = {machine-learning;}
  }

@article{ luckham-nilsson_nj:1970a,
  author = {David Luckham and Nils J. Nilsson},
  title = {Extracting Information from Resolution Proof Trees},
  journal = {Artificial Intelligence},
  year = {1970},
  volume = {2},
  number = {1},
  pages = {27--54},
  topic = {theorem-proving;}
  }

@article{ luckin:1998a,
  author = {Rosemary Luckin},
  title = {Review of \emph{{V}ygotsky and Cognitive Science: Language and
  	the Unification of the Social and Computational Mind}, by },
  journal = {Computational Linguistics},
  year = {1998},
  volume = {24},
  number = {3},
  pages = {520--523},
  xref = {Review of: frawley:1997a.},
  topic = {foundations-of-cognitive-science;philosophy-of-language;
  	psychology-general;context;}
  }

@book{ lucy:1992a,
  author = {John A. Lucy},
  title = {Language Diversity and Thought},
  publisher = {Cambridge University Press},
  year = {1992},
  address = {Cambridge, England},
  topic = {linguistic-relativity;}
 }

@book{ lucy:1996a,
  author = {John A. Lucy},
  title = {Grammatical Categories and Cognition},
  publisher = {Cambridge University Press},
  year = {1996},
  address = {Cambridge, England},
  rtnote = {In RHT collection.  Shelf.},
  topic = {linguistic-relativity;}
 }

@article{ luczak:2002a,
  author = {Holger Luczak},
  title = {Editorial},
  journal = {International Journal of Human-Computer Interaction},
  year = {2002},
  volume = {14},
  number = {2},
  pages = {135--138},
  rtnote = {In RHT collection.},
  topic = {context-aware-computing;HCI;}
  }

@article{ ludlow:1989a,
   author = {Peter Ludlow},
   title = {Implicit Comparison Classes},
   journal = {Linguistics and Philosophy},
   year = {1989},
   volume = {12},
   number = {4},
   pages = {519--533},
   topic = {nl-semantics;comparative-constructions;semantics-of-adjectives;}
  }

@article{ ludlow:1996a,
  author = {Peter Ludlow},
  title = {The Logical Form of Determiners},
  journal = {Journal of Philosophical Logic},
  year = {1996},
  volume = {24},
  number = {1},
  pages = {47--69},
  topic = {definite-descriptions;nl-quantification;}
  }

@book{ ludlow:1996b,
  editor = {Peter Ludlow},
  title = {Readings in the Philosophy of Language},
  publisher = {The {MIT} Press},
  year = {1996},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-62114-2},
  rtnote = {UMich Graduate Library, P 106 .R3851 1997},
  contentnote = {TC:
     1. Gottlob Frege, "The Thought: A Logical Inquiry", pp. 9--30
     2. Ludwig Wittgenstein, "Excerpt from {\it The Blue and Brown
     		Books}", pp. 31--47
     3. Willard V. Quine, "Translation and Meaning", pp. 49--57
     4. Paul Grice, "Utterer's Meaning and Intentions", pp. 59--88
     5. Donald Davidson, "Truth and Meaning", pp. 89--107
     6. Ernest LePore, "What Model-Theoretic Semantics Cannot
     		Do", pp. 109--128
     7. Michael Dummett, "What Is a Theory of Meaning?", pp. 129--155
     8. James Higginbotham, "Elucidations of Meaning", pp. 157--178
     9. Richard K. Larson and Gabriel Segal, "Knowledge of Meaning
    		and Theories of Truth", pp. 179--199
    10. Ludwig Wittgenstein, "Some Remarks on Logical
    		Form", pp. 209--215
    11. Donald Davidson, "The Logical Form of Action
    		Sentences", pp. 217--232
    12. Gareth Evans, "Semantic Structure and Logical Form", pp. 233--256
    13. Gilbert Harman, "Deep Structure as Logical Form", pp. 257--278
    14. Robert May, "Logical Form as a Level of Linguistic
    		Representation", pp. 281--315
    15. Bertrand Russell, "Descriptions", pp. 323--333
    16. Peter Strawson, "On Referring", pp. 335--359
    17. Keith Donnellan, "Reference and Definite
    		Descriptions", pp. 361--381
    18. Saul A. Kripke, "Speaker's Reference and Semantic
    		Reference", pp. 383--414
    19. Stephen Neale, "Context and Communication", pp. 415--474
    20. Janet Dean Fodor and Ivan A. Sag, "Referential and
    		Quantificational Indefinites", pp. 475--521
    21. Peter Ludlow and Stephen Neale, "Indefinite
    		Descriptions: In Defense of Russell", pp. 523--555
    22. Gottlob Frege, "On Sense and Reference", pp. 559--583
    23. John R. Searle, "Proper Names", pp. 585--592
    24. Tyler Burge, "Reference and Proper Names", pp. 593--608
    25. Saul A. Kripke, "Lecture II of {\em Naming and
    		Necessity}", pp. 609--634
    26. Gareth Evans, "The Causal Theory of Names", pp. 609--667
    27. Scott Weinstein, "Truth and Demonstratives", pp. 663--692
    28. David Kaplan, "Dthat", pp. 669--692
    29. John Perry, "Frege on Demonstratives", pp. 693--715
    30. Gareth Evans, "Understanding Demonstratives", pp. 717--744
    31. Martin Davies, "Individuation and the Semantics of
    		Demonstratives", pp. 745--767
    32. Rudolph Carnap, "The Method of Intension", pp. 779--791
    33. Israel Scheffler, "On Synonymy and Indirect
    		Discourse", pp. 793--800
    34. Willard V. Quine, "Vagaries of Reference", pp. 801--815
    35. Donald Davidson, "On Saying That", pp. 817--832
    36. Barbara Partee, "Opacity and Scope", pp. 833--853
    37. Stephen Schiffer, "Sententialist Theories of
    		Belief", pp. 855--873
    38. Saul A. Kripke, "A Puzzle about Belief", pp. 875--920
    39. Scott Soames, "Direct Reference, Propositional Attitudes,
    		and Semantic Content", pp. 921--962
    40. Mark Crimmins and John Perry, "The Prince and the Phone
    		Booth: Reporting Puzzling Beliefs", pp. 963--991
    41. Richard K. Larson and Peter Ludlow, "Interpreted Logical
    		Forms", pp. 993--1039
    42. Marcel den Dikken and Richard K. Larson and Peter
    		Ludlow, "Intensional `Transitive' Verbs and
		Concealed Complement Clauses", pp. 1041--1053
  },
  topic = {philosophy-of-language;}
 }

@article{ ludlow:1997a,
  author = {Peter J. Ludlow},
  title = {Review of \emph{{S}emantic Ambiguity and Underspecification},
  	edited by {K}ees {van Deemter} and {S}tanley {P}eters},
  journal = {Computational Linguistics},
  year = {1997},
  volume = {23},
  number = {3},
  pages = {476--482},
  xref = {Review of vandeemter-peters:1996a.},
  topic = {ambiguity;polysemy;semantic-underspecification;}
  }

@book{ ludlow:1999a,
  author = {Peter J. Ludlow},
  title = {Semantics, Tense, and Time: An Essay in the Metaphysics of
  	Natural Language},
  publisher = {The {MIT} Press},
  year = {1999},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-12219-7},
  rtnote = {UMich Graduate Library, P 325 .L7541 1999},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  xref = {Review: markosian:2001a, bonomi:2002a, smith_q:2002a.},
  topic = {nl-semantics;tense-aspect;metaphysics;}
 }

@incollection{ ludlow:2004a,
  author = {Peter Ludlow},
  title = {Descriptions},
  booktitle = {The {S}tanford Encyclopedia of Philosophy},
  editor = {Edward N. Zalta},
  url = {http://plato.stanford.edu/archives/spr2004/entries/descriptions/},
  year = {2004},
  rtnote = {In RHT collection.},
  topic = {reference;definite-descriptions;philosophy-of-language;}
 }

@incollection{ ludlow:2005a,
  author = {Peter Ludlow},
  title = {Contextualism and the New Linguistic Turn in Philosophy},
  booktitle = {Contextualism in Philosophy: Knowledge, Meaning, and Truth},
  publisher = {Oxford University Press},
  year = {2005},
  editor = {Gerhard Preyer and Georg Peter},
  pages = {11--50},
  address = {Oxford},
  topic = {context;philosophy-of-language;knowledge;}
  }

@incollection{ ludlow:2006a,
  author = {Peter Ludlow},
  title = {From {S}herlock and {B}uffy to {K}lingon and
     		{N}oranthian Platinum Pieces:  Pretense, Contextualism,
                and the Myth of Fiction},
  booktitle = {Philosophy of Language},
  publisher = {Blackwell Publishers},
  year = {2006},
  editor = {Ernest Sosa and Enrique Villanueva},
  pages = {162--183},
  address = {Oxford},
  topic = {reference-gaps;fiction;fictional-characters;}
  }

@article{ ludlow:2009a,
  author = {Peter Ludlow},
  title = {Review of \emph{Ignorance of Language}, by {M}ichael {D}evitt},
  journal = {The Philosophical Review},
  year = {2009},
  volume = {118},
  number = {2},
  pages = {393--402},
  xref = {Review of: devitt:2006a},
  topic = {Chomsky;competence;philosophy-of-linguistics;}
  }

@article{ ludlow-neale:1991a1,
  author = {Peter Ludlow and Stephen Neale},
  title = {Indefinite Descriptions: In Defense of {R}ussell},
  journal = {Linguistics and Philosophy},
  year = {1991},
  volume = {14},
  number = {2},
  pages = {171--202},
  xref = {Republication: ludlow-neale:1991a2.},
  topic = {indefiniteness;nl-quantification;}
  }

@incollection{ ludlow-neale:1991a2,
  author = {Peter Ludlow and Stephen Neale},
  title = {Indefinite Descriptions: In Defense of {R}ussell},
  booktitle = {Readings in the Philosophy of Language},
  publisher = {The {MIT} Press},
  year = {1996},
  editor = {Peter Ludlow},
  pages = {523--555},
  address = {Cambridge, Massachusetts},
  xref = {Republication: ludlow-neale:1991a1.},
  topic = {indefiniteness;nl-quantification;}
  }

@article{ ludwig_k:2007a,
  author = {Kirk Ludwig},
  title = {Collective Intentional Behavior from the Standpoint
  		of Semantics},
  journal = {No\^us},
  year = {2007},
  volume = {41},
  number = {3},
  pages = {355--393},
  topic = {group-action;intention;}
  }

@incollection{ ludwig_k-ray:1998a,
  author = {Kirk Ludwig and Georges Ray},
  title = {Semantics for Opaque Contexts},
  booktitle = {Philosophical Perspectives 12: Language, Mind,
  	and Ontology},
  publisher = {Blackwell Publishers},
  year = {1998},
  editor = {James E. Tomberlin},
  pages = {141--166},
  address = {Oxford},
  rtnote = {In RHT collection.},
  topic = {quantifying-in-modality;syntactic-attitudes;}
  }

@incollection{ ludwig_k-ray:2002a,
  author = {Kurt Ludwig and Greg Ray},
  title = {Vagueness and the Sorites Paradox},
  booktitle = {Philosophical Perspectives 16: Language and Mind, 2002},
  publisher = {Blackwell Publishers},
  year = {2002},
  editor = {James E. Tomberlin},
  pages = {419--461},
  address = {Oxford},
  topic = {vagueness;sorites-paradox;}
  }

@article{ luelsdorff:1998a,
  author = {Phillip A. Luelsdorff},
  title = {Questions of Modality},
  journal = {Theoretical Linguistics},
  year = {1998},
  volume = {24},
  number = {2/3},
  pages = {157--184},
  topic = {lexical-semantics;modals;}
  }

@techreport{ luettgen-etal:2000a,
  author = {Gerald Luettgen and Michael von der Beeck and Rance Cleaveland},
  title = {A Compositional Approach to Statecharts Semantics},
  institution = {NASA Langley Research Center},
  number = {NASA/CR-2000-210086 ICASE Report No. 2000-12},
  year = {2001},
  address = {Langley Research Center Hampton, Virginia},
  rtnote = {In RHT collection.},
  topic = {statecharts;}
  }

@incollection{ lukasiewicz_j:1967a,
  author = {Jan {\L}ukasiewicz},
  title = {On Determinism},
  booktitle = {Polish Loigc},
  publisher = {Oxford University Press},
  year = {1967},
  editor = {Storrs McCall},
  pages = {19--39},
  address = {Oxford},
  rtnote = {tmix-project;},
  topic = {future-contingent-propositions;multivalued-logic;}
  }

@book{ lukasiewicz_j:1970a,
  author = {Jan {\L}ukasiewicz},
  title = {Jan {\L}ukasiewicz, Selected Writings},
  publisher = {North-Holland},
  year = {1970},
  note = {Edited by Ludwik Borowski.},
  topic = {multivalued-logic;Polish-logic;tense-logic;}
 }

@incollection{ lukasiewicz_t:1998a,
  author = {Thomas Lukasiewicz},
  title = {Probabilistic Deduction with Conditional Constraints
		over Basic Events},
  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 = {380--391},
  address = {San Francisco, California},
  topic = {kr;probabilistic-reasoning;kr-course;}
  }

@article{ lukasiewicz_t:2005a,
  author = {Thomas Lukasiewicz},
  title = {Weak Nonmonotonic Probabilistic Logics},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {168},
  number = {1--2},
  pages = {119--161},
  topic = {probabilistic-logic;nonmonotonic-logic;}
  }

@article{ lukasiewicz_t:2008a,
  author = {Thomas Lukasiewicz},
  title = {Expressive Probabilistic Description Logics},
  journal = {Artificial Intelligence},
  year = {2008},
  volume = {172},
  number = {6--7},
  pages = {852--883},
  topic = {probabilistic-description-logics;}
  }

@incollection{ lukasiewicz_t-schellhase:2006a,
  author = {Thomas Lukasiewicz and J\"org Schellhase},
  title = {Variable-Strength Conditional Preferences for Matchmaking
  		in Description Logics},
  booktitle = {{KR}2006: Proceedings, Tenth International Conference on
      Principles of  Knowledge Representation and Reasoning},
  publisher = {AAAI Press},
  year = {2006},
  editor = {Patrick Doherty and John Mylopoulos and Christopher A. Welty},
  pages = {164--174},
  address = {Menlo Park, California},
  topic = {preferences;qualitative-utility;description-logics;}
  }

@book{ lukasiewicz_w:1990a,
  author = {Witold Lukaszewicz},
  title = {Non-Monotonic Reasoning: Formalization of Commonsense
  	Reasoning},
  publisher = {Ellis Horwood},
  year = {1990},
  address = {New York},
  ISBN = {0136244467},
  rtnote = {UMich Media Union Library, Q 335 .L851 1990.},
  topic = {nonmonotonic-reasoning;common-sense-reasoning;
  	common-sense-logicism;}
 }

@incollection{ lukasiewitz_t:2004a,
  author = {Thomas Lukasiewitz},
  title = {Weak Nonmonotonic Probabilistic Logics},
  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 = {23--33},
  address = {Menlo Park, California},
  topic = {nonmonotonic-logic;probabilistic-reasoning;}
  }

@inproceedings{ lukaszewicz_w:1985a,
  author = {Witold {\L}ukaszewicz},
  title = {Two Results on Default Logic},
  booktitle = {Proceedings of the Ninth International Joint
  	Conference on Artificial Intelligence},
  year = {1985},
  editor = {Arivind Joshi},
  pages = {459--461},
  publisher = {Morgan Kaufmann},
  address = {Los Altos, California},
  topic = {default-logic;nonmonotonic-logic;}
 }

@inproceedings{ lukaszewicz_w-madalinskabugaj:1995a,
  author = {Witold {\L}ukaszewicz and Ewa Madali\'nska-Bugaj},
  title = {Reasoning about Action and Change Using {D}ijskstra's
  	Semantics for Programming Languages: Preliminary Report},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {1950--1955},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  rtnote = {In RHT collection.},
  topic = {action-formalisms;temporal-reasoning;}
  }

@incollection{ lulis-etal:2003a,
  author = {Evelyn Lulis and Martha Evens},
  title = {The Use of Analogies in Human Tutoring Dialogues},
  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 = {94--96},
  address = {Menlo Park, California},
  topic = {nl-generation;computational-dialogue;analogy;}
  }

@article{ lumont-mongin:2003a,
  author = {Luc Lumont 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 = {epistemic-logic;mutual-beliefs;completeness-theorems;}
  }

@article{ lundquist-jarvella:1994a,
  author = {Lita Lundquist and Robert J. Jarvella},
  title = {Ups and Downs in Scalar Inferences},
  journal = {Journal of Semantics},
  year = {1994},
  volume = {11},
  number = {1},
  pages = {33--53},
  topic = {semantic-processing;`only';scalar-reasoning;}
  }

@article{ luo_xd-etal:2003a,
  author = {Xudong Luo and Nicholas R. Jennings and Nigel Shadbolt and
  	Ho-fung Leung and Jimmy Ho-Man Lee},
  title = {A Fuzzy Constraint Based Model for Bilateral, Multi-Issue
  	Negotiations in Semi-Competitive Environments},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {148},
  number = {1--2},
  pages = {53--102},
  topic = {possibility-theory;fuzzy-set-theory;constraint-satisfaction;
  	automated-negotiation;}
  }

@article{ luo_xd-jennings_nr:2006a,
  author = {Xudong Luo and Nicholas R. Jennings},
  title = {A Spectrum of Compromise Aggregation Operators for
  		Multi-Attribute Decision Making},
  journal = {Artificial Intelligence},
  year = {2007},
  volume = {171},
  number = {2--3},
  pages = {161--184},
  topic = {multiattribute-utility;decision-theoretic-reasoning;}
  }

@inproceedings{ luo_xq-roukos:1996a,
  author = {Xiao-Qiang Luo and Salim Roukos},
  title = {An Iterative Algorithm to Build {C}hinese Language
  	Models},
  booktitle = {Proceedings of the Thirty-Fourth Annual Meeting of the
  	Association for Computational Linguistics},
  year = {1996},
  editor = {Arivind Joshi and Martha Palmer},
  pages = {139--144},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco},
  topic = {speech-recognition;statistical-nlp;Chinese-language;}
 }

@incollection{ luo_zy-gammerman:1991a,
  author = {Zhiyuan Luo and Alex Gammerman},
  title = {{PRESS}---A Probabilistic Reasoning Expert System},
  booktitle = {Symbolic and Quantitative Approaches for Uncertainty:
  	Proceedings of the {E}uropean Conference {ECSQAU}, Marseille,
	France, October 1991},
  publisher = {Springer-Verlag},
  year = {1991},
  editor = {Rudolf Kruse and Pierre Siegel},
  pages = {232--237},
  address = {Berlin},
  topic = {causal-networks;expert-systems;}
  }

@phdthesis{ luperfoy_s1:1991a,
  author = {Susann Luperfoy},
  title = {Discourse Pegs: A Computational Analysis of
  	Context-Independent Referring Expressions},
  school = {Linguistics Department, University of Texas at Austin.},
  year = {1991},
  type = {Ph.{D}. Dissertation},
  address = {Austin, Texs},
  rtnote = {In RHT collection.  L&L Shelf.},
  topic = {discourse-representation-theory;discourse;discourse-referents
  	;anaphora;pragmatics;referring-expressions;}
 }

@unpublished{ luperfoy_s1:1992a,
  author = {Susann Luperfoy},
  title = {The Semantics of Plural Indefinites in {E}nglish},
  year = {1991},
  note = {Unpublished manuscript, University of Texas at Austin.},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  topic = {plural;indefiniteness;}
  }

@inproceedings{ luperfoy_s1:1992b,
  author = {Susann Luperfoy},
  title = {The Representation of Multimodal User Interface
		Dialogues Using Discourse Pegs},
  booktitle = {Proceedings of the Thirtieth Annual Meeting of the
  	Association for Computational Linguistics},
  year = {1992},
  editor = {Henry S. Thompson},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  missinginfo = {pages},
  topic = {discourse-representation-theory;discourse;anaphora;
  	nl-interfaces;pragmatics;}
 }

@unpublished{ luperfoy_s1:1997a,
  author = {Susann Luperfoy},
  title = {An Implementation of {DRT} and File Change Semantics
		for Interpretation of Total and Partial Anaphora},
  year = {1997},
  note = {Unpublished manuscript, The Mitre Corporation},
  rtnote = {In RHT collection.},
  missinginfo = {Year is a guess.},
  topic = {anaphora;discourse-representation-theory;discourse;pragmatics;}
  }

@book{ luperfoy_s1:2000a,
  editor = {Susann Luperfoy},
  title = {Automatic Spoken Dialog Systems},
  publisher = {The {MIT} Press},
  year = {2000},
  address = {Cambridge, Massachusetts},
  topic = {computational-dialogue;}
 }

@article{ lurie:1999a,
  author = {Jacob Lurie},
  title = {Anti-Admissible Sets},
  journal = {Journal of Symbolic Logic},
  year = {1999},
  volume = {64},
  number = {2},
  pages = {407--435},
  topic = {admissible-sets;}
  }

@article{ lustig:1995a,
  author = {Roger Lustig},
  title = {Review of \emph{{T}he Creative Mind: Myths and Mechanisms},
  	by {M}argaret {B}oden},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {79},
  number = {1},
  pages = {83--96},
  xref = {Review of boden:1990a.},
  topic = {creativity;}
  }

@article{ lustrek-etal:2006a,
  author = {Mita Lu\v{s}trek and Matjz\v{z} Gams and Ivan Bratko},
  title = {Is Real-Valued Minimax Pathological?},
  journal = {Artificial Intelligence},
  year = {2006},
  volume = {170},
  number = {6--7},
  pages = {620--642},
  topic = {game-playing;minimaxing;search;}
  }

@article{ luttgen-mendler:2001a,
  author = {Gerald L\"uttgen and Michael Mendler},
  title = {Statecharts: From Visual Syntax to Model-Theoretic
  	Semantics},
  journal = {GI Jahrestagung},
  year = {2001},
  volume = {1},
  pages = {615--621},
  rtnote = {In RHT collection.},
  topic = {statecharts;}
  }

@incollection{ lutz:2002a,
  author = {Carsten Lutz},
  title = {Adding Numbers to the {SHIQ} Description Logic---First
  	Results},
  booktitle = {{KR2002}: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {2002},
  editor = {Dieter Fensel and Fausto Giunchiglia and Deborah
  	L. McGuinness and Mary-Anne Williams},
  pages = {191--202},
  address = {San Francisco, California},
  topic = {kr;description-logics;}
  }

@book{ lutz-ascher:2002a,
  author = {Mark Lutz and David Ascher},
  title = {Learning {P}ython},
  publisher = {O'Reilly and Associates, Inc.},
  year = {2002},
  address = {Sebastopol, California},
  ISBN = {0-596-00128-2},
  rtnote = {In RHT collection.},
  topic = {programming-manual;}
 }

@incollection{ lutzeier:1981a,
  author = {Peter R. Lutzeier},
  title = {Words and Worlds},
  booktitle = {Words, Worlds, and Contexts: New Approaches to Word
  	Semantics},
  publisher = {Walter de Gruyter},
  year = {1981},
  editor = {Hans-J\"urgen Eikmeyer and Hannes Rieser},
  pages = {75--106},
  address = {Berlin},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;possible-worlds;nl-modality;spatial-semantics;}
 }

@article{ lycan:1970a,
  author = {William G. Lycan},
  title = {Transformational Grammar and the {R}ussell-{S}trawson Dispute},
  journal = {Metaphilosophy},
  year = {1970},
  volume = {1},
  number = {4},
  pages = {335--337},
  rtnote = {In RHT collection.},
  topic = {definite-descriptions;}
  }

@article{ lycan:1970b,
  author = {William G. Lycan},
  title = {Hintikka and {M}oore's Paradox},
  journal = {Philosophical Studies},
  year = {1970},
  volume = {21},
  number = {1--2},
  pages = {9--14},
  rtnote = {In RHT collection.},
  topic = {Moore's-paradox;}
  }

@book{ lycan:1984a,
  author = {William G. Lycan},
  title = {Logical Form in Natural Language},
  publisher = {{MIT} Press},
  year = {1984},
  address = {Cambridge, Massachusetts},
  contentnote = {TC:  I.    Semantics
                           Meaning and Truth
                           T-sentences
  		II.   Pragmatics
                           The parameters of truth
                           Implicative relations and "presupposition"
                           Three influential errors
                           Lexical presumption
                           the performadox
                           Indirect force
                           Truth and the Lebenswelt
		III.  Psychology
                           Semantics and indeterminacy
                           Psychological reality
                           "Meaning"
                           Non-truth-functional sentence operators
		},
  rtnote = {In RHT collection.  LL Shelves.},
  rtnote = {pragmatics-course;semantics-course;},
  topic = {philosophy-of-language;nl-semantics;pragmatics;speech-acts;
  	presupposition;psychological-reality;}
 }

@incollection{ lycan:1984b,
  author = {William G. Lycan},
  title = {A Syntactically Motivated Theory of Conditionals},
  booktitle = {Causation and Causal Theories},
  publisher = {University of Minnesota Press},
  year = {1984},
  editor = {Peter A. French and Theodore E. Uehling, Jr. and Howard
  	K. Wettstein},
  pages = {437--455},
  address = {Minneapolis},
  topic = {conditionals;}
  }

@article{ lycan:1985a,
  author = {William G. Lycan},
  title = {In Defense of the Necessity of Identity},
  journal = {The Journal of Philosophy},
  year = {1985},
  volume = {82},
  number = {10},
  pages = {572--574},
  topic = {identity;}
  }

@incollection{ lycan:1987a,
  author = {William G. Lycan},
  title = {Semantic Competence and Truth Conditions},
  booktitle = {New Directions in Semantics, Volume 2},
  publisher = {Academic Press},
  year = {1987},
  editor = {Ernest LePore},
  pages = {143--155},
  address = {London},
  topic = {foundations-of-semantics;philosophy-of-linguistics;}
  }

@book{ lycan:1987b,
  editor = {William G. Lycan},
  title = {Theories of the Mind},
  publisher = {Basil Blackwell, Ltd},
  year = {1987},
  address = {Oxford},
  rtnote = {In RHT collection.  Cogsci Shelves.},
  topic = {foundations-of-cognitive-science;foundations-of-cognition;
  		philosophy-of-mind;}
 }

@book{ lycan:1987c,
  author = {William G. Lycan},
  title = {Consciousness},
  publisher = {The {MIT} Press},
  year = {1987},
  address = {Cambridge, Massachusetts},
  topic = {consciousness;}
 }

@article{ lycan:1987d,
  author = {William G. Lycan},
  title = {The Myth of the `Projection Problem for Presupposition'\, },
  journal = {Philosophical Topics},
  year = {1987},
  volume = {15},
  number = {1},
  pages = {169--175},
  topic = {presupposition;}
  }

@article{ lycan:1988a,
  author = {William E. Lycan},
  title = {Review of \emph{{P}ortraying Analogy}, by {J}.{F}. {R}oss},
  journal = {Linguistics and Philosophy},
  year = {1988},
  volume = {11},
  number = {1},
  pages = {107--124},
  xref = {Review of ross_jf:1981a.},
  topic = {foundations-of-semantics;analogy;metaphor;}
  }

@article{ lycan:1991a,
  author = {William G. Lycan},
  title = {`{E}ven' and `Even If'},
  journal = {Linguistics and Philosophy},
  year = {1991},
  volume = {14},
  number = {2},
  pages = {115--150},
  topic = {`even';sentence-focus;pragmatics;}
  }

@article{ lycan:1993a,
  author = {William G. Lycan},
  title = {Review of \emph{{C}onsciousness Explained},
  	by {D}aniel {D}ennett},
  journal = {The Philosophical Review},
  year = {1993},
  volume = {102},
  number = {3},
  pages = {424--429},
  xref = {Review of dennett:1991a.},
  topic = {philosophy-of-mind;consciousness;}
  }

@incollection{ lycan:1993b,
  author = {William G. Lycan},
  title = {{MPP}, Rip},
  booktitle = {Philosophical Perspectives, Volume 7:
  	Language and Logic},
  publisher = {Blackwell Publishers},
  year = {1993},
  editor = {James E. Tomberlin},
  pages = {411--428},
  address = {Oxford},
  note = {Also available at http://www.jstor.org/journals/.},
  topic = {conditionals;CCCP;}
  }

@book{ lycan:1996a,
  author = {William G. Lycan},
  title = {Consciousness and Experoence},
  publisher = {The {MIT} Press},
  year = {1996},
  address = {Cambridge, Massachusetts},
  topic = {consciousness;}
 }

@incollection{ lycan:1998a,
  author = {William G. Lycan},
  title = {In Defense of the Representational
    		Theory of Qualia (Replies to {N}eander,
		{R}ey, and {T}ye},
  booktitle = {Philosophical Perspectives 12: Language, Mind,
  	and Ontology},
  publisher = {Blackwell Publishers},
  year = {1998},
  editor = {James E. Tomberlin},
  pages = {479--487},
  address = {Oxford},
  topic = {philosophy-of-mind;mental-representations;}
  }

@book{ lycan:2000a,
  author = {William G. Lycan},
  title = {Philosophy of Language: A Contemporary Introduction},
  publisher = {Routledge},
  year = {2000},
  address = {London},
  ISBN = {0-415-17116-4 (pb)},
  rtnote = {In RHT Collection.  LLP single author shelves. 2 copies,
  		1 in office.},
  topic = {philosophy-of-language;}
 }

@book{ lycan:2001a,
  author = {William G. Lycan},
  title = {Real Conditionals},
  publisher = {Oxford University Press},
  year = {2001},
  address = {Oxford},
  ISBN = {0-19-924207-0},
  rtnote = {In RHT collection.},
  xref = {Review: weatherson:2002a.},
  topic = {conditionals;}
 }

@incollection{ lycan:2003a,
  author = {William G. Lycan},
  title = {Vs. a New A Priorist Argument for Dualism},
  booktitle = {Philosophy of Mind},
  publisher = {Blackwell Publishers},
  year = {2003},
  editor = {Ernest Sosa and Enrique Villanueva},
  pages = {130--147},
  address = {Oxford},
  topic = {philosophy-of-mind;mind-body-problem;}
  }

@incollection{ lycan:2006a,
  author = {William G. Lycan},
  title = {The Meaning of `Water': An Unsolved Problem},
  booktitle = {Philosophy of Language},
  publisher = {Blackwell Publishers},
  year = {2006},
  editor = {Ernest Sosa and Enrique Villanueva},
  pages = {184--199},
  address = {Oxford},
  topic = {common-nouns;}
  }

@inproceedings{ lynch_c:1998a,
  author = {Christopher Lynch},
  title = {The Unification Problem for One Relation {T}hue Systems},
  booktitle = {Artificial Intelligence and Symbolic Computation:
	Proceedings of {AISC'98}},
  year = {1998},
  editor = {Jacques Calmet and Jan Plaza},
  pages = {195--208},
  publisher = {Springer Verlag},
  address = {Berlin},
  topic = {unification-of-FSs;word-problems;}
  }

@inproceedings{ lynch_c-scharff:1998a,
  author = {Christopher Lynch and Christelle Scharff},
  title = {Basic Completion with E-Cycle Simplification},
  booktitle = {Artificial Intelligence and Symbolic Computation:
	Proceedings of {AISC'98}},
  year = {1998},
  editor = {Jacques Calmet and Jan Plaza},
  pages = {209--221},
  publisher = {Springer Verlag},
  address = {Berlin},
  topic = {theorem-proving;unification-of-FSs;}
  }

@article{ lynch_na-fischer_mj:1981a,
  author = {N.A. Lynch and M.J. Fischer},
  title = {On Describing the Behavior and Implementation of Distributed
  	Systems},
  journal = {Theoretical Computer Science},
  year = {1981},
  volume = {13},
  pages = {17--43},
  missinginfo = {A's 1st name, number},
  topic = {distributed-systems;}
  }

@article{ lynch_na-tuttle:1989a,
  author = {N.A. Lynch and M.R. Tuttle},
  title = {An Introduction to Input/Output Automata},
  journal = {{CWI} Quarterly},
  year = {1989},
  volume = {2},
  number = {3},
  pages = {219--246},
  missinginfo = {A's 1st name},
  topic = {distributed-systems;}
  }

@book{ lyons_d:1965a,
  author = {David Lyons},
  title = {Forms and Limits of Utilitarianism},
  publisher = {Oxford University Press},
  address = {Oxford},
  year = {1965},
  topic = {utilitarianism;}
    }

@article{ lyons_dm-hendriks_aj:1995a,
  author = {D.M. Lyons and A.J. Hendriks},
  title = {Exploiting Patterns of Interaction to Achieve Reactive
  	Behavior},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {73},
  number = {1--2},
  pages = {117--148},
  acontentnote = {Abstract:
     This paper introduces an approach that allows an agent to
     exploit inherent patterns of interaction in its environment,
     so-called dynamics, to achieve its objectives.  The approach
     extends the standard treatment of planning and (re)action in
     which part of the input to the plan generation algorithm is a
     set of basic actions and perhaps some domain axioms.  Real world
     actions are typically difficult to categorize consistently and
     are highly context dependent.  The approach presented here takes
     as input a procedural model of the agent's environment and
     produces as output a set of action descriptions that capture how
     the agent can exploit the dynamics in the environment.  An agent
     constructed with this approach can utilize context sensitive
     actions, ``servo'' style actions, and other intuitively efficient
     ways to manipulate its environment.  A process-algebra based
     representation, RS, is introduced to model the environment and
     the agent's reactions.  The paper demonstrates how to analyze an
     RS environment model so as to automatically generate a set of
     potentially useful dynamics and convert these to action
     descriptions.  The output action descriptions are designed to be
     input to an Interval Temporal Logic based planner.  A series of
     examples of reaction construction drawn from the kitting robot
     domain is worked through, and the prototype implementation of
     the approach described.  },
  topic = {planning;context;agent-environment-interaction;}
  }

@book{ lyons_j:1963a,
  author = {John Lyons},
  title = {Structural Semantics},
  publisher = {Oxford University Press},
  year = {1963},
  address = {Oxford},
  topic = {nl-semantics;sturctural-semantics;}
 }

@book{ lyons_j:1977a1,
  author = {John Lyons},
  title = {Semantics},
  publisher = {Cambridge University Press},
  year = {1977},
  volume = {1},
  address = {Cambridge, England},
  contentnote = {TC:    1. Introduction
  			2. Communication and information
			3. Language as a semiotic system
			4. Semiotics
			5. Behaviourist semantics
			6. Logical Semantics
			7. Reference, sense, and denotation
			8. Structural semantics I: semantic fields
			9. Structural semantics II: sense relations
             },
  topic = {semantics-survey;structural-semantics;}
 }

@book{ lyons_j:1977a2,
  author = {John Lyons},
  title = {Semantics},
  publisher = {Cambridge University Press},
  year = {1977},
  volume = {2},
  address = {Cambridge, England},
  contentnote = {TC:    10. Semantics and grammar I
  			11. Semantics and grammar II
			12. Semantics and grammar III
			13. The lexicon
			14. Context, style and culture
			15. Deixis, space and time
			16. Mood and illocutionary force
			17. Modality
  },
  topic = {semantics-survey;speech-acts;pragmatics;}
 }

@book{ lyons_j:1996a,
  author = {John Lyons},
  title = {Linguisitc Semantics},
  publisher = {Cambridge University Press},
  year = {1996},
  address = {Cambridge, England},
  xref = {Review: cresswell_mj:1979b.},
  rtnote = {semantics-course;},
  topic = {nl-semantics;}
 }

@book{ lyons_w:1995a,
  author = {William G. Lyons},
  title = {Approaches to Intentionality},
  publisher = {Oxford University Press},
  year = {1995},
  address = {Oxford},
  rtnote = {Topic?  May be misclassified.},
  xref = {Review: cresswell_mj:1979b.},
  ISBN = {0-19-875222-9 (paperback), 0-19-823526-7 (hardback)},
  topic = {intention;}
 }

@incollection{ lytinen:1992a,
  author = {Steven L. Lytinen},
  title = {Conceptual Dependency and Its Descendents},
  booktitle = {Semantic Networks in Artificial Intelligence},
  publisher = {Pergamon Press},
  year = {1992},
  editor = {Fritz Lehmann},
  pages = {51--73},
  address = {Oxford},
  xref = {Also published in Computers and Mathematics with Applications;
  	vol. 23; 1992;51--73},
  topic = {kr;conceptual-dependency;kr-course;}
  }

@incollection{ lytinen:1992b,
  author = {Steven L. Lytinen},
  title = {A Unification-Based, Integrated Natural Language
  	Processing System},
  booktitle = {Semantic Networks in Artificial Intelligence},
  publisher = {Pergamon Press},
  year = {1992},
  editor = {Fritz Lehmann},
  pages = {403--418},
  address = {Oxford},
  topic = {kr;semantic-networks;nl-semantic-representation-formalisms;
  	unification-of-FSs;feature-structures;ill-formed-nl-input;kr-course;}
  }

@inproceedings{ ma_jx-knight_b:1999a,
  author = {Jixin Ma and Brian Knight},
  title = {An Approach to the Frame Problem Based on Set
		Operations},
  booktitle = {Proceedings of the {IJCAI}-99 Workshop on
	Nonmonotonic Reasoning, Action and Change},
  year = {1999},
  editor = {Michael Thielscher},
  pages = {95--102},
  organization = {IJCAI},
  publisher = {International Joint Conference on Artificial Intelligence},
  address = {Murray Hill, New Jersey},
  topic = {action-formalisms;frame-problem;}
  }

@incollection{ ma_y-wilkins_dc:1991a,
  author = {Yong Ma and David C. Wilkins},
  title = {Induction of Uncertain Rules and the Sociopathicity
  	Property},
  booktitle = {Symbolic and Quantitative Approaches for Uncertainty:
  	Proceedings of the {E}uropean Conference {ECSQAU}, Marseille,
	France, October 1991},
  publisher = {Springer-Verlag},
  year = {1991},
  editor = {Rudolf Kruse and Pierre Siegel},
  pages = {238--245},
  address = {Berlin},
  topic = {machine-learning;Dempster-Shafer-theory;}
  }

@phdthesis{ maat:1999a,
  author = {Jaap Maat},
  title = {Philosophical Languages in the Seventeenth Century:
  	{D}algarno, {W}ilkins, {L}eibniz},
  school = {Institute for Logic, Language, and Computation,
  	University of Amsterdam},
  year = {1999},
  type = {Ph.{D}. Dissertation},
  address = {Amsterdam},
  rtnote = {In RHT collection.  LL Shelves.},
  topic = {artificial-languages;Leibniz;history-of-linguistics;
  	Seventeenth-Century-philosophy;}
 }

@book{ macaulay:1995a,
  author = {Linda Macaulay},
  title = {Human-Computer Interaction For Software Designers},
  publisher = {International Thomson Computer Press},
  year = {1995},
  address = {London},
  ISBN = {1850321779 (pbk)},
  rtnote = {UMich Media Union Library, QA 76.9 .U83 M33 1995.},
  topic = {HCI;}
 }

@book{ macbeth:2005a,
  author = {Danielle MacBeth},
  title = {Frege's Logic},
  publisher = {Harvard University Press},
  year = {2005},
  address = {Cambridge, Massachusetts},
  xref = {Review: goethe:2006a},
  topic = {Frege;history-of-logic;}
 }

@article{ maccaull:1998a,
  author = {Wendy MacCaull},
  title = {Relational Semantics and a Relational Proof System for
  	the full {L}ambek Calculus},
  journal = {Journal of Symbolic Logic},
  year = {1998},
  volume = {63},
  number = {2},
  pages = {623--637},
  topic = {Lambek-calculus;substructural-logics;}
  }

@article{ maccaull-orlowska:2002a,
  author = {Wendy Maccaull and Ewa Orlowska},
  title = {Correspondence Results for Relational Proof Systems with
  	Application to the {L}ambek Calculus},
  journal = {Studia Logica},
  year = {2002},
  volume = {71},
  number = {3},
  pages = {389--414},
  topic = {Lambek-calculus;}
  }

@incollection{ maccrimmon-wehrung:1977a,
  author = {Kenneth R. MacCrimmon and Donald A. Wehrung},
  title = {Trade-Off Analysis: The Indifference and Preferred
  	Proportions Approaches},
  booktitle = {Conflicting Objectives in Decisions},
  publisher = {John Wiley and Sons},
  year = {1977},
  editor = {David E. Bell and Ralph L. Keeney and Howard Raiffa},
  pages = {123--147},
  address = {New York},
  topic = {decision-analysis;multiattribute-utility;foundations-of-utility;}
  }

@article{ macdonald_c-macdonald_g:2006a,
  author = {Cynthia Macdonald and Graham Macdonald},
  title = {The Metaphysics of Mental Causation},
  journal = {The Journal of Philosophy},
  year = {2006},
  volume = {103},
  number = {11},
  pages = {539--576},
  topic = {reasons-for-action;}
  }

@book{ macdonald_g-pettit:1981a,
  author = {Graham Macdonald and Philip Pettit},
  title = {Semantics and Social Science},
  publisher = {Routledge and Kegan Paul},
  year = {1981},
  address = {London},
  ISBN = {0710007833},
  rtnote = {In RHT collection.  Philsci Shelves.},
  topic = {philosophy-of-social-science;}
 }

@book{ macdonald_g-wright_c:1986a,
  editor = {Graham Macdonald and Crispin Wright},
  title = {Fact, Science, and Morality: Essays On {A.J.} {A}yer's
  	`{L}anguage, Truth, and Logic'},
  publisher = {Blackwell},
  year = {1986},
  address = {Oxford},
  ISBN = {0631145559},
  rtnote = {UMich Graduate Library, B1618.A983L28 F14 1986.},
  topic = {analytic-philosophy;}
 }

@book{ macdonald_gf:1979a,
  editor = {G.F. Macdonald},
  title = {Perception and Identity: Essays Presented To {A.J.} {A}yer,
  	with His Replies to Them},
  publisher = {Macmillan},
  year = {1979},
  address = {London},
  contentnote = {TC:
  	1. Michel Dummett, "Common Sense and Physics"
	2. Peter f. Strawson, "Perception and Its Objects"
	3. David Pears, "A Comparison between {A}yer's Views about
		the Privileges of Sense-Datum Statements and the
		Views of {R}ussell and {A}ustin"
	4. David M. Armstrong, "Perception, Sense Data, and Causality"
	5. Charles Taylor, "Sense Data Revisited"
	6. J.L. Mackie, "A Defence of Induction"
	7. David Wiggins, "Ayer on Monism, Pluralism, and Essence"
       10. J. Foster, "In Self-Defence"
       11. D. Wollheim, "Memory, Experiential Memory, and Personal Identity"
       12. Peter Unger, "I Do Not Exist"
       13. Williams, "Another Time, Another Place, Another Person"
       14. Steven K\"orner, "Ayer on Metaphysics"
       15. A.J. Ayer, "Replies"
   },
  ISBN = {0333271823},
  rtnote = {UMich Graduate Library, B1618.A987 P43},
  topic = {analytic-philosophy;}
 }

@book{ macdonald_l-vince:1994a,
  editor = {Lindsay MacDonald and John Vince},
  title = {Interacting With Virtual Environments},
  publisher = {John Wiley and Sons},
  year = {1994},
  address = {Chichester},
  ISBN = {0471939412},
  rtnote = {UMich Media Union Library, QA 76.9 .H85 I5921 1994.},
  topic = {virtual-reality;HCI;}
 }

@book{ macdonell:1986a,
  author = {Diane MacDonell},
  title = {Theories of Discourse: An Introduction},
  publisher = {Blackwell Publishers},
  year = {1986},
  address = {Oxford},
  contentnote = {Title is misleading.  This is about French
  	poststructuralism; e.g. Foucault.  Political overtones.},
  topic = {poststructuralism;}
}

@unpublished{ macfarlane:1999a,
  author = {John Macfarlane},
  title = {Frege, {K}ant, and the Logic in Logicism},
  year = {1999},
  note = {Unpublished manuscript, Philosophy Department,
  	University of Pittsburgh.},
  rtnote = {In RHT collection.},
  topic = {logicism;Kant;Frege;philosopy-of-logic;}
  }

@article{ macfarlane:2002a,
  author = {John MacFarlane},
  title = {Frege, {K}ant, and the Logic in Logicism},
  journal = {The Philosophical Review},
  year = {2002},
  volume = {111},
  number = {1},
  pages = {25--65},
  topic = {Frege;logicism;philosophy-of-logic;}
  }

@article{ macfarlane:2003a,
  author = {John MacFarlane},
  title = {Review of \emph{{A} Map of {M}etaphysics {Z}eta}, by {M}yles
  	{B}urnyeat},
  journal = {The Philosophical Review},
  year = {2003},
  volume = {112},
  number = {1},
  pages = {97--99},
  xref = {Review of: burnyeat:2001a.},
  topic = {Aristotle;metaphysics;}
  }

@unpublished{ macfarlane:2006a,
  author = {John MacFarlane},
  title = {Truth in the Garden of Forking Paths},
  year = {2006},
  note = {Unpublished manuscript, University of California at Berkeley.
      Available at http://sophos.berkeley.edu/macfarlane/garden.pdf},
  rtnote = {In RHT collection.},
  topic = {context;branching-time;supervaluations;}
  }

@article{ macgregor_jn:1988a,
  author = {James N. MacGregor},
  title = {The Effects of Order on Learning Classifications
  	by Example: Heuristics for Finding the Optimal Order},
  journal = {Artificial Intelligence},
  year = {1988},
  volume = {34},
  number = {3},
  pages = {361--370},
  topic = {machine-learning;heuristics;}
  }

@inproceedings{ macgregor_rm:1988a,
  author = {Robert M. MacGregor},
  title = {A Deductive Pattern Matcher},
  booktitle = {Proceedings of the Seventh National Conference on
              Artificial Intelligence},
  year = {1988},
  editor = {Reid Smith and Tom Mitchell},
  pages = {403--408},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {kr;classifier-algorithms;automatic-classification;
  	description-logics;kr-course;}
 }

@inproceedings{ macgregor_rm:1992a,
  author = {Robert M. Macgregor},
  title = {What's Needed to Make a Description Logic a Good {KR} Citizen},
  booktitle = {Working Notes, {AAAI} Fall Symposium on Issues in Description
  	Logics: Users Meet Developers},
  year = {1992},
  editor = {Robert MacGregor},
  pages = {53--55},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  topic = {kr;krcourse;description-logics;}
  }

@inproceedings{ macgregor_rm:1994a,
  author = {Robert M. MacGregor},
  title = {A Description Classifier for the Predicate Calculus},
  booktitle = {Proceedings of the Twelfth National Conference on
             Artificial Intelligence},
  year = {1994},
  editor = {Barbara Hayes-Roth and Richard Korf},
  pages = {213--222},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {kr;classifier-algorithms;description-logics;kr-course;}
 }

@incollection{ macgregor_rm:1996a,
  author = {Robert M. MacGregor},
  title = {Implementations and Research: Discussions at the Boundary
  	(Position Statement)},
  booktitle = {{KR}'96: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1996},
  editor = {Luigia Carlucci Aiello and Jon Doyle and Stuart Shapiro},
  pages = {656--658},
  address = {San Francisco, California},
  topic = {kr;AI-implementations;kr-course;}
  }

@inproceedings{ macgregor_rm-brill_d:1992a,
  author = {Robert M. MacGregor and David Brill},
  title = {Recognition Algorithms for the {\sc loom} Classifier},
  booktitle = {Proceedings of the Tenth National Conference on
              Artificial Intelligence},
  year = {1992},
  editor = {Paul Rosenbloom and Peter Szolovits},
  pages = {774--761},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {kr;classifier-algorithms;description-logics;kr-course;}
  }

@article{ machina_kf:1972a,
  author = {Kenton F. Machina},
  title = {Vague Predicates},
  journal = {American Philosophical Quarterly},
  year = {1972},
  volume = {9},
  pages = {225--233},
  missinginfo = {number},
  topic = {vagueness;}
  }

@article{ machina_kf:1975a1,
  author = {Kenton F. Machina},
  title = {Truth, Belief, and Vagueness},
  journal = {Journal of Philosophical Logic},
  year = {1975},
  volume = {5},
  number = {1},
  pages = {47--78},
  xref = {Republication: machina_kf:1975a2.},
  topic = {vagueness;epistemic-logic;}
  }

@incollection{ machina_kf:1975a2,
  author = {Kenton F. Machina},
  title = {Truth, Belief, and Vagueness},
  booktitle = {Vagueness: A Reader},
  publisher = {The {MIT} Press},
  year = {1997},
  editor = {Rosanna Keefe and Peter Smith},
  pages = {174--203},
  address = {Cambridge, Massachusetts},
  xref = {Republication of machina_kf:1975a1.},
  topic = {vagueness;}
  }

@article{ machina_m:1987a,
 author = {Mark J. Machina},
 title = {Choice Under Uncertainty: Problems Solved and Unsolved},
 journal = {Journal of Economic Perspectives},
 year = {1987},
 volume = {1},
 number = {1},
 pages = {121--154},
 month = {Summer},
 topic = {decision-theory;}
 }

@incollection{ machina_m:1988a,
  author = {Mark J. Machina},
  title = {Generalized Expected Utility Analysis and the Nature of
  	Observed Violations of the Independence Axiom},
  booktitle = {Decision, Probability, Utility:  Selected Readings},
  publisher = {Cambridge University Press},
  year = {1988},
  editor = {Peter G\"ardenfors and Nils-Eric Sahlin},
  pages = {215--239},
  address = {Cambridge, England},
  rtnote = {In RHT collection.},
  topic = {decision-theory;}
  }

@article{ machina_m:1989a,
 author = {Mark J. Machina},
 title = {Dynamic Consistency and Non-Expected Utility Models
		of Choice Under Uncertainty},
 journal = {Journal of Economic Literature},
 year = {1989},
 volume = {XXVII},
 number = {4},
 pages = {1622--1668},
 month = {December},
 topic = {decision-theory;}
 }

@book{ machlup-mansfield:1984a,
  editor = {Fritz Machlup and Una Mansfield},
  title = {The Study of Information: Interdisciplinary Messages},
  publisher = {John Wiley and Sons},
  year = {1984},
  address = {New York},
  ISBN = {047188717X},
  rtnote = {UMich Media Union Library Z665 .S8261 1983},
  topic = {information-theory;}
 }

@book{ machover:1995a,
  author = {Mosh\'e Machover},
  title = {Set theory, Logic and Their Limitations},
  publisher = {Cambridge University Press},
  year = {1995},
  address = {Cambridge, England},
  topic = {logic-intro;}
 }

@article{ macintosh:1998a,
  author = {J.J. MacIntosh},
  title = {Aquinas and {O}ckham on Time, Predestination and the
  	Unexpected Examination},
  journal = {Franciscan Studies},
  year = {1998},
  volume = {55},
  pages = {181--220},
  missinginfo = {A's 1st name, number},
  acontentnote = {Abstract:
     In this paper I outline and discuss the views of Aquinas and
     Ockham concerning time and predestination and indicate some of
     the tense logic theorems which, without anachronism, may be
     ascribed to Ockham. I then consider the development of Ockham's
     system due to Prior and Thomason, and show that an Ockhamist
     account of time as future branching, along with the associated
     Ockhamist modal theorems, provides a solution to the unexpected
     examination paradox, a solution which, unlike most resolutions
     of this puzzle, eschews epistemic considerations and offers a
     purely modal way out.},
  topic = {(in)determinism;surprise-examination-paradox;
  		scholastic-philosophy;}
  }

@book{ mack-rock_i:1998a,
  author = {Arien Mack and Irvin Rock},
  title = {Inattentional Blindness},
  publisher = {The {MIT} Press},
  year = {1998},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-13339-3},
  topic = {attention;vision;cognitive-psychology;}
 }

@book{ mackay_aa:1980a,
  author = {Arthur A. MacKay},
  title = {Arrow's Theorem: The Paradox of Social Choice},
  publisher = {Yale University Press},
  year = {1980},
  address = {New Haven},
  rtnote = {In RHT collection.  Copy of Ch. 2 in files.},
  topic = {Arrow's-theorem;social-choice-theory;}
 }

@article{ mackay_ae:1972a,
  author = {Alfred F. MacKay},
  title = {Professor {G}rice's Theory of Meaning},
  journal = {Mind, New Series},
  year = {1972},
  volume = {81},
  number = {321},
  pages = {57--66},
  topic = {speaker-meaning;Grice;}
  }

@phdthesis{ mackay_af:1966a,
  author = {Alfred F. MacKay},
  title = {Speech Acts},
  school = {University of North Carolina},
  year = {1966},
  type = {Ph.{D}. Dissertation},
  missinginfo = {address},
  topic = {speech-acts;pragmatics;}
 }

@article{ mackay_af:1972a,
  author = {Alfred F. MacKay},
  title = {Professor {G}rice's Theory of Meaning},
  journal = {Mind},
  year = {1972},
  volume = {81},
  number = {321},
  pages = {18--28},
  url = {http://www.jstor.org/stable/2252181},
  topic = {Grice;speaker-meaning;}
  }

@book{ mackay_af-merrill_dd:1976a,
  editor = {Alfred F. Mackay and Daniel D. Merrill},
  title = {Issues in the Philosophy of Language: Proceedings of the
  		1972 {O}berlin Colloquium in Philosophy},
  publisher = {Yale University Press},
  year = {1976},
  address = {New Haven},
  rtnote = {The most (only?) interesting thing in this book is
  	a paper by Stalnaker, with commentary by Larry Powers,
	on possible worlds theories of propositional attitudes.},
  xref = {Review: bigelow:1978b.},
  ISBN = {0300018282},
  rtnote = {UMich Buhr, 800 O125, 1972.},
  topic = {philosophy-of-language;hyperintensionality;}
 }

@book{ mackay_we:1990a,
  author = {Wendy E. Mackay},
  title = {Resources in Human-Computer Interaction},
  publisher = {ACM Press},
  year = {1990},
  address = {New York},
  ISBN = {0897913736},
  rtnote = {UMich Media Union Library, QA 76.9 .H85 R471 1990.},
  topic = {HCI;}
 }

@article{ mackenzie:1978a,
  author = {J.D. Mackenzie},
  title = {Question-Begging in Non-Cumulative Systems},
  journal = {Journal of Philosophical Logic},
  year = {1978},
  volume = {8},
  number = {1},
  pages = {117--133},
  topic = {dialogue-logic;}
  }

@article{ mackenzie:1984a,
  author = {Jim Mackenzie},
  title = {Confirmation of a Conjecture of {P}eter of {S}pain
  	Concerning Question-Begging Arguments},
  journal = {Journal of Philosophical Logic},
  year = {1984},
  volume = {13},
  number = {1},
  pages = {35--45},
  xref = {Commentary: wilson:1993a.},
  topic = {dialogue-logic;argumentation;}
  }

@article{ mackie_j:1980a,
  author = {J. Mackie},
  title = {Truth and Knowability},
  journal = {Analysis},
  year = {1980},
  volume = {40},
  pages = {90--92},
  missinginfo = {A's 1st name, number},
  topic = {knowability-paradox;}
  }

@incollection{ mackie_jl:1962a,
  author = {John L. Mackie},
  title = {Counterfactuals and Causal Laws},
  booktitle = {Analytical Philosophy, First Series},
  publisher = {Barnes and Noble},
  year = {1962},
  editor = {Ronald J. Butler},
  pages = {66--80},
  address = {New York},
  topic = {causality;conditionals;}
  }

@article{ mackie_jl:1965a,
  author = {John L. Mackie},
  title = {Causes and Conditions},
  journal = {American Philosophical Quarterly},
  year = {1965},
  volume = {2},
  pages = {245--255 and 261--264},
  missinginfo = {numbers},
  topic = {causality;conditionals;}
  }

@book{ mackie_jl:1974a,
  author = {John L. Mackie},
  title = {The Cement of the Universe: A Study in Causation},
  publisher = {Oxford University Press},
  year = {1974},
  address = {Oxford},
  topic = {causality;}
 }

@article{ mackie_jl:1977a,
  author = {John L. Mackie},
  title = {Dispositions, Grounds, and Causes},
  journal = {Synth\'ese},
  year = {1977},
  volume = {34},
  pages = {361--370},
  missinginfo = {number},
  topic = {dispositions;}
  }

@incollection{ mackie_jl:1979a,
  author = {John L. Mackie},
  title = {Mind, Brain, and Causation},
  booktitle = {Midwest Studies in Philosophy Volume {V}:
  	Studies in Metaphysics},
  publisher = {University of Minnesota Press},
  year = {1979},
  editor = {Peter A. French and Theodore E. {Uehling, Jr.} and Howard K.
  	Wettstein},
  pages = {19--29},
  address = {Minneapolis},
  topic = {mind-body-problem;causality;}
  }

@article{ mackie_p:2003a,
  author = {Penelope Mackie},
  title = {Fatalism, Incompatibilism, and the Power to Do Otherwise},
  journal = {No\^us},
  year = {2003},
  volume = {37},
  number = {4},
  pages = {672--689},
  topic = {(in)determinism;freedom;}
  }

@book{ mackie_p:2006a,
  author = {Penelope Mackie},
  title = {How Things Might Have Been: Individuals, Kinds, and
  		Essential Properties},
  publisher = {Oxford University Press},
  year = {2006},
  address = {Oxford},
  xref = {Review: rocaroyes:2009a},
  topic = {essentialism;possibility;metaphysics;
  	philosophy-of-possible-worlds;}
 }

@incollection{ mackintosh:1994a,
  author = {Nicholas Mackintosh},
  title = {Intelligence in Evolution},
  booktitle = {What is Intelligence?},
  publisher = {Cambridge University Press},
  year = {1994},
  editor = {Jean Khalfa},
  pages = {27--48},
  address = {Cambridge, England},
  topic = {intelligence;evolution;}
  }

@article{ macklovich:2004a,
  author = {Elliott Macklovich},
  title = {Review of \emph{{R}eadings in Machine Translation}, edited by
	{S}ergei {N}irenburg and {H}arold {S}omers and {Y}orick {W}ilks},
  journal = {Computational Linguistics},
  year = {2004},
  volume = {30},
  number = {1},
  pages = {107--109},
  xref = {Review of: nirenburg-etal:2003a.},
  topic = {machine-translation;}
  }

@article{ mackworth:1973a,
  author = {Alan K. Mackworth},
  title = {Interpreting Pictures of Polyhedral Scenes},
  journal = {Artificial Intelligence},
  year = {1973},
  volume = {4},
  number = {2},
  pages = {121--137},
  acontentnote = {Abstract:
     A program that achieves the interpretation of line drawings as
     polyhedral scenes is described.  The method is based on general
     coherence rules that the surfaces and edges must satisfy,
     thereby avoiding the use of predetermined interpretations of
     particular categories of picture junctions and corners. },
  topic = {line-drawings;}
  }

@article{ mackworth:1977a,
  author = {Alan K. Mackworth},
  title = {Consistency in Networks of Relations},
  journal = {Artificial Intelligence},
  year = {1977},
  volume = {8},
  number = {1},
  pages = {99--118},
  acontentnote = {Abstract:
     Artificial intelligence tasks which can be formulated as
     constraint satisfaction problems, with which this paper is for
     the most part concerned, are usually solved by backtracking. By
     examining the thrashing behavior that nearly always accompanies
     backtracking, identifying three of its causes and proposing
     remedies for them we are led to a class of algorithms which can
     profitably be used to eliminate local (node, arc and path)
     inconsistencies before any attempt is made to construct a
     complete solution. A more general paradigm for attacking these
     tasks is the alternation of constraint manipulation and case
     analysis producing an OR problem graph which may be searched in
     any of the usual ways.
      Many authors, particularly Montanari and Waltz, have
     contributed to the development of these ideas; a secondary aim
     of this paper is to trace that history. The primary aim is to
     provide an accessible, unified framework, within which to
     present the algorithms including a new path consistency
     algorithm, to discuss their relationships and the many
     applications, both realized and potential, of network
     consistency algorithms.},
  contentnote = {This appears to be the original arc inconsistency
  	paper.},
  xref = {Republication: macworth:1977a2.},
  topic = {constraint-satisfaction;AI-algorithms-analysis;
  	  arc-(in)consistency;}
  }

@article{ mackworth:1989a,
  author = {Alan K.  Mackworth},
  title = {Review of \emph{{C}omputation and Cognition: Toward a
  	Foundation of Cognitive Science}, by {Z}.{W}. {P}ylyshyn},
  journal = {Artificial Intelligence},
  year = {1989},
  volume = {38},
  number = {2},
  pages = {239--240},
  xref = {Review of pylyshyn:1984a.},
  topic = {philosophy-of-linguistics;competence;philosophy-of-cogsci;
  	foundations-of-cognitive-science;}
  }

@article{ mackworth-freuder:1985a,
  author = {Alan K. Mackworth and Eugene C. Freuder},
  title = {The Complexity of Some Polynomial Network Consistency
  	Algorithms for Constraint Satisfaction Problems},
  journal = {Artificial Intelligence},
  year = {1985},
  volume = {25},
  number = {1},
  pages = {65--74},
  topic = {constraint-satisfaction;complexity-in-AI;}
  }

@article{ mackworth-freuder:1993a,
  author = {Alan K. Mackworth and Eugene C. Freuder},
  title = {The Complexity of Constraint Satisfaction Revisited},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {59},
  number = {1--2},
  pages = {57--62},
  xref = {Retrospective commentary on mackworth-freuder:1985a.},
  topic = {constraint-satisfaction;complexity-in-AI;}
  }

@incollection{ mackworth_a:1987a,
  author = {Mackworth, Alan},
  title = {Constraint Satisfaction},
  booktitle = {Encyclopedia of Artificial Intelligence},
  year = 1987,
  editor = {S.C. Shapiro},
  pages = {205--211},
  publisher = {John Wiley and Sons},
  topic = {constraint-satisfaction;}
  }

@incollection{ maclay:1971a,
  author = {Howard Maclay},
  title = {Overview},
  booktitle = {Semantics: An Interdisciplinary Reader in Philosophy,
  	Linguistics, and Psychology},
  publisher = {Cambridge University Press},
  year = {1971},
  editor = {Danny D. Steinberg and Leon A. Jacobovits},
  pages = {157--182},
  address = {Cambridge, England},
  topic = {nl-semantics;nl-syntax;}
  }

@article{ macleod-schotch:2000a,
  author = {Mary C. MacLeod and Peter K. Schotch},
  title = {Remarks on the Modal Logic of {H}enry {B}radford
  	{S}mith},
  journal = {Journal of Philosophical Logic},
  year = {2000},
  volume = {29},
  number = {6},
  pages = {603--615},
  topic = {modal-logic;history-of-logic;}
  }

@book{ macnamara-reyes:1994a,
  editor = {John Macnamara and Gonzalo E. Reyes},
  title = {The Logical Foundations of Cognition},
  publisher = {Oxford University Press},
  year = {1994},
  address = {Oxford},
  contentnote = {TC:
     I. Theoretical Orientation
  	1. John Macnamara and Gonzalo E. Reyes, "Introduction"
	2. John Macnamara, "Logic and Cognition"
	3. Hilary Putnam, "Logic and Psychology: Comment on
		'Logic and Cognition' "
	4. F. William Lawvere, "

license: MIT

license_type: permissive

branch_name: refs/heads/master

gha_license_id: MIT

extension: bib