text:
4},
  address = {Reading, Massachusetts},
  edition = {Second},
  xref = {Review: reese:1985a.},
  topic = {AI-intro;AI-text;AI-survey;}
 }

@inproceedings{ winter:1991a,
  author = {Yoad Winter},
  title = {Closure and Telicity across Categories},
  booktitle = {Proceedings from Semantics and Linguistic Theory {XVI}},
  year = {1991},
  editor = {Masayuki Gibson and Jonathan Howell},
  publisher = {CLC Publications},
  address = {Ithaca, New York},
  url = {http://research.nii.ac.jp/salt16/proceedings/winter-SALT16.pdf},
  topic = {nl-semantics;causatives;}
  }

@inproceedings{ winter:1995a,
  author = {Yoad Winter},
  title = {Syncategorematic Conjunction and Structured Meanings},
  booktitle = {Proceedings from Semantics and Linguistic Theory {V}},
  year = {1995},
  editor = {Mandy Simons and Teresa Galloway},
  pages = {387--404},
  publisher = {Cornell University},
  address = {Ithaca, New York},
  note = {Available from CLC Publications, Department of Linguistics,
  	Morrill Hall, Cornell University, Ithaca, NY 14853-4701.},
  topic = {nl-semantics;coordination;}
  }

@article{ winter:1996a,
  author = {Yoad Winter},
  title = {A Unified Semantic Treatment of Singular {NP} Coordination},
  journal = {Linguistics and Philosophy},
  year = {1996},
  volume = {19},
  number = {4},
  pages = {337--392},
  topic = {nl-semantic-types;polymorphism;coordination;plural;}
  }

@inproceedings{ winter:1996b,
  author = {Yoad Winter},
  title = {What Does the Strongest Meaning Hypothesis Mean?},
  booktitle = {Proceedings from Semantics and Linguistic Theory {VI}},
  publisher = {Cornell University},
  year = {1996},
  editor = {Teresa Galloway and Justin Spence},
  pages = {295--310},
  address = {Ithaca, New York},
  topic = {nl-semantics;reciprical-constructions;plural;}
  }

@article{ winter:1997a,
  author = {Yoad Winter},
  title = {Choice Functions and the Scopal Semantics of Indefinites},
  journal = {Linguistics and Philosophy},
  year = {1997},
  volume = {20},
  number = {4},
  pages = {399--467},
  topic = {nl-semantics;nl-quantifier-scope;}
  }

@inproceedings{ winter:1998a,
  author = {Yoad Winter},
  title = {Atom Predicates and Set Predicates: Towards a
     		General Theory of Plural Quantification},
  booktitle = {Proceedings from Semantics and Linguistic Theory {VIII}},
  publisher = {Cornell University},
  year = {1998},
  editor = {Devon Strolovitch and Aaron Lawson},
  pages = {249--266},
  address = {Ithaca, New York},
  topic = {nl-semantics;plural;nl-semantics;}
  }

@incollection{ winter:1999a,
  author = {Yoad Winter},
  title = {Plural Type Quantification},
  booktitle = {Proceedings of the Twelfth {A}msterdam Colloquium},
  publisher = {ILLC/Department of Philosophy, University
	of Amsterdam},
  year = {1999},
  editor = {Paul Dekker},
  pages = {229--234},
  address = {Amsterdam},
  topic = {nl-quantifiers;plural;}
  }

@article{ winter:2000a,
  author = {Yoad Winter},
  title = {Distributivity and Dependency},
  journal = {Natural Language Semantics},
  year = {2000},
  volume = {8},
  number = {1},
  pages = {27--69},
  topic = {nl-semantics;plural;distributive/collective-readings;}
  }

@article{ winter:2001a,
  author = {Yoad Winter},
  title = {Review of \emph{{C}omputing Meaning, Volume 1}, edited by
  	{H}arry {B}unt and {R}einhard {M}uskens},
  journal = {Computational Linguistics},
  year = {2001},
  volume = {27},
  number = {1},
  pages = {143--145},
  xref = {Review of bunt-muskens:1999a.},
  topic = {computational-semantics;}
  }

@inproceedings{ winter:2002a,
  author = {Yoad Winter},
  title = {Functional Readings and Wide-Scope Indefinites},
  booktitle = {Proceedings from Semantics and Linguistic Theory {XII}},
  publisher = {Cornell University},
  year = {2002},
  editor = {Brendan Jackson},
  pages = {306--321},
  address = {Ithaca, New York},
  topic = {nl-semantics;functional-quantification;indefiniteness;}
  }

@article{ winter:2005a,
  author = {Yoad Winter},
  title = {Cross-Categorial Restrictions on Measure Phrase Modification},
  journal = {Linguistics and Philosophy},
  year = {2005},
  volume = {28},
  number = {2},
  pages = {233--267},
  topic = {measures;nl-semantics;}
  }

@article{ winter-rimon:1994a,
  author = {Yoad Winter and Mori Rimon},
  title = {Contrast and Implication in Natural Language},
  journal = {Journal of Semantics},
  year = {1994},
  volume = {11},
  number = {3},
  pages = {365--406},
  topic = {nl-semantics;contrastive-conjunctions;`but';}
  }

@article{ winter-sarkar:2002a,
  author = {Shuly Winter and Anoop Sarkar},
  title = {A Note on Typing Feature Structures},
  journal = {Computational Linguistics},
  year = {2002},
  volume = {28},
  number = {3},
  pages = {389--397},
  topic = {typed-feature-structures;}
  }

@incollection{ wintner:2002a,
  author = {Shuly Wintner},
  title = {Formal Lanaguage Theory for Natural Language
    		Processing},
  booktitle = {Effective Tools and Methodologies for Teaching
  	{NLP} and {CL}},
  publisher = {Association for Computational Linguistics},
  year = {2002},
  editor = {Dragomir Radev and Chris Brew},
  pages = {70--75},
  address = {New Brunswick, New Jersey},
  topic = {nlp-pedagogy;}
  }

@article{ wintner:2004a,
  author = {Shuly Wintner},
  title = {Review of \emph{{F}inite State Morphology}, by {K}enneth {R}.
  		{B}eesley and {L}auri {K}arttunen},
  journal = {Computational Linguistics},
  year = {2004},
  volume = {30},
  number = {2},
  pages = {237--244},
  xref = {Review of: beesley-karttunen_l:2003a},
  topic = {finite-state-morphology;finite-state-nlp;finite-state-phonology;}
  }

@article{ wintner-francez:1999a,
  author = {Shuly Wintner and Nissim Francez},
  title = {Off-Line Parsibility and the Well-Foundedness
  	of Subsumption},
  journal = {Journal of Logic, Language, and Information},
  year = {1999},
  volume = {8},
  number = {1},
  pages = {1--16},
  topic = {typed-feature-structure-logic;parsing-algorithms;}
  }

@article{ wipke-etal:1978a,
  author = {W. Todd Wipke and Glenn I. Ouchi and S. Krishnan},
  title = {Simulation and Evaluation of Chemical Synthesis---{SECS}:
  	An Application of Artificial Intelligence Techniques},
  journal = {Artificial Intelligence},
  year = {1978},
  volume = {11},
  number = {1--2},
  pages = {173--193},
  acontentnote = {Abstract:
     The problem of designing chemical syntheses of complex organic
     compounds is a challenging domain for application of artificial
     intelligence techniques.  SECS is an interactive program to
     assist a chemist in heuristically searching and evaluating the
     space of good synthetic pathways. The chemist-computer team,
     linked through computer graphics, develops synthetic plans using
     a logic-centered backward analysis from the target structure.
     The reaction knowledge base, written in the ALCHEM language, is
     separate from the program and control strategies. Performance is
     demonstrated on the insect pheromone grandisol.  },
  topic = {computer-assisted-science;chemical-synthesis;}
  }

@book{ wirth:1976a,
  editor = {Jessica R. Wirth},
  title = {Assessing Linguistic Arguments},
  publisher = {Hemisphere Publishing Corporation},
  year = {1976},
  address = {Washington, D.C.},
  contentnote = {TC:
  	1. Rudolf P. Botha, "On the Analysis of Linguistic Argumentation"
  	2. Fred R. Eckman, "Empirical and Nonempirical Generalizations
		in Syntax"
  	3. Michael B. Kac, "Hypothetical Constructs in Syntax"
  	4. Jerrold M. Sadock, "On Significant Generalization:
		Notes on the Hallean Syllogism"
  	5. Michael N Perloff and Jessica R. Wirth, "On Independent
		Motivation"
  	6. Ray C. Dougherty, "Argument Invention: The Linguist's
		`Feel' for Science"
  	7. Sanford A. Schane, "The Best Argument is in the Mind of
		the Beholder"
  	8. Ashley J. Hastings and Andreas Koutsoudas, "Performance
		Models and the Generative-Interpretive Debate"
  	9. Myrna Gopnik, "What the Theorist Saw"
       10. Marvin D. Loflin, "Black English Deep Structure"
  },
  rtnote = {In RHT collection.},
  topic = {philosophy-of-linguistics;foundations-of-linguistics;}
 }

@incollection{ wirth:1977a,
  author = {Jessica R. Wirth},
  title = {Logical Considerations in the Testing of Linguistic
  	Hypotheses},
  booktitle = {Testing Linguistic Hypotheses},
  publisher = {John Wiley and Sons},
  year = {1977},
  editor = {David Cohen and Jessica Worth},
  pages = {211--220},
  address = {New York},
  topic = {philosophy-of-linguistics;}
  }

@article{ wisdom:1974a,
  author = {William A. Wisdom},
  title = {Lewis {C}arroll's Infinite Regress},
  journal = {Mind, New Series},
  year = {1974},
  volume = {81},
  number = {332},
  pages = {571--573},
  xref = {This contains many references.},
  topic = {Achilles-and-the-tortoise;}
  }

@book{ wise-etal:1993a,
  editor = {John A. Wise and V. David Hopkin and Paul Stager},
  title = {Verification and Validation of Complex Systems: Human
  	Factors Issues},
  publisher = {Springer-Verlag},
  year = {1993},
  address = {Berlin},
  ISBN = {3540565744},
  rtnote = {UMich Media Union Library, QA 76.758 .N391 1992.},
  topic = {software-engineering;}
 }

@article{ wisniewski_a:1994a,
  author = {Andrezej Wi\'sniewski},
  title = {Erotetic Implication},
  journal = {Journal of Philosophical Logic},
  year = {1994},
  volume = {23},
  number = {2},
  pages = {173--195},
  topic = {interrogatives;}
  }

@book{ wisniewski_a:1995a,
  author = {Andrzej Wisniewski},
  title = {The Posing of Questions: Logical Foundations of Erotetic
  	Inferences},
  publisher = {Kluwer Academic Publishers},
  year = {1995},
  address = {Dordrecht},
  xref = {Review: harrah:1998a},
  topic = {nl-semantics;interrogatives;}
 }

@article{ wisniewski_a:2004a,
  author = {Andrzej Wi\'sniewski},
  title = {Socratic Proofs},
  journal = {Journal of Philosophical Logic},
  year = {2004},
  volume = {33},
  number = {3},
  pages = {299--326},
  topic = {interrogative-logic;}
  }

@article{ wisniewski_a-shangrin:2006a,
  author = {Andrzej Wisniewski and Vasilyi Shangrin},
  title = {Socratic Proofs for Quantifiers},
  journal = {Journal of Philosophical Logic},
  year = {2006},
  volume = {35},
  number = {2},
  pages = {147--178},
  topic = {Socratic-proofs;proof-theory;}
  }

@inproceedings{ wisniewski_rw-brown_cm:1995a,
  author = {Robert W. Wisniewski and Christopher M. Brown},
  title = {Adaptable Planner Primitives for Real-World Robotic
  	Applications},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {64--70},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  rtnote = {In RHT collection.},
  topic = {planning;foundations-of-robotics;}
  }

@article{ witkin:1981a,
  author = {Andrew P. Witkin},
  title = {Recovering Surface Shape and Orientation from Texture},
  journal = {Artificial Intelligence},
  year = {1981},
  volume = {17},
  number = {1--3},
  pages = {17--45},
  topic = {texture;shape-recognition;computer-vision;}
  }

@article{ witt:2002a,
  author = {Caroline Witt},
  title = {Review of \emph{{A}ristotle's Theory of Substance}, by
  	{M}ichael {W}edin},
  journal = {The Philosophical Review},
  year = {2002},
  volume = {111},
  number = {1},
  pages = {98--101},
  xref = {Review of: wedin:2000a.},
  topic = {Aristotle;metaphysics;substance;}
  }

@article{ witten-bell_tc:1991a,
  author = {Ian H. Witten and T.C. Bell},
  title = {The Zero-Frequency Problem: Estimating the Probabilities
  	of Novel Events in Adaptive Text Compression},
  journal = {{IEEE} Transactions on Information Theory},
  year = {1991},
  volume = {37},
  number = {4},
  pages = {1085--1094},
  missinginfo = {A's 1st name},
  topic = {statistical-nlp;frequency-estimation;}
  }

@book{ witten-frank_e:2000a,
  author = {Ian H. Witten and Eibe Frank},
  title = {Data Mining: Practical Machine Learning Tools and
  	Techniques with {J}ava Implementations},
  publisher = {Morgan Kaufmann},
  year = {2000},
  address = {San Francisco},
  ISBN = {1-55860-552-5},
  xref = {Reviews: davis_e:2001a, zhou_zh:2003a.},
  ISBN = {1558605525},
  rtnote = {UMich Media Union Library, QA 76.9 .D343 W581 2000.},
  topic = {machine-learning;AI-courseware;data-mining;}
 }

@incollection{ wittenburg-wall_re:1981a,
  author = {Kent Wittenburg and Robert E. Wall},
  title = {Parsing with Categorial
     		Grammar in Predicate Normal Form},
  booktitle = {Current Issues in Parsing Technology},
  publisher = {Kluwer Academic Publishers},
  year = {1981},
  editor = {Masaru Tomita},
  pages = {65--83},
  address = {Dordrecht},
  topic = {parsing-algorithms;categorial-grammar;}
  }

@incollection{ witteveen:1991a,
  author = {Cees Witteveen},
  title = {Skeptical Reason Maintenance Is Tractable},
  booktitle = {{KR}'91: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1991},
  editor = {James F. Allen and Richard Fikes and Erik Sandewall},
  pages = {570--581},
  address = {San Mateo, California},
  topic = {kr;truth-maintenance;kr-course;tractable-logics;}
  }

@incollection{ witteveen:1996a,
  author = {Cees Witteveen},
  title = {Belief Revision in Truth Maintenance},
  booktitle = {Logic, Action, and Information: Essays on Logic in
  	Philosophy and Artificial Intelligence},
  year = {1996},
  publisher = {Walter de Gruyter},
  editor = {Andr\'e Fuhrmann and Hans Rott},
  pages = {447--470},
  address = {Berlin},
  topic = {belief-revision;truth-maintenance;}
  }

@article{ witteveen-brewka:1993a,
  author = {Cees Witteveen and Gerhard Brewka},
  title = {Skeptical Reason Maintenance and Belief Revision},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {61},
  number = {1},
  pages = {1--36},
  topic = {truth-maintenance;belief-revision;}
  }

@incollection{ witteveen-etal:1994a,
  author = {Cees Witteveen and Wiebe {van der Hoek} and Hans Nivelle},
  title = {Revision of Non-Monotonic Theories},
  booktitle = {Logics in Artificial Intelligence},
  publisher = {Springer-Verlag},
  year = {1994},
  editor = {Craig Mac{N}ish and Lu\'is Moniz Pereira and David Pearce},
  pages = {137--151},
  address = {Berlin},
  topic = {nonmonotonic-logic;belief-revision;}
  }

@article{ witteveen-vanderhoek:1998a,
  author = {Cees Witteveen and Wiebe {van der Hoek}},
  title = {Recovery of (Non)Monotonic Theories},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {106},
  number = {1},
  pages = {139--159},
  topic = {belief-revision;nonmonotonic-logic;}
  }

@incollection{ witteveen-vanderhoek:2000a,
  author = {Cees Witteveen and Wiebe van der Hoek},
  title = {How to Recover from (Non)Monotonic Inconsistencies},
  booktitle = {Logic, Language, and Computation, Volume 3},
  publisher = {CSLI Publications},
  year = {2000},
  editor = {Lawrence Cavedon and Patrick Blackburn and Nick Braisby
  	and Atushi Shimojina},
  pages = {319--340},
  address = {Stanford, California},
  topic = {nonmonotonic-logic;belief-revision;}
  }

@book{ wittgenstein:1953a,
  author = {Ludwig Wittgenstein},
  title = {Philosophical Investigations},
  publisher = {The Macmillan Company},
  year = {1953},
  address = {New York},
  rtnote = {In RHT collection.  History of philosophy shelves.},
  topic = {philosophy-of-language;}
 }

@incollection{ wobcke:1999a,
  author = {Wayne Wobcke},
  title = {The Role of Context in the Analysis and
			Design of Agent Programs},
  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 = {403--416},
  address = {Berlin},
  topic = {context;agent-architectures;}
  }

@book{ wobcke-etal:1998a,
  editor = {Wayne Wobcke and Maurice Pagnucco and Chengqi Zhang},
  title = {Agents and Multi-Agent Systems: Formalisms, Methodologies, and
  Applications.   Based on the {AI}'97 Workshops on Commonsense Reasoning,
  Intelligent Agents, and Distributed Artificial Intelligence, Perth,
  Australia, December 1, 1997},
  publisher = {Springer-Verlag},
  year = {1998},
  address = {Berlin},
  ISBN = {3540647694 (softcover)},
  rtnote = {UMich Media Union Library, Q 337 .A341 1998.},
  contentnote = {TC:
     1. Steven Shapiro, Yves Lesp\'erance and Hector J.
     	   Levesque, "Specifying Communicative Multi-Agent Systems"
     2. Michael J. Wooldridge and Afsaneh Haddadi, "Making it up as They
     	   Go along: A Theory of Reactive Cooperation"
     3. Wayne Wobcke, "Agency and the Logic of Ability"
     4. Alessio Lomuscio and Mark Ryan, "On the Relation between
     	  Interpreted Systems and {K}ripke Models"
     5. Li-Yan Yuan and Jia-Huai You and Randy Goebel, "Disjunctive
     	  Logic Programming and Possible Model Semantics"
     6. Kazumi Nakamatsu and Atsuyuki Suzuki, "A Non-Monotonic
          {ATMS} Based on Annotated Logic Programs with
          Strong Negation"
     7. Greg Gibbon and Janet Aisbett, "Switching between
          Reasoning and Search"
     8. Bernard Moulin, "The Social Dimension of Interactions in
          Multiagent Systems"
     9. Timothy J. Norman and Nicholas R. Jennings, "Generating
          States of Joint Commitment between Autonomous Agents"
    10. Sascha Ossowski and Ana Garc\'ia-Serrano, "Social Co-Ordination
          among Autonomous Problem-Solving Agents"
    11. Chengqi Zhang and Yuefeng Li, "An Algoritm for Plan
          Verification in Multiple Agent Systems"
    12. Hung Hai Bui and Svetha Venkatesh and Dorota Kieronska, "A
          Framework for Coordination and Learning among Teams of Agents"
    13. Bengt Carlsson and Stefan Johansson, "An Iterated
          Hawk-and-Dove Game"
    14. Satoru Yoshida et al., "A Game-Theoretic Solution
    	  of Conflicts among Competitive Agents"
    15. Chengqi Zhang and Xudong Luo, "Transformation between the
         {EMYCIN} Model and the {B}ayesian Network"
    16. Dong Mei Zhang and Leila Alem and Kalina Yacef, "Using
         Multi-Agent Approach for the Design of an Intelligent
	 Learning Environment"
    17. Minjie Zhang, "A Case-Based Strategy for
         Solution Synthesis among Cooperative Expert Systems"
  },
  topic = {agent-modeling;common-sense-reasoning;multiagent-systems;}
 }

@book{ woisetschlaeger:1976a,
  author = {Erich F. Woisetschlaeger},
  title = {A Semantic Theory of the {E}nglish Auxiliary System},
  publisher = {Indiana University Linguistics Club},
  year = {1976},
  address = {310 Lindley Hall, Bloomington, Indiana},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {tense-aspect;English-language;auxiliary-verbs;nl-modality;
  	nl-semantics;}
 }

@book{ woisetschlaeger:1985a,
  author = {Erich F. Woisetschlaeger},
  title = {A Semantic Theory of the {E}nglish Auxiliary System},
  publisher = {Garland Publishing Co.},
  address = {New York},
  year = {1985},
  topic = {nl-modality;nl-modality;auxiliary-verbs;modals;
  	nl-semantics;}
  }

@article{ wojciki:1975a,
  author = {Ryszard W\'ojciki},
  title = {Deterministic Systems},
  journal = {Erkenntnis},
  year = {1975},
  volume = {9},
  pages = {219--227},
  missinginfo = {number},
  topic = {(in)determinism;philosophy-of-science;}
  }

@article{ wojecki:1980a,
  author = {Ryszard W\'ojecki},
  title = {Set Theoretic Representation of Empirical Phenomena},
  journal = {Journal of Philosophical Logic},
  year = {1980},
  volume = {9},
  number = {4},
  pages = {337--343},
  topic = {formalizations-of-physics;}
  }

@book{ wolck-matthews_ph:1965a,
  author = {Wolfgang W\"olck and P.H. Matthews},
  title = {A Preliminary Classification of Adverbs in {E}nglish},
  publisher = {Indiana University Linguistics Club},
  year = {1965},
  address = {310 Lindley Hall, Bloomington, Indiana},
  rtnote = {In RHT collection.},
  topic = {adverbs;English-language;}
 }

@inproceedings{ wold:1996a,
  author = {Dag E. Wold},
  title = {Long Distance Selective Binding: The Case of Focus},
  booktitle = {Proceedings from Semantics and Linguistic Theory {VI}},
  publisher = {Cornell University},
  year = {1996},
  editor = {Teresa Galloway and Justin Spence},
  pages = {311--328},
  address = {Ithaca, New York},
  topic = {nl-semantics;unselective-binding;sentence-focus;}
  }

@article{ wolenski:2001a,
  author = {Jan Wole\'nski},
  title = {Review of \emph{{E}xploring Logical Dynamics}, by
  	{J}ohan van {B}enthem},
  journal = {Studia Logica},
  year = {2001},
  volume = {67},
  number = {1},
  pages = {111--116},
  xref = {Review of vanbenthem:1996a.},
  topic = {dynamic-semantics;}
  }

@article{ wolenski:2007a,
  author = {Jan Wole\'nski},
  title = {The Cognitive Relation in a Formal Setting},
  journal = {Studia Logica},
  year = {2007},
  volume = {86},
  number = {2},
  pages = {479--497},
  topic = {propositional-attitudes;}
  }

@article{ wolf_f-gibson:2005a,
  author = {Florian Wolf and Edward Gibson},
  title = {Representing Discourse Coherence:  A Corpus-Based Study},
  journal = {Computational Linguistics},
  year = {2005},
  volume = {31},
  number = {2},
  pages = {249--287},
  topic = {corpus-linguistics;discourse-coherence;discourse-structure;
  		discourse-tagging;}
  }

@book{ wolf_f-gibson:2006a,
  author = {Florian Wolf and Edward Gibson},
  title = {Coherence in Natural Language:  Data Structures and
  		Applications},
  publisher = {The {MIT} Press},
  year = {2006},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-23251-0},
  xref = {Review: knott:2006a},
  topic = {corpus-linguistics;discourse-coherence;discourse-structure;
  		discourse-tagging;}
 }

@unpublished{ wolf_rg:1974a,
  author = {Robert G. Wolf},
  title = {A Survey of Many-Valued Logic (1966--1974)},
  year = {1974},
  note = {Unpublished manuscript, Southern Illinois University},
  rtnote = {In RHT collection.},
  topic = {multivalued-logic;bibliography;}
  }

@book{ wolff:1984a,
  author = {Susanne Wolff},
  title = {Lexical Entries and Word Formation},
  publisher = {Indiana University Linguistics Club},
  year = {1984},
  address = {310 Lindley Hall, Bloomington, Indiana},
  rtnote = {In RHT collection.},
  topic = {derivational-morphology;lexical-rules;}
 }

@article{ wolfl:2002a,
  author = {Stefan W\"olfl},
  title = {Propositional {Q}-Logic},
  journal = {Journal of Philosophical Logic},
  year = {2002},
  volume = {31},
  number = {5},
  pages = {387--414},
  topic = {stit;}
  }

@article{ wolfl:2005a,
  author = {Stefan W\"olfl},
  title = {Events in Branching Time},
  journal = {Studia Logica},
  year = {2005},
  volume = {79},
  number = {2},
  pages = {255--282},
  topic = {events;branching-time;}
  }

@book{ wolfram:1989a,
  author = {Sybil Wolfram},
  title = {Philosophical Logic: An Introduction},
  publisher = {Routledge},
  year = {1989},
  address = {London},
  ISBN = {0415023181 (pbk.)},
  rtnote = {UMich Graduate Library, BC 71 .W651 1989.},
  topic = {philosophical-logic;}
 }

@book{ wolfram:2002a,
  author = {Stephen Wolfram},
  title = {A New Kind of Science},
  publisher = {Wolfram Media},
  year = {2002},
  address = {Champaign, Illinois},
  ISBN = {0814703259},
  xref = {Review: hennacy:2005a},
  topic = {cellular-automata;foundations-of-AI;}
 }

@book{ wollheim:1999a,
  author = {Richard Wollheim},
  title = {On the Emotions},
  publisher = {Yale University Press},
  year = {1999},
  address = {New Haven},
  xref = {Review: harrison_rh:2001a.},
  topic = {emotion;}
 }

@book{ wolman:1965a,
  editor = {Benjamin B. Wolman},
  title = {Scientific Psychology; Principles and Approaches},
  publisher = {Basic Books},
  year = {1965},
  address = {New York},
  ISBN = {0934613443 (U.S.)},
  rtnote = {UMich Media Union Library, QA 402.5 .D291 1987.},
  topic = {psychology-general;}
 }

@inproceedings{ wolper:1981a,
  author = {P. Wolper},
  title = {Temporal Logic Can Be More Expressive},
  booktitle = {Twenty-Second Annual Symposium on Foundations of
  	Computer Science},
  year = {1981},
  pages = {340--348},
  missinginfo = {A's 1st name, publisher, address},
  rtnote = {tmix-project;},
  topic = {temporal-logic;}
  }

@inproceedings{ wolper-etal:1983a,
  author = {P. Wolper and Moshe Y. Vardi and A.P. Sistla},
  title = {Reasoning about Infinite Computation Paths},
  booktitle = {Twenty-Fourth {IEEE} Symposium on Foundations of
  	Computer Science},
  year = {1983},
  organization = {IEEE},
  pages = {185--194},
  missinginfo = {A's 1st name, publisher, address},
  topic = {temporal-logic;theory-of-computation;}
  }

@article{ wolter:1995a,
  author = {Frank Wolter},
  title = {The Finite Model Property in Tense Logic},
  journal = {The Journal of Symbolic Logic},
  year = {1995},
  volume = {60},
  number = {3},
  pages = {757--774},
  topic = {temporal-logic;finite-model-property;}
  }

@article{ wolter:1997a,
  author = {Frank Wolter},
  title = {A Note on the Interpolation Property in Tense Logic},
  journal = {Journal of Philosophical Logic},
  year = {1997},
  volume = {26},
  number = {3},
  pages = {545--551},
  topic = {proof-theory;temporal-logic;}
  }

@article{ wolter:1998a,
  author = {Frank Wolter},
  title = {On Logics with Coimplication},
  journal = {Journal of Philosophical Logic},
  year = {1998},
  volume = {27},
  number = {4},
  pages = {353--387},
  topic = {intuitionistic-logic;temporal-logic;}
  }

@incollection{ wolter:1998b,
  author = {Frank Wolter},
  title = {Fusions of Modal Logics Revisited},
  booktitle = {Advances in Modal Logic, Volume 1},
  publisher = {{CSLI} Publications},
  year = {1998},
  editor = {Marcus Kracht and Maarten de Rijke and Heinrich Wansing},
  pages = {361--379},
  address = {Stanford, California},
  topic = {modal-logic;}
  }

@incollection{ wolter-zakharyaschev:1998a,
  author = {Frank Wolter and Michael Zakharyaschev},
  title = {Satisfiability Problem in Description Logics with
		Modal Operators},
  booktitle = {{KR}'98: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1998},
  editor = {Anthony G. Cohn and Lenhart Schubert and Stuart C.
		Shapiro},
  pages = {512--523},
  address = {San Francisco, California},
  topic = {kr;description-logics;modal-logic;kr-course;}
  }

@inproceedings{ wolter-zakharyaschev:2000a,
  author = {Frank Wolter and Michael Zakharyaschev},
  title = {Spatio-Temporal Representation and Reasoning based
  	on {RCC-8}},
  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 = {3--14},
  topic = {spatial-reasoning;temporal-reasoning;}
  }

@article{ wolter-zakharyaschev:2001a,
  author = {Frank Wolter and Michael Zakharyaschev},
  title = {Decidable Fragments of First-Order Modal Logics},
  journal = {Journal of Symbolic Logic},
  year = {2001},
  volume = {66},
  number = {3},
  pages = {1415--1438},
  topic = {modal-logic;decidability;subtheories-of-FOL;}
  }

@incollection{ wolter-zakharyaschev:2006a,
  author = {Frank Wolter and Michael Zakharyaschev},
  title = {Modal Decision Problems},
  booktitle = {Handbook of Modal Logic},
  year = {2006},
  editor = {Patrick Blackburn and Johan van Benthem and Frank Wolter},
  pages = {427--489},
  address = {New York},
  rtnote = {In RHT collection.},
  topic = {modal-logic;decidability;}
  }

@inproceedings{ wolters:1997a,
  author = {Maria Wolters},
  title = {Compositional Semantics of {G}erman Prefix Verbs},
  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 = {525--527},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  topic = {German-language;lexical-semantics;
		HPSG;verb-particle-combinations;}
 }

@article{ wong_jf:1993a,
  author = {JooFung Wong},
  title = {Review of \emph{{P}aradigms of Artificial Intelligence Programming:
  	A Student's Perspective}, by {P}eter {N}orvig},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {64},
  number = {1},
  pages = {161--167},
  xref = {Review of norvig:1992a.},
  topic = {AI-programming;AI-intro;AI-text;}
  }

@book{ wood_d:1993a,
  author = {Derick Wood},
  title = {Data Structures, Algorithms, and Performance},
  publisher = {Addison-Wesley},
  year = {1993},
  address = {Reading},
  ISBN = {0201521482},
  rtnote = {UMich Media Union Library, QA 76.9 .D35 W661 1993.},
  topic = {abstract-data-types;algorithms;}
 }

@book{ wood_mm:1993a,
  author = {Mary McGee Wood},
  title = {Categorial Grammars},
  publisher = {Routledge},
  year = {1993},
  address = {London},
  ISBN = {0415049547},
  rtnote = {UMich Graduate Library, P 161 .W661 1993.},
  topic = {categorial-grammar;}
 }

@incollection{ wood_mm-craggs:2002a,
  author = {Mary McGee Wood and Richard Craggs},
  title = {Rare Dialogue Acts in Oncology Consultations},
  booktitle = {Third {SIGdial} Workshop on Discourse and Dialogue:
  		Proceedings of the Workshop},
  publisher = {Association for Computational Linguistics},
  year = {2002},
  editor = {Kristina Jokinen and Susan McRoy},
  pages = {196--200},
  address = {New Brunswick, New Jersey},
  topic = {computational-dialogue;speech-acts;conversational-record;}
  }

@article{ wood_o:1950a,
  author = {O. Wood},
  title = {The Force of Linguistic Rules},
  journal = {Proceedings of the {A}ristotelian Society, New Series},
  year = {1950--51},
  volume = {70},
  pages = {313--328},
  topic = {philosophy-of-linguistics;}
 }

@article{ woodfield:1986a,
  author = {Andrew Woodfield},
  title = {Two Categories of Content},
  journal = {Mind and Language},
  year = {1986},
  volume = {1},
  number = {4},
  pages = {319--354},
  contentnote = {Appears to be criticism of Dretske.},
  topic = {philosophy-of-mind;propositional-attitudes;}
  }

@article{ woodham:1981a,
  author = {Robert J. Woodham},
  title = {Analysing Images of Curved Surfaces},
  journal = {Artificial Intelligence},
  year = {1981},
  volume = {17},
  number = {1--3},
  pages = {117--140},
  acontentnote = {Abstract:
     A reflectance map makes the relationship between image intensity
     and surface orientation explicit.  Trade-offs between image
     intensity and surface orientation emerge which cannot be
     resolved locally in a single view.  Existing methods for
     determining surface orientation from a single view embody
     assumptions about surface curvature.  The Hessian matrix is
     introduced to represent surface curvature.  Properties of
     surface curvature are expressed as properties of the Hessian
     matrix.  For several classes of surface, image analysis
     simplifies.  This result has already been established for planar
     surfaces forming trihedral corners.  Similar simplification is
     demonstrated for developable surfaces and for the subclass of
     surfaces known as generalized cones.  These studies help to
     delineate shape information that can be determined from
     geometric measurements at object boundaries and shape
     information that can be determined from intensity measurements
     over sections of smoothly curved surface.
      A novel technique called photometric stereo is discussed.  The
     idea of stereo is to obtain multiple images in order to
     determine the underlying scene precisely.  In photometric stereo,
     the viewing direction is constant.  Multiple images are obtained
     by varying the incident illumination.  It is shown that this
     provides sufficient information to determine surface orientation
     at each image point.  },
  topic = {computer-vision;shape-recognition;}
  }

@book{ woodhouse:1980a,
  author = {Michael B Woodhouse},
  title = {A Preface to Philosophy},
  edition = {2},
  publisher = {Wadsworth Publishing Co.},
  year = {1980},
  address = {Belmont, California},
  rtnote = {In RHT collection.  Intro Philosophy/Logic Shelves.},
  topic = {philosophy-intro;}
 }

@incollection{ woodruff:1970a,
  author = {Peter W. Woodruff},
  title = {Logic and Truth Value Gaps},
  booktitle = {Philosophical Problems in Logic: Some Recent Developments},
  publisher = {D. Reidel Publishing Co.},
  year = {1970},
  editor = {Karel Lambert},
  pages = {121--142},
  address = {Dordrecht},
  topic = {truth-value-gaps;}
  }

@article{ woodruff:1974a,
  author = {Peter W. Woodruff},
  title = {A Modal Interpretation of Three-Valued Logic},
  journal = {Journal of Philosophical Logic},
  year = {1974},
  volume = {3},
  number = {4},
  pages = {433--439},
  topic = {modal-logic;multivalued-logic;}
  }

@incollection{ woodruff:1976a,
  author = {Robert L. Martin and Peter W. Woodruff},
  title = {On Representing `True-in{$L$}'
				in {$L$}},
  booktitle = {Language in Focus},
  publisher = {D. Reidel Publishing Co.},
  year = {1976},
  editor = {Asa Kasher},
  pages = {113--117},
  address = {Dordrecht},
  topic = {truth;semantic-paradoxes;}
  }

@article{ woodruff:1999a,
  author = {Peter W. Woodruff},
  title = {Partitions and Conditionals},
  journal = {Journal of Philosophical Logic},
  year = {1999},
  volume = {28},
  number = {2},
  pages = {113--128},
  topic = {conditionals;}
  }

@incollection{ woodruff-parsons_t2:1997a,
  author = {Peter W. Woodruff and Terence D. Parsons},
  title = {Indeterminacy of Identity of Objects and Sets},
  booktitle = {Philosophical Perspectives 11: Mind, Causation, and World},
  publisher = {Blackwell Publishers},
  year = {1997},
  editor = {James E. Tomberlin},
  pages = {321--348},
  address = {Oxford},
  rtnote = {In RHT collection.},
  topic = {vagueness;identity;foundations-of-set-theory;}
  }

@incollection{ woods_j:1971a,
  author = {John Woods},
  title = {Essentialism, Self-Identity, and Quantifying In},
  booktitle = {Identity and Individuation},
  publisher = {New York University Press},
  year = {1971},
  editor = {Milton K. Munitz},
  pages = {165--198},
  address = {New York},
  rtnote = {In RHT collection.},
  topic = {quantifying-in-modality;reference;}
  }

@article{ woods_j:1973a,
  author = {John Woods},
  title = {Semantic Kinds},
  journal = {Philosophia},
  year = {1973},
  volume = {3},
  number = {2--3},
  pages = {117--151},
  topic = {natural-kinds;}
  }

@article{ woods_j:1973b,
  author = {John Woods},
  title = {Descriptions, Essences and Quantified Modal Logic},
  journal = {Journal of Philosophical Logic},
  year = {1973},
  volume = {2},
  number = {2},
  pages = {304--321},
  topic = {quantifying-in-modality;reference;}
  }

@article{ woods_j:1975b,
  author = {John Woods},
  title = {Identity and Modality},
  journal = {Philosophia},
  year = {1975},
  volume = {5},
  number = {1--2},
  pages = {69--119},
  topic = {identity;quantifying-in-modality;individuation;}
  }

@article{ woods_j-walton_d:1978a,
  author = {John Woods and Douglas Walton},
  title = {Arresting Circles in Formal Dialogues},
  journal = {Journal of Philosophical Logic},
  year = {1978},
  volume = {7},
  number = {1},
  pages = {73--90},
  topic = {dialogue-logic;}
  }

@incollection{ woods_m:1976a,
  author = {Michael Woods},
  title = {Existence and Tense},
  booktitle = {Truth and Meaning: Essays in Semantics},
  publisher = {Oxford University Press},
  year = {1976},
  editor = {Gareth Evans and John Mc{D}owell},
  pages = {248--262},
  address = {Oxford},
  topic = {davidson-semantics;(non)existence;temporal-logic;}
  }

@book{ woods_m:1997a,
  author = {Michael Woods},
  title = {Conditionals},
  publisher = {Oxford University Press},
  year = {1997},
  address = {Oxford},
  note = {Published posthumously.  Edited by David Wiggins, with
  	a commentary by Dorothy Edgington.},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  xref = {Review: harper_wl:2000a.},
  topic = {conditionals;}
 }

@incollection{ woods_mj:1965a,
  author = {Michael J. Woods},
  title = {Identity and Individuation},
  booktitle = {Analytical Philosophy, Second Series},
  publisher = {Basil Blackwell},
  year = {1965},
  editor = {Ronald J. Butler},
  pages = {120--130},
  address = {Oxford},
  topic = {identity;individuation;}
  }

@incollection{ woods_wa:1975a1,
  author = {William A. Woods},
  title = {What's in a Link: Foundations for Semantic Networks},
  booktitle = {Representation and Understanding: Studies in Cognitive
  	Science},
  publisher = {Academic Press},
  year = {1975},
  editor = {Daniel C. Bobrow and A.M. Collins},
  pages = {35--82},
  address = {New York},
  xref = {Republished in Ronald J. Brachman and Hector J. Levesque;
  	Readings in Knowledge Representation.  See woods:1975a2.},
  topic = {kr;foundations-of-kr;semantic-nets;kr-course;}
  }

@incollection{ woods_wa:1975a2,
  author = {William A. Woods},
  title = {What's in a Link: Foundations for Semantic Networks},
  booktitle = {Readings in Knowledge Representation},
  publisher = {Morgan Kaufmann},
  year = {1995},
  editor = {Ronald J. Brachman and Hector J. Levesque},
  address = {Los Altos, California},
  pages = {217--242},
  xref = {Originally published in Daniel C. Bobrow and A.M. Collins;
  	Representation and Understanding: Studies in Cognitive
  	Science; Academic Press; 1975.  See woods:1975a1.},
  topic = {kr;foundations-of-kr;semantic-nets;kr-course;}
  }

@incollection{ woods_wa:1981a,
  author = {William A. Woods},
  title = {Procedural Semantics as a Theory of Meaning},
  booktitle = {Elements of Discourse Understanding},
  publisher = {Cambridge University Press},
  year = {1981},
  editor = {Arivind Joshi and Bonnie Webber and Ivan Sag},
  pages = {300--333},
  address = {Cambridge, England},
  rtnote = {In RHT collection.},
  topic = {procedural-semantics;pragmatics;}
  }

@article{ woods_wa:1982a1,
  author = {William A. Woods},
  title = {Optimal Search Strategies for Speech Understanding
  	Control},
  journal = {Artificial Intelligence},
  year = {1982},
  volume = {18},
  number = {3},
  pages = {295--326},
  xref = {Republication: woods:1982a2.},
  topic = {speech-recognition;search;}
  }

@incollection{ woods_wa:1982a2,
  author = {William A. Woods},
  title = {Optimal Search Strategies for Speech
	  Understanding Control},
  booktitle = {Readings in Artificial Intelligence},
  publisher = {Morgan Kaufmann},
  year = {1981},
  editor = {Bonnie Webber and Nils J. Nilsson},
  pages = {30--68},
  address = {Los Altos, California},
  xref = {Journal Publication: woods:1982a1.},
  topic = {speech-recognition;search;}
  }

@article{ woods_wa:1987a,
  author = {William A. Woods},
  title = {Don't Blame the Tool},
  journal = {Computational Intelligence},
  year = {1987},
  volume = {3},
  issue = {3},
  pages = {228--237},
  xref = {kr;foundations-of-kr;logic-in-AI;}
  }

@incollection{ woods_wa:1991a,
  author = {William A. Woods},
  title = {Understanding Subsumption and Taxonomy: A Framework for
  	Progress},
  booktitle = {Principles of Semantic Networks: Explorations in
  	the Representation of Knowledge},
  publisher = {Morgan Kaufmann},
  year = {1991},
  editor = {John F. Sowa},
  pages = {45--94},
  address = {San Mateo, California},
  topic = {kr;classification;description-logics;taxonomies;kr-course;}
  }

@incollection{ woods_wa:1994a,
  author = {William A. Woods},
  title = {Beyond Ignorance-Based Systems (Abstract)},
  booktitle = {{KR}'94: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
  pages = {646--645},
  address = {San Francisco, California},
  topic = {kr;reasoning-about-uncertainty;kr-course;}
  }

@incollection{ woods_wa:2004a,
  author = {William A. Woods},
  title = {Meaning and Links:  A Semantic Odyssey},
  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 = {740--741},
  address = {Menlo Park, California},
  topic = {history-of-AI;description-logics;kr;}
  }

@article{ woods_wa-makhoul:1974a,
  author = {William A. Woods and J. Makhoul},
  title = {Mechanical Inference Problems in Continuous Speech
  	Understanding},
  journal = {Artificial Intelligence},
  year = {1974},
  volume = {5},
  number = {1},
  pages = {73--91},
  topic = {speech-recognition;}
  }

@incollection{ woods_wa-schmolze:1992a,
  author = {William A. Woods and James G. Schmolze},
  title = {The {\sc KL-One} Family},
  booktitle = {Semantic Networks in Artificial Intelligence},
  publisher = {Pergamon Press},
  year = {1992},
  editor = {Fritz Lehmann},
  pages = {133--177},
  address = {Oxford},
  xref = {Also published in Computers and Mathematics with Applications;
  	vol. 23; 1992; 133--177},
  topic = {kr;description-logics;kr-course;}
  }

@incollection{ woodward_j:2000a,
  author = {James Woodward},
  title = {Data, Phenomena, and Reliability},
  booktitle = {{PSA}'1998: Proceedings of the 1998 Biennial Meetings
        of the Philosophy of Science Association, Part {II}:
        Symposium Papers},
  publisher = {Philosophy of Science Association},
  year = {2000},
  editor = {Don A. Howard},
  pages = {S163--S179},
  address = {Newark, Delaware},
  topic = {counterfactuals;philosophy-of-science;scientific-data;}
  }

@incollection{ woodward_j:2000b,
  author = {James Woodward},
  title = {What is a Mechanism?  A Counterfactual Account},
  booktitle = {{PSA}'00: Proceedings of the 2000 Biennial Meetings
  	of the Philosophy of Science Association, Part {II}:
	Symposium Papers},
  publisher = {Philosophy of Science Association},
  year = {2002},
  editor = {Jeffrey A. Barrett and J. McKenzie Alexander},
  pages = {S366--S192},
  address = {Newark, Delaware},
  topic = {philosophy-of-science;mechanisms;conditionals;}
  }

@book{ woodward_j:2003a,
  author = {James Woodward},
  title = {Making Things Happen:  A Theory of Causal Explanation},
  publisher = {Oxford University Press},
  year = {2003},
  address = {Oxford},
  ISBN = {0-19-518953-1 (pbk)},
  rtnote = {In RHT Collection.  LLP single author shelves.},
  xref = {Review: hiddleston:2005a},
  topic = {causality;explanation;conditionals;}
 }

@article{ woodward_j:2006a,
  author = {James Woodward},
  title = {Sensitive and Insensitive Causation},
  journal = {The Philosophical Review},
  year = {2006},
  volume = {115},
  number = {1},
  pages = {1--50},
  topic = {causality;conditionals;}
  }

@article{ woodward_j-hitchcock:2002a,
  author = {James Woodward and Christopher Hitchcock},
  title = {Explanatory Generalizations, Part {I}: A Counterfactual
  	Account},
  journal = {No\^us},
  year = {2002},
  volume = {36},
  number = {1},
  pages = {1--24},
  topic = {conditionls;explanation;}
  }

@incollection{ woody:2000a,
  author = {Andrea I. Woody},
  title = {Putting Quantum Mechanics to Work in Chemistry:  The Power
  	of Diagrammatic Representation},
  booktitle = {{PSA}'1998: Proceedings of the 1998 Biennial Meetings
  	of the Philosophy of Science Association, Part {II}:
	Symposium Papers},
  publisher = {Philosophy of Science Association},
  year = {2000},
  editor = {Don A. Howard},
  pages = {S612--S627},
  address = {Newark, Delaware},
  topic = {philosophy-of-sciehce;diagrams;}
  }

@book{ wooffitt:1997a,
  editor = {Robin Wooffitt},
  title = {Humans, Computers and Wizards: Analysing Human (Simulated)
  	Computer Interaction},
  publisher = {Routledge},
  year = {1997},
  address = {London},
  ISBN = {0415069483},
  rtnote = {UMich Media Union Library, QA 76.9 .H85 H895 1997.},
  topic = {HCI;}
 }

@book{ wooldridge:1999a,
  author = {Michael J. Wooldridge},
  title = {Multiagent Systems: A Modern Approach to Distributed
  	Artificial Intelligence},
  publisher = {The {MIT} Press},
  year = {1999},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-73131-2},
  xref = {Review: adams_ja:2001a.},
  topic = {distributed-AI;distributed-systems;}
 }

@book{ wooldridge:2000a,
  author = {Michael J. Wooldridge},
  title = {Reasoning about Rational Agents},
  publisher = {Cambridge University Press},
  year = {2000},
  address = {Cambridge, England},
  ISBN = {0262232138},
  rtnote = {UMich Media Union QA 76.76 .I58 W661 2000},
  rtnote = {In RHT collection.  AI Shelves.},
  topic = {distributed-AI;agent-architectures;}
 }

@article{ wooldridge-dunne:2004a,
  author = {Michael J. Wooldridge and Paul E. Dunne},
  title = {On the Computational Complexity of Qualitative Coalitional
  	Games},
  journal = {Artificial Intelligence},
  year = {2004},
  volume = {158},
  number = {1},
  pages = {27--73},
  topic = {multiagent-systems;coalitional-games;complexity-in-AI;}
  }

@article{ wooldridge-dunne:2006a,
  author = {Michael Wooldridge and Paul E. Dunne},
  title = {On the Computational Complexity of Coalitional Resource Games},
  journal = {Artificial Intelligence},
  year = {2006},
  volume = {170},
  number = {10},
  pages = {835--871},
  topic = {conplexity-in-AI;coalition-formation;}
  }

@book{ wooldridge-etal:1996a,
  editor = {Michael J. Wooldridge and J.P. M\"uller and Milind Tambe},
  title = {Intelligent Agents Volume {II}---Proceedings of the
  	1995 Workshop on Agent Theories, Architectures, and
	Languages (ATAL--95)},
  publisher = {Springer-Verlag},
  year = {1996},
  address = {Berlin},
  missinginfo = {E's 1st name.},
  rtnote = {Info Sciences Q336 I67 1995.},
  topic = {agent-modeling;agent-architectures;}
 }

@book{ wooldridge-jennings_nr:1995a,
  editor = {Michael J. Wooldridge and Nicholas R. Jennings},
  title = {Intelligent Agents: Proceedings of the
  	1994 Workshop on Agent Theories, Architectures, and
	Languages (ATAL--94)},
  publisher = {Springer-Verlag},
  year = {1995},
  address = {Berlin},
  topic = {agent-modeling;agent-architectures;}
 }

@article{ wooldridge-lomuscio:1999a,
  author = {Michael J. Wooldridge and Alesso Lomuscio},
  title = {A Computationally Grounded Logic of Visibility, Perception,
  	and Knowledge},
  journal = {Journal of the {IGPL}},
  year = {1999},
  volume = {9},
  number = {2},
  pages = {257--272},
  contentnote = {Uses a semantics in terms of automata.},
  rtnote = {In RHT collection.},
  topic = {multiagent-systems;epistemic-logic;logic-of-perception;}
  }

@book{ wooldridge-rao_a:1999a,
  editor = {Michael Wooldridge and Anand Rao},
  title = {Foundations of Rational Agency},
  publisher = {Kluwer Academic Publishers},
  year = {1999},
  address = {Dordrecht},
  ISBN = {0-7923-5601-2},
  contentnote = {TC:
    1. Anand Rao and Michael Wooldridge, "Foundations of Rational
    		Agency", pp. 1--9
    2. Stuart Russell, "Rationality and Intelligence", pp. 11--33
    3. Aaron Sloman, "What Sort of Architecture is Required for a
    		Human-like Agent?", pp. 35--51
    4. John L. Pollock, "Planning Agents", pp. 53--79
    5. Piotr J. Gmytrasiewicz, "Toward Rational Interactions in
    		Multiagent Domains", pp. 81--103
    6. Munidar P. Singh, "Know-How", pp. 105--131
    7. Wiebe van der Hoek, B. van Linder and J-J.Ch. Meyer, "An
    		Integrated Modal Approach to Rational
		Agents", pp. 133--167
    8. David R. Traum, "Speech Acts for Dialogue Agents", pp. 169--201
    9. Afsaneh Haddadi, "Communication among Rational Agents", pp. 203--225
   10. B. J. Grosz and S. Kraus, "The Evolution of Shared
   		Plans", pp. 227--261
   11. S. Rebecca Thomas, "A Survey of Agent-Oriented
   		Programming", pp. 263--273
   12. Yves Lesp\'erance and Hector J. Levesque, and Raymond
   		Reiter, "A Situation Calculus Approach to Modeling
		and Programming Agents", pp. 275--299
          www.cs.toronto.edu/kr/papers/FTRA.pdf
    },
  rtnote = {See google books},
  topic = {rational-action;agency;agent-architectures;
  		agent-oriented-programming;practical-reasoning;}
 }

@book{ wooldridge-veloso:1999a,
  editor = {Michael J. Wooldridge and Manuela Veloso},
  title = {Artificial Intelligence Today: Recent Trends and Developments},
  publisher = {Springer-Verlag},
  year = {1999},
  address = {Berlin},
  ISBN = {3540664289 (alk. paper)},
  rtnote = {In Umich Library},
  topic = {AI-general;}
 }

@article{ woolhouse:1973a,
  author = {Roger S. Woolhouse},
  title = {Tensed Modalities},
  journal = {Journal of Philosophical Logic},
  year = {1973},
  volume = {2},
  number = {3},
  pages = {393--415},
  rtnote = {tmix-project;},
  topic = {temporal-logic;modal-logic;tmix-project;}
  }

@article{ woolhouse:1973b,
  author = {Roger S. Woolhouse},
  title = {Counterfactuals, Dispositions, and Capacities},
  journal = {Mind},
  year = {1973},
  volume = {82},
  number = {328},
  pages = {557--565},
  rtnote = {In RHT collection.  \my10},
  topic = {dispositions;}
  }

@book{ wos:1984a,
  author = {Larry Wos},
  title = {Automated Reasoning: Introduction and Applications},
  publisher = {Prentice-Hall},
  year = {1984},
  address = {Englewood Cliffs, New Jersey},
  ISBN = {0130544531},
  rtnote = {UMich Media Union Library, QA76.9.A96 A931 1984},
  topic = {theorem-proving;}
 }

@book{ wos:1988a,
  author = {Larry Wos},
  title = {Automated Reasoning: 33 Basic Research Problems},
  publisher = {Prentice-Hall},
  year = {1988},
  address = {Englewood Clifs, New Jersey},
  ISBN = {013054552X (pbk.)},
  rtnote = {UMich Media Union Library, QA76.9.A96 W671 1988},
  topic = {theorem-proving;}
 }

@article{ wos-etal:1984a,
  author = {L. Wos and S.  Winker and B. Smith and R. Veroff and L. Henschen},
  title = {A New Use of an Automated Reasoning Assistant: Open
  	Questions in Equivalential Calculus and the Study of Infinite
	Domains},
  journal = {Artificial Intelligence},
  year = {1984},
  volume = {22},
  number = {3},
  pages = {303--356},
  topic = {theorem-proving;computer-assisted-mathematics;}
  }

@book{ wos-pieper:1999a,
  author = {Larry Wos and Gail W. Pieper},
  title = {A Fascinating Country in the World of Computing---Your Guide
  		to Automated Reasoning},
  publisher = {World Scientific},
  year = {1999},
  address = {Singapore},
  xref = {Review: meyer_rk:2007a},
  topic = {theorem-proving;computer-assisted-mathematics;}
 }

@article{ wotawa:2002a,
  author = {Franz Wotawa},
  title = {On the Relationship between Model-Based Debugging and
  	and Program Slicing},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {135},
  number = {1--2},
  pages = {125--143},
  topic = {model-based-reasoning;diagnosis;automatic-debugging;}
  }

@incollection{ wotschke:1972a,
  author = {Eva-Marie M. Wotschke},
  title = {Complementation in a {M}ontague Grammar},
  booktitle = {Papers in {M}ontague Grammar},
  publisher = {Linguistics Department, UCLA},
  year = {1972},
  editor = {Robert Rodman},
  pages = {94--100},
  address = {Los Angeles, California},
  note = {ULCA Occasional Papers in Linguistics, No. 2},
  topic = {Montague-grammar;complementation;}
  }

@article{ wray_do:1987a,
  author = {David Otway Wray},
  title = {Logic in Quotes},
  journal = {Journal of Philosophical Logic},
  year = {1987},
  volume = {16},
  number = {1},
  pages = {77--110},
  topic = {substitutional-quantification;}
  }

@article{ wray_kb:2002a,
  author = {K. Brad Wray},
  title = {The Epistemic Significance of Collaborative Research},
  journal = {Philosophy of Science},
  year = {2002},
  volume = {69},
  number = {1},
  pages = {150--168},
  topic = {philosophy-of-science;social-aspects-of-science;}
  }

@article{ wreen:1989a,
  author = {Michael J. Wreen},
  title = {Socrates is Called `Socrates'},
  journal = {Linguistics and Philosophy},
  year = {1989},
  volume = {12},
  number = {3},
  pages = {359--371},
  topic = {proper-names;sense-reference;}
  }

@article{ wright_c:1975a,
  author = {Crispin Wright},
  title = {On the Coherence of Vague Predicates},
  journal = {Synt\`hese},
  year = {1975},
  pages = {325--366},
  volume = {30},
  missinginfo = {number},
  topic = {vagueness;}
  }

@incollection{ wright_c:1976a1,
  author = {Crispin Wright},
  title = {Language-Mastery and the Sorites Paradox},
  booktitle = {Truth and Meaning: Essays in Semantics},
  publisher = {Oxford University Press},
  year = {1976},
  editor = {Gareth Evans and John McDowell},
  pages = {223--247},
  address = {Oxford},
  xref = {Republication: wright_c:1976a2.},
  topic = {vagueness;sorites-paradox;}
  }

@incollection{ wright_c:1976a2,
  author = {Crispin Wright},
  title = {Language-Mastery and the Sorites Paradox},
  booktitle = {Vagueness: A Reader},
  publisher = {The {MIT} Press},
  year = {1997},
  editor = {Rosanna Keefe and Peter Smith},
  pages = {151--173},
  address = {Cambridge, Massachusetts},
  xref = {Republication of: wright_c:1976a1.},
  topic = {vagueness;}
  }

@book{ wright_c:1983a,
  author = {Crispin Wright},
  title = {Frege's Conception of Numbers as Objects},
  publisher = {Aberdeen University Press},
  year = {1983},
  address = {Aberdeen},
  ISBN = {0080303528},
  rtnote = {UMich Graduate Library, QA8.4 .W7311 1983.},
  topic = {Frege;philosophy-of-mathematics;}
 }

@incollection{ wright_c:1986a,
  author = {Crispin Wright},
  title = {Theories of Meaning and Speakers' Knowledge},
  booktitle = {Philosophy in {B}ritain Today},
  publisher = {State University of New York Press},
  year = {1986},
  editor = {Stuart G. Shanker},
  pages = {267--},
  address = {Albany, New York},
  topic = {foundations-of-semantics;philosophy-of-language;}
  }

@article{ wright_c:1987a1,
  author = {Crispin Wright},
  title = {Further Reflections on the Sorites Paradox},
  journal = {Philosophical Topics},
  year = {1987},
  volume = {15},
  number = {1},
  pages = {227--290},
  xref = {Republication: wright_c:1987a2.},
  topic = {vagueness;sorites-paradox;}
  }

@incollection{ wright_c:1987a2,
  author = {Crispin Wright},
  title = {Further Reflections on the Sorites Paradox},
  booktitle = {Vagueness: A Reader},
  publisher = {The {MIT} Press},
  year = {1997},
  editor = {Rosanna Keefe and Peter Smith},
  pages = {204--250},
  address = {Cambridge, Massachusetts},
  xref = {Republication of: wright_c:1987a1.},
  topic = {vagueness;sorites-paradox;}
  }

@article{ wright_c:1992a,
  author = {Crispin Wright},
  title = {Is Higher-Order Vagueness Coherent?},
  journal = {Analysis},
  year = {1992},
  volume = {52},
  number = {3},
  pages = {129--139},
  rtnote = {In RHT collection.},
  topic = {vagueness;}
  }

@article{ wright_c:2000a,
  author = {Crispin Wright},
  title = {Truth as Sort of Epistemic: {P}utnam's Peregrinations},
  journal = {The Journal of Philosophy},
  year = {2000},
  volume = {97},
  number = {5},
  pages = {335--364},
  topic = {truth;realism;metaphysics;}
  }

@book{ wright_c:2003a,
  author = {Crispin Wright},
  title = {Saving the Differences: Essays on Themes from Truth and
  		Objectivity},
  publisher = {Harvard University Press},
  year = {2003},
  address = {Cambridge, Massachusetts},
  xref = {Review: eklund_m:2004a.},
  topic = {philosophical-realism;truth;}
 }

@book{ wright_c-etal:1998a,
  editor = {Crispin Wright and Barry C. Smith and Cynthia Macdonald},
  title = {Knowing Our Own Minds},
  publisher = {Oxford University Press},
  year = {1998},
  address = {Oxford},
  ISBN = {0198236670 (hardcover)},
  rtnote = {UMich Graduate Library, BD 450 .K6291 1998.},
  topic = {introspection;}
 }

@incollection{ wright_ce:1990a,
  author = {Charles E. Wright},
  title = {Controlling Sequential Motor Activity},
  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 = {285--316},
  address = {Cambridge, Massachusetts},
  rtnote = {In RHT collection.},
  topic = {cognitive-psychology;action;planning;}
  }

@article{ wright_m:1965a,
  author = {Maxwell Wright},
  title = {`{I} Know' and Performative Utterances},
  journal = {Australasian Journal of Philosophy},
  year = {1965},
  volume = {43},
  pages = {35--37},
  missinginfo = {number},
  topic = {speech-acts;pragmatics;}
  }

@incollection{ wright_ra:1975a1,
  author = {R.A. Wright},
  title = {Meaning$_{nn}$ and Conversational Implicature},
  booktitle = {Syntax and Semantics 3: Speech Acts},
  publisher = {Academic Press},
  year = {1975},
  editor = {Peter Cole and Jerry Morgan},
  pages = {363--382},
  address = {New York},
  missinginfo = {A's 1st name.},
  topic = {implicature;speaker-meaning;pragmatics;}
  }

@book{ wright_rd:1998a,
  editor = {Richard D. Wright},
  title = {Visual Attention},
  publisher = {Oxford University Press},
  year = {1998},
  address = {Oxford},
  contentnote = {TC:
  	1. Gary Hatfield, "Attention in Early Scientific Psychology"
	2.  Anne Treisman, "The Perception of Features and Objects"
	3.  Arien Mack and Irvin Rock, "Inattentional Blindness:
		Perception without Attention"
	4.  Steven P. Tipper and Bruce Weaver, "The Medium of
		Attention: Location-based, Object-Centred, or
		Scene-based? "
	5.  Gordon D. Logan and Brian J. Compton, "Attention and Automaticity"
	6.  Richard D. Wright and Lawrence M. Ward, "The Control of
		Visual Attention"
	7. Steven Yantis, "Objects, Attention, and Perceptual Experience"
       10. Zenon Pylyshyn, "Visual Indexes in Spatial Vision and Imagery"
       11. Lawrence M. Ward, John J. McDonald, and Narly Golestani,
       		"Cross-Modal Control of Attention Shifts"
       12.  Michael I. Posner, Mary K. Rothbart, Lisa Thomas-Thrapp,
       		and Gina Gerardi, "Development of Orienting to
		Locations and Objects"
       13.  Burkhart Fischer, "Attention in Saccades"
       14.  Kimron Shapiro and Kathleen Terry, "The Attentional
       		Blink: The Eyes Have It (But So Does the Brain)"
       15.  Richard D. Wright and Christian M. Richard,
       		"Inhibition-of-Return is not Reflexive"
       16. John Palmer, "Attentional Effects in Visual Search:
       		Relating Search Accuracy and Search Time"
       17. Steven J. Luck and Nancy J. Beach, "Visual Attention and
       		the Binding Problem: A Neurophysiological
		Perspective"
       18. Hermann J. M\"uller, Glyn W. Humphreys, and Andrew C.
       		Olsen, "Search via Recursive Rejection (SERR):
		Evidence with Normal and Neurological Patients"
       19. David LaBerge, "Attentional Emphasis in Visual Orienting
       		and Resolving"
   },
  rtnote = {UMich Graduate Library BF241.V551 1998},
  topic = {visual-attention;}
 }

@incollection{ wrobel:1996a,
  author = {Stefan Wrobel},
  title = {Inductive Logic Programming},
  booktitle = {Principles of Knowledge Representation},
  publisher = {{CSLI} Publications},
  year = {1996},
  editor = {Gerhard Brewka},
  pages = {153--189},
  address = {Stanford, California},
  topic = {inductive-logic-programming;}
  }

@article{ wu_d-koutsoukos:2008a,
  author = {Di Wu and Xenofon Koutsoukos},
  title = {Reachability Analysis of Uncertain Systems using
  		Bounded-Parameter {M}arkov Decision Processes},
  journal = {Artificial Intelligence},
  year = {2008},
  volume = {172},
  number = {8--9},
  pages = {945--954},
  topic = {Markov-decision-processes;}
  }

@inproceedings{ wu_dk:1995a,
  author = {Dekai Wu},
  title = {Trainable Coarse Bilingual Grammars for Parallel Text
  	Bracketing},
  booktitle = {Proceedings of the Third Workshop on Very
	Large Corpora},
  year = {1995},
  editor = {David Yarovsky and Kenneth Church},
  pages = {69--81},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  rtnote = {In RHT collection.},
  topic = {corpus-linguistics;automatic-corpus-bracketing;
		text-alignment;grammar-learning;machine-translation;}
  }

@inproceedings{ wu_dk:1996a,
  author = {Dekai Wu},
  title = {A Polynomial-Time Algorithm for Statistical Machine
  	Translation},
  booktitle = {Proceedings of the Thirty-Fourth Annual Meeting of the
  	Association for Computational Linguistics},
  year = {1996},
  editor = {Arivind Joshi and Martha Palmer},
  pages = {152--158},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco},
  topic = {machine-translation;statistical-nlp;polynomial-algorithms;}
 }

@article{ wu_dk:1997a,
  author = {DeKai Wu},
  title = {Stochastic Inversion Transduction Grammars and Bilingual
  	Parsing of Parallel Corpora},
  journal = {Computational Linguistics},
  year = {1997},
  volume = {23},
  number = {3},
  pages = {377--403},
  topic = {parsing-algorithms;machine-translation;}
  }

@inproceedings{ wu_h-etal:2005a,
  author = {Hua Wu and Haifeng Wang and Zhanyi Liu},
  title = {Alignment Model Adaptation for Domain-Specific Word Alignment},
  booktitle = {Proceedings of the 43rd Annual Meeting of the
  		Association for Computational Linguistics (ACL'05)},
  month = {June},
  year = {2005},
  address = {Ann Arbor, Michigan},
  publisher = {Association for Computational Linguistics},
  pages = {467--474},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1058},
  topic = {word-alignment;}
  }

@article{ wu_kj:1970a,
  author = {Kathleen Johnson Wu},
  title = {Hintikka and Defensibility},
  journal = {Ajatus},
  year = {1970},
  volume = {32},
  missinginfo = {number},
  pages = {25--31},
  topic = {epistemic-logic;hyperintensionality;}
  }

@article{ wu_kj:1972a,
  author = {Kathleen Johnson Wu},
  title = {Hintikka and Defensibility: Some Further Remarks},
  journal = {Journal of Philosophical Logic},
  year = {1972},
  volume = {1},
  number = {2},
  pages = {259--261},
  topic = {epistemic-logic;}
  }

@article{ wu_kj:1975a,
  author = {Kathleen Johnson Wu},
  title = {On {\bf C.K.K*} and the {\bf KK}-Thesis},
  journal = {Journal of Philosophical Logic},
  year = {1975},
  volume = {4},
  number = {1},
  pages = {91--95},
  topic = {epistemic-logic;}
  }

@article{ wu_xd:2000a,
  author = {Xindong Wu},
  title = {Building Intelligent Learning Database Systems},
  journal = {The {AI} Magazine},
  year = {2000},
  volume = {21},
  number = {3},
  pages = {61--67},
  topic = {machine-learning;databases;}
  }

@techreport{ wu_zb-etal:1992a,
  author = {Zhi Biao Wu and Loke Soo Hsu and and Chew Lim Tan},
  title = {A Survey of Statistical Approaches to Natural Language
  	Processing},
  institution = {Department of Information Systems and Computer
  	Science, National University of Singapore},
  number = {TRA4/92},
  year = {1992},
  address = {Singapore},
  topic = {probabilistic-parsers;}
 }

@article{ wulf:2009a,
  author = {Douglas J. Wulf},
  title = {Two New Challenges to the Modal Account of the Progressive},
  journal = {Natural Language Semantics},
  year = {2009},
  volume = {17},
  number = {3},
  pages = {205--218},
  topic = {nl-semantics;progressive-aspect;}
  }

@unpublished{ wunderlich:1976a,
  author = {Dieter Wunderlich},
  title = {Behauptungen, konditionale {S}prechackte und
		praktische {S}chl\"usse},
  year = {1975},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.},
  topic = {speech-acts;pragmatics;practical-reasoning;}
  }

@incollection{ wunderlich:1976b,
  author = {Dieter Wunderlich},
  title = {Towards an Integrated Theory of Grammatical and
  	Pragmatical Meaning},
  booktitle = {Language in Focus},
  publisher = {D. Reidel Publishing Co.},
  year = {1976},
  editor = {Asa Kasher},
  pages = {251--277},
  address = {Dordrecht},
  topic = {speech-acts;pragmatics;}
  }

@unpublished{ wunderlich:1976c,
  author = {Dieter Wunderlich},
  title = {Frages\"atze und {F}ragen},
  year = {1976},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.},
  missinginfo = {Year is a guess.},
  topic = {interrogatives;}
  }

@article{ wunderlich:1977a,
  author = {Dieter Wunderlich},
  title = {Assertions, Conditional Speech Acts, and Practical
		Inferences},
  journal = {Journal of Pragmatics},
  year = {1994},
  volume = {1},
  number = {1},
  pages = {13--46},
  topic = {speech-acts;pragmatics;}
  }

@incollection{ wunderlich:1977b,
  author = {Dieter Wunderlich},
  title = {On Problems of Speech Act Theory},
  booktitle = {Basic Problems in Methodology and Linguistics},
  publisher = {D. Reidel Publishing Co.},
  year = {1977},
  editor = {Robert E. Butts and Jaakko Hintikka},
  pages = {243--358},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {speech-acts;pragmatics;}
  }

@incollection{ wunderlich:1979a,
  author = {Dieter Wunderlich},
  title = {Meaning and Context-Dependence},
  booktitle = {Semantics from Different Points of View},
  year = {1979},
  editor = {Rainer B\"auerle and Urs Egli and Arnim {von Stechow}},
  publisher = {Springer-Verlag},
  address = {Berlin},
  pages = {161--171},
  topic = {nl-semantics;indexicals;context;}
  }

@article{ wunderlich:1997a,
  author = {Dieter Wunderlich},
  title = {Cause and the Structure of Verbs},
  journal = {Linguistic Inquiry},
  year = {1997},
  volume = {28},
  number = {1},
  pages = {27--68},
  topic = {causatives;lexical-semantics;}
  }

@book{ wunderlich-vonstechow:1991a,
  editor = {Dieter Wunderlich and Arnim {von Stechow}},
  title = {Semantik/Semantics: an International Handbook
  	of Contemporary Research},
  publisher = {Walter de Gruyter},
  year = {1991},
  address = {Berlin},
  rtnote = {Hillman Reference Area: P325 S3818 1991},
  topic = {nl-semantics;}
 }

@inproceedings{ wurbel-etal:2000a,
  author = {Eric W\"urbel and Robert Jeansoulin and Odile Papini},
  title = {Revision: An Application in the Framework of {GIS}},
  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 = {505--515},
  topic = {geographical-reasoning;diagnosis;}
  }

@article{ wurman-etal:2002a,
  author = {Peter R. Wurman and Michael P. Wellman and William E. Walsh},
  title = {Specifying Rules for Electronic Auctions},
  journal = {The {AI} Magazine},
  year = {2000},
  volume = {23},
  number = {3},
  pages = {15--23},
  topic = {auction-protocols;}
  }

@article{ wurtz:2000a,
  author = {Rolf P. W\"urtz},
  title = {Gossiping Nets},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {119},
  number = {1--2},
  pages = {295--299},
  xref = {Review of anderson_ja-rosenfeld:1998a.},
  topic = {history-of-AI;connectionism;}
  }

@article{ wurzel:1998a,
  author = {Wolfgang Ullrich Wurzel},
  title = {On Markedness},
  journal = {Theoretical Linguistics},
  year = {1998},
  volume = {24},
  number = {1},
  pages = {53--71},
  topic = {markedness;}
  }

@article{ wybrananiecskardowska:2007a,
  author = {Urszula Wybrananiec-Skardowska},
  title = {Meaning and Interpretation {I}},
  journal = {Studia Logica},
  year = {2007},
  volume = {85},
  number = {1},
  pages = {105--132},
  topic = {foundations-of-semantics;}
  }

@article{ wybraniecskardowska:2007a,
  author = {Urszula Wybraniec-Skardowska},
  title = {Meaning and Interpretation {II}},
  journal = {Studia Logica},
  year = {2007},
  volume = {85},
  number = {2},
  pages = {261--274},
  topic = {foundations-of-semantics;}
  }

@article{ wyer-collins_je:1992a,
  author = {Robert S. {Wyer, Jr.} and James E. {Collins II}},
  title = {A Theory of Humor Elicitation},
  journal = {Psychological Review},
  volume = {99},
  number = {4},
  pages = {663--668},
  year = {1992},
  topic = {humor2;cognitive-psychology;}
  }

@incollection{ xia_f-etal:2000a,
  author = {Fei Xia and Martha Palmer and Aravind Joshi},
  title = {A Uniform Method of Grammar Extraction and Its
		Applications},
  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 = {53--62},
  address = {Somerset, New Jersey},
  topic = {grammar-learning;}
  }

@incollection{ xia_xy-wu_dk:1996a,
  author = {Xuanyin Xia and Dekai Wu},
  title = {Parsing {C}hinese with Almost-Context-Free Grammar},
  booktitle = {Proceedings of the Conference on Empirical
		Methods in Natural Language Processing},
  publisher = {Association for Computational Linguistics},
  year = {1996},
  editor = {Eric Brill and Kenneth Church},
  pages = {13--22},
  address = {Somerset, New Jersey},
  topic = {parsing-algorithms;Chinese-language;}
  }

@article{ xia_y-etal:1997a,
  author = {Yan Xia and S.S. Iyengar and N.E. Brenner},
  title = {An Event Driven Integration Reasoning Scheme for Handling
  	Dynamic Threats in an Unstructured Environment},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {95},
  number = {1},
  pages = {169--186},
  topic = {route-planning;}
  }

@article{ xiang:1996a,
  author = {Yang Xiang},
  title = {A Probabilistic Framework for Cooperative Multi-Agent
  	Distributed Interpretation and Optimization of Communication},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {87},
  number = {1--2},
  pages = {295--342},
  topic = {Bayesian-networks;distributed-systems;artificial-societies;}
  }

@article{ xiang:2009a,
  author = {Yang Xiang},
  title = {Review of \emph{{M}odeling and Reasoning with {B}ayesian
  		Networks}, by {A}dnan {D}arwiche , Cambridge (2009).},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {174},
  number = {2},
  pages = {147--151},
  xref = {Review of:  darwiche:2009a},
  topic = {bayesian-networks;AI-text;}
  }

@article{ xie_xc-etal:2006a,
  author = {Xianchao Xie and Zhi Geng and Qiang Zhao},
  title = {Decomposition of Structural Learning about Directed Acyclic
  		Graphs},
  journal = {Artificial Intelligence},
  year = {2006},
  volume = {170},
  number = {4--5},
  pages = {422--439},
  topic = {Bayesian-networks;machine-learning;structure-learning;}
  }

@article{ xing-zhang_wx:2005a,
  author = {Zhao Xing and Weixong Zhang},
  title = {Max{S}olver: An Efficient Exact Algorithm for (Weighted)
  		Maximum Satisfiability},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {164},
  number = {1--2},
  pages = {47--80},
  topic = {model-checking;linear-programming;}
  }

@incollection{ xiong-etal:1992a,
  author = {Yalin Xiong and Norman Sadeh and Katia Sycara},
  title = {Intelligent Backtracking Techniques for Job Shop
  	Scheduling},
  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 = {14--23},
  address = {San Mateo, California},
  topic = {kr;scheduling;search;AI-algorithms;backtracking;kr-course;}
  }

@article{ xu_h:1995a,
  author = {Hong Xu},
  title = {Computing Marginals for Arbitrary Subsets from Marginal
  	Representation in {M}arkov Trees},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {74},
  number = {1},
  pages = {177--189},
  acontentnote = {Abstract:
     Markov trees and clique trees are the alternative
     representations of valuation networks and belief networks that
     are used by local computational techniques for efficient
     reasoning.  However, once the Markov tree has been created, the
     existing techniques can only compute the marginals for the
     vertices of the Markov tree or for a subset of variables which
     is contained in one vertex.  This paper presents a method for
     computing the marginal for a subset which may not be contained
     in one vertex, but is a subset of the union of several vertices.
     The proposed method allows us to change the Markov tree to
     include a vertex containing the new subset without changing any
     information in the original vertices, thus avoiding possible
     repeated computations.  Moreover, it can compute marginals for
     any subsets from the marginal representation in the Markov tree.
     By using the presented method, we can easily update belief for
     some variables given some observations.  },
  topic = {Bayesian-networks;}
  }

@incollection{ xu_jx-weischedel:2000a,
  author = {Jinxi Xu and Ralph Weischedel},
  title = {Cross-Lingual Information Retrieval Using Hidden {M}arkov
  	Models},
  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 = {85--103},
  address = {Somerset, New Jersey},
  topic = {information-retrieval;hidden-Markov-models;}
  }

@article{ xu_k-etal:2007a,
  author = {Ke Xu and Fr\'ed\`eric Boussemart and Fred Hemery and
  		Christophe Lecoutre},
  title = {Random Constraint Satisfaction: Easy Generation of Hard
  		(Satisfiable) Instances},
  journal = {Artificial Intelligence},
  year = {2007},
  volume = {171},
  number = {8--9},
  pages = {514--534},
  topic = {constraint-satisfaction;computational-phase-transitions;}
  }

@article{ xu_m:1988a,
  author = {Ming Xu},
  title = {On Some {U,S}-Tense Logics},
  journal = {Journal of Philosophical Logic},
  year = {1994},
  volume = {17},
  pages = {181--202},
  number = {2},
  topic = {branching-time;temporal-logic;tmix-project;}
  }

@unpublished{ xu_m:1989a,
  author = {Ming Xu},
  title = {Modalities in {stit} Theory Without the Refref
  	Conjecture},
  year = {1989},
  note = {Unpublished Manuscript, Philosophy Department, University of
  	Pittsburgh.},
  topic = {stit;}
  }

@article{ xu_m:1991a,
  author = {Ming Xu},
  title = {Some Descending Chains of Incomplete Modal Logics},
  journal = {Journal of Philosophical Logic},
  year = {1991},
  volume = {20},
  number = {3},
  pages = {265--283},
  topic = {modal-logic;}
  }

@unpublished{ xu_m:1991b,
  author = {Ming Xu},
  title = {Decidability of {\em Stit} Theory with a Single
  	Agent and the Refref Equivalence},
  year = {1991},
  note = {Unpublished manuscript, University of Pittsburgh},
  rtnote = {In RHT collection.},
  topic = {stit;}
  }

@article{ xu_m:1994a,
  author = {Ming Xu},
  title = {Decidability of Deliberative {stit} Theories With Multiple
  	Agents},
  journal = {Studia Logica},
  year = {1994},
  volume = {53},
  pages = {259--298},
  missinginfo = {number},
  topic = {stit;}
  }

@inproceedings{ xu_m:1994b,
  author = {Ming Xu},
  title = {Decidability of Deliberative {stit} Theories with Multiple
  	Agents},
  booktitle = {Temporal Logic, First International Conference},
  year = {1994},
  editor = {Dov Gabbay and Hans J. Ohlbach},
  pages = {332--348},
  publisher = {Springer-Verlag},
  address = {Berlin},
  topic = {stit;}
  }

@article{ xu_m:1994c,
  author = {Ming Xu},
  title = {Doing and Refraining From Refraining},
  journal = {Journal of Philosophical Logic},
  year = {1994},
  volume = {23},
  pages = {621--632},
  number = {6},
  topic = {stit;}
  }

@unpublished{ xu_m:1994d,
  author = {Ming Xu},
  title = {Axioms for Deliberative {stit}},
  year = {1994},
  note = {Unpublished Manuscript, Philosophy Department, University of
  	Pittsburgh.},
  rtnote = {Submitted to JPL.},
  topic = {stit;}
  }

@article{ xu_m:1995a,
  author = {Ming Xu},
  title = {On the Basic Logic of {stit} With a Single Agent},
  journal = {Journal of Symbolic Logic},
  year = {1995},
  volume = {60},
  pages = {459--483},
  missinginfo = {number},
  topic = {stit;}
  }

@article{ xu_m:1995b,
  author = {Ming Xu},
  title = {Busy Choice Sequences, Refraining Formulas and Modalities},
  journal = {Studia Logica},
  year = {1995},
  volume = {54},
  pages = {267--301},
  missinginfo = {number},
  topic = {stit;}
  }

@unpublished{ xu_m:1995c,
  author = {Ming Xu},
  title = {Causation in Branching Time {I}: Transitions, Events, and
  	Causes},
  year = {1995},
  note = {Unpublished Manuscript, Philosophy Department, University of
  	Pittsburgh.},
  topic = {stit;causality;}
  }

@unpublished{ xu_m:1995d,
  author = {Ming Xu},
  title = {Causation in Branching Time {II}: Structures of Events and
  	Causal Regularities},
  year = {1995},
  note = {Unpublished Manuscript, Philosophy Department, University of
  	Pittsburgh.},
  topic = {stit;causality;}
  }

@article{ xu_m:1998a,
  author = {Ming Xu},
  title = {Axioms for Deliberative {\it Stit}},
  journal = {Journal of Philosophical Logic},
  year = {1998},
  volume = {27},
  number = {5},
  pages = {505--552},
  topic = {stit;}
  }

@article{ xu_m:2006a,
  author = {Ming Xu},
  title = {Some Embedding Theorems for Conditional Logic},
  journal = {Journal of Philosophical Logic},
  year = {2006},
  volume = {35},
  number = {6},
  pages = {599--619},
  topic = {conditionals;modal-logic;}
  }

@inproceedings{ xu_w-rudnicky:2000a,
  author = {Wei Xu and Alexander I. Rudnicky},
  title = {Task-Based Dialog Management Using an Agenda},
  booktitle = {Conversational Systems},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  editor = {Candace Sidner and James Allen and Phil Cohen and
  	Justine Cassell and Laila Dybkjaer and X.D. Huang and
	Masato Ishizaki and Candace Kamm and Lin-Shan Lee and
	Susann Luperfoy and Patti Price and Owen Rambow and
	Norbert Reithinger and Alex Rudnicky and Stephanie
	Seneff and Dave Stallard and David R. Traum and Marilyn
	Walker and Wayne Ward},
  pages = {42--47},
  address = {New Brunswick, New Jersey},
  topic = {computational-dialogue;nl-generation;}
  }

@incollection{ xu_wq-etal:2002a,
  author = {Weiqun Xu and Bo Xu and Taiyi Huang and Hairong Xin},
  title = {Bridging the Gap between Dialogue Management
		and Dialogue Models},
  booktitle = {Third {SIGdial} Workshop on Discourse and Dialogue:
  		Proceedings of the Workshop},
  publisher = {Association for Computational Linguistics},
  year = {2002},
  editor = {Kristina Jokinen and Susan McRoy},
  pages = {201--210},
  address = {New Brunswick, New Jersey},
  topic = {computational-dialogue;}
  }

@article{ yablo:1982a,
  author = {Steven Yablo},
  title = {Grounding, Dependence, and Paradox},
  journal = {Journal of Philosophical Logic},
  year = {1982},
  volume = {11},
  number = {1},
  pages = {117--137},
  topic = {semantic-paradoxes;}
  }

@article{ yablo:1987a,
  author = {Stephen Yablo},
  title = {Truth and Reflection},
  journal = {Journal of Philosophical Logic},
  year = {1987},
  volume = {16},
  number = {3},
  pages = {297--349},
  topic = {truth;semantic-paradoxes;semantic-reflection;}
  }

@incollection{ yablo:1993a,
  author = {Stephen Yablo},
  title = {Hop, Skip and Jump: The Agonistic
       		Conception of Truth},
  booktitle = {Philosophical Perspectives, Volume 7:
  	Language and Logic},
  publisher = {Blackwell Publishers},
  year = {1993},
  editor = {James E. Tomberlin},
  pages = {371--396},
  address = {Oxford},
  note = {Also available at http://www.jstor.org/journals/.},
  topic = {truth;semantic-paradoxes;}
  }

@article{ yablo:1993b,
  author = {Stephen Yablo},
  title = {Is Conceivability a Guide to Possibility?},
  journal = {Philosophy and Phenomenological Research},
  year = {1993},
  volume = {53},
  number = {1},
  missinginfo = {pages},
  topic = {a-priori;possibility;}
  }

@article{ yablo:1993c,
  author = {Stephen Yablo},
  title = {Paradox without Self-Reference},
  journal = {Analysis},
  year = {1993},
  volume = {53},
  pages = {251--252},
  url = {http://www.mit.edu/~yablo/pwsr.pdf},
  topic = {paradoxes;self-reference;}
  }

@incollection{ yablo:1997b,
  author = {Stephen Yablo},
  title = {Wide Causation},
  booktitle = {Philosophical Perspectives 11: Mind, Causation, and World},
  publisher = {Blackwell Publishers},
  year = {1997},
  editor = {James E. Tomberlin},
  pages = {251--281},
  address = {Oxford},
  rtnote = {In RHT collection.},
  topic = {philosophy-of-mind;action;causality;}
  }

@article{ yablo:2002a,
  author = {Stephen Yablo},
  title = {De Facto Dependence},
  journal = {The Journal of Philosophy},
  year = {2002},
  volume = {99},
  number = {3},
  pages = {130--148},
  topic = {causality;}
  }

@incollection{ yablo:2003a,
  author = {Stephen Yablo},
  title = {Causal Relevance},
  booktitle = {Philosophy of Mind},
  publisher = {Blackwell Publishers},
  year = {2003},
  editor = {Ernest Sosa and Enrique Villanova},
  pages = {316--328},
  address = {Oxford},
  topic = {reasons-for-action;causality;}
  }

@incollection{ yabushita:2003a,
  author = {Katsuhiko Yabushita},
  title = {Topicality in the Semantics and Pragmatics of Questions
  		and Answers, Evidence for a File-Like Structure of
		Information States},
  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 = {147--154},
  address = {Saarbr\"ucken},
  topic = {discourse;pragmatics;information-structure;s-topic;}
  }

@incollection{ yaffe:2000a,
  author = {Gideon Yaffe},
  title = {Free Will and Agency at Its Best},
  booktitle = {Philosophical Perspectives 14: Action and Freedom},
  publisher = {Blackwell Publishers},
  year = {2000},
  editor = {James E. Tomberlin},
  pages = {203--229},
  address = {Oxford},
  topic = {freedom;agency;volition;}
  }

@article{ yager:1987b,
  author = {Ronald R. Yager},
  title = {Using Approximate Reasoning to Represent Default
  	Knowledge},
  journal = {Artificial Intelligence},
  year = {1987},
  volume = {31},
  number = {1},
  pages = {99--112},
  acontentnote = {Abstract:
     We discuss the issue of default inference rules.  We introduce
     the reasoning mechanism of the theory of approximate reasoning.
     We show how we can represent default knowledge in the framework
     of this theory.  },
  topic = {nonmonotonic-reasoning;approximation;}
  }

@inproceedings{ yager:1995a,
  author = {Ronald R. Yager},
  title = {On the Representation of Nonmonotonic Relations in the
  	Theory of Evidence},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {1902--1907},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  rtnote = {In RHT collection.},
  topic = {nonmonotonic-reasoning;probabilistic-reasoning;}
  }

@book{ yager-etal:1987a,
  editor = {Ronald R. Yager and S. Ovchinnikov and R.M. Tong and H.T.
  	Nguyen},
  title = {Fuzzy Sets and Applications: Selected Papers},
  publisher = {John Wiley and Sons},
  year = {1987},
  address = {New York},
  ISBN = {0471857106},
  rtnote = {UMich Science, QA248 .Z321 1987.},
  xref = {Review: shen:1993a.},
  topic = {fuzzy-logic;}
 }

@book{ yager-etal:1994a,
  editor = {Ronald R. Yager and Janusz Kacprzyk and Mario Fedrizzi},
  title = {Advances in the {D}empster-{S}hafer Theory of Evidence},
  publisher = {John Wiley and Sons},
  year = {1994},
  address = {New York},
  ISBN = {0471552488},
  rtnote = {UMich Media Union Library, QA 76.87 .A391 1994.},
  topic = {reasoning-about-uncertainty;Dempster-Shafer-theory;}
 }

@book{ yager-filev:1994a,
  author = {Ronald R. Yager and Dimitar P. Filev},
  title = {Essentials of Fuzzy Modeling and Control},
  publisher = {John Wiley and Sons},
  year = {1994},
  address = {New York},
  ISBN = {0471017612},
  rtnote = {UMich Media Union Library, QA 248 .Y251 1994.},
  topic = {fuzzy-control;}
 }

@incollection{ yagisawa:1989a,
  author = {Takashi Yagisawa},
  title = {The Reverse {F}rege Puzzle},
  booktitle = {Philosophical Perspectives 3:
  	Philosophy of Mind and Action Theory},
  publisher = {Ridgeview Publishing Company},
  year = {1989},
  editor = {James E. Tomberlin},
  pages = {341--367},
  address = {Atasacadero, California},
  note = {Also available at http://www.jstor.org/journals/.},
  topic = {Frege;sense-reference;twin-earth;}
  }

@incollection{ yagisawa:1993a,
  author = {Takashi Yagisawa},
  title = {A Semantic Solution to {F}rege's Puzzle},
  booktitle = {Philosophical Perspectives, Volume 7:
  	Language and Logic},
  publisher = {Blackwell Publishers},
  year = {1993},
  editor = {James E. Tomberlin},
  pages = {135--154},
  address = {Oxford},
  note = {Also available at http://www.jstor.org/journals/.},
  topic = {reference;analyticity;}
  }

@incollection{ yagisawa:1997a,
  author = {Takasu Yagisawa},
  title = {A Somewhat {R}ussellian Theory of Intensional
				Contexts},
  booktitle = {Philosophical Perspectives 11: Mind, Causation, and World},
  publisher = {Blackwell Publishers},
  year = {1997},
  editor = {James E. Tomberlin},
  pages = {43--82},
  address = {Oxford},
  rtnote = {In RHT collection.},
  topic = {propositional-attitudes;}
  }

@article{ yalcin:2007a,
  author = {Seth Yalcin},
  title = {Epistemic Modals},
  journal = {Mind},
  pages = {983--1026},
  volume = {116},
  year = {2007},
  rtnote = {In RHT collection.},
  topic = {epistemic-modals;probability-semantics;}
	}

@inproceedings{ yallop-etal:2005a,
  author = {Jeremy Yallop and Anna Korhonen and Ted Briscoe},
  title = {Automatic Acquisition of Adjectival Subcategorization from
  		Corpora},
  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 = {614--621},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1076},
  topic = {automated-lexical-acquisition;}
  }

@article{ yamamoto-church_kw:2001a,
  author = {Mikio Yamamoto and Kenneth W. Church},
  title = {Using Suffix Arrays to Compute Term Frequency
  	and Document Frequency for All Substrings in a Corpus},
  journal = {Computational Linguistics},
  year = {2001},
  volume = {27},
  number = {1},
  pages = {1--30},
  topic = {statistical-nlp;}
  }

@incollection{ yaman-etal:2004a,
  author = {Fusan Yaman and Dana Nau and V.S. Subramanian},
  title = {A Logic of Motion},
  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 = {85--94},
  address = {Menlo Park, California},
  topic = {motion-representation;reasoning-about-motion;}
  }

@incollection{ yamanashi:1998a,
  author = {Masa-Aki Yamanashi},
  title = {Some Issues in the Treatment of
			Irony and Other Topics},
  booktitle = {Relevance Theory: Applications and Implications},
  publisher = {John Benjamins Publishing Co.},
  year = {1998},
  editor = {Robyn Carston and Seiji Uchida},
  pages = {271--281},
  address = {Amsterdam},
  topic = {relevance-theory;irony;}
  }

@book{ yandell:2003a,
  author = {Ben Yandell},
  title = {The Honors Class:  {H}ilbert's Problems and Their Solvers},
  publisher = {A.K. Peters, Ltd.},
  year = {2003},
  address = {Wellesley, Massachusetts},
  ISBN = {1-56881-216-7},
  topic = {history-of-mathematics;}
 }

@book{ yang_c:2006a,
  author = {Charles Yang},
  title = {The Infinite Gift: How Children Learn and Unlearn the
  		Languages of the World},
  publisher = {Scribner},
  year = {2006},
  address = {New York},
  ISBN = {0743237560},
  xref = {Review: idsardi:2006a.},
  topic = {minimalist-syntax;universal-grammar;}
 }

@article{ yang_gj-etal:1991a,
  author = {Gijoo Yang and Kathleen F. McCoy and K. Vijay-Shanker},
  title = {From Functional Specification to Syntactic
  	 Structures: Systemic Grammar and Tree-Adjoining Grammar},
  pages = {207--219},
  journal = {Computational Intelligence},
  volume = {7},
  number = {4},
  year = {1991},
  topic = {nl-realization;TAG-grammar;systemic-grammar;}
  }

@article{ yang_q:1990a,
  author = {Qiang Yang},
  title = {Formalizing Planning Knowledge for Hierarchical Planning},
  journal = {Computational Intelligence},
  year = {1990},
  volume = {6},
  number = {2},
  pages = {12--94},
  rtnote = {In RHT collection.},
  topic = {hierarchical-planning;planning-formalisms;}
  }

@book{ yang_q:1997a,
  author = {Qiang Yang},
  title = {Intelligent Planning: A Decomposition
  	and Abstraction Based Approach to Classical Planning},
  publisher = {Springer-Verlag},
  year = {1997},
  address = {Berlin},
  ISBN = {3540619011 (hardcover)},
  rtnote = {UMich Media Union Library, Q 334 .Y361 1997.},
  contentnote = {This book is recommended in giunchiglia_f-spalazzi:1999a
  	as a general introduction to planning.},
  xref = {Review: giunchiglia_f-spalazzi:1999a.},
  topic = {planning;foundations-of-planning;situation-calculus;}
 }

@inproceedings{ yang_q-chan_aym:1994a,
  author = {Quiang Yang and Alex Y. M. Chan},
  title = {Delaying Variable Binding Commitments in Planning},
  booktitle = {Proceedings of the Second International
	Conference on A.I. Planning Systems},
  year = {1994},
  pages = {182--187},
  editor = {Kristian Hammond},
  topic = {planning-algorithms;}
  }

@article{ yang_q-etal:2006a,
  author = {Quiang Yang and Kangheng Wu and Yunfei Jiang},
  title = {Learning Action Models from Plan Examples Using Weighted
  		{MAX-SAT}},
  journal = {Artificial Intelligence},
  year = {2007},
  volume = {171},
  number = {2--3},
  pages = {107--143},
  topic = {action-models;machine-learning;}
  }

@inproceedings{ yang_r:2000a,
  author = {Rong Yang},
  title = {Chinese {NP}s: Quantification \& Distributivity},
  booktitle = {Proceedings from Semantics and Linguistic Theory {X}},
  publisher = {Cornell University},
  year = {2000},
  editor = {Brendan Jackson and Tanya Matthews},
  pages = {273--289},
  address = {Ithaca, New York},
  topic = {nl-semantics;Chinese-language;nl-quantification;}
  }

@inproceedings{ yang_xf-etal:2005a,
  author = {Xiaofeng Yang and Jian Su and Chew Lim Tan},
  title = {Improving Pronoun Resolution Using Statistics-Based
  		Semantic Compatibility Information},
  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 = {165--172},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1021},
  topic = {anaphora-resolution;corpus-statistics;}
  }

@article{ yang_yb-yuille:1995a,
  author = {Yibing Yang and Alan L. Yuille},
  title = {Multilevel Enhancement and Detection of Stereo Disparity
  	Surfaces},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {78},
  number = {1--2},
  pages = {121--145},
  acontentnote = {Abstract:
     The problem of stereo vision has been of increasing interest to
     the computer vision community over the past decade.  This paper
     presents a new computational framework for matching a pair of
     stereo images arising from viewing the same object from two
     different positions.  In contrast to previous work, this approach
     formulates the matching problem as detection of a "bright",
     coherent disparity surface in a 3D image called the
     spatio-disparity space (SDS) image.  The SDS images represents
     the goodness of each and every possible match.
       A nonlinear filter is proposed for enhancing the disparity
     surface in the SDS image and for suppressing the noise.  This
     filter is used to construct a hyperpyramid representation of the
     SDS image.  Then the disparity surface is detected using a
     coarse-to-fine control structure.  The proposed method is robust
     to photometric and geometric distortions in the stereo images,
     and has a number of computational advantages.  It produces good
     results for complex scenes.  },
  topic = {computer-vision;stereoscopic-vision;}
  }

@article{ yang_ym-etal:1998a,
  author = {Yiming Yang and Jaime G. Carbonell and and Ralf D.
  	Brown and Robert E. Frederking},
  title = {Translingual Information Retrieval: Learning from
  	Bilingual Corpora},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {103},
  number = {1--2},
  pages = {323--345},
  topic = {machine-learning;machine-translation;}
  }

@article{ yanofsky:2003a,
  author = {Noson S. Yanofsky},
  title = {A Universal Approach to Self-Referential Paradoxes,
  	Incompleteness, and Fixed Points},
  journal = {The Bulletin of Symbolic Logic},
  year = {2003},
  volume = {9},
  number = {3},
  pages = {363--386},
  topic = {self-reference;fixpoints;(in)completeness;semantic-paradoxes;}
  }

@book{ yaqub:1993a,
  author = {Aladdin M. Yaq\"ub},
  title = {The Liar Speaks the Truth: A Defense of the Revision
  	Theory of Truth},
  publisher = {Oxford University Press},
  year = {1993},
  address = {Oxford},
  ISBN = {0199264805},
  rtnote = {UMich Hatcher Graduate BD 171 .Y371 1993},
  topic = {truth;semantic-paradoxes;}
 }

@inproceedings{ yarowsky:1994a,
  author = {David Yarowsky},
  title = {Decision Lists for Lexical Ambiguity Resolution},
  booktitle = {Proceedings of the Twelfth National Conference on
              Artificial Intelligence},
  year = {1994},
  editor = {Barbara Hayes-Roth and Richard Korf},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Men

license: MIT

license_type: permissive

branch_name: refs/heads/master

gha_license_id: MIT

extension: bib