text:
key to
     SIERRA's success lies in supplying a small amount of extra
     information with the examples.  Instead of giving it a set of
     examples, under which conditions correct learning is provably
     impossible, it is given a sequence of ``lessons'', where a
     lesson is a set of examples that is guaranteed to introduce only
     one subprocedure.  This permits unbiased learning, i.e., learning
     without a priori, heuristic preferences concerning the outcome.  },
  topic = {case-based-reasoning;machine-learning;}
  }

@incollection{ vanlehn:1989a,
  author = {Kurt VanLehn},
  title = {Problem Solving and Cognitive Skill Acquisition},
  booktitle = {Foundations of Cognitive Science},
  publisher = {The {MIT} Press},
  year = {1989},
  editor = {Michael I. Posner},
  chapter = {14},
  pages = {527--579},
  address = {Cambridge, Massachusetts},
  topic = {problem-solving;expertise;skill-acquisition;}
  }

@book{ vanlehn:1989b,
  author = {Kurt VanLehn},
  title = {Mind Bugs: the Origins of Procedural Misconception},
  publisher = {The {MIT} Press},
  year = {1989},
  address = {Cambridge, Massachusetts},
  ISBN = {0262220369},
  rtnote = {UMich Graduate Library Call No: BF 318 .V361 1990},
  topic = {psychology-of-learning;cognitive-psychology;}
 }

@unpublished{ vanlehn:1992a,
  author = {Kurt VanLehn},
  title = {Artificial Intelligence Programming},
  year = {1992},
  note = {Unpublished manuscript, Computer Science Department,
  	University of Pittsburgh. Course notes.},
  rtnote = {In RHT collection.},
  topic = {AI-programming;}
  }

@incollection{ vanlehn-jones_rm:1993a,
  author = {Kurt VanLehn and Randolph M. Jones},
  title = {Integration of Analogical Search Control and
  	Explanation-Based Learning of Correctness},
  booktitle = {Machine Learning Methods for Planning},
  publisher = {Morgan Kaufmann},
  year = {1993},
  editor = {Steven Minton},
  pages = {273--315},
  address = {San Mateo, California},
  rtnote = {In RHT collection.},
  topic = {machine-learning;}
  }

@inproceedings{ vanleijan-druzdzel:1998a,
  author = {Hans {van Leijan} and Marek Druzdzel},
  title = {Reversible Causal Mechanisms in {B}ayesian Networks},
  booktitle = {Working Notes of the {AAAI} Spring Symposium on
 	Prospects for a Commonsense Theory of Causation},
  year = {1998},
  organization = {American Association for Artificial Intelligence},
  publication = {American Association for Artificial Intelligence},
  address = {Menlo Park, CA},
  editor = {Charles L. {Ortiz, Jr.}},
  pages = {24--30},
  rtnote = {In RHT Collection.  Shelf.},
  topic = {Bayesian-networks;causality;}
 }

@phdthesis{ vanleusen:2007a,
  author = {Nora van Leusen},
  title = {Description Grammar for Discourse},
  school = {Radboud University},
  year = {2007},
  type = {Ph.D. Dissertation},
  address = {Nijmegen},
  isbn = {978-90-9022305-6},
  rtnote = {In RHT Collection.  LLP single author shelves.},
  topic = {TAG-grammar;discourse-structure;anaphora;presupposition;}
 }

@incollection{ vanlinder-etal:1995a,
  author = {Bernd {van Linder} and Wiebe {van der Hoek} and John-Jules Meyer},
  title = {Actions that Make you Change Your Mind},
  booktitle = {Knowledge and Belief in Philosophy and Artificial
  	Intelligence},
  publisher = {Akedemie Verlag},
  year = {1995},
  editor = {Armin Laux and Heinrich Wansing},
  pages = {103--146},
  address = {Berlin},
  topic = {epistemic-logic;dynamic-logic;}
  }

@article{ vanlinder-etal:1997a,
  author = {Bernd {van Linder} and Wiebe {van der Hoek} and
  	{John-Jules Ch.} Meyer},
  title = {Seeing is Believing, {\it and So are Hearing and Jumping}},
  journal = {Journal of Logic, Language, and Information},
  year = {1997},
  volume = {6},
  number = {1},
  pages = {33--61},
  topic = {logic-of-perception;reasoning-about-mental-states;
  	agent-modeling;}
  }

@incollection{ vannoord:1990a,
  author = {Gertjan {van Noord}},
  title = {An Overview of Head-Driven Bottom-up Generation},
  booktitle = {Current Research in Natural Language Generation},
  year = {1990},
  editor = {Robert Dale and Chris Mellish and Michael Zock},
  publisher = {Academic Press},
  address = {London},
  pages = {141--165},
  rtnote = {In rht collection.},
  topic = {nl-generation;unification-grammars;}
}

@article{ vannoord:1997a,
  author = {Gertjan {van Noord}},
  title = {An Efficient Implementation of the Head-Corner Parser},
  journal = {Computational Linguistics},
  year = {1997},
  volume = {23},
  number = {3},
  pages = {425--456},
  topic = {parsing-algorithms;parsing-optimization;}
  }

@incollection{ vannoord:1998a,
  author = {Gertjan {van Noord}},
  title = {Treatment of $\epsilon$-Moves in Subset Construction},
  booktitle = {{FSMNLP'98}: International Workshop on Finite State
  	Methods in Natural Language Processing},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Lauri Karttunen},
  pages = {57--68},
  address = {Somerset, New Jersey},
  topic = {finite-state-automata;construction-of-FSA;}
  }

@article{ vannoord:2000a,
  author = {Gertjan van Noord},
  title = {Treatment of Epsilon Moves in Subset Construction},
  journal = {Computational Linguistics},
  year = {2000},
  volume = {26},
  number = {1},
  pages = {61--76},
  topic = {finite-state-nlp;finite-state-automata;}
  }

@article{ vanotterloo-etal:2006a,
  author = {Sieuwert van Otterloo and Wiebe van der Hoek and Michael
  		Wooldridge},
  title = {Knowledge Condition Games},
  journal = {Journal of Logic, Language, and Information},
  year = {2006},
  volume = {15},
  number = {4},
  pages = {403--424},
  topic = {epistemic-logic;game-theory;complexity-theory;}
  }

@article{ vanplato:2002a,
  author = {Jan van Plato},
  title = {Review of \emph{{P}roof Theory: History and Philosophical
  	Significance}, by {V}incent {F}. Hendriks and {S}tig {A}rthur
	{P}ederson and {K}laus {F}rovin {J\o}rgenson},
  journal = {The Bulletin of Symbolic Logic},
  year = {2002},
  volume = {8},
  number = {3},
  pages = {431--432},
  xref = {Review of: hendriks_vf-etal:2000a.},
  topic = {proof-theory;}
  }

@book{ vanrijsbergen:1979a,
  author = {C.J. {Van Rijsbergen}},
  title = {Information Retrieval},
  publisher = {Butterworths},
  year = {1979},
  address = {London},
  topic = {information-retrieval;vector-space-model;}
 }

@article{ vanrooij:2008a,
  author = {Robrert van Rooij},
  title = {Towards a Uniform Analysis of \emph{Any}},
  journal = {Natural Language Semantics},
  year = {2008},
  volume = {16},
  number = {4},
  pages = {297--315},
  topic = {counterfactuals;free-choice-`any/or';polarity;}
  }

@article{ vanrooij-schulz_k:2004a,
  author = {Robert van Rooij and Katrin Schulz},
  title = {Exhaustive Interpretation of Complex Sentences},
  journal = {Journal of Logic, Language, and Information},
  year = {2004},
  volume = {13},
  number = {4},
  pages = {491--519},
  topic = {nonmonotonic-logic;implicature;}
  }

@book{ vanrootselaar-staal:1967a,
  editor = {B. van Rootselaar},
  title = {Logic, Methodology, and Philosophy of Science {III}},
  publisher = {North-Holland Publishing Co.},
  year = {1967},
  address = {Amsterdam},
  rtnote = {In RHT collection. L. Collection Shelves.},
  topic = {mathematical-logic;philosophy-of-science;}
 }

@incollection{ vanrooy:1999a,
  author = {Robert van Rooy},
  title = {Questioning to Resolve Decision Problems},
  booktitle = {Proceedings of the Twelfth {A}msterdam Colloquium},
  publisher = {ILLC/Department of Philosophy, University
		of Amsterdam},
  year = {1999},
  editor = {Paul Dekker},
  pages = {211--216},
  address = {Amsterdam},
  topic = {interrogatives;decision-theory;}
  }

@article{ vanrooy:2001a,
  author = {Robert van Rooy},
  title = {Exhaustivity in Dynamic Semantics: Referential and
  	Descriptive Pronouns},
  journal = {Linguistics and Philosophy},
  year = {2001},
  volume = {24},
  number = {5},
  pages = {621--657},
  topic = {anaphora;reference;dynamic-logic;}
  }

@incollection{ vanrooy:2002a,
  author = {Robert van Rooy},
  title = {Relevance Only},
  booktitle = {{EDILOG} 2002: Proceedings of the Sixth Workshop on the
  	Semantics and Pragmatics of Dialogue},
  publisher = {Cognitive Science Centre, University of Edinburgh},
  year = {2002},
  editor = {Johan Bos and Mary Ellen Foster and Colin Mathesin},
  pages = {155--160},
  address = {Edinburgh},
  topic = {sentence-focus;`only';}
  }

@article{ vanrooy:2003a,
  author = {Robert van Rooy},
  title = {Questioning to Resolve Decision Problems},
  journal = {Linguistics and Philosophy},
  year = {2003},
  volume = {26},
  number = {6},
  pages = {727--763},
  topic = {interrogatives;}
  }

@article{ vanrooy:2003b,
  author = {Robert van Rooy},
  title = {Quality and Quantity of Information Exchanges},
  journal = {Journal of Logic, Language, and Information},
  year = {2003},
  volume = {12},
  number = {4},
  pages = {423--451},
  topic = {foundations-of-pragmatics;game-theory;}
  }

@article{ vanrooy:2004a,
  author = {Robert van Rooy},
  title = {Signalling Games Select {H}orn Strategies},
  journal = {Linguistics and Philosophy},
  year = {2004},
  volume = {27},
  number = {4},
  pages = {493--527},
  topic = {implicature;foundations-of-pragmatics;evolutionary-game-theory;}
  }

@incollection{ vanrooy-safarova:2003a,
  author = {Robert van Rooy and Marie \v{S}\'afa\v{r}ov\'a},
  title = {On Polar Questions},
  booktitle = {Proceedings from Semantics and Linguistic Theory {XIII}},
  publisher = {Cornell University},
  year = {2003},
  editor = {Robert B. Young and Yuping Zhou},
  pages = {292--309},
  address = {Ithaca, New York},
  topic = {nl-semantics;interrogatives;polarity;}
  }

@article{ vansanten:1998a,
  author = {Jan P.H. van Santen},
  title = {Review of \emph{{H}andbook of Standards and Resources for
  	Spoken Language Systems}, edited by {D}affyd {G}ibbon and
	{R}oger {M}oore and {R}ichard {W}inski},
  journal = {Computational Linguistics},
  year = {1998},
  volume = {24},
  number = {3},
  pages = {512--515},
  xref = {Review of: gibbon_d-etal:1997a.},
  topic = {speech-generation;speech-recognition;}
  }

@book{ vansanten-etal:1997a,
  editor = {Jan P.H. van Santen and Richard W. Sproat and Joseph P. Olive
	and Julia Hirschberg},
  title = {Progress in Speech Synthesis},
  publisher = {Springer-Verlag},
  year = {1997},
  address = {Berlin},
  note = {Includes CD-ROM},
  ISBN = {0-387-94701-9},
  xref = {Review: williams_b:1998a.},
  topic = {speech-generation;}
 }

@inproceedings{ vanvalin:1987a,
  author = {Robert van Valin},
  title = {The Unaccusative Hypothesis Versus Lexical Semantics:
  		Syntactic Vs. Semantic Approaches to Verb Classification},
  booktitle = {{NELS 17}: Proceedings of the Seventeenth Conference of the
  	{N}orth {E}ast {L}inguistic {S}ociety},
  year = {1987},
  editor = {Joyce McDonough and B. Plunkett},
  publisher = {GLSA Publications},
  address = {Amherst, Massachusetts},
  missinginfo = {pages},
  topic = {lexical-semantics;unaccusatives;}
  }

@article{ vanvoorst:1992a,
  author = {Jan van Voorst},
  title = {The Aspectual Semantics of Psychological Verbs},
  journal = {Linguistics and Philosophy},
  year = {1992},
  volume = {15},
  number = {1},
  pages = {65--92},
  topic = {argument-structure;event-semantics;}
  }

@inproceedings{ vardi:1985a,
  author = {Moshe Y. Vardi},
  title = {A Model-Theoretic Analysis of Monotonic Knowledge},
  booktitle = {Proceedings of the Ninth International Joint
  	Conference on Artificial Intelligence},
  year = {1985},
  editor = {Arivind Joshi},
  pages = {509--512},
  publisher = {Morgan Kaufmann},
  address = {Los Altos, California},
  topic = {epistemic-logic;}
 }

@inproceedings{ vardi:1986a,
  author = {Moshe Y. Vardi},
  title = {On Epistemic Logic and Logical Omniscience},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
  	Proceedings of the First Conference},
  year = {1986},
  editor = {Joseph Y. Halpern},
  pages = {293--305},
  publisher = {Morgan Kaufmann Publishers, Inc.},
  address = {Los Altos, California},
  topic = {hyperintensionality;epistemic-logic;}
  }

@book{ vardi:1988a,
  editor = {Moshe Y. Vardi},
  title = {Theoretical Aspects of Reasoning about Knowledge:
    Proceedings of the  Conference ({TARK} 1988)},
  year = {1988},
  publisher = {Morgan Kaufmann},
  address = {San Francisco, California},
  rtnote = {In RHT collection.},
  topic = {reasoning-about-knowledge;}
  }

@inproceedings{ vardi:1989a,
  author = {Moshe Y. Vardi},
  title = {On the Complexity of Epistemic Reasoning},
  booktitle = {Proceedings of the Fourth {IEEE} Symposium on
  	Logic in Computer Science},
  year = {1989},
  pages = {243--252},
  organization = {{IEEE}},
  missinginfo = {editor, publisher, address},
  topic = {epistemic-logic;algorithmic-complexity;}
  }

@incollection{ vardi:1996a,
  author = {Moshe Y. Vardi},
  title = {Implementing Knowledge-Based Programs},
  booktitle = {Theoretical Aspects of Rationality and Knowledge:
  	Proceedings of the Sixth Conference ({TARK} 1996)},
  publisher = {Morgan Kaufmann},
  year = {1996},
  editor = {Yoav Shoham},
  pages = {15--30},
  address = {San Francisco},
  topic = {knowledge-based-programming;}
  }

@incollection{ vardi:2006a,
  author = {Moshe Y. Vardi},
  title = {Automata-Theoretic Techniques for Temporal Reasoning},
  booktitle = {Handbook of Modal Logic},
  year = {2006},
  editor = {Patrick Blackburn and Johan van Benthem and Frank Wolter},
  pages = {971--989},
  address = {New York},
  rtnote = {In RHT collection.  File drawers.},
  topic = {modal-logic;automata-theory;}
  }

@incollection{ varges:2004a,
  author = {Sebastian Varges},
  title = {Overgenerating Referring Expressions
    		Involving Relations and Booleans},
  booktitle = {Natural Language Generation: Third International
	Conference, INLG 2004},
  publisher = {Springer-Verlag},
  year = {2004},
  editor = {Anja Belz and Roger Evans and Paul Piwek},
  pages = {171--181},
  address = {Berlin},
  topic = {nl-generation;referring-expressions;}
  }

@book{ varile-zampolli:1997a,
  editor = {Giovanni Battista Varile and Antonio Zampolli},
  title = {Survey of the State of the Art in Human Language Technology},
  publisher = {Cambridge University Press},
  year = {1997},
  address = {Cambridge, England},
  ISBN = {8842700185},
  rtnote = {UMich Media Union Library, P 98 .S931 1997.},
  xref = {Review: akman:1999a.},
  topic = {nlp-technology;}
 }

@article{ varis:1998a,
  author = {Olli Varis},
  title = {A Belief Network Approach to Optimization and Parameter
  	Estimation: Application to Resource and Environmental
	Management},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {101},
  number = {1--2},
  pages = {135--163},
  topic = {Bayesian-networks;optimization;}
  }

@article{ varzi:1997a,
  author = {Achille C. Varzi},
  title = {Inconsistency without Contradiction},
  journal = {Notre {D}ame Journal of Formal Logic},
  year = {1997},
  volume = {38},
  number = {4},
  pages = {621--639},
  rtnote = {In RHT collection.  Bound with varzi:1997b.},
  topic = {truth-value-gaps;}
  }

@article{ varzi:1997b,
  author = {Achille C. Varzi},
  title = {Boundaries, Continuity, and Contact},
  journal = {No\^us},
  year = {1997},
  volume = {31},
  number = {1},
  pages = {26--58},
  rtnote = {In RHT collection.  Bound with varzi:1997a.},
  topic = {philosophy-of-geometry;continuity;}
  }

@article{ varzi:2001a,
  author = {Achille C. Varzi},
  title = {The Best Question},
  journal = {Journal of Philosophical Logic},
  year = {2001},
  volume = {30},
  number = {3},
  pages = {251--265},
  topic = {interrogatives;}
  }

@book{ vaske-grantham:1990a,
  author = {Jerry J. Vaske and Charles E. Grantham},
  title = {Socializing the Human-Computer Environment},
  publisher = {Ablex Publishing Corp.},
  year = {1990},
  address = {Norwood, New Jersey},
  ISBN = {0893914711},
  rtnote = {UMich Media Union Library, QA 76.9 .H85 V371 1990.},
  topic = {HCI;}
 }

@inproceedings{ vassallo:2001a,
  author = {Nicla Vassallo},
  title = {Contexts and Philosophical Problems of Knowledge},
  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 = {353--366},
  address = {Berlin},
  topic = {context;epistemology;skepticism;}
  }

@inproceedings{ vassilieva-larson_rk:2001a,
  author = {Masha Vassilieva and Richard K. Larson},
  title = {The Semantics of the Plural Pronoun Construction},
  booktitle = {Proceedings from Semantics and Linguistic Theory {XI}},
  publisher = {Cornell University},
  year = {2001},
  editor = {Rachel Hastings and Brendan Jackson and Zsofia Zvolenszky},
  pages = {449--465},
  address = {Ithaca, New York},
  topic = {nl-semantics;plural;pronouns;}
  }

@article{ vassilieva-larson_rk:2005a,
  author = {Marsha Vassilieva and Richard K. Larson},
  title = {The Semantics of the Plural Pronoun Construction},
  journal = {Natural Language Semantics},
  year = {2005},
  volume = {13},
  number = {2},
  pages = {101--124},
  topic = {plural;`we';nl-semantics;Russian-language;}
  }

@article{ vatcheva-etal:2006a,
  author = {Ivayla Vatcheva and Hidde de Jong and Olivier Bernard aNd
  		Nicolaas J.I. Mars},
  title = {Experiment Selection for the Discrimination of Semi-Quantitative
  		Models of Dynamical Systems},
  journal = {Artificial Intelligence},
  year = {2006},
  volume = {170},
  number = {4--5},
  pages = {472--506},
  topic = {qualitative-modeling;}
  }

@incollection{ vazov:1999a,
  author = {Nikolai Vazov},
  title = {Context-Scanning Strategy in Temporal
			Reasoning},
  booktitle = {Modeling and Using Contexts: Proceedings of
	the Second International and Interdisciplinary
	Conference, {CONTEXT}'99},
  publisher = {Springer-Verlag},
  year = {1999},
  editor = {Paolo Bouquet and Luigi Serafini and Patrick
	Br\'ezillon	and Massimo Benerecetti and Francesca
	Castellani},
  pages = {389--402},
  address = {Berlin},
  topic = {context;temporal-reasoning;}
  }

@article{ veenman-etal:2003a,
  author = {C.J. Veenman and M.J.T. Reinders and E. Backer},
  title = {Establishing Motion Correspondence Using Extended Temporal
  	Scope},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {145},
  number = {1--2},
  pages = {227--243},
  topic = {visual-reasoning;motion-tracking;}
  }

@incollection{ veenstra-vondenbosch:2000a,
  author = {Jorn Veenstra and Antel van den Bosch},
  title = {Single-Classifier Memory-Based Phrase Chunking},
  booktitle = {Proceedings of the Fourth Conference on Computational
  	Natural Language Learning and of the Second Learning Language
	in Logic Workshop, {L}isbon, 2000},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  editor = {Claire Cardie and Walter Daelemans and Claire N\'edellec
  	and Erik Tjong Kim Sang},
  pages = {157--159},
  address = {Somerset, New Jersey},
  topic = {machine-language-learning;text-chunking;}
  }

@incollection{ veeramachaneni-etal:2005a,
  author = {Sriharsha Veeramachaneni and Prateek Sarkar and George Nagy},
  title = {Modeling Context as Statistical Dependence},
  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 = {515--528},
  address = {Berlin},
  topic = {context;statistical-(in)dependence;pattern-matching;}
  }

@inproceedings{ velasquez:1998a,
  author = {Juan D. Vel\'asquez},
  title = {Modeling Emotions and Other Motivations in Synthetic
  	Agents},
  booktitle = {Proceedings of the Fourteenth National Conference on
              Artificial Intelligence and the Ninth Innovative
	      Applications of Artificial Intelligence  Conference},
  year = {1998},
  editor = {Benjamin J. Kuipers and Bonnie Webber},
  pages = {10--21},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {synthesized-emotion;}
  }

@article{ velemans:1993a,
  author = {M. Velmans},
  title = {Consciousness, Causality, and Complementarity},
  journal = {Behavioral and Brain Sciences},
  year = {1993},
  volume = {16},
  pages = {409--415},
  missinginfo = {A's 1st name, number},
  topic = {consciousness;},
  }

@book{ velleman_dj:1994a,
  author = {Daniel J. Velleman},
  title = {How to Prove It},
  publisher = {Cambridge University Press},
  year = {1994},
  address = {Cambridge, England},
  topic = {mathematics-intro;human-theorem-proving;}
 }

@book{ velleman_jd:1989a,
  author = {J. David Velleman},
  title = {Practical Reflection},
  publisher = {Princeton University Press},
  year = {1989},
  address = {Princeton, New Jersey},
  rtnote = {HILLMAN B105 A35V44 1989},
  topic = {philosophy-of-action;}
 }

@article{ velleman_jd:1993a,
  author = {J. David Velleman},
  title = {The Story of Rational Action},
  journal = {Philosophical Topics},
  year = {1994},
  volume = {21},
  number = {1},
  pages = {229--254},
  topic = {foundations-of-utility;}
  }

@article{ velleman_jd:1997a,
  author = {J. David Velleman},
  title = {How to Share an Intention},
  journal = {Journal of Philosophy and Phenomenological Research},
  year = {1997},
  volume = {57},
  number = {1},
  pages = {29--50},
  rtnote = {In RHT collection.},
  topic = {intention;group-attitudes;mutuality;}
  }

@article{ velleman_jd:1998a,
  author = {J. David Velleman},
  title = {Self to Self},
  journal = {The Philosophical Review},
  year = {1998},
  volume = {105},
  number = {1},
  pages = {39--76},
  topic = {personal-identity;}
  }

@incollection{ velleman_jd:2000a,
  author = {J. David Velleman},
  title = {From Self Psychology to Moral Philosophy},
  booktitle = {Philosophical Perspectives 14: Action and Freedom},
  publisher = {Blackwell Publishers},
  year = {2000},
  editor = {James E. Tomberlin},
  pages = {349--377},
  address = {Oxford},
  topic = {cognitive-dissonance;philosophical-psychology;}
  }

@book{ velleman_jd:2009a,
  author = {J. David Velleman},
  title = {How We Get Along},
  publisher = {Cambridge University Press},
  year = {2009},
  address = {Cambridge, England},
  ISBN = {978-0-521-04340-3 (pbk)},
  rtnote = {Tanner BC 177 V45 2009},
  topic = {practical-reasoning;}
 }

@article{ velmans:1991a,
  author = {M. Velmans},
  title = {Is Human Information Processing Conscious?},
  journal = {Behavioral and Brain Sciences},
  year = {1991},
  volume = {14},
  pages = {651--669},
  missinginfo = {A's 1st name, number},
  topic = {consciousness;},
  }

@article{ velmans:1991b,
  author = {M. Velmans},
  title = {Consciousness from a First-Person Perspective},
  journal = {Behavioral and Brain Sciences},
  year = {1991},
  volume = {14},
  pages = {702--726},
  missinginfo = {A's 1st name, number},
  topic = {consciousness;},
  }

@book{ velmans-schneider_s:2007a,
  editor = {Max Velmans and Susan Schneider},
  title = {The {B}lackwell Companion to Consciousness},
  publisher = {Blackwell Publishing},
  year = {2007},
  address = {Oxford},
  ISBN-13 = {978-1-4051-2019-7},
  topic = {consciousness;philosophy-of-mind;}
 }

@inproceedings{ veloso_mm:1992a,
  author = {Manuela Veloso},
  title = {Automatic Storage, Retrieval, and Replay of Multiple Cases
  	Using Derivational Analogy in {\sc prodigy}},
  booktitle = {Working Notes of the {AAAI} Spring Symposium on
  	Computational Considerations in Supporting Incremental
	Modification and Reuse},
  year = {1992},
  pages = {131--136},
  organization = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  topic = {planning;plan-reuse;}
  }

@article{ veloso_mm-etal:2000a,
  author = {Manuela Veloso and Michael Bowling and Sorin Achim
  	and Kwan Han and Peter Stone},
  title = {{\sc Cmunited}-98 Small-Robot World Championship Team},
  journal = {The {AI} Magazine},
  year = {2000},
  volume = {21},
  number = {1},
  pages = {29--36},
  topic = {robotics;RoboCup;}
  }

@article{ veloso_pas-etal:2007a,
  author = {Paulo A.S. Veloso and Renata P. De Vreitas and Petrucio
  		Viana and Mario Benevides and Sheila R.M. Veloso},
  title = {On Fork Arrow Logic and its Expressive Power},
  journal = {Journal of Philosophical Logic},
  year = {2007},
  volume = {36},
  number = {5},
  pages = {489--509},
  topic = {arrow-logic;modal-logic;}
  }

@article{ veloso_pas-veloso_srm:2004a,
  author = {Paulo A.S. Veloso and Sheila R.M. Veloso},
  title = {On Ultrafilter Logic and Special Functions},
  journal = {Studia Logica},
  year = {2004},
  volume = {78},
  number = {3},
  pages = {459--457},
  topic = {generalized-quantifiers;ultrafilter-logic;vagueness;}
  }

@incollection{ veltman:1984a,
  author = {Frank Veltman},
  title = {Data Semantics},
  booktitle = {Truth, Interpretation, and Information: Selected Papers
  	from the Third {A}msterdam Colloquium},
  publisher = {Foris Publications},
  year = {1984},
  editor = {Jeroen Groenendijk and Theo Janssen and Martin Stokhof},
  pages = {43--65},
  address = {Dordrecht},
  topic = {dynamic-logic;nonmonotonic-reasoning;}
  }

@phdthesis{ veltman:1985a,
  author = {Frank Veltman},
  title = {Logics for Conditionals},
  school = {University of Amsterdam},
  year = {1985},
  type = {Ph.{D}. Dissertation},
  address = {Amsterdam},
  topic = {conditionals;}
 }

@incollection{ veltman:1986a,
  author = {Frank Veltman},
  title = {Data Semantics and the Pragmatics of Indicative Conditionals},
  booktitle = {On Conditionals},
  publisher = {Cambridge University Press},
  year = {1986},
  address = {Cambridge, England},
  editor = {Elizabeth Traugott and Alice {ter Meulen} and Judy Reilly
  	and Charles Ferguson},
  missinginfo = {147--167},
  topic = {dynamic-logic;nonmonotonic-reasoning;conditionals;}
  }

@incollection{ veltman:1990a,
  author = {Frank Veltman},
  title = {Defaults in Update Semantics {I}},
  booktitle = {Conditionals, Defaults, and Belief Revision},
  publisher = {Institut f\"ur maschinelle Sprachverarbeitung,
  		Universit\"at Stuttgart},
  year = {1990},
  note = {Dyana Deliverable R2.5.A.},
  editor = {Hans Kamp},
  pages = {28--64},
  address = {Stuttgart},
  topic = {conditionals;belief-revision;nonmonotonic-logic;}
  }

@inproceedings{ veltman:1990b1,
  author = {Frank Veltman and Ewan Klein and Mark Moens},
  title = {Default Reasoning and Dynamic Interpretation of Natural
  	Language},
  booktitle = {{ESPRIT'90}.  Proceedings of the Annual
  	{ESPRIT} Conference, {B}russels, {N}ovember 12--15, 1990},
  year = {1990},
  pages = {52--63},
  publisher = {Kluwer},
  address = {Dordrecht},
  missinginfo = {editor},
  xref = {Published in collection: veltman:1990b2.},
  topic = {nonmonotonic-logic;dynamic-logic;nl-semantics;nm-ling;}
  }

@incollection{ veltman:1990b2,
  author = {Frank Veltman and Ewan Klein and Mark Moens},
  title = {Default Reasoning and Dynamic Interpretation of Natural
  	Language},
  booktitle = {Non-Monotonic Reasoning and Partial Semantics},
  publisher = {Ellis Horwood},
  year = {1992},
  editor = {Wiebe van der Hoek et al.},
  pages = {21--36},
  address = {Chichester, England},
  missinginfo = {Other editors},
  xref = {Proceedings publication: veltman:1990b1.},
  topic = {nonmonotonic-logic;dynamic-logic;nl-semantics;nm-ling;}
  }

@article{ veltman:1996a,
  author = {Frank Veltman},
  title = {Defaults in Update Semantics},
  journal = {Journal of Philosophical Logic},
  year = {1996},
  volume = {25},
  number = {3},
  pages = {221--261},
  doi = {10.1007/BF00248150},
  topic = {dynamic-logic;nonmonotonic-reasoning;epistemic-modals;}
  }

@article{ vendler:1957a,
  author = {Zeno Vendler},
  title = {Verbs and Times},
  journal = {Philosophical Review},
  year = {1957},
  volume = {46},
  pages = {143--160},
  topic = {Aktionsarten;}
  }

@incollection{ vendler:1962a,
  author = {Zeno Vendler},
  title = {Reactions and Retractions},
  booktitle = {Analytical Philosophy, First Series},
  publisher = {Barnes and Noble},
  year = {1962},
  editor = {Ronald J. Butler},
  pages = {25--31},
  address = {New York},
  topic = {ordinary-language-philosophy;causality;}
  }

@article{ vendler:1965a,
  author = {Zeno Vendler},
  title = {Comments},
  journal = {The Journal of Philosophy},
  year = {1965},
  volume = {62},
  number = {20},
  pages = {602--605},
  xref = {Commentary on: katz_jj:1965a.},
  topic = {philosophy-and-linguistics;}
  }

@book{ vendler:1967a,
  author = {Zeno Vendler},
  title = {Linguistics in Philosophy},
  publisher = {Cornell University Press},
  year = {1967},
  address = {Ithaca, NY},
  topic = {philosophy-of-language;Aktionsarten;}
 }

@article{ vendler:1967b1,
  author = {Zeno Vendler},
  title = {Causal Relations},
  journal = {The Journal of Philosophy},
  year = {1967},
  volume = {64},
  number = {21},
  pages = {704--713},
  xref = {Republication: vendler:1967b2.},
  topic = {causality;}
  }

@incollection{ vendler:1967b2,
  author = {Zeno Vendler},
  title = {Causal Relations},
  booktitle = {The Logic of Grammar},
  publisher = {Dickenson Publishing Co.},
  year = {1975},
  editor = {Donald Davidson and Gilbert H. Harman},
  pages = {255--261},
  address = {Encino, California},
  xref = {Original Publication: vendler:1967b1.},
  topic = {causality;}
  }

@incollection{ vendler:1975a,
  author = {Zeno Vendler},
  title = {On What We Know},
  booktitle = {Language, Mind, and Knowledge.  {M}innesota Studies in
  	the Philosophy of Science, Vol. 7},
  publisher = {University of Minnesota Press},
  year = {1975},
  editor = {Keith Gunderson},
  pages = {370--390},
  address = {Minneapolis, Minnesota},
  topic = {propositional-attitudes;interrogatives;}
  }

@incollection{ vendler:1975b,
  author = {Zeno Vendler},
  title = {Reply to {P}rofessor {A}une},
  booktitle = {Language, Mind, and Knowledge.  {M}innesota Studies in
  	the Philosophy of Science, Vol. 7},
  publisher = {University of Minnesota Press},
  year = {1975},
  editor = {Keith Gunderson},
  pages = {400--402},
  address = {Minneapolis, Minnesota},
  topic = {propositional-attitudes;interrogatives;}
  }

@incollection{ vendler:1978a,
  author = {Zeno Vendler},
  title = {Telling the Facts},
  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 = {220--232},
  address = {Minneapolis},
  topic = {facts;presuppositions;nl-semantics;}
  }

@article{ vendler:1984a1,
  author = {Zeno Vendler},
  title = {Agency and Causation},
  journal = {Midwest Studies in Philosophy},
  year = {1984},
  volume = {9},
  pages = {371--384},
  xref = {Republication: vendler:1984a2.},
  topic = {agency;causality;}
  }

@incollection{ vendler:1984a2,
  author = {Zeno Vendler},
  title = {Agency and Causation},
  booktitle = {Causation and Causal Theories},
  publisher = {University of Minnesota Press},
  year = {1984},
  editor = {Peter A. French and Theodore E. Uehling, Jr. and Howard
  	K. Wettstein},
  pages = {371--384},
  address = {Minneapolis},
  xref = {Republication of: vendler:1984a1.},
  topic = {action;causality;}
  }

@techreport{ venema:1988a,
  author = {Yde Venema},
  title = {Expressiveness and Completeness of an Interval Tense Logic},
  institution = {Institute for Language, Logic and Information, University
  	of Amsterdam},
  year = {1988},
  address = {Faculty of Mathematics and Computer Science, Roeterssraat 15,
  	1018WB Amsterdam, Holland},
  rtnote = {In RHT collection.},
  topic = {tense-logic;interval-logic;}
  }

@techreport{ venema:1989a,
  author = {Yde Venema},
  title = {Two-Dimensional Modal Logics},
  institution = {Institute for Language, Logic and Information, University
  	of Amsterdam},
  number = {LP-89-05},
  year = {1989},
  address = {Faculty of Mathematics and Computer Science, Roeterssraat 15,
  	1018TV Amsterdam, Holland } ,
  rtnote = {In RHT collection.},
  topic = {modal-logic;interval-algebras;interval-logic;}
  }

@article{ venema:1992a,
  author = {Yde Venema},
  title = {A Note on the Tense Logic of Dominoes},
  journal = {Journal of Philosophical Logic},
  year = {1992},
  volume = {21},
  number = {2},
  pages = {173--182},
  topic = {temporal-logic;modal-logic;}
  }

@incollection{ venema:1993a,
  author = {Yde Venema},
  title = {Completeness via Completeness: Since and Until},
  booktitle = {Diamonds and Defaults},
  publisher = {Kluwer Academic Publishers},
  editor = {Maarten de Rijke},
  year = {1993},
  pages = {349--358},
  address = {Dordrecht},
  topic = {temporal-logics;completeness-theorems;}
  }

@article{ venema:1994a,
  author = {Yde Venema},
  title = {Tree Models and (Labled) Categorial Grammar},
  journal = {Journal of Logic, Language, and Information},
  year = {1994},
  volume = {5},
  number = {3--4},
  pages = {253--277},
  topic = {categorial-grammar;labeled-deductive-systems;}
  }

@article{ venema:1995a,
  author = {Yde Venema},
  title = {Meeting Strength in Substructural Logics},
  journal = {Studia Logica},
  year = {1995},
  volume = {54},
  number = {1},
  pages = {3--32},
  topic = {proof-theory;substructural-logics;}
  }

@incollection{ venema:1995c,
  author = {Yde Venema},
  title = {Meeting a Modality?  Restricted Permutation for the {L}ambek
  	Calculus},
  booktitle = {Applied Logic: How, What, and Why?  Logical Approaches to
       Natural Language},
  publisher = {Kluwer Academic Publishers},
  year = {1995},
  editor = {L\'aszl\'o P\'olos and Michael Masuch},
  pages = {343--361},
  address = {Dordrecht},
  topic = {Lambek-calculus;}
  }

@incollection{ venema:1996a,
  author = {Yde Venema},
  title = {A Crash Course in Arrow Logic},
  booktitle = {Arrow Logic and Multimodal Logic},
  publisher = {{CLSI} Publications},
  year = {1996},
  editor = {Maarten Marx and L\'azl\'o P\'olos and Michael Masuch},
  pages = {3--34},
  address = {Stanford, California},
  topic = {arrow-logic;}
  }

@article{ venema:1997a,
  author = {Yde Venema},
  title = {Editorial: Modal Logic and Dynamic Semantics},
  journal = {Journal of Logic, Language, and Information},
  year = {1997},
  volume = {6},
  number = {4},
  pages = {357--360},
  topic = {modal-logic;dynamic-logic;}
  }

@incollection{ venema:1998a,
  author = {Yde Venema},
  title = {Atom Structures},
  booktitle = {Advances in Modal Logic, Volume 1},
  publisher = {{CSLI} Publications},
  year = {1998},
  editor = {Marcus Kracht and Maarten de Rijke and Heinrich Wansing},
  pages = {291--305},
  address = {Stanford, California},
  topic = {modal-logic;}
  }

@article{ venema:2000a,
  author = {Yde Venema},
  title = {Review of \emph{{M}odal Logic}, by {A}lexander {C}hagov and
  	{M}ichael {Z}akharyaschev},
  journal = {The Philosophical Review},
  year = {2000},
  volume = {109},
  number = {2},
  pages = {286--289},
  xref = {Review of chagov-zakharyaschev:1997a.},
  topic = {modal-logic;}
  }

@incollection{ venema:2001a,
  author = {Yde Venema},
  title = {Dynamic Models in Their Logical Surroundings},
  booktitle = {Logic in Action},
  publisher = {Institute for Logic, Language, and Computation,
  	University of Amsterdam},
  year = {2001},
  editor = {Johan van Benthen and Paul Dekker and Jan van Eijk and
  	Maarten de Rijke and Yde Venema},
  pages = {115--153},
  address = {Amsterdam},
  topic = {dynamic-logic;mutual-belief;}
  }

@article{ venema:2003a,
  author = {Yde Venema},
  title = {Representation of Game Algebras},
  journal = {Studia Logica},
  year = {2003},
  volume = {75},
  number = {2},
  pages = {239--256},
  topic = {game-algebra;}
  }

@incollection{ venema:2006a,
  author = {Yde Venema},
  title = {Algebras and Co-Algebras},
  booktitle = {Handbook of Modal Logic},
  year = {2006},
  editor = {Patrick Blackburn and Johan van Benthem and Frank Wolter},
  pages = {331--426},
  address = {New York},
  rtnote = {In RHT collection.},
  topic = {modal-logic;algebraic-logic;}
  }

@article{ venkataraman:2001a,
  author = {Anand Venkataraman},
  title = {A Statistical Model for Word Discovery in Transcribed
  	Speech},
  journal = {Computational Linguistics},
  year = {2001},
  volume = {27},
  number = {3},
  pages = {351--372},
  topic = {machine-learning;speech-recognition;}
  }

@article{ venneman:1972a,
  author = {Theo Vennemann},
  title = {Phonological Uniqueness in Natural Generative Grammar},
  journal = {Glossa},
  volume = {6},
  year = {1972},
  pages = {105--116},
  topic = {phonology;}
 }

@incollection{ venneman:1975a,
  author = {Theo Venneman},
  title = {Topics, Sentence Accent, Ellipsis:  A Proposal for Their
  	Formal Treatment},
  booktitle = {Formal Semantics of Natural Language},
  publisher = {Cambridge University Press},
  year = {1975},
  editor = {Edward L. Keenan},
  pages = {313--328},
  address = {Cambridge, England},
  topic = {s-topic;ellipsis;pragmatics;}
  }

@inproceedings{ verbayne-etal:2000a,
  author = {Alan Verbayne and Frank van Harmelen and Annette
  	ten Teije},
  title = {Anytime Diagnostic Reasoning Using Approximate
  	{B}oolean Constraint Propagation},
  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 = {323--332},
  topic = {diagnosis;constraint-propagation;}
  }

@article{ verbrugge:1999a,
  author = {Rineke Verbrugge},
  title = {Review of \emph{{E}pistemic Logic for {AI} and Computer
  	Science}, by {John-Jules Ch.} Meyer and {W}iebe {van der Hoek}},
  journal = {Journal of Symbolic Logic},
  year = {1999},
  volume = {64},
  number = {4},
  pages = {1837--1840},
  xref = {Review of meyer_jjc-vanderhoek:1995a.},
  topic = {epistemic-logic;logic-in-AI;}
  }

@article{ verbrugge:2009a,
  author = {Rineke Verbrugge},
  title = {Logic and Social Cognition:  The Facts Matter, and So
  		Do Computational Models},
  journal = {Journal of Philosophical Logic},
  year = {2009},
  volume = {38},
  number = {6},
  pages = {649--680},
  topic = {epistemic-logic;game-theory;}
  }

@article{ verbrugge-mol:2008a,
  author = {Rineke Verbrugge and Lisette Mol},
  title = {Learning to Apply Theory of Mind},
  journal = {Journal of Logic, Language, and Information},
  year = {2008},
  volume = {17},
  number = {4},
  pages = {489--511},
  topic = {psychology-of-reasoning;cognitive-science;folk-psychology;}
  }

@article{ verdee-vanderwaartvangulik:2008a,
  author = {Peter Verd\'ee and Stephan van der Waart van Gulik},
  title = {A Generic Framework for Adaptive Vague Logics},
  journal = {Studia Logica},
  year = {2008},
  volume = {90},
  number = {3},
  pages = {385--405},
  topic = {vagueness;supervaluations;fuzzy-logic;adaptive-logic;}
  }

@incollection{ verdumas-etal:2000a,
  author = {Jose Luis Verd\'u-Mas and Jorge Calera-Rubio and Rafael
            C. Carrasco},
  title = {A Comparison of {PCFG} Models},
  booktitle = {Proceedings of the Fourth Conference on Computational
  	Natural Language Learning and of the Second Learning Language
	in Logic Workshop, {L}isbon, 2000},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  editor = {Claire Cardie and Walter Daelemans and Claire N\'edellec
  	and Erik Tjong Kim Sang},
  pages = {123--125},
  address = {Somerset, New Jersey},
  topic = {machine-language-learning;probabilistic-grammars;}
  }

@article{ vere:1977a,
  author = {Steven A. Vere},
  title = {Relational Production Systems},
  journal = {Artificial Intelligence},
  year = {1977},
  volume = {8},
  number = {1},
  pages = {47--68},
  acontentnote = {Abstract:
     A relational production system (rps) is a general purpose,
     formal information processing model developed to support
     research in artificial intelligence and related areas where a
     conjunction of predicate calculus literals is a convenient state
     description language.  Rps maintains a strong analogy with type 0
     string grammars.  It consists of a ``situation'', which is a
     conjunction of literals, and an unordered set of ``relational
     productions'', analogous to type 0 string productions.  These
     productions cause the replacement of a subset of literals in the
     situation by other literals, just as type 0 string productions
     cause the replacement of substrings by other substrings.
      Predictably, this system resembles the more empirical, existing
     knowledge representation systems, particularly STRIPS, while
     maintaining a mathematical precision and simplicity which allows
     proof of useful results.  Rps is first defined and exercised on
     some familiar examples.  A relational production composition
     theorem is then formulated and proved.  It is demonstrated that
     without a sponge-like component in the antecedent of a
     production, composition of two arbitrary productions is in
     general impossible.  },
  topic = {rule-based-reasoning;}
  }

@article{ vere:1980a,
  author = {Steven A. Vere},
  title = {Multilevel Counterfactuals for Generalizations of
  	Relational Concepts and Productions},
  journal = {Artificial Intelligence},
  year = {1980},
  volume = {14},
  number = {2},
  pages = {139--164},
  acontentnote = {Abstract:
     In the induction of relational concepts and productions from
     examples and counterexamples, a `counterfactual' is a set of
     conditions which must be false if a generalization is to be
     satisfied.  Multilevel counterfactuals may themselves contain
     counterfactuals nested to any level, providing a series-like
     concept representation mechanism.  An algorithm is presented,
     with correctness proof, which computes multilevel
     counterfactuals by recursively reducing the original induction
     problem to a smaller `residual' problem whose generalization
     gives the desired counterfactual.  Winston's empirical method
     for determining `must-not' conditions (single level
     counterfactuals) is shown to yield erroneous results in certain
     rather ordinary circumstances.  Computed examples are presented
     for the generalization of complex geometric scenes and the
     learning of blocksworld operators without resorting to the
     common CLEARTOP expedient.  },
  topic = {conditionals;machine-learning;}
  }

@article{ verheij:2003a,
  author = {Bart Verheij},
  title = {Artificial Argument Assistants for Defeasible Argumentation},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {150},
  number = {1-2},
  pages = {291--324},
  topic = {AI-and-law;argumentation;}
  }

@article{ verhoeven:2007a,
  author = {Liza Verhoeven},
  title = {The Relevance of a Relevantly Assertable Disjunction for
  		Material Implication},
  journal = {Journal of Philosophical Logic},
  year = {2007},
  volume = {36},
  number = {3},
  pages = {339--366},
  topic = {assertion;conditionals;}
  }

@article{ verhoeven-horsten:2005a,
  author = {Liza Verhoeven and Leon Horsten},
  title = {On the Exclusivity Implicature of `Or' or on the
  		Meaning of Eating Strawberries},
  journal = {Studia Logica},
  year = {2005},
  volume = {81},
  number = {1},
  pages = {19--42},
  topic = {implicature;pragmatics;adaptive-logic;}
  }

@book{ verkuyl:1972a,
  author = {Henk J. Verkuyl},
  title = {On the Compositional Nature of the Aspects},
  publisher = {D. Reidel Publishing Co.},
  year = {1972},
  address = {Dordrecht},
  topic = {nl-semantics;tense-aspect;Aktionsarten;}
 }

@article{ verkuyl:1980a,
  author = {Henk J. Verkuyl},
  title = {On the Proper Classification of Events and Verb Phrases},
  journal = {Theoretical Linguistics},
  year = {1980},
  volume = {7},
  number = {1/2},
  pages = {137--148},
  topic = {nl-semantics;tense-aspect;Aktionsarten;}
  }

@incollection{ verkuyl:1986a,
  author = {Henk J. Verkuyl},
  title = {Nondurative Closure of Events},
  booktitle = {Studies in Discourse Representation Theory and the Theory of
                   Generalized Quantifiers},
  publisher = {Foris Publications},
  year = {1986},
  editor = {Jeroen Groenendijk and Dick de Jongh and Martin Stokhof},
  pages = {87--113},
  address = {Dordrecht},
  topic = {tense-aspect;pragmatics;}
  }

@article{ verkuyl:1989a,
  author = {Henk J. Verkuyl},
  title = {Aspectual Classes and Aspectual Composition},
  journal = {Linguistics and Philosophy},
  year = {1989},
  volume = {12},
  number = {1},
  pages = {39--94},
  topic = {nl-semantics;tense-aspect;Aktionsarten;}
  }

@incollection{ verkuyl:2000a,
  author = {Henk J. Verkuyl},
  title = {Events as Dividuals: Aspectual Composition and Event
  		Semantics},
  booktitle = {Speaking of Events},
  publisher = {Oxford University Press},
  year = {2000},
  editor = {James Higginbotham and Fabio Pianesi and Achille C. Varzi},
  pages = {169--205},
  address = {Oxford},
  topic = {events;nl-semantics;event-semantics;Aktionsarten;tense-aspect;}
  }

@unpublished{ verkuyl:2003a,
  author = {Henk J. Verkuyl},
  title = {On the Compositionality of Tense: Merging {R}eichenbach and
  		{P}rior},
  year = {2003},
  note = {www.let.uu.nl/~Henk.Verkuyl/personal/tense/prtw.pdf},
  rtnote = {In RHT collection.},
  topic = {nl-tense;}
  }

@article{ verkuyl-lelouxschuringa:1985a,
  author = {H.J. Verkuyl and J.A. le Loux-Schuringa},
  title = {Once Upon a Tense},
  journal = {Linguistics and Philosophy},
  year = {1985},
  volume = {8},
  number = {2},
  pages = {237--261},
  topic = {nl-tense;}
  }

@techreport{ verkuyl-vanderdoes:1991a,
  author = {Henk J. Verkuyl and Jaap {van der Does}},
  title = {The Semantics of Plural Noun Phrases},
  institution = {Institute for Language, Logic and Information, University
  	of Amsterdam},
  number = {LP-91-07},
  year = {1991},
  address = {Faculty of Mathematics and Computer Science, Roeterssraat 15,
  	1018WB Amsterdam, Holland },
  rtnote = {In RHT collection.},
  topic = {nl-semantics;plural;}
  }

@article{ verkuyl-vermeulen:1996a,
  author = {Henk J. Verkuyl and Cees F.M. Vermeulen},
  title = {Shifting Perspectives in Discourse},
  journal = {Linguistics and Philosophy},
  year = {1996},
  volume = {19},
  number = {5},
  pages = {503--526},
  topic = {events;dynamic-semantics;discourse;pragmatics;}
  }

@article{ vermazen:1977a,
  author = {Bruce Vermazen},
  title = {The Logic of Practical `Ought' Sentences},
  journal = {Philosophical Studies},
  year = {1977},
  volume = {32},
  number = {1},
  pages = {1--71},
  rtnote = {In RHT collection.},
  topic = {deontic-logic;practical-reasoning;`ought';}
  }

@article{ vermeulen:1993a,
  author = {Cees F.M. Vermeulen},
  title = {Sequence Semantics for Dynamic Predicate Logic},
  journal = {Journal of Logic, Language, and Information},
  year = {1993},
  volume = {2},
  number = {3},
  pages = {217--254},
  topic = {dynamic-logic;dynamic-predicate-logic;}
  }

@article{ vermeulen:1995a,
  author = {Cees F.M. Vermeulen},
  title = {Merging Without Mystery or: Variables in Dynamic Semantics},
  journal = {Journal of Philosophical Logic},
  year = {1995},
  volume = {24},
  number = {4},
  pages = {405--450},
  topic = {dynamic-semantics;discourse-representation-theory;
  	file-change-semantics;pragmatics;referent-systems;}
  }

@incollection{ vermeulen:1995b,
  author = {Cees F.M. Vermeulen},
  title = {Update Semantics for Propositional Texts},
  booktitle = {Applied Logic: How, What, and Why?  Logical Approaches to
       Natural Language},
  publisher = {Kluwer Academic Publishers},
  year = {1995},
  editor = {L\'aszl\'o P\'olos and Michael Masuch},
  pages = {363--386},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {discourse;discourse-representation-theory;pragmatics;}
  }

@incollection{ vermeulen:1999a,
  author = {Cees F.M Vermeulen},
  title = {Two Approaches to Modal Interaction in Discourse},
  booktitle = {Proceedings of the Twelfth {A}msterdam Colloquium},
  publisher = {ILLC/Department of Philosophy, University
		of Amsterdam},
  year = {1999},
  editor = {Paul Dekker},
  pages = {49--54},
  address = {Amsterdam},
  topic = {modal-subordination;}
  }

@article{ vermeulen:2000a,
  author = {Cees E.M. Vermeulen},
  title = {Variables as Stacks: A Case Study in Dynamic Theory},
  journal = {Journal of Logic, Language, and Information},
  year = {2000},
  volume = {9},
  number = {2},
  pages = {143--167},
  topic = {dynamic-semantics;}
  }

@article{ vermeulen:2000b,
  author = {C.E.M. Vermeulen},
  title = {Text Structure and Proof Structure},
  journal = {Journal of Logic, Language, and Information},
  year = {2000},
  volume = {9},
  number = {3},
  pages = {273--211},
  topic = {nl-proofs;discourse-structure;}
  }

@article{ vermeulen:2001a,
  author = {C. Vermeulen},
  title = {A Calculus of Substitutions for {DPL}},
  journal = {Studia Logica},
  year = {2001},
  volume = {68},
  number = {3},
  pages = {357--387},
  topic = {dynamic-predicate-logic;proof-theory;completeness-theorems;}
  }

@article{ vermeulen-visser_a:1996a,
  author = {Cees F.M Vermeulen and Albert Visser},
  title = {Dynamic Bracketing and Discourse Representation},
  journal = {Notre {D}ame Journal of Formal Logic},
  year = {1996},
  volume = {37},
  pages = {321--365},
  topic = {discourse-representation-theory;dynamic-logic;
  	referent-systems;}
  }

@book{ veroff:1997a,
  editor = {Robert Veroff},
  title = {Automated Reasoning and Its Applications: Essays in Honor of
    Larry Wos},
  publisher = {The {MIT} Press},
  year = {1997},
  address = {Cambridge, Massachusetts},
  ISBN = {0262220555 (alk. paper)},
  rtnote = {UMich Media Union Library, QA 76.9 .A96 A9181 1997},
  topic = {theorem-proving;}
 }

@book{ veronis:2000a,
  editor = {Jean V\'eronis},
  title = {Parallel Text Processing: Alignment and
  	Use of Translation Corpora},
  publisher = {Kluwer Academic Publishers},
  year = {2000},
  address = {Dordrecht},
  ISBN = {0-7923-6546-1},
  xref = {Review: resnik_p:2001a.},
  topic = {text-alignment;corpus-linguistics;machine-translation;}
 }

@incollection{ veronis-ide:1995a,
  author = {Jean V\'eronis and Nancy Ide},
  title = {Large Neural Networks for the Resolution of Lexical
  	Ambiguity},
  booktitle = {Computational Lexical Semantics},
  publisher = {Cambridge University Press},
  year = {1995},
  editor = {Patrick Saint-Dizier and Evelyne Viegas},
  pages = {251--272},
  address = {Cambridge, England},
  topic = {computational-lexical-semantics;connectionist-models;}
  }

@book{ verschueren:1976a,
  author = {Jef Verschueren},
  title = {Speech Act Theory: A Provisional Bibliography with
  	a Terminological Guide},
  publisher = {Indiana Linguistics Club},
  year = {1976},
  address = {Department of Linguistics, University of Indiana,
 	Bloomington, Indiana},
  rtnote = {In RHT collection.},
  topic = {speech-acts;bibliography;}
 }

@book{ verschueren:1978a,
  author = {Jef Verschueren},
  title = {Pragmatics: An Annotated Bibliography},
  publisher = {J. Benjamins},
  year = {1978},
  address = {Amsterdam},
  rtnote = {Hillman Z7004.P73 V47},
  topic = {pragmatics;}
}

@article{ verschueren:1983a,
  author = {Jef Verschueren},
  title = {Review of \emph{{S}peech Act Classification: A Study in the
  	Lexical Analysis of {E}nglish Speech Activity Verbs}},
  journal = {Language},
  year = {1983},
  volume = {59},
  pages = {166--175},
  missinginfo = {number},
  xref = {Review of ballmer-brennenstuhl:1981a.},
  topic = {speech-acts;pragmatics;speech-act-taxonomy;}
  }

@book{ verschueren:1983b,
  author = {Jef Verschueren},
  title = {What People Say They Do With Words: Prolegomena to an
  	Empirical-Conceptual Approach to Linguistic Action},
  publisher = {Ablex},
  year = {1983},
  address = {Norwood, New Jersey},
  topic = {speech-acts;empirical-methods-in-discourse;pragmatics;}
 }

@book{ verschueren:1985b,
  author = {Jef Verschueren},
  title = {What People Say They Do With Words: Prolegomena to an
  	Empirical-Conceptual Approach to Linguistic Action},
  publisher = {Ablex Publishing Corp.},
  year = {1985},
  address = {Norwood, New Jersey},
  ISBN = {0893911968},
  rtnote = {UMich Graduate Library, P325 .V471 1985},
  topic = {speech-acts;empirical-methods-in-discourse;pragmatics;}
 }

@book{ verschueren:1987a,
  editor = {Jef Verschueren},
  title = {Pragmatics at Issue: Selected Papers of the {I}nternational
  	{P}ragmatics {C}onference, {A}ntwerp, {A}ugust 17--22, 1991},
  publisher = {J. Benjamins},
  year = {1987},
  address = {Amsterdam},
  rtnote = {Hillman P99.4 P72I58 1987},
  topic = {pragmatics;}
}

@book{ verschueren:1987b,
  author = {Jef Verschueren},
  title = {Linguistic Action: Some Empirical-Conceptual Studies},
  publisher = {Ablex Publishing Co.},
  year = {1987},
  address = {Norwood, New Jersey},
  rtnote = {Hillman  P95.55 V44 1985},
  topic = {pragmatics;}
}

@book{ verschueren:1987c,
  author = {Jef Verschueren},
  title = {Concluding Round Table, 1987 International Pragmatics
  	Conference},
  publisher = {International Pragmatics Association},
  year = {1987},
  address = {Wilrijk, Belgium},
  rtnote = {Hillman P99.4 P72C64 1987},
  topic = {pragmatics;}
}

@book{ verschueren:1987d,
  author = {Jef Verschueren},
  title = {Pragmatics as a Theory of Linguistic Adaptation},
  publisher = {International Pragmatics Association},
  year = {1987},
  address = {Wilrijk, Belgium},
  rtnote = {Hillman P99.4 P72V47 1987},
  topic = {pragmatics;}
}

@book{ verschueren:1998a,
  author = {Jef Verschueren},
  title = {Understanding Pragmatics},
  publisher = {Arnold},
  year = {1998},
  address = {London},
  ISBN = {0-340-64623-3 (paper)},
  rtnote = {In RHT collection.},
  topic = {pragmatics;}
 }

@book{ verschueren-bertuccellipapi:1987a,
  editor = {Jef Verschueren and Marcella Bertuccelli-Papi},
  title = {The Pragmatic Perspective},
  publisher = {Benjamins},
  year = {1987},
  address = {Amsterdam},
  topic = {pragmatics;}
 }

@incollection{ vesey:1986a,
  author = {Godfrey Vesey},
  title = {Concepts of Mind\, },
  booktitle = {Midwest Studies in Philosophy Volume {X}:
  	Studies in the Philosophy of Mind},
  publisher = {University of Minnesota Press},
  year = {1986},
  editor = {Peter A. French and Theodore E. {Uehling, Jr.} and Howard K.
  	Wettstein},
  pages = {531--557},
  address = {Minneapolis},
  topic = {philosophy-of-mind;}
  }

@incollection{ vestre:1991a,
  author = {Espen J. Vestre},
  title = {An Algorithm for Generating Non-Redundant
		Quantifier Scopings},
  booktitle = {Working Papers in Computational Semantics, Dialogue and
  	Discourse},
  publisher = {Department of Mathematics, University of Oslo},
  year = {1991},
  editor = {Harold L. Somers},
  pages = {33--52},
  address = {P.O. Box 1053-Blindern, 0316 Oslo 3, Norway},
  topic = {nl-quantifier-scope;computational-linguistics;}
  }

@article{ vetterlein:2008a,
  author = {Thomas  Vetterlein},
  title = {A Way to Interpret {\L}ukasiewicz Logic and Basic Logic},
  journal = {Studia Logica},
  year = {2008},
  volume = {90},
  number = {3},
  pages = {407--423},
  topic = {vagueness;algebraic-logic;}
  }

@article{ vetterlin:2008a,
  author = {Thomas Vetterlin},
  title = {A Way to Interpret {\L}ukasiewicz Logic},
  journal = {Studia Logica},
  year = {2008},
  volume = {90},
  number = {3},
  pages = {407--423},
  topic = {vagueness;}
  }

@incollection{ vickers:1969a,
  author = {John Vickers},
  title = {Judgment and Belief},
  booktitle = {The Logical Way of Doing Things},
  publisher = {Yale University Press},
  year = {1969},
  editor = {Karel Lambert},
  pages = {39--64},
  address = {New Haven, Connecticut},
  topic = {judgment;belief;}
  }

@incollection{ vickers:1970a,
  author = {John M. Vickers},
  title = {Probability and Non-Standard Logics},
  booktitle = {Philosophical Problems in Logic: Some Recent Developments},
  publisher = {D. Reidel Publishing Co.},
  year = {1970},
  editor = {Karel Lambert},
  pages = {102--120},
  address = {Dordrecht},
  topic = {foundations-of-probability;modal-logic;}
  }

@article{ vickers:1990a,
  author = {John M. Vickers},
  title = {Compactness in Finite Probabilistic Inference},
  journal = {Journal of Philosophical Logic},
  year = {1990},
  volume = {19},
  number = {3},
  pages = {305--316},
  topic = {probability-semantics;}
  }

@inproceedings{ vidal:2000a,
  author = {Thierry Vidal},
  title = {Controllability Characterization and Checking in
  	Contingent Temporal Constraint Networks},
  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 = {559--570},
  topic = {constraint-satisfaction;temporal-reasoning;}
  }

@article{ vidal-geffner:2006a,
  author = {Vincent Vidal and H\'ector Geffner},
  title = {Branching and Pruning:  An Optimal Temporal
  		{POCL} Planner Based on Constraint Programming},
  journal = {Artificial Intelligence},
  year = {2006},
  volume = {170},
  number = {3},
  pages = {298--397},
  topic = {planning;temporal-reasoning;constraint-programming;}
  }

@book{ viegas:1999a,
  editor = {Evelyne Viegas},
  title = {Breadth and Depth of Semantic Lexicons},
  publisher = {Kluwer Academic Publishers},
  year = {1999},
  address = {Dordrecht},
  ISBN = {0-7923-6039-7},
  xref = {Review: white_js:2000a.},
  topic = {computational-semantics;computational-lexical-semantics;
  	computational-lexicography;}
 }

@inproceedings{ viegas-bouillon:1994a,
  author = {Evelyne Viegas and Pierrette Bouillon},
  title = {Semantic Lexicons: the Cornerstone for Lexical Choice
  	in Natural Language Generation},
  pages = {91--98},
  booktitle = {Seventh International Workshop on Natural
  	    Language Generation},
  month = {June},
  year = {1994},
  topic = {lexical-choice;nl-generation;}
  }

@inproceedings{ viegas-etal:1996a,
  author = {Evelyne Viegas and Boyan Onyshkevych and
  	Victor Raskin and Sergei Nirenburg},
  title = {From `Submit' to `Submitted' via `Submission': On Lexical
  	Rules in Large-Scale Lexicon Acquisition},
  booktitle = {Proceedings of the Thirty-Fourth Annual Meeting of the
  	Association for Computational Linguistics},
  year = {1996},
  editor = {Arivind Joshi and Martha Palmer},
  pages = {32--39},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco},
  topic = {word-learning;lexical-rules;}
 }

@incollection{ viegas-etal:1998a,
  author = {Evelyne Viegas and Wanying Jin and Ron Dolan and Stephen Beale},
  title = {Representation and Processing of {C}hinese Nominals and
  	Compounds},
  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 = {20--24},
  address = {New Brunswick, New Jersey},
  topic = {compound-nouns;nominal-constructions;Chinese-language;}
  }

@incollection{ vieira:1985a,
  author = {Marcia Damaso Vieira},
  title = {The Expression of Quantificational Notions in {A}surini
  	do {T}rocar\'a: Evidence against the Universality of
	Determiner Quantificatio},
  booktitle = {Quantification in Natural Languages, Vol. 2},
  publisher = {Kluwer Academic Publishers},
  year = {1995},
  editor = {Emmon Bach and Eloise Jelinek and Angelika Kratzer and
   	Barbara Partee},
  pages = {701--720},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;nl-quantifiers;Tupi-Guarani-languages;}
  }

@inproceedings{ vieira-teufel:1997a,
  author = {Renata Vieira and Simone Teufel},
  title = {Towards Resolution of Bridging Descriptions},
  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 = {522--524},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  topic = {definite-descriptions;nl-interpretation;bridging-anaphora;}
 }

@article{ viera-poesio:2000a,
  author = {Renata Viera and Massimo Poesio},
  title = {An Empirically Based System for Processing Definite
  	Descriptions},
  journal = {Computational Linguistics},
  year = {2000},
  volume = {26},
  number = {2},
  pages = {539--593},
  topic = {corpus-linguistics;anaphora-resolution;
  	definite-descriptions;reference-resolution;discourse-referents;}
  }

@incollection{ vieu:1997a,
  author = {Laure Vieu},
  title = {Spatial Representation and Reasoning in
     	{AI}},
  booktitle = {Spatial and Temporal Reasoning},
  publisher = {Kluwer Academic Publishers},
  year = {1997},
  editor = {Oliviero Stock},
  pages = {5--41},
  address = {Dordrecht},
  topic = {spatial-reasoning;spatial-representation;}
  }

@incollection{ vigeant:1999a,
  author = {Louise Vigeant},
  title = {A Different Game?  Game Theoretical Semantics as a New
  	Paradigm},
  booktitle = {Proceedings of the Twelfth {A}msterdam Colloquium},
  publisher = {ILLC/Department of Philosophy, University
	of Amsterdam},
  year = {1999},
  editor = {Paul Dekker},
  pages = {223--228},
  address = {Amsterdam},
  topic = {game-theoretic-semantics;}
  }

@article{ viger:2001a,
  author = {David Viger},
  title = {Locking on to the Language of Thought},
  journal = {Philosophical Psychology},
  year = {2001},
  volume = {14},
  number = {2},
  pages = {203--215},
  contentnote = {Commentary on Fodor's theory.  See fodor_ja:1998a.},
  topic = {concept-grasping;philosophy-of-mind;foundations-of-cognition;
  	mental-language;}
  }

@incollection{ vihvelin:2000a,
  author = {Kadri Vihvelin},
  title = {Libertarian Compatibilism},
  booktitle = {Philosophical Perspectives 14: Action and Freedom},
  publisher = {Blackwell Publishers},
  year = {2000},
  editor = {James E. Tomberlin},
  pages = {139--166},
  address = {Oxford},
  topic = {freedom;volition;}
  }

@incollection{ vihvelin:2003a,
  author = {Kadri Vihvelin},
  title = {Arguments for Incompatibilism},
  bookbooktitle = {The {S}tanford Encyclopedia of Philosophy},
  publisher = {Stanford University},
  editor = {Edward N. Zalta},
  url = {http://plato.stanford.edu/archives/win2003/entries/incompatibilism-arguments/},
  year = {2003},
  quarter = {Winter 2003},
  rtnote = {In RHT collection.},
  topic = {freedom;volition;(in)compatibilism;}
  }

@incollection{ vijayshankar-weir:1981a,
  author = {K. Vijay-Shankar and David J. Weir},
  title = {Polynomial Parsing of Extensions of Context-Free
  	Grammars},
  booktitle = {Current Issues in Parsing Technology},
  publisher = {Kluwer Academic Publishers},
  year = {1981},
  editor = {Masaru Tomita},
  pages = {191--206},
  address = {Dordrecht},
  topic = {parsing-algorithms;complexity-in-AI;polynomial-algorithms;}
  }

@article{ vik:1988a,
  author = {Thomas Vik},
  title = {Towards a Transduction of Underlying Structures Into
  	Intensional Logic},
  journal = {Prague Bulletin of Mathematical Linguistics},
  year = {1988},
  volume = {50},
  pages = {35--70},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;s-topic;sentence-focus;pragmatics;}
  }

@article{ vila:1994a,
  author = {Luis Vila},
  title = {A Survey on Temporal Reasoning in Artificial
  	Intelligence},
  journal = {{AICOM} (Artificial Intelligence Communications)},
  year = {1994},
  volume = {7},
  number = {1},
  pages = {4--28},
  topic = {temporal-reasoning;}
  }

@article{ vila-reichgelt:1996a,
  author = {Llu\'is Vila and Han Reichgelt},
  title = {The Token Reification Approach to Temporal Reasoning},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {83},
  number = {1},
  pages = {59--74},
  topic = {temporal-reasoning;events;}
  }

@inproceedings{ vilain:1985a,
  author = {Marc Vilain},
  title = {The Restricted Language Architecture of a Hybrid
  	Representation System},
  booktitle = {Proceedings of the Ninth International Joint
  	Conference on Artificial Intelligence},
  year = {1985},
  editor = {Arivind Joshi},
  pages = {547--551},
  publisher = {Morgan Kaufmann},
  address = {Los Altos, California},
  topic = {hybrid-kr-architectures;}
 }

@inproceedings{ vilain:1995a,
  author = {Mark Vilain},
  title = {Semantic Inference in Natural Language: Validating a
  	Tractable Approach},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {1346--1351},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  rtnote = {In RHT collection.},
  topic = {computational-semantics;}
  }

@incollection{ vilain-day_d:2000a,
  author = {Marc Vilain and David Day},
  title = {Phrase Parsing with Rule Sequence Processors: An
  	Application to the Shared {CoNLL} Task},
  booktitle = {Proceedings of the Fourth Conference on Computational
  	Natural Language Learning and of the Second Learning Language
	in Logic Workshop, {L}isbon, 2000},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  editor = {Claire Cardie and Walter Daelemans and Claire N\'edellec
  	and Erik Tjong Kim Sang},
  pages = {160--162},
  address = {Somerset, New Jersey},
  topic = {machine-language-learning;Vilain;}
  }

@incollection{ vilain-etal:1990a,
  author = {Marc Vilain and Henry Kautz and Peter {van Beek}},
  title = {Constraint Propagation Algorithms for Temporal Reasoning:
  	a Revised Report},
  booktitle = {Qualitative Reasoning about Physical Systems},
  publisher = {Morgan Kaufmann},
  year = {1990},
  editor = {Daniel S. Weld and Johan de Kleer},
  pages = {373--381},
  address = {San Mateo, California},
  xref = {Revision of paper in AAAI-86; 377--382},
  topic = {temporal-reasoning;qualitative-reasoning;kr-complexity-analysis;
  	kr-course;}
  }

@inproceedings{ vilain-kautz:1986a,
  author = {Marc Vilain and Henry Kautz},
  title = {Constraint Propagation Algorithms for Temporal Reasoning},
  booktitle = {Proceedings of the Fifth National Conference on
              Artificial Intelligence},
  year = {1986},
  editor = {Tom Kehler and Stan Rosenschein},
  pages = {377--382},
  organization = {American Association for Artificial Intelligence},
  publisher = {Morgan Kaufmann},
  address = {Los Altos, California},
  topic = {temporal-reasoning;constraint-propagation;}
  }

@article{ vilhelm-etal:2000a,
  author = {Christian Vilhelm and Pierre Ravaux and Daniel
  	Calvelo and Alexandre Jaborska and Marie-Christine Chambrin
	and Michel Boniface},
  title = {Think!  A Unified Numerical-Symbolic Knowledge
  	Representation Scheme and Reasoning System},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {116},
  number = {1--2},
  pages = {67--85},
  topic = {kr;numeric-reasoning;}
  }

@book{ vilkko:2002a,
  author = {Risto Vilkko},
  title = {A Hundred Years of Logical Investigations.  Reform Efforts
  	of Logic in {G}ermany 1781-1879},
  publisher = {Mentis},
  year = {2002},
  address = {Paderborn},
  xref = {Review: legris:2004a.},
  topic = {history-of-logic;}
 }

@incollection{ vilkko:2009a,
  author = {Risto Vilkko},
  title = {The Logic Question during the First Half of
     		the Nineteenth Century},
  booktitle = {The Development of Modern Logic},
  publisher = {Oxford University Press},
  year = {2009},
  editor = {Leila Haaparanta},
  pages = {203--221},
  address = {Oxford},
  topic = {history-of-logic;Hegel;}
  }

@inproceedings{ villalta:2000a,
  author = {Elisabeth Villalta},
  title = {Spanish Subjunctive Clauses Require Ordered Alternatives},
  booktitle = {Proceedings from Semantics and Linguistic Theory {X}},
  publisher = {Cornell University},
  year = {2000},
  editor = {Brendan Jackson and Tanya Matthews},
  pages = {239--256},
  address = {Ithaca, New York},
  topic = {nl-semantics;Spanish-language;subjunctive-mood;}
  }

@article{ villalta:2008a,
  author = {Elizabeth Villalta},
  title = {Mood and Gradability:  An Investigation of the Subjunctive
  		Mood in {S}panish},
  journal = {Linguistics and Philosophy},
  year = {2008},
  volume = {31},
  number = {4},
  pages = {467--522},
  topic = {subjunctive-mood;Spanish-language;}
  }

@book{ villanueva:1990a,
  editor = {Enrique Villanueva},
  title = {Information, Semantics, and Epistemology},
  publisher = {Basil Blackwell},
  year = {1990},
  address = {Oxford},
  ISBN = {0631170758},
  rtnote = {UMich Graduate Library, BD 161 .I521 1990.},
  topic = {nl-semantics;philosophy-of-language;foundations-of-semantics;
  	epistemology;}
}

@book{ villanueva:1991a,
  editor = {Enrique Villanueva},
  title = {Consciousness},
  publisher = {Ridgeview Publishing Co.},
  year = {1991},
  address = {Atascadero, California},
  ISBN = {092492201x (pbk)},
  topic = {consciousness;}
 }

@book{ villanueva:1992a,
  editor = {Enrique Villanueva},
  title = {Rationality in Epistemology},
  publisher = {Ridgeview Publishing Co.},
  year = {1992},
  address = {Atascadero, California},
  ISBN = {0924922095 (pbk)},
  topic = {epistemology;rationality;}
 }

@book{ villanueva:1993a,
  editor = {Enrique Villanueva},
  title = {Naturalism and Normativity},
  publisher = {Ridgeview Publishing Co.},
  year = {1993},
  address = {Atascadero, California},
  ISBN = {0924922176},
  topic = {ethics;}
 }

@book{ villanueva:1993b,
  editor = {Enrique Villanueva},
  title = {Science and Knowledge},
  publisher = {Ridgeview Publishing Co.},
  year = {1993},
  address = {Atascadero, California},
  ISBN = {0924922141},
  topic = {philosophy-of-science;epistemology;}
 }

@book{ villanueva:1994a,
  editor = {Enrique Villanueva},
  title = {Truth and Rationality},
  publisher = {Ridgeview Publishing Co.},
  year = {1994},
  address = {Atascadero, California},
  ISBN = {0924922192},
  topic = {truth;rationality;}
 }

@book{ villanueva:1996a,
  editor = {Enrique Villanueva},
  title = {Perception},
  publisher = {Ridgeview Publishing Co.},
  year = {1996},
  address = {Atascadero, California},
  ISBN = {0924922303},
  topic = {epistemology;perception;}
 }

@book{ villanueva:1997a,
  editor = {Enrique Villanueva},
  title = {Truth},
  publisher = {Ridgeview Publishing Co.},
  year = {1997},
  address = {Atascadero, California},
  ISBN = {0924922281},
  topic = {truth;}
 }

@book{ villanueva:1998a,
  editor = {Enrique Villanueva},
  title = {Concepts},
  publisher = {Ridgeview Publishing Co.},
  year = {1998},
  address = {Atascadero, California},
  ISBN = {0924922303},
  topic = {philosophy-of-mind;philosophy-of-psychology;concept-grasping;}
 }

@book{ villanueva:2000a,
  editor = {Enrique Villanueva},
  title = {Skepticism : A Supplement To No\^us},
  publisher = {Basil Blackwell},
  year = {2000},
  address = {Oxford},
  ISBN = {0924922303 (paper text)},
  rtnote = {UMich Graduate Library, P 281 .T46 1995.},
  topic = {skepticism;}
 }

@article{ villard-etal:2000a,
  author = {C. Essert-Villard and P. Schreck and J.-F. Dufourd},
  title = {Sketch-Based Pruning of a Solution Space within a Formal
  	Geometric Constraint Solver},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {124},
  number = {1},
  pages = {139--159},
  topic = {geometrical-reasoning;computer-aided-design;
  	constraint-based-reasoning;}
  }

@incollection{ villavicencio:2000a,
  author = {Aline Villavicencio},
  title = {The Acquisition of Word Order by a
    	    Computational Learning System},
  booktitle = {Proceedings of the Fourth Conference on Computational
  	Natural Language Learning and of the Second Learning Language
	in Logic Workshop, {L}isbon, 2000},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  editor = {Claire Cardie and Walter Daelemans and Claire N\'edellec
  	and Erik Tjong Kim Sang},
  pages = {209--218},
  address = {Somerset, New Jersey},
  topic = {machine-language-learning;grammar-larning;word-order;}
  }

@book{ vince:1995a,
  author = {John A. Vince},
  title = {Virtual Reality Systems},
  publisher = {Addison-Wesley Publishing Co.},
  year = {1995},
  address = {Reading, Massachusetts},
  ISBN = {0201876876},
  rtnote = {UMich Media Union Library, QA 76.9 .H85 V531 1995.},
  topic = {virtual-reality;}
 }

@article{ visser_a:1984a,
  author = {Albert Visser},
  title = {Four Valued Semantics and the Liar},
  journal = {Journal of Philosophical Logic},
  year = {1984},
  volume = {13},
  number = {2},
  pages = {181--212},
  topic = {truth;4-valued-logic;semantic-paradoxes;}
  }

@article{ visser_a:1984b,
  author = {Albert Visser},
  title = {The Provability Logic of Recursively Enumerable Theories
  	Extending {P}eano Arithmetic at Arbitrary Theories
	Extending {P}eano Arithmetic},
  journal = {Journal of Philosophical Logic},
  year = {1984},
  volume = {13},
  number = {1},
  pages = {97--113},
  topic = {provability-logic;}
  }

@unpublished{ visser_a:1985a,
  author = {Albert Visser},
  title = {Semantics and the Liar Paradox},
  year = {1985},
  note = {Unpublished manuscript, University of Utrecht},
  rtnote = {In RHT collection.},
  missinginfo = {Year is a guess.},
  topic = {semantic-paradoxes;truth;fixpoints;}
  }

@techreport{ visser_a:1987a,
  author = {Albert Visser},
  title = {A Course in Bimodal Provability Logic},
  institution = {Department of Philosophy, University of Utrecht},
  number = {Logic Group Preprint Series No. 20},
  year = {1987},
  address = {Utrecht},
  rtnote = {In RHT collection.},
  topic = {provability-logic;}
  }

@article{ visser_a:1997a,
  author = {Albert Visser},
  title = {Dynamic Relation Logic Is the Logic of {DPL}-Relations},
  journal = {Journal of Logic, Language, and Information},
  volume = {6},
  number = {4},
  year = {1997},
  pages = {441--452},
  topic = {modal-logic;dynamic-logic;}
  }

@article{ visser_a:1998a,
  author = {Albert Visser},
  title = {Contexts in Dynamic Predicate Logic},
  journal = {Journal of Logic, Language, and Information},
  year = {1998},
  volume = {7},
  number = {1},
  pages = {21--52},
  topic = {context;dynamic-predicate-logic;logic-of-context;}
  }

@incollection{ visser_a:1998b,
  author = {Albert Visser},
  title = {An Overview of Interpretability Logic},
  booktitle = {Advances in Modal Logic, Volume 1},
  publisher = {{CSLI} Publications},
  year = {1998},
  editor = {Marcus Kracht and Maarten de Rijke and Heinrich Wansing},
  pages = {307--359},
  address = {Stanford, California},
  topic = {modal-logic;}
  }

@article{ visser_a:2001a,
  author = {Albert Visser},
  title = {Submodels of {K}ripke Models},
  journal = {Archive for Mathematical Logic},
  year = {2001},
  volume = {40},
  pages = {277--295},
  xref = {Review: iemhoff:2002a.},
  topic = {model-theory;intuitionistic-mathematics;}
  }

@article{ visser_a:2002a,
  author = {Albert Visser},
  title = {The Donkey and the Monoid: Dynamic Semantics with Control
  	Elements},
  journal = {Journal of Logic, Language, and Information},
  year = {2002},
  volume = {11},
  number = {1},
  pages = {107--131},
  topic = {dynamic-predicate-logic;}
  }

@article{ visser_a:2008a,
  author = {Albert Visser},
  title = {Closed Fragments of Probabulity Logics of Constructive
  		Theories},
  journal = {Journal of Symbolic Logic},
  year = {2008},
  volume = {73},
  number = {3},
  pages = {1081--1096},
  topic = {provability-logic;intuitionistic-logic;}
  }

@article{ visser_u-burkhard_hd:2007a,
  author = {Ubbo Visser and Hans-Dieter Burkhard},
  title = {Robo{C}up:  10 Years of Achievements and Future Challenges},
  journal = {The {AI} Magazine},
  year = {2007},
  volume = {28},
  number = {2},
  pages = {115--132},
  topic = {robotics;RoboCup;}
  }

@article{ vlach:1981a,
  author = {Frank Vlach},
  title = {Speaker's Meaning},
  journal = {Linguistics and Philosophy},
  year = {1981},
  volume = {4},
  number = {3},
  pages = {359--391},
  contentnote = {Contains a systmatic comparison of various
  	definitions of speaker meaning, by features.},
  topic = {speaker-meaning;pragmatics;}
  }

@article{ vlach:1993a,
  author = {Frank Vlach},
  title = {Temporal Adverbials, Tenses and the Perfect},
  journal = {Linguistics and Philosophy},
  year = {1993},
  volume = {16},
  number = {3},
  pages = {231--283},
  topic = {temporal-adverbials;nl-tense;perfective-aspect;}
  }

@incollection{ vlastos:1954a,
  author = {Gregory Vlastos},
  title = {The Third Man Argument in the {\it Parmenides}},
  booktitle = {Studies in {P}lato's Metaphysics},
  publisher = {Routledge and Kegan Paul},
  year = {1954},
  editor = {R.E. Allen},
  pages = {231--263},
  address = {London},
  topic = {Plato;metaphysics;}
  }

@article{ vlastos:1965a,
  author = {Gregory Vlastos},
  title = {The Theory of Recollection in {P}lato's {\it Meno}},
  journal = {Dialogue},
  year = {1965},
  volume = {4},
  number = {2},
  pages = {143--167},
  topic = {Plato;epistemology;}
  }

@article{ vlastos:1966a,
  author = {Gregory Vlastos},
  title = {Zeno's Race Course},
  journal = {Journal of the History of Philosophy},
  year = {1966},
  volume = {4},
  pages = {95--108},
  missinginfo = {number},
  topic = {paradoxes-of-motion;Zeno;}
  }

@article{ vlk:1988a,
  author = {Tom\'a\v{s} Vlk},
  title = {Towards a Transduction of Underlying Structures into
  	Intensional Logic},
  journal = {The {P}rague Bulletin of Mathematical Linguistics},
  year = {1988},
  volume = {50},
  pages = {35--70},
  topic = {nl-semantics;}
  }

@phdthesis{ vogel_c:1995a,
  author = {Carl Vogel},
  title = {Inheritance Reasoning: Psychological Plausibility, Proof
  	Theory and Semantics},
  school = {University of Edinburgh},
  year = {1995},
  type = {Ph.{D}. Dissertation},
  address = {Edinburgh, Scotland},
  rtnote = {In RHT Collection.  CS MS shelves.},
  topic = {inheritance-theory;}
 }

@incollection{ vogel_c-tonhauser:1996a,
  author = {Carl Vogel and Judith Tonhauser},
  title = {Psychological Constraints on Plausible Default Inheritance
  	Reasoning},
  booktitle = {{KR}'96: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1996},
  editor = {Luigia Carlucci Aiello and Jon Doyle and Stuart Shapiro},
  pages = {608--619},
  address = {San Francisco, California},
  topic = {kr;inheritance;inheritance-reasoning;kr-course;}
  }

@incollection{ vogel_j:1990a,
  author = {J. Vogel},
  title = {Are There Counterexamples to the Closure Principle?},
  booktitle = {Doubting: Contemporary Perspectives on Skepticism},
  publisher = {Kluwer},
  year = {1990},
  editor = {Michael D. Roth and Glenn Ross},
  pages = {13--28},
  address = {Dordrecht},
  missinginfo = {A's 1st name, correlate au with vogel_j.},
  topic = {knowledge;propositional-attitudes;hyperintensionality;}
  }

@article{ vogel_j:1993a,
  author = {Jonathan Vogel},
  title = {Review of \emph{{I}nference to the Best Explanation},
  	by {P}eter {L}ipton},
  journal = {The Philosophical Review},
  year = {1993},
  volume = {102},
  number = {3},
  pages = {419--421},
  xref = {Review of lipton:1991a},
  topic = {abduction;explanation;philosophy-of-science;}
  }

@incollection{ vogel_j:2004a,
  author = {Jonathan Vogel},
  title = {Speaking of Knowledge},
  booktitle = {Epistemology},
  publisher = {Blackwell Publishers},
  year = {2004},
  editor = {Ernest Sosa and Enrique Villanova},
  pages = {501--509},
  address = {Oxford},
  xref = {Commentary on: hawthorne_j2:2004a},
  topic = {knowledge;epistemology;factivity;context;epistemic-modals;}
  }

@article{ vogt:2005a,
  author = {Paul Vogt},
  title = {The Emergence of Compositional Structures in Perceptually
  		Grounded Language Games},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {167},
  number = {1--2},
  pages = {206--242},
  topic = {machine-language-learning;}
  }

@article{ vohra-wellman_mp:2007a,
  author = {Rakesh V. Vohra and Michael P. Wellman},
  title = {Foundations of Multi-Agent Learning: Introduction to
  		the Special Issue},
  journal = {Artificial Intelligence},
  year = {2007},
  volume = {171},
  number = {7},
  pages = {363--364},
  topic = {multiagent-learning;}
  }

@article{ voicu:2002a,
  author = {Horatiu Voicu},
  title = {Review of \emph{{E}volutionary Robotics}, by {S}tefano {N}olfi and
  	{D}ario {F}loriano},
  journal = {The {AI} Magazine},
  year = {2002},
  volume = {23},
  number = {2},
  pages = {106--107},
  xref = {Review of: nolfi-floriano:2000a},
  topic = {robotics;genetic-algorithms;}
  }

@inproceedings{ volk:1997a,
  author = {Martin Volk},
  title = {Probing the Lexicon in Evaluating Commercial {MT} Systems},
  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 = {112--119},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  topic = {AI-system-evaluation;machine-translation;}
 }

@incollection{ volk:1997b,
  author = {Martin Volk},
  title = {Markup of a Test Suite with {SGML}},
  booktitle = {Linguistic Databases},
  publisher = {{CSLI} Publications},
  year = {1997},
  editor = {John Nerbonne},
  pages = {59--76},
  address = {Stanford, California},
  topic = {corpus-linguistics;corpus-tagging;}
  }

@article{ vollmer:2000a,
  author = {Sara Vollmer},
  title = {Two Kinds of Observation: Why {V}an {F}raassen Was
  	Right to Make a Distinction, but Made the Wrong One},
  journal = {Philosophy of Science},
  year = {2000},
  volume = {67},
  number = {3},
  pages = {355--365},
  topic = {philosophy-of-science;observation;}
  }

@unpublished{ vonderbeeck:2000a,
  author = {Michael von der Beeck},
  title = {A Concise Compositional Statecharts Semantics Definition},
  year = {2000},
  note = {Unpublished manuscript, ww4.informatik.tw-muenchen.de/%7Ebeeck/},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  rtnote = {In RHT collection.},
  topic = {logic-in-AI;statecharts;}
  }

@unpublished{ vonderbeek:2001a,
  author = {Michael von der Beek},
  title = {A Concise Compositional Statecharts Semantics Definition},
  year = {2001},
  note = {Available at www4.informatik.tu-muenchen.de/%7Ebeek/.},
  rtnote = {In RHT collection.},
  topic = {statecharts;}
  }

@article{ vonditmarsch:2003a,
  author = {Hans von Ditmarsch},
  title = {The {R}ussian Cards Problem},
  journal = {Studia Logica},
  year = {2003},
  volume = {75},
  number = {1},
  pages = {31--62},
  topic = {epistemic-logic;multiagent-systems;cryptography;}
  }

@book{ vondohlen:1999a,
  author = {Richard F. Von Dohlen},
  title = {An Introduction to the Logic of the Computing Sciences: A
  	Contemporary Look at Symbolic Logic},
  publisher = {University Press of America},
  year = {1999},
  address = {Lanham, Maryland},
  ISBN = {0761813268 (paperback)},
  rtnote = {UMich Media Union Library, QA 76.9 .L63 V661 1999.},
  topic = {logic-in-CS;logic-in-CS-intro;}
 }

@book{ voneye:1990a,
  editor = {Alexander von Eye},
  title = {Statistical Methods in Longitudinal Research, Volume 1:
  		Principles and Structuring Change},
  publisher = {Academic Press},
  year = {1990},
  address = {New York},
  rtnote = {In RHT Collection.  Statistics and information theory shelves.},
  topic = {statistics;}
 }

@inproceedings{ vonfintel:1991a,
  author = {Kai {von Fintel}},
  title = {Exceptive Constructions},
  booktitle = {Proceedings from Semantics and Linguistic Theory {I}},
  year = {1991},
  editor = {Steven Moore and {Adam Zachary} Wyner},
  pages = {85--105},
  publisher = {Cornell University},
  address = {Ithaca, New York},
  note = {Available from CLC Publications, Department of Linguistics,
  	Morrill Hall, Cornell University, Ithaca, NY 14853-4701.},
  topic = {exception-constructions;}
  }

@article{ vonfintel:1992a,
  author = {Kai {von Fintel}},
  title = {Exceptive Constructions},
  journal = {Natural Language Semantics},
  year = {1992--1993},
  volume = {1},
  number = {2},
  pages = {123--148},
  topic = {nl-semantics;nl-quantifiers;exception-constructions;}
  }

@phdthesis{ vonfintel:1994a,
  author = {Kai von Fintel},
  title = {Restriction on Quantifier Domains},
  school = {University of Massachusetts},
  year = {1994},
  address = {Amherst},
  topic = {nl-quantifiers;context;}
  }

@article{ vonfintel:1998a,
  author = {Kai von Fintel},
  title = {Quantifiers and \emph{If}-Clauses},
  journal = {The Philosophical Quarterly},
  year = {1998},
  volume = {48},
  number = {191},
  pages = {209--214},
  rtnote = {In RHT collection.},
  topic = {conditionals;nl-quantifiers;}
  }

@unpublished{ vonfintel:2000a,
  author = {Karl {von Fintel}},
  title = {What is Presupposition Accommodation?},
  year = {2000},
  note = {Unpublished manuscript, Linguistics Department, MIT},
  rtnote = {In RHT collection.},
  URL = {http://www.mit.edu/fintel/accom.pdf},
  topic = {presupposition;accommodation;}
  }

@inproceedings{ vonfintel:2000b,
  author = {Kai von Fintel},
  title = {Whatever},
  booktitle = {Proceedings from Semantics and Linguistic Theory {X}},
  publisher = {Cornell University},
  year = {2000},
  editor = {Brendan Jackson and Tanya Matthews},
  pages = {27--38},
  address = {Ithaca, New York},
  topic = {nl-semantics;free-choice-`any/or';relative-clauses;}
  }

@incollection{ vonfintel:2001a,
  author = {Kai von Fintel},
  title = {Counterfactuals in a Dynamic Context},
  booktitle = {Ken {H}ale:  a Life in Language},
  publisher = {The {MIT} Press},
  year = {2001},
  editor = {Michael Kenstowicz},
  pages = {123--152},
  address = {Cambridge, Massachusetts},
  rtnote = {In RHT collection.},
  topic = {conditionals;context;dynamic-semantics;}
  }

@article{ vonfintel:2003a,
  author = {Kai von Fintel},
  title = {Epistemic Containment},
  journal = {Linguistic Inquiry},
  year = {2003},
  volume = {33},
  number = {2},
  pages = {173--198},
  topic = {nl-quantification;modals;}
  }

@unpublished{ vonfintel:2006a1,
  author = {Karl {von Fintel}},
  title = {What is Presupposition Accommodation, Again?},
  year = {2006},
  note = {Unpublished manuscript, Linguistics Department, MIT},
  rtnote = {In RHT collection.},
  URL = {http://mit.edu/fintel/www/accommodation-again.pdf},
  topic = {presupposition;accommodation;}
  }

@incollection{ vonfintel:2006a2,
  author = {Kai von Fintel},
  title = {What Is Presupposition Accommodation, Again?},
  booktitle = {Philosophical Perspectives 22, 2008: Philosophy of
  		Language},
  publisher = {Blackwell Publishers},
  year = {2008},
  editor = {John Hawthorne},
  pages = {137--170},
  address = {Oxford},
  topic = {presupposition;accommodation;}
  }

@incollection{ vonfintel-gillies:2008a,
  title = {An Opinionated Guide to Epistemic Modality},
  author = {Kai {von Fintel} and Anthony S. Gillies},
  booktitle = {Oxford Studies in Epistemology, Volume 2},
  editor = {Tamar Szabo Gendler and John Hawthorne},
  publisher = {Oxford University Press},
  year = {2008},
  pages = {32--52},
  url = {http://mit.edu/fintel/fintel-gillies-2007-ose2.pdf},
  topic = {epistemic-modals;}
  }

@article{ vonfintel-gillies_as:2008a,
  author = {Kai von Fintel and Anthony S. Gillies},
  title = {{CIA} Leaks},
  journal = {The Philosophical Review},
  year = {2008},
  volume = {117},
  number = {1},
  pages = {77--98},
  topic = {epistemic-modals;context;}
  }

@unpublished{ vonfintel-iatridou:2005a,
  author = {Kai von Fintel and Sabine Iatridou},
  title = {What to Do If You Want to Go to {H}arlem:
  	Anankastic Conditionals and Related Matters},
  year = {2005},
  note = {Unpublished manuscript, Linguistics Department, MIT.
  	  URL: http://mit.edu/fintel/www/harlem-rutgers.pdf},
  rtnote = {In RHT collection.  \ap10},
  topic = {conditionals;conditional-oblication;anakastic-conditionals;}
  }

@article{ vonfintel-iatridou:2007a,
  author = {Kai von Fintel and Sabine Iatridou},
  title = {Anatomy of a Modal Construction},
  journal = {Linguistic Inquiry},
  year = {2007},
  volume = {38},
  number = {3},
  pages = {445--483},
  topic = {nl-semantics;modality;ability;`only';}
  }

@book{ vonharmelen-etal:2008a,
  editor = {Frank van Harmelen and Vladimir Lifschitz and Bruce Porter},
  title = {Handbook of Knowledge Representation},
  publisher = {Elesvier},
  year = {2008},
  address = {Amsterdam},
  xref = {Review: sandewall:2008a.},
  topic = {kr;}
 }

@book{ vonheusinger:1997a,
  author = {Klaus von Heusinger},
  title = {{S}alienz und {R}eferenz},
  publisher = {Akademie Verlag},
  year = {1997},
  address = {Berlin},
  topic = {salience;reference;}
 }

@book{ vonhumboldt:2000a,
  author = {Wilhelm von Humboldt},
  title = {Humboldt: On Language},
  publisher = {Cambridge University Press},
  year = {2000},
  address = {Cambridge, England},
  note = {Edited by Michael Losonsky},
  ISBN = {052166772-0 (Pbk)},
  topic = {linguistics-classics;foundations-of-linguistics;}
 }

@article{ vonklopp:1998a,
  author = {Ana Von Klopp},
  title = {An Alternative View of Polarity Items},
  journal = {Linguistics and Philosophy},
  year = {1998},
  volume = {21},
  number = {4},
  pages = {393--432},
  topic = {polarity;polarity-sensitivity;}
  }

@article{ vonkutschera:1974a,
  author = {Franz {von Kutschera}},
  title = {Indicative Conditionals},
  journal = {Theoretical Linguistics},
  year = {1974},
  volume = {1},
  number = {3},
  pages = {257--269},
  topic = {conditionals;pragmatics;implicature;pragmatics;}
  }

@article{ vonkutschera:1975a,
  author = {Franz {von Kutschera}},
  title = {Semantic Analysis of Normative Concepts},
  journal = {Erkenntnis},
  year = {1975},
  volume = {9},
  pages = {195--218},
  rtnote = {In RHT collection.},
  topic = {deontic-logic;}
  }

@incollection{ vonkutschera:1976a,
  author = {Franz {von Kutschera}},
  title = {Epistemic Interpretation of Conditionals},
  booktitle = {Language in Focus},
  publisher = {D. Reidel Publishing Co.},
  year = {1976},
  editor = {Asa Kasher},
  pages = {487--501},
  address = {Dordrecht},
  topic = {conditionals;epistemic-logic;}
  }

@article{ vonkutschera:1986a,
  author = {Franz {von Kutscheraa}},
  title = {Bewirken},
  journal = {Erkenntnis},
  year = {1986},
  volume = {24},
  pages = {253--281},
  missinginfo = {number},
  topic = {causality;}
  }

@article{ vonkutschera:1986b,
  author = {Franz von Kutschera},
  title = {Zwei modallogische {A}rgumente f\"ur den {D}eterminismus:
  	{A}ristoteles und {D}iodor},
  journal = {Erkenntnis},
  year = {1986},
  volume = {24},
  pages = {203--217},
  acontentnote = {The master argument of Diodoros Kronos and the
     argument for determinism from the principle of excluded middle
     for future contingencies in Aristotle's De Interpretatione,
     Chapter 9 are reconstructed, compared and criticised.},
 topic = {Aristotle;future-contingent-propositions;}
  }

@article{ vonkutschera:1993a,
  author = {Franz {von Kutschera}},
  title = {Causation},
  journal = {Journal of Philosophical Logic},
  year = {1993},
  volume = {22},
  number = {6},
  pages = {563--588},
  topic = {causality;}
  }

@article{ vonkutschera:1994a,
  author = {Franz {von Kutschera}},
  title = {Global Supervenience and Belief},
  journal = {Journal of Philosophical Logic},
  year = {1994},
  volume = {23},
  number = {1},
  pages = {103--110},
  topic = {epistemic-logic;}
  }

@article{ vonkutschera:1997a,
  author = {Franz {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;}
  }

@article{ vonkutschera:1997b,
  author = {Franz {

license: MIT

license_type: permissive

branch_name: refs/heads/master

gha_license_id: MIT

extension: bib