text:
the assertion C holds rarely.  Systems using
     censored production rules are free to ignore the exception
     conditions when resources are tight.  Given more time, the
     exception conditions are examined, lending credibility to
     high-speed answers or changing them.  Such logical systems,
     therefore, exhibit variable certainty of conclusions, reflecting
     variable investment of computational resources in conducting
     reasoning.  From a logical viewpoint, the unless operator between
     B and C acts as the exclusive-or operator.  From an expository
     viewpoint, the ``if A then B'' part of censored production rule
     expresses important information (e.g., a causal relationship)
     while the ``unless C'' part acts only as a switch that changes
     the polarity of B to ¬B when C holds.
      Expositive properties are captured quantitatively by augmenting
     censored rules with two parameters that indicate the certainty
     of the implication ``if A then B''.  Parameter [delta] is the
     certainty when the truth value of C is unknown, and [gamma] is
     the certainty when C is known to be false.  },
  topic = {reasoning-about-uncertainty;resource-limited-reasoning;}
  }

@incollection{ michaux:1991a,
  author = {Christine Michaux},
  title = {Discussion of Dataflow in {M}ontagovian
       		Semantics and Formal and Cognitive Semantics},
  booktitle = {Working Papers in Computational Semantics, Dialogue and
  	Discourse},
  publisher = {Department of Mathematics, University of Oslo},
  year = {1991},
  editor = {Harold L. Somers},
  pages = {121--123},
  address = {P.O. Box 1053-Blindern, 0316 Oslo 3, Norway},
  topic = {Montague-grammar;semantic-interpretation-algorithms;
  	foundations-of-semantics;}
  }

@inproceedings{ michel:1989a,
  author = {R. Michel},
  title = {A Categorical Approach to Distributed Systems},
  booktitle = {Proceedings of the Eighth {ACM} Symposium on
  	Principles of Distributed Computing},
  year = {1989},
  pages = {129--143},
  missinginfo = {editor, publisher, A's 1st name},
  topic = {distributed-systems;}
  }

@phdthesis{ michel:1989b,
  author = {R. Michel},
  title = {Knowledge in Distributed {B}yzantine Environments},
  school = {Yale Univeristy},
  year = {1989},
  type = {Ph.{D}. Dissertation},
  address = {New Haven, Connecticut},
  missinginfo = {A's 1st name},
  topic = {epistemic-logic;distributed-systems;Byzantine-agreement;}
 }

@book{ michie:1968a,
  editor = {Donald Michie},
  title = {Machine Intelligence 3},
  publisher = {Edinburgh},
  year = {1968},
  address = {Edinburgh},
  ISBN = {085224004X},
  topic = {AI-survey;}
 }

@book{ michie:1974a,
  author = {Donald Michie},
  title = {On Machine Intelligence},
  publisher = {John Wiley and Sons},
  year = {1974},
  address = {New York},
  ISBN = {085224262X},
  rtnote = {UMich Media Union Library Call No: Q335 .M481 1974b
  	    UMich Graduate Library Q335 .M481 1974},
  topic = {philosophy-AI;philosophy-of-AI;}
 }

@book{ michie:1979a,
  editor = {Donald Michie},
  title = {Expert Systems in The Micro-Electronic Age},
  publisher = {Edinburgh University Press},
  year = {1979},
  address = {Edinburgh},
  ISBN = {0852243812 (pbk.)},
  rtnote = {UMich Media Union Library, QA76.24 .E881.},
  topic = {expert-systems;}
 }

@book{ michie:1982a,
  editor = {Donald Michie},
  title = {Introductory Readings in Expert Systems},
  publisher = {Gordon and Breach},
  year = {1982},
  address = {New York},
  ISBN = {0677163509},
  rtnote = {UMich Media Union Library, QA76.9.E96 I571 1982.},
  topic = {expert-systems;}
 }

@incollection{ michie:1988a,
  author = {Donald Michie},
  title = {The Fifth Generation's Unbridged Gap},
  booktitle = {The Universal {T}uring Machine: A Half-Century
  	Survey},
  publisher = {Oxford University Press},
  year = {1988},
  editor = {Rolf Herkin},
  pages = {467--489},
  address = {Oxford},
  topic = {foundations-of-software-engineering;}
  }

@book{ michie-johnston_r:1984a,
  author = {Donald Michie and Rory Johnston},
  title = {The Creative Computer: Machine Intelligence and Human
  	Knowledge},
  publisher = {Harmondsworth},
  year = {1984},
  address = {Middlesex, England},
  ISBN = {0670800600},
  topic = {creativity;philosophy-AI;}
 }

@book{ michie-johnston_r:1985a,
  author = {Donald Michie and Rory Johnston},
  title = {The Knowledge Machine: Artificial Intelligence and the Future
    of Man},
  publisher = {W. Morrow},
  year = {1985},
  address = {New York},
  ISBN = {0688032672},
  rtnote = {UMich Media Union Library, Q335 .M4681 1985.},
  topic = {AI-survey;induction;popular-AI;}
 }

@unpublished{ michon:1986a,
  author = {John Michon},
  title = {Timing Your Mind and Minding Your Time},
  year = {1986},
  note = {Unpublished manuscript, Institute for Experimental
		Psychology, Groningen, The Netherlands.  Presidential
		address, Sixth Conference for the International Society
		for the Study of Time.},
  rtnote = {In RHT collection.},
  topic = {cognitive-psychology;temporal-reasoning;}
  }

@article{ mignucci:1993a,
  author = {Mario Mignucci},
  title = {The {S}toic Analysis of the Sorites},
  journal = {Proceedings of the {A}ristotelian Society},
  year = {1993},
  volume = {93},
  note = {Supplementary Series.},
  pages = {231--245},
  topic = {vagueness;sorites-paradox;Stoic-philosophy;}
 }

@article{ miguel-shen_q:2003a,
  author = {Ian Miguel and Quang Shen},
  title = {Fuzzy {rrDFCSP} and Planning},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {148},
  number = {1--2},
  pages = {11--52},
  topic = {constraint-satisfaction;possibility-theory;fuzzy-set-theory;}
  }

@incollection{ mihalcea-moldovan:1998a,
  author = {Rada Mihalcea and Dan I. Moldovan},
  title = {Word Sense Disambiguation Based on Semantic Density},
  booktitle = {Use of {W}ord{N}et in Natural Language Processing
  	Systems:  Proceedings of the Conference},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Sanda Harabagiu},
  pages = {16--22},
  address = {Somerset, New Jersey},
  url = {
  http://www.ai.sri.com/\user{}harabagi/coling-acl98/acl_work/moldovan.ps.gz},
  topic = {nl-processing;WordNet;lexical-disambiguation;}
  }

@incollection{ mikeladze:1994a,
  author = {Z.N. Mikeladze},
  title = {Intensional Principles in Aristotle},
  booktitle = {Intensional Logic:  Theory and Applications},
  publisher = {The Philosophical Society of Finland},
  year = {1994},
  editor = {Ilkka Niiniluoto and Esa Saarinen},
  pages = {22--25},
  address = {Helsinki},
  topic = {Aristotle;intensionality;}
  }

@inproceedings{ mikheev:1996a,
  author = {Andrei Mikheev},
  title = {Unsupervised Learning of Word-Category Guessing Rules},
  booktitle = {Proceedings of the Thirty-Fourth Annual Meeting of the
  	Association for Computational Linguistics},
  year = {1996},
  editor = {Arivind Joshi and Martha Palmer},
  pages = {327--333},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco},
  topic = {part-of-speech-tagging;statistical-nlp;}
 }

@article{ mikheev:1997a,
  author = {Andrei Mikheev},
  title = {Automatic Rule Induction for Unknown-Word Guessing},
  journal = {Computational Linguistics},
  year = {1997},
  volume = {23},
  number = {3},
  pages = {405--423},
  topic = {machine-learning;computational-lexicography;corpus-linguistics;}
  }

@article{ mikheev:2002a,
  author = {Andrei Mikheev},
  title = {Periods, Capitalized Words, Etc.},
  journal = {Computational Linguistics},
  year = {2002},
  volume = {28},
  number = {3},
  pages = {289--318},
  topic = {sentence-boundary-detection;part-of-speech-tagging;}
  }

@incollection{ mikitiuk:1996a,
  author = {Artur Mikitiuk},
  title = {Semi-Representability of Default Theories
    	  in Rational Default Logic},
  booktitle = {Logics in Artificial Intelligence: European Workshop,
  	{Jelia}'96, Ivora, Portugal, September 30 - October 3,
	1996.},
  publisher = {Springer-Verlag},
  year = {1996},
  editor = {Jos\'e J\'ulio Alferes and Lu\'is Moniz Pereira and Ewa Orlowska},
  pages = {192--207},
  address = {Berlin},
  topic = {default-logic;}
  }

@inproceedings{ mikitiuk-truszczcynski:1995a,
  author = {Artur Mikitiuk and Moroslaw Truszczy\'nski},
  title = {Constrained and Rational Default Logics},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {1509--1515},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  rtnote = {In RHT collection.},
  topic = {default-logic;}
  }

@inproceedings{ mikler-etal:1996a,
  author = {Armin R. Mikler and Vasant Honavar and Johnny S.K. Wong},
  title = {Analysis of Utility-Theoretic Heuristics for Intelligent
  	Adaptive Network Routing},
  booktitle = {Proceedings of the Thirteenth National Conference on
              Artificial Intelligence and the Eighth Innovative
	      Applications of Artificial Intelligence  Conference,
	      Vol. 2},
  year = {1996},
  editor = {William J. Clancey and Dan Weld},
  pages = {96--101},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {utility;decision-analysis;network-routing;}
  }

@incollection{ mikulas:1996a,
  author = {Szabolcs Mikul\'as},
  title = {Complete Calculus for Conjugated Arrow Logic},
  booktitle = {Arrow Logic and Multimodal Logic},
  publisher = {{CLSI} Publications},
  year = {1996},
  editor = {Maarten Marx and L\'azl\'o P\'olos and Michael Masuch},
  pages = {125--139},
  address = {Stanford, California},
  topic = {arrow-logic;}
  }

@article{ milenkovic:1988a,
  author = {Victor J. Milenkovic},
  title = {Verifiable Implementations of Geometric Algorithms Using
  		Finite Precision Arithmetic},
  journal = {Artificial Intelligence},
  year = {1988},
  volume = {37},
  number = {1--3},
  pages = {377--401},
  acontentnote = {Abstract:
     Two methods are proposed for correct and verifiable geometric
     reasoning using finite precision arithmetic.  The first method,
     data normalization, transforms the geometric structure into a
     configuration for which all finite precision calculations yield
     correct answers.  The second method, called the hidden variable
     method, constructs configurations that belong to objects in an
     infinite precision domain -- without actually representing these
     infinite precision objects.  Data normalization is applied to the
     problem of modeling polygonal regions in the plane, and the
     hidden variable method is used to calculate arrangements of
     lines.  },
  topic = {geometrical-reasoning;}
  }

@article{ milgrom:1981a,
  author = {P. Milgrom},
  title = {An Axiomatic Characterization of Common Knowledge},
  journal = {Econometrica},
  year = {1981},
  volume = {49},
  number = {1},
  pages = {219--222},
  missinginfo = {A's 1st name},
  topic = {mutual-belief;}
  }

@article{ milgrom-stokey:1982a,
  author = {P. Milgrom and N. Stokey},
  title = {Information, Trade, and Common Knowledge},
  journal = {Journal of Economic Theory},
  year = {1982},
  volume = {26},
  pages = {17--27},
  missinginfo = {A's 1st name, number},
  topic = {mutual-belief;bargaining-theory;}
  }

@incollection{ mili-rada:1992a,
  author = {Hafedh Mili and Roy Rada},
  title = {A Model of Hierarchies Based on Graph Homomorphisms},
  booktitle = {Semantic Networks in Artificial Intelligence},
  publisher = {Pergamon Press},
  year = {1992},
  editor = {Fritz Lehmann},
  pages = {343--361},
  address = {Oxford},
  topic = {kr;semantic-networks;inheritance;}
  }

@article{ millan-etal:2004a,
  author = {Jos\'e del R. Mill\'an and Fr\'ed\'eric Renkins and
  		Josep Mouri\~no and Wulfram Gerstner},
  title = {Brain-Activated Interaction},
  journal = {Artificial Intelligence},
  year = {2004},
  volume = {159},
  number = {1--2},
  pages = {241--259},
  topic = {brain-computer-interfaces;}
  }

@article{ mille_js-nies:2006a,
  author = {Joseph S. Miller and Andr\'e Nies},
  title = {Randomness and Computability:  Open Questions},
  journal = {The Bulletin of Symbolic Logic},
  year = {2006},
  volume = {12},
  number = {3},
  pages = {390--410},
  topic = {randomness;}
  }

@incollection{ miller_b:2008a,
  author = {Barry Miller},
  title = {Existence},
  booktitle = {The Stanford Encyclopedia of Philosophy},
  editor = {Edward N. Zalta},
  url ={http://plato.stanford.edu/archives/fall2008/entries/existence/},
  year = {2008},
  topic = {logic-of-existence;(non)existence;},
  }

@unpublished{ miller_cs-etal:1997a,
  author = {Craig S. Miller and Jill Fain Lehman and Kenneth R. Koerdinger},
  title = {Goal-Directed Learning in Microworld Interaction},
  year = {1997},
  note = {Unpublished manuscript, Computer Science Department,
  	Carnegie Mellon University.},
  rtnote = {In RHT collection.  Filed under "Lehman".},
  topic = {machine-learning;intelligent-tutoring;}
  }

@article{ miller_d:1989a,
  author = {Dale Miller},
  title = {A Logical Analysis of Modules in Logic Programming},
  journal = {Journal of Logic Programming},
  volume = {6},
  number = {1--2},
  pages = {79--108},
  year = {1989},
  topic = {logic-programming;}
  }

@incollection{ miller_d:1997a,
  author = {Dale Miller},
  title = {Linear Logic as Logic Programming: an Abstract},
  booktitle = {{LACL}'96: First International Conference on
      Logical Aspects of Computational Linguistics},
  publisher = {Springer-Verlag},
  year = {1997},
  editor = {Christian Retor/'e},
  pages = {63--67},
  address = {Berlin},
  topic = {logic-and-computational-linguistics;linear-logic;}
  }

@article{ miller_d-etal:1991a,
  author = {Dale Miller and Gopalan Nadathur and Frank Pfenning
  	  and Andre Scedrov},
  title = {Uniform Proofs as a Foundation for Logic Programming},
  journal = {Annals of Pure and Applied Logic},
  volume = {51},
  pages = {125--157},
  year = {1991},
  topic = {logic-programming;}
  }

@book{ miller_dw-starr:1967a,
  author = {David W. Miller and Martin K. Starr},
  title = {The Structure of Human Decisions},
  publisher = {Prentics-Hall},
  year = {1967},
  address = {Englewood Cliffs, New Jersey},
  rtnote = {In RHT collection.  Misc Shelves.},
  topic = {decision-theory;decision-analysis;}
 }

@book{ miller_g-dingwall_r:1997a,
  editor = {Gale Miller and Robert Dingwall},
  title = {Context and Methods in Qualitative Research},
  publisher = {Sage Publications},
  year = {1997},
  address = {Thousand Oaks, California},
  topic = {qualitative-methods;}
 }

@incollection{ miller_ga:1967a2,
  author = {George A. Miller},
  title = {Empirical Methods in the Study of Semantics},
  booktitle = {Semantics: An Interdisciplinary Reader in Philosophy,
  	Linguistics, and Psychology},
  publisher = {Cambridge University Press},
  year = {1971},
  editor = {Danny D. Steinberg and Leon A. Jacobovits},
  pages = {569--585},
  address = {Cambridge, England},
  xref = {Republication of: miller_ga:1967a1.},
  topic = {psycholinguistics;foundations-of-semantics;
  	lexical-semantics;linguistics-methodology;}
  }

@book{ miller_ga:1967a,
  author = {George A. Miller},
  title = {The Psychology of Communication: Seven Essays},
  publisher = {New York, Basic Books},
  year = {1967},
  address = {New York},
  rtnote = {UMich Graduate Library BF637.C45 M65},
  topic = {psycholinguistics;}
 }

@incollection{ miller_ga:1967b,
  author = {George A. Miller},
  title = {Empirical Methods in the Study of Semantics},
  booktitle = {Journeys in Science: Small Steps---Great Strides},
  publisher = {University of New Mexico Press},
  year = {1967},
  editor = {D.L. Arm},
  pages = {51--73},
  address = {Albuquerque},
  topic = {psycholinguistics;foundations-of-semantics;
  	lexical-semantics;linguistics-methodology;}
  }

@book{ miller_ga:1973a,
  author = {George A. Miller},
  title = {Communication, Language, and Meaning: Psychological
  	Perspectives},
  publisher = {Basic Books},
  year = {1973},
  address = {New York},
  ISBN = {0465012833},
  rtnote = {UMich Graduate Library, P 90 .M65},
  topic = {linguistics-intro;}
 }

@book{ miller_ga:1977a,
  author = {George A. Miller},
  title = {Spontaneous Apprentices: Children and Language},
  publisher = {Seabury Press},
  year = {1977},
  address = {New York},
  ISBN = {0816493308},
  rtnote = {UMich Graduate Library, LB1139.L3 M65.},
  topic = {psycholinguistics;L1-language-learning;}
 }

@incollection{ miller_ga:1978a,
  author = {George A. Miller},
  title = {Semantic Relations among Words},
  booktitle = {Linguistic Theory and Psychological Reality},
  publisher = {The {MIT} Press},
  year = {1978},
  editor = {Morris Halle and Joan Bresnan and George A. Miller},
  pages = {60--118},
  address = {Cambridge, Massachusetts},
  topic = {lexical-semantics;}
  }

@book{ miller_ga:1981a,
  author = {George A. Miller},
  title = {Language and Speech},
  publisher = {W.H. Freeman},
  year = {1981},
  address = {San Francisco},
  ISBN = {0716712970},
  rtnote = {UMich Graduate Library, BF455 .M5931.},
  topic = {psycholinguistics;}
 }

@unpublished{ miller_ga:1986a,
  author = {George A. Miller},
  title = {How School Children Learn Words},
  year = {1986},
  note = {Unpublished manuscript, Princeton University.},
  rtnote = {In RHT collection.},
  missinginfo = {Year is a guess.},
  topic = {lexical-semantics;L1-acquisition;}
  }

@book{ miller_ga:1991a,
  author = {George A. Miller},
  title = {The Science of Words},
  publisher = {W.H. Freeman and Co.},
  year = {1991},
  address = {New York},
  rtnote = {In RHT collection.  Shelf.},
  ISBN = {0716750279},
  rtnote = {UMich Graduate Library, P 326 .M551 1991.},
  topic = {linguistics-intro;}
 }

@incollection{ miller_ga:1996a,
  author = {George A. Miller},
  title = {Meaning Matters: Problems in Sense Resolution},
  booktitle = {Mind Matters: A Tribute to {A}llen {N}ewell},
  publisher = {Lawrence Erlbaum Associates},
  year = {1996},
  editor = {David M. Steier and Tom M. Mitchell},
  address = {Mahwah, New Jersey},
  pages = {119--140},
  rtnote = {Get this.},
  topic = {ambiguity;lexical-semantics;}
  }

@incollection{ miller_ga:1998a,
  author = {George A. Miller},
  title = {Nouns in {W}ord{N}et},
  booktitle = {Word{N}et: An Electronic Lexical Database},
  publisher = {The {MIT} Press},
  year = {1998},
  editor = {Christaine Fellbaum},
  pages = {23--46},
  address = {Cambridge, Massachusetts},
  topic = {wordnet;nlp-lexicons;computational-lexical-semantics;
  	computational-lexicography;}
  }

@book{ miller_ga-buckhout:1973a,
  author = {George A. Miller and Robert Buckhout},
  title = {Psychology: The Science Of Mental Life},
  edition = {2},
  publisher = {Harper and Row},
  year = {1973},
  address = {New York},
  ISBN = {0060444789},
  rtnote = {UMich Graduate Library: BF95 .M64 1973},
  topic = {cognitive-psychology;}
 }

@techreport{ miller_ga-etal:1990a,
  author = {George A. Miller and Richard Beckwith and Christiane
  	Fellbaum and Derek Gross and Katherine Miller},
  title = {Five papers on {\sc Word{N}et}},
  institution = {Cognitive Science Laboratory, Princeton University},
  year = {1990},
  number = {CSL 43},
  rtnote = {In RHT collection.  Files under WORDNET},
  contentnote = {TC:
	1. George A. Miller, Richard Beckwith, Christiane
		Fellbaum, Derek Gross, and Katherine Miller,
		"Introduction to WordNet: An On-Line Lexical
		 Database"
	2. George A. Miller, "Nouns in WordNet: A Lexical Inheritance System"
	3. Derek Gross and Katherine Miller, Adjectives in WordNet"
	4. Christiane Fellbaum, "English Verbs as a Semantic Net"
	5. Richard Beckworth and George Miller, "Implementing a
	   Lexical Network"
  },
  xref = {Also published in special issue of the {\it International
  	Journal of Lexicography}, volume 3, number 4.},
  topic = {wordnet;}
  }

@incollection{ miller_ga-fellbaum:1992a,
  author = {George A. Miller and Christiane Fellbaum},
  title = {Semantic Networks of {E}nglish},
  booktitle = {Lexical and Conceptual Semantics},
  year = {1992},
  editor = {Beth Levin and Steven Pinker},
  publisher = {Blackwell Publishers},
  pages = {197--229},
  address = {Oxford},
  topic = {lexical-semantics;wordnet;}
  }

@article{ miller_ga-hristea:2006a,
  author = {George A. Miller and Florentina Hristea},
  title = {{WordNet} Nouns:  Classes and Instances},
  journal = {Computational Linguistics},
  year = {2006},
  volume = {32},
  number = {1},
  pages = {1--3},
  topic = {WordNet;lexical-semantics;}
  }

@book{ miller_ga-johnsonlaird:1976a,
  author = {George A. Miller and Philip N. Johnson-Laird},
  title = {Language and  Perception},
  publisher = {Harvard University Press},
  year = {1976},
  address = {Cambridge, Massachusetts},
  ISBN = {0521212421},
  rtnote = {UMich Graduate Library, BF455 .M64.},
  topic = {psycholinguistics;}
 }

@incollection{ miller_jl:1990a,
  author = {Joanne L. Miller},
  title = {Speech Perception},
  booktitle = {Language: An Invitation to Cognitive Science,
     Vol. 1.},
  publisher = {The {MIT} Press},
  year = {1990},
  editor = {Daniel N. Osherson and Howard Lasnik},
  pages = {69--93},
  address = {Cambridge, Massachusetts},
  topic = {psycholinguistics;speech-recognition;}
  }

@article{ miller_js-moss_lm:2005a,
  author = {Joseph S. Miller and Lawrence S. Moss},
  title = {The Undecidability of Iterated Modal Relativization},
  journal = {Studia Logica},
  year = {2005},
  volume = {79},
  number = {1},
  pages = {373--407},
  topic = {(un)decidability;modal-logic;dynamic-logic;}
  }

@incollection{ miller_kj:1998a,
  author = {Katherine J. Miller},
  title = {Modifiers in {W}ord{N}et},
  booktitle = {Word{N}et: An Electronic Lexical Database},
  publisher = {The {MIT} Press},
  year = {1998},
  editor = {Christaine Fellbaum},
  pages = {47--67},
  address = {Cambridge, Massachusetts},
  topic = {wordnet;nlp-lexicons;computational-lexical-semantics;
  	computational-lexicography;}
  }

@unpublished{ miller_m-etal:1996a,
  author = {Michael Miller and Donald Perlis and Khemdut Parang},
  title = {Defaults Denied},
  year = {1996},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript, Department of Computer Science,
  	University of Maryland.},
  missinginfo = {Date is a guess.},
  topic = {default-reasoning;}
  }

@unpublished{ miller_m-perlis:1996a,
  author = {Michael Miller and Donald Perlis},
  title = {Presentations and This and That: Logic in Action},
  year = {1996},
  note = {Unpublished manuscript, University of Maryland.},
  rtnote = {In RHT collection.  This may be published.  Check DP cv.},
  topic = {reference;}
  }

@article{ miller_p-pullum:2001a,
  author = {Philip Miller and Geoffrey K. Pullum},
  title = {Review of \emph{{A} Descriptive Approach to
  	Language-Theoretic Complexity}, by {J}ames {R}ogers},
  journal = {Computational Linguistics},
  year = {2001},
  volume = {27},
  number = {2},
  pages = {304--308},
  xref = {Review of: rogers_j:1998a.},
  topic = {mathematical-linguistics;complexity-theory;
  	foundations-of-syntax;}
  }

@article{ miller_ph:1991a,
  author = {Philip H. Miller},
  title = {Scandanavian Extraction Phenomena Revisited:  Weak
  	and Strong Generative Capacity},
  journal = {Linguistics and Philosophy},
  year = {1991},
  volume = {14},
  pages = {101--113},
  number = {1},
  topic = {Scandanavian-languages;context-free-grammars;
  	generative-capacity;}
  }

@book{ miller_pl:1986a,
  author = {Perry L. Miller},
  title = {Expert Critiquing Systems: Practice-Based Medical Consultation
    by Computer},
  publisher = {Springer-Verlag},
  year = {1986},
  address = {Berlin},
  ISBN = {0387962913},
  xref = {Review: wellman:1988a.},
  rtnote = {UMich TAUBMAN MEDICAL, R858 .M5431 1986.},
  topic = {medical-AI;}
}

@book{ miller_pl:1988a,
  editor = {Perry L. Miller},
  title = {Selected Topics in Medical Artificial Intelligence},
  publisher = {Springer-Verlag},
  year = {1988},
  address = {Berlin},
  ISBN = {038796701X},
  rtnote = {UMich TAUBMAN MEDICAL, R 859.7 .A78 S441 1988.},
  topic = {medical-AI;}
}

@incollection{ miller_r1-shanahan:1996a,
  author = {Rob Miller and Murray Shanahan},
  title = {Reasoning about Discontinuities in the Event Calculus},
  booktitle = {{KR}'96: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1996},
  editor = {Luigia Carlucci Aiello and Jon Doyle and Stuart Shapiro},
  pages = {63--74},
  address = {San Francisco, California},
  topic = {kr;dynamic-systems;action-formalisms;kr-course;cognitive-robotics;}
  }

@book{ miller_r2-stout_qf:1996a,
  author = {Russ Miller and Quentin F. Stout},
  title = {Parallel Algorithms for Regular Architectures},
  publisher = {The {MIT} Press},
  year = {1996},
  address = {Cambridge, Massachusetts},
  topic = {parallel-processing;}
 }

@incollection{ miller_rm:2000a,
  author = {Richard W. Miller},
  title = {Half-Naturalized Social Kinds},
  booktitle = {{PSA}'1998: Proceedings of the 1998 Biennial Meetings
  	of the Philosophy of Science Association, Part {II}:
	Symposium Papers},
  publisher = {Philosophy of Science Association},
  year = {2000},
  editor = {Don A. Howard},
  pages = {S640--},
  address = {Newark, Delaware},
  topic = {natural-kinds;philosophy-of-social-science;racial-stereotypes;}
  }

@inproceedings{ miller_s1-etal:1996a,
  author = {Scott Miller and David Stallard and Robert Bobrow and
  	Richard Schwartz},
  title = {A Fully Statistical Approach to Natural Language Interfaces},
  booktitle = {Proceedings of the Thirty-Fourth Annual Meeting of the
  	Association for Computational Linguistics},
  year = {1996},
  editor = {Arivind Joshi and Martha Palmer},
  pages = {55--61},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco},
  topic = {statistical-nlp;nl-interfaces;}
 }

@article{ miller_s2:1990a,
  author = {Seumas Miller},
  title = {Rationalizing Conventions},
  journal = {Synth\'ese},
  year = {1990},
  volume = {84},
  number = {1},
  pages = {23--41},
  topic = {convention;rationality;}
  }

@article{ miller_y-fabiani:2001a,
  author = {Yannick Miller and Patrick Fabiani},
  title = {{TOKENPLAN}: A Planner for Both Satisfaction and
  	Optimization Problems},
  journal = {The {AI} Magazine},
  year = {2001},
  volume = {22},
  number = {1},
  pages = {85--87},
  topic = {planning;planning-algorithms;planning-systems;}
  }

@article{ millgram:2000a,
  author = {Elijah Millgram},
  title = {Coherence: The Price of the Ticket},
  journal = {The Journal of Philosophy},
  year = {2000},
  volume = {97},
  number = {2},
  pages = {82--93},
  topic = {coherence;}
  }

@book{ millgram:2001a,
  editor = {Elijah Millgram},
  title = {Varieties of Practical Reasoning},
  publisher = {The {MIT} Press},
  year = {2001},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-63220-9 (pbk)},
  contentnote = {TC:
    1. Elijah Millgram, "Practical Reasoning: The Current
		State of Play", pp. 1--26
    2. James Dreier, "Humean Doubts about Categorial
    		Imperatives," pp. 27--48
    3. Christoph Fehige, "Instrumentalism", pp. 49--76
    4. Bernard Williams, "Internal and External Reasons, with
    		Postscript", pp. 77-98
    5. Brad Hooker, "williams' Argument against External
    		Reasons", pp. 99--102
    6. Christine M. Korsgaard, "Skepticism about Practical
    		Reasons", pp. 103--126
    7. John Robertson, "Internalism, Practical Reason, and
    		Motivation", pp. 127--202
    8. Martha Nussbaum, "The Protagoras: A Science of Practical
    		Reasoning", pp. 153--202
    9. Michael Bratman, "Taking Plans Seriously", pp. 203--220
   10. Michael Slote, "Moderation and Satisficing", pp. 221--236
   11. David Schmidtz, "Choosing Ends", pp. 237--258
   12. Aurel Kolnai, "Deliberation Is of Ends", pp. 259--278
   13. David Wiggins, "Deliberation and Practical Reason", pp. 279--300
   14. Onora O'Neill, "Consistency in Action", pp. 301--330
   15. Elijah Millgram, "Pleasure in Practical Reasoning", pp. 331--354
   16. Paul Thagard, "How to Make Decisions: Coherence, Emotion, and Practical
   		Inference", pp. 355--372
   17. Michael Mandler, "A Difficult Choice in Preference Theory:
   		Rationality Implies Completeness or Transitivity but
		Not Both", pp.  373--402
   18. Iris Murdoch, "The Idea of Perfection pp. 403--436
   19. Candace Vogler, "Anscombe on Practical Inference", pp. 437--464
   20. Robert Brandom, "Action, Norms, and Practical Reasoning", pp. 465--480
  },
  rtnote = {In RHT collection.  Out for reading.},
  topic = {practical-reasoning;}
  }

@incollection{ millican_pjr:1996a,
  author = {Peter J.R. Millican},
  title = {Introduction},
  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 = {1--9},
  address = {Oxford},
  topic = {Turing;Turing-test;philosophy-of-mind;foundations-of-computation;}
  }

@book{ millican_pjr-clark_a1:1996a,
  editor = {Peter J.R. Millican and Andy Clark},
  title = {Machines and Thought: The Legacy of {A}lan {T}uring:
  	Volume {I}},
  publisher = {Oxford University Press},
  year = {1996},
  address = {Oxford},
  ISBN = {0-19-823593-3},
  contentnote = {TC:
     1. Peter J.R. Millican, "Introduction", pp. 1--9
     2. Robert M. French, "Subcognition and the Limits of the
     		{T}uring {T}est", pp. 11--26
     3. Donald Mitchie, "Turing's Test and Conscious Thought", pp. 27--51
     4. Blay Whitby, "The {T}uring Test: {AI}'s Biggest Blind
     		Alley?", pp. 53--62
     5. Ajit Narayanan, "The Intentional Stance and the Imitation
     		Game", pp. 63--79
     6. Herbert Simon, "Machine as Mind", pp. 81--102
     7. John R. Lucas, "Minds, Machines, and G\"odel: A
     		Rejoinder", pp. 103--124
     8. Robin Gandy, "Human Versus Mechanical Intelligence", pp. 125--136
     9. Anthony Galton, "The {C}hurch-{T}uring Thesis: Its Nature
     		and Status", pp. 137--164
    10. Chris Fields, "Measurement and Computational
    		Descriptions", pp. 165--177
    11. Aaron Sloman, "Beyond {T}uring Equivalence", pp. 179--219
    12. Iain A. Stewart, "The Demise of the {T}uring Machine in
    		Complexity Theory", pp. 221--232
    13. Peter Mott, "A Grammar-Based Approach to Common-Sense
    		Reasoning", pp. 233--254
    14. Joseph Ford, "Chaos: Its Past, Its Present, but mostly
    		Its Future", pp. 255--264
    15. Clark Glymour, "The Hierarchies of Knowledge", pp. 265--291
  },
  rtnote = {Umich: Hatcher Graduate Q 335.5 .L441 1996},
 topic = {Turing;foundations-of-cognitive-science;foundations-of-AI;}
 }

@book{ millican_pjr-clark_a1:1996b,
  editor = {Peter J.R. Millican and Andy Clark},
  title = {Connectionism, Concepts, and Folk Psychology: The Legacy
  		of {A}lan {T}uring: Volume {II}},
  publisher = {Oxford University Press},
  year = {1996},
  address = {Oxford},
  ISBN = {0-19-823594-1},
  contentnote = {TC:
     1. Andy Clark, "Introduction", pp. 1--6
     2. Paul M. Churchland, "Learning and Conceptual Change:  The
     		View from the Neurons", pp. 7--43
     3. Mario Compiani, "Remarks on the Paradigms of
     		Connectionism", pp. 45--66
     4. Joop Schopman and Aziz Shawky, "Remarks on the Impact of
     		Connectionism on Our Thinking about Concepts", pp. 67--74
     5. Frank Jackson and Phillip Pettit, "Causation in the Philosophy
     		of Mind", pp. 75--99
     6. Jon Oberlander and Peter Dayan, "Altered States and Virtual
     		Beliefs", 101--114
     7. Christopher Peacocke, "The Relation between Philosophical and
     		Psychological Theories of Concepts", pp. 115--138
     8. Michael Morris, "How Simple is the Simple Account?  Comment
     		on {P}eacocke", pp. 139--146
     9. Beatrice de Gelder, "Modularity and Logical
     		Cognitivism", pp. 147--168
    10. Murray Shanahan, "Folk Psychology and Naive Physics", pp. 169--180
    11. Christopher J. Thornton, "Why Concept Learning is a Good
    		Idea", pp. 181--194
    12. Douglas R. Hofstadter, "Analogy-Making, Fluid Concepts, and
    		Brain Mechanisms", pp. 195--247
    13. Ian Pratt, "Encoding Psychological Knowledge", pp. 249--264
    14. L. Jonathan Cohen, "Does Belief Exist?", pp. 265--276
  },
 topic = {Turing;foundations-of-cognitive-science;foundations-of-AI;}
 }

@book{ milligan:1980a,
  author = {David Milligan},
  title = {Reasoning and the Explanation of Actions},
  publisher = {Harvester Press},
  year = {1980},
  address = {Atlantic Highlands, New Jersey},
  rtnote = {HILLMAN BC177 .M53 1980},
  topic = {philosophy-of-action;}
 }

@article{ millikan_rg:1980a1,
  author = {Ruth Garrett Millikan},
  title = {Naturalist Reflections on Knowledge},
  journal = {Pacific Philosophical Quarterly},
  year = {1980},
  volume = {65},
  number = {4},
  pages = {315--334},
  xref = {Republication: millikan_rg:1980a2.},
  topic = {knowledge;skepticism;}
  }

@incollection{ millikan_rg:1980a2,
  author = {Ruth Garrett Millikan},
  title = {Naturalist Reflections on Knowledge},
  booktitle = {White Queen Psychology and Other Essays for {A}lice},
  publisher = {The {MIT} Press},
  year = {1993},
  editor = {Ruth Garrett Millikan},
  pages = {241--264},
  address = {Cambridge, Massachusetts},
  xref = {Republication of: millikan_rg:1980a1.},
  topic = {knowledge;skepticism;}
  }

@book{ millikan_rg:1984a,
  author = {Ruth Garrett Millikan},
  title = {Language, Thought, and Other Biological Categories:
  		New Foundations for Realism},
  publisher = {The {MIT} Press},
  year = {1984},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-63115-6 (pbk)},
  rtnote = {In RHT collection.  LLP single author shelves.},
  topic = {philosophy-of-language;philosophy-of-psychology;}
 }

@article{ millikan_rg:1986a1,
  author = {Ruth Garrett Millikan},
  title = {Thoughts without Laws},
  journal = {The Philosophical Review},
  year = {1986},
  volume = {95},
  number = {1},
  pages = {47--80},
  xref = {Republication: millikan_rg:1986a2.},
  topic = {philosophy-of-cogsci;philosophy-of-mind;
  	foundations-of-cognitive-science;}
  }

@incollection{ millikan_rg:1986a2,
  author = {Ruth Garrett Millikan},
  title = {Thoughts without Laws},
  booktitle = {White Queen Psychology and Other Essays for {A}lice},
  publisher = {The {MIT} Press},
  year = {1993},
  editor = {Ruth Garrett Millikan},
  pages = {51--82},
  address = {Cambridge, Massachusetts},
  xref = {Republication of: millikan_rg:1986a1.},
  topic = {philosophy-of-cogsci;philosophy-of-mind;
  	foundations-of-cognitive-science;}
  }

@article{ millikan_rg:1986b1,
  author = {Ruth Garrett Millikan},
  title = {Metaphysical Antirealism?},
  journal = {Mind, New Series},
  year = {1986},
  volume = {95},
  number = {4},
  pages = {417--431},
  xref = {Republication: millikan_rg:1986b2.},
  topic = {realism;metaphysics;}
  }

@incollection{ millikan_rg:1986b2,
  author = {Ruth Garrett Millikan},
  title = {Metaphysical Antirealism?},
  booktitle = {White Queen Psychology and Other Essays for {A}lice},
  publisher = {The {MIT} Press},
  year = {1993},
  editor = {Ruth Garrett Millikan},
  pages = {193--210},
  address = {Cambridge, Massachusetts},
  xref = {Republication of: millikan_rg:1986b1.},
  topic = {realism;metaphysics;}
  }

@article{ millikan_rg:1989a1,
  author = {Ruth Garrett Millikan},
  title = {In Defense of Proper Functions},
  journal = {Philosophy of Science},
  year = {1989},
  volume = {56},
  number = {2},
  pages = {288--302},
  xref = {Republication: millikan_rg:1989a2.},
  topic = {teleology;philosophy-of-biology;}
  }

@incollection{ millikan_rg:1989a2,
  author = {Ruth Garrett Millikan},
  title = {In Defense of Proper Functions},
  booktitle = {White Queen Psychology and Other Essays for {A}lice},
  publisher = {The {MIT} Press},
  year = {1993},
  editor = {Ruth Garrett Millikan},
  pages = {13--29},
  address = {Cambridge, Massachusetts},
  xref = {Republication of: millikan_rg:1989a1.},
  topic = {teleology;philosophy-of-biology;}
  }

@article{ millikan_rg:1989b1,
  author = {Ruth Garrett Millikan},
  title = {Biosemantics},
  journal = {The Journal of Philosophy},
  year = {1989},
  volume = {86},
  number = {6},
  pages = {281--297},
  xref = {Republication of: millikan_rg:1989a1.},
  contentnote = {This seems to have little or nothing to do with
  	semantics per se.},
  topic = {evolutionary-psychology;representation;}
  }

@incollection{ millikan_rg:1989b2,
  author = {Ruth Garrett Millikan},
  title = {Biosemantics},
  booktitle = {White Queen Psychology and Other Essays for {A}lice},
  publisher = {The {MIT} Press},
  year = {1993},
  editor = {Ruth Garrett Millikan},
  pages = {83--101},
  address = {Cambridge, Massachusetts},
  xref = {Republication of: millikan_rg:1989a1.},
  contentnote = {This seems to have little or nothing to do with
  	semantics per se.},
  topic = {evolutionary-psychology;representation;}
  }

@article{ millikan_rg:1990a1,
  author = {Ruth Garrett Millikan},
  title = {Truth Rules, Hoverflies, and the {K}ripke-{W}ittgenstein
  	Paradox},
  journal = {The Philosophical Review},
  year = {1990},
  volume = {99},
  number = {3},
  pages = {323--353},
  xref = {Republication: millikan_rg:1990a2.},
  topic = {rule-following;}
  }

@incollection{ millikan_rg:1990a2,
  author = {Ruth Garrett Millikan},
  title = {Truth Rules, Hoverflies, and the {K}ripke-{W}ittgenstein
  	Paradox},
  booktitle = {White Queen Psychology and Other Essays for {A}lice},
  publisher = {The {MIT} Press},
  year = {1993},
  editor = {Ruth Garrett Millikan},
  pages = {211--239},
  address = {Cambridge, Massachusetts},
  xref = {Republication of: millikan_rg:1990a1.},
  topic = {rule-following;}
  }

@article{ millikan_rg:1990b1,
  author = {Ruth Garrett Millikan},
  title = {The Myth of the Essential Indexical},
  journal = {No\^us},
  year = {1990},
  volume = {24},
  number = {1},
  pages = {723--724},
  xref = {Republication: millikan_rg:1990b2.},
  topic = {indexicals;}
  }

@incollection{ millikan_rg:1990b2,
  author = {Ruth Garrett Millikan},
  title = {The Myth of the Essential Indexical},
  booktitle = {White Queen Psychology and Other Essays for {A}lice},
  publisher = {The {MIT} Press},
  year = {1993},
  editor = {Ruth Garrett Millikan},
  pages = {265--277},
  address = {Cambridge, Massachusetts},
  xref = {Republication of: millikan_rg:1990b1.},
  topic = {indexicals;}
  }

@book{ millikan_rg:1993a,
  author = {Ruth Garrett Millikan},
  title = {White Queen Psychology and Other Essays for {A}lice},
  publisher = {The {MIT} Press},
  year = {1993},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-13288-5},
  contentnote = {TC:
     1. Ruth Garrett Millikan, "In Defense of Proper Functions", pp. 13--29
     2. Ruth Garrett Millikan, "Propensities, Exaptations, and
     		the Brain", pp. 31--50
     3. Ruth Garrett Millikan, "Thoughts without Laws", pp. 51--82
     4. Ruth Garrett Millikan, "Biosemantics", pp. 83--101
     5. Ruth Garrett Millikan, "On Mentalese Orthography", pp. 103--121
     6. Ruth Garrett Millikan, "Compare and Contrast {D}retske,
     		{F}odor, and {M}illikan on Teleosemantics", pp. 123--133
     7. Ruth Garrett Millikan, "What is Behavior?  A Philosophical
     		Essay on Ethology and Individualism in
		Psychology", pp. 135--150
     8. Ruth Garrett Millikan, "The Green Grass Growing All Around:
     		Essay on Ethology and in Ethology, Part 2", pp. 151--170
     9. Ruth Garrett Millikan, "Explanation in Psychology", pp. 171--192
    10. Ruth Garrett Millikan, "Metaphysical Antirealism", pp. 193--210
    11. Ruth Garrett Millikan, "Truth Rules, Hoverflies, and the
    		{K}ripke-{W}ittgenstein Paradox", pp. 211-239
    12. Ruth Garrett Millikan, "Naturalist Reflections on
    		Knowledge", pp. 241--264
    13. Ruth Garrett Millikan, "The Myth of the Essential
    		Indexical", pp. 265--277
    14. Ruth Garrett Millikan, "White Queen Psychology: Or, the
    		Last Myth of the Given", pp. 279--363
  },
  rtnote = {In RHT Collection.  LLP single author shelves.},
  topic = {philosophy-of-language;philosophy-of-psychology;}
 }

@article{ millikan_rg:1993b,
  author = {Ruth Garrett Millikan},
  title = {What {P}eter Thinks When He Hears {M}ary Speak},
  journal = {Behavioral and Brain Sciences},
  year = {1993},
  volume = {10},
  pages = {725--726},
  missinginfo = {number},
  topic = {speaker-meaning;implicature;}
  }

@incollection{ millikan_rg:1993c1,
  author = {Ruth Garrett Millikan},
  title = {Explanation in Biopsychology},
  booktitle = {Mental Causation},
  publisher = {Oxford University Press},
  year = {1993},
  editor = {John Heil and Alfred R. Mele},
  pages = {211--232},
  address = {Oxford},
  topic = {philosophy-of-psychology;philosophy-of-biology;}
  }

@incollection{ millikan_rg:1993c2,
  author = {Ruth Garrett Millikan},
  title = {Explanation in Biopsychology},
  booktitle = {White Queen Psychology and Other Essays for {A}lice},
  publisher = {The {MIT} Press},
  year = {1993},
  editor = {Ruth Garrett Millikan},
  pages = {171--192},
  address = {Cambridge, Massachusetts},
  topic = {philosophy-of-psychology;philosophy-of-biology;}
  }

@incollection{ millikan_rg:1993d1,
  author = {Ruth Garrett Millikan},
  title = {On Mentalese Orthography},
  booktitle = {Dennett and His Critics},
  publisher = {Blackwell},
  year = {1993},
  editor = {B. Dahlbom},
  pages = {97--123},
  address = {Oxford},
  xref = {Expanded republication: millikan_rg:1993e.},
  topic = {mental-language;}
  }

@incollection{ millikan_rg:1993d2,
  author = {Ruth Garrett Millikan},
  title = {On Mentalese Orthography},
  booktitle = {White Queen Psychology and Other Essays for {A}lice},
  publisher = {The {MIT} Press},
  year = {1993},
  editor = {Ruth Garrett Millikan},
  pages = {103--121},
  address = {Cambridge, Massachusetts},
  xref = {Republication of: millikan_rg:1993d1.},
  topic = {mental-language;}
  }

@incollection{ millikan_rg:1993e,
  author = {Ruth Garrett Millikan},
  title = {What is Behavior?  A Philosophical Essay on Ethology and
  		Individualism in Psychology},
  booktitle = {White Queen Psychology and Other Essays for {A}lice},
  publisher = {The {MIT} Press},
  year = {1993},
  editor = {Ruth Garrett Millikan},
  pages = {135--150},
  address = {Cambridge, Massachusetts},
  topic = {behavior;philosophy-of-psychology;}
  }

@incollection{ millikan_rg:1993f,
  author = {Ruth Garrett Millikan},
  title = {The Green Grass Growing All Around:
     		Essay on Ethology and in Ethology, Part 2},
  booktitle = {White Queen Psychology and Other Essays for {A}lice},
  publisher = {The {MIT} Press},
  year = {1993},
  editor = {Ruth Garrett Millikan},
  pages = {151--170},
  address = {Cambridge, Massachusetts},
  topic = {behavior;philosophy-of-psychology;}
  }

@incollection{ millikan_rg:1993g,
  author = {Ruth Garrett Millikan},
  title = {White Queen Psychology: Or, the Last Myth of the Given},
  booktitle = {White Queen Psychology and Other Essays for {A}lice},
  publisher = {The {MIT} Press},
  year = {1993},
  editor = {Ruth Garrett Millikan},
  pages = {279--363},
  address = {Cambridge, Massachusetts},
  topic = {philosophical-psychologyy;rationality;representation;}
  }

@incollection{ millikan_rg:1994a,
  author = {Ruth Garrett Millikan},
  title = {On Unclear and Indistinct Ideas},
  booktitle = {Philosophical Perspectives, Volume 8:
  	Logic and Language},
  publisher = {Blackwell Publishers},
  year = {1994},
  editor = {James E. Tomberlin},
  pages = {75--100},
  address = {Oxford},
  rtnote = {In RHT collection.  Zip disk.},
  note = {Also available at http://www.jstor.org/journals/.},
  topic = {concept-grasping;individual-attitudes;intentionality;
  	Russell;philosophy-of-mind;}
  }

@article{ millikan_rg:1998a,
  author = {Ruth Garrett Millikan},
  title = {Language Conventions Made Simple},
  journal = {The Journal of Philosophy},
  year = {1998},
  volume = {95},
  number = {4},
  pages = {161--180},
  topic = {convention;}
  }

@incollection{ millikan_rg:1998b,
  author = {Ruth Garrett Millikan},
  title = {Proper Function and Convention in Speech Acts},
  booktitle = {The Philosophy of {P}.{F}. {S}trawson},
  publisher = {Open Court},
  year = {1998},
  editor = {Lewis E. Hahn},
  address = {Chicago},
  missinginfo = {pages},
  topic = {speech-acts;convention;}
  }

@article{ millikan_rg:1999a,
  author = {Ruth Garrett Millikan},
  title = {Wings, Spoons, Pills, and Quills:
  	A Pluralist Theory of Function},
  journal = {The Journal of Philosophy},
  year = {1999},
  volume = {96},
  number = {4},
  pages = {191--206},
  topic = {function;}
  }

@book{ millikan_rg:2000a,
  author = {Ruth Garrett Millikan},
  title = {On Clear and Confused Ideas: An Essay about Substance
  	Concepts},
  publisher = {Cambridge University Press},
  year = {2000},
  address = {Cambridge, England},
  xref = {Review: cummins_r-etal:2002a.},
  topic = {metaphysics;individuation;substance;}
 }

@book{ millikan_rg:2002a,
  author = {Ruth Garrett Millikan},
  title = {Varieties of Meaning},
  publisher = {The {MIT} Press},
  year = {2002},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-13444-6},
  topic = {philosophy-of-language;foundations-of-semantics;}
 }

@article{ mills_e:2002a,
  author = {Eugene Mills},
  title = {Fallibility and the Phenomenal Sorites},
  journal = {No\^us},
  year = {2002},
  volume = {36},
  number = {3},
  pages = {384--407},
  topic = {vagueness;sorites-paradox;}
  }

@article{ mills_e:2008a,
  author = {Eugene Mills},
  title = {Are Analytic Philophers Shallow and Stupid?},
  journal = {The Journal of Philosophy},
  year = {2008},
  volume = {105},
  number = {6},
  pages = {301--319},
  topic = {paradox-of-analysis;}
  }

@article{ milne:1993a,
  author = {Peter Milne},
  title = {The Foundations of Probability and Quantum Mechanics},
  journal = {Journal of Philosophical Logic},
  year = {1993},
  volume = {22},
  number = {2},
  pages = {129--168},
  topic = {foundations-of-probability;quantum-mechanics;}
  }

@article{ milne:2004a,
  author = {Peter Milne},
  title = {Algebras of Intervals and a Logic of Conditional Assertions},
  journal = {Journal of Philosophical Logic},
  year = {2004},
  volume = {33},
  number = {5},
  pages = {497--548},
  topic = {interval-logic;multivalued-logic;conditionals;}
  }

@article{ milne:2008a,
  author = {Peter Milne},
  title = {Bets and Boundaries:  Assigning Probabilities to
  		Imprecisely Specified Events},
  journal = {Studia Logica},
  year = {2008},
  volume = {90},
  number = {3},
  pages = {425--453},
  topic = {vagueness;foundations-of-probability;rough-sets;}
  }

@book{ milner:1980a,
  author = {Robin Milner},
  title = {A Calculus of Communicating Systems},
  publisher = {Springer-Verlag},
  year = {1980},
  number = {92},
  series = {Lecture Notes in Computer Science},
  address = {Berlin},
  rtnote = {Look at this.},
  topic = {distributed-systems;concurrent-actions;
  	concurrence;theory-of-computation;}
 }

@book{ milner:1989a,
  author = {Robin Milner},
  title = {Communication and Concurrency},
  publisher = {Prentice Hall},
  year = {1989},
  address = {New York},
  rtnote = {In RHT collection.},
  topic = {distributed-systems;concurrent-actions;
  	concurrence;theory-of-computation;}
 }

@incollection{ milner:1993a,
  author = {Robin Milner},
  title = {The Polyadic $\pi$-Calculus: A Tutorial},
  booktitle = {Logic and Algebra of Specification},
  publisher = {Springer-Verlag},
  year = {1993},
  editor = {F.L Bauer and W. Brauer and H. Schwichtenberg},
  pages = {203--246},
  address = {Berlin},
  topic = {polyadic-pi-calculus;}
  }

@book{ milner:1999a,
  author = {Robin Milner},
  title = {Communicating and Mobile Systems: The $\pi$ Calculus},
  publisher = {Cambridge University Press},
  year = {1999},
  address = {Cambridge, England},
  ISBN = {0 521 65869 (pbk)},
  rtnote = {In RHT Collection.  CS General shelves.},
  topic = {distributed-systems;concurrent-actions;
  	concurrence;theory-of-computation;}
 }

@article{ milnikel:2003a,
  author = {Robert Milnikel},
  title = {Embedding Modal Nonmonotonic Logics into Default Logic},
  journal = {Studia Logica},
  year = {2003},
  volume = {75},
  number = {3},
  pages = {377--382},
  topic = {nonmonotonic-logic;modal-logic;}
  }

@book{ milsark:1976a,
  author = {Gary Milsark},
  title = {Existential Sentences in {E}nglish},
  publisher = {Indiana University Linguistics Club},
  year = {1982},
  address = {310 Lindley Hall, Bloomington, Indiana},
  rtnote = {In RHT collection.},
  topic = {indefiniteness;existential-constructions;}
 }

@article{ miltsakaki:2002a,
  author = {Eleni Miltsakaki},
  title = {Toward an Aposynthesis of Topic Continuity and
  	Intrasentential Anaphora},
  journal = {Computational Linguistics},
  year = {2002},
  volume = {28},
  number = {3},
  pages = {319--355},
  topic = {anaphora-resolution;sentence-focus;corpus-linguistics;}
  }

@article{ milward:1994a,
  author = {David Milward},
  title = {Dynamic Dependency Grammar},
  journal = {Linguistics and Philosophy},
  year = {1994},
  volume = {17},
  number = {6},
  pages = {561--605},
  topic = {dependency-grammar;dynamic-logic;}
  }

@incollection{ minelli-polemarchis:1996a,
  author = {E. Minelli and H.M. Polemarchis},
  title = {Knowledge at Equilibrium},
  booktitle = {Theoretical Aspects of Rationality and Knowledge:
  	Proceedings of the Sixth Conference ({TARK} 1996)},
  publisher = {Morgan Kaufmann},
  year = {1996},
  editor = {Yoav Shoham},
  pages = {211--228},
  address = {San Francisco},
  missinginfo = {A's 1st name.},
  topic = {game-theory;Nash-equilibria;mutual-belief;rational-action;}
  }

@incollection{ mineur-buitelaar:1996a,
  author = {Anne-Marie Mineur and Paul Buitelaar},
  title = {A Compositional Treatment of
		Polysemous Arguments in Categorial Grammar},
  booktitle = {Semantic Ambiguity and Underspecification},
  publisher = {Cambridge University Press},
  year = {1996},
  address = {Cambridge, England},
  editor = {Kees {van Deemter} and Stanley Peters},
  pages = {125--143},
  topic = {categorial-grammar;polysemy;lexical-semantics;}
  }

@article{ minicozzi-reiter_r:1972a,
  author = {Eliana Minicozzi and Raymond Reiter},
  title = {A note on Linear Resolution Strategies in
  	Consequence-Finding},
  journal = {Artificial Intelligence},
  year = {1972},
  volume = {3},
  number = {1--3},
  pages = {175--180},
  topic = {theorem-proving;resolution;}
  }

@inproceedings{ minker_j:1982a1,
  author = {Jack Minker},
  title = {On Indefinite Databases and the Closed World Assumption},
  booktitle = {Proceedings of the Sixth Conference on Automated
    	         Deduction},
  publisher = {Springer-Verlag},
  address = {Berlin},
  year = {1988},
  pages = {292--308},
  xref = {Republication: minker_j:1982a2.},
  topic = {databases;closed-world-assumption;}
    }

@incollection{ minker_j:1982a2,
  author = {Jack Minker},
  title = {On Indefinite Databases and the Closed World
         Assumption},
  booktitle = {Readings in Nonmonotonic Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1987},
  editor = {Matthew L. Ginsberg},
  pages = {326--333},
  address = {Los Altos, California},
  xref = {Original Publication: minker_j:1982a1.},
  topic = {databases;closed-world-assumption;}
  }

@book{ minker_j:1987a,
  editor = {Jack Minker},
  title = {Foundations of Deductive Databases and Logic
      Programming},
  publisher = {Morgan Kaufmann},
  year = {1987},
  address = {Los Altos, California},
  topic = {logic-programming;deductive-databases;}
 }

@article{ minker_j:1997a,
  author = {Jack Minker},
  title = {Logic and Databases: Past, Present and Future},
  journal = {{AI} Magazine},
  year = {1997},
  volume = {18},
  number = {3},
  pages = {21--47},
  contentnote = {This article contains an extensive bibliography},
  topic = {deductive-databases;}
  }

@book{ minker_j:1999a,
  editor = {Jack Minker},
  title = {Workshop on Logic-Based Artificial Intelligence,
	       Washington, DC, June 14--16, 1999},
  year = {1999},
  publisher = {Computer Science Department, University of Maryland},
  address = {College Park, Maryland},
  contentnote = {TC:
       1. Vladimir Lifschitz, "A Causal Language for Describing
       		Actions"
       2. H\'ector Geffner and Blai Bonet, "Functional Strips: A More
       		General Language for planning and Problem Solving"
       3. Marc Deneker and Viktor Marek and Miroslaw Truszczy\'nski,
       		"Approximating Operators, Stable Operators, Well-Founded
		Fixpoints and Applications in Nonmonotonic Reasoning"
       4. James P. Delgrande and Torsten Schaub, "The Role of Default
       		Logic in Knowledge Representation: Preliminary Draft"
       5. John Mccarthy, "Concepts of Logical {AI}"
       6. Eric Sandewall, "On the Methodology of Research in Knowledge
  		Representation and Common-Sense Reasoning"
       7. Don Perlis, "Status Report on Beliefs---Preliminary Version"
       8. Nir Friedman, "Plausibility Measures and Default Reasoning"
       9. Henry Kautz and Bart Selman, "Unifying {SAT}-Based and
       		Graph-Based Planning"
      10. Bernhard Nebel, "What is the Expressive Power of
      		Disjunctive Preconditions?"
      11. Norm Mccain, "Causal Calculator"
      12. Blai Bonet and H\'ector Geffner, "General Planning Tool (GPT)"
      13. Fahiem Bacchus, "{TL}Plan: Planning Using Declarative
      		Search Control (Abstract)"
      14. David S. Warren, "The {XSB} Tabled Logic Programming System
      		(Abstract)"
      15. Hector J. Levesque, "Two Approaches to Efficient Open-World Reasoning"
      16. T. Eiter and W. Faber and G. Gottlob and C. Koch
  		and C. Mateis and N. Leone and Gerald Pfeifer and
		F. Scarcello, "The {DLV} System"
      17. {John-Jules Ch.} Meyer, "Dynamic Logic for Reasoning about
      		Actions and Agents"
      18. Murray Shanahan, "Reinventing Shakey"
      19. V.S. Subrahmanian, "Interactive {M}aryland Platform for
      		Agents Collaborating Together"
      20. Ilke Niemel\"a, "Smodels: An Implementation of the Stable
      		Model Semantics for Normal Logic Programs"
      21. Chitta Baral and Michael Gelfond, "Reasoning Agents in
      		Dynamic Domains"
      22. Raymond Reiter, "The Cognitive Robotics Project at the
      		University of {T}oronto"
      23. Francesco Buccafurri and Thomas Eiter and Georg Gottlob
  		and Nicola Leone, "Applying Abduction Techniques to
		Verification"
      24. Steven H. Muggleton and F.A. Marginean, "Binary Refinement"
      25. Bart Selman, "Blackbox: A {SAT} Technology Planning System
      		(Abstract)"
      26. Victor Marek, "Default Reasoning System {DeReS} (Abstract)"
      27. Thomas Eiter, "Using the {DLV} System for {AI} Applications
      		(Abstract)"
      28. Raymond Reiter, "A Coffee Delivery {G}olog Program"
      29. Carlo Zaniolo, "Breaking through the Barriers of Stratification"
      30. J. Strother Moore, "Towards a Mechanically Checked Theory
      		of Computation: A Preliminary Report"
      31. Stephen H. Muggleton, "Progol"
      32. Alon Y. Levy, "Logic-Based Techniques in Data Integration"
      33. Brian C. Williams and P. Pandurang Nayak, "A Model-Based
      		Approach to Reactive Self-Configuring Systems"
      34. Don Loveland, "Applications of Theorem Proving"
      35. Georg Gottlob and Erich Gr\"adel and Helmut Veith, "Datalog
      		{LITE}"
      36. Krzysztof R. Apt, "Formulas as Programs: A Computational
      		Interpretation of First-Order Logic"
      37. Rina Dechter, "Unifying Structure-Driven Inference"
      38. Pascal Van Hentenryck, "Constraint Programming Languages
      		(Abstract)"
      39. Didier Dubois and Henri Prade, "Decision, Nonmonotonic
      		Reasoning and Possibilistic
  		Logic"
      40. Craig Boutilier, "The Role of Logic in Stochastic Decision
      		Processes"
      41. Lenhart K. Schubert, "The Situations We Talk about"
      42. Richmond H. Thomason, "Modeling the Beliefs of Other
      		Agents"
    },
  rtnote = {In RHT collection.},
  topic  = {logic-in-AI;logic-in-AI-survey;}
 }

@book{ minker_j:2000a,
  editor = {Jack Minker},
  title = {Logic-Based Artificial Intelligence},
  publisher = {Kluwer Academic Publishers},
  year = {2000},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  contentnote = {TC:
     1. Jack Minker, "Introduction To Logic-Based Artificial
     		Intelligence", Pp. 3--33
     2. John Mccarthy, "Concepts Of Logical {AI}", pp. 37--56
     3. Giuseppe De Giacomo and Hector J. Levesque, "Two Approaches to
     		Efficient Open-World Reasoning", pp. 59--78
     4. Thomas Eiter and Wolfgang Faber and Nicola Leone and
     		Gerald Pfeifer, "Declarative Problem-Solving in
		{DLV}", pp. 79--103
     5. James P. Delgrande and Torsten Schaub, "The Role of Default
       		Logic in Knowledge Representation", pp. 107--126
     6. Marc Deneker and Viktor Marek and Miroslaw
     		Truszczy\'nski, "Approximations, Stable Operators,
		Well-Founded Fixpoints and Applications in
		Nonmonotonic Reasoning", pp. 127--144
     7. Vladimir Lifschitz and Norman McCain and Emilio Remolina and
     		Armando Tacchella, "Getting to the Airport: The
		Oldest Planning Problem in {AI}", pp. 147--165
     8. Henry Kautz and Bart Selman, "Encoding Domain Knowledge for
       		Propositional Planning", pp. 169--186
     9. H\'ector Geffner, "Functional Strips", pp. 187--209
    10. Fiora Pirri and Raymond Reiter, "Planning with Natural
    		Actions in the Situation Calculus", pp. 213--231
    11. Murray Shanahan, "Reinventing {S}hakey", pp. 233--253
    12. Chitta Baral and Michael Gelfond, "Reasoning Agents in
      		Dynamic Domains", pp. 257--279
    13. {John-Jules Ch.} Meyer, "Dynamic Logic for Reasoning about
      		Actions and Agents", pp. 281--311
    14. Steven H. Muggleton and Flaviu A. Marginean, "Logic-Based
    		Machine Learning", pp. 315--330
    15. Salem Benferhat and Didier Dubois and H\'elene Fargier and
    		Henri Prade and R\'egis Sabbadin, "Decision, Nonmonotonic
      		Reasoning and Possibilistic Logic", pp. 333--358
    16. Don Perlis, "The Role of Belief in {AI}", pp. 361--374
    17. Richmond H. Thomason, "Modeling the Beliefs of Other
      		Agents", pp. 375--473
    18. Lenhart K. Schubert, "The Situations We Talk
    		about", pp. 407--439
    19. Georg Gottlob and Erich Gr\"adel and Helmut Veith, "Linear
    		Time Datalog and Branching Time Logic", pp. 443--467
    20. Bernhard Nebel, "On the Expressive Power of
      		Planning Formalisms", pp. 469--488
    21. Ilkka Niemel\"a and Patrick Simons, "Extending the {S}models
    		System with Cardinality and Weight
		Constraints", pp. 491--521
    22. Haixun Wang and Carlo Zaniolo, "Nonmonotonic Reasoning in
    		${\cal LDL^{++}}$", pp. 523--544
    23. J. Strother Moore, "Towards a Mechanically Checked Theory
      		of Computation", pp. 547--574
    24. Alon Y. Levy, "Logic-Based Techniques in Data
    		Integration", pp. 575--595
  },
  topic = {logic-in-AI;}
 }

@incollection{ minker_j:2000b,
  author = {Jack Minker},
  title = {Introduction To Logic-Based Artificial
     		Intelligence},
  booktitle = {Logic-Based Artificial Intelligence},
  publisher = {Kluwer Academic Publishers},
  year = {2000},
  editor = {Jack Minker},
  pages = {3--33 },
  address = {Dordrecht},
  topic = {logic-in-AI;}
  }

@article{ minker_j-etal:1973a,
  author = {Jack Minker and Daniel H. Fishman and James R.  McSkimin},
  title = {The {Q}* Algorithm---A Search Strategy for a Deductive
  	Question-Answering System},
  journal = {Artificial Intelligence},
  year = {1973},
  volume = {4},
  number = {3--4},
  pages = {225--243},
  topic = {theorem-proving;question-answering;}
  }

@incollection{ minker_j-etal:1991a,
  author = {Jack Minker and Jorge Lobo and Arcot Rajasekar},
  title = {Circumscription and Disjunctive Logic Programming},
  booktitle = {Artificial Intelligence and Mathematical Theory of
  	Computation},
  publisher = {Academic Press},
  year = {1991},
  editor = {Vladimir Lifschitz},
  pages = {281--304},
  address = {San Diego},
  topic = {circumscription;disjunctive-logic-programming;}
  }

@book{ minker_w-etal:1999a,
  author = {Wolfgang Minker and Alex Waibel and Joseph Mariani},
  title = {Stochastically-Based Semantic Analysis},
  publisher = {Kluwer Academic Publishers},
  year = {1999},
  address = {Dordrecht},
  ISBN = {0792385713},
  rtnote = {UMich Media Union Library, QA 76.9 .N38 M571 1999.},
  topic = {statistical-nlp;}
 }

@inproceedings{ minnen:1996a,
  author = {Guido Minnen},
  title = {Magic for Filter Optimization in Dynamic Bottom-up
  	Processing},
  booktitle = {Proceedings of the Thirty-Fourth Annual Meeting of the
  	Association for Computational Linguistics},
  year = {1996},
  editor = {Arivind Joshi and Martha Palmer},
  pages = {247--254},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco},
  topic = {parsing-algorithms;}
 }

@incollection{ minnen-etal:2000a,
  author = {Guido Minnen and Francis Bond and Ann Copestake},
  title = {Memory-Based Learning for Article Generation},
  booktitle = {Proceedings of the Fourth Conference on Computational
  	Natural Language Learning and of the Second Learning Language
	in Logic Workshop, {L}isbon, 2000},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  editor = {Claire Cardie and Walter Daelemans and Claire N\'edellec
  	and Erik Tjong Kim Sang},
  pages = {43--48},
  address = {Somerset, New Jersey},
  topic = {machine-language-learning;nl-generation;article-selection;}
  }

@book{ minsky:1969a,
  author = {Marvin Minsky},
  title = {Semantic Information Processing},
  publisher = {The {MIT} Press},
  year = {1969},
  address = {Cambridge},
  topic = {AI-classics;}
 }

@techreport{ minsky:1974a1,
  author = {Marvin Minsky},
  title = {A Framework for Representing Knowledge},
  institution = {Artificial Intelligence Laboratory, {MIT}},
  year = {1974},
  number = {306},
  xref = {Republished in haugeland:1981a.  And in Ronald J. Brachman
  	and Hector J. Levesque, Readings in Knowledge Representation.
	See minsky:1981a1, minsky:1981a2, minsky:1981a3.},
  topic = {kr;kr-course;frames;}
    }

@incollection{ minsky:1974a2,
  author = {Marvin Minsky},
  title = {A Framework for Representing Knowledge},
  booktitle = {Mind Design},
  publisher = {The {MIT} Press},
  year = {1981},
  editor = {John Haugeland},
  pages = {95--128},
  address = {Cambridge, Massachusetts},
  xref = {Tech Report: minsky:1974a1.},
  topic = {kr;kr-course;frames;}
  }

@incollection{ minsky:1975a3,
  author = {Marvin Minsky},
  title = {A Framework for Representing Knowledge},
  booktitle = {Psychology of Computer Vision},
  publisher = {McGraw-Hill},
  year = {1994},
  editor = {Patrick H. Winston},
  address = {New York},
  missinginfo = {pages},
  xref = {Tech Report: minsky:1974a1.},
  topic = {kr;kr-course;frames;}
  }

@book{ minsky:1985a,
  author = {Marvin Minsky},
  title = {The Society of Mind},
  publisher = {Simon and Schuster},
  year = {1985},
  address = {New York},
  ISBN = {0-671-60740-5},
  rtnote = {In RHT Collection.  LLP single author shelves.},
  topic = {philosophy-of-mind;cognitive-psychology;
  		philosophical-psychology;}
 }

@article{ minsky:1993a,
  author = {Marvin Minsky},
  title = {Book Review of `Unified Theories of Cognition', by
  	{A}llen {N}ewell},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {59},
  number = {1--2},
  pages = {343--354},
  xref = {Review of newell:1992a.},
  topic = {SOAR;cognitive-architectures;}
  }

@incollection{ minsky:1995a,
  author = {Marvin Minsky},
  title = {Alineable Rights},
  booktitle = {Android Epistemology},
  publisher = {Cambridge University Press},
  year = {1995},
  editor = {Kenneth M. Ford and Clark Glymour and Patrick J. Hayes},
  pages = {307--312},
  address = {Cambridge, England},
  topic = {philosophy-AI;}
  }

@book{ minsky:2006a,
  author = {Marvin Minsky},
  title = {The Emotion Machine},
  publisher = {Simon \& Schuster},
  year = {2006},
  address = {New York},
  ISBN-13 = {978-0-7432-7663-4},
  rtnote = {In RHT collection.  Cogsci shelves.},
  topic = {philosophy-of-AI;philosophy-of-mind;emotion;}
 }

@book{ minton:1988a,
  author = {Steven Minton},
  title = {Learning Search Control Knowledge: An Explanation-Based
    Approach},
  publisher = {Kluwer Academic Publishers},
  year = {1988},
  address = {Dordrecht},
  ISBN = {0898382947},
  rtnote = {UMich Media Union Library, Q 335 .M5641 1988.},
  xref = {Review: dejong_gf-gratch:1991a.},
  topic = {explanation-based-learning;machine-learning;
  	procedural-control;search;}
 }

@article{ minton:1990a,
  author = {Steven Minton},
  title = {Quantitative Results Concerning The Utility of
  	Explanation-Based Learning},
  journal = {Artificial Intelligence},
  year = {1990},
  volume = {42},
  number = {3},
  pages = {363--391},
  topic = {machine-learning;explanation-based-learning;}
  }

@book{ minton:1993a,
  editor = {Steven Minton},
  title = {Machine Learning Methods For Planning},
  publisher = {Morgan Kaufmann},
  year = {1993},
  address = {San Mateo, California},
  ISBN = {1558602488},
  rtnote = {UMich Media Union Library, Q 325.5 .M3231 1993.},
  topic = {machine-learning;planning;search;procedural-control;}
 }

@inproceedings{ minton:1996a,
  author = {Steven Minton},
  title = {Is There Any Need for Domain-Dependent Control
  	Information?  A Reply},
  booktitle = {Proceedings of the Thirteenth National Conference on
              Artificial Intelligence and the Eighth Innovative
	      Applications of Artificial Intelligence  Conference,
	      Vol. 2},
  year = {1996},
  editor = {William J. Clancey and Dan Weld},
  pages = {855--862},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {search;domain-(in)dependence;}
  }

@article{ minton-etal:1989a,
  author = {Steven Minton and Jaime Carbonell and Craig A. Knoblock
  	and Daniel R. Kuokka and Oren Etzioni and Yolanda Gil},
  title = {Explanation-Based Learning: A Problem Solving Perspective},
  journal = {Artificial Intelligence},
  year = {1989},
  volume = {40},
  number = {1--3},
  pages = {63--118},
  acontentnote = {Abstract:
     This article outlines explanation-based learning (EBL) and its
     role in improving problem solving performance through
     experience.  Unlike inductive systems, which learn by
     abstracting common properties from multiple examples, EBL
     systems explain why a particular example is an instance of a
     concept.  The explanations are then converted into operational
     recognition rules.  In essence, the EBL approach is analytical
     and knowledge-intensive, whereas inductive methods are empirical
     and knowledge-poor. This article focuses on extensions of the
     basic EBL method and their integration with the PRODIGY problem
     solving system.  PRODIGY's EBL method is specifically designed
     to acquire search control rules that are effective in reducing
     total search time for complex task domains.  Domain-specific
     search control rules are learned from successful problem solving
     decisions, costly failures, and unforeseen goal interactions.
     The ability to specify multiple learning strategies in a
     declarative manner enables EBL to serve as a general technique
     for performance improvement.  PRODIGY's EBL method is analyzed,
     illustrated with several examples and performance results, and
     compared with other methods for integrating EBL and problem
     solving.},
  topic = {machine-learning;explanation-based-learning;
  	procedural-control;}
  }

@incollection{ minton-etal:1992a,
  author = {Steven Minton and Mark Drummond and John L. Bresina
  	and Andrew B. Philips},
  title = {Total Versus Partial Order Planning:  Factors Influencing
  	Performance},
  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 = {83--92},
  address = {San Mateo, California},
  topic = {planning-algorithms;}
  }

@article{ mints:1993a,
  author = {Gregori Mints},
  title = {Resolution Calculus for the First Order Linear Logic},
  journal = {Journal of Logic, Language, and Information},
  year = {1993},
  volume = {2},
  number = {1},
  pages = {59--83},
  topic = {theorem-proving;resolution;linear-logic;}
  }

@article{ mints:1997a,
  author = {Grigori Mints},
  title = {Indexed Systems of Sequents and Cut-Elimination},
  journal = {Journal of Philosophical Logic},
  year = {1997},
  volume = {26},
  number = {6},
  pages = {671--696},
  topic = {proof-theory;modal-logic;}
  }

@article{ mints:1999a,
  author = {Gregori Mints},
  title = {Cut-Elimination for Simple Type Theory
  	with an Axiom of Choice},
  journal = {Journal of Symbolic Logic},
  year = {1999},
  volume = {64},
  number = {2},
  pages = {479--485},
  topic = {proof-theory;cut-free-deduction;higher-order-logic;
  	axiom-of-choice;}
  }

@article{ mints-etal:1996a,
  author = {Grigori Mints and Sergei Tupailo and Wilfried Buchholtz},
  title = {Epsilon Substitution Method for Elementary Analysis},
  journal = {Archive for Mathematical Logic},
  year = {1996},
  volume = {35},
  pages = {103--130},
  xref = {Review: kohlenbach:2000a.},
  topic = {epsilon-operator;elementary-analysis;proof-theory;}
  }

@book{ mio-katz_an:1996a,
  editor = {Jeffrey S. Mio and Albert N. Katz},
  title = {Metaphor},
  publisher = {Lawrence Erlbaum Associates},
  year = {1996},
  address = {Mahwah, New Jersey},
  topic = {psycholinguistics;metaphor;pragmatics;}
 }

@article{ miranda-zaffalon:2009a,
  author = {Enrique Miranda and Marco Zaffalon},
  title = {Coherence Graphs},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {173},
  number = {1},
  pages = {104-144},
  topic = {probability;coherence-graphs;}
  }

@incollection{ mircheva:1994a,
  author = {Marion Mircheva},
  title = {Logic Programs with Tests},
  booktitle = {Logic Programming Synthesis and Transformation,
  	Meta-Programming in Logic: Fourth International Workshops,
	{LOBSTR}'94 and	{META}'94, Pisa, Italy},
  publisher = {Springer-Verlag},
  year = {1994},
  editor = {Laurent Fribourg and Franco Turini},
  pages = {276--292},
  address = {Berlin},
  topic = {logic-programming;}
  }

@article{ mirou:1999a,
  author = {Adrian Mirou},
  title = {Actuality and World-Indexed Sentences},
  journal = {Studia Logica},
  year = {1999},
  volume = {63},
  number = {1},
  pages = {311--330},
  topic = {actuality;}
  }

@book{ mirowski:1986a,
  editor = {Philip Mirowski},
  title = {The Reconstruction of Economic Theory},
  publisher = {Kluwer Nijhoff Publishing},
  year = {1986},
  address = {Boston},
  ISBN = {0898382114},
  rtnote = {UMich Graduate Library, HB 171 .R381 1986.},
  topic = {history-of-economics;}
 }

@book{ mirowski:1989a,
  author = {Philip Mirowski},
  title = {More Heat Than Light: Economics as Social Physics, Physics
  	as Nature's Economics},
  publisher = {Cambridge University Press},
  year = {1989},
  address = {Cambridge},
  ISBN = {0521350425},
  rtnote = {UMich Graduate Library, HB 74 .P49 M571 1989.},
  topic = {history-of-physics;history-of-economics;}
 }

@book{ mirowski:2002a,
  author = {Philip Mirowski},
  title = {Machine Dreams: Economics Becomes a Cyborg Science},
  publisher = {Cambridge University Press},
  year = {2002},
  address = {Cambridge, England},
  ISBN = {0521772834},
  rtnote = {UMich Undergraduate: HB 71 .M6361 2002,
  	   Graduate Library: HB 71 .M6361 2002.},
  topic = {history-of-economics;}
 }

@article{ mirowski:2003a,
  author = {Philip Mirowski},
  title = {Mc{C}orduck's \emph{{M}achines {W}ho {T}hink} after
  		Twenty-Five Years: Revisiting the Origins of {AI}},
  journal = {The {AI} Magazine},
  year = {2003},
  volume = {24},
  number = {4},
  pages = {135--138},
  xref = {Retrospective review of: mccorduck:1979a.},
  topic = {popular-AI;cs-journalism;AI-philosophy;history-AI;}
  }

@book{ misch:1988a,
  editor = {Frederic C. Misch},
  title = {Webster's Ninth New Collegiate Dictionary},
  publisher = {Merriam-Webster Inc.},
  year = {1988},
  address = {Springfield, Massachusetts},
  topic = {language-reference;}
 }

@article{ mishne:2005a,
  author = {Gilad Mishne},
  title = {Review of \emph{{R}easoning and Unification over Conceptual
  		Graphs}, by {D}. {C}orbett},
  journal = {Journal of Logic, Language, and Information},
  year = {2005},
  volume = {14},
  number = {1},
  pages = {122--125},
  xref = {Review of: corbett_d:2003a},
  topic = {conceptual-graphs;unification;}
  }

@incollection{ mishra-etal:2004a,
  author = {Samil Mishra and Bruce Porter and Pedro Romero and
  		Dan Tecuci and Peter Yeh},
  title = {A Question-Answering System for {AP} Chemistry:  Assessing
  		{KR\&R} Technologies},
  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 = {488--497},
  address = {Menlo Park, California},
  topic = {kr;kr-systems;computer-assisted-science;}
  }

@phdthesis{ mitamura:1989a,
  author = {Teruko Mitamura},
  title = {The Hierarchical Organization of Predicate Conceptual Frames
	and Mapping Rules for Natural Language Processing},
  school = {University of Pittsburgh},
  year = {1989},
  type = {Ph.{D}. Dissertation},
  address = {Pittsburgh, Pennsylvania},
  rtnote = {In RHT collection.},
  topic = {computational-lexicography;}
 }

@inproceedings{ mitchell_dg-etal:1992a,
  author = {David G. Mitchell and Bart Selman and Hector J. Levesque},
  title = {Hard and Easy Distributions for {SAT} Problems},
  booktitle = {Proceedings of the Tenth National Conference on
              Artificial Intelligence},
  year = {1992},
  editor = {Paul Rosenbloom and Peter Szolovits},
  pages = {459--465},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {AI-search-statistics;}
  }

@article{ mitchell_dg-levesque:1996a,
  author = {David G. Mitchell and Hector J. Levesque},
  title = {Some Pitfalls for Experimenters with Random {SAT}},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {81},
  number = {1--2},
  pages = {111--125},
  topic = {search;experiments-on-theorem-proving-algs;
  	computational-phase-transitions;}
  }

@unpublished{ mitchell_jc:1986a,
  author = {John C. Mitchell},
  title = {Kripke-Style Semantics for Typed Lambda Calculus},
  year = {1986},
  note = {Unpublished manuscript, AT\&T Bell Labs},
  rtnote = {In RHT collection.},
  topic = {higher-order-logic;}
  }

@incollection{ mitchell_jc:1991a,
  author = {John C. Mitchell},
  title = {On the Equivalence of Data Representations},
  booktitle = {Artificial Intelligence and Mathematical Theory of
  	Computation},
  publisher = {Academic Press},
  year = {1991},
  editor = {Vladimir Lifschitz},
  pages = {305--329},
  address = {San Diego},
  topic = {abstract-data-types;higher-order-logic;}
  }

@book{ mitchell_jc:1996a,
  author = {John C. Mitchell},
  title = {Foundations for Programming Languages},
  publisher = {The {MIT} Press},
  year = {1996},
  address = {Cambridge, Massachusetts},
  topic = {theory-of-programming-languages;
  	semantics-of-programming-languages;}
 }

@inproceedings{ mitchell_jc-odonnell:1986a,
  author = {John C. Mitchell and Michael J. O'Donnell},
  title = {Realizability Semantics for Error-Tolerant Logics
  	(Preliminary Version)},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
  	Proceedings of the First Conference},
  year = {1986},
  editor = {Joseph Y. Halpern},
  pages = {363--381},
  publisher = {Morgan Kaufmann Publishers, Inc.},
  address = {Los Altos, California},
  topic = {relevance-logic;kr;}
  }

@article{ mitchell_jsb:1988a,
  author = {Joseph S.B. Mitchell},
  title = {An Algorithmic Approach to Some Problems in
  	Terrain Navigation},
  journal = {Artificial Intelligence},
  year = {1988},
  volume = {37},
  number = {1--3},
  pages = {171--201},
  topic = {motion-planning;}
  }

@article{ mitchell_m:1998a,
  author = {Melanie Mitchell},
  title = {Review of \emph{{H}andbook of Genetic Algorithms}, by
  	{L}.{D}. {D}avis},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {100},
  number = {1--2},
  pages = {325--330},
  xref = {Review of davis_ld:1991a.},
  topic = {genetic-algorithms;}
  }

@article{ mitchell_m:2006a,
  author = {Melanie Mitchell},
  title = {Complex Systems: Network Thinking},
  journal = {Artificial Intelligence},
  year = {2006},
  volume = {170},
  number = {18},
  pages = {1194--1212},
  topic = {complex-systems;analogical-reasoning;adapting-to-environments;}
  }

@article{ mitchell_sd:2000a,
  author = {Sandra D. Mitchell},
  title = {Dimensions of Scientific Law},
  journal = {Philosophy of Science},
  year = {2000},
  volume = {67},
  number = {2},
  pages = {242--265},
  topic = {philosophy-of-science;philosophy-of-biology;
  	causality;natural-laws;}
  }

@article{ mitchell_tm:1982a,
  author = {Tom M. Mitchell},
  title = {Generalization as Search},
  journal = {Artificial Intelligence},
  year = {1982},
  volume = {18},
  number = {2},
  pages = {203--226},
  acontentnote = {Abstract:
     The problem of concept learning, or forming a general
     description of a class of objects given a set of examples and
     non-examples, is viewed here as a search problem. Existing
     programs that generalize from examples are characterized in
     terms of the classes of search strategies that they employ.
     Several classes of search strategies are then analyzed and
     compared in terms of their relative capabilities and
     computational complexities.
  },
  topic = {concept-learning;complexity-in-AI;search;}
  }

@phdthesis{ mitchell_tm:1986a,
  author = {Tom M. Mitchell},
  title = {Version Space:  An Approach to Concept Learning},
  school = {Computer Science Department, Stanford University},
  year = {1986},
  type = {Ph.{D}. Dissertation},
  address = {Stanford, California},
  topic = {machine-learning;version-spaces;explanation-based-learning;}
 }

@article{ mitchell_tm:1997a,
  author = {Tom M. Mitchell},
  title = {Does Machine Learning Really Work?},
  journal = {{AI} Magazine},
  year = {1997},
  volume = {18},
  number = {3},
  pages = {11--20},
  topic = {machine-learning;}
  }

@book{ mitchell_tm:1997b,
  author = {Tom M. Mitchell},
  title = {Machine Learning},
  publisher = {McGraw-Hill},
  year = {1997},
  address = {Boston},
  rtnote = {In RHT collection.},
  xref = {Review: davis_e:2001a.},
  topic = {machine-learning;}
 }

@article{ mitchell_tm:2001a,
  author = {Tom Mitchell},
  title = {Author's Response to Reviews of {\it Machine Learning}},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {131},
  number = {1--2},
  pages = {223--225},
  topic = {machine-learning;AI-instruction;}
  }

@book{ mitchell_tm-etal:1986a,
  editor = {Tom M. Mitchell and Jaime G. Carbonell and Ryszard S.
  	Michalski},
  title = {Machine Learning: A Guide to Current Research},
  publisher = {Kluwer Academic Publishers},
  year = {1986},
  address = {Boston},
  topic = {machine-learning;}
 }

@incollection{ mitchell_tm-thrun:1996a,
  author = {Tom M. Mitchell and Sebastian B. Thrun},
  title = {Learning Analytically and Inductively},
  booktitle = {Mind Matters: A Tribute to {A}llen {N}ewell},
  publisher = {Lawrence Erlbaum Associates, Inc.},
  year = {1996},
  editor = {David M. Steier and Tom M. Mitchell},
  address = {Mahwah, New Jersey},
  pages = {85--110},
  topic = {cognitive-architectures;learning;induction;}
  }

@incollection{ mitchie:1996a,
  author = {Donald Mitchie},
  title = {Turing's Test and Conscious Thought},
  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 = {27--51},
  address = {Oxford},
  topic = {Turing;Turing-test;philosophy-of-mind;}
  }

@book{ mithun:1999a,
  author = {Marianne Mithun},
  title = {The Languages of Native {N}orth {A}merica},
  publisher = {Cambridge University Press},
  year = {1999},
  address = {Cambridge, England},
  ISBN = {0521232287},
  rtnote = {UMich Graduate Library, PM 108 .M65 1999.},
  topic = {native-languages-of-North-America;}
 }

@article{ mitkov:1999a,
  author = {Ruslan Mitkov},
  title = {Review of \emph{{C}entering Theory in Discourse}, edited by
  	{M}arilyn {W}alker, {A}rivind {J}oshi, and {E}llen {P}rince},
  journal = {Computational Linguistics},
  year = {1999},
  volume = {25},
  number = {4},
  pages = {625--62},
  xref = {Review of walker_ma-etal:1997b.},
  topic = {anaphora-resolution;centering;pragmatics;}
  }

@book{ mitkov:2002a,
  author = {Ruslan Mitkov},
  title = {Anaphora Resolution},
  publisher = {Longman},
  year = {2002},
  address = {London},
  ISBN = {0-582-32505-6},
  xref = {Review: strube:2003a},
  topic = {anaphora-resolution;}
 }

@book{ mitkov:2003a,
  editor = {Ruslan Mitkov},
  title = {The Oxford Handbook of Computational Linguistics},
  publisher = {Oxford University Press},
  year = {2003},
  address = {Oxford},
  ISBN = {0-19-823882-7},
  xref = {Review: jackson_p:2004a.},
  topic = {nl-processing;}
 }

@article{ mitkov:2004a,
  author = {Ruslan Mitkov},
  title = {Review of {\it {H}andbook for Language Engineers}, by },
  journal = {Computational Linguistics},
  year = {2004},
  volume = {30},
  number = {3},
  pages = {397--399},
  xref = {Review of: farghaly:2003a.},
  topic = {nlp;}
  }

@article{ mitkov-etal:2001a,
  author = {Ruslan Mitkov and Branimir Boguraev and Shalom Lappin},
  title = {Introduction},
  journal = {Computational Linguistics},
  year = {2001},
  volume = {27},
  number = {4},
  note = {Introduction to the Special Issue on Computational
  	Anaphora Resolution.},
  pages = {473--477},
  topic = {anaphora-resolution;}
  }

@book{ mitkov-nicolov:1997a,
  editor = {Ruslan Mitkov and Nicolas Nicolov},
  title = {Recent Advances in Natural Language Processing: Selected
 	Papers From {RANLP}'95},
  publisher = {J. Benjamins},
  year = {1997},
  address = {Amsterdam},
  ISBN = {9027236402},
  rtnote = {UMich Graduate Library, P 98 .R441 1997.},
  topic = {nl-processing;}
 }

@article{ mittal-etal:1998a,
  author = {Vibhu O. Mittal and Johanna D. Moore and Giussppe Carenini
  	and Steven Roth},
  title = {Describing Complex Charts in Natural Language: A
  	Caption Generation System},
  journal = {Computational Linguistics},
  year = {1998},
  volume = {24},
  number = {3},
  pages = {431--467},
  topic = {nl-generation;multimedia-generation;}
  }

@inproceedings{ mittal-moore_jd:1996a,
  author = {Vibhu O. Mittal and Johanna D. Moore},
  title = {Detecting Knowledge Base Inconsistencies Using Automated
  	Generation of Text and Examples},
  booktitle = {Proceedings of the Thirteenth National Conference on
              Artificial Intelligence and the Eighth Innovative
	      Applications of Artificial Intelligence  Conference,
	      Vol. 2},
  year = {1996},
  editor = {William J. Clancey and Dan Weld},
  pages = {483--488},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {nl-generation;inconsistency-detection;}
  }

@article{ mittelstaedt:1977a,
  author = {Peter Mittelstaedt},
  title = {Time Dependent Propositions and Quantum Logic},
  journal = {Journal of Philosophical Logic},
  year = {1977},
  volume = {6},
  number = {4},
  pages = {463--472},
  topic = {quantum-logic;temporal-logic;}
  }

@article{ mittelstaedt:1979a,
  author = {Peter Mittelstaedt},
  title = {The Modal Logic of Quantum Logic},
  journal = {Journal of Philosophical Logic},
  year = {1979},
  volume = {8},
  number = {4},
  pages = {479--504},
  topic = {modal-logic;quantum-logic;}
  }

@article{ mittelstaedt-stachow:1978a,
  author = {P. Mittelstaedt and E.-W. Stachow},
  title = {The Principle of Excluded Middle in Quantum Logic},
  journal = {Journal of Philosophical Logic},
  year = {1978},
  volume = {7},
  number = {2},
  pages = {181--208},
  topic = {quantum-logic;truth-value-gaps;}
  }

@book{ mitton:1996a,
  author = {Roger Mitton},
  title = {English Spelling and the Computer},
  publisher = {Longman},
  year = {1996},
  address = {London},
  rtnote = {In RHT Collection.  LLP single author shelves.},
  topic = {spelling-correction;}
 }

@article{ mittwoch:1976a,
  author = {Anita Mittwoch},
  title = {Grammar and Illocutionary Force},
  journal = {Lingua},
  year = {1976},
  volume = {40},
  pages = {21--42},
  missinginfo = {number},
  topic = {speech-acts;pragmatics;}
  }

@article{ mittwoch:1977a,
  author = {Anita Mittwoch},
  title = {How to Refer to One's Own Words: Speech Act Modifying
  	Adverbials and the Performative Analysis},
  journal = {Journal of Linguistics},
  year = {1977},
  volume = {13},
  pages = {177--189},
  missinginfo = {A's 1st name, number},
  topic = {speech-acts;}
  }

@article{ mittwoch:1988a,
  author = {Anna Mittwoch},
  title = {Aspects of {E}nglish Aspect: On the Interaction of
  	Perfect, Progressive and Durational Phrases},
  journal = {Linguistics and Philosophy},
  year = {1987},
  volume = {11},
  number = {2},
  pages = {203--254},
  topic = {tense-aspect;progressive-aspect;perfective-aspect;
  	nl-semantics;tense-aspect;Aktionsarten;}
  }

@article{ mittwoch:1993a,
  author = {Anita Mittwoch},
  title = {The Relation between {\it Schon/Already} and
  	{\it Noch/Still\/}: A Reply to {L}\"obner},
  journal = {Natural Language Semantics},
  year = {1993},
  volume = {2},
  number = {1},
  pages = {71--82},
  topic = {nl-semantics;tense-aspect;presupposition;pragmatics;
  	`already';`still';}
  }

@incollection{ mittwoch:1995a,
  author = {Anita Mittwoch},
  title = {The {E}nlish Perfect, Past Perfect, and Future Perfect
  	in a Reichenbachean Framework},
  booktitle = {Temporal Reference, Aspect, and Actuality},
  publisher = {Rosenberg and Sellier},
  year = {1995},
  editor = {Pier M. Bertinetto and V. Bianchi and \"Osten Dahl and
  	M. Squartini},
  pages = {255--267},
  address = {Torino},
  missinginfo = {E's 1st name},
  topic = {nl-semantics;tense-aspect;Aktionsarten;}
  }

@article{ mittwoch:2008a,
  author = {Anita Mittwoch},
  title = {The {E}nglish Resultative Perfect and Its Relationship to
  		the Experiential Perfect and the Simple Past Tense},
  journal = {Linguistics and Philosophy},
  year = {2008},
  volume = {31},
  number = {3},
  pages = {323--351},
  topic = {perfective-aspect;nl-tense;}
  }

@inproceedings{ miyao-tsujii:2005a,
  author = {Yusuke Miyao and Jun'ichi Tsujii},
  title = {Probabilistic Disambiguation Models for Wide-Coverage
  		{HPSG} Parsing},
  booktitle = {Proceedings of the 43rd Annual Meeting of the
  		Association for Computational Linguistics (ACL'05)},
  month = {June},
  year = {2005},
  address = {Ann Arbor, Michigan},
  publisher = {Association for Computational Linguistics},
  pages = {83--90},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1011},
  topic = {probabilistic-parsers;disambiguation;HPSG;}
  }

@article{ miyashita-sycara:1995a,
  author = {Kazuo Miyashita and Katia Sycara},
  title = {{CABINS}: A Framework of Knowledge Acquisition and Iterative
  	Revision for Schedule Improvement and Reactive Repair},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {76},
  number = {1--2},
  pages = {377--426},
  acontentnote = {Abstract:
     Practical scheduling problems generally require allocation of
     resources in the presence of a large, diverse and typically
     conflicting set of constraints and optimization criteria.  The
     ill-structuredness of both the solution space and the desired
     objectives make scheduling problems difficult to formalize.  This
     paper describes a case-based learning method for acquiring
     context-dependent user optimization preferences and tradeoffs
     and using them to incrementally improve schedule quality in
     predictive scheduling and reactive schedule management in
     response to unexpected execution events.  The approach,
     implemented in the CABINS system, uses acquired user preferences
     to dynamically modify search control to guide schedule
     improvement.  During iterative repair, cases are exploited for:
     (1) repair action selection, (2) evaluation of intermediate
     repair results and (3) recovery from revision failures.  The
     method allows the system to dynamically switch between repair
     heuristic actions, each of which operates with respect to a
     particular local view of the problem and offers selective repair
     advantages.  Application of a repair action tunes the search
     procedure to the characteristics of the local repair problem.
     This is achieved by dynamic modification of the search control
     bias.  There is no a priori characterization of the amount of
     modification that may be required by repair actions.  However,
     initial experimental results show that the approach is able to
     (a) capture and effectively utilize user scheduling preferences
     that were not present in the scheduling model, (b) produce
     schedules with high quality, without unduly sacrificing
     efficiency in predictive schedule generation and reactive
     response to unpredictable execution events along a variety of
     criteria that have been recognized as important in real
     operating environments.  },
  topic = {knowledge-acquisition;case-based-reasoning;machine-learning;
  	scheduling;}
  }

@article{ miyazaki_k-etal:1997a,
  author = {Kazuteru Miyazaki and Masayuki Yamamura and Shigenobu
  	Kobayashi},
  title = {k-Certainty Exploration Method: An Action Selector
  	to Identify the Environment in Reinforcement Learning},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {91},
  number = {1},
  pages = {155--171},
  topic = {machine-learning;reinforcement-learning;}
  }

@article{ miyazaki_y:2007a,
  author = {Yutaka Miyazaki},
  title = {Kripke Incomplete Logics Containing {KTB}},
  journal = {Studia Logica},
  year = {2007},
  volume = {85},
  number = {3},
  pages = {303--317},
  topic = {modal-logic;(in)completeness;}
  }

@article{ mizoguchi-etal:1999a,
  author = {F. Mizoguchi and H. Nichiyama and H. Ohwada and
  	H. Hiraishi},
  title = {Smart Office Robot Collaboration Based on Multi-Agent
  	Programming},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {114},
  number = {1--2},
  pages = {57--94},
  topic = {multiagent-planning;multiagent-systems;robotics;}
  }

@article{ modgil:2009a,
  author = {Sanjay Modgil},
  title = {Reasoning about Preferences in Argumentation Frameworks},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {173},
  number = {9--10},
  pages = {901--934},
  topic = {preferences;argumentation-theory;nonmonotonic-logic;}
  }

@article{ modi-etal:2005a,
  author = {Prajnesh Jay Modi and Wei-Min Shen and Milind Tambe
  		and Makoto Yokoo},
  title = {Adopt: Asynchronous Distributed Constraint Optimization
  		with Quality Guarantees},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {161},
  number = {1--2},
  pages = {149--180},
  topic = {constraint-satisfaction;distributed-processing;}
  }

@book{ modrak:2000a,
  author = {Deborah K.W. Modrak},
  title = {Aristotle's Theory of Language and Meaning},
  publisher = {Cambridge University Press},
  year = {2000},
  address = {Cambridge, England},
  ISBN = {052177266-4},
  xref = {Review: tierney:2000a.},
  topic = {Aristotle;philosophy-of-language;}
 }

@incollection{ moeller:1996a,
  author = {Jens-Uwe Moeller},
  title = {Domain Related Focus-Shifting Constraints
    		in Dialogues with Knowledge Based Systems},
  booktitle = {Trends in Natural Language Generation, An Artificial
  		Intelligence Perspective, Fourth {E}uropean Workshop,
		{EWNLG} '93, Pisa, Italy, April 28-30, 1993, Selected
		Papers},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  volume = {1036},
  year = {1996},
  editor = {Giovanni Adorni and Michael Zock},
  pages = {188--204},
  address = {New York},
  topic = {computational-dialogue;discourse-focus;}
  }

@phdthesis{ moens:1987a,
  author = {Marc Moens},
  title = {Tense, Aspect, and Temporal Reference},
  school = {University of Edinburgh},
  year = {1987},
  type = {Ph.{D}. Dissertation},
  address = {Edinburgh},
  topic = {nl-tense;nl-semantics;reference;}
 }

@article{ moens-steedman:1988a,
  author = {Marc Moens and Mark Steedman},
  title = {Temporal Ontology and Temporal Reference},
  journal = {Computational Linguistics},
  year = {1988},
  volume = {14},
  number = {2},
  pages = {15--28},
  rtnote = {In RHT collection.},
  topic = {nl-tense;nl-semantics;reference;}
  }

@article{ mohr-etal:1995a,
  author = {Roger Mohr and Boubakeur Boufama and Pascal Brand},
  title = {Understanding Positioning from Multiple Images},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {78},
  number = {1--2},
  pages = {213--238},
  acontentnote = {Abstract:
     It is possible to recover the three-dimensional structure of a
     scene using only correspondences between images taken with
     uncalibrated cameras (faugeras 1992).  The reconstruction
     obtained this way is only defined up to a projective
     transformation of the 3D space.  However, this kind of structure
     allows some spatial reasoning such as finding a path.  In order
     to perform more specific reasoning, or to perform work with a
     robot moving in Euclidean space, Euclidean or affine constraints
     have to be added to the camera observations.  Such constraints
     arise from the knowledge of the scene: location of points,
     geometrical constraints on lines, etc.  First, this paper
     presents a reconstruction method for the scene, then it
     discusses how the framework of projective geometry allows
     symbolic or numerical information about positions to be derived,
     and how knowledge about the scene can be used for computing
     symbolic or numerical relationships.  Implementation issues and
     experimental results are discussed. },
  topic = {computer-vision;robotics;motion-planning;}
  }

@article{ mohr-henderson_tc:1986a,
  author = {Roger Mohr and Thomas C. Henderson},
  title = {Arc and Path Consistency Revisited},
  journal = {Artificial Intelligence},
  year = {1986},
  volume = {28},
  number = {2},
  pages = {225

repository: sergiud/bibtex-spirit

repo_name: sergiud/bibtex-spirit