text:
lo Park, CA},
  missinginfo = {pages},
  rtnote = {In RHT collection.},
  topic = {lexical-disambiguation;}
  }

@inproceedings{ yarowsky:1995a,
  author = {David Yarowsky},
  title = {Unsupervised Word Sense Disambiguation
  	Rivaling Supervised Methods},
  booktitle = {Proceedings of the Thirty-Third Annual Meeting of the
  	Association for Computational Linguistics},
  year = {1995},
  editor = {Hans Uszkoreit},
  pages = {189--196},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  rtnote = {In RHT collection.},
  topic = {machine-learning;lexical-disambiguation;bootstrapping;}
 }

@book{ yarowsky-church_k:1995a,
  editor = {David Yarowsky and Kenneth W. Church},
  title = {Proceedings of the Third Workshop on Very
		Large Corpora},
  publisher = {Association for Computational Linguistics},
  year = {1995},
  address = {Somerset, New Jersey},
  contentnote = {TC:
	1. Eric Brill, "Unsupervised Learning of Disambiguation Rules for
		Part of Speech Tagging", pp. 1--13
	2. Carl de Marcken, "Lexical Heads, Phrase Structure, and Induction
		of Grammar", pp. 14--26
	3. Michael Collins and James Brooks, "Prepositional Attachment through
		a Backed-off Model", pp. 27--38
	4. Andrew Golding, "A Bayesian Hybrid Method for Context-Sensitive
		Spelling Correction", pp. 39--53
	5. Philip Resnik, "Disambiguating Noun Groupings with Respect to
		{W}ordnet Senses", pp. 54--68
	6. Dekai Wu, "Trainable Coarse Bilingual Grammars for Parallel Text
		Bracketing", pp. 69--81
	7. Lance Remshaw and Mitch Marcus, "Text Chunking Using
		Transformation-Based Learning", pp. 82--94
	8. Fernando Pereira et al., "Beyond Word N-Grams", pp. 95--106
	9. Jing-Shin Chang et al., "Automatic Construction of a {C}hinese
		Electronic Dictionary", pp. 107--120
       10. Kenneth Church and William Gale, "Inverse Document
       		Frequency (IDF): A Measure of Deviations from
		{P}oisson", pp. 121--130
       11. Joe Zhou and Pete Dapkus, "Automatic Suggestion of
       		Significant Terms for a Predefined Topic", pp. 131--147
       12. Ellen Riloff and Jay Shoen, "Automatically Acquiring
   		Conceptual Patterns without an Automated Corpus", pp. 148--161
       13. Hsin-Hsi Chen and Yue-Shi Lee, "Development of a Partially
       		Bracketed Corpus with Part-Of-Speech Information
		Only", pp. 162--172
       14. Pascale Fung, "COmpiling Bilingual Lexicon Entries from a
       		Non-Parallel {E}nglish-{C}hinese Corpus", pp. 173--183
       15. I. Dan Melamed, "Automatic Evaluation and Uniform Filter
       		Cascades for Inducing N-Best Translation
		Lexicons", pp. 184--198
    },
  rtnote = {In RHT Collection.  CL Workshop shelves.},
  topic = {corpus-linguistics;}
 }

@article{ yashin:1999a,
  author = {A.D. Yashin},
  title = {Irreflexive Modality in the Intuitionistic
  	Propositional Logic and {N}ovikov Completeness},
  journal = {Journal of Philosophical Logic},
  year = {1999},
  volume = {28},
  number = {2},
  pages = {175--197},
  topic = {intuitionistic-logic;}
  }

@article{ yasuhara:2003a,
  author = {Mitsuru Yasuhara},
  title = {Review of \emph{{A}n Introduction to Mathematical Logic
  	and Type Theory}, by {P}.{B}. {A}ndrews},
  journal = {The Bulletin of Symbolic Logic},
  year = {2003},
  volume = {9},
  number = {3},
  pages = {408},
  xref = {Review of: andrews_pb:2002a.},
  topic = {logic-intro;type-theory;}
  }

@article{ yatabe-inaoka:2006a,
  author = {Shunsuke Yatabe and Hiroyuki Inaoka},
  title = {On Evan's Vague Object from a Set-Theoretic Standpoint},
  journal = {Journal of Philosophical Logic},
  year = {2006},
  volume = {35},
  number = {4},
  pages = {423--434},
  topic = {vagueness;}
  }

@article{ yates-etal:1970a,
  author = {Robert A. Yates and Bertram Raphael and Timothy P.  Hart},
  title = {Resolution Graphs},
  journal = {Artificial Intelligence},
  year = {1970},
  volume = {1},
  number = {3--4},
  pages = {257--289},
  topic = {theorem-proving;resolution;}
  }

@incollection{ yazdani:1984a,
  author = {Masoud Yazdani},
  title = {Creativity in Men and Machines},
  booktitle = {The Mind and the Machine: Philosophical Aspects
  	of Artificial Intelligence},
  publisher = {Ellis Horwood, Ltd.},
  year = {1984},
  editor = {Steve B. Torrance},
  pages = {177--181},
  address = {Chichester},
  topic = {creativity;philosophy-of-AI;}
  }

@article{ yeap_wk:1988a,
  author = {Wai K. Yeap},
  title = {Towards a Computational Theory of Cognitive Maps},
  journal = {Artificial Intelligence},
  year = {1988},
  volume = {34},
  number = {3},
  pages = {297--360},
  acontentnote = {Abstract:
     A computational theory of cognitive maps is developed which can
     explain some of the current findings about cognitive maps in the
     psychological literature and which provides a coherent framework
     for future development.  The theory is tested with several
     computer implementations which demonstrate how the shape of the
     environment is computed and how one's conceptual representation
     of the environment is derived.  We begin with the idea that the
     cognitive mapping process should be studied as two loosely
     coupled modules: The first module, known as the raw cognitive
     map, is computed from information made explicit in Marr's
     2[$\textfrac{1}{2}$]-D sketch and not from high-level
     descriptions of what we perceive.  The second module, known as
     the full cognitive map, takes the raw cognitive map as input and
     produces different ``abstract presentations'' for solving
     high-level spatial tasks faced by the individual.  },
  topic = {spatial-reasoning;}
  }

@article{ yeap_wk:1998a,
  author = {Wai Kiang Yeap},
  title = {Emperor {AI}, Where Is Your Mind?},
  journal = {The {AI} Magazine},
  year = {1998},
  volume = {18},
  number = {4},
  pages = {137--144},
  topic = {foundations-of-AI;philosophy-of-AI;}
  }

@article{ yeap_wk-jeffreys:1999a,
  author = {Wai K. Yeap and Margaret E. Jeffries},
  title = {Computing a Representation of the Local Environment},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {107},
  number = {2},
  pages = {265--301},
  topic = {qualitative-reasoning;spatial-reasoning;map-building;}
  }

@article{ yeh-mellish:1997a,
  author = {Ching-Long Yeh and Chris Mellish},
  title = {An Empirical Study on the Generation of Anaphora in {C}hinese},
  journal = {Computational Linguistics},
  year = {1997},
  volume = {23},
  number = {1},
  pages = {169--190},
  topic = {nl-generation;anaphora;Chinese-language;}
  }

@inproceedings{ yelland:2000a,
  author = {Phillip M. Yelland},
  title = {An Alternative Combination of {B}ayesian Networks
          and Description Logics},
  booktitle = {{KR}2000: Principles of Knowledge Representation and
  	Reasoning},
  year = {2000},
  editor = {Anthony G. Cohn and Fausto Giunchiglia and Bart Selman},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  pages = {225--233},
  topic = {extensions-of-Bayesian-networks;Bayesian-networks;
  	description-logics;extensions-of-kl1;}
  }

@inproceedings{ yemini-cohen_d:1979a,
  author = {Y. Yemini and D. Cohen},
  title = {Some Issues in Distributed Process Communication},
  booktitle = {Proceedings of the First International Conference on
  	Distributed Computing Systems},
  year = {1979},
  pages = {199--203},
  missinginfo = {A's 1st name, publisher, address, editor},
  topic = {distributed-systems;communication-protocols;}
  }

@article{ yen-etal:1991a,
  author = {John Yen and Hsiao-Lei Juang and Robert MacGregor},
  title = {Using Polymorphism to Improve Expert System Maintainability},
  journal = {{IEEE} Expert},
  year = {1991},
  volume = {6},
  number = {2},
  pages = {48--55},
  month = {April},
  topic = {kr;expert-systems;hybrid-kr-architectures;production-systems;
  		kr-course;}
  }

@article{ yen-etal:1991b,
  author = {John Yen and R. Neches and Robert MacGregor},
  title = {{\sc clasp}: Integrating Term Subsumption Systems and
  	Production Systems},
  journal = {{IEEE} Transactions on Knowledge and Data Engineering},
  year = {1991},
  volume = {3},
  number = {1},
  pages = {25--32},
  month = {March},
  topic = {kr;hybrid-kr-architectures;kr-course;}
  }

@incollection{ yessininvolpin:1970a,
  author = {A. S. Yessinin-Volpin},
  title = {The Ultra-Intuitionistic Criticism and the
		Antitraditional Program for Foundations of Mathematics},
  booktitle = {Intuitionism and Proof Theory},
  publisher = {North-Holland},
  year = {1970},
  pages = {3--45},
  address = {Amsterdam},
  missinginfo = {A's 1st name.},
  topic = {intuitionistic-mathematics;foundations-of-mathematics;}
 }

@article{ yi_bu:1999a,
  author = {Byeong-Uk Yi},
  title = {Is Two a Property?},
  journal = {The Journal of Philosophy},
  year = {1999},
  volume = {96},
  number = {4},
  pages = {163--190},
  topic = {foundations-of-arithmetic;plural;
  	generalized-quantifiers;}
  }

@article{ yi_bu:2006a,
  author = {Byeong-Uk Yi},
  title = {The Logic and Meaning of Plurals. Part II},
  journal = {Journal of Philosophical Logic},
  year = {2006},
  volume = {35},
  number = {3},
  pages = {239--288},
  topic = {nl-semantics;plural;higher-order-logic;}
  }

@article{ yi_by:2005a,
  author = {Byeong-Uk Yi},
  title = {The Logic and Meaning of Plurals, Part {I}},
  journal = {Journal of Philosophical Logic},
  year = {2005},
  volume = {34},
  number = {5--6},
  pages = {459--506},
  topic = {nl-semantics;plural;higher-order-logic;}
  }

@inproceedings{ yi_ch:1995a,
 author = {Choongho Yi},
 title = {Towards Assessment of Logics for Concurrent Actions},
 booktitle = {Working Notes of the {AAAI} Spring Symposium on
 	Extending Theories of Action: Formal Theories and Applications},
 year = {1995},
 organization = {American Association for Artificial Intelligence},
 address = {Menlo Park, California},
 rtnote = {In RHT Collection.},
 missinginfo = {pages},
 topic = {action;planning-formalisms;concurrent-actions;}
 }

@article{ ying_ms:2006a,
  author = {Mingsheng Ying},
  title = {Linguistic Quantifiers Modeled by {S}ugeno Integrals},
  journal = {Artificial Intelligence},
  year = {2006},
  volume = {170},
  number = {6--7},
  pages = {581--606},
  topic = {fuzzy-logic;nl-quantifiers;}
  }

@article{ ying_ms:2009a,
  author = {Mingsheng Ying},
  title = {Quantum Computation, Quantum Theory and {AI}},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {174},
  number = {2},
  pages = {162--176},
  rtnote = {There is a good survey here of possible applications
  	of quantum computing.},
  topic = {AI-editorial;quantum-computing;}
  }

@article{ ying_ms-wang_hq:2002a,
  author = {Mingshen Ying and Huaiqing Wang},
  title = {Lattice-Theoretic Models of Conjectures, Hypotheses, and
  	Consequences},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {139},
  number = {2},
  pages = {253--267},
  topic = {hypothesis-management;lattice-theory;
  	reasoning-about-uncertainty;}
  }

@inproceedings{ yip:1988a1,
  author = {Kenneth {Man-Kam} Yip},
  title = {Generating Global Behaviors Using Deep Knowledge
    		of Local Dynamics},
  booktitle = {Proceedings of the Seventh National Conference on
              Artificial Intelligence},
  year = {1988},
  editor = {Reid Smith and Tom Mitchell},
  pages = {280--285},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, CA},
  xref = {Republication: yip:1988a2.},
  topic = {qualitative-simulation;qualitative-reasoning;
  		constraint-satisfaction;}
  }

@incollection{ yip:1988a2,
  author = {Kenneth {Man-Kam} Yip},
  title = {Generating Global Behaviors Using Deep Knowledge
    		of Local Dynamics},
  booktitle = {Qualitative Reasoning about Physical Systems},
  publisher = {Morgan Kaufmann},
  year = {1990},
  editor = {Daniel S. Weld and Johan de Kleer},
  pages = {470--475},
  address = {San Mateo, California},
  xref = {Republication of: yip:1988a1.},
  topic = {qualitative-simulation;qualitative-reasoning;
  		constraint-satisfaction;}
  }

@article{ yip:1991a,
  author = {Kenneth Man-Kam Yip},
  title = {Understanding Complex Dynamics by Visual and Symbolic
  	Reasoning},
  journal = {Artificial Intelligence},
  year = {1991},
  volume = {51},
  number = {1--3},
  pages = {179--221},
  acontentnote = {Abstract:
     Professional scientists and engineers routinely use nonverbal
     reasoning processes and graphical representations to organize
     their thoughts and as part of the process of solving otherwise
     verbally presented problems. This paper presents a computational
     theory and an implemented system that capture some aspects of
     this style of reasoning. The system, consisting of a suite of
     computer programs collectively known as KAM, uses numerical
     methods as a means to shift back and forth between symbolic and
     geometric methods of reasoning.  The KAM program has three novel
     features: (1) it articulates the idea that ``visual mechanisms
     are useful for problem solving'' into a workable computational
     theory, (2) it applies the approach to a domain of great
     technical difficulty, the field of complex nonlinear chaotic
     dynamics, and (3) it demonstrates the power of the approach by
     solving problems of real interest to working scientists and
     engineers.
   },
  topic = {spatial-reasoning;reasoning-about-physical-systems;
  	geometrical-reasoning;
	combined-qualitative-and-quantitative-reasoning;}
  }

@article{ yip:1996a,
  author = {Kenneth {Man-kam Yip}},
  title = {Model Simplification by Asymptotic Order of Magnitude
  	Reasoning},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {80},
  number = {2},
  pages = {309--348},
  topic = {reasoning-about-physical-systems;order-of-magnitude-reasoning;}
  }

@article{ yokoo-etal:2001a,
  author = {Makoto Yokoo and Yoko Sakurai and Shigeo Matsubara},
  title = {Robust Combinatorial Auction Protocol against False-Name
  	Bids},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {130},
  number = {2},
  pages = {167--181},
  topic = {electronic-commerce;auction-protocols;game-theory;}
  }

@article{ yokoo-etal:2005a,
  author = {Makoto Yokoo and Koutarou Suzuki and Katsutishi Hirayama},
  title = {Secure Distributed Constraint Satisfaction: Reaching
  		Agreement without Revealing Private Information},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {161},
  number = {1--2},
  pages = {229--245},
  topic = {constraint-satisfaction;distributed-processing;}
  }

@phdthesis{ yoo:1997a,
  author = {Eun Jung Yoo},
  title = {Quantifiers and Wh-Interrogatives in the Syntax-Semantics
    Interface},
  school = {The Ohio State University},
  year = {1997},
  type = {Ph.{D}. Dissertation},
  address = {Columbus, Ohio},
  topic = {nl-quantifiers;interrogatives;nl-semantics;}
 }

@article{ yoon:1996a,
  author = {Yongeun Yoon},
  title = {Total and Partial Predicates and the Weak and Strong
  	Interpretation},
  journal = {Natural Language Semantics},
  year = {1996},
  volume = {4},
  number = {3},
  pages = {217--236},
  topic = {donkey-anaphora;}
  }

@article{ york:1992a,
  author = {Jeremy York},
  title = {Use of the {G}ibbs Sampler in Expert Systems},
  journal = {Artificial Intelligence},
  year = {1992},
  volume = {56},
  number = {1},
  pages = {115--130},
  acontentnote = {Abstract:
     The use of the Gibbs sampler as an alternative to other methods
     of performing calculations on a (Bayesian) belief network is
     surveyed, with reference to similar work in statistical analysis
     of genetic pedigrees.  This Monte Carlo technique is one of many
     such methods which generate a Markov chain with a specified
     stationary distribution.  If the distribution of the belief
     network is strictly positive, then convergence of the Gibbs
     sampler follows; however, the weaker condition of irreducibility
     is all that is necessary for convergence.  Practical implications
     of these requirements are discussed, with illustrations.  Methods
     for assessing the variability of estimates produced by the Gibbs
     sampler are described.  },
  topic = {expert-systems;Bayesian-networks;}
  }

@article{ yoshida-notoda:1995a,
  author = {Ken'ichi Yoshida and Hiroshi Motoda},
  title = {{CLIP}: Concept Learning from Inference Patterns},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {75},
  number = {1},
  pages = {63--92},
  acontentnote = {Abstract:
     A new concept-learning method called CLIP (concept learning from
     inference patterns) is proposed that learns new concepts from
     inference patterns, not from positive/negative examples that
     most conventional concept learning methods use.  The learned
     concepts enable an efficient inference on a more abstract level.
     We use a colored digraph to represent inference patterns.  The
     graph representation is expressive enough and enables the
     quantitative analysis of the inference pattern frequency.  The
     learning process consists of the following two steps: (1)
     Convert the original inference patterns to a colored digraph,
     and (2) Extract a set of typical patterns which appears
     frequently in the digraph.  The basic idea is that the smaller
     the digraph becomes, the smaller the amount of data to be
     handled becomes and, accordingly, the more efficient the
     inference process that uses these data.  Also, we can reduce the
     size of the graph by replacing each frequently appearing graph
     pattern with a single node, and each reduced node represents a
     new concept.  Experimentally, CLIP automatically generates
     multilevel representations from a given physical/single-level
     representation of a carry-chain circuit.  These representations
     involve abstract descriptions of the circuit, such as
     mathematical and logical descriptions.  },
  topic = {concept-learning;graph-based-reasoning;}
  }

@incollection{ yoshimura:1998a,
  author = {Akiko Yoshimura},
  title = {Procedural Semantics and Metalinguistic Negation},
  booktitle = {Relevance Theory: Applications and Implications},
  publisher = {John Benjamins Publishing Co.},
  year = {1998},
  editor = {Robyn Carston and Seiji Uchida},
  pages = {105--122},
  address = {Amsterdam},
  topic = {relevance-theory;negation;}
  }

@article{ you-etal:1999a,
  author = {Jia-Huai You and Xianchang Wang and Li Yan Yuan},
  title = {Compiling Defeasible Inheritance Networks to
  	General Logic Programs},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {113},
  number = {1--2},
  pages = {247--268},
  topic = {inheritance-theory;}
  }

@incollection{ youd-mcglashen:1992a,
  author = {Nick J. Youd and Scott McGlashen},
  title = {Generating Utterances in Dialogue Systems},
  booktitle = {Aspects of Automated Natural Language Generation: 6th
    International Workshop on Natural Language Generation, {T}rento,
    {I}taly, April 5--7, 1992},
  publisher = {Springer-Verlag},
  year = {1992},
  editor = {Robert Dale and Eduard Hovy and Dietmar R\"ossner and
  	Oliviero Stock},
  pages = {135--149},
  address = {Berlin},
  topic = {nl-generation;computational-dialogue;bidirectional-parsing;}
  }

@article{ youmans:1991a,
  author = {Gilbert Youmans},
  title = {A New Tool for Discourse Analysis: The Vocabulary
  	Management Profile},
  journal = {Language},
  year = {1991},
  volume = {67},
  number = {4},
  pages = {763--789},
  rtnote = {pragmatics-course;},
  topic = {discourse-analysis;corpus-statistics;pragmatics;}
  }

@article{ young_hp:2007a,
  author = {H. Peyton Young},
  title = {The Possible and the Impossible in Multi-Agent Learning},
  journal = {Artificial Intelligence},
  year = {2007},
  volume = {171},
  number = {7},
  pages = {429--433},
  topic = {multiagent-learning;game-theory;Nash-equilibria;}
  }

@inproceedings{ young_ma:1992a,
  author = {Mark A. Young},
  title = {Nonmonotonic Sorts for Feature Structures},
  booktitle = {Proceedings of the Tenth National Conference on
              Artificial Intelligence},
  year = {1992},
  editor = {Paul Rosenbloom and Peter Szolovits},
  pages = {596--601},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection},
  topic = {default-unification;nm-ling;}
  }

@phdthesis{ young_ma:1994a,
  author = {Mark A. Young},
  title = {Features, Unification, and Nonmonotonicity},
  school = {University of Michigan},
  year = {1994},
  address = {Ann Arbor, Michigan},
  topic = {default-unification;}
 }

@article{ young_ma-cohen_r1:1991a,
  author = {Mark A. Young and Robin Cohen},
  title = {Determining Intended Evidence Relations in Natural Language
  	Arguments},
  journal = {Computational Intelligence},
  year = {1991},
  volume = {7},
  pages = {110--118},
  missinginfo = {number},
  topic = {argumentation;nl-interpretation;}
  }

@incollection{ young_ra:1999a,
  author = {Robert A. Young},
  title = {Context and Supercontext},
  booktitle = {Modeling and Using Contexts: Proceedings of
	the Second International and Interdisciplinary
	Conference, {CONTEXT}'99},
  publisher = {Springer-Verlag},
  year = {1999},
  editor = {Paolo Bouquet and Luigi Serafini and Patrick
	Br\'ezillon	and Massimo Benerecetti and Francesca
	Castellani},
  pages = {417--441},
  address = {Berlin},
  topic = {context;philosophy-of-science;philosophical-realism;}
  }

@inproceedings{ young_ra:2001a,
  author = {Roger A. Young},
  title = {Explanation as Contextual},
  booktitle = {Modeling and Using Context: Third International and
  	Interdisciplinary Conference, Context 2001},
  publisher = {Springer-Verlag},
  year = {2001},
  editor = {Varol Akman and Paolo Bouquet and Richmond Thomason
  	and Roger A. Young},
  pages = {381--394},
  address = {Berlin},
  topic = {context;explanation;philosophy-of-science;}
  }

@inproceedings{ young_ra:2003a,
  author = {Robert A. Young},
  title = {Demonstratives, Reference and Perception},
  booktitle = {Modeling and Using Context: Fourth International and
  	Interdisciplinary Conference, Context 2003},
  publisher = {Springer-Verlag},
  year = {2003},
  editor = {Patrick Blackburn and Chiara Ghidini and Roy M. Turner
  	and Fausto Giunchiglia},
  pages = {383--396},
  address = {Berlin},
  topic = {context;demonstratives;perceptual-reasoning;}
  }

@incollection{ young_ra:2007a,
  author = {Roger A. Young},
  title = {Context and Philosophy of Science},
  booktitle = {Perspectives on Context},
  publisher = {CSLI Publications},
  year = {2007},
  editor = {Paolo Bouquet and Luciano Serafini and Richmond H. Thomason},
  pages = {251--279},
  address = {Stanford, California},
  topic = {context;philosophy-of-science;explanation;}
  }

@book{ young_rb-zhou_zp:2003a,
  editor = {Robert B. Young and Yuping Zhou},
  title = {Proceedings from Semantics and Linguistic Theory {XIII}},
  publisher = {Cornell University},
  year = {2003},
  address = {Ithaca, New York},
  note = {Available from CLC Publications, Department of Linguistics,
  	Morrill Hall, Cornell University, Ithaca, NY 14853-4701.},
  contentnote = {TC:
   1. Klaus Abels, "Who Gives a Damn about Minimizers in
   		Questions?", pp. 1--18
   2. Nicholas Asher and Linton Wang, "Ambiguity and Anaphora with
   		Plurals in Discourse", pp. 19--36
   3. David I. Beaver and Cleo Condoravdi, "A Uniform Analysis of Before
   		and After", pp. 37--54
   4. Richard Breheny, "A Lexical Account of Implicit (Bound)
   		Contectual Dependence", pp. 55--72
   5. Edit Doron, "Bare Singular Reference to Kinds", pp. 73--90
   6. Jean Mark Gawron and Andrew Kehler, "Respective Answers to
   		Coordinated Questions", pp. 91--108
   7. Daniel Hardt, "Sloppy Identity, Binding and
   		Centering", pp. 109--126
   8. Michaela Ippolito, "Quantification over Times in Subjunctive
   		Conditionals", pp. 127--144
   9. Graham Katz, "A Modal Account of the English Present Perfect
   		Puzzle", pp. 145--161
  10. Ji-yung Kim, "Intermediate Scope in ({M}andarin)
  		{C}hinese", pp. 162--179
  11. Manfred Krifka, "Bare {NP}s: Kind-referring, Indefinites, Both,
  		or Neither?", pp. 180--203
  12. S.-Y. Kuroda, "Milsark's Generalization and Categorical
  		Judgments", pp. 204--201
  13. Dmitry Levinson, "Probabilistic Model-theoretic Semantics for
  		Want", pp. 202--239
  14. Luisa Mart\'i, "Contextual Variables as Pronouns", pp. 240--257
  15. Uli Sauerland, "A New Semantics for Number", pp. 258--275
  16. Penka Stateva, "Superlative More", pp. 276--291
  17. Robert van Rooy and Marie \v{S}\'af\v{r}ov\'a, "On Polar
  		Questions", pp. 292--309
  18. Andrea Wilhelm, "Quasi-Telic Perfective Aspect in {D}\"ene
  		{S}\c{u}{\l}inin\'e ({C}hipewyan)", pp. 310--327
    },
  rtnote = {In RHT Collection.  LLP edited shelves.},
  topic = {nl-semantics;}
 }

@inproceedings{ young_rm1:1994b,
  author = {R. Michael Young},
  title = {Decomposition and Causality in Partial Order Planning},
  booktitle = {Proceedings of the Second International Conference
  	on {AI} and Planning Systems},
  year = {1994},
  missinginfo = {editor, pages, organization, publisher, address},
  rtnote = {In RHT collection.},
  topic = {planning-formalisms;discourse-planning;pragmatics;}
  }

@inproceedings{ young_rm1:1995a,
  author = {R. Michael Young},
  title = {The Role of Plans and Planning in Task-Related Discourse},
  booktitle = {Working Notes of the {AAAI} Spring Symposium on
 	Extending Theories of Action: Formal Theories and Applications},
  year = {1995},
  organization = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  rtnote = {In RHT Collection.},
  missinginfo = {pages},
  topic = {planning-formalisms;discourse-planning;pragmatics;}
  }

@techreport{ young_rm1:1996a,
  author = {R. Michael Young},
  title = {A Developer's Guide to the Longbow Discourse Planning
  	System},
  institution= {Intelligent Systems Program, University of Pittsburgh},
  year = {1996},
  address = {Pittsburgh, Pennsylvania},
  topic = {discourse-planning;pragmatics;}
}

@techreport{ young_rm1:1996b,
  author = {R. Michael Young},
  title = {A Developer's Guide to the Longbow Discourse Planning
  	System},
  institution= {Intelligent Systems Program, University of Pittsburgh},
  number = {96-1},
  year = {1996},
  address = {Pittsburgh, Pennsylvania},
  rtnote = {In RHT collection.},
  topic = {nl-generation;pragmatics;}
}

@phdthesis{ young_rm1:1997b,
  author = {R. Michael Young},
  title = {Generating Concise Descriptions of Complex Activities},
  school = {Intelligent Systems Program, University of Pittsburgh},
  year = {1997},
  type = {Ph.{D}. Dissertation},
  address = {Pittsburgh, Pennsylvania},
  topic = {nl-generation;plan-description;}
 }

@article{ young_rm1:1999a,
  author = {R. Michael Young},
  title = {Using {G}rice's Maxim of Quantity to Select the Content
  	of Plan Descriptions},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {115},
  number = {2},
  pages = {215--256},
  topic = {nl-generation;plan-description;}
  }

@techreport{ young_rm1-etal:1994a1,
  author = {R. Michael Young and Johanna D. Moore and Martha E.
  	Pollack},
  title = {Towards a Principled Representation of Discourse Plans},
  institution = {Intelligent Systems Program, University of
  	Pittsburgh},
  number = {94--2},
  year = {1994},
  address = {Pittsburgh, Pennsylvania},
  rtnote = {In RHT collection.},
  xref = {Also published as young_rm-etal:1994a2},
  topic = {planning-formalisms;discourse-planning;pragmatics;}
  }

@inproceedings{ young_rm1-etal:1994a2,
  author = {R. Michael Young and Johanna D. Moore and Martha E.
  	Pollack},
  title = {Towards a Principled Representation of Discourse Plans},
  booktitle = {Proceedings of the Sixteenth Annual Meeting of the
       {C}ognitive {S}cience {S}ociety},
  year = {1994},
  organization = {Cognitive Science Society},
  missinginfo = {editor, pages, publisher, address},
  rtnote = {In RHT collection.},
  xref = {Also published as young_rm1-etal:1994a1},
  topic = {planning-formalisms;discourse-planning;pragmatics;}
  }

@inproceedings{ young_rm1-etal:1995a,
  author = {R. Michael Young and Martha E. Pollack and
                  Johanna D. Moore},
  title = {Decomposition and Causality in Partial Order Planning},
  year = {1994},
  booktitle = {Second International Conference on Artificial
  	Intelligence and Planning Systems},
  note = {Also Technical Report 94-1, Intelligent Systems Program,
  	University of Pittsburgh.},
  topic = {planning;}
}

@inproceedings{ young_rm1-moore_jd:1994a,
  author = {R. Michael Young and Johanna D. Moore},
  title = {D{POCL}: {A} Principled Approach to Discourse Planning},
  year = {1994},
  booktitle = {Seventh International Workshop on Natural Language Generation},
  address = {Kennebunkport, Maine},
  pages = {13--20},
  topic = {planning;discourse-planning;pragmatics;}
}

@incollection{ young_rm2:1996a,
  author = {Richard M. Young},
  title = {Functionality Matters:  Capacity Constraints and {S}oar},
  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 = {179--187},
  topic = {cognitive-architectures;cognitive-psychology;}
  }

@book{ young_s-bloothooft:1997a,
  editor = {Steve Young and Gerrit Bloothooft},
  title = {Corpus-Based Methods in Language
  	and Speech Processing},
  publisher = {Kluwer Academic Publishers},
  year = {1997},
  address = {Dordrecht},
  xref = {Review: bruce:1998a},
  topic = {corpus-methods;nl-processing;}
 }

@article{ yourgrau:1985a,
  author = {Palle Yourgrau},
  title = {On the Logic of Indeterminist Time},
  journal = {The Journal of Philosophy},
  year = {1985},
  volume = {82},
  number = {10},
  pages = {548--559},
  topic = {branching-time;future-contingent-propositions;}
  }

@book{ yourgrau:1991a,
  author = {Palle Yourgrau},
  title = {The Disappearance of Time: {K}urt
  	{G}\"odel and the Idealistic Tradition in Philosophy},
  publisher = {Cambridge University Press},
  year = {1991},
  address = {Cambridge, England},
  xref = {Review: schlesinger_g:1993a.},
  topic = {philosophy-of-time;Goedel;}
 }

@book{ yourgrau:1999a,
  author = {Palle Yourgrau},
  title = {{G}\"odel Meets {E}instein: Time Travel in the {G}\"odel
  	Universe},
  publisher = {Open Court},
  year = {1999},
  address = {Chicago},
  xref = {Review: weinstein_s2:2002a.},
  topic = {temporal-direction;}
 }

@article{ yu_acl:2003a,
  author = {Alan C.L. Yu},
  title = {Pluractionality in {C}hechen},
  journal = {Natural Language Semantics},
  year = {2003},
  volume = {11},
  number = {3},
  pages = {289--321},
  topic = {pluractionality;Chechen-language;}
  }

@inproceedings{ yu_k:2005a,
  author = {Kun Yu and Gang Guan and Ming Zhou},
  title = {Resume Information Extraction with Cascaded Hybrid Model},
  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 = {499--506},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1062},
  topic = {information-extraction;}
  }

@article{ yu_p:1979a,
  author = {Paul Yu},
  title = {On the {G}ricean Program about Meaning},
  journal = {Linguistics and Philosophy},
  year = {1979},
  volume = {3},
  number = {2},
  pages = {273--288},
  rtnote = {pragmatics-course;},
  topic = {speaker-meaning;pragmatics;}
  }

@article{ yu_sj:2009a,
  author = {Shun-Zheng Yu},
  title = {Hidden Semi-{M}arkov Models},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {174},
  number = {2},
  pages = {215--243},
  topic = {hidden-Markov-models;}
  }

@article{ yu_y-zhou_zh:2008a,
  author = {Yang Yu and Zhi-Hua Zhou},
  title = {A New Approach to Estimating the Expected First Hitting
  		Time of Evolutionary Algorithms},
  journal = {Artificial Intelligence},
  year = {2008},
  volume = {172},
  number = {15},
  pages = {1809--1832},
  topic = {evolutionary-algorithms;}
  }

@incollection{ yuille-ullman:1990a,
  author = {A. Yuille and S. Ullman},
  title = {Computational Theories of Low-Level Vision},
  booktitle = {An Invitation to Cognitive Science.  Volume
  	2: Visual Cognition and Action},
  publisher = {The {MIT} Press},
  year = {1990},
  editor = {Daniel N. Osherson and Howard Lasnik},
  pages = {5--39},
  address = {Cambridge, Massachusetts},
  topic = {cognitive-psychology;human-vision;visual-reasoning;}
  }

@inproceedings{ yvon:1997a,
  author = {Fran\c{c}ois Yvon},
  title = {Paradigmatic Cascades: A Linguistically Sound Model
  	of Pronunciation by Analogy},
  booktitle = {Proceedings of the Thirty-Fifth Annual Meeting of the
		{A}ssociation for {C}omputational {L}inguistics and Eighth
		Conference of the {E}uropean Chapter of the {A}ssociation
		for {C}omputational {L}inguistics},
  year = {1997},
  editor = {Philip R. Cohen and Wolfgang Wahlster},
  pages = {428--435},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  topic = {pronunciation-models;analogy;}
 }

@incollection{ zabell:2009a,
  author = {Sandy Zabell},
  title = {Philosophy of Inductive Logic: The Bayesian Perspective},
  booktitle = {The Development of Modern Logic},
  publisher = {Oxford University Press},
  year = {2009},
  editor = {Leila Haaparanta},
  pages = {724--774},
  address = {Oxford},
  topic = {history-of-logic;inductive-logic;}
  }

@article{ zach:2004a,
  author = {Richard Zach},
  title = {Decidability of Quantified and Propositional Intuitionistic
  	Logic and {S4} on Trees if Height and Arity $\leq\omega$},
  journal = {Journal of Philosophical Logic},
  year = {2004},
  volume = {33},
  number = {2},
  pages = {155--164},
  topic = {decidability;intuitionistic-logic;modal-logic;}
  }

@incollection{ zackova-etal:2000a,
  author = {Eva \v{Z}a\v{c}kov\'a and Lobo\v{s} Popelinsk\'y and
            Milo\v{s} Nepil},
  title = {Recognition and Tagging of Compound Verb Groups in
	    {C}zech},
  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 = {219--225},
  address = {Somerset, New Jersey},
  topic = {machine-language-learning;Czech-language;collocations;
  	corpus-tagging;}
  }

@article{ zadeh:1975a,
 author = {Lotfi Zadeh},
 title = {Fuzzy Logic and Approximate Reasoning},
 journal = {Synt\`hese},
 year = {1975},
 volume = {30},
 pages = {407--428},
 topic = {fuzzy-logic;vagueness;}
 }

@article{ zadeh:1978a,
 author = {Lotfi Zadeh},
 title = {Fuzzy Sets as a Basis for Possibility},
 journal = {Fuzzy Sets and Systems},
 year = {1978},
 volume = {1},
 pages = {3--28},
 topic = {fuzzy-logic;qualitative-probability;}
 }

@book{ zadeh-kacprzyk:1992a,
  editor = {Lotfi A. Zadeh and Janusz Kacprzyk},
  title = {Fuzzy Logic for the Management of Uncertainty},
  publisher = {John Wiley \&{} Sons},
  year = {1992},
  address = {New York},
  ISBN = {0-471-54799-9},
  topic = {fuzzy-logic;}
 }

@incollection{ zadrozny:1989a,
  author = {Wlodek Zadrozny},
  title = {Cardinalities and Well Orderings in a Common-Sense Set
  	Theory},
  booktitle = {{KR}'89: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1989},
  editor = {Ronald J. Brachman and Hector J. Levesque and Raymond Reiter},
  pages = {486--497},
  address = {San Mateo, California},
  topic = {kr;set-theory;common-sense-reasoning;kr-course;}
  }

@article{ zadrozny:1994a,
  author = {Wlodek Zadrozny},
  title = {From Compositional to Systematic Semantics},
  journal = {Linguistics and Philosophy},
  year = {1994},
  volume = {17},
  number = {4},
  pages = {329--342},
  contentnote = {Proves that any semantics can be encoded
  	compositionally.},
  topic = {compositionality;nl-semantics;}
  }

@inproceedings{ zadrozny:1997a,
  author = {Wlodek Zadrozny},
  title = {A Pragmatic Approach to Context (Preliminary Report)},
  booktitle = {Working Papers of the {AAAI} Fall Symposium on
  	Context in Knowledge Representation and Natural Language},
  year = {1997},
  editor = {Sa\v{s}a Buva\v{c} and {\L}ucia Iwa\'nska},
  pages = {187--196},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  topic = {context;}
  }

@incollection{ zadrozny-kokar:1990a,
  author = {Wlodek Zadrozny and Mieczyslaw M. Kokar},
  title = {A Logical Model of Machine Learning: A Study of Vague
  	Predicates},
  booktitle = {Change of Representation and Inductive Bias},
  publisher = {Kluwer Academic Publishers},
  year = {1990},
  editor = {P. Benjamin},
  pages = {247--266},
  address = {Dordrecht},
  topic = {machine-learning;vagueness;}
  }

@book{ zaenan:1981a,
  editor = {Annie Zaenan},
  title = {Subjects and Other Subjects: Proceedings of the {H}arvard
  	Conference on the Representation of Grammatical Relations},
  publisher = {Indiana University Linguistics Club},
  year = {1981},
  address = {310 Lindley Hall, Bloomington, Indiana},
  rtnote = {In RHT Collection.  LLP edited shelves.},
  topic = {grammatical-relations;}
 }

@article{ zaenan:2000a,
  author = {Annie Zaenan},
  title = {Review of \emph{{L}ocal Constraints vs. Economy}, by
  	{D}avid {E}. Johnson and {S}halom {L}appin},
  journal = {Computational Linguistics},
  year = {2000},
  volume = {26},
  number = {2},
  pages = {265--266},
  xref = {Review: zaenan:2000a.},
  topic = {nl-syntax;minimalist-syntax;}
  }

@incollection{ zagzebski:2000a,
  author = {Linda Zagzebski},
  title = {Does Libertarianian Freedom Require
    		Alternative Possibilities?},
  booktitle = {Philosophical Perspectives 14: Action and Freedom},
  publisher = {Blackwell Publishers},
  year = {2000},
  editor = {James E. Tomberlin},
  pages = {231--248},
  address = {Oxford},
  topic = {freedom;(in)determinism;}
  }

@incollection{ zagzebski:2005a,
  author = {Linda Zagzebski},
  title = {Foreknowledge and Free Will},
  booktitle = {The {S}tanford Encyclopedia of Philosophy},
  editor = {Edward N. Zalta},
  url = {http://plato.stanford.edu/archives/fall2005/entries/free-will-foreknowledge/},
  year = {2005},
  quarter = {Fall 2005},
 rtnote = {In RHT collection.},
 topic = {freedom;volition;foreknowledge;}
}

@incollection{ zaharlick:1982a,
  author = {Amy Zaharlick},
  title = {Tanoan Studies: Passive Sentences in {P}icuris},
  booktitle = {Grammatical Relations and Relational Grammar},
  publisher = {Linguistics Department, The Ohio State University},
  year = {1982},
  editor = {Brian Joseph},
  pages = {34--48},
  address = {Columbus, Ohio},
  topic = {passive;Tanoan-languages;}
  }

@article{ zahavi-etal:2008a,
  author = {Uzi Zahavi and Ariel Felner and Robert C. Holte and
  		Jonathan Schaeffer},
  title = {Duality in Permutation State Spaces and the Dual Search
  		Algorithm},
  journal = {Artificial Intelligence},
  year = {2008},
  volume = {172},
  number = {4--5},
  pages = {514--540},
  topic = {heuristics;search;}
  }

@article{ zajec:1992a,
  author = {R\'emi Zajec},
  title = {Inheritance and Constraint-Based Grammar Formalisms},
  journal = {Computational Linguistics},
  year = {1992},
  volume = {18},
  number = {2},
  pages = {159--182},
  topic = {inheritance;unification-grammars;}
  }

@incollection{ zajec:1998a,
  author = {R\'emi Zajec},
  title = {Feature Structures, Unification and Finite State
  	Transducers},
  booktitle = {{FSMNLP'98}: International Workshop on Finite State
  	Methods in Natural Language Processing},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Lauri Karttunen},
  pages = {101--109},
  address = {Somerset, New Jersey},
  topic = {nl-processing;finite-state-nlp;finite-state-automata;
  	feature-structures;unification-of-FSs;}
  }

@article{ zakharyaschev:1996a,
  author = {Michael Zakharyaschev},
  title = {Canonical Formulas for {K4}, Part {II}: Cofinal Subframe
  	Logics},
  journal = {The Journal of Symbolic Logic},
  year = {1996},
  volume = {61},
  number = {2},
  pages = {421--449},
  topic = {modal-logic;}
  }

@article{ zakharyaschev:1997a,
  author = {Michael Zakharyaschev},
  title = {Canonical Formulas for $K4$.  Part {III}: the
		Finite Model Property},
  journal = {Journal of Symbolic Logic},
  year = {1997},
  volume = {62},
  number = {3},
  pages = {950--975},
  topic = {modal-logic;finite-model-property;}
  }

@article{ zakharyaschev:1997b,
  author = {Michael Zakharyaschev},
  title = {The Greatest Extension of {S4} into which Intuitionistic
		Logic is Embeddable},
  journal = {Studia Logica},
  year = {1997},
  volume = {59},
  number = {3},
  pages = {345--358},
  topic = {intuitionistic-logic;modal-logic;}
  }

@article{ zakharyaschev:2000a,
  author = {Michael Zakharyaschev},
  title = {Review of \emph{{M}ulti-Dimensional Modal Logic},
		by {M}aarten {M}arx and {Y}de {V}enema},
  journal = {Journal of Logic, Language, and Information},
  year = {2000},
  volume = {9},
  number = {1},
  pages = {131--132},
  xref = {Review of marx-venema:1997a.},
  topic = {modal-logic;}
  }

@article{ zalabardo:2005a,
  author = {Jos\'e L. Zalabardo},
  title = {Externalism, Skepticism, and the Problem of Easy Knowledge},
  journal = {The Philosophical Review},
  year = {2005},
  volume = {114},
  number = {1},
  pages = {33--61},
  topic = {knowledge;skepticism;}
  }

@article{ zalta:1988a,
  author = {Edward N. Zalta},
  title = {A Comparison of Two Intensional Logics},
  journal = {Linguistics and Philosophy},
  year = {1988},
  volume = {11},
  number = {1},
  pages = {59--89},
  topic = {intensional-logic;property-theory;}
  }

@article{ zalta:1993a,
  author = {Edward N. Zalta},
  title = {Twenty-Five Basic Theorems in Situation and World Theory},
  journal = {Journal of Philosophical Logic},
  year = {1993},
  volume = {22},
  number = {4},
  pages = {385--428},
  topic = {situation-theory;intensional-logic;}
  }

@article{ zalta:1999a,
  author = {Edward N. Zalta},
  title = {Natural Numbers and Natural Cardinals as Abstract
  	Objects:  A Partial Reconstruction of {F}rege's
	{\it Grundgesetze} in Object Theory},
  journal = {Journal of Philosophical Logic},
  year = {1999},
  volume = {28},
  number = {6},
  pages = {619--660},
  topic = {foundations-of-arithmetic;property-theory;}
  }

@article{ zamansky-etal:2006a,
  author = {Anna Zamansky and Nissim Francez and Yoad Winter},
  title = {A `Natural Logic' Inference System Using the {L}ambek
  		Calculus},
  journal = {Journal of Logic, Language, and Information},
  year = {2006},
  volume = {15},
  number = {3},
  pages = {273--295},
  topic = {lambda-calculus;}
  }

@incollection{ zamansky-etal:2006b,
  author = {Anna Zamansky and Arnon Avron},
  title = {Non-Deterministic Semantics for First-Order
  		Paraconsistent Logics},
  booktitle = {{KR}2006: Proceedings, Tenth International Conference on
      Principles of  Knowledge Representation and Reasoning},
  publisher = {AAAI Press},
  year = {2006},
  editor = {Patrick Doherty and John Mylopoulos and Christopher A. Welty},
  pages = {431--439},
  address = {Menlo Park, California},
  topic = {paraconsistency;}
  }

@book{ zampolli:1977a,
  editor = {Antonio Zampolli},
  title = {Linguistic Structures Processing},
  publisher = {North-Holland Publishing Co.},
  year = {1977},
  address = {Amsterdam},
  ISBN = {0444850171},
  rtnote = {UMich Graduate Library, P98 .I5751 1974.},
  topic = {nl-processing;}
 }

@book{ zampolli-etal:1994a,
  editor = {Antonio Zampolli and Nicoletta Calzolari and Martha Palmer},
  title = {Current Issues in Computational Linguistics: Essays in
  	Honour of {D}on {W}alker},
  publisher = {Giardini Editori e Stampatori and Kluwer Academic
  	Publishers},
  year = {1994},
  address = {Pisa and Dordrecht},
  contentnote = {TC:
    1. Karen Sparck Jones, "Natural Language Processing: A
		Historical Review", pp. 3--16
    2. Jane Robinson, "On Getting a Computer to Listen", pp. 17--39
    3. Barbara Grosz, "Utterance and Objective: Issues in Natural
			Language Computation", pp. 21--39
    4. Margaret King, "On the Proper Place of Semantics in
		Machine Translation", pp. 41--57
    5. Gary G. Hendrix and Earl D. Sacerdoti and Daniel Sagalowicz and
		Jonathan Slocum, "Developing a Natural Language Interface to
		Complex Data", pp. 59--107
    6. Karen Kukich and Kathleen McKeown and James Shaw and Jacques Robin and
		J. Lim and N. Morgan and J. Phillips, "User-Needs
		Analysis and Design Methodology for an Automated
		Document Generator", pp. 109--115
    7. Branamir Boguraev, "Machine-Readable Dictionaries and Computational
    		Linguistics Research", pp. 119--154
    8. Robert A. Amsler, "Research Toward the Development of a Lexical
    		Knowledge Base for Natural Language Translation", pp. 155--175
    9. Roy J. Byrd, "Discovering Relationships Among Word Senses",
    	pp. 177--189
   10. Eva Haji\v{c}ov\'a and A. Rosen, "Machine Readable
		Dictionary as a Source of Grammatical Information",
		pp. 191--199
   11. Sumali Pin-Ngern Conlon and Joanne Dardaine and Agnes D'Souza
		and Martha Evens and Sherwood Haynes and Jong-Sun Kim
		and Robert Strutz, "The {IIT} Lexical Database: Dream
		and Reality", pp. 201--
   12. Judith L. Klavans, "Visions of the Digital Library: Views
   		on Using Computational Linguistics and Semantic
		Nets in Information Retrieval", pp. 227--236
   13. Beryl T. Atkins and Judy Kegl and Beth Levin, "Anatomy of a
   	Verb Entry: From Linguistic Theory to Lexicographic Practice",
	pp. 237--266
   14. Nicoletta Calzolari, "Issues for Lexicon Building", pp. 267--
   15. Nancy Ide and Jacques Le Maitre and Jean V\'eronis, "Outline
   		of a Model for Lexical Databases", pp. 283--320
   16. Lori Levin and Sergei Nirenburg, "Construction-Based
		{MT} Lexicons", pp. 321--338
   17. Petr Sgall, "Dependency-Based Grammatical Information
   		in the Lexicon", pp. 339--344
   18. Helmut Schnelle, "Semantics in the Brain's Lexicon---Some
   		Preliminary Remarks on Its Epistemology", pp. 345--356
   19. Donald E. Walker, "The Ecology of Language", pp. 359--375
   20. Douglas Biber, "Representativeness in Corpus Design", pp. 377--407
   21. C.M. Sperberg-McQueen, "The Text-Encoding Initiative", pp. 409--427
   22. William A. Gale and Kenneth W. Church and David
   		Yarowsky, "Discrimination Decisions for 100,000-Dimensional
		Spaces", pp. 429--450
   23. Susan Armstrong-Warwick "Acquisition and Exploitation of
   		Textual Resources for {NLP}", pp. 451--465
   24. Susan Hockey "The Center for Electronic Texts in the
   		Humanities", pp. 467--478
   25. Nicholas J. Belkin "Design Principles for Electronic
   		Textual Resources: Investigating Uses of
		Scholarly Information", pp. 479--488
   26. Aravind K. Joshi "Some Recent Trends in Natural
   		Language Processing", pp. 491--501
   27. Jerry R. Hobbs and John Bear, "Two Principles of
   		Parse Preference", pp. 503--512
   28. Makoto Nagao, "Varieties of Heuristics in Sentence
   		Parsing", pp. 513--523
   29. R. Johnson and R. Lugner, "{UD}, Yet Another Unification
   		Device", pp. 525--534
   30. Joyce Friedman and Douglas B. Moran and David S. Warren,
   		"Evaluating {E}nglish Sentences in a Logical Model",
		pp. 535--551
   31. Martha S. Palmer and Deborah A. Dahl and Rebecca J.
   		Schiffman and Lynette Hirschman and Marcia
		Linebarger and John Dowding, "Recovering Implicit
		Information", pp. 553--567
   32. C\'ecile L. Paris, "Flexible Generation: Taking the User into
   		Account", pp. 569--583
   33. Yorik Wilks "Stone Soup and the French Room", pp. 585--595
   },
  rtnote = {In RHT collection.  AI Shelves.},
  topic = {computational-lexicography;computational-linguistics;
  		corpus-linguistics;}
 }

@unpublished{ zanaboni:1991a,
  author = {Anna Maria Zanaboni},
  title = {Reasoning about Knowledge: Notes of {R}ohit Parikh's
  	Lectures},
  year = {1991},
  note = {Unpublished manuscript, Universit\'a di Milano},
  rtnote = {In RHT collection.},
  topic = {epistemic-logic;}
  }

@article{ zanardo:1985a,
  author = {Alberto Zanardo},
  title = {A Finite Axiomatization of the Strongly Valid {O}ckhamist
  	Formulas},
  journal = {Journal of Philosophical Logic},
  year = {1985},
  volume = {14},
  pages = {447--468},
  missinginfo = {number},
  rtnote = {tmix-project;},
  topic = {branching-time;}
  }

@article{ zanardo:1991a,
  author = {Alberto Zanardo},
  title = {A Complete Deductive-System for Since-Until Branching
		Time Logic},
  journal = {Journal of Philosophical Logic},
  year = {1991},
  volume = {20},
  number = {2},
  pages = {131--148},
  rtnote = {tmix-project;},
  topic = {branching-time;}
  }

@article{ zanardo:1996a,
  author = {Alberto Zanardo},
  title = {Branching-Time Logic with Quantification Over Branches:
  	The Point of View of Modal Logic},
  journal = {The Journal of Symbolic Logic},
  year = {1996},
  volume = {61},
  number = {1},
  pages = {1--39},
  rtnote = {tmix-project;},
  topic = {branching-time;}
  }

@techreport{ zanardo:1997a1,
  author = {Alberto Zanardo},
  title = {Undivided and Indistinguishable Histories in Branching-Time
  	Logics},
  institution = {Dipartimento di Matematica Pura ed Applicata,
  	Universita' Degli Studi di Padova},
  number = {15},
  year = {1997},
  address = {Via Belzoni 7, 35131 Padova, Italia},
  rtnote = {In RHT collection.},
  topic = {branching-time;}
  }

@article{ zanardo:1997a2,
  author = {Alberto Zanardo},
  title = {Undivided and Indistinguishable Histories in
  	Branching-Time Logics},
  journal = {Journal of Logic, Language, and Information},
  year = {1998},
  volume = {7},
  number = {3},
  pages = {297--315},
  topic = {branching-time;}
  }

@unpublished{ zanardo:1998a,
  author = {Alberto Zanardo},
  title = {Non-Definability of the Class of Complete Bundled Trees},
  year = {1998},
  note = {Unpublished manuscript, Department of Mathematics, University
		of Padova.},
  rtnote = {In RHT collection.},
  topic = {branching-time;}
  }

@article{ zanardo:2006a,
  author = {Alberto Zanardo},
  title = {Quantification over Sets of Possible Worlds in Branching
  		Time Semantics},
  journal = {Studia Logica},
  year = {2006},
  volume = {82},
  number = {1},
  pages = {379-400},
  topic = {propositonal-quantification;branching-time;}
  }

@inproceedings{ zancanaro-etal:1997a,
  author = {Massimo Zancanaro and Oliviero Stock and Carlo Strapparava},
  title = {A Discussion on Augmenting and Executing {S}hared{P}lans
  	for Multimodal Communication},
  booktitle = {Working Notes: {AAAI} Fall Symposium on Communicative
		Action in Humans and Machines},
  year = {1997},
  pages = {106--112},
  organization = {{AAAI}},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  editor = {David R. Traum},
  rtnote = {In RHT collection.},
  topic = {speech-acts;discourse;pragmatics;}
  }

@inproceedings{ zaniolo:1999a,
  author = {Carlo Zaniolo},
  title = {Breaking through the Barriers of Stratification},
  booktitle = {Workshop on Logic-Based Artificial Intelligence,
	       Washington, DC, June 14--16, 1999},
  year = {1999},
  editor = {Jack Minker},
  publisher = {Computer Science Department, University of Maryland},
  address = {College Park, Maryland},
  topic = {deductive-databases;stratified-logic-programs;}
  }

@article{ zardini:2008a,
  author = {Elia Zardini},
  title = {A Model of Tolerance},
  journal = {Studia Logica},
  year = {2008},
  volume = {90},
  number = {3},
  pages = {337--368},
  topic = {vagueness;sorites-paradox;multivalued-logic;}
  }

@incollection{ zardini:2008b,
  author = {Elia Zardini},
  title = {Truth and What is Said},
  booktitle = {Philosophical Perspectives 22, 2008: Philosophy of
  		Language},
  publisher = {Blackwell Publishers},
  year = {2008},
  editor = {John Hawthorne},
  pages = {545--574},
  address = {Oxford},
  topic = {context;assertion;truth;philosophy-of-language;}
  }

@unpublished{ zaremski-wing:1995a,
  author = {Amy Moorman Zaremski and Jeanette Wing},
  title = {Specification Matching of Software Components},
  year = {1995},
  note = {Unpublished manuscript, Carnegie Mellon University},
  rtnote = {In RHT collection.  Filed under "Wing".},
  topic = {software-engineering;}
  }

@article{ zaremski-wing:1997a,
  author = {Amy Zaremski and Jennifer Wing},
  title = {Specification Matching of Software Components},
  journal = {{ACM} Transactions on Software Engineering and Methodology},
  year = {1997},
  volume = {6},
  number = {3},
  pages = {333--369},
  rtnote = {In RHT collection.},
  topic = {software-engineering;}
  }

@article{ zaring:1996a,
  author = {Laurie Zaring},
  title = {`{T}wo Be or Not Two Be': Identity, Predication and the
  	{W}elsh Copula},
  journal = {Linguistics and Philosophy},
  year = {1996},
  volume = {19},
  number = {2},
  pages = {103--142},
  topic = {identity;predication;Welsh-language;copula;}
  }

@incollection{ zarnic:1999a,
  author = {Berislav \v{Z}arni\'c},
  title = {A Dynamic Solution for the Problem
	of Validity of Practical Propositional Inference},
  booktitle = {Proceedings of the Twelfth {A}msterdam Colloquium},
  publisher = {ILLC/Department of Philosophy, University
	of Amsterdam},
  year = {1999},
  editor = {Paul Dekker},
  pages = {235--240},
  address = {Amsterdam},
  topic = {dynamic-logic;practical-reasoning;}
  }

@incollection{ zarri:1992a,
  author = {Gian Piero Zarri},
  title = {The `Descriptive' Component of a Hybrid Knowledge
  	Representation Language},
  booktitle = {Semantic Networks in Artificial Intelligence},
  publisher = {Pergamon Press},
  year = {1992},
  editor = {Fritz Lehmann},
  pages = {696--718},
  address = {Oxford},
  topic = {kr;semantic-networks;description-logics;kr-course;}
  }

@inproceedings{ zavrel-daelemans:1997a,
  author = {Jakub Zavrel and Walter Daelemans},
  title = {Memory-Based Learning: Using Similarity for Smoothing},
  booktitle = {Proceedings of the Thirty-Fifth Annual Meeting of the
		{A}ssociation for {C}omputational {L}inguistics and Eighth
		Conference of the {E}uropean Chapter of the {A}ssociation
		for {C}omputational {L}inguistics},
  year = {1997},
  editor = {Philip R. Cohen and Wolfgang Wahlster},
  pages = {436--443},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  topic = {statistical-nlp;machine-language-learning;smoothing;}
 }

@incollection{ zavrel-etal:1998a,
  author = {Jakub Zavrel and Walter Daelemans and Jorn Veenstra},
  title = {Resolving {PP} Attachment Ambiguities with
		Memory-Based Learning},
  booktitle = {{CoNLL97}: Computational Natural Language Learning},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {T. Mark Ellison},
  pages = {136--144},
  address = {Somerset, New Jersey},
  topic = {machine-language-learning;word-acquisition;disambiguation;}
  }

@article{ zechner:2002a,
  author = {Klaus Zechner},
  title = {Automatic Summarization of Open-Domain Multiparty
  	Dialogues in Diverse Genres},
  journal = {Computational Linguistics},
  year = {2002},
  volume = {28},
  number = {4},
  pages = {447--485},
  topic = {text-summary;computational-dialogue;}
  }

@book{ zeeman:1977a,
  author = {E. C. Zeeman},
  title = {Catastrophe Theory: Selected Papers 1972--1977},
  year = {1977},
  publisher = {Addison-Wesley},
  address = {London},
  topic = {catastrophe-theory;}
 }

@incollection{ zeevat:1984a,
  author = {Henk Zeevat},
  title = {Belief},
  booktitle = {Varieties of Formal Semantics},
  publisher = {Foris Publications},
  year = {1984},
  editor = {Fred Landman and Frank Veltman},
  pages = {405--425},
  address = {Dordrecht},
  topic = {belief;propositional-attitudes;}
  }

@incollection{ zeevat:1986a,
  author = {Henk Zeevat},
  title = {A Treatment of Belief Sentences In Discourse
  	Representation Theory},
  booktitle = {Studies in Discourse Representation Theory and the Theory of
                   Generalized Quantifiers},
  publisher = {Foris Publications},
  year = {1986},
  editor = {Jeroen Groenendijk and Dick de Jongh and Martin Stokhof},
  pages = {189},
  address = {Dordrecht},
  topic = {discourse-representation-theory;hyperintensionality;
  	propositional-attitudes;intentional-identity;belief;pragmatics;}
  }

@incollection{ zeevat:1988a,
  author = {Henk Zeevat},
  title = {Realism and Definiteness},
  booktitle = {Properties, Types and Meaning, Vol. 2},
  year = {1988},
  editor = {Gennaro Chierchia and Barbara Partee and Raymond Turner},
  publisher = {Kluwer Academic Publishers},
  pages = {269--297},
  address = {Dordrecht},
  topic = {nl-semantics;definiteness;}
  }

@article{ zeevat:1989a,
  author = {Henk Zeevat},
  title = {A Compositional Approach to Discourse Representation
  	Theory},
  journal = {Linguistics and Philosophy},
  year = {1989},
  volume = {12},
  number = {1},
  pages = {95--131},
  topic = {discourse-representation-theory;compositionality;}
  }

@article{ zeevat:1992a,
  author = {Henk Zeevat},
  title = {Presupposition and Accommodation in Update Semantics},
  journal = {Journal of Semantics},
  year = {1992},
  volume = {12},
  number = {4},
  pages = {379--412},
  topic = {presupposition;accommodation;belief-revision;
		dynamic-semantics;nonmonotonic-logic;}
  }

@incollection{ zeevat:1999a,
  author = {Henk Zeevat},
  title = {Explaining Presupposition Triggers},
  booktitle = {Proceedings of the Twelfth {A}msterdam Colloquium},
  publisher = {ILLC/Department of Philosophy, University
		of Amsterdam},
  year = {1999},
  editor = {Paul Dekker},
  pages = {19--24},
  address = {Amsterdam},
  topic = {presupposition;optimality-theory;nm-ling;}
  }

@incollection{ zeevat:2003a,
  author = {Henk Zeevat},
  title = {The Syntax Semantics Interface of Speech Act Markers},
  booktitle = {Diabruck 2003: Proceedings of the 7th Workshop on the
  	Semantics and Pragmatics of Dialogue},
  publisher = {Universit\"at des Saarlandes},
  year = {2003},
  editor = {Ivana Kruijff-Korbayov\'a and Claudia Kosny},
  pages = {155--161},
  address = {Saarbr\"ucken},
  topic = {discourse;pragmatics;speech-acts;}
  }

@incollection{ zeevat-etal:1987a,
  author = {Henk Zeevat and Ewan Klein and Jo Calder},
  title = {Unification Categorial Grammar},
  booktitle = {Working Papers in Cognitive Science, Volume 1: Categorial
  	Grammar, Unification Grammar and Parsing},
  publisher = {Centre for Cognitive Science, University of Edinburgh},
  year = {1987},
  editor = {Nicholas Haddock and Ewan Klein and Glyn Morrill},
  pages = {195--223},
  address = {Edinburgh},
  topic = {categorical-grammar;unification-grammars;}
  }

@article{ zeevat-vandersandt:1992a,
  author = {Henk Zeevat and Rob A. {van der Sandt}},
  title = {Editorial Introduction (to a Special Issue on Presupposition},
  journal = {Journal of Semantics},
  year = {1992},
  volume = {9},
  number = {3},
  pages = {287--288},
  topic = {presupposition;}
  }

@book{ zeglen:1999a,
  editor = {Urszula M. \.Zegle\'n},
  title = {Donald {D}avidson: Truth, Meaning, and Knowledge},
  publisher = {Routledge},
  year = {1999},
  address = {New York},
  ISBN = {0-415-18904-7},
  topic = {Donald-Davidson;analytic-philosophy;}
 }

@book{ zeidenberg:1990a,
  author = {Matthew Zeidenberg},
  title = {Neural Network Models in Artificial Intelligence},
  publisher = {Ellis Horwood},
  year = {1990},
  address = {New},
  ISBN = {0745806007},
  rtnote = {UMich Media Union Library, QA 76.5 .Z361 1990.},
  topic = {connectionism;}
 }

@book{ zelinskywibbelt:1993a,
  editor = {Cornelia Zelinsky-Wibbelt},
  title = {The Semantics of Prepositions: From Mental Processing
  	to Natural Language Processing},
  publisher = {Mouton de Gruyter},
  year = {1993},
  address = {Berlin},
  topic = {prepositions;nl-semantics;cognitive-semantics;}
 }

@article{ zemach:1974a,
  author = {Eddy M. Zemach},
  title = {Epistemic Opacity},
  journal = {Logique et Analyse, Nouvelle S\'erie},
  year = {1974},
  volume = {14},
  number = {56},
  missinginfo = {pages},
  topic = {epistemic-logic;}
  }

@incollection{ zemach:1979a,
  author = {Eddy M. Zemach},
  title = {Awareness of Objects},
  booktitle = {Meaning and Use: Papers Presented at the Second
		{J}erusalem Philosophy Encounter},
  publisher = {D. Reidel Publishing Co.},
  year = {1979},
  editor = {Avishai Margalit},
  pages = {23--30},
  address = {Dordrecht},
  topic = {logic-of-perception;}
  }

@incollection{ zemach:1986a,
  author = {Eddy Zemach},
  title = {Unconscious Mind or Conscious Minds?},
  booktitle = {Midwest Studies in Philosophy Volume {X}:
  	Studies in the Philosophy of Mind},
  publisher = {University of Minnesota Press},
  year = {1986},
  editor = {Peter A. French and Theodore E. {Uehling, Jr.} and Howard K.
  	Wettstein},
  pages = {121--149},
  address = {Minneapolis},
  topic = {consciousness;philosophy-of-psychology;}
  }

@article{ zemach:1997a,
  author = {Eddy M. Zemach},
  title = {Practical Reasons for Belief?},
  journal = {No\^us},
  year = {1997},
  volume = {31},
  number = {4},
  pages = {525--527},
  contentnote = {A brief note -- the point seems to be that there is a
  	regress if the will to believe is construed
	decision-theoretically.},
  topic = {belief;decision-theory;}
  }

@article{ zemach:2003a,
  author = {Eddy M. Zemach},
  title = {Review of {\it {F}iction and Metaphysics}, by
  	{A}mie {L}. {T}homasson},
  journal = {The Philosophical Review},
  year = {2003},
  volume = {112},
  number = {3},
  pages = {427--431},
  xref = {Review of: thomasson:1999a.},
  topic = {fiction;fictional-characters;}
  }

@article{ zeman:1978a,
  author = {J. Jay Zeman},
  title = {Generalized Normal Logic},
  journal = {Journal of Philosophical Logic},
  year = {1978},
  volume = {7},
  number = {2},
  pages = {225--243},
  topic = {quantum-logic;}
  }

@article{ zeman:1979a,
  author = {J. Jay Zeman},
  title = {Normal, {S}asaki, and Classical Implications},
  journal = {Journal of Philosophical Logic},
  year = {1979},
  volume = {8},
  number = {2},
  pages = {243--245},
  topic = {quantum-logic;}
  }

@incollection{ zeugmann:1991a,
  author = {Thomas Zeugmann},
  title = {Inductive Inference of Optimal Programs:  A Survey and
  	Open Problems},
  booktitle = {Nonmonotonic and Inductive Logics},
  publisher = {Springer-Verlag},
  year = {1991},
  editor = {J\"urgen Dix and Klaus P. Jantke and P.H. Schmidt},
  pages = {208--222},
  address = {Berlin},
  missinginfo = {E's 1st name.},
  topic = {learning-theory;}
  }

@article{ zhang_cq:1992a,
  author = {Chengqi Zhang},
  title = {Cooperation under Uncertainty in Distributed Expert
  	Systems},
  journal = {Artificial Intelligence},
  year = {1992},
  volume = {56},
  number = {1},
  pages = {21--69},
  topic = {expert-systems;distributed-systems;cooperation;}
  }

@article{ zhang_dm-foo:2001a,
  author = {Dongmo Zhang and Norman Y. Foo},
  title = {Infinitary Belief Revision},
  journal = {Journal of Philosophical Logic},
  year = {2001},
  volume = {30},
  number = {6},
  pages = {525--570},
  contentnote = {Apparently, infinitary revision is revision by
  	an infinite set of formulas.},
  topic = {belief-revision;}
  }

@book{ zhang_gq:1991a,
  author = {Guo-Qiang Zhang},
  title = {Logic of Domains},
  publisher = {Birkhauser},
  year = {1991},
  address = {Boston},
  ISBN = {081763570X},
  rtnote = {UMich Media Union Library, QA 76.7 .Z471 1991.},
  topic = {domain-theory;}
 }

@article{ zhang_gq-rounds:forthcominga,
  author = {Guo-Qiang Zhang and William Rounds},
  title = {Non-Monotonic Consequences in Default Domain Theory},
  journal = {Journal of Artificial Intelligence and Mathematics},
  year = {forthcoming},
  topic = {nm-ling;default-unification;}
 }

@inproceedings{ zhang_h-gildea:2005a,
  author = {Hao Zhang and Daniel Gildea},
  title = {Stochastic Lexicalized Inversion Transduction Grammar for
  		Alignment},
  booktitle = {Proceedings of the 43rd Annual Meeting of the
  		Association for Computational Linguistics (ACL'05)},
  month = {June},
  year = {2005},
  address = {Ann Arbor, Michigan},
  publisher = {Association for Computational Linguistics},
  pages = {475--482},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1059},
  topic = {statistical-parsing;word-alignment;}
  }

@techreport{ zhang_h-stickel:1994a,
  author = {H. Zhang and Mark E. Stickel},
  title = {Implementing the Davis-Putnam Algorithm by Tries},
  institution = {Department of Computer Science, University of Iowa},
  year = {1994},
  address = {Iowa City},
  rtnote = {In RHT collection.},
  missinginfo = {A's 1st name, number},
  topic = {experiments-on-theorem-proving-algs;}
  }

@article{ zhang_jj:2008a,
  author = {Jiji Zhang},
  title = {On the Completeness of Orientation Rules for Causal
  		Discovery in the Presence of Latent Confounders and
		Selection Bias},
  journal = {Artificial Intelligence},
  year = {2008},
  volume = {172},
  number = {16--17},
  pages = {1873--1896},
  topic = {Bayesian-networks;causal-modeling;machine-learning;}
  }

@article{ zhang_lw:1996a,
  author = {Nevin Lianwen Zhang},
  title = {Irrelevance and Parameter Learning in {B}ayesian
  	Networks},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {88},
  number = {1--2},
  pages = {359--373},
  topic = {Bayesian-networksmachine-learning;}
  }

@incollection{ zhang_lw-poole:1992a,
  author = {(Nevin) Lewen Zhang and David Poole},
  title = {Stepwise-Decomposable Influence Diagrams},
  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 = {141--152},
  address = {San Mateo, California},
  topic = {influence-diagrams;}
  }

@article{ zhang_wx:2001a,
  author = {Weixiong Zhang},
  title = {Iterative State-Space Reduction for Flexible
  	Computation},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {126},
  number = {1--2},
  pages = {109--138},
  topic = {search;AI-algorithms;}
  }

@article{ zhang_wx:2004a,
  author = {Weixiong Zhang},
  title = {Configuration Landscape Analysis and Backbone Guided
  	Local Search.  Part {I}: Satisfiability and Maximum
	Satisfiability},
  journal = {Artificial Intelligence},
  year = {2004},
  volume = {158},
  number = {1},
  pages = {1--26},
  topic = {search;model-checking;}
  }

@article{ zhang_wx-etal:2001a,
  author = {Weixion Zhang and Rina Dechter and Richard E. Korf},
  title = {Heuristic Search in Artificial Intelligence},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {129},
  number = {1--2},
  pages = {1--4},
  note = {Introduction to a special issue of {\it Artificial
  	Intelligence}.},
  topic = {heuristics;search;}
  }

@article{ zhang_wx-etal:2005a,
  author = {Weixong Zhang and Guandong Wang and Zhao Xing and
  		Lars Wittenburg},
  title = {Distributed Stochastic Search and Distributed Breakout:
  		Properties, Comparison and Applications to Constraint
		Optimization Problems in Sensor Networkss},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {161},
  number = {1--2},
  pages = {55--87},
  topic = {constraint-satisfaction;distributed-processing;}
  }

@article{ zhang_wx-korf:1996a,
  author = {Weixiong Zhang and Richard E. Korf},
  title = {A Study of Complexity Transitions of the Asymmetric
		Traveling Salesman Problem},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {81},
  number = {1--2},
  pages = {223--239},
  topic = {search;experiments-on-theorem-proving-algs;
  	computational-phase-transitions;}
  }

@article{ zhang_wx-korf:1996b,
  author = {Weixiong Zhang and Richard E. Korf},
  title = {Performance of Linear-Space Search Algorithms},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {79},
  number = {2},
  pages = {241--292},
  topic = {search;complexity-in-AI;}
  }

@inproceedings{ zhang_wx-zhang_nl:2002a,
  author = {Weixong Zhang and Nevin L. Zhang},
  title = {Value Iteration Working with Belief Subset},
  booktitle = {Proceedings of the Eighteenth National Conference on
              Artificial Intelligence},
  year = {2002},
  editor = {Rina Dechter and Michael Kearns and Richard S. Sutton},
  pages = {307--312},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {POMDPs;}
  }

@incollection{ zhang_wz-zhang_xt:2004a,
  author = {Weiziong Zhang and Xiaotao Zhang},
  title = {An Improved Integer Local Search for Complex Scheduling
  		Problems},
  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 = {692--700},
  address = {Menlo Park, California},
  topic = {planning-algorithms;search;}
  }

@incollection{ zhang_y:2006a,
  author = {Yan Zhang},
  title = {Computational Properties of Epistemic Logic Programs},
  booktitle = {{KR}2006: Proceedings, Tenth International Conference on
      Principles of  Knowledge Representation and Reasoning},
  publisher = {AAAI Press},
  year = {2006},
  editor = {Patrick Doherty and John Mylopoulos and Christopher A. Welty},
  pages = {308--317},
  address = {Menlo Park, California},
  topic = {disunctive-logic-programming;complexity-in-AI;}
  }

@article{ zhang_y-foo:2006a,
  author = {Yan Zhang and Norman Y. Foo},
  title = {Solving Logic Program Conflict through Strong and Weak
  		Forgettings},
  journal = {Artificial Intelligence},
  year = {2006},
  volume = {170},
  number = {8--9},
  pages = {739--778},
  topic = {logic-program-update;conflict-resolution;}
  }

@article{ zhang_y-zhou_y:2009a,
  author = {Yan Zhang and Yi Zhou},
  title = {Knowledge Forgetting: Properties and Applications},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {173},
  number = {16--17},
  pages = {1525--1537},
  topic = {epistemic-logic;reasoning-about-knowledge;forgetting;}
  }

@incollection{ zhang_yb-etal:2000a,
  author = {Yibo Zhang and Le Sun and Lin Du and Yufang Sun},
  title = {Query Translation in {C}hinese-{E}nglish Cross-Language
		Information Retrieval},
  booktitle = {Proceedings of the 2000 Joint {SIGDAT} Conference
  	on Empirical Methods in Natural Language Processing},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  editor = {Hinrich Sch\"utze and Keh-Yih Su},
  pages = {104--109},
  address = {Somerset, New Jersey},
  topic = {information-retrieval;Chinese-language;}
  }

@article{ zhang_yl-freuder:2008a,
  author = {Yuanlin Zhang and Eugene C. Freuder},
  title = {Properties of Tree Convex Constraints},
  journal = {Artificial Intelligence},
  year = {2008},
  volume = {172},
  number = {12--13},
  pages = {1605--1612},
  topic = {constraint-networks;}
  }

@article{ zhang_yl-marisetti:2009a,
  author = {Yuanlin Zhang and Satyanarayana Marisetti},
  title = {Solving Connected Row Convex Constraints by Variable Elimination},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {173},
  number = {12--13},
  pages = {1204--1219},
  topic = {constraint-satisfaction;}
  }

@article{ zhang_yq-etal:2009a,
  author = {Yingqian Zhang and Efrat Manisterski and Sarit Kraus and
  	V.S. Subrahmanian and David Peleg},
  title = {Computing the Fault Tolerance of Multi-Agent Deployment},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {173},
  number = {3-4},
  pages = {437--465},
  topic = {multi-agent-systems;fault-tolerance;}
  }

@inproceedings{ zhang_z-etal:2002a,
  author = {Zhu Zhang and Sasha Blair-Goldensohn and Dragomir R. Radev},
  title = {Towards {CST}-Enhanced Summarization},
  booktitle = {Proceedings of the Eighteenth National Conference on
              Artificial Intelligence},
  year = {2002},
  editor = {Rina Dechter and Michael Kearns and Richard S. Sutton},
  pages = {439--445},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {discourse-structure;text-summary;}
  }

@inproceedings{ zhao_j-huang_cn:1998a,
  author = {Zhao Jun and Huang Changning},
  title = {A Quasi-Dependency Model for the Structural Analysis
  	of {C}hinese Base {NP}s},
  booktitle = {Proceedings of the Thirty-Sixth Annual Meeting of the
		{A}ssociation for {C}omputational {L}inguistics and
		Seventeenth International Conference on
		Computational Linguistics},
  year = {1998},
  editor = {Christian Boitet and Pete Whitelock},
  pages = {1--7},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {statistical-nlp;noun-phrase-parsing;Chinese-language;}
 }

@inproceedings{ zhao_sb-grishman:2005a,
  author = {Shubin Zhao and Ralph Grishman},
  title = {Extracting Relations with Integrated Information Using
  	Kernel Methods},
  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 = {419--426},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1052},
  topic = {information-extraction;machine-learning;
  		entity-relation-extraction;}
  }

@inproceedings{ zheng-foo:1993a,
  author = {Yan Zheng and Norman Y. Foo},
  title = {Reasoning about Persistence: A Theory of Actions},
  booktitle = {Proceedings of the Thirteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1993},
  editor = {Ruzena Bajcsy},
  pages = {718--723},
  publisher = {Morgan Kaufmann},
  rtnote = {In RHT collection.},
  address = {San Mateo, California},
  topic = {kr;frame-problem;ramification-problem;action;}
  }

@incollection{ zhou_gd-etal:2000a,
  author = {GuoDong Zhou and Jian Su and TongGuan Tey},
  title = {Hybrid Text Chunking},
  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 = {163--165},
  address = {Somerset, New Jersey},
  topic = {machine-language-learning;text-chunking;}
  }

@inproceedings{ zhou_gd-etal:2005a,
  author = {GuoDong Zhou and Jian Su and Jie Zhang and Min Zhang},
  title = {Exploring Various Knowledge in Relation Extraction},
  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 = {427--434},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1053},
  topic = {entity-relation-extraction;}
  }

@incollection{ zhou_gd-su_j:2000a,
  author = {GuoDong Zhou and Jian Su},
  title = {Error-Driven {HMM}-Based Chunk Tagger with
  	Context-Dependent Lexicon},
  booktitle = {Proceedings of the 2000 Joint {SIGDAT} Conference
  	on Empirical Methods in Natural Language Processing},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  editor = {Hinrich Sch\"utze and Keh-Yih Su},
  pages = {71--79},
  address = {Somerset, New Jersey},
  topic = {part-of-speech-tagging;hidden-Markov-models;}
  }

@inproceedings{ zhou_j-dapkus:1995a,
  author = {Joe Zhou and Pete Dapkus},
  title = {Automatic Suggestion of Significant Terms
	for a Predefined Topic},
  booktitle = {Proceedings of the Third Workshop on Very
		Large Corpora},
  year = {1995},
  editor = {David Yarovsky and Kenneth Church},
  pages = {131--147},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  rtnote = {In RHT collection.},
  topic = {corpus-linguistics;corpus-statistics;topic-extraction;}
  }

@incollection{ zhou_jf-liu_wq:2000a,
  author = {Joe F. Zhou and Weiquan Liu},
  title = {A Real-Time Integration of Concept-Based Search and
  		Summarization of {C}hinese Websites},
  booktitle = {Proceedings of the 2000 Joint {SIGDAT} Conference
  	on Empirical Methods in Natural Language Processing},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  editor = {Hinrich Sch\"utze and Keh-Yih Su},
  pages = {148--154},
  address = {Somerset, New Jersey},
  topic = {information-retrieval;Chinese-language;}
  }

@inproceedings{ zhou_la-hovy:2005a,
  author = {Liang Zhou and Eduard Hovy},
  title = {Digesting Virtual `Geek' Culture: The Summarization of
  		Technical Internet Relay Chats},
  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 = {298--305},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1037},
  topic = {text-summatization;}
  }

@article{ zhou_r-hansen_ea:2006a,
  author = {Rong Zhou and Eric A. Hansen},
  title = {Breadth-First Heuristic Search},
  journal = {Artificial Intelligence},
  year = {2006},
  volume = {170},
  number = {4--5},
  pages = {385--408},
  topic = {search;}
  }

@incollection{ zhou_r-hanson_ea:2004a,
  author = {Rong Zhou and Eric A. Hanson},
  title = {Breadth-First Heuristic Search},
  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 = {701--709},
  address = {Menlo Park, California},
  topic = {planning-algorithms;search;}
  }

@incollection{ zhou_y-chen_xp:2004a,
  author = {Yi Zhou and XiaoPing Chen},
  title = {Partial Implication Semantics for Desirable Propositions},
  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 = {606--611},
  address = {Menlo Park, California},
  topic = {desire;qualitative-utility;}
  }

@article{ zhou_yr-etal:2009a,
  author = {Yuren Zhou and Jun He and Qing Nie},
  title = {A Comparative Runtime Analysis of Heuristic Algorithms for
  		Satisfiability Problems},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {173},
  number = {2},
  pages = {240--257},
  topic = {model-checking;AI-system-evaluation;}
  }

@article{ zhou_zh:2003a,
  author = {Zhi-Hua Zhou},
  title = {Three Perspectives on Data Mining},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {143},
  number = {1},
  pages = {139--146},
  xref = {Review of han_jw-kamber:2001a, hand-etal:2001a, },
  topic = {data-mining;}
  }

@article{ zhou_zh-etal:2002a,
  author = {Zhi-Hua Zhou and Jianxin Wu and Wei Tang},
  title = {Ensembling Neural Networks: Many Could Be Better Than All},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {137},
  number = {1--2},
  pages = {239--263},
  topic = {connectionist-models;machine-learning;}
  }

@inproceedings{ zhu_zh-etal:2000a,
  author = {Zhaohui Zhu and Bin Li and Shifu Cheng and Wujia Zhu},
  title = {Valuation-Ranked Preferential Model},
  booktitle = {{KR}2000: Principles of Knowledge Representation and
  	Reasoning},
  year = {2000},
  editor = {Anthony G. Cohn and Fausto Giunchiglia and Bart Selman},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  pages = {647--653},
  topic = {nonmonotonic-logic;model-preference;}
  }

@article{ zhu_zh-etal:2002a,
  author = {Zhaohui Zhu and Zhenghua Pan and Wujia Zhu},
  title = {Valuation Structure},
  journal = {Journal of Symbolic Logic},
  year = {2002},
  volume = {67},
  number = {1},
  pages = {1--23},
  topic = {preferred-models;completeness-theorems;}
  }

@article{ zhu_zh-zhang_r:2007a,
  author = {Zhaohui Zhu and Rong Zhang},
  title = {An Algebraic Characterization of Equivalent Preferential
  		Models},
  journal = {Journal of Symbolic Logic},
  year = {2007},
  volume = {72},
  number = {4},
  pages = {803--833},
  topic = {model-preference;nonmonotonic-logic;model-theory;}
  }

@article{ zhuge:2009a,
  author = {Hai Zhuge},
  title = {Interactive Semantics},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {174},
  number = {2},
  pages = {190--204},
  topic = {AI-editorial;interactive-semantics;}
  }

@inproceedings{ zibetti-etal:2001a,
  author = {Elisabetta Zibetti and Vicen\c{c} Quera and Francesc
  		Salvador Beltran and Charles Tijus},
  title = {Contextual Categorization: A Mechanism Linking Perception
		and Knowledge in Modeling and Simulating Perceived
		Events as Actions},
  booktitle = {Modeling and Using Context: Third International and
  	Interdisciplinary Conference, Context 2001},
  publisher = {Springer-Verlag},
  year = {2001},
  editor = {Varol Akman and Paolo Bouquet and Richmond Thomason
  	and Roger A. Young},
  pages = {395--408},
  address = {Berlin},
  topic = {context;cognitive-psychology;}
  }

@inproceedings{ zibetti-tijus:2003a,
  author = {Elisabetta Zibetti and Charles Tijus},
  title = {Perceiving Action from Static Images: the Role of Spatial
  	Context},
  booktitle = {Modeling and Using Context: Fourth International and
  	Interdisciplinary Conference, Context 2003},
  publisher = {Springer-Verlag},
  year = {2003},
  editor = {Patrick Blackburn and Chiara Ghidini and Roy M. Turner
  	and Fausto Giunchiglia},
  pages = {397--410},
  address = {Berlin},
  topic = {context;spatial-reasoning;}
  }

@incollection{ zibetti-tijus:2005a,
  author = {Elizabetti Zibetti and Charles Tijus},
  title = {Understanding Actions: Contextual Dimensions and Heuristics},
  booktitle = {Modeling and Using Context: 5th International and
  	Interdisciplinary Conference},
  publisher = {Springer-Verlag},
  year = {2005},
  editor = {Anind Dey and Boicho Kokinov and David Leake and Roy Turner},
  pages = {542--555},
  address = {Berlin},
  topic = {context;plan-recognition;}
  }

@article{ zielonka:2000a,
  author = {Woiciech Zielonka},
  title = {Cut-Rule Axiomatization of the Syntactic Calculus $NL_0$},
  journal = {Journal of Logic, Language, and Information},
  year = {2000},
  volume = {9},
  number = {3},
  pages = {339--352},
  topic = {proof-theory;Lambek-calculus;}
  }

@article{ zielonka:2000b,
  author = {Wojcech Zielonka},
  title = {Cut-Rule Axiomatization of the Syntactic Calculus $L_0$},
  journal = {Journal of Logic, Language, and Information},
  year = {2000},
  volume = {10},
  number = {2},
  pages = {233--236},
  topic = {proof-theory;Lambek-calculus;}
  }

@book{ ziembinski:1976a,
  author = {Zygmunt Ziembinski},
  title = {Practical Logic},
  publisher = {D. Reidel Publishing Co.},
  year = {1976},
  address = {Dordrecht},
  ISBN = {9027704384},
  rtnote = {With an appendix on deontic logic by {Z}dzislaw {Z}iemba},
  rtnote = {UMich GRADUATE LIBRARY, BC 50 .L84.},
  topic = {deontic-logic;practical-reasoning;}
 }

@article{ ziff:1965a,
  author = {Paul Ziff},
  title = {The Simplicity of Other Minds},
  journal = {The Journal of Philosophy},
  year = {1965},
  volume = {62},
  number = {20},
  pages = {575--584},
  xref = {Commentary: putnam_h:1995g.},
  topic = {other-minds;}
  }

@article{ ziff:1967a1,
  author = {Paul Ziff},
  title = {On {H.P.} {G}rice's Account of Meaning},
  journal = {Analysis},
  year = {1967},
  volume = {28},
  pages = {1--8},
  missinginfo = {number},
  xref = {Republished; see ziff:1967a2.},
  topic = {speaker-meaning;pragmatics;}
  }

@incollection{ ziff:1967a2,
  author = {Paul Ziff},
  title = {On {H.P.} {G}rice's Account of Meaning},
  booktitle = {Pragmatics of Natural Language},
  publisher = {D. Reidel Publishing Co.},
  year = {1971},
  editor = {Yehoshua Bar-Hillel},
  pages = {60--65},
  address = {Dordrecht},
  xref = {Republication; see ziff:1967a1.},
  topic = {speaker-meaning;pragmatics;}
  }

@incollection{ ziff:1972a,
  author = {Paul Ziff},
  title = {What is Said},
  booktitle = {Semantics of Natural Language},
  publisher = {D. Reidel Publishing Co.},
  year = {1972},
  editor = {Donald Davidson and Gilbert H. Harman},
  pages = {709--721},
  address = {Dordrecht},
  topic = {philosophy-of-language;speaker-meaning;}
  }

@article{ ziff:1984a,
  author = {Paul Ziff},
  title = {Coherence},
  journal = {Linguistics and Philosophy},
  year = {1984},
  volume = {7},
  number = {1},
  pages = {31--42},
  topic = {coherence;}
  }

@article{ zilberstein:1996a,
  author = {Schlomo Zilberstein},
  title = {Using Anytime Algorithms in Intelligent Systems},
  journal = {{AI} Magazine},
  year = {1996},
  volume = {17},
  number = {3},
  pages = {73--83},
  topic = {limited-rationality;}
  }

@inproceedings{ zilberstein:1997a,
  author = {Shlomo Zilberstein},
  title = {Formalizing the Notion of `Satisficing':
        A Position Paper},
  booktitle = {Working Papers of the {AAAI} Spring Symposium on
  	Qualitative Preferences in Deliberation and Practical
	Reasoning},
  year = {1997},
  editor = {Jon Doyle and Richmond H. Thomason},
  pages = {121--123},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  topic = {limited-rationality;}
  }

@article{ zilberstein-russell_s:1996a,
  author = {Shlomo Zilberstein and Stuart Russell},
  title = {Optimal Composition of Real-Time Systems},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {82},
  number = {1--2},
  pages = {181--213},
  topic = {limited-rationality;}
  }

@article{ zimmer:1971a,
  author = {C. Zimmer},
  title = {Some General Observations about Nominal Compounds},
  journal = {Working Papers on Language Universals},
  year = {1971},
  volume = {5},
  pages = {C1--C21},
  missinginfo = {A's 1st name.},
  topic = {compound-nouns;}
  }

@article{ zimmer:1972a,
  author = {C. Zimmer},
  title = {Appropriateness Conditions for Nominal Compounds},
  journal = {Working Papers on Language Universals},
  year = {1972},
  volume = {8},
  pages = {3--20},
  missinginfo = {A's 1st name.},
  topic = {compound-nouns;}
  }

@incollection{ zimmerman_a-etal:2005a,
  author = {Andreas Zimmerman and Andreas Lorenz and Marcus Specht},
  title = {Applications of a Context-Management System},
  booktitle = {Modeling and Using Context: 5th International and
  	Interdisciplinary Conference},
  publisher = {Springer-Verlag},
  year = {2005},
  editor = {Anind Dey and Boicho Kokinov and David Leake and Roy Turner},
  pages = {556--569},
  address = {Berlin},
  topic = {context;context-aware-computing;}
  }

@article{ zimmerman_dw:1995a,
  author = {Dean W. Zimmerman},
  title = {Theories of Masses and Problems of Constitution},
  journal = {The Philosophical Review},
  year = {1995},
  volume = {104},
  number = {1},
  pages = {53--110},
  topic = {mereology;mass-term-semantics;}
  }

@incollection{ zimmerman_dw:1997a,
  author = {Dean W. Zimmerman},
  title = {Immanent Causation},
  booktitle = {Philosophical Perspectives 11: Mind, Causation, and World},
  publisher = {Blackwell Publishers},
  year = {1997},
  editor = {James E. Tomberlin},
  pages = {433--471},
  address = {Oxford},
  rtnote = {In RHT collection.},
  topic = {causality;}
  }

@article{ zimmerman_e:2003a,
  author = {Ernst Zimmerman},
  title = {Elementary Definability and Completeness in General and
  	Positive Modal Logic},
  journal = {Journal of Logic, Language, and Information},
  year = {2003},
  volume = {12},
  number = {1},
  pages = {99--117},
  topic = {modal-logic;completeness-theorems;}
  }

@inproceedings{ zimmerman_m:2000a,
  author = {Malte Zimmerman},
  title = {The Occasional-Construction in {E}nglish and {G}erman},
  booktitle = {Proceedings from Semantics and Linguistic Theory {X}},
  publisher = {Cornell University},
  year = {2000},
  editor = {Brendan Jackson and Tanya Matthews},
  pages = {190--306},
  address = {Ithaca, New York},
  topic = {nl-semantics;nl-quantifier-scope;}
  }

@inproceedings{ zimmerman_m:2002a,
  author = {Malte Zimmerman},
  title = {A Compositional Analysis of Anti-Quantifiers as
  		Quantifiers},
  booktitle = {Proceedings from Semantics and Linguistic Theory {XII}},
  publisher = {Cornell University},
  year = {2002},
  editor = {Brendan Jackson},
  pages = {322--338},
  address = {Ithaca, New York},
  topic = {nl-semantics;nl-quantifiers;}
  }

@article{ zimmerman_m:2003a,
  author = {Malte Zimmerman},
  title = {Pluractionality and Complex Quantifier Formation},
  journal = {Natural Language Semantics},
  year = {2003},
  volume = {11},
  number = {3},
  pages = {249--287},
  topic = {pluractionality;nl-quantifiers;}
  }

@book{ zimmerman_mj:1951a,
  author = {Michael J. Zimmerman},
  title = {An Essay on Human Action},
  publisher = {P. Lang},
  year = {1951},
  address = {New York},
  topic = {philosophy-of-action;}
 }

@article{ zimmerman_te:1985a,
  author = {Thomas Ede Zimmerman},
  title = {Remarks on {G}roenendijk and {S}tokhof's Theory
  	of Indirect Questions},
  journal = {Linguistics and Philosophy},
  year = {1985},
  volume = {8},
  number = {4},
  pages = {431--448},
  topic = {nl-semantics;interrogatives;}
  }

@article{ zimmerman_te:1992a,
  author = {Thomas Ede Zimmerman},
  title = {On the Proper Treatment of Opacity in Certain Verbs},
  journal = {Natural Language Semantics},
  year = {1992--1993},
  volume = {1},
  number = {2},
  pages = {149--179},
  topic = {nl-semantics;referential-opacity;intensionality;}
  }

@article{ zimmerman_te:1993a,
  author = {Thomas Ede Zimmerman},
  title = {Scopeless Quantifiers and Operators},
  journal = {Journal of Philosophical Logic},
  year = {1993},
  volume = {22},
  number = {5},
  pages = {545--561},
  topic = {generalized-quantifiers;}
  }

@article{ zimmerman_te:1999a,
  author = {Thomas Ede Zimmerman},
  title = {Meaning Postulates and The Model-Theoretic Approach
  	to Natural Language Semantics},
  journal = {Linguistics and Philosophy},
  year = {1999},
  volume = {22},
  number = {5},
  pages = {529--561},
  topic = {nl-semantics;meaning-postulates;meaning-postulates;}
  }

@article{ zimmerman_te:2000a,
  author = {Thomas Ede Zimmerman},
  title = {Free Choice Disjunction and Epistemic Possibility},
  journal = {Natural Language Semantics},
  year = {2000},
  volume = {8},
  number = {4},
  pages = {255--290},
  topic = {free-choice-`any/or';disjunction;}
  }

@incollection{ zimmerman_te:2005a,
  author = {Thomas Ede Zimmerman},
  title = {Coercion vs. Indeterminacy in Opaque Verbs},
  booktitle = {Intensionality},
  publisher = {A.K. Peters, Ltd.},
  year = {2005},
  editor = {Reinhard Kahle},
  pages = {217--285},
  address = {Wellesley, Massachusetts},
  topic = {intensional-transitive-verbs;}
  }

@article{ zimmerman_te:2006a,
  author = {Thomas Ede Zimmerman},
  title = {Monotonicity in Opaque Verbs},
  journal = {Linguistics and Philosophy},
  year = {2006},
  volume = {29},
  number = {1},
  pages = {715--761},
  topic = {intensional-transitive-verbs;}
  }

@article{ zinkevich-etal:2007a,
  author = {Martin Zinkevich and Amy Greenwald and Michael L. Littman},
  title = {A Hierarchy of Prescriptive Goals for Multiagent Learning},
  journal = {Artificial Intelligence},
  year = {2007},
  volume = {171},
  number = {7},
  pages = {440--447},
  topic = {multiagent-learning;Nash-equilibria;}
  }

@book{ zipf:1949a,
  author = {George Kingsley Zipf},
  title = {Human Behavior and the Principle of Least Effort: An
    Introduction to Human Ecology},
  publisher = {Hafner Publishing Co.},
  year = {1949},
  address = {New York},
  ISBN = {0444871500 (U.S.)},
  rtnote = {UMich Graduate Library, P 302 .C551 1989},
  topic = {behavioral-economics;}
 }

@book{ zipf:1965a,
  author = {George Kingsley Zipf},
  title = {The Psycho-Biology of Language: An Introduction to Dynamic
    Philology},
  publisher = {The {MIT} Press},
  year = {1965},
  address = {Cambridge, Massachusetts},
  rtnote = {UMich Graduate Library Call No: 800 Z8 1965},
  topic = {biolinguistics;}
 }

@inproceedings{ zlotkin-rosenschein_j:1989a,
  author = {Gilad Zlotkin and Jeffrey S. Rosenschein},
  title = {Negotiation and Task Sharing among Autonomous Agents
  	in Cooperative Domains},
  booktitle = {Proceedings of the Eleventh International Joint
  	Conference on Artificial Intelligence},
  year = {1989},
  editor = {N.S. Sridharan},
  pages = {912--917},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, CA},
  topic = {negotiation;distributed-AI;task-allocation;}
  }

@inproceedings{ zlotkin-rosenschein_j:1993a,
  author = {Gilad Zlotkin and Jeffrey S. Rosenschein},
  title = {A Domain Theory for Task Oriented Negotiation},
  booktitle = {Proceedings of the Thirteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1993},
  editor = {Ruzena Bajcsy},
  pages = {416--422},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  rtnote = {In RHT collection.},
  topic = {negotiation;distributed-AI;task-allocation;}
  }

@article{ zlotkin-rosenschein_j:1996a,
  author = {Gilad Zlotkin and Jeffrey S. Rosenschein},
  title = {Mechanism Design for Automated Negotiation, and its
  	Application to Task Oriented Domains},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {86},
  number = {2},
  pages = {195--244},
  topic = {negotiation;distributed-AI;task-allocation;}
  }

@article{ zlotkin-rosenschein_j:1996b,
  author = {Gilad Zlotkin and Jeffrey S. Rosenschein},
  title = {Compromise in Negotiation: Exploiting Worth Functions
  	Over States},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {84},
  number = {1--2},
  pages = {151--176},
  topic = {intention-maintenance;negotiation;distributed-AI;}
  }

@inproceedings{ zlotnik:1997a,
  author = {Martin Zlotnik},
  title = {Technology for Integrating Qualitative and Quantitative
        Factors in Making Major Decisions},
  booktitle = {Working Papers of the {AAAI} Spring Symposium on
  	Qualitative Preferences in Deliberation and Practical
	Reasoning},
  year = {1997},
  editor = {Jon Doyle and Richmond H. Thomason},
  pages = {125--130},
  organization = {American Association

repository: sergiud/bibtex-spirit

repo_name: sergiud/bibtex-spirit