text:
von Kutschera}},
  title = {$T\times W$ Completeness},
  journal = {Journal of Philosophical Logic},
  year = {1997},
  volume = {26},
  number = {3},
  pages = {241--250},
  rtnote = {tmix-project;},
  topic = {temporal-logic;branching-time;}
  }

@book{ vonneuman:1966a,
  author = {John von Neumann},
  title = {Theory of Self-Reproducing Automata},
  publisher = {University of Illinois Press},
  year = {1966},
  address = {Urbana, Illinois},
  note = {Edited and completed by Arthur W. Burks.},
  topic = {self-reproducing-automata;}
 }

@book{ vonneumann-morgenstern_o:1944a,
  author = {John {von Neumann} and Oskar Morgenstern},
  title = {Theory of Games and Economic Behavior},
  publisher = {Princeton University Press},
  year = {1944},
  address = {Princeton, New Jersey},
  edition = {1},
  topic = {game-theory;decision-theory;}
 }

@book{ vonneumann-morgenstern_o:1947a,
  author = {John {von Neumann} and Oskar Morgenstern},
  title = {Theory of Games and Economic Behavior},
  publisher = {Princeton University Press},
  year = {1947},
  address = {Princeton, New Jersey},
  edition = {2},
  topic = {game-theory;decision-theory;}
 }

@book{ vonplato:1994a,
  author = {Jan {von Plato}},
  title = {Creating Modern Probability},
  publisher = {Cambridge University Press},
  year = {1994},
  address = {Cambridge, England},
  topic = {history-of-mathematics;probability;}
 }

@article{ vonplato:2007a,
  author = {Jan von Plato},
  title = {In the Shadows of the {L}\"owenheim-{S}kolem Theorem: Early
  		Combinatorial Analyses of Mathematical Proofs},
  journal = {The Bulletin of Symbolic Logic},
  year = {2007},
  volume = {13},
  number = {2},
  pages = {189--225},
  topic = {history-of-logic;proof-theory;}
  }

@article{ vonplato:2008a,
  author = {Jan von Plato},
  title = {Gentzen's Proof of Normalization for Natural Deduction},
  journal = {The Bulletin of Symbolic Logic},
  year = {2008},
  volume = {14},
  number = {2},
  pages = {240--257},
  topic = {proof-theory;history-of-logic;}
  }

@incollection{ vonplato:2009a,
  author = {Jan von Plato},
  title = {Proof Theory of Classical and Intuitionistic Logic},
  booktitle = {The Development of Modern Logic},
  publisher = {Oxford University Press},
  year = {2009},
  editor = {Leila Haaparanta},
  pages = {499--515},
  address = {Oxford},
  topic = {history-of-logic;proof-theory;}
  }

@book{ vonplato-negri:2001a,
  author = {Jan von Plato and Sara Negri},
  title = {Structural Proof Theory},
  publisher = {Cambridge University Press},
  year = {2001},
  address = {Cambridge, England},
  xref = {Review: hodes:2006a.},
  rtnote = {A textbook.},
  topic = {proof-theory;}
 }

@article{ vonsavigny:1975a,
  author = {Eike {von Savigny}},
  title = {Meaning by Means of Meaning?  By No Means!},
  journal = {Erkenntnis},
  year = {1975},
  volume = {9},
  pages = {139--143},
  missinginfo = {number},
  rtnote = {In RHT collection.  Argues that speaker meaning can't be
  	used to account for conventional or linguistic meaning.},
  topic = {philosophy-of-language;foundations-of-semantics;
  	speaker-meaning;pragmatics;}
  }

@incollection{ vonstechow:1979a,
  author = {Arnim {von Stechow}},
  title = {Visiting {G}erman Relatives},
  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 = {266--283},
  topic = {nl-syntax;nl-semantics;relative-clauses;German-language;}
  }

@article{ vonstechow:1980a,
  author = {Arnim {von Stechow}},
  title = {Modification of Noun Phrases:  A Challenge for Compositional
  	Semantics},
  journal = {Theoretical Linguistics},
  year = {1980},
  volume = {7},
  number = {1/2},
  pages = {57--110},
  topic = {compositionality;nl-semantics;}
  }

@incollection{ vonstechow:1981a,
  author = {Arnim {von Stechow}},
  title = {Presupposition and Context},
  booktitle = {Aspects of Philosophical Logic},
  publisher = {D. Reidel Publishing Co.},
  year = {1981},
  editor = {Uwe M\"onnich},
  pages = {157--224},
  address = {Dordrecht},
  topic = {presupposition;pragmatics;context;}
  }

@techreport{ vonstechow:1982a,
  author = {Arnim {von Stechow}},
  title = {Structured Propositions},
  institution = {Universit\"at Konstanz},
  year = {1982},
  address = {Konstanz},
  rtnote = {In RHT collection.  Said to be forthcoming in book
  	"Questions and Answers", Reidel.},
  missinginfo = {No number},
  topic = {indexicals;interrogatives;sentence-focus;pragmatics;}
  }

@article{ vonstechow:1984a,
  author = {Arnim {von Stechow}},
  title = {Comparing Semantic Theories of Comparison},
  journal = {Journal of Semantics},
  year = {1984},
  volume = {3},
  pages = {1--77},
  topic = {nl-semantics;comparative-constructions;}
  }

@incollection{ vonstechow:1984b,
  author = {Arnim von Stechow},
  title = {Structured Propositions and Essential Indexicals},
  booktitle = {Varieties of Formal Semantics},
  publisher = {Foris Publications},
  year = {1984},
  editor = {Fred Landman and Frank Veltman},
  pages = {385--404},
  address = {Dordrecht},
  topic = {propositional-attitudes;structured-propositions;indexicals;}
  }

@incollection{ vonstechow:1991a,
  author = {Arnim {von Stechow}},
  title = {Focusing and Backgrounding Operators},
  booktitle = {Discourse Particles: Descriptive and Theoretical
  	Investigations on the Logical, Syntactic and Pragmatic
	Properties of Discourse Particles in {G}erman},
  publisher = {J. Benjamins Publishing Co.},
  editor = {Werner Abraham},
  year = {1991},
  address = {Amsterdam},
  pages = {37--84},
  topic = {sentence-focus;structured-meanings;}
  }

@inproceedings{ vonstechow:1995a,
  author = {Arnim {von Stechow}},
  title = {On the Proper Treatment of Tense},
  booktitle = {Proceedings from Semantics and Linguistic Theory {V}},
  year = {1995},
  editor = {Mandy Simons and Teresa Galloway},
  pages = {362--386},
  publisher = {Cornell University},
  address = {Ithaca, New York},
  note = {Available from CLC Publications, Department of Linguistics,
  	Morrill Hall, Cornell University, Ithaca, NY 14853-4701.},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;nl-tense;}
  }

@article{ vonstechow:1996a,
  author = {Arnim {{v}on Stechow}},
  title = {Against {LF} Pied Piping},
  journal = {Natural Language Semantics},
  year = {1996},
  volume = {4},
  number = {1},
  pages = {57--110},
  topic = {LF;syntactic-movement-rules;}
  }

@incollection{ vonstechow:2000a,
  author = {Arnim von Stechow},
  title = {Some Remarks on Choice Functions and {LF}-Movement},
  booktitle = {Reference and Anaphoric Relations},
  publisher = {Kluwer Academic Publishers},
  year = {2000},
  editor = {Klaus von Heusinger and Uwe Egli},
  pages = {193--228},
  address = {Dordrecht},
  topic = {nl-semantics;indefiniteness;}
  }

@article{ vonstechow:2002a,
  author = {Arnim von Stechow},
  title = {Temporal Prepositional Phrases with Quantifiers: Some
  	Additions to {P}ratt and {F}rancez (2001)},
  journal = {Linguistics and Philosophy},
  year = {2002},
  volume = {25},
  number = {5--6},
  pages = {755--800},
  topic = {nl-semantics;nl-quantifier-scope;temporal-adverbials;}
  }

@book{ vonwright:1941a,
  author = {Georg Henrik {{v}on Wright}},
  title = {The Logical Problem of Induction},
  publisher = {Helsinki Societas Philosophica},
  year = {1941},
  address = {Helsinki},
  ISBN = {3495473203},
  rtnote = {UMich GRADUATE LIBRARY, B23 .S98 no.52.},
  topic = {induction;}
 }

@book{ vonwright:1951a,
  author = {Georg Henrik {{v}on Wright}},
  title = {An Essay in Modal Logic},
  publisher = {North-Holland},
  year = {1951},
  address = {Amsterdam},
  rtnote = {UMich Graduate Library BC 135 .W95},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {philosophical-logic;modal-logic;}
 }

@article{ vonwright:1951b,
  author = {G. H. {von Wright}},
  title = {Deontic logic},
  journal = {Mind, New Series},
  year = {1951},
  volume = {60},
  number = {237},
  pages = {1--15},
  topic = {deontic-logic;}
    }

@book{ vonwright:1957a,
  author = {Georg Henrik von Wright},
  title = {Logical Studies},
  publisher = {Routledge and Kegan Paul},
  year = {1957},
  address = {London},
  ISBN = {3495473203},
  rtnote = {UMich GRADUATE LIBRARY, B23 .S98 no.52.},
  topic = {philosophical-logic;}
 }

@article{ vonwright:1962a1,
  author = {Georg Henrik {{v}on Wright}},
  title = {On Promises},
  journal = {Theoria},
  year = {1962},
  volume = {28},
  pages = {276--297},
  missinginfo = {number},
  xref = {Republication: vonwright:1962a2.},
  topic = {promising;}
  }

@incollection{ vonwright:1962a2,
  author = {Georg Henrik {{v}on Wright}},
  title = {On Promises},
  booktitle = {Practical Reason: Philosophical Papers, Volume 1},
  publisher = {Cornell University Press},
  year = {1983},
  editor = {Georg Henrik {{v}on Wright}},
  pages = {83--99},
  address = {Ithaca},
  xref = {Journal publication: vonwright:1962a1.},
  topic = {promising;}
  }

@book{ vonwright:1963a,
  author = {Georg Henrik {{v}on Wright}},
  title = {Norm and Action: A Logical Enquiry},
  publisher = {Routledge and Keegan Paul},
  year = {1963},
  address = {London},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  xref = {Critical Study: castaneda:1965b.},
  topic = {philosophical-logic;deontic-logic;practical-reasoning;}
 }

@article{ vonwright:1963b1,
  author = {Georg Henrik {{v}on Wright}},
  title = {Practical Inference},
  journal = {The philosophical Review},
  year = {1963},
  volume = {72},
  pages = {159--179},
  missinginfo = {number},
  xref = {Republication: vonwright:1963b2},
  topic = {practical-reasoning;}
  }

@incollection{ vonwright:1963b2,
  author = {Georg Henrik {{v}on Wright}},
  title = {Practical Inference},
  booktitle = {Practical Reason: Philosophical
                 Papers, Volume 1},
  publisher = {Cornell University Press},
  year = {1983},
  editor = {Georg Henrik {{v}on Wright}},
  pages = {1--17},
  address = {Ithaca},
  topic = {practical-reasoning;}
  }

@book{ vonwright:1963c,
  author = {Georg Henrik von Wright},
  title = {The Logic of Preference, an Essay},
  publisher = {Edinburgh University Press},
  year = {1963},
  address = {Edinburgh},
  ISBN = {0631120009},
  rtnote = {UMich Graduate Library, B 3376 .W83 O58.},
  topic = {preferences;deontic-logic;}
 }

@book{ vonwright:1963d,
  author = {Georg Henrik von Wright},
  title = {The Varieties of Goodness},
  publisher = {Humanities Press},
  year = {1963},
  address = {New York},
  rtnote = {UMich Graduate Library BJ 1401 .W95},
  topic = {metaethics;}
 }

@article{ vonwright:1964a1,
  author = {Georg Henrik {{v}on Wright}},
  title = {A New System of Deontic Logic},
  journal = {Danish Yearbook of Philosophy},
  year = {1964},
  volume = {2},
  pages = {13--182},
  xref = {Republication: vonwright:1964a2},
  topic = {deontic-logic;conditional-obligation;}
  }

@incollection{ vonwright:1964a2,
  author = {Georg Henrik {{v}on Wright}},
  title = {A New System of Deontic Logic},
  booktitle = {Deontic Logic: Introductory and Systematic Readings},
  publisher = {D. Reidel Publishing Company},
  address = {Dordrecht},
  year = {1971},
  editor = {Bengt Hansson},
  pages = {104--120},
  xref = {Republication of: vonwright:1964a1},
  topic = {deontic-logic;conditional-obligation;}
    }

@incollection{ vonwright:1964b,
  author = {Georg Henrik {{v}on Wright}},
  title = {Deontic Logic and the Theory of Conditions},
  booktitle = {Deontic Logic: Introductory and Systematic Readings},
  publisher = {D. Reidel Publishing Company},
  address = {Dordrecht},
  year = {1971},
  editor = {Bengt Hansson},
  pages = {159--177},
  rtnote = {Introduces the term "anankastic" but does not talk about
  	anankastic conditionals.},
  topic = {deontic-logic;commitment;}
    }

@article{ vonwright:1967a,
  author = {Georg Henrik {{v}on Wright}},
  title = {Deontic Logics},
  journal = {American Philosophical Quarterly},
  year = {1967},
  volume = {4},
  number = {2},
  pages = {136--143},
  topic = {deontic-logic;conditional-obligation;}
  }

@book{ vonwright:1968a,
 author = {Georg Henrik {{v}on Wright}},
 title = {An Essay in Deontic Logic and the General Theory of Action},
 publisher = {North-Holland},
 year = {1968},
 address = {Amsterdam},
 topic = {philosophical-logic;deontic-logic;action;}
 }

@article{ vonwright:1968b,
  author = {G.~{Von Wright}},
  title = {An Essay in Deontic Lgoic},
  journal = {Acta Philosophica Fennica},
  year = {1968},
  volume = {1},
  pages = {1--110},
  missinginfo = {number},
  topic = {deontic-logic;}
  }

@book{ vonwright:1971a,
  author = {Georg Henrik von Wright},
  title = {Explanation and Understanding},
  publisher = {Cornell University Press},
  year = {1971},
  address = {Ithaca},
  ISBN = {0801406447},
  rtnote = {UMich GRADUATE LIBRARY, BD 241 .W95.},
  topic = {explanation;}
 }

@article{ vonwright:1972a1,
  author = {Georg Henrik {{v}on Wright}},
  title = {On So-Called Practical Inference},
  journal = {Acta Sociologica},
  year = {1972},
  volume = {15},
  pages = {39--53},
  missinginfo = {number},
  xref = {Republications: vonwright:1972a2,vonwright:1972a3.},
  topic = {practical-reasoning;}
  }

@incollection{ vonwright:1972a2,
  author = {Georg Henrik {{v}on Wright}},
  title = {On So-Called Practical Inference},
  booktitle = {Practical Reasoning},
  publisher = {Oxford University Press},
  year = {1978},
  editor = {Joseph Raz},
  pages = {46--62},
  address = {Oxford},
  topic = {practical-reasoning;}
  }

@incollection{ vonwright:1972a3,
  author = {Georg Henrik {{v}on Wright}},
  title = {On So-Called Practical Inference},
  booktitle = {Practical Reason: Philosophical
                 Papers, Volume 1},
  publisher = {Cornell University Press},
  year = {1983},
  editor = {Georg Henrik {{v}on Wright}},
  pages = {18--34},
  address = {Ithaca},
  topic = {practical-reasoning;}
  }

@book{ vonwright:1974a,
  author = {Georg Henrik von Wright},
  title = {Causality and Determinism},
  publisher = {Columbia University Press},
  year = {1974},
  address = {New York},
  ISBN = {0231037589},
  rtnote = {UMich GRADUATE LIBRARY, BD 591 .W89},
  topic = {(in)determinism;causality;}
 }

@incollection{ vonwright:1976a1,
  author = {Georg Henrik {{v}on Wright}},
  title = {Determinism and the Study of Man},
  booktitle = {Essays on Explanation and Understanding: Studies in the
  	Foundations of Humanities and Social Sciences},
  publisher = {D. Reidel Publishing Co},
  year = {1976},
  editor = {Juha Manninen and Raimo Tuomela},
  pages = {415--435},
  address = {Dordrecht},
  xref = {Republication: vonwright:1976a2.},
  topic = {(in)determinism;}
  }

@incollection{ vonwright:1976a2,
  author = {Georg Henrik {{v}on Wright}},
  title = {Determinism and the Study of Man},
  booktitle = {Practical Reason: Philosophical Papers, Volume 1},
  publisher = {Cornell University Press},
  year = {1983},
  editor = {Georg Henrik {{v}on Wright}},
  pages = {35--52},
  address = {Ithaca},
  xref = {Originally published as: vonwright:1976a1.},
  ISBN = {0801416736},
  rtnote = {UMich Graduate Library, BC 145 .W751 1983.},
  topic = {(in)determinism;}
  }

@incollection{ vonwright:1976b,
  author = {Georg Henrik {von Wright}},
  title = {Replies},
  booktitle = {Essays on Explanation and Understanding: Studies in the
                Foundations of Humanities and Social Sciences},
  publisher = {D. Reidel Publishing Company},
  address = {Dordrecht},
  year = {1976},
  editor = {Juha Manninen and Raimo Tuomela},
  pages = {371--413},
  topic = {deontic-logic;}
    }

@article{ vonwright:1979a,
  author = {Georg Henrik {von Wright}},
  title = {Diachronic and Synchronic Modalities},
  journal = {Theorema},
  year = {1979},
  volume = {9},
  number = {3/4},
  pages = {231--245},
  topic = {modal-logic;tense-logic;}
  }

@incollection{ vonwright:1979b,
  author = {Georg Henrik von Wright},
  title = {Time, Truth, and Necessity},
  booktitle = {Intention and Intentionality: Essays in Honour of {G.E.M}.
  	{A}nscombe},
  publisher = {Harvester Press},
  year = {1979},
  editor = {Cora Diamond and Jenny Teichman},
  pages = {237--250},
  acontentnote = {Abstract:
     The essay deals with the problem of future contingent truth
     raised by Aristotle in ``De In'' IX and discussed by Anscombe in
     ``Aristotle and the Sea Battle'' (1956).  Two senses of `true' are
     distinguished.  When used atemporally, ``True at t that p'' means
     ``True that p at T''.  When used temporally, as in ``True at $t_1$
     that p at later $t_2$'', `true' means ``settled,'' ``certain'' or
     ``necessary.''  It is suggested that the ``deterministic
     illusion'' which puzzled Aristotle is due to a confusion of the
     two uses of `true'.
  },
  address = {Brighton},
  rtnote = {In RHT collection.},
  topic = {Aristotle;future-contingent-propositions;}
  }

@article{ vonwright:1981a1,
  author = {Georg Henrik {{v}on Wright}},
  title = {Explanation and the Understanding of Action},
  journal = {Revue Internationale de Philosophie},
  year = {1981},
  volume = {35},
  pages = {127--142},
  missinginfo = {number},
  xref = {Republication: vonwright:1981a2.},
  topic = {action;explanation;}
  }

@incollection{ vonwright:1981a2,
  author = {Georg Henrik {{v}on Wright}},
  title = {Explanation and the Understanding of Action},
  booktitle = {Practical Reason: Philosophical
                 Papers, Volume 1},
  publisher = {Cornell University Press},
  year = {1983},
  editor = {Georg Henrik {{v}on Wright}},
  pages = {53--67},
  address = {Ithaca},
  xref = {Journal publication: vonwright:1981a1.},
  topic = {action;explanation;}
  }

@incollection{ vonwright:1981b1,
  author = {Georg Henrik {{v}on Wright}},
  title = {On the Logic of Norms and Actions},
  booktitle = {New Studies in Deontic Logic},
  publisher = {D. Reidel Publishing Company},
  year = {1981},
  editor = {Risto Hilpinen},
  pages = {3--25},
  address = {Dordrecht},
  xref = {Republication: vonwright:1981b2.},
  topic = {practical-reasoning;deontic-logic;action;}
  }

@incollection{ vonwright:1981b2,
  author = {Georg Henrik {{v}on Wright}},
  title = {On the Logic of Norms and Actions},
  booktitle = {Practical Reason: Philosophical
                 Papers, Volume 1},
  publisher = {Cornell University Press},
  year = {1983},
  editor = {Georg Henrik {{v}on Wright}},
  pages = {100--129},
  address = {Ithaca},
  xref = {Original publication: vonwright:1981a1.},
  topic = {practical-reasoning;deontic-logic;action;}
  }

@book{ vonwright:1983a,
  author = {Georg Henrik {{v}on Wright}},
  title = {Practical Reason: Philosophical Papers, Volume 1},
  publisher = {Cornell University Press},
  year = {1983},
  address = {Ithaca},
  ISBN = {0801416736},
  contentnote = {TC:
  	1. "Practical Inference", pp. 1--17
	2. "On So-Called Practical Inference", pp. 18--34
	3. "Determinism and the4 Study of Man", pp. 35--52
	4. "Explanation and the Understanding of Action", pp. 53--67
	5. "On Promises", pp. 83--99
	6. "On the Logic of Norms and Actions", pp. 100--129
	7. "Norms, Truth, and Logic", pp. 130--209
   },
  rtnote = {UMich Graduate Library, BC 145 .W751 1983.},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {practical-reasoning;}
 }

@incollection{ vonwright:1983b,
  author = {Georg Henrik {{v}on Wright}},
  title = {Norms, Truth, and Logic},
  booktitle = {Practical Reason: Philosophical
                 Papers, Volume 1},
  publisher = {Cornell University Press},
  year = {1983},
  editor = {Georg Henrik {{v}on Wright}},
  pages = {130--209},
  address = {Ithaca},
  xref = {Preliminary version appeared in martino_aa:1982a.},
  topic = {deontic-logic;practical-reasoning;}
  }

@book{ vonwright:1983c,
  author = {Georg Henrik von Wright},
  title = {Philosophical Logic},
  publisher = {Basil Blackwell},
  year = {1983},
  address = {Oxford},
  ISBN = {063113316X},
  rtnote = {UMich Graduate Library, BC 51 .W75 1983.},
  topic = {philosophical-logic;}
 }

@book{ vonwright:1984a,
 author = {Georg Henrik {{v}on Wright}},
 title = {Philosophical Logic: Philosophical Papers, Volume {II}},
 publisher = {Cornell University Press},
 year = {1984},
 address = {Ithaca, NY},
 topic = {Philosophical-logic;}
 }

@book{ vonwright:1984b,
  author = {Georg Henrik von Wright},
  title = {Truth, Knowledge, and Modality},
  publisher = {Basil Blackwell},
  year = {1984},
  address = {Oxford},
  ISBN = {0631133674},
  rtnote = {UMich GRADUATE LIBRARY, B199.M6 W711 1984.},
  acontentnote = {Abstract:
     A major part of the material in this volume has not been
     published before.  Two essays on truth discuss logical systems
     which allow truth-value gaps and truth-value overlaps.  Fresh
     treatment is given to Aristotle's problem of the sea-battle and
     to his dictum that everything which is is necessary and to the
     medieval problem of whether God's omniscience is compatible with
     human freedom of action.  Three essays on modality exploit a
     distinction between a synchronic and a diachronic conception of
     possibility and necessity.  },
  topic = {future-contingent-propositions;(in)determinism;modality;
  	truth;philosophical-logic;}
 }

@incollection{ vonwright:1994a,
  author = {Georg Henrik {{v}on Wright}},
  title = {Diachronic and Synchronic Modalities},
  booktitle = {Intensional Logic:  Theory and Applications},
  publisher = {The Philosophical Society of Finland},
  year = {1994},
  editor = {Ilkka Niiniluoto and Esa Saarinen},
  pages = {42--49},
  address = {Helsinki},
  topic = {temporal-logic;modal-logic;tmix-project;}
  }

@incollection{ vonwright:1998a,
  author = {G. H. {Von Wright}},
  title = {Deontic Logic---As I See It},
  booktitle = {Norms, Logics and Information Systems.  New Studies in
		Deontic Logic and Computer Science},
  publisher = {IOS Press},
  year = {1998},
  editor = {Henry Prakken and Paul McNamara},
  pages = {15--28},
  address = {Amsterdam},
  topic = {deontic-logic;}
  }

@article{ voorbraak:1991a,
  author = {Frans Voorbraak},
  title = {On the Justification of {D}empster's Rule of Combination},
  journal = {Artificial Intelligence},
  year = {1991},
  volume = {48},
  number = {2},
  pages = {171--197},
  acontentnote = {Abstract:
     In Dempster-Shafer theory it is claimed that the pooling of
     evidence is reflected by Dempster's rule of combination,
     provided certain requirements are met. The justification of this
     claim is problematic, since the existing formulations of the
     requirements for the use of Dempster's rule are not completely
     clear.  In this paper, randomly coded messages, Shafer's
     canonical examples for Dempster-Shafer theory, are employed to
     clarify these requirements and to evaluate Dempster's rule. The
     range of applicability of Dempster-Shafer theory will turn out
     to be rather limited.  Further, it will be argued that the
     mentioned requirements do not guarantee the validity of the rule
     and some possible additional conditions will be described.},
  topic = {Dempster-Shafer-theory;reasoning-about-uncertainty;}
  }

@incollection{ voorbraak:1991b,
  author = {Frans Voorbraak},
  title = {A Preferential Model Semantics for Default Logic},
  booktitle = {Symbolic and Quantitative Approaches for Uncertainty:
  	Proceedings of the {E}uropean Conference {ECSQAU}, Marseille,
	France, October 1991},
  publisher = {Springer-Verlag},
  year = {1991},
  editor = {Rudolf Kruse and Pierre Siegel},
  pages = {344--351},
  address = {Berlin},
  rtnote = {In RHT collection.  This modifies the preferential
  	semantics to accommodate default logic.},
  topic = {default-logic;model-preference;}
  }

@incollection{ voorbraak:1992a,
  author = {Frans Voorbraak},
  title = {Generalized {K}ripke Models for Epistemic Logic},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
  	Proceedings of the Fourth Conference ({TARK} 1992)},
  publisher = {Morgan Kaufmann},
  year = {1992},
  editor = {Yoram Moses},
  pages = {214--228},
  address = {San Francisco},
  topic = {epistemic-logic;}
  }

@phdthesis{ voorbraak:1993a,
  author = {Frans Voorbraak},
  title = {As Far as I Know: Epistemic Logic and Uncertainty},
  school = {Utrecht University},
  year = {1993},
  type = {Ph.{D}. Dissertation},
  address = {Utrecht},
  topic = {epistemic-logic;nonmonotonic-logic;}
 }

@inproceedings{ voorbraak:1993b,
  author = {Frans VOorbraak},
  title = {Preference-Based Semantics for Nonmonotonic Logics},
  booktitle = {Proceedings of the Thirteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1993},
  editor = {Ruzena Bajcsy},
  pages = {584--591},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  topic = {model-preference;nonmonotonic-logic;}
  }

@inproceedings{ voorbraak:1997a,
  author = {Frans Voorbraak},
  title = {Decision Analysis Using Partial Probability Theory},
  booktitle = {Working Papers of the {AAAI} Spring Symposium on
  	Qualitative Preferences in Deliberation and Practical
	Reasoning},
  year = {1997},
  editor = {Jon Doyle and Richmond H. Thomason},
  pages = {113--119},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  topic = {qualitative-utility;decision-analysis;}
  }

@article{ voorbraak:2004a,
  author = {Frans Voorbraak},
  title = {A Nonmonotonic Observation Logic},
  journal = {Artificial Intelligence},
  year = {2004},
  volume = {157},
  number = {1--2},
  pages = {281--302},
  topic = {nonmonotonic-logic;nonmonotonic-reasoning;default-logic;
  		cognitive-robotics;sensing-formalisms;}
  }

@book{ vorobej:2006a,
  author = {Mark Vorobej},
  title = {A Theory of Argument},
  publisher = {Cambridge University Press},
  year = {2006},
  address = {Cambridge, England},
  xref = {Review: walton:2007a},
  topic = {argumentation;argumentation-theory;logic-intro;}
 }

@book{ voronkov:1992a,
  editor = {Andrei Voronkov},
  title = {Logic Programming: First Russian Conference On Logic
    Programming, {I}rkutsk, {R}ussia, {S}eptember 14-18, 1990, Second
    {R}ussian {C}onference on Logic Programming, {S}t. {P}etersburg,
    {R}ussia, {S}eptember 11-16, 1991},
  publisher = {Springer-Verlag},
  year = {1992},
  address = {Berlin},
  ISBN = {3540554602},
  rtnote = {UMich Media Union Library, QA 76.63 .R871 1990.},
  topic = {logic-programming;}
 }

@inproceedings{ voronkov:1996a,
  author = {Andrei Voronkov},
  title = {Proof-Search in Intuitionistic Logic Based on
		  Constraint Satisfaction},
  pages = {312--329},
  booktitle = {Proceedings of {TABLEAUX} 96},
  year = {1996},
  publisher = {Springer-Verlag},
  address = {Berlin},
  topic = {theorem-proving;intuitionistic-logic;}
}

@inproceedings{ voronkov:2000a,
  author = {Andrei Voronkov},
  title = {Deciding {K} Using \rotatebox[]{180}{K}},
  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 = {198--209},
  topic = {modal-logic;decidability;}
  }

@article{ vose:1991a,
  author = {Michael D. Vose},
  title = {Generalizing the Notion of Schema in Genetic Algorithms},
  journal = {Artificial Intelligence},
  year = {1991},
  volume = {50},
  number = {3},
  pages = {385--396},
  topic = {genetic-algorithms;}
  }

@book{ vosniadou-ortony:1989a,
  editor = {Stella Vosniadou and Andrew Ortony},
  title = {Similarity and Analogical Reasoning},
  publisher = {Cambridge University Press},
  year = {1989},
  address = {Cambridge, England},
  rtnote = {LANGLEY LIBRARY BF455 M47 1993},
  topic = {analogy;analogical-reasoning;}
 }

@book{ vossen:1998a,
  editor = {Piek Vossen},
  title = {Euro{W}ord{N}et: A Multilingual
  	Database with Lexical Semantic Networks},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  address = {Dordrecht},
  ISBN = {0-7923-5295-5},
  xref = {Review: hirst_g:1999a.},
  topic = {wordnet;}
 }

@article{ vossen:2005a,
  author = {Piek Vossen},
  title = {Review of \emph{{H}andbook for Language Engineers},
  		edited by {A}li {F}arghaly},
  journal = {Journal of Logic, Language, and Information},
  year = {2005},
  volume = {14},
  number = {4},
  pages = {472--475},
  xref = {Review of: farghaly:2003a.},
  topic = {nlp;}
  }

@book{ vossen-etal:1997a,
  editor = {Piek Vossen and Geert Adriaens and Nicoletta Calzolari
  	and Antonio Sanfilippo and Yorick Wilks},
  title = {Automatic Information Extraction and Building of
  	Lexical Semantic Resources for {NLP} Applications},
  publisher = {Association for Computational Linguistics},
  year = {1997},
  address = {New Brunswick, New Jersey},
  contentnote = {TC:
     1. Piek Vossen and Pedro Diez-Orzas and Wim Peters, "Multilingual
     		Design of {E}uro{W}ord{N}et", pp. 1--8
     2. Birgit Hamp and Helmut Feldwig, "Germa{N}et---A
     		Lexical-Semantic Net for {G}erman", pp. 9--15
     3. Tokunaga Takenobu and Fujii Atsushi and Iwauama Makoto and
     		Sakurai Naoyuki and Tanaka Hozumi, "Extending a
		Thesaurus by Classifying Words", pp. 16--21
     4. Dietrich H. Fischer, "Formal Redundancy and Consistency
     		Checking Rules for the Lexical Database
		{W}ord{N}et", pp. 22--31
     5. Alessandro Artale and Bernardo Magnini and Carlo
     		Strapparava, "Lexical Discrimination with the
		{I}talian Version of {W}ord{N}et", pp. 32--38
     6. Jos\'e Gomez-Hidalgo and Manuel de Buenaga
     		Rodriguez, "Integrating a Lexical Database and a
		Training Collection for Text Categorization", pp. 39--44
     7. Atsushi Fujii and Toshihiro Hasegawa and Takenobu Tokunaga
     		and Hozumi Tanaka, "Integration of Hand-Crafted and
		Statistical Resources in Measuring Word
		Similarity", pp. 45--51
     8. Diana McCarthy, "Word Sense Disambiguation for Acquisitiomn
     		of Selectional Preferences", pp. 52--60
     9. Joyce Yue Chai and Alan W. Bierman, "The Use of Lexical
     		Semantics in Information Extraction", pp. 61--70
    10. Salah A\"it-Mokhtar and Jean-Pierre Chanod, "Subject and
    		Object Dependency Extraction Using Finite-State
		Transducers", pp.  71--77
    11. Fr\'ed\'erique Segond and Anne Schiller and Gregory
    		Greffenstette and Jean-Pierre Chanod, "An Experiment
		in Semantic Tagging Using Hidden {M}arkov Model
		Tagging", pp. 78--81
    12. Antonio Sanfilippo, "Using Semantic Similarity to Acquire
    		Co-Occurrence Restrictions from Corpora", pp. 82--89
    13. Stefano Federici and Simonetta Montemagni and Vito
    		Pirelli, "Inferring Semantic Similarity from
		Distributional Evidence: An Analogy-Based Approach to
		Word Sense Disambiguation", pp. 90--97
  },
  rtnote = {In RHT collection.  ACL Shelf.},
  topic = {anaphora;discourse-structure;}
 }

@incollection{ vossen-etal:1997b,
  author = {Piek Vossen and Pedro Diez-Orzas and Wim Peters},
  title = {Multilingual Design of {E}uro{W}ord{N}et},
  booktitle = {Automatic Information Extraction and Building of
  	Lexical Semantic Resources for {NLP} Applications},
  publisher = {Association for Computational Linguistics},
  year = {1997},
  editor = {Piek Vossen and Geert Adriaens and Nicoletta Calzolari
  	and Antonio Sanfilippo and Yorick Wilks},
  pages = {1--8},
  address = {New Brunswick, New Jersey},
  topic = {WordNet;European-languages;multilingual-lexicons;}
  }

@incollection{ voutilainen:1998a,
  author = {Atro Voutilainen},
  title = {Does Tagging Help Parsing?  A Case Study on Finite State
  	Parsing},
  booktitle = {{FSMNLP'98}: International Workshop on Finite State
  	Methods in Natural Language Processing},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Lauri Karttunen},
  pages = {25--36},
  address = {Somerset, New Jersey},
  topic = {nl-processing;parsing-algorithms;corpus-tagging;}
  }

@unpublished{ vranas:2000a,
  author = {Peter B.M. Vranas},
  title = {Can I Kill My Younger Self?},
  year = {2000},
  note = {Unpublished manuscript, University of Michigan},
  rtnote = {In RHT collection.},
  topic = {time-travel;}
  }

@article{ vranas:2008a,
  author = {Peter B.M. Vranas},
  title = {New Foundations for Imperative Logic {I}:
  		Logical Connectives, Consistence, and Quantifiers},
  journal = {No\^us},
  year = {2008},
  volume = {42},
  number = {4},
  pages = {529--572},
  rtnote = {This paper has an extensice bibliography.},
  topic = {imperative-logic;}
  }

@inproceedings{ vreeswijk:1991a,
  author = {Gerard A.W. Vreeswijk},
  title = {A Complete Logic for Autoepistemic Membership},
  booktitle = {Logics in {AI}: Proceedings of {JELIA}'90},
  year = {1991},
  editor = {Jan {van Eijk}},
  pages = {516--525},
  publisher = {Springer-Verlag},
  address = {Berlin},
  topic = {autoepistemic-logic;nonmonotonic-logic;epistemic-logic;}
  }

@incollection{ vreeswijk:1991b,
  author = {Gerard A.W. Vreeswijk},
  title = {The Feasibility of Defeat in Default Reasoning},
  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 = {526--534},
  address = {San Mateo, California},
  topic = {kr;default-logic;nonmonotonic-reasonoing;kr-course;}
  }

@incollection{ vreeswijk:1993a,
  author = {Gerard Vreeswijk},
  title = {The Feasibility of Defeat in Defeasible Reasoning},
  booktitle = {Diamonds and Defaults},
  publisher = {Kluwer Academic Publishers},
  editor = {Maarten de Rijke},
  year = {1993},
  pages = {359--380},
  address = {Dordrecht},
  topic = {nonmonotonic-reasoning;argument-based-defeasible-reasoning;}
  }

@article{ vreeswijk:1997a,
  author = {Gerard A.W. Vreeswijk},
  title = {Abstract Argumentation Systems},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {90},
  number = {1--2},
  pages = {225--279},
  topic = {nonmonotonic-logic;argument-based-defeasible-reasoning;}
  }

@book{ vuillemin:1995a,
  author = {Jules Vuillemin},
  title = {Necessity or Contingency: The Master Argument and its
  	Philosophical Solutions},
  publisher = {Cambridge University Press},
  year = {1995},
  address = {Cambridge, England},
  topic = {(in)determinism;}
 }

@article{ vulkan:2002a,
  author = {Nir Vulkan},
  title = {Strategic Design of Mobile Agents},
  journal = {The {AI} Magazine},
  year = {2000},
  volume = {23},
  number = {3},
  pages = {101--106},
  topic = {automated-negotiation;}
  }

@article{ vytelingum-etal:2008a,
  author = {Perukrishnan Vytelingum and David Cliff and Nicholas R. Jennings},
  title = {Strategic Bidding in Continuous Double Auctions},
  journal = {Artificial Intelligence},
  year = {2008},
  volume = {172},
  number = {14},
  pages = {1700--1729},
  topic = {evolutionary-game-theory;auction-protocols;}
  }

@inproceedings{ wache:2001a,
  author = {Holger Wache},
  title = {Practical Context Transformation for
    		Information System Interoperability},
  booktitle = {Modeling and Using Context: Third International and
  	Interdisciplinary Conference, Context 2001},
  publisher = {Springer-Verlag},
  year = {2001},
  editor = {Varol Akman and Paolo Bouquet and Richmond Thomason
  	and Roger A. Young},
  pages = {367--380},
  address = {Berlin},
  topic = {context;interoperability;}
  }

@incollection{ wacholder:1998a,
  author = {Nina Wacholder},
  title = {Simplex {NP}s Clustered by Head: A Method for
  	Identifying Significant Topics within a Document},
  booktitle = {The Computational Treatment of Nominals: Proceedings
  	of the Workshop},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Federica Busa and Inderjeet Mani and Patrick Saint-Dizier},
  pages = {70--79},
  address = {New Brunswick, New Jersey},
  topic = {nominal-constructions;information-retrieval;}
  }

@unpublished{ wachowicz:1974a,
  author = {Kyrstyna A. Wachowicz},
  title = {Against the Universality of a Single Wh-Question Movement},
  year = {1974},
  note = {Unpublished manuscript, Linguistics Department, University
  	of Texas.},
  rtnote = {In RHT collection.},
  rtnote = {The copy I have is an author's proof for Foundations of
  	Language, but this was probably never published.},
  topic = {interrogatives;}
  }

@unpublished{ wachowicz:1974b,
  author = {Kyrstyna A. Wachowicz},
  title = {Multiple Questions, Games, and the Presuppositions of
  	Semantics},
  year = {1974},
  note = {Unpublished manuscript, Linguistics Department, University
  	of Texas.},
  rtnote = {In RHT collection.},
  rtnote = {Date is a guess.},
  topic = {interrogatives;}
  }

@book{ wachsmuth-frohlich:1998a,
  editor = {Ipke Wachsmuth and Martin Fr\"ohlich},
  title = {Gesture and Sign Language in Human-Computer Interaction},
  publisher = {Springer-Verlag},
  year = {1998},
  address = {Berlin},
  ISBN = {3540644245 (softcover)},
  rtnote = {UMich Media Union Library, QA 76.9 .H85 I6181 1997.},
  topic = {HCI;gestures;}
 }

@inproceedings{ wachsmuth-sagerer:2002a,
  author = {Sven Wachsmuth and Gerhard Sagerer},
  title = {Bayesian Networks for Speech and Image Interpretation},
  booktitle = {Proceedings of the Eighteenth National Conference on
              Artificial Intelligence},
  year = {2002},
  editor = {Rina Dechter and Michael Kearns and Richard S. Sutton},
  pages = {300--396},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {bayesian-networks;information-merging;}
  }

@article{ wachsworth-knoblich:2005a,
  author = {Ipka Wachsworth and G\"unther Knoblich},
  title = {Embodied Communication in Humans and Machines},
  journal = {The {AI} Magazine},
  year = {2005},
  volume = {26},
  number = {2},
  pages = {85},
  topic = {embodiment;gestures;}
  }

@article{ wachtel:1980a,
  author = {Tom Wachtel},
  title = {English as a Metalanguage},
  journal = {Linguistics and Philosophy},
  year = {1980},
  volume = {4},
  number = {1},
  pages = {123--128},
  contentnote = {Criticism of hintikka:1976a.},
  topic = {game-theoretic-semantics;truth-definitions;}
  }

@incollection{ wachter-haenni:2006a,
  author = {Michael Wachter and Rolf Haenni},
  title = {Propositional {DAG}s: A New Graph-Based Language for
  		Representing Boolean Functions},
  booktitle = {{KR}2006: Proceedings, Tenth International Conference on
      Principles of  Knowledge Representation and Reasoning},
  publisher = {AAAI Press},
  year = {2006},
  editor = {Patrick Doherty and John Mylopoulos and Christopher A. Welty},
  pages = {277--285},
  address = {Menlo Park, California},
  topic = {model-checking;graph-based-reasoning;graph-based-representations;}
  }

@inproceedings{ wada-asher:1986a,
  author = {Hajime Wada and Nicholas Asher},
  title = {{BUILDRS}: an Implementation of {DR} Theory and {LFG}},
  booktitle = {Proceedings of the Eleventh Conference on
  	Computational Linguistics},
  year = {1986},
  address = {Bonn},
  missinginfo = {editor, pages, organization, publisher},
  rtnote = {In RHT collection.},
  topic = {discourse-representation-theory;pragmatics;}
  }

@unpublished{ wadler:1993a,
  author = {Philip Wadler},
  title = {A Taste of Linear Logic},
  year = {1993},
  note = {Unpublished manuscript,
    http://cm.bell-labs.com/cm/cs/who/wadler/topics/linear-logic.html.},
  rtnote = {In RHT collection.},
  topic = {linear-logic;}
  }

@book{ waern:1989a,
  author = {Yvonne W{\ae}rn},
  title = {Cognitive Aspects of Computer Supported Tasks},
  publisher = {John Wiley and Sons},
  year = {1989},
  address = {New York},
  ISBN = {0471911410},
  rtnote = {UMich Media Union Library, QA 76.9 .H85 W341 1989.},
  topic = {HCI;}
 }

@book{ waern:1998a,
  editor = {Yvonne W{\ae}rn},
  title = {Co-Operative Process Management: Cognition and Information
  	Technology},
  publisher = {Taylor \& Francis},
  year = {1998},
  address = {London},
  ISBN = {0748407138},
  rtnote = {UMich SOCIAL WORK, QA 76.9 .H85 C685 1998.},
  topic = {HCI;}
 }

@inproceedings{ wagner_cg:1992a,
  author = {Carl C. Wagner},
  title = {Generalizing {J}effrey Conditionalization},
  booktitle = {Proceedings of the Tenth National Conference on
              Uncertainty in Artificial Intelligence},
  year = {1992},
  editor = {Paul Rosenbloom and Peter Szolovits},
  pages = {331--335},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, CA},
  missinginfo = {A's 1st name},
  topic = {probability-kinematics;}
  }

@article{ wagner_cg:2007a,
  author = {Carl G. Wagner},
  title = {The {S}mith-{W}alley Interpretation of Subjective Probability:
  		An Appreciation},
  journal = {Studia Logica},
  year = {2007},
  volume = {86},
  number = {2},
  pages = {343--350},
  topic = {foundations-of-probability;}
  }

@incollection{ wagner_g:1996a,
  author = {Gerd Wagner},
  title = {Logics Based on Knowledge Representation Systems},
  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 = {415--446},
  address = {Berlin},
  topic = {kr;knowledge-retrieval;vivid-reasoning;proof-theory;}
  }

@book{ wagner_g-peirce:1992a,
  editor = {G. Wagner and D. Pearce},
  title = {Logics in {AI}, Proceedings {JELIA}'92},
  publisher = {Springer-Verlag},
  year = {1992},
  address = {Berlin},
  series = {Lecture Notes in Computer Science},
  volume = {633},
  ISBN = {038755887X},
  rtnote = {UMich Media Union Library Q 334 .E9851},
  missinginfo = {A's 1st name.},
  topic = {logic-in-AI;logic-in-AI-survey;}
 }

@inproceedings{ wagner_m:1991a,
  author = {Michael Wagner},
  title = {Givenness and Locality},
  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/wagner06salt.pdf},
  topic = {given-new;prosody;}
  }

@article{ wah-chen_yx:2006a,
  author = {Benjamin W. Wah and Yixen Chen},
  title = {Constraint Partitioning in Penalty Formulations for
  	Solving Temporal Planning Problems},
  journal = {Artificial Intelligence},
  year = {2006},
  volume = {170},
  number = {3},
  pages = {187--231},
  topic = {planning;search;}
  }

@incollection{ wahlster:1989a,
  author = {Wolfgang Wahlster},
  title = {Natural Language Systems:  Some
		Research Trends},
  booktitle = {Logic and Linguistics},
  publisher = {Lawrence Earlbaum Associates},
  year = {1989},
  editor = {Helmut Schnelle and Niels Ole Bernsen},
  pages = {171--183},
  address = {Hillsdale, New Jersey},
  topic = {nlp-survey;}
  }

@techreport{ wahlster-etal:1991a,
  author = {Wolfgang Wahlster and Elisabeth Andr\'e and Winfried Graf
  	and Thomas Rist},
  title = {Designing Illustrated Texts: how Language
  	Production is Influenced by Graphics Generation},
  institution = {DFKI --- German Research Center for Artificial
  	Intelligence, Saarbruecken, Germany},
  year = {1991},
  number = {DFKI-RR-91-05},
  topic = {nl-generation;multimedia-generation;}
}

@incollection{ wahlster-etal:1991b,
  author = {Wolfgang Wahlster and Elisabeth Andr\'e and Son
  	Bandyopadhyay and Winfried Graf and Thomas Rist},
  title = {{WIP}: {T}he Coordinated Generation of Multimodal
  	Presentations from a Common Representation},
  booktitle = {Computational Theories of Communication and their
  	Applications},
  year = {1991},
  editor = {Oliviero Stock and John Slack and Andrew Ortony},
  publisher = {Berlin: Springer Verlag},
  note = {Also available as Technical Report DFKI-RR-91-08, DFKI,
  	Saarbruecken, Germany.},
  topic = {nl-generation;multimedia-generation;}
}

@incollection{ wahlster-etal:1992a,
  author = {Wolfgang Wahlster and Elisabeth Andr\'e and Wolfgang Finkler
    		and Winfried Graf and Hans-J\"urgen Profitlich
		and Thomas Rist and Anne Schauder},
  title = {{WIP}: Integrating Text and Graphics Design for Adaptive
		Information Processing},
  booktitle = {Aspects of Automated Natural Language Generation: 6th
    International Workshop on Natural Language Generation, {T}rento,
    {I}taly, April 5--7, 1992},
  publisher = {Springer-Verlag},
  year = {1992},
  editor = {Robert Dale and Eduard Hovy and Dietmar R\"ossner and
  	Oliviero Stock},
  pages = {290--292},
  address = {Berlin},
  topic = {nl-generation;multimedia-generation;}
  }

@techreport{ wahlster-etal:1993a1,
  author = {Wolfgang Wahlster and Elizabeth Andr\'e and Wolfgang
  	Finkler and Hans-J\"urgen Profitlich and Thomas Rist},
  title = {Plan-Based Integration of Natural Language and Graphics
  	Generation},
  institution = {Deutsches Forschungscentrum f\"r K\"unstliche
  	Intelligenz},
  number = {RR--93--02},
  year = {1993},
  address = {Postfach 20 80, D--6750 Kaiserslautern, Germany},
  rtnote = {In RHT collection.},
  xref = {Published: see wahlster-etal:1993a2.},
  topic = {nl-generation;graphics-generation;}
  }

@article{ wahlster-etal:1993a2,
  author = {Wolfgang Wahlster and Elisabeth Andr\'e and Wolfgang
  	Finkler and Hans-Juergen Profitlich and Thomas Rist},
  title = {Plan-Based Integration of Natural Language and
  	Graphics Generation},
  journal = {Artificial Intelligence, Special Volume on Natural
  	Language Processing},
  year = {1993},
  volume = {63},
  number = {1--2},
  pages = {387--427},
  topic = {nl-generation;multimedia-generation;}
}

@incollection{ wahlster-kobsa:1989a,
  author = {Wolfgang Wahlster and Alfred Kobsa},
  title = {User Models in Dialog Systems},
  booktitle = {User Models in Dialog Systems},
  publisher = {Springer-Verlag},
  year = {1989},
  editor = {Alfred Kobsa and Wolfgang Wahlster},
  pages = {4--34},
  address = {Berlin},
  topic = {user-modeling;discourse;computational-dialogue;}
}

@book{ waibel-lee_kf:1990a,
  editor = {Alex Waibel and Kai-Fu Lee},
  title = {Readings in Speech Recognition},
  publisher = {Morgan Kaufmann Publishers},
  year = {1990},
  address = {San Mateo, California},
  ISBN = {1-55860-124-4},
  rtnote = {UMich Media Union Library, TK 7882 .S65 R421 1990.},
  topic = {speech-recognition;}
 }

@phdthesis{ wainer_j:1991a,
  author = {Jacques Wainer},
  title = {Uses of Nonmonotonic Logic in Natural Language
  	Understanding: Generalized Implicatures},
  school = {Department of Computer Science, the Pennsylvania State
  	University},
  year = {1991},
  type = {Ph.{D}. Dissertation},
  address = {University Park, Pennsylvania},
  topic = {implicature;pragmatics;nm-ling;}
 }

@inproceedings{ wainer_j:1992a,
  author = {Jacques Wainer},
  title = {Combining Circumscription and Modal Logic},
  booktitle = {Proceedings of the Tenth National Conference on
              Artificial Intelligence},
  year = {1992},
  editor = {Paul Rosenbloom and Peter Szolovits},
  pages = {648--653},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {kr;circumscription;kr-course;}
  }

@inproceedings{ wainer_j:1993a,
  author = {Jacques Wainer},
  title = {Epistemic Extension of Propositional Preference Logics},
  booktitle = {Proceedings of the Thirteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1993},
  editor = {Ruzena Bajcsy},
  pages = {382--387},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  topic = {epistemic-logic;reasoning-about-knowledge;nonmonotonic-reasoning;}
  }

@unpublished{ wainer_j:1993b,
  author = {Jacques Wainer},
  title = {Introspection and Projection in Reasoning about Other
  		Agents},
  year = {1993},
  note = {Unpublished manuscript, Universidade Estadual de Campinas},
  rtnote = {In RHT collection.},
  topic = {reasoning-about-attitudes;other-modeling;}
  }

@unpublished{ wainer_j:1994a,
  author = {Jacques Wainer},
  title = {Reasoning about Another Agent through Empathy},
  year = {1994},
  note = {Unpublished manuscript, Universidade Estadual de Campinas},
  rtnote = {In RHT collection.},
  topic = {reasoning-about-attitudes;other-modeling;}
  }

@article{ wainer_j:2007a,
  author = {Jacques Wainer},
  title = {Modeling Generalized Implicatures Using Non-Monotonic
  		Logics},
  journal = {Journal of Logic, Language, and Information},
  year = {2007},
  volume = {16},
  number = {2},
  pages = {195--216},
  topic = {implicature;nonmonotonic-logic;}
  }

@unpublished{ wainer_j-maida:1990a,
  author = {Jacques Wainer and Anthony Maida},
  title = {Uses of Nonmonotonic Logic in Natural Language
  	Understanding: Implicatures},
  year = {1990},
  note = {Unpublished manuscript, Department of Computer Science,
  	Pennsylvania State University.},
  rtnote = {In RHT collection.},
  xref = {Revision of paper in 5th int symp meth int systs.},
  topic = {implicature;pragmatics;nonmonotonic-logic;nm-ling;}
  }

@unpublished{ wainer_j-maida:1990b,
  author = {Jacques Wainer and Anthony Maida},
  title = {Good and Bad News in Formalizing Generalized Implicature},
  year = {1990},
  note = {Unpublished manuscript, Department of Computer Science,
  	Pennsylvania State University.},
  rtnote = {In RHT collection. Said to be forthcoming in BLS 16.},
  topic = {implicature;pragmatics;nonmonotonic-logic;nm-ling;}
  }

@incollection{ wainwright:2008a,
  author = {William Wainwright},
  title = {Jonathan Edwards},
  booktitle = {The {S}tanford Encyclopedia of Philosophy},
  editor = {Edward N. Zalta},
  url = {http://plato.stanford.edu/archives/fall2008/entries/edwards/},
  year = {2008},
  topic = {Jonathan-Edwards;}
}

@incollection{ waldinger:1977a1,
  author = {Richard J. Waldinger},
  title = {Achieving Several Goals Simultaneously},
  editor = {E. Elcock and Donald Michie},
  booktitle = {Machine Intelligence 8},
  publisher = {Ellis Horwood},
  address = {Chichester, England},
  pages = {94--136},
  year = {1977},
  xref = {Republication: waldinger:1977a2.},
  topic = {foundations-of-planning;planning-algorithms;}
 }

@incollection{ waldinger:1977a2,
  author = {Richard Waldinger},
  title = {Achieving Several Goals Simultaneously},
  booktitle = {Readings in Artificial Intelligence},
  publisher = {Morgan Kaufmann},
  year = {1981},
  editor = {Bonnie Webber and Nils J. Nilsson},
  pages = {250--271},
  address = {Los Altos, California},
  xref = {Original Publication: waldinger:1977a1.},
  topic = {foundations-of-planning;planning-algorithms;}
  }

@article{ waldinger-levitt_kn:1974a,
  author = {R.J. Waldinger and K.N. Levitt},
  title = {Reasoning about Programs},
  journal = {Artificial Intelligence},
  year = {1974},
  volume = {5},
  number = {3},
  pages = {235--316},
  acontentnote = {Abstract:
     This paper describes a theorem prover that embodies knowledge
     about programming constructs, such as numbers, arrays, lists,
     and expressions.  The program can reason about these concepts
     and is used as part of a program verification system that uses
     the Floyd-Naur explication of program semantics.  It is
     implemented in the QA4 language; the QA4 system allows many
     pieces of strategic knowledge, each expressed as a small
     program, to be coordinated so that a program stands forward when
     it is relevant to the problem at hand.  The language allows
     clear, concise representation of this sort of knowledge.  The QA4
     system also has special facilities for dealing with commutative
     functions, ordering relations, and equivalence relations; these
     features are heavily used in this deductive system.  The program
     interrogates the user and asks his advice in the course of a
     proof.  Verifications have been found for Hoare's FIND program,
     a real-number division algorithm, and some sort programs, as
     well as for many simpler algorithms.  Additional theorems have
     been proved about a pattern matcher and a version of Robinson's
     unification algorithm.  The appendix contains a complete
     annotated listing of the deductive system and annotated traces
     of several of the deductions performed by the system.  },
  topic = {theorem-proving;program-verification;}
  }

@techreport{ waldinger-stickel:1990a,
  author = {Richard J. Waldinger and Mark E. Stickel},
  title = {Proving Properties of Rule-Based Systems},
  type = {Technical Note},
  institution = {AI Center, SRI International},
  address = {333 Ravenswood Ave., Menlo Park, CA 94025},
  number = {494},
  year = {1990},
  topic = {program-verification;expert-systems;rule-based-reasoning;}
}

@incollection{ waldo:1979a,
  author = {James Waldo},
  title = {A {PTQ} Semantics for Sortal Incorrectness},
  booktitle = {Linguistics, Philosophy, and {M}ontague Grammar},
  publisher = {University of Texas Press},
  year = {1979},
  editor = {Steven Davis and Marianne Mithun},
  pages = {311--331},
  address = {Austin, Texas},
  topic = {Montague-grammar;sortal-incorrectness;}
  }

@book{ walker_de:1978a,
  editor = {Donald E. Walker},
  title = {Understanding Spoken Language},
  publisher = {North-Holland},
  year = {1978},
  address = {Amsterdam},
  ISBN = {0444002723},
  contentnote = {TC:
     1. Jane J. Robinson, "Preface", pp. xv--xviii
     2. Donald E. Walker, "Introduction and Overview", pp. 1--13
     3. William H. Paxton, "The Language Definition System", pp. 17--40
     4. William H. Paxton, "The Executive System", pp. 41--85
     5. William H. Paxton, "Experimental Studies", pp. 87--117
     6. Gary G. Hendrix, "The Representation of Semantic
     		Knowledge", pp. 121--181
     7. Gary G. Hendrix, "The Model of the Domain", pp. 183--226
     8. Gary G. Hendrix, "Semantic Aspects of Translation", pp. 193--226
     9. Barbara J. Grosz, "Discourse", pp. 229--234
    10. Barbara J. Grosz, "Discourse Analysis", pp. 235--268
    11. Barbara J. Grosz, "Focus Spaces: A Representation of
    		the Focus of Attention of a Dialog", pp. 269--285
    12. Barbara J. Grosz, "Resolving Definite Noun
    		Phrases", pp.  287--298
    13. Barbara J. Grosz, "Shifting Focus", pp. 299--314
    14. Barbara J. Grosz, "Ellipsis", pp. 315--337
    15. Barbara J. Grosz, "Discourse: Recapitulation and a Look
    		Ahead", pp. 339--344
    16. Gary G. Hendrix, "Determining an Appropriate
    		Response", pp. 347--353
    17. Richard E. Fikes and Gary G. Hendrix, "The Deduction
    		Component", pp. 355--374
    18. Jonathan Slocum, "Generating a Verbal Response", pp. 375--381
    19. Ann E. Robinson, "Conclusion", pp. 383--391
  },
  rtnote = {UMich Media Union Library, QA76.9 .I58 U531.},
  rtnote = {In RHT collection.  CL Shelves.},
  topic = {nl-processing;}
 }

@incollection{ walker_de:1978b,
  author = {Donald E. Walker},
  title = {Introduction and Overview},
  booktitle = {Understanding Spoken Language},
  publisher = {North-Holland},
  year = {1978},
  editor = {Donald E. Walker},
  pages = {1--13},
  address = {Amsterdam},
  topic = {computational-dialogue;nl-processing;speech-recognition;}
  }

@inproceedings{ walker_de:1989a,
  author = {Donald E. Walker},
  title = {Developing Lexical Resources},
  booktitle = {Proceedings of the Fifth Annual Conference of the UW
  	Centre for the {N}ew {O}xford {E}nglish {D}ictionary},
  year = {1989},
  publisher = {University of Waterloo Centre for the New Oxford
  	Dictionary},
  address = {Waterloo, Ontario},
  missinginfo = {pages,  organization},
  rtnote = {In RHT collection.},
  topic = {computational-lexicography;}
  }

@incollection{ walker_de:1994a,
  author = {Donald E. Walker},
  title = {The Ecology of Language},
  booktitle = {Current Issues in Computational Linguistics: Essays in
  	Honour of {D}on {W}alker},
  publisher = {Giardini Editori e Stampatori and Kluwer Academic
  	Publishers},
  year = {1994},
  editor = {Antonio Zampolli and Nicoletta Calzolari and Martha Palmer},
  pages = {359--375},
  address = {Pisa and Dordrecht},
  topic = {Text-Encoding-Initiative;linguistic-archiving-projects;
  	corpus-linguistics;}
  }

@book{ walker_de-etal:1995a,
  editor = {Donald E. Walker and Antonio Zampolli and
    Nicoletta Calzolari},
  title = {Automating The Lexicon: Research and Practice in A Multilingual
    Environment},
  publisher = {Oxford University Press},
  year = {1995},
  address = {Oxford},
  ISBN = {0198239505},
  rtnote = {UMich Graduate Library, P 327 .A941 1995.},
  topic = {computational-lexicography;}
 }

@article{ walker_el-herman:1988a,
  author = {Ellen Lowenfeld Walker and Martin Herman},
  title = {Geometric Reasoning for Constructing {3D} Scene
  	Descriptions from Images},
  journal = {Artificial Intelligence},
  year = {1988},
  volume = {37},
  number = {1--3},
  pages = {275--290},
  topic = {geometrical-reasoning;spatial-reasoning;three-D-reconstruction;}
  }

@techreport{ walker_ma:1992a,
  author = {Marilyn A. Walker},
  title = {Informational Redundancy and Resource Bounds in Dialog},
    institution = {Institute for Research in Cognitive Science},
  year = {1992},
  rtnote = {In RHT Collection.},
  number = {IRCS-92-25},
  address = {Philadelphia},
  rtnote = {In RHT Collection.  CS MS shelves.},
  topic = {discourse-simulation;pragmatics;computational-dialogue;}
  }

@inproceedings{ walker_ma:1992b,
  author = {Marilyn A. Walker},
  title = {Redundancy in Collaborative Dialogue},
  booktitle = {Fourteenth International Conference on Computational
  	Linguistics},
  year = {1992},
  pages = {345--351},
  missinginfo = {organization, publisher, address},
  rtnote = {In RHT collection.  Version I have may not = published.},
  topic = {discourse-simulation;pragmatics;}
  }

@phdthesis{ walker_ma:1993a,
  author = {Marilyn A. Walker},
  title = {Informational Redundancy and Resource Bounds in Dialog},
  school = {Department of Computer \& Information Science,
  	University of Pennsylvania},
  year = {1993},
  note = {Institute for Research in Cognitive Science report
  	IRCS-93-45},
  rtnote = {In RHT Collection.  CS MS shelves.},
  topic = {discourse-simulation;pragmatics;}
 }

@inproceedings{ walker_ma:1995a,
  author = {Marilyn A. Walker},
  title = {Rejection by Implicature},
  booktitle = {Proceedings of the Twentieth Meeting of the Berkeley
  	Linguistics Society},
  year = {1995},
  organization = {Berkeley Linguistics Society},
  publisher = {Berkeley Linguistics Society},
  address = {Berkeley, California},
  rtnote = {In RHT Collection},
  missinginfo = {pages. Year, publisher info are guesses.},
  topic = {discourse;implicature;pragmatics;}
  }

@unpublished{ walker_ma:1996a,
  author = {Marilyn A. Walker},
  title = {Inferring Acceptance and Rejection in Dialogue by
  	Default Rules of Inference},
  year = {1996},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript, ATT Laboratories.},
  topic = {discourse;speech;speech-act-recognition;nm-ling;pragmatics;}
  }

@article{ walker_ma:1996b,
  author = {Marilyn A. Walker},
  title = {Limited Attention and Discourse Structure},
  journal = {Computational Linguistics},
  year = {1996},
  volume = {22},
  number = {2},
  pages = {255--264},
  topic = {discourse;resource-limited-reasoning;limited-attention;
  	pragmatics;}
  }

@article{ walker_ma:1996c,
  author = {Marilyn A. Walker},
  title = {The Effect of Resource Limits and Task Complexity on
  	Collaborative Planning in Dialogue},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {85},
  number = {1--2},
  pages = {181--243},
  topic = {discourse;resource-limited-reasoning;collaboration;pragmatics;}
  }

@incollection{ walker_ma:1997a,
  author = {Marilyn Walker},
  title = {Centering, Anaphora Resolution, and Discourse Structure},
  booktitle = {Centering Theory in Discourse},
  publisher = {Oxford University Press},
  year = {1997},
  editor = {Marilyn A. Walker and Arivind K. Joshi and Ellen Prince},
  pages = {401--435},
  address = {Oxford},
  rtnote = {In RHT collection.  M. Walker.},
  topic = {anaphora-resolution;discourse;pragmatics;
  	discourse-structure;centering;}
  }

@book{ walker_ma:1999a,
  editor = {Marilyn A. Walker},
  title = {Towards Standards and Tools for Discourse Tagging:
  	Proceedings of the Workshop},
  publisher = {Association for Computational Linguistics},
  year = {1999},
  address = {Somerset, New Jersey},
  rtnote = {In RHT collection.  ACL Shelves.},
  contentnote = {TC:
     1. Steven Bird and Mark Liberman, "Annotation Graphs as a
     		Framework for Multidimensional Linguistic
		Data Analysis", pp. 1--10
     2. Jean Carletta and Amy Isard, "The {MATE} Annotation Workbench:
     		User Requirements", pp. 11--17
     3. Jean-Fran\c{c}ois Delannoy, "Argumentation Mark-Up: A
     		Proposal", pp. 18--25
     4. A. Ichikawa and M. Araki and Y. Horiuchi and M. Ishizaki
     		and S. Itabashi and T. Itoh and H. Kashioka and
		K. Kato and H. Kikuchi and H. Koiso and T. Kumagai
		and A. Kurematsu and K. Maekawa and S. Nakazato and
		M. Tamoto and S. Tutiya and Y. Yamashita and
		T. Yoshimura, "Evaluation of Annotation Schemes for
		{J}apanese Discourse", pp. 26--34
     5. Marion Klein, "Standardisation Efforts on the Level of
     		Dialogue Act in the {MATE} Project", pp. 35--41
     6. Lori Levin and Klaus Ries and Ann Thym\'e-Gobbel and Alon
     		Levie, "Tagging of Speech Acts and Dialogue Games
		in {S}panish Call Home", pp. 42--47
     7. Daniel Marcu and Estibaliz Amorrortu and Magdalena
     		Romera, "Experiments in Constructing a Corpus of
		Discourse Trees", pp. 48--57
     8. Jon David Patrick, "Tagging Psychotherapeutic Interviews for
     		Linguistic Analysis", pp. 58--64
     9. Massimo Poesio and F. Bruneseaux and Laurent Romary, "The
     		{MATE} Meta-Scheme for Coreference in Dialogues
		in Multiple Languages", pp. 65--74
    10. Claudia Soria and Vito Pirrelli, "A Recognition-Based
    		Meta-Scheme for Dialogue Acts Annotation", pp. 75--83
    11. Simone Teufel and Marc Moens, "Discourse-Level Argumentation
    		in Scientific Articles: Human and Automatic
		Annotation", pp. 84--93
    12. Graziella Tonfoni, "A Mark up Language for Tagging Discourse
    		and Annotating Documents in Context Sensitive
		Interpretation Environments", pp. 94--100
    13. David R. Traum and Christine H. Nakatani, "A Two-Level Approach
    		to Coding Dialogue for Discourse Structure: Activities
		of the 1998 {DRI} Working Group on Higher-Level
		Structures", pp. 101--108
    14. Teresa Zollo and Mark Core, "Automatically Extracting
    		Grounding Tags from {BF} Tags", pp. 109--114
    },
  topic = {discourse-tagging;}
 }

@inproceedings{ walker_ma-etal:1997a,
  author = {Marilyn A. Walker and Diane Litman J. and Candace
  	A. Kamm and Alicia Abella},
  title = {{PARADISE}: A Framework for Evaluating Spoken Dialogue
  	Agents},
  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 = {271--280},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  topic = {discourse-modeling;}
 }

@book{ walker_ma-etal:1997b,
  editor = {Marilyn A. Walker and Arivind K. Joshi and Ellen Prince},
  title = {Centering Theory in Discourse},
  publisher = {Oxford University Press},
  year = {1997},
  address = {Oxford},
  contentnote = {TC:
  	1. Marilyn Walker and Arivind Joshi and Ellen Prince,
		"Centering in Naturally Occurring Discourse:
		An Overview"
  	2. Arivind Joshi and Scott Weinstein, "Formal Systems for
		Complexity and Control of Discourse: A Reprise and
		Some Hints"
  	3. Barbara J. Grosz and Candace L. Sidner, "Lost Intuitions
		and Forgotten Intentions"
  	4. Sharon Cote, "Ranking Forward-Looking Centers"
  	5. Susan Hudson-D'Zmura, "Control and Event Structure: The
		View from the Center"
  	6. Megumi Kamayama, "Intrasentential Centering: A Case Study"
  	7. Barbara Di Eugenio, "Centering in {I}talian"
  	8. \"Umit Deniz Turan, "Ranking Forward-Looking Centers in
		{T}urkish: Universal and Language-Specific Properties"
  	9. Masayo Iida, "Discourse Coherence and Shifting Centers in
		{J}apanese Texts"
       10. Jeanette K. Gundel, "Centering Theory and the Givenness
       		Hierarchy: Towards a Synthesis"
       11. Susan Hudson-D'Zmura and Michael K. Tanenhaus, "Assigning
       		Antecedents to Ambiguous Pronouns:  The Role of the
		Center of Attention as the Default Assignment"
       12. Susan E. Brennan, "Centering as a Psychological Resource
       		for Achieving Joint Reference in Spontaneous Discourse"
       13. Beryl Hoffman, "Word Order, Information Structure, and
       		Centering in {T}urkish'
       14. Felicia Hurewitz, "A Quantitative Look at Discourse
       		Coherence"
       15. Barbara J. Grosz and Yale Ziv, "Centering, Global Focus,
       		and Right Dislocation"
       16. Betty J. Birner, "Recency Effects in {E}nglish Inversion"
       17. Rebecca J. Passoneau, "Interaction of Discourse Structure
       		with Explicitness of Discourse Anaphoric Noun Phrases"
       18. Craige Roberts, "The Place of Centering in a General Theory
       		of Anaphora"
       19. Marilyn Walker, "Centering, Anaphora Resolution, and
       		Discourse Structure"
  	},
  xref = {Review: mitkov:1999a.},
  topic = {anaphora-resolution;centering;pragmatics;}
 }

@incollection{ walker_ma-etal:1997c,
  author = {Marilyn Walker and Arivind Joshi and Ellen Prince},
  title = {Centering in Naturally Occurring Discourse:
		An Overview},
  booktitle = {Centering Theory in Discourse},
  publisher = {Oxford University Press},
  year = {1997},
  editor = {Marilyn A. Walker and Arivind K. Joshi and Ellen Prince},
  pages = {1--28},
  address = {Oxford},
  rtnote = {In RHT collection.  M. Walker.},
  topic = {anaphora-resolution;discourse;pragmatics;centering;}
  }

@incollection{ walker_ma-etal:1997d,
  author = {Marilyn Walker and Diane J. Litman and Candace A. Kamm
  	and Alicia Abella},
  title = {Evaluating Interactive Dialogue Systems: Extending
  	Component Evaluation to Integrated System Evaluation},
  booktitle = {Interactive Spoken Dialog Systems:  Bridging
  	Speech and {NLP} Together in Real Applications},
  publisher = {Association for Computational Linguistics},
  year = {1997},
  editor = {Julia Hirschberg and Candace Kamm and Marilyn Walker},
  pages = {1--8},
  address = {New Brunswick, New Jersey},
  topic = {computational-dialogue;nlp-evaluation;}
  }

@article{ walker_ma-moore_jd:1997a,
  author = {Marilyn A. Walker and Johanna D. Moore},
  title = {Empirical Studies in Discourse},
  journal = {Computational Linguistics},
  year = {1997},
  volume = {23},
  number = {1},
  pages = {1--12},
  contentnote = {This is an introduction to Comp Ling 23(1), an
  	issue descended from an {AAAI} workshop, devoted to "empirical
	studies in discourse".  It contains an extensive bibliography.},
  topic = {discourse;corpus-linguistics;pragmatics;}
  }

@incollection{ walker_r:1975a,
  author = {Ralph C.S. Walker},
  title = {Conversational Implicature},
  booktitle = {Meaning, Reference, and Necessity: New Studies
  	in Semantics},
  publisher = {Cambridge University Press},
  year = {1975},
  editor = {Simon Blackburn},
  pages = {133--181},
  address = {Cambridge, England},
  topic = {implicature;pragmatics;}
  }

@book{ wall_l-etal:2000a,
  author = {Larry Wall and Tom Christiansen and Jon Orwant},
  title = {Programming {P}erl},
  edition = {3},
  publisher = {O'Reilly},
  year = {2000},
  address = {Beijing},
  rtnote = {In RHT collection.  Computer Manuals Shelf.},
  topic = {programming-manual;}
 }

@incollection{ wall_re:1971a,
  author = {Robert E. Wall},
  title = {Mathematical Linguistics},
  booktitle = {A Survey of Linguistic Science},
  publisher = {Privately Published, Linguistics Program, University of
		Maryland.},
  year = {1971},
  editor = {William Orr Dingwall},
  pages = {682--716},
  address = {College Park, Maryland},
  topic = {mathematical-linguistics;}
  }

@book{ wall_re:1972a,
  author = {Robert E. Wall},
  title = {Introduction to Mathematical Linguistics},
  publisher = {Prentice-Hall, Inc.},
  year = {1972},
  address = {Englewood Cliffs, New Jersey},
  ISBN = {0-13-487496-X},
  rtnote = {In RHT Collection.  LLP single author shelves.},
 }

@article{ wallace_jr:1965a,
  author = {John R. Wallace},
  title = {Sortal Predicates and Quantification},
  journal = {The Journal of Philosophy},
  year = {1965},
  volume = {62},
  number = {1},
  pages = {8--13},
  topic = {semantics-of-common-nouns;}
  }

@article{ wallace_jr:1971a,
  author = {John R. Wallace},
  title = {Convention {T} and Substitutional Quantification},
  journal = {No\^us},
  year = {1971},
  volume = {5},
  number = {2},
  pages = {199--211},
  topic = {truth-definitions;substitutional-quantification;}
  }

@incollection{ wallace_jr:1972a,
  author = {John R. Wallace},
  title = {On the Frame of Reference},
  booktitle = {Semantics of Natural Language},
  publisher = {D. Reidel Publishing Co.},
  year = {1972},
  editor = {Gilbert Harman and Donald Davidson},
  pages = {219--252},
  address = {Dordrecht},
  topic = {truth-definitions;philosophy-of-language;}
  }

@article{ wallace_jr:1972b,
  author = {John R. Wallace},
  title = {Belief and Satisfaction},
  journal = {No\^us},
  year = {1972},
  volume = {6},
  pages = {85--95},
  topic = {belief;propositional-attitudes;truth-definitions;}
  }

@article{ wallace_jr:1972c,
  author = {John R. Wallace},
  title = {Positive, Comparative, Superlative},
  journal = {The Journal of Philosophy},
  year = {1972},
  volume = {69},
  pages = {773--782},
  missinginfo = {number},
  topic = {semantics-of-adjectives;comparative-constructions;}
  }

@incollection{ wallace_jr:1975a,
  author = {John R. Wallace},
  title = {Nonstandard Theories of Truth},
  booktitle = {The Logic of Grammar},
  publisher = {Dickenson Publishing Co.},
  year = {1975},
  editor = {Donald Davidson and Gilbert H. Harman},
  pages = {50--60},
  address = {Encino, California},
  topic = {Davidson-semantics;intensionality;}
  }

@incollection{ wallace_jr:1978a,
  author = {John R. Wallace},
  title = {Only in the Context of a Sentence
    	Do Words Have Any Meaning},
  booktitle = {Contemporary Perspectives in the Philosophy of Language},
  publisher = {University of Minnesota Press},
  year = {1978},
  editor = {Peter A. French and Theodore E. {Uehling, Jr.} and Howard K.
  	Wettstein},
  pages = {305--325},
  address = {Minneapolis},
  topic = {foundations-of-semantics;philosophy-of-language;}
  }

@incollection{ wallace_jr-mason_he:1990a,
  author = {John Wallace and H.E. Mason},
  title = {On some Thought Experiments about Mind and Meaning},
  booktitle = {Propositional Attitudes: The Role of Content in Logic,
  	Language, and Mind},
  publisher = {Center for the Study of Language and Information},
  year = {1990},
  editor = {C. Anthony Anderson and Joseph Owens},
  pages = {175--199},
  address = {Stanford, California},
  topic = {foundations-of-semantics;}
  }

@book{ wallace_k:1988a,
  editor = {Karen Wallace},
  title = {Morphology as a Computational Problem},
  publisher = {Department of Linguistics, University of California
  	at Los Angeles},
  year = {1889},
  address = {Los Angeles, California},
  rtnote = {In RT collection.},
  contentnote = {TC:
	1. S. Anderson, Morphology as a Parsing Problem, 1--21
        2. Sean Boisin, Parsing Morphology using Definite Clauses in
		Prolog
        3. Sean Boisin, Pro-KIMMO: A Prolog Implementation of
		Two-Level Morphology
        4.Thomas L. Cornell, IceParse: A Model of Inflectional
		Parsing and Word Recognition for Icelandic Ablauting
		Verbs
        5. William B. Dolan, A Syllable-Based Parallel Parsing Model
		for Parsing Indonesian Morphology
        6. Karen D. Emmorey, Do People Parse?
        7. Jorge Hankamer, Parsing Nominal Compounds in Turkish
        8. Karen Wallace, Parsing Quechua Morphologuy for Syntactic
		Analysis
  },
  topic = {computational-morphology;}
 }

@book{ wallace_kr:1970a,
  author = {Karl R. Wallace},
  title = {Understanding Discourse; The Speech Act and Rhetorical Action},
  publisher = {Louisiana State University Press},
  year = {1970},
  address = {Baton Rouge},
  rtnote = {Hillman PN4061 .W28},
  topic = {speech-acts;}
 }

@article{ wallace_rj:2000a,
  author = {R. Jay Wallace},
  title = {Review of \emph{{F}reedom and Responsibility}, by {H}ilary
  	{B}ok},
  journal = {The Philosophical Review},
  year = {2000},
  volume = {109},
  number = {4},
  pages = {592--595},
  topic = {freedom;volition;blameworthiness;}
  }

@incollection{ wallace_rj:2008a,
  author = {R. Jay Wallace},
  title = {Practical Reason},
  booktitle = {The {S}tanford Encyclopedia of Philosophy},
  editor = {Edward N. Zalta},
  url = {
     http://plato.stanford.edu/archives/win2008/entries/practical-reason/},
  rtnote = {In RHT collection.  File Drawers.},
  year = {2008},
  topic = {practical-reason;}
}

@incollection{ wallace_rj-freuder:2002a,
  author = {Richard J. Wallace and Eugene C. Freuder},
  title = {Meeting Scheduling with Preferences with Limited
		Comparability},
  booktitle = {Preferences in {AI} and {CP}: Symbolic Approaches},
  publisher = {AAAI Press},
  year = {2002},
  editor = {Ulrich Junker},
  pages = {107--114},
  address = {Menlo Park, California},
  topic = {preferences;qualitative-utility;constraint-satisfaction;
  		scheduling;}
  }

@article{ wallace_rj-freuder:2005a,
  author = {Richard J. Wallace and Eugene C. Freuder},
  title = {Constraint-Based Reasoning and Privacy/Efficiency Tradeoffs
  		in Multi-Agent Problem Solving},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {161},
  number = {1--2},
  pages = {209--227},
  topic = {constraint-satisfaction;distributed-processing;}
  }

@book{ wallen:1990a,
  author = {Lincoln A. Wallen},
  title = {Automated Proof Search in Non-Classical Logics:
  	Efficient Matrix Proof Methods for Modal and Intuitionistic
	Logics},
  publisher = {The {MIT} Press},
  address = {Cambridge, Massachusetts},
  year = {1990},
  callnumber = {QA9.54 .W35 1990},
  topic = {theorem-proving;modal-logic;intuitionistic-logic;}
  }

@incollection{ wallentius-zionts:1977a,
  author = {J. Wallentius and S. Zionts},
  title = {A Research Project on Multicriterion Decision Making},
  booktitle = {Conflicting Objectives in Decisions},
  publisher = {John Wiley and Sons},
  year = {1977},
  editor = {David E. Bell and Ralph L. Keeney and Howard Raiffa},
  pages = {76--97},
  address = {New York},
  topic = {decision-analysis;multiattribute-utility;}
  }

@book{ walley:1991a,
  author = {Peter Walley},
  title = {Statistical Reasoning with Imprecise Probabilities},
  publisher = {Chapman and Hall},
  year = {1991},
  address = {London},
  missinginfo = {A's 1st name.},
  topic = {foundations-of-probability;statistical-inference;}
 }

@article{ walley:1996a,
  author = {Peter Walley},
  title = {Measures of Uncertainty in Expert Systems},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {83},
  number = {1},
  pages = {1--58},
  contentnote = {Compares 4 measures of uncertainty:
  	-- Additive (Bayesian) probabilities
	-- Coherent lower previsions
	-- Dempster-Shafer
	-- Fuzzy logic
	},
  topic = {probabilistic-reasoning;reasoning-about-uncertainty;}
  }

@incollection{ wallis_jw-shortliffe:1989a,
  author = {Jerold W. Wallis and Edward H. Shortliffe},
  title = {Customized Explanations Using Causal Knowledge},
  booktitle = {Rule-Based Expert Systems: The {MYCIN} Experiments of the
  	Stanford Heuristic Programming Project},
  year = {1989},
  editor = {Alfred Kobsa and Wolfgang Wahlster},
  publisher = {Addison-Wesley Publishing Company},
  pages = {371--388},
  topic = {nl-generation;explanation;}
}

@incollection{ wallis_p-etal:1998a,
  author = {Peter Wallis and Edmund Yuen and Greg Chase},
  title = {Proper Name Classification in an Information Extraction
		Toolset},
  booktitle = {Proceedings of the Joint Conference on New Methods in
  	Language Processing and Computational Language Learning},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {David M.W. Powers},
  pages = {161--162},
  address = {Somerset, New Jersey},
  topic = {personal-name-recognition;information-retrieval;}
  }

@article{ walliser-etal:2005a,
  author = {Bernard Walliser and Denis Zwirn and Herv\'e Zwirn},
  title = {Abductive Logics in a Belief Revision Framework},
  journal = {Journal of Logic, Language, and Information},
  year = {2005},
  volume = {14},
  number = {1},
  pages = {87--117},
  topic = {abduction;belief-revision;nonmonotonic-logic;}
  }

@book{ walraet:1991a,
  author = {Bob Walraet},
  title = {Formal Foundations For Software Engineering Methods},
  publisher = {Springer-Verlag},
  year = {1997},
  address = {Berlin},
  ISBN = {3540636137 (sc: alk. paper)},
  rtnote = {UMich Media Union Library, QA 76.758 .H871 1997.},
  topic = {software-engineering;}
 }

@article{ walsh_t:2007a,
  author = {Toby Walsh},
  title = {Representing and Reasoning with Preferences},
  journal = {The {AI} Magazine},
  year = {2007},
  volume = {28},
  number = {4},
  pages = {59--69},
  topic = {preferences;qualitative-utility;}
  }

@article{ walsh_we-etal:2003a,
  author = {William E. Walsh and Makoto Yokoo and Katsutosi
  		Hirayama and Michael P. Wellman},
  title = {On Market-Inspired Approaches to Propositional
  		Satisfiability},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {144},
  number = {2},
  pages = {125--156},
  topic = {model-checking;constraint-satisfaction;computational-bargaining;}
  }

@article{ walter_s:1998a,
  author = {Sharon Walter},
  title = {Review of \emph{{E}valuating Natural Language Processing
  	Systems: An Analysis and a Review}, by {K}aren {S}parck {J}ones
	and {J}ulia {R}. {G}alliers},
  journal = {Computational Linguistics},
  year = {1998},
  volume = {24},
  number = {2},
  pages = {336--338},
  topic = {nlp-evaluation;}
  }

@article{ walther_c:1985a,
  author = {Christoph Walther},
  title = {A Mechanical Solution of {S}chubert's Steamroller by
  	Many-Sorted Resolution},
  journal = {Artificial Intelligence},
  year = {1985},
  volume = {26},
  number = {2},
  pages = {217--224},
  topic = {theorem-proving;taxonomic-reasoning;}
  }

@article{ walther_c:1994a,
  author = {Christoph Walther},
  title = {On Proving the Termination of Algorithms by Machine},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {71},
  number = {1},
  pages = {101--157},
  acontentnote = {Abstract:
     Proving the termination of a recursively defined algorithm
     requires a certain creativity of the (human or automated)
     reasoner for inventing a hypothesis whose truth implies that the
     algorithm terminates.  We present a reasoning method for
     simulating this kind of creativity by machine.  The proposed
     method works automatically, i.e.  without any human support.  We
     show, (1) how a termination hypothesis for an algorithm is
     synthesized by machine, (2) which knowledge about algorithms is
     required for an automated synthesis, and (3) how this knowledge
     is computed.  Our method solves the problem for a relevant class
     of algorithms, including classical sorting algorithms and
     algorithms for standard arithmetical operations, which are given
     in a pure functional notation.  The soundness of the method is
     proved and several examples are presented for illustrating the
     performance of the proposal.  The method has been implemented and
     proved successful in practice.  },
  topic = {automatic-programming;program-synthesis;theorem-proving;}
  }

@article{ walther_c-kolbe:2000a,
  author = {Christoph Walther and Thomas Kolbe},
  title = {Proving Theorems by Reuse},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {116},
  number = {1--2},
  pages = {17--66},
  topic = {theorem-proving;case-based-reasoning;proof-reuse;}
  }

@incollection{ walther_e-zemach:1976a,
  author = {Eric Walther and Eddy M. Zemach},
  title = {Substance Logic},
  booktitle = {Language in Focus},
  publisher = {D. Reidel Publishing Co.},
  year = {1976},
  editor = {Asa Kasher},
  pages = {55--74},
  address = {Dordrecht},
  topic = {reference;exotic-logics;}
  }

@article{ walther_m:2002a,
  author = {Markus Walther},
  title = {Review of \emph{{C}omputational Nonlinear Morphology
  	with Emphasis on {S}emitic Languages}, by {G}eorge {A}nton
	{K}iraz},
  journal = {Computational Linguistics},
  year = {2002},
  volume = {28},
  number = {4},
  pages = {576--581},
  xref = {Review of: kiraz:2001a.},
  topic = {Semitic-Languages;computational-morphology;}
  }

@article{ walton_dn:1984a,
  author = {Douglas N. Walton},
  title = {Cans, Advantages, and Possible Worlds},
  journal = {Philosophia},
  year = {1984},
  volume = {14},
  pages = {83--97},
  missinginfo = {number},
  topic = {ability;}
  }

@book{ walton_dn:1987a,
  author = {Douglas N. Walton},
  title = {Informal Fallacies: Towards a Theory of Argument Criticisms},
  publisher = {J. Benjamins Publishing Co.},
  year = {1987},
  address = {Amsterdam},
  topic = {argumentation;}
 }

@book{ walton_dn:1989a,
  author = {Douglas N. Walton},
  title = {Question-Reply Argumentation},
  publisher = {Greenwood Press},
  year = {1989},
  address = {New York},
  topic = {argumentation;}
 }

@book{ walton_dn:1990a,
  author = {Douglas N. Walton},
  title = {Practical Reasoning: Goal-Driven, Knowledge-Based,
  	Action-Guiding Argumentation },
  publisher = {Rowman and Littlefield},
  year = {1990},
  address = {Totowa, New Jersey},
  rtnote = {HILLMAN B105 A35W34 1990},
  topic = {philosophy-of-action;practical-reasoning;argumentation;}
 }

@book{ walton_dn:1991a,
  author = {Douglas N. Walton},
  title = {Begging the Question: Circular Reasoning as a Tactic of
                   Argumentation},
  publisher = {Greenwood Press},
  year = {1991},
  address = {New York},
  topic = {argumentation;}
 }

@book{ walton_dn:1992a,
  author = {Douglas N. Walton},
  title = {Slippery Slope Arguments},
  publisher = {Oxford University Press},
  year = {1992},
  address = {Oxford},
  contentnote = {TC:	1. Introduction and perspectives
  			2. The sorites slippery slope argument
			3. The causal slippery slope argument
			4. The precedent slippery slope argument
			5. The full slippery slope argument
			6. Analysis of the dialectical structure of slippery
				slope arguments
			7. Practical advice on tactics},
  contentnote = {This is an informal argumentation book, without much
  	about the theoretical aspects.},
  topic = {vagueness;sorites-paradox;}
 }

@book{ walton_dn:1992b,
  author = {Douglas N. Walton},
  title = {The Place of Emotion in Argument},
  publisher = {Pennsylvania State University Press},
  year = {1992},
  address = {University Park, Pennsylvania},
  topic = {argumentation;emotion;}
 }

@book{ walton_dn:1992c,
  author = {Douglas N. Walton},
  title = {Plausible Argument in Everyday Conversation},
  publisher = {State University of New York Press},
  year = {1992},
  address = {Albany},
  topic = {argumentation;}
 }

@book{ walton_dn:1995a,
  author = {Douglas N. Walton},
  title = {A Pragmatic Theory of Fallacy},
  publisher = {University of Alabama Press},
  year = {1995},
  address = {Tuscaloosa, Alabama},
  topic = {pragmatics;argumentation;}
 }

@book{ walton_dn:1996a,
  author = {Douglas N. Walton},
  title = {Argument Structure: A Pragmatic Theory},
  publisher = {University of Toronto},
  year = {1996},
  address = {Toronto},
  topic = {argumentation;pragmatics;}
 }

@book{ walton_dn:1996b,
  author = {Douglas N. Walton},
  title = {Argumentation Schemes for Presumptive Reasoning},
  publisher = {Lawrence Erlbaum Associates},
  year = {1996},
  address = {Mahwah, New Jersey},
  topic = {argumentation;applied-nonmonotonic-reasoning;}
 }

@book{ walton_dn:1996c,
  author = {Douglas N. Walton},
  title = {Arguments from Ignorance},
  publisher = {Pennsylvania State University Press},
  year = {1996},
  address = {University Park,  Pennsylvania},
  topic = {argumentation;}
 }

@book{ walton_dn:1996d,
  author = {Douglas N. Walton},
  title = {Fallacies Arising from Ambiguity},
  publisher = {Kluwer Academic Publishers},
  year = {1996},
  address = {Dordrecht},
  topic = {ambiguity;argumentation;}
 }

@book{ walton_dn:1998a,
  author = {Douglas N. Walton},
  title = {The New Dialectic: Conversational Contexts of Argument},
  publisher = {University of Toronto Press},
  year = {1998},
  address = {Toronto},
  xref = {Review: swoyer:2001a.},
  topic = {informal-logic;fallacies;rhetoric;}
 }

@book{ walton_dn:1998b,
  author = {Douglas N. Walton},
  title = {Ad Hominem Arguments},
  publisher = {University of Alabama Press},
  year = {1998},
  address = {Tuscaloosa, Alabama},
  xref = {Review: swoyer:2001a.},
  topic = {informal-logic;fallacies;rhetoric;}
 }

@book{ walton_dn:2004a,
  author = {Douglas N. Walton},
  title = {Abductive Reasoning},
  publisher = {University of Alabama Press},
  year = {2004},
  address = {Tuscaloosa, Alabama},
  ISBN = {0817314415 (cloth : alk. paper)},
  rtnote = {UMich Hatcher Graduate BC 199 .A26 W351 2004,
          Shapiro Undergraduate BC 199 .A26 W351 2004},
  topic = {abduction;}
  }

@article{ walton_dn:2007a,
  author = {Douglas N. Walton},
  title = {Review of \emph{{A} Theory of Argument}, by {M}ark {V}orobej},
  journal = {The Bulletin of Symbolic Logic},
  year = {2007},
  volume = {13},
  number = {2},
  pages = {245--246},
  topic = {argumentation;logic-intro;}
  }

@incollection{ walton_k:1973a,
  author = {Kendall L. Walton},
  title = {Linguistic Relativity},
  booktitle = {Conceptual Change},
  publisher = {D. Reidel Publishing Co.},
  year = {1973},
  editor = {Glenn Pearce and Patrick Maynard},
  pages = {100--102},
  address = {Dordrecht},
  topic = {linguistic-relativity;}
  }

@incollection{ waltz:1995a,
  author = {David Waltz},
  title = {Introduction (To Part {III}: Cognitive and
			Computational Models},
  booktitle = {Diagrammatic Reasoning},
  publisher = {The {MIT} Press},
  year = {1995},
  editor =  {Janice Glasgow and N. Hari Narayanan and B.
		Chandrasekaran},
  pages = {397--401},
  address = {Cambridge, Massachusetts},
  topic = {diagrams;cognitive-psychology;visual-reasoning;}
  }

@article{ waltz:1997a,
  author = {David E. Waltz},
  title = {Artificial Intelligence: Realizing the Ultimate Promises of
  	Computing},
  journal = {{AI} Magazine},
  year = {1997},
  volume = {18},
  number = {3},
  pages = {49--52},
  topic = {AI-survey;}
  }

@article{ waltz:1999a,
  author = {David Waltz},
  title = {The Importance of Importance},
  journal = {The {AI} Magazine},
  year = {1999},
  volume = {20},
  number = {3},
  pages = {18--35},
  topic = {attention;importance;}
  }

@article{ waltz:2005a,
  author = {David Waltz},
  title = {An Opinionated History of {AAAI}},
  journal = {The {AI} Magazine},
  year = {2005},
  volume = {26},
  number = {4},
  pages = {45--47},
  topic = {AI-history;}
  }

@incollection{ wang_hx-zaniolo:2000a,
  author = {Haixun Wang and Carlo Zaniolo},
  title = {Nonmonotonic Reasoning in ${\cal LDL^{++}}$},
  booktitle = {Logic-Based Artificial Intelligence},
  publisher = {Kluwer Academic Publishers},
  year = {2000},
  editor = {Jack Minker},
  pages = {523--544},
  address = {Dordrecht},
  topic = {logic-in-AI;deductive-databases;stratified-logic-programs;}
  }

@article{ wang_tc:1995a,
  author = {Tie-Cheng Wang},
  title = {A Typed Resolution Principle for Deduction with
  	Conditional Typing Theory},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {75},
  number = {2},
  pages = {161--194},
  topic = {theorem-proving;resolution;higher-order-logic;}
  }

@inproceedings{ wang_xc-etal:1993a,
  author = {Xianchang Wang and Huowang Chen and Qingping Zhao and Wei
  	Li},
  title = {W---A Logic System Based on Shared Common Knowledge
  	Views},
  booktitle = {Proceedings of the Thirteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1993},
  editor = {Ruzena Bajcsy},
  pages = {410--414},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  rtnote = {In RHT collection},
  topic = {mutual-belief;Conway-paradox;epistemic-logic;}
  }

@incollection{ wang_xj:2005a,
  author = {Xiaojie Wang},
  title = {Robust Utilization of Context in Word Sense Disambiguation},
  booktitle = {Modeling and Using Context: 5th International and
  	Interdisciplinary Conference},
  publisher = {Springer-Verlag},
  year = {2005},
  editor = {Anind Dey and Boicho Kokinov and David Leake and Roy Turner},
  pages = {529--541},
  address = {Berlin},
  topic = {context;lexical-disambiguation;}
  }

@inproceedings{ wang_yy-waibel:1997a,
  author = {Ye-Yi Wang and Alex Waibel},
  title = {Decoding Algorithm in Statistical Machine Translation},
  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 = {366--372},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  topic = {machine-translation;statistical-nlp;}
 }

@book{ wanner:1996a,
  editor = {Leo Wanner},
  title = {Lexical Functions in Lexicography and Natural Language
    Processing},
  publisher = {J. Benjamins},
  year = {1996},
  address = {Amsterdam},
  ISBN = {1556193831},
  rtnote = {UMich Graduate Library, P 327 .L4191 1996.},
  topic = {computational-lexicography;}
 }

@incollection{ wanner-maratsos:1978a,
  author = {Eric Wanner and Michael Maratsos},
  title = {An {ATN} Approach to Comprehension},
  booktitle = {Linguistic Theory and Psychological Reality},
  publisher = {The {MIT} Press},
  year = {1978},
  editor = {Morris Halle and Joan Bresnan and George A. Miller},
  pages = {119--161},
  address = {Cambridge, Massachusetts},
  topic = {nl-comprehension-psychology;}
  }

@article{ wansing:1993a,
  author = {Heinrich Wansing},
  title = {A General Possible Worlds Framework for Reasoning about
  	Knowledge and Belief},
  journal = {Studia Logica},
  year = {1995},
  volume = {49},
  number = {4},
  pages = {523--539},
  topic = {epistemic-logic;belief;}
  }

@article{ wansing:1993b,
  author = {Heinrich Wansing},
  title = {Informational Interpretation of Substitutional
  	Propositional Logics},
  journal = {Journal of Logic, Language, and Information},
  year = {1993},
  volume = {2},
  number = {4},
  pages = {285--308},
  topic = {substructural-logics;groupoid-semantics;}
  }

@article{ wansing:1993c,
  author = {Heinrich Wansing},
  title = {Functional Completeness for Subsystems of Intuitionistic
		Propositional Logic},
  journal = {Journal of Philosophical Logic},
  year = {1993},
  volume = {22},
  number = {3},
  pages = {303--321},
  topic = {intuitionistic-logic;expressive-completeness;}
  }

@book{ wansing:1996a,
  editor = {Heinrich Wansing},
  title = {Proof Theory of Modal Logic},
  publisher = {Kluwer Academic Publishers},
  year = {1996},
  address = {Dordrecht},
  topic = {proof-theory;modal-logic;}
 }

@book{ wansing:1996b,
  editor = {Heinrich Wansing},
  title = {Negation: A Notion in Focus},
  Publisher = {Walter de Gruyter},
  year = {1996},
  address = {Berlin},
  rtnote = {Hillman BC199 N4N44 1996},
  xref = {Review: humberstone:1999a},
  topic = {negation;}
 }

@article{ wansing:1998a,
  author = {Heinrich Wansing},
  title = {Editorial: Modality, of Course!  Modal logic, Si!},
  journal = {Journal of Logic, Language, and Information},
  year = {1998},
  volume = {7},
  number = {3},
  pages = {iii--vii},
  topic = {modal-logic;}
  }

@book{ wansing:1998b,
  author = {Heinrich Wansing},
  title = {Displaying Modal Logic},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  address = {Dordrecht},
  ISBN = {0-7923-5205-X},
  xref = {Review:gore:2000b.},
  rtnote = {UMich Graduate BC 199 .M6 W361 1998.},
  topic = {display-logic;modal-logic;}
 }

@article{ wansing:1999a,
  author = {Heinrich Wansing},
  title = {Predicate Logics on Display},
  journal = {Studia Logica},
  year = {1999},
  volume = {62},
  number = {1},
  pages = {49--75},
  topic = {display-logic;}
  }

@article{ wansing:2002a,
  author = {Heinrich Wansing},
  title = {A Rule-Extension of the Non-Associative {L}ambek Calculus},
  journal = {Studia Logica},
  year = {2002},
  volume = {71},
  number = {3},
  pages = {443--451},
  topic = {Lambek-calculus;categorial-grammar;}
  }

@article{ wansing:2004a,
  author = {Heinrich Wansing},
  title = {Review of \emph{{A}gency and Deontic Logic\/}, by {J}ohn
  	{F}. {H}orty},
  journal = {Journal of Logic, Language, and Information},
  year = {2004},
  volume = {13},
  number = {3},
  pages = {379--381},
  xref = {Review of: horty:2001a.},
  topic = {deontic-logic;practical-reasoning;
  	ability;stit;foundations-of-decision-theory;}
  }

@article{ wansung:2002a,
  author = {Heinrich Wansung},
  title = {Diamonds Are a Philosopher's Best Friends: The
  	Knowability Paradox and Modal Epistemic Relevance Logic},
  journal = {Journal of Philosophical Logic},
  year = {2002},
  volume = {31},
  number = {6},
  pages = {613--614},
  topic = {epistemic-logic;relevance-logic;knowability-paradox;}
  }

@article{ ward_g-hirschberg:1991a,
  author = {Gregory Ward and Julia Hirschberg},
  title = {A Pragmatic Analysis of Tautological Utterances},
  journal = {Journal of Pragmatics},
  year = {1991},
  volume = {15},
  pages = {507--520},
  missinginfo = {number},
  topic = {implicature;speaker-meaning;}
  }

@article{ ward_n:1992a,
  author = {Nigel Ward},
  title = {A Parallel Approach to Syntax for Generation},
  journal = {Artificial Intelligence},
  year = {1992},
  volume = {57},
  number = {2--3},
  pages = {183--225},
  acontentnote = {Abstract:
      To produce good utterances from nontrivial inputs a natural
     language generator should consider many words in parallel, which
     raises the question of how to handle syntax in a parallel
     generator.  If a generator is incremental and centered on the
     task of word choice, then the role of syntax is merely to help
     evaluate the appropriateness of words.  One way to do this is to
     represent syntactic knowledge as an inventory of ``syntactic
     constructions'' and to have many constructions active in parallel

repository: sergiud/bibtex-spirit

repo_name: sergiud/bibtex-spirit