text:
title = {Towards a Logic of Ambiguous Expressions},
  booktitle = {Semantic Ambiguity and Underspecification},
  publisher = {Cambridge University Press},
  year = {1996},
  editor = {Kees {van Deemter} and Stanley Peters},
  address = {Cambridge, England},
  pages = {203--237},
  topic = {ambiguity;semantic-underspecification;
		logic-of-ambiguity;}
  }

@incollection{ vandeemter:1996b,
  author = {Kees {van Deemter}},
  title = {The Sorites Fallacy and the Context-Dependence of
  	Vague Predicates},
  booktitle = {Quantifiers, Deduction, and Context},
  publisher = {Cambridge University Press},
  year = {1996},
  editor = {Makoto Kanazawa and Christopher Pi\~n\'on and Henriette
  	de Swart},
  pages = {59--86},
  address = {Cambridge, England},
  topic = {vagueness;sorites-paradox;}
  }

@incollection{ vandeemter:1997a,
  author = {Kees van Deemter},
  title = {Context Modeling for Language and Speech Generation},
  booktitle = {Interactive Spoken Dialog Systems:  Bridging
  	Speech and {NLP} Together in Real Applications},
  publisher = {Association for Computational Linguistics},
  year = {1997},
  editor = {Julia Hirschberg and Candace Kamm and Marilyn Walker},
  pages = {48--52},
  address = {New Brunswick, New Jersey},
  topic = {computational-dialogue;context;}
  }

@article{ vandeemter:1998a,
  author = {Kees van Deemter},
  title = {Domains of Discourse and the Semantics of Ambiguous
  	Utterances: A Reply to {G}auker},
  journal = {Mind, New Series},
  year = {1998},
  volume = {107},
  number = {426},
  missinginfo = {pages},
  topic = {ambiguity;}
  }

@article{ vandeemter:1998b,
  author = {Kees van Deemter},
  title = {A Blackboard Model of Accenting},
  journal = {Computer Speech and Language},
  year = {1998},
  volume = {12},
  number = {3},
  missinginfo = {pages, number},
  topic = {intonation;speech-generation;d-topic;}
  }

@article{ vandeemter:1998c,
  author = {Kees van Deemter},
  title = {Domains of Discourse and the Semantics of Ambiguous
  	Utterances: A Reply to {G}auker},
  journal = {Mind, New Series},
  year = {1998},
  volume = {107},
  number = {426},
  pages = {433--445},
  xref = {Commentary, inter alia, on: gauker:1997a.},
  topic = {foundations-of-pragmatics;philosophy-of-language;ambiguity;}
  }

@incollection{ vandeemter:1999a,
  author = {Kees {van Deemter}},
  title = {Contrastive Stress, Contrariety and Focus},
  booktitle = {Focus: Linguistic, Cognitive, and Computational
  	Perspectives},
  publisher = {Cambridge University Press},
  year = {1999},
  editor = {Peter Bosch and Rob {van der Sandt}},
  address = {Cambridge, England},
  missinginfo = {pages},
  topic = {s-focus;}
  }

@article{ vandeemter:2006a,
  author = {Kees van Deemter},
  title = {Generating Referring Expressions that Involve Gradable
  		Properties},
  journal = {Computational Linguistics},
  year = {2006},
  volume = {32},
  number = {2},
  pages = {195--222},
  topic = {gradable-adjectives;adjectives;referring-expressions;
  		nl-generation;vagueness;}
  }

@article{ vandeemter:2009a,
  author = {Kees van Deemter},
  title = {Utility and Language Generation: The Case of Vagueness},
  journal = {Journal of Philosophical Logic},
  year = {2009},
  volume = {38},
  number = {6},
  pages = {607--632},
  topic = {vagueness;nl-generation;}
  }

@article{ vandeemter-etal:2008a,
  author = {Kees van Deemter and Brigitte Krenn and Paul Piwek and
  		Martin Klesen and Marc Schr\"oder and Stefan Baumann},
  title = {Fully Generated Scripted Dialogue for Embodied Agents},
  journal = {Artificial Intelligence},
  year = {2007},
  volume = {172},
  number = {10},
  pages = {1219--1244},
  topic = {multimodal-communication;gestures;emotion;}
  }

@article{ vandeemter-kibble:2000a,
  author = {Kees van Deemter and Rodger Kibble},
  title = {On Coreferring: Coreference in {MUC} and Related
  	Annotation Schemes},
  journal = {Computational Linguistics},
  year = {2000},
  volume = {26},
  number = {2},
  pages = {629--637},
  topic = {anaphora-resolution;corpus-annotation;}
  }

@article{ vandeemter-odijk:1997a,
  author = {Kees van Deemter and J. Odijk},
  title = {Context Modeling and the Generation of Spoken Discourse},
  journal = {Speech Communication},
  year = {1997},
  volume = {21},
  pages = {101--121},
  missinginfo = {A's 1st name, number},
  topic = {context;nl-generation;intonation;given-new;}
  }

@incollection{ vandeemter-odijk:2000a,
  author = {Kees van Deemter and Jan Odijk},
  title = {Formal and Computational Models of Context for Natural
  	Language Generation},
  booktitle = {Formal Aspects of Context},
  publisher = {Kluwer Academic Publishers},
  year = {2000},
  editor = {Pierre Bonzon and Marcos Cavalcanti and Rolf Nossum},
  pages = {1--21},
  address = {Dordrecht},
  topic = {context;nl-generation;d-topic;discourse-representation-theory;},
  }

@book{ vandeemter-peters:1996a,
  editor = {Kees {van Deemter} and Stanley Peters},
  title = {Semantic Ambiguity and Underspecification},
  publisher = {Cambridge University Press},
  year = {1996},
  address = {Cambridge, England},
  xref = {Review:  ludlow:1997a.},
  contentnote = {TC:
       1. G. Green, "Ambiguity Resolution and Discourse
       		Interpretation", pp. 1--26
       2. Jaap van der Does and Henk Verkuyl, "Quantification and
       		Predication", pp. 27--54
       3. Jerry Hobbs, "Monotone Decreasing Quantifiers in a Scope-Free
       		Logical Form", pp. 55--76
       4. Hideyuki Nakashima and Yasunari Harada, "Situated Disambiguation
		with Properly Specific Representation", pp. 77--99
       5. Sasa Buvac, "Resolving Lexical Ambiguity Using a Formal
       		Theory of Context", pp. 101--124
       6. Anne-Marie Mineur Paul Buitelaar, "A Compositional Treatment of
		Polysemous Arguments in Categorial Grammar", pp. 125--143
       7. Hiyan Alshawi, "Underspecified First Order Logics", pp. 145--158
       8. Massimo Poesio, "Semantic Ambiguity and Perceived
       		Ambiguity", pp. 159--201
       9. Kees van Deemter, "Towards a Logic of Ambiguous
       		Expressions", pp. 203--237
      10. Uwe Reile, "Co-Indexed Labeled {DRS}s to Represent and Reason
       		with Ambiguities", pp. 239--268
  	},
  xref = {Review: ludlow:1997a.},
  ISBN = {1575860295},
  rtnote = {In RHT Collection.  LLP edited shelves.},
  rtnote = {UMich Graduate Library, P 325.5 .A46 S461 1996},
  topic = {ambiguity;semantic-underspecification;pragmatics;}
 }

@incollection{ vandeemter-power:1998a,
  author = {Kees van Deemter and Richard Power},
  title = {Coreference in Knowledge Editing},
  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 = {56--60},
  address = {New Brunswick, New Jersey},
  topic = {anaphora;HCI;}
  }

@incollection{ vandenberghe-decaluwe:1991a,
  author = {R.M. Vandenberghe and R.M. de Caluwe},
  title = {An Entity-Relationship Approach to the Modelling of
  	Vagueness in Databases},
  booktitle = {Symbolic and Quantitative Approaches for Uncertainty:
  	Proceedings of the {E}uropean Conference {ECSQAU}, Marseille,
	France, October 1991},
  publisher = {Springer-Verlag},
  year = {1991},
  editor = {Rudolf Kruse and Pierre Siegel},
  pages = {338--343},
  address = {Berlin},
  topic = {vagueness;databases;}
  }

@incollection{ vandenbosch:2000a,
  author = {Antal van den Bosch},
  title = {Using Induced Rules as Complex Features
            in Memory-Based Language Learning},
  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 = {73--78},
  address = {Somerset, New Jersey},
  topic = {machine-language-learning;rule-learning;}
  }

@incollection{ vandenbosch-daelemans:1998a,
  author = {Antal van den Bosch and Walter Daelemans},
  title = {Do Not Forget: Full Memory in Memory-Based Learning of
  		Word Pronunciation},
  booktitle = {Proceedings of the Joint Conference on New Methods in
  	Language Processing and Computational Language Learning},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Jill C. Burstein and Claudia Leacock},
  pages = {195--204},
  address = {Somerset, New Jersey},
  topic = {speech-generation;corpus-linguistics;}
  }

@incollection{ vandenbosch-etal:1998a,
  author = {Antal van den Bosch and Ton Weijters and Walter Daelemans},
  title = {Modularity in Inductively-Learned Word Pronunciation
  		Systems},
  booktitle = {Proceedings of the Joint Conference on New Methods in
  	Language Processing and Computational Language Learning},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Jill C. Burstein and Claudia Leacock},
  pages = {185--194},
  address = {Somerset, New Jersey},
  topic = {speech-generation;corpus-linguistics;}
  }

@book{ vandenbroek-knill:1992a,
  editor = {Paulus van den Broek and David C. Knill},
  title = {Cognition: Conceptual and Methodological Issues},
  publisher = {American Psychological Association},
  year = {1992},
  address = {Washington, DC},
  ISBN = {1557981655},
  rtnote = {UMich Graduate Library Call No: BF 311 .C548731 1992},
  topic = {cognitive-psychology;}
 }

@incollection{ vandenbusch-daelemans:1998a,
  author = {Antai van den Busch and Walter Daelemans},
  title = {Do Not Forget: Full Memory in Memory-Based Learning of
  		Word Pronunciation},
  booktitle = {New Methods in Language Processing and Computational
  		Language Learning},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {David M.W. Powers},
  pages = {195--204},
  address = {Somerset, New Jersey},
  topic = {machine-learning;pronunciation-models;}
  }

@incollection{ vandenbusch-etal:1998a,
  author = {Antai van den Busch and Ton Weijters and Walter
    		Daelemans},
  title = {Modularity in Inductively-Learned Word
		Pronunciation Systems},
  booktitle = {New Methods in Language Processing and Computational
  		Language Learning},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {David M.W. Powers},
  pages = {185--194},
  address = {Somerset, New Jersey},
  topic = {machine-learning;pronunciation-models;}
  }

@article{ vandenherik-etal:2002a,
  author = {H. Jaap van den Herik and Jos. W.H.M. Uiterwijk and
  	Jack van Rijswijck},
  title = {Games Solved: Now and in the Future},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {134},
  number = {1--2},
  pages = {277--311},
  topic = {game-playing;AI-editorial;}
  }

@techreport{ vanderauwera:1975a,
  author = {Johan van der Auwera},
  title = {Semantic and Pragmatic Presupposition},
  institution = {Universiteit Antwerpen},
  number = {Antwerp Papers in Linguistics, No. 2},
  year = {1975},
  address = {Antwerp},
  rtnote = {In RHT collection.},
  topic = {presupposition;}
  }

@article{ vanderauwera:1983a,
  author = {Johan van der Auwera},
  title = {Introduction---Tasks for Conditionalists},
  journal = {Journal of Pragmatics},
  year = {1983},
  volume = {7},
  pages = {243--245},
  rtnote = {In RHT collection.},
  topic = {conditionals;}
  }

@article{ vanderauwera:1993a,
  author = {Johan van der Auwera},
  title = {\,`Already' and `Still': Beyond Duality},
  journal = {Linguistics and Philosophy},
  year = {1993},
  volume = {16},
  number = {6},
  pages = {613--653},
  topic = {`already';`still';negation;nl-semantics;}
  }

@incollection{ vanderberg:1999a,
  author = {Martin van der Berg},
  title = {Questions as First-Class Citizens},
  booktitle = {Proceedings of the Twelfth {A}msterdam Colloquium},
  publisher = {ILLC/Department of Philosophy, University
		of Amsterdam},
  year = {1999},
  editor = {Paul Dekker},
  pages = {79--84},
  address = {Amsterdam},
  topic = {dynamic-semantics;interrogatives;nl-semantics;}
  }

@article{ vanderdoes:1991a,
  author = {Jaap {van der Does}},
  title = {A Generalized Quantifier Logic for Naked Infinitives},
  journal = {Linguistics and Philosophy},
  year = {1991},
  volume = {14},
  number = {3},
  pages = {241--294},
  topic = {logic-of-perception;generalized-quantifiers;}
  }

@phdthesis{ vanderdoes:1992a,
  author = {Jaap {van der Does}},
  title = {Applied Quantifier Logics},
  school = {University of Amsterdam},
  year = {1992},
  type = {Ph.{D}. Dissertation},
  address = {Amsterdam},
  missinginfo = {Department},
  topic = {quantifiers;}
 }

@techreport{ vanderdoes:1993a1,
  author = {Jaap {van der Does}},
  title = {Sums and Quantifiers},
  institution = {Institute for Language, Logic and Information, University
  	of Amsterdam},
  number = {LP-93-05},
  year = {1991},
  address = {Faculty of Mathematics and Computer Science, Roeterssraat 15,
  	1018WB Amsterdam, Holland },
  rtnote = {In RHT collection.},
  xref = {Journal publication: vanderdoes:1993a2.},
  topic = {nl-semantics;plural;quantifiers;mereology;}
  }

@article{ vanderdoes:1993a2,
  author = {Jaap {van der Does}},
  title = {Sums and Quantifiers},
  journal = {Linguistics and Philosophy},
  year = {1993},
  volume = {16},
  number = {5},
  pages = {495--550},
  xref = {Technical report: vanderdoes:1993a2.},
  topic = {nl-semantics;plural;quantifiers;mereology;}
  }

@techreport{ vanderdoes:1993b,
  author = {Jaap {van der Does}},
  title = {On Complex Plural Noun Phrases},
  institution = {Institute for Language, Logic and Information, University
  	of Amsterdam},
  number = {LP-93-12},
  year = {1991},
  address = {Faculty of Mathematics and Computer Science, Roeterssraat 15,
  	1018WB Amsterdam, Holland},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;plural;}
  }

@article{ vanderdoes-etal:1997a,
  author = {Jaap {Van der Does} and Willem Groeneveld and Frank Veltman},
  title = {An Update on `Might'\, },
  journal = {Journal of Logic, Language, and Information},
  year = {1997},
  volume = {6},
  number = {4},
  pages = {361--380},
  topic = {modal-logic;dynamic-logic;}
  }

@article{ vanderdoes-vanlambalgen:2000a,
  author = {Jaap Van der Does and Michiel Van Lambalgen},
  title = {A Logic of Vision},
  journal = {Linguistics and Philosophy},
  year = {2000},
  volume = {23},
  number = {1},
  pages = {1--92},
  topic = {logic-of-perception;}
  }

@incollection{ vanderdoes-verkuyl:1996a,
  author = {Jaap {van der Does} and Henk Verkuyl},
  title = {Quantification and Predication},
  booktitle = {Semantic Ambiguity and Underspecification},
  publisher = {Cambridge University Press},
  year = {1996},
  editor = {Kees {van Deemter} and Stanley Peters},
  address = {Cambridge, England},
  pages = {27--54},
  topic = {nl-quantifier-scope;distributive/collective-readings;
		nl-quantification;predication;}
  }

@article{ vanderdoes-verkuyl:1999a,
  author = {Japp Vanderdoes and Henk Verkuyl},
  title = {Review of \emph{Quantification in Natural Languages},
  		Volumes {I} and {II},
		edited by {E}mmon {B}ach, {E}loise {J}elenick,
		and {B}arbara {H}. {P}artee},
  journal = {Journal of Logic, Language, and Information},
  year = {1999},
  volume = {8},
  number = {2},
  pages = {243--251},
  xref = {Review of bach_e-etal:1995ab},
  topic = {nl-semantics;nl-quantifiers;}
  }

@techreport{ vanderhoek:1989a,
  author = {Wiebe {van der Hoek}},
  title = {Systems for Knowledge and Belief},
  institution = {Faculteit Wiskunde en Informatica, Vrije Universiteit
  	Amsterdam},
  number = {IR--185},
  year = {1989},
  address = {Amsterdam},
  rtnote = {In RHT collection.},
  topic = {epistemic-logic;}
  }

@phdthesis{ vanderhoek:1992a,
  author = {Wiebe {van der Hoek}},
  title = {Modalities for Reasoning about Knowledge and Quantities},
  school = {Vrije Universiteit van Amsterdam},
  year = {1992},
  type = {Ph.{D}. Dissertation},
  address = {Amsterdam},
  rtnote = {In RHT collection.  LL Shelves.},
  topic = {modal-logic;epistemic-logic;generalized-quantifiers;}
 }

@article{ vanderhoek:1998a,
  author = {Wiebe {van der Hoek}},
  title = {Review of \emph{Logic for Applications},
		by {A}nil {N}erode and {R}ichard {A}. {S}hore},
  journal = {Journal of Logic, Language, and Information},
  year = {1998},
  volume = {7},
  number = {2},
  pages = {228--229},
  topic = {applied-logic;logic-programming;modal-logic;}
  }

@article{ vanderhoek:2000a,
  author = {Wiebe van der Hoek},
  title = {Review of \emph{{D}efeasible Deontic Logic}, edited by {D}onald
  	{N}ute},
  journal = {The Bulletin of Symbolic Logic},
  year = {2000},
  volume = {6},
  number = {1},
  pages = {89--94},
  xref = {Review of: nute:1997a.},
  topic = {deontic-logic;nonmonotonic-logic;}
  }

@article{ vanderhoek:2000b,
  author = {Wiebe van der Hoek},
  title = {Review of \emph{Nonmonotonic Reasoning},
		by {G}rigoris {A}ntoniou},
  journal = {Journal of Logic, Language, and Information},
  year = {2000},
  volume = {9},
  number = {1},
  pages = {125--128},
  xref = {Review of antoniou:1997a.},
  topic = {nonmonotonic-reasoning;nonmonotonic-logic;}
  }

@article{ vanderhoek-derijke:1993a,
  author = {Wiebe {van der Hoek} and Maarten de Rijke},
  title = {Generalized Quantifiers and Modal Logic},
  journal = {Journal of Logic, Language, and Information},
  year = {1993},
  volume = {2},
  number = {1},
  pages = {19--58},
  topic = {generalized-quantifiers;modal-logic;}
  }

@book{ vanderhoek-etal:1992a,
  editor = {Wiebe van der Hoek et al.},
  title = {Non-Monotonic Reasoning and Partial Semantics},
  publisher = {Ellis Horwood},
  year = {1992},
  address = {Chichester},
  ISBN = {0136251463},
  rtnote = {UMich Media Union Library, Q 334 .N81x 1992.},
  topic = {nonmonotonic-reasoning;partial-logic;}
 }

@incollection{ vanderhoek-etal:1994a,
  author = {Wiebe van der Hoek and John-Jules Ch. Meyer and Jan
    		Treur},
  title = {Formal Semantics of Temporal Epistemic
		Reflection},
  booktitle = {Logic Programming Synthesis and Transformation,
  	Meta-Programming in Logic: Fourth International Workshops,
	{LOBSTR}'94 and	{META}'94, Pisa, Italy},
  publisher = {Springer-Verlag},
  year = {1994},
  editor = {Laurent Fribourg and Franco Turini},
  pages = {332--352},
  address = {Berlin},
  topic = {metaprogramming;semantics-of-programming-languages;}
  }

@article{ vanderhoek-etal:1996a,
  author = {Wiebe {van der Hoek} and Jan Jaspars and Elias Thijsse},
  title = {Honesty in Partial Logic},
  journal = {Studia Logica},
  year = {1996},
  volume = {56},
  number = {3},
  pages = {323--360},
  topic = {epistemic-logic;nonmonotonic-logic;}
  }

@incollection{ vanderhoek-etal:1999a,
  author = {Wiebe van der Hoek and Bernd {van Linder} and
  	{John-Jules Ch.} Meyer},
  title = {Integrated Modal Approach to Rational Agents},
  booktitle = {Foundations of Rational Agency},
  publisher = {Kluwer Academic Publishers},
  year = {1999},
  editor = {Michael Wooldridge and Anand Rao},
  pages = {133--160},
  address = {Dordrecht},
  abstract = {In this paper we give an overview of work we have done
    to provide a framework in which many aspects of rational agency
    are integrated. The various attitudes of a rational agent, viz.
    the informational as well as the motivational ones, are modelled
    in the framework by means of a variety of modal operators that
    are interpreted by means of possible worlds, as usual in modal
    logic.  A main point here is that we incorporate all these modal
    operators into one model, so that in principle the various modal
    operators can be mixed to describe an agent's complex attitudes.
  },
  url = {http://www.dcs.qmw.ac.uk/~jb/prr/prr97/meyer.ps},
  rtnote = {In RHT Collection.  \my10\vdhoek.ps},
  topic = {agent-architectures;practical-reasoning;modal-logic;}
  }

@article{ vanderhoek-etal:2000a,
  author = {Wiebe van der Hoek and Bernd van Linder and John-Jules
  	Meyer},
  title = {On Agents That Have the Ability to Choose},
  journal = {Studia Logica},
  year = {2000},
  volume = {66},
  number = {1},
  pages = {79--119},
  topic = {action-formalisms;nondeterministic-action;}
  }

@techreport{ vanderhoek-meijer:1988a,
  author = {Wiebe {van der Hoek} and J.-J.Ch. Meijer},
  title = {Possible Logics for Belief},
  institution = {Faculteit Wiskunde en Informatica, Vrije Universiteit
  	Amsterdam},
  number = {IR--170},
  year = {1989},
  address = {Amsterdam},
  rtnote = {In RHT collection.},
  topic = {epistemic-logic;}
  }

@article{ vanderhoek-meyer_jjc:1992a,
  author = {Wiebe {van der Hoek} and {John-Jules Ch.} Meyer},
  title = {Making Some Issues of Explicit Knowledge Explicit},
  journal = {International Journal of Foundations of Computer Science},
  year = {1992},
  volume = {3},
  number = {2},
  pages = {193--223},
  topic = {hyperintensionality;}
  }

@article{ vanderhoek-meyer_jjc:1998a,
  author = {Wiebe {van der Hoek} and John-Jules Meyer},
  title = {Temporalizing Epistemic Default Logic},
  journal = {Journal of Logic, Language, and Information},
  year = {1998},
  volume = {7},
  number = {3},
  pages = {341--367},
  topic = {modal-logic;default-logic;temporal-logic;tmix-project;}
  }

@incollection{ vanderhoek-pauly:2006a,
  author = {Wiebe van der Hoek and Marc Pauly},
  title = {Modal Logic for Games and Information},
  booktitle = {Handbook of Modal Logic},
  year = {2006},
  editor = {Patrick Blackburn and Johan van Benthem and Frank Wolter},
  pages = {1077--1148},
  address = {New York},
  rtnote = {In RHT collection.  File drawers.},
  topic = {modal-logic;game-theory;epistemic-logic;temporal-logic;}
  }

@incollection{ vanderhoek-thijsse:1994a,
  author = {Wiebe {van der Hoek} and Elias Thijsse},
  title = {Honesty in Partial Logic},
  booktitle = {{KR}'94: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
  pages = {583--594},
  address = {San Francisco, California},
  topic = {kr;epistemic-logic;partial-logic;kr-course;}
  }

@article{ vanderhoek-thijsse:2002a,
  author = {Wiebe van der Hoek and Elias Thijsse},
  title = {A General Approach to Multi-Agent Minimal Knowledge:
  	With Tools and Samples},
  journal = {Studia Logica},
  year = {2002},
  volume = {72},
  number = {1},
  pages = {61--84},
  topic = {epistemic-logic;nonmonotonic-logic;}
  }

@article{ vanderhoek-witteveen:2002a,
  author = {Wiebe van der Hoek and Cees Witteveen},
  title = {Note by the Guest Editors},
  journal = {Studia Logica},
  year = {2002},
  volume = {68},
  number = {1},
  pages = {3--4},
  topic = {belief-revision;}
  }

@article{ vanderhoek-wooldridge:2003a,
  author = {Wiebe van der Hoek and Michael J. Wooldridge},
  title = {Cooperation, Knowledge, and Time: Alternating-Time
  	Temporal Epistemic Logic and Its Applications},
  journal = {Studia Logica},
  year = {2003},
  volume = {75},
  number = {1},
  pages = {125--157},
  topic = {temporal-logic;epistemic-logic;}
  }

@article{ vanderhoek-wooldridge:2005a,
  author = {Wiebe van der Hoek and Michael J. Wooldridge},
  title = {On the Logic of Cooperation and Propositional Control},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {164},
  number = {1--2},
  pages = {81--119},
  topic = {multi-agent-systems;cooperation-logics;modal-logic;}
  }

@incollection{ vanderhulst-meyer_jjc:1994a,
  author = {M. {van der Hulst} and J.-J.Ch. Meyer},
  title = {An Epistemic Proof System for Parallel Processes},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
  	Proceedings of the Fifth Conference ({TARK} 1994)},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Ronald Fagin},
  pages = {243--254},
  address = {San Francisco},
  topic = {epistemic-logic;distributed-systems;}
  }

@techreport{ vanderlinden:1992a,
  author = {Keith {Vander Linden} and Susanna Cumming and James Martin},
  title = {The Expression of Local Rhetorical Relations in
  	Instructional Text},
  institution = {University of Colorado at Boulder, Department of
  	Computer Science},
  number = {CU-CS-585-92},
  year = {1992},
  topic = {nl-generation;discourse-structure;pragmatics;}
}

@article{ vanderlinden:1992b,
  author = {Eric-Jan van der Linden},
  title = {Incremental Processing and the Hierarchical Lexicon},
  journal = {Computational Linguistics},
  year = {1992},
  volume = {18},
  number = {2},
  pages = {219--238},
  topic = {inheritance;computational-linguistics;}
  }

@inproceedings{ vanderlinden:1993a,
  author = {Keith {Vander Linden}},
  title = {Rhetorical {R}elations in {I}nstructional {T}ext
  	{G}eneration},
  booktitle = {{ACL} Workshop on Intentionality and Structure in
  	Discourse Relations},
  pages = {140--143},
  address = {Columbus, OH},
  year = {1993},
  topic = {nl-generation;discourse-structure;pragmatics;}
}

@incollection{ vanderlinden-etal:1992a,
  author = {Keith Vander Linden and Susanna Cumming and James Martin},
  title = {Using System Networks to Build Rhetorical Structures},
  booktitle = {Aspects of Automated Natural Language Generation: 6th
    International Workshop on Natural Language Generation, {T}rento,
    {I}taly, April 5--7, 1992},
  publisher = {Springer-Verlag},
  year = {1992},
  editor = {Robert Dale and Eduard Hovy and Dietmar R\"ossner and
  	Oliviero Stock},
  pages = {183--198},
  address = {Berlin},
  topic = {nl-generation;discourse-structure;corpus-linguistics;}
  }

@incollection{ vandermeyden:1994a,
  author = {Ron {van der Meyden}},
  title = {Mutual Belief Revision (Preliminary Report)},
  booktitle = {{KR}'94: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
  pages = {595--606},
  address = {San Francisco, California},
  topic = {kr;multiagent-epistemic-logic;belief-revision;kr-course;}
  }

@incollection{ vandermeyden:1994b,
  author = {Ron {van der Meyden}},
  title = {Common Knowledge and Update in Finite
  	Environments.  {I} (Extended Abstract)},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
  	Proceedings of the Fifth Conference ({TARK} 1994)},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Ronald Fagin},
  pages = {225--242},
  address = {San Francisco},
  topic = {mutual-belief;belief-revision;}
  }

@incollection{ vandermeyden:1996a,
  author = {Ron {van der Meyden}},
  title = {Knowledge Based Programs: On the Complexity of Perfect
  	Recall in Finite Environments},
  booktitle = {Theoretical Aspects of Rationality and Knowledge:
  	Proceedings of the Sixth Conference ({TARK} 1996)},
  publisher = {Morgan Kaufmann},
  year = {1996},
  editor = {Yoav Shoham},
  pages = {31--49},
  address = {San Francisco},
  topic = {knowledge-based-programming;algorithmic-complexity;
  	distributed-systems;}
  }

@article{ vandermeyden-weng_ks:2003a,
  author = {Ron van der Meyden and Ka-Shu Weng},
  title = {Complete Axiomatization for Reasoning about Knowledge and
  	Branching Time},
  journal = {Studia Logica},
  year = {2003},
  volume = {75},
  number = {1},
  pages = {93--123},
  topic = {epistemic-logic;completeness-theorems;branching-time;}
  }

@book{ vandersandt:1988a,
  author = {Rob A. {van der Sandt}},
  title = {Context and Presupposition},
  publisher = {Croom Helm},
  year = {1988},
  address = {London},
  rtnote = {Hillman P217 L36 1993},
  topic = {context;presupposition;pragmatics;}
 }

@article{ vandersandt:1992a,
  author = {Rob A. {van der Sandt}},
  title = {Presupposition Projection as Anaphora Resolution},
  journal = {Journal of Semantics},
  year = {1992},
  volume = {9},
  pages = {333--377},
  number = {4},
  rtnote = {Is this about nm-ling;  ?},
  rtnote = {In RHT collection.},
  topic = {presupposition;anaphora-resolution;pragmatics;anaphora;}
  }

@book{ vandersandt-bosch:1994a,
  editor = {Rob A. {van der Sandt} and Peter Bosch},
  title = {Focus: Linguistic, Cognitive, and Computational
  	Perspectives},
  publisher = {Cambridge University Press},
  year = {1994},
  address = {Cambridge, England},
  ISBN = {0521583055 (hardbound)},
  rtnote = {UMich Graduate Library P 299 .F63 F631 1998},
  topic = {focus;nl-processing;}
 }

@unpublished{ vandersandt-maier_e2:2003a,
  author = {Rob van der Sandt and Emar Maier},
  title = {Denials in Discourse},
  year = {2003},
  note = {Unpublished manuscript, University of Nijmegen},
  rtnote = {In RHT collection.},
  url = {http://www.phil.kun.nl/tfl/~emar/michigan_fin.pdf},
  topic = {presupposition;negation;}
  }

@incollection{ vanderschraaf:1994a,
  author = {Peter Vanderschraaf},
  title = {Inductive Learning, Knowledge Asymmetries and Convention},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
  	Proceedings of the Fifth Conference ({TARK} 1994)},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Ronald Fagin},
  pages = {284--304},
  address = {San Francisco},
  topic = {game-theory;convention;}
  }

@incollection{ vanderschraaf-sillari:2009a,
  author = {Peter Vanderschraaf and Giacomo Sillari},
  title = {Common Knowledge},
  booktitle = {The {S}tanford Encyclopedia of Philosophy},
  editor = {Edward N. Zalta},
  howpublished =
 {\url{http://plato.stanford.edu/archives/spr2009/entries/common-knowledge/}},
  year = {2009},
  edition = {Spring 2009},
  topic = {epistemic-logic;mutuality;mutual-belief;}
 }

@article{ vanderschraaf-skyrms:1993a,
  author = {Peter Vanderschraaf and Brian Skyrms},
  title = {Deliberational Correlated Equilibria},
  journal = {Philosophical Topics},
  year = {1994},
  volume = {21},
  number = {1},
  pages = {191--227},
  topic = {rationality;decision-theory;Nash-equilibria;}
  }

@book{ vandertorre:1997b,
  author = {Leendert W.N. {van der Torre}},
  title = {Reasoning about Obligations: Defeasibility in
  	Preference-Based Deontic Logic},
  publisher = {Thesis Publishers},
  year = {1997},
  address = {Amsterdam},
  rtnote = {In RHT collection.  LL Shelves.},
  topic = {deontic-logic;nonmonotonic-logic;}
 }

@inproceedings{ vandertorre-tan_yh:1995a,
  author = {Leendert W.N. {van der Torre} and Yaohua Tan},
  title = {Cancelling and Overshadowing: Two Types of Defeasibility in
  	Defeasible Deontic Logic},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {1525--1532},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  rtnote = {In RHT collection.},
  topic = {deontic-logic;nonmonotonic-logic;}
  }

@inproceedings{ vandertorre-tan_yh:1997a,
  author = {Leendert W.N. {van der Torre} and Yao-Hua Tan},
  title = {Prohairetic Deontic Logic and Qualitative Decision Theory},
  booktitle = {Working Papers of the {AAAI} Spring Symposium on
  	Qualitative Preferences in Deliberation and Practical
	Reasoning},
  year = {1997},
  editor = {Jon Doyle and Richmond H. Thomason},
  pages = {103--111},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  topic = {qualitative-utility;deontic-logic;}
  }

@incollection{ vandertorre-tan_yh:1997c,
  author = {Leendert {van der Torre} and Yao-Hua Tan},
  title = {The Many Faces of Defeasibility in Defeasible
             Deontic Logic},
  booktitle = {Defeasible Deontic Logic},
  editor = {Donald Nute},
  pages = {17--44},
  publisher = {Kluwer Academic Publishers},
  address = {Dordrecht},
  year = {1997},
  topic = {deontic-logic;nonmonotonic-reasoning;}
    }

@incollection{ vandertorre-tan_yh:1998a,
  author = {Leendert W.N. van der Torre and Yaohua Tan},
  title = {An Update Semantics for Prima Facie Obligation},
  booktitle = {{ECAI}98, Thirteenth European Conference on
  	Artificial Intelligence},
  publisher = {John Wiley and Sons},
  year = {1998},
  editor = {Henri Prade},
  pages = {38--42},
  address = {Chichester},
  topic = {deontic-logic;belief-revision;prima-facie-obligation;}
  }

@inproceedings{ vandertorre-tan_yh:1998b,
  author = {Leendert W.N. van der Torre and Yaohua Tan},
  title = {The Temporal Analysis of {C}hisholm's Paradox},
  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 = {650--655},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {deontic-logic;conditional-obligation;}
  }

@incollection{ vandertorre-tan_yh:1998c,
  author = {Leendert W.N. van der Torre and Yaohua Tan},
  title = {An Update Semantics for Deontic Reasoning},
  booktitle = {Norms, Logics and Information Systems.  New Studies in
		Deontic Logic and Computer Science},
  publisher = {IOS Press},
  year = {1998},
  editor = {Henry Prakken and Paul McNamara},
  address = {Amsterdam},
  missinginfo = {pages},
  topic = {deontic-logic;}
  }

@incollection{ vandertorre-tan_yh:1998d,
  author = {Leendert {van der Torre} and Yao-Hua Tan},
  title = {Prohairetic Deontic Logic},
  booktitle = {Logics in Artificial Intelligence European Workshop,
  	{JELIA}'98, Dagstuhl, Germany, October 12-15, 1998},
  publisher = {Springer-Verlag},
  year = {1998},
  editor = {J\"urgen Dix and Luis Fari\~nas del Cerro and Ulrich
  	Furbach},
  pages = {77--91},
  address = {Berlin},
  topic = {deontic-logic;}
  }

@incollection{ vandertorre-tan_yh:2000a,
  author = {Leon W.N. van der Torre and Yao-Hua Tan},
  title = {Contextual Deontic Logic},
  booktitle = {Formal Aspects of Context},
  publisher = {Kluwer Academic Publishers},
  year = {2000},
  editor = {Pierre Bonzon and Marcos Cavalcanti and Rolf Nossum},
  pages = {143--160},
  address = {Dordrecht},
  topic = {context;deontic-logic;conditional-obligation;}
  }

@inproceedings{ vandertorre-weydert:1999a,
  author = {Leendert W.N. {van der Torre} and Emil Weydert},
  title = {Risk Parameters for Utilitarian Desires},
  booktitle = {Proceedings of the {IJCAI}-99 Workshop on
  	Practical Reasoning and Rationality},
  year = {1999},
  editor = {John Bell},
  pages = {48--54},
  organization = {IJCAI},
  publisher = {International Joint Conference on Artificial Intelligence},
  address = {Murray Hill, New Jersey},
  rtnote = {In RHT collection.},
  topic = {practical-reasoning;risk;}
  }

@unpublished{ vandervecken:1980a,
  author = {Daniel Vandervecken},
  title = {A Formal Definition of the Class of Logical Connectors
		of Pragmatics},
  year = {1980},
  note = {Unpublished manuscript, Belgian National Science Foundation},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a wild guess.},
  topic = {pragmatics;}
  }

@unpublished{ vandervecken:1980b,
  author = {Daniel Vandervecken},
  title = {A Strong Completeness Theorem for Pragmatics},
  year = {1980},
  note = {Unpublished manuscript, Belgian NAtional Science Foundation},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a wild guess.},
  topic = {pragmatics;}
  }

@techreport{ vandervecken:1991a,
  author = {Daniel Vandervecken},
  title = {What is a Proposition?},
  institution = {D\'epartement de Philosophie, Universit\'e du Quebec a
  	Montr\'eal},
  number = {9103},
  year = {1991},
  address = {Montr\'eal, Qu\'ebec},
  rtnote = {In RHT collection.},
  topic = {propositional-attitudes;}
  }

@book{ vanderveer-mulder:1988a,
  editor = {Gerritt C. {van der Veer} and Gijsbertus Mulder},
  title = {Human-Computer Interaction: Psychonomic Aspects},
  publisher = {Springer-Verlag},
  year = {1988},
  address = {Berlin},
  ISBN = {0387189017 (U.S.)},
  rtnote = {UMich Media Union Library, QA 76.9 .H85 H861 1988.},
  topic = {HCI;}
 }

@incollection{ vanderveken:2005b,
  author = {Daniel Vanderveken},
  title = {Attempt and Action Generation:  Towards the Foundations of
  	the Logic of Action},
  booktitle = {Logic, Thought and Action},
  publisher = {Springer-Verlag},
  year = {2005},
  editor = {Daniel Vanderveken},
  pages = {316--342},
  address = {Berlin},
  rtnote = {In RHT collection.},
  topic = {philosophy-of-action;attempting;}
  }

@article{ vandervoorst:1993a,
  author = {Jan van der Voorst},
  title = {A Localist Model for Event Semantics},
  journal = {Journal of Semantics},
  year = {1993},
  volume = {10},
  number = {1},
  pages = {65--111},
  topic = {nl-semantics;adverbs;event-semantics;Aktionsarten;}
  }

@inproceedings{ vanderwouden-zwarts_f:1993a,
  author =  {Ton {van der Wouden} and Frans Zwarts},
  title = {A Semantic Analysis of Negative Concord},
  booktitle = {Proceedings from Semantics and Linguistic Theory {III}},
  year = {1993},
  editor = {Utpal Lahiri and Zachary Wyner},
  pages = {202--219},
  publisher = {Cornell University},
  address = {Ithaca, New York},
  note = {Available from CLC Publications, Department of Linguistics,
  	Morrill Hall, Cornell University, Ithaca, NY 14853-4701.},
  contentnote = {"Negative concord" is case where 2 negations have semantics
	effect of 1 negation.},
  topic = {negation;}
  }

@book{ vandijk:1972a,
  author = {Teun A. {Van Dijk}},
  title = {Some Aspects of Text Grammars. A Study in Theoretical
                   Linguistics and Poetics},
  publisher = {Mouton},
  year = {1972},
  address = {The Hague},
  topic = {text-grammar;discourse;pragmatics;}
 }

@book{ vandijk:1976a,
  author = {Teun A. {Van Dijk}},
  title = {Pragmatics of Language and Literature},
  publisher = {North Holland},
  year = {1976},
  address = {Amsterdam},
  topic = {text-grammar;discourse;pragmatics;}
 }

@book{ vandijk:1981a,
  author = {Teun A. van Dijk},
  title = {Studies in the Pragmatics of Discourse},
  publisher = {Mouton},
  year = {1981},
  address = {The Hague},
  rtnote = {Hillman P302 .D473 1981},
  topic = {text-grammar;}
}

@book{ vandijk:1985a,
  editor = {Teun A {van Dijk}},
  title = {Handbook of Discourse Analysis},
  publisher = {Academic Press},
  year = {1985},
  address = {New York},
  rtnote = {HILLMAN P302 .H343 1985  HILLMAN P302 .H343 1985
        LANGLEY LIBRARY  P302 .H343 1985},
  topic = {discourse-analysis;pragmatics;}
}

@book{ vandijk:1997a,
  editor = {Teun A {van Dijk}},
  title = {Discourse as Structure and as Process},
  publisher = {Sage Publications},
  year = {1997},
  address = {Thousand Oaks, California},
  contentnote = {TC:
  		1. T. van Dijk, 	"The Study of Discourse"
  		2. R. de Beauregarde,   "The Story of Discourse Analysis"
  		3. R. tomlin et al.,    "Discourse Semantics"
  		4. S. Cumming & T. Ono, "Discourse and Grammar"
  		5. B. Sandig & M. Seltig, "Discourse Styles"
  		6. A. Gill & K Whedbee, "Rhetoric"
  		7. E. Ochs,		"Narrative"
  		8. F. van Eemeren et al., "Argumentation"
  		9. J. Martin & S. Eggins, "Genres and Registers of Discourse"
  	       10. G. Kress, "Discourse Semiotics"
  	       11. A. Graesser, M. Gernsbacher & S. Goldman, "Cognition"
  	       12. C. Antaki & S. Condor, "Social Cognition and Discourse"
    },
  topic = {discourse-analysis;pragmatics;}
 }

@book{ vandijk:1997b,
  editor = {Teun A. {van Dijk}},
  title = {Discourse as Structure and as Process},
  publisher = {Sage Publications},
  year = {1997},
  address = {Thousand Oaks, California},
  contentnote = {TC:
  	1. T. van Dijk, 	"Discourse as Interaction in Society"
	2. S. Blum-Kulka,	"Discourse Pragmatics"
	3. A. Pomerantz & B. Fehr, "Conversation Analysis"
	4. P. Drew & M. Soronjen, "Institutional Dialogue"
	5. C. Kramarae, C. West & M. Lazar, "Gender in Discourse"
	6. T. van Dijk et al.,	"Discourse, Ethnicity, Culture, and Racism"
	7. D. Mumby & R. Clair,	"Organizational Discourse"
	8. P. Chilton & C. Schueffner, "Discourse and Politics"
	9. A. Wierzbicka & C. Goddard, "Discourse and Culture"
       10. N. Fairclough & R. Wodak, "Critical Discourse Analysis"
       11. B. Gunnarsson, "Applied Discourse Analysis"
    },
  note = {Discourse Studies: A Multidisciplinary Introduction, Volume 1.},
  topic = {discourse-analysis;pragmatics;}
 }

@book{ vandijk:1997c,
  editor = {Teun A. {van Dijk}},
  title = {Discourse as Social Interaction},
  publisher = {Sage Publications},
  year = {1997},
  address = {Thousand Oaks, California},
  note = {Discourse Studies: A Multidisciplinary Introduction, Volume 1.},
  topic = {discourse-analysis;pragmatics;}
 }

@article{ vanditmarsch:2002a,
  author = {Hans van Ditmarsch},
  title = {Descriptions of Game Actions},
  journal = {Journal of Logic, Language, and Information},
  year = {2002},
  volume = {11},
  number = {3},
  pages = {349--365},
  topic = {game-theory;epistemic-logic;action-formalisms;}
  }

@incollection{ vandreschraaf:1998a,
  author = {Brian Skyrms and Peter Vanderschraaf},
  title = {Game Theory},
  booktitle = {Handbook of Defeasible Reasoning and Uncertainty
		Management Systems, Volume 1},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {Dov M. Gabbay and Philippe Smets},
  pages = {391--439},
  address = {Dordrecht},
  topic = {game-theory;}
  }

@phdthesis{ vaneck:1981a1,
  author = {J. {Van Eck}},
  title = {A System of Temporally Relative Modal and Deontic Predicate
  	Logic and Its Philosophical Applications},
  school = {Rujksuniversiteit de Groningen},
  year = {1981},
  type = {Ph.{D}. Dissertation},
  address = {Groningen},
  missinginfo = {A's 1st name},
  xref = {Journal Publication: vaneck:1981a1.},
  topic = {temporal-logic;modal-logic;deontic-logic;}
 }

@article{ vaneck:1981a2,
  author = {J. {Van Eck}},
  title = {A System of Temporally Relative Modal and Deontic Predicate
  	Logic and Its Philosophical Applications},
  journal = {Logique et Analyse},
  year = {1982},
  volume = {100},
  pages = {249--381},
  topic = {temporal-logic;modal-logic;deontic-logic;}
  }

@book{ vaneemeren:1987a,
  editor = {Frans H. {van Eemeren}},
  title = {Handbook of Argumentation Theory: A Critical Survey of
    Classical Backgrounds and Modern Studies},
  publisher = {Foris Publications},
  year = {1987},
  address = {Dordrecht},
  ISBN = {9067653306},
  rtnote = {UMich Graduate Library, P 301.5 .P47 E341 1987.},
  topic = {argumentation;argumentation-theory;}
 }

@book{ vaneemeren:1993a,
  author = {Frans H. van Eemeren},
  title = {Reconstructing Argumentative Discourse},
  publisher = {University of Alabama Press},
  year = {1993},
  address = {Tuscaloosa, Alabama},
  ISBN = {0817306978},
  rtnote = {UMich Graduate Library, P 301.5 .P47 R431 1993.},
  topic = {argumentation;}
 }

@book{ vaneemeren:1996a,
  editor = {Frans H. van Eemeren},
  title = {Fundamentals of Argumentation Theory: A Handbook of
  	Historical Backgrounds and Contemporary Developments},
  publisher = {Lawrence Erlbaum},
  year = {1996},
  address = {Mahwah, New Jersey},
  ISBN = {0805818618},
  rtnote = {UMich Graduate Library, 808.5 F982.},
  topic = {argumentation;argumentation-theory;}
 }

@incollection{ vaneijck_j:1983a,
  author = {Jan {van Eijck}},
  title = {Discourse Representation Theory and Plurality},
  booktitle = {Studies in Modeltheoretic Semantics},
  editor = {Alice {ter Meulen}},
  series = {GRASS 1},
  publisher = {Foris},
  address = {Dordrecht},
  year = {1983},
  missinginfo = {pages},
  topic = {discourse-representation-theory;plural;pragmatics;}
  }

@article{ vaneijck_j:1993a,
  author = {Jan van Eijck},
  title = {The Dynamics of Description},
  journal = {Journal of Semantics},
  year = {1993},
  volume = {10},
  number = {3},
  pages = {239--267},
  rtnote = {In RHT collection.},
  topic = {dynamic-semantics;definite-descriptions;presupposition;}
  }

@article{ vaneijck_j:2000a,
  author = {Jan van Eijck},
  title = {Making Things Happen},
  journal = {Studia Logica},
  year = {2000},
  volume = {66},
  number = {1},
  pages = {41--58},
  rtnote = {No references here at all to the AI literature.},
  topic = {dynamic-logic;action-formalisms;}
  }

@article{ vaneijck_j:2001b,
  author = {Jan van Eijck},
  title = {Incremental Dynamics},
  journal = {Journal of Logic, Language, and Information},
  year = {2001},
  volume = {10},
  number = {3},
  pages = {319--351},
  topic = {dynamic-logic;anaphora;combinatory-logic;}
  }

@incollection{ vaneijk_j:1984a,
  author = {Jan van Eijk},
  title = {Discourse Representation, Anaphora and Scopes},
  booktitle = {Varieties of Formal Semantics},
  publisher = {Foris Publications},
  year = {1984},
  editor = {Fred Landman and Frank Veltman},
  pages = {103--122},
  address = {Dordrecht},
  topic = {DRT;anaphora;}
  }

@book{ vaneijk_j:1991a,
  editor = {Jan {van Eijk}},
  title = {Logics in {AI}, Proceedings {JELIA}'90},
  publisher = {Springer-Verlag},
  year = {1991},
  address = {Berlin},
  series = {Lecture Notes in Computer Science},
  number = {478},
  rtnote = {Not in Hillman.},
  ISBN = {0387536868},
  topic = {logic-in-AI;logic-in-AI-survey;}
 }

@article{ vaneijk_j:1997a,
  author = {Jan {van Eijk}},
  title = {Review of \emph{{T}he Generic Book}, edited by {G}reg {C}.
  	{C}arlson and {F}. {J}effry {P}elletier},
  journal = {Journal of Logic, Language, and Information},
  year = {1997},
  volume = {6},
  number = {3},
  pages = {339--341},
  topic = {generics;}
  }

@incollection{ vaneijk_j:2001a,
  author = {Jan van Eijk},
  title = {Border Crossings},
  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 = {51--74},
  address = {Amsterdam},
  topic = {programming-languages;nl-syntax;dynamic-logic;context;}
  }

@article{ vaneijk_j-devries:1975a,
  author = {Jan van Eijk and Fer-Jan de Vries},
  title = {Reasoning about Update Logic},
  journal = {Journal of Philosophical Logic},
  year = {1975},
  volume = {24},
  number = {1},
  pages = {47--45},
  topic = {belief-revision;dynamic-logic;}
  }

@inproceedings{ vaneijk_j-devries:1991a,
  author = {Jan {van Eijk} and Fer-Jan {De Vries}},
  title = {Dynamic Interpreation and {H}oare Deduction;
		Extended Abstract},
  booktitle = {Proceedings from Semantics and Linguistic Theory {I}},
  year = {1991},
  editor = {Steven Moore and {Adam Zachary} Wyner},
  pages = {65--84},
  publisher = {Cornell University},
  address = {Ithaca, New York},
  note = {Available from CLC Publications, Department of Linguistics,
  	Morrill Hall, Cornell University, Ithaca, NY 14853-4701.},
  xref = {See vaneijk_j-devries:1992a for article.},
  topic = {dynamic-logic;dynamic-semantics;dynamic-predicate-logic;
		hoare-deduction;}
  }

@article{ vaneijk_j-devries:1992a,
  author = {Jan {van Eijk} and Fer-Jan de Vries},
  title = {Dynamic Interpretation and {H}oare Deduction},
  journal = {Journal of Logic, Language, and Information},
  year = {1992},
  volume = {1},
  number = {1},
  pages = {1--44},
  topic = {dynamic-logic;dynamic-predicate-logic;hoare-deduction;}
  }

@article{ vaneijk_j-devries:1996a,
  author = {Jan {van Eijk} and Fer-Jan {de Vries}},
  title = {Reasoning about Update Logic},
  journal = {Journal of Philosophical Logic},
  year = {1996},
  volume = {24},
  number = {1},
  pages = {19--45},
  topic = {belief-revision;dynamic-logic;modal-logic;}
  }

@incollection{ vaneijk_j-francez:1995a,
  author = {Jan {van Eijk} and Nissim Francez},
  title = {Verb-Phrase Ellipsis in Dynamic Semantic},
  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 = {29--59},
  address = {Dordrecht},
  topic = {ellipsis;dynamic-predicate-logic;dynamic-semantics;
  	presupposition;pragmatics;}
  }

@incollection{ vaneijk_j-kamp:1996a,
  author = {Jan {van Eijk} and Hans Kamp},
  title = {Representing Discourse in Context},
  booktitle = {Handbook of Logic and Language},
  publisher = {Elsevier},
  year = {1996},
  editor = {Johan {van Benthem} and Alice {ter Meulen}},
  pages = {179--237},
  address = {Amsterdam},
  topic = {context;discourse-representation-theory;discourse;
  	dynamic-semantics;pragmatics;}
  }

@book{ vaneijk_j-visser_a:1994a,
  editor = {Jan {van Eijk} and Albert Visser},
  title = {Logic and Information Flow},
  publisher = {The {MIT} Press},
  year = {1994},
  address = {Cambridge, Massachusetts},
  topic = {theory-of-computation;dynamic-logic;information-processing;
  	information-flow-theory;}
 }

@article{ vaneijk_r:1999a,
  author = {Rogier {van Eijk}},
  title = {Review of \emph{Partiality, Modality, and
  	Nonmonotonicity}, edited by {P}atrick {D}oherty},
  journal = {Journal of Logic, Language, and Information},
  year = {1999},
  volume = {8},
  number = {2},
  pages = {251--254},
  xref = {Review of: doherty:1996a},
  topic = {partial-logic;modal-logic;nonmonotonic-logic;}
  }

@unpublished{ vanemdeboas-etal:1979a,
  author = {Peter {van emde Boas} and T.M.Y. Janssen},
  title = {The Impact of {F}rege's Principle of Compositionality for
  	the Semantics of Programming and Natural Languages},
  year = {1979},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript, Department of Mathematics, University
  	of Amsterdam.},
  missinginfo = {A's 1st name},
  topic = {semantics-of-programming-languages;semantic-compositionality;}
  }

@incollection{ vanemdeboas-etal:1980a,
  author = {Peter {van emde Boas} and Jeroen Groenendijk and Martin Stokhof},
  title = {The {Conway} Paradox: Its Solution in an Epistemic Framework},
  booktitle = {Proceedings of the 3rd {A}msterdam Colloquium},
  year = {1980},
  missinginfo = {Reference may be wrong.  Pages, publisher, etc missing.
  	Reference from fagin-etal:1991a.},
  topic = {epistemic-logic;Conway-paradox;}
  }

@incollection{ vanemdeboas-etal:1984a,
  author = {Peter {van emde Boas} and Jeroen Groenendijk and Martin Stokhof},
  title = {The {Conway} Paradox: Its Solution in an Epistemic Framework},
  booktitle = {Truth, Interpretation and Information: Selected Papers
  		from the Third {A}msterdam Colloquium},
  year = {1984},
  editor = {Jeroen Groenendijk and Theo M.V. Janssen and Martin Stokhof},
  publisher = {Foris Publications},
  address = {Dordrecht},
  pages = {159--182},
  topic = {epistemic-logic;Conway-paradox;}
  }

@techreport{ vanemdeboas-etal:1986a,
  author = {Peter {van emde Boas}},
  title = {A Semantical Model for Integration and Modularization of
  	Rules},
  institution = {Institute for Language, Logic and Information, University
  	of Amsterdam},
  number = {LP-86-02},
  year = {1986},
  address = {Faculty of Mathematics and Computer Science, Roeterssraat 15,
  	1018WB Amsterdam, Holland},
  rtnote = {In RHT collection.},
  topic = {proof-theory;databases;}
  }

@article{ vaneynde:1998a,
  author = {Frank {van Eynde}},
  title = {Review of \emph{Compositional Translation},
		by {M}.{T}. {R}osetta},
  journal = {Journal of Logic, Language, and Information},
  year = {1998},
  volume = {7},
  number = {1},
  pages = {107--110},
  topic = {machine-translation;}
  }

@article{ vaneynde:1998b,
  author = {Frank van Eynde},
  title = {Review of \emph{{M}achine Translation and Translation
  	Theory}, edited by {C}rista {H}auenschld and
  	{S}usanne {H}eizmann},
  journal = {Computational Linguistics},
  year = {1998},
  volume = {24},
  number = {3},
  pages = {516--519},
  xref = {Review of: hauenschld-heizmann:1997a.},
  topic = {machine-translation;}
  }

@book{ vaneynde-gibbon_d:2000a,
  editor = {Frank {Van Eynde} and Daffyd Gibbon},
  title = {Lexicon Development for Speech and Language Processing},
  publisher = {Kluwer Academic Publishers},
  year = {2000},
  address = {Dordrecht},
  ISBN = {0-7923-6868-X},
  xref = {Review: brew:2001a.},
  topic = {computational-lexicography;}
 }

@article{ vanfraassen:1966a,
  author = {Bas C. {Van Fraassen}},
  title = {Singular Terms, Truth-Value Gaps and Free Logic},
  journal = {Journal of Philosophy},
  year = {1966},
  volume = {3},
  pages = {481--495},
  missinginfo = {number},
  rtnote = {tmix-project;},
  topic = {reference-gaps;}
  }

@article{ vanfraassen:1966b,
  author = {Bas C. {van Fraassen}},
  title = {The Completeness of Free Logic},
  journal = {Zeitschrift f\"ur {M}athematische {L}ogik und
  	{G}rundlagen der {M}athematik},
  year = {1966},
  volume = {12},
  pages = {219--234},
  topic = {reference-gaps;}
  }

@article{ vanfraassen:1967a,
  author = {Bas C. {van Fraassen}},
  title = {Meaning Relations among Predicates},
  journal = {No\^us},
  year = {1967},
  volume = {1},
  number = {2},
  pages = {161--170},
  topic = {relevance-logic;}
  }

@article{ vanfraassen:1967b,
  author = {Bas C. {van Fraassen}},
  title = {On Free Description Theory},
  journal = {Zeitschrift f\"ur {M}athematische {L}ogik und
  	{G}rundlagen der {M}athematik},
  year = {1967},
  volume = {13},
  pages = {225--240},
  topic = {definite-descriptions;reference-gaps;}
  }

@article{ vanfraassen:1968a,
  author = {Bas C. van Fraassen},
  title = {Presupposition, Implications, and Self-Reference},
  journal={Journal of Philosophy},
  year = {1968},
  pages = {136--152},
  volume = {65},
  issue = {5},
  topic = {presupposition;self-reference;truth-value-gaps;}
  }

@article{ vanfraassen:1969a,
  author = {Bas C. {van Fraassen}},
  title = {Facts and Tautological Entailments},
  journal = {The Journal of Philosophy},
  year = {1969},
  volume = {66},
  number = {15},
  pages = {477--487},
  topic = {relevance-logic;facts;}
  }

@incollection{ vanfraassen:1969b,
  author = {Bas C. van Fraassen},
  title = {Presuppositions, Supervaluations, and Free Logic},
  booktitle = {The Logical Way of Doing Things},
  publisher = {Yale University Press},
  year = {1969},
  editor = {Karel Lambert},
  pages = {67--91},
  address = {New Haven, Connecticut},
  topic = {presupposition;truth-value-gaps;}
  }

@book{ vanfraassen:1971a,
  author = {Bas C. {van Fraassen}},
  title = {Formal Semantics and Logic},
  year = {1971},
  publisher = {The MacMillan Company},
  address = {New York},
  rtnote = {tmix-project;},
  topic = {philosophical-logic;}
 }

@article{ vanfraassen:1972a,
  author = {Bas C. {van Fraassen}},
  title = {The Logic of Conditional Obligation},
  journal = {Journal of Philosophical Logic},
  year = {1972},
  volume = {1},
  number = {3--4},
  pages = {417--438},
  rtnote = {Preprint in Files.},
  topic = {deontic-logic;conditional-obligation;}
  }

@unpublished{ vanfraassen:1972b,
  author = {Bas C. {van Fraassen}},
  title = {Theories and Counterfactuals},
  year = {1972},
  note = {Unpublished manuscript, University of Toronto.},
  rtnote = {In RHT collection.  This is the original handwritten MS.},
  missinginfo = {Date is a guess.},
  topic = {conditionals;philosophy-of-science;}
  }

@unpublished{ vanfraassen:1972c,
  author = {Bas C. {van Fraassen}},
  title = {Letter to {A}rthur {F}ine about `{P}robability
  	and the Logic of Conditionals'\, },
  year = {1972},
  note = {Unpublished manuscript, University of Toronto.},
  rtnote = {In RHT collection.  Handwritten MS.},
  topic = {quantum-logic;foundations-of-quantum-mechanics;}
  }

@incollection{ vanfraassen:1972d,
  author = {Bas C. van Fraassen},
  title = {Inference and Self-Reference},
  booktitle = {Semantics of Natural Language},
  publisher = {D. Reidel Publishing Co.},
  year = {1972},
  editor = {Donald Davidson and Gilbert H. Harman},
  pages = {695--708},
  address = {Dordrecht},
  topic = {context;pragmatics;}
  }

@incollection{ vanfraassen:1972e,
  author = {Bas C. van Fraassen},
  title = {A Formal Approach to the Philosophy of Science},
  booktitle = {Paradigms and Paradoxes: The Philosophical Challenge
  	of the Quantum Domain},
  publisher = {University of Pittsburgh Press},
  year = {1972},
  editor = {Robert G. Colodny},
  pages = {303--365},
  address = {Pittsburgh},
  topic = {philosophy-of-science;foundations-of-quantum-mechanics;}
  }

@article{ vanfraassen:1973a,
 author = {Bas C. {van Fraassen}},
 title = {Values and the Heart's Command},
 journal = {Journal of Philosophy},
 year = {1973},
 volume = {70},
 number = {1},
 pages = {5--19},
 month = {January 11},
 topic = {deontic-logic;moral-conflict;}
 }

@unpublished{ vanfraassen:1973b,
  author = {Bas C. {van Fraassen}},
  title = {The Axiological Ought},
  year = {1973},
  note = {Unpublished manuscript, University of Toronto.},
  rtnote = {In RHT collection.},
  topic = {deontic-logic;`ought';}
  }

@unpublished{ vanfraassen:1973c,
  author = {Bas C. {van Fraassen}},
  title = {Construcion on {P}opper Probability Functions},
  year = {1973},
  note = {Unpublished manuscript, University of Toronto.},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  topic = {primitive-conditional-probability;}
  }

@unpublished{ vanfraassen:1973d,
  author = {Bas C. {van Fraassen}},
  title = {The {E}instein-{P}odolsky-{R}osen Problem},
  year = {1973},
  note = {Unpublished manuscript, University of Toronto.  Marked
  	``Draft (Part I Only)''.},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  topic = {foundations-of-quantum-mechanics;}
  }

@article{ vanfraassen:1974a,
  author = {Bas C. {van Fraassen}},
  title = {Hidden Variables in Conditional Logic},
  journal = {Theoria},
  year = {1974},
  volume = {40},
  number = {3},
  pages = {176--190},
  rtnote = {In RHT collection.},
  topic = {conditionals;supervaluations;quantum-logic;}
  }

@unpublished{ vanfraassen:1975a,
  author = {Bas C. {van Fraassen}},
  title = {Representation of {P}opper Conditional Probabilities},
  year = {1975},
  note = {Unpublished manuscript, University of Toronto.},
  rtnote = {In RHT collection.},
  topic = {primitive-conditional-probability;}
  }

@unpublished{ vanfraassen:1975b,
  author = {Bas C. {van Fraassen}},
  title = {Strange Tales of Explanation},
  year = {1975},
  note = {Unpublished manuscript, University of Toronto.},
  rtnote = {In RHT collection.},
  missinginfo = {Year is a wild guess.},
  topic = {explanation;}
  }

@unpublished{ vanfraassen:1975c,
  author = {Bas C. {van Fraassen}},
  title = {To Save the Phenomena},
  year = {1975},
  note = {Unpublished manuscript, University of Toronto.},
  rtnote = {In RHT collection.},
  topic = {philosophy-of-science;evidence;}
  }

@article{ vanfraassen:1976a,
  author = {Bas C. {van Fraassen}},
  title = {Representation of Conditional Probabilities},
  journal = {Journal of Philosophical Logic},
  year = {1976},
  volume = {5},
  number = {3},
  pages = {417--430},
  topic = {primitive-conditional-probability;}
  }

@unpublished{ vanfraassen:1976b,
  author = {Bas C. {van Fraassen}},
  title = {Notes on Probabilities of Conditionals {II}},
  year = {1976},
  note = {Unpublished manuscript, Princeton University.},
  rtnote = {In RHT collection.},
  topic = {conditionals;probability;}
  }

@unpublished{ vanfraassen:1976c,
  author = {Bas C. {van Fraassen}},
  title = {Notes on Probabilities of Conditionals {III}},
  year = {1976},
  note = {Unpublished manuscript, Princeton University.},
  rtnote = {In RHT collection.},
  topic = {conditionals;probability;}
  }

@article{ vanfraassen:1977a,
  author = {Bas C. {van Fraassen}},
  title = {Erratum},
  journal = {Journal of Philosophical Logic},
  year = {1977},
  volume = {6},
  pages = {365},
  missinginfo = {number},
  note = {Erratum to \cite{vanfraassen:1976a}.},
  topic = {primitive-conditional-probability;}
  }

@unpublished{ vanfraassen:1977b,
  author = {Bas C. {van Fraassen}},
  title = {Modelling the Ideal Epistemic Agent},
  year = {1977},
  note = {Unpublished manuscript, University of Toronto.},
  rtnote = {In RHT collection.},
  topic = {primitive-conditional-probability;probabilistic-semantics;
		epistemic-semantics;}
  }

@article{ vanfraassen:1977c,
  author = {Bas C. {van Fraassen}},
  title = {The Pragmatics of Explanation},
  journal = {American Philosophical Quarterly},
  year = {1977},
  volume = {14},
  number = {2},
  pages = {143--150},
  topic = {explanation;}
  }

@unpublished{ vanfraassen:1978a,
  author = {Bas C. {van Fraassen}},
  title = {Belief and Context},
  year = {1977},
  note = {Unpublished manuscript, Princeton University.},
  rtnote = {In RHT collection.},
  xref = {Publication: vanfraassen:1979d.},
  topic = {propositional-attitudes;context;}
  }

@unpublished{ vanfraassen:1978b,
  author = {Bas C. {van Fraassen}},
  title = {A Small Defense of {J}effrey Conditionalization
  	against {L}evi},
  year = {1977},
  note = {Unpublished manuscript, University of Toronto.},
  rtnote = {In RHT collection.},
  topic = {probability-kinematics;}
  }

@unpublished{ vanfraassen:1979a,
  author = {Bas C. {van Fraassen}},
  title = {A Re-examination of {A}ristotle's Philosophy of
  	Science},
  year = {1979},
  note = {Unpublished manuscript, University of Toronto.},
  rtnote = {In RHT collection.},
  topic = {Aristotle;philosophy-of-science;}
  }

@unpublished{ vanfraassen:1979b,
  author = {Bas C. {van Fraassen}},
  title = {Conditionalization: Trivial or False?},
  year = {1979},
  note = {Unpublished manuscript, University of Toronto.},
  rtnote = {In RHT collection.},
  topic = {probability-kinematics;}
  }

@unpublished{ vanfraassen:1979c,
  author = {Bas C. {van Fraassen}},
  title = {Perception: {C}arneades and {A}ugustine},
  year = {1979},
  note = {Unpublished manuscript, University of Toronto.},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  topic = {probability-kinematics;}
  }

@article{ vanfraassen:1979d,
  author = {Bas C. van Fraassen},
  title = {Propositional Attitudes in Weak Pragmatics},
  journal = {Studia Logica},
  year = {1979},
  volume = {38},
  number = {4},
  pages = {365--374},
  xref = {Publication of: vanfraassen:1978a. Commentary: reddam:1982a.},
  rtnote = {In RHT collection.},
  topic = {propositional-attitudes;context;}
  }

@incollection{ vanfraassen:1979e,
  author = {Bas C. van Fraassen},
  title = {The Labyrinth of Quantum Logics},
  booktitle = {The Logico-Algebraic Approach to Quantum Mechanics},
  publisher = {D. Reidel Publishing Co.},
  year = {1979},
  editor = {Clifford A. Hooker},
  pages = {577--607},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {quantum-logic;}
  }

@incollection{ vanfraassen:1980a,
  author = {Bas C. {Van Fraassen}},
  title = {A Temporal Framework for Conditionals and Chance},
  booktitle = {Ifs: Conditionals, Belief, Decision, Chance, and Time},
  publisher = {D. Reidel Publishing Co.},
  year = {1980},
  editor = {William L. Harper and Glenn Pearce and Robert Stalnaker},
  pages = {323--340},
  address = {Dordrecht},
  rtnote = {tmix-project;},
  topic = {conditionals;foundations-of-probability;branching-time;}
 }

@book{ vanfraassen:1980b,
  author = {Bas C. van Fraassen},
  title = {The Scientific Image},
  publisher = {Oxford University Press},
  address = {Oxford},
  year = {1980},
  rtnote = {In RHT Collection.  LLP single author shelves.},
  topic = {philosophy-of-science;empiricism;}
 }

@article{ vanfraassen:1981a,
  author = {Bas C. {van Fraassen}},
  title = {Probabilistic Semantics Objectified: {I}. Postulates and
  	Logics},
  journal = {Journal of Philosophical Logic},
  year = {1981},
  volume = {10},
  number = {2},
  pages = {371--394},
  topic = {probability-semantics;epistemic-semantics;}
  }

@article{ vanfraassen:1981b,
  author = {Bas C. {van Fraassen}},
  title = {Probabilistic Semantics Objectified: {II}. Implication in
  	Probabilistic Model Sets},
  journal = {Journal of Philosophical Logic},
  year = {1981},
  volume = {10},
  number = {4},
  pages = {495--510},
  topic = {probability-semantics;epistemic-semantics;}
  }

@article{ vanfraassen:1981c,
  author = {Bas C. Van Fraassen},
  title = {A Problem for Relative Information Minimizers
  	in Probability Kinematics},
  journal = {British Journal for the Philosophy of Science},
  year = {1981},
  volume = {32},
  pages = {375--379},
  missinginfo = {number},
  topic = {probability-kinematics;}
  }

@article{ vanfraassen:1982a,
  author = {Bas C. Vanfraassen},
  title = {Epistemic Semantics Defended},
  journal = {Journal of Philosophical Logic},
  year = {1982},
  volume = {11},
  number = {4},
  pages = {463--464},
  topic = {epistemic-semantics;}
  }

@article{ vanfraassen:1982b,
  author = {Bas C. {van Fraassen}},
  title = {Quantification as an Act of Mind},
  journal = {Journal of Philosophical Logic},
  year = {1982},
  volume = {11},
  number = {3},
  pages = {343--369},
  topic = {epistemic-semantics;}
  }

@unpublished{ vanfraassen:1982c,
  author = {Bas C. {van Fraassen}},
  title = {Gentlemen's Wagers: Relevant Logic and Probability},
  year = {1982},
  note = {Unpublished manuscript, Princeton University.},
  rtnote = {In RHT collection.},
  missinginfo = {Year is a guess.},
  topic = {probability-logic;relevance-logic;}
  }

@article{ vanfraassen:1983a,
  author = {Bas C. {Van Fraassen}},
  title = {Glenn {S}hafer on Conditional Probability},
  journal = {Journal of Philosophical Logic},
  year = {1983},
  volume = {12},
  number = {4},
  pages = {467--470},
  topic = {probability-kinematics;}
  }

@article{ vanfraassen:1984a,
  author = {Bas C. {van Fraassen}},
  title = {Belief and the Will},
  journal = {Journal of Philosophy},
  year = {1984},
  volume = {81},
  pages = {235--256},
  contentnote = {This is the diachronic Dutch Book paper.},
  missinginfo = {number},
  topic = {epistemic-kinematics;probability-kinematics;will-to-believe;
  	belief;volition;}
  }

@article{ vanfraassen:1986a,
  author = {Bas C. {van Fraassen}},
  title = {A Demonstration of the {J}effrey Conditionalization Rule},
  journal = {Erkenntnis},
  year = {1986},
  volume = {24},
  pages = {17--24},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {conditionalization;probability;probability-kinematics;}
  }

@incollection{ vanfraassen:1988a,
  author = {Bas C. van Fraassen},
  title = {The Peculiar Effects of Love and Desire},
  booktitle = {Perspectives on Self-Deception},
  publisher = {University of California Press},
  year = {1988},
  editor = {Am\'elie Rorty and Brian McLaughlin},
  pages = {123--156},
  address = {Berkeley, California},
  topic = {self-deception;emotion;}
  }

@book{ vanfraassen:1989a,
  author = {Bas C. {van Fraassen}},
  title = {Laws and Symmetry},
  year = {1989},
  publisher = {Oxford University Press},
  address = {Oxford},
  xref = {Review: morton_a:1993a.},
  topic = {natural-laws;philosophy-of-science;philosophy-of-physics;}
  }

@incollection{ vanfraassen:1991a,
  author = {Bas C. {van Fraassen}},
  title = {Time in Physical and Narrative Structure},
  booktitle = {Chronotypes: The Construction of Time},
  publisher = {Stanford University Press},
  year = {1991},
  editor = {J.Bender and D. E. Wellbery},
  pages = {19--37},
  address = {Stanford, California},
  rtnote = {HILLMAN BD638 C48 1991},
  rtnote = {In RHT collection.},
  topic = {narratives;philosophy-of-literature;discourse;pragmatics;}
  }

@article{ vanfraassen:1995a,
  author = {Bas C. {van Fraassen}},
  title = {Belief and the Problem of {U}lysses and the Sirens},
  journal = {Philosophical Studies},
  year = {1995},
  volume = {77},
  pages = {7--37},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {philosophy-of-belief;will-to-believe;belief;rationality;}
  }

@article{ vanfraassen:1995b,
  author = {Bas C. {van Fraassen}},
  title = {Fine-Grained Opinion, Probability, and the Logic of Full
  	Belief},
  journal = {Journal of Philosophical Logic},
  year = {1995},
  volume = {24},
  number = {4},
  pages = {349--377},
  rtnote = {Read this.},
  topic = {probability;epistemic-logic;belief;}
  }

@article{ vanfraassen:1995c,
  author = {Bas C. {van Fraassen}},
  title = {`{W}orld' is not a Count Noun},
  journal = {No\^us},
  year = {1995},
  volume = {29},
  pages = {139--157},
  missinginfo = {number},
  topic = {foundations-of-modal-logic;philosophy-of-possible-worlds;}
  }

@incollection{ vanfraassen:1997a,
  author = {Bas C. {van Fraassen}},
  title = {Putnam's Paradox: Metaphysical Realism
				Revamped and Evaded},
  booktitle = {Philosophical Perspectives 11: Mind, Causation, and World},
  publisher = {Blackwell Publishers},
  year = {1997},
  editor = {James E. Tomberlin},
  pages = {17--42},
  address = {Oxford},
  rtnote = {In RHT collection.},
  topic = {philosophical-realism;}
  }

@article{ vanfraassen:1997b,
  author = {Bas C. {van Fraassen}},
  title = {Elgin on {L}ewis' {P}utnam's Paradox},
  journal = {The Journal of Philosophy},
  year = {1997},
  volume = {94},
  number = {2},
  pages = {85--93},
  topic = {realism;truth;}
  }

@unpublished{ vanfraassen:2002a,
  author = {Bas C. van Fraassen},
  title = {Tensed Language with SUbjective Probability},
  year = {2002},
  note = {Unpublished manuscript, Princeton University.},
  rtnote = {In RHT collection.},
  rtnote = {See email message RT to BvF, June 25, 2002.},
  topic = {tense-logic;epistemic-logic;probability;
		sleeping-beauty-problem;probability;indexicals;}
  }

@book{ vanfraassen:2006a,
  author = {Bas C. {Van Fraassen}},
  title = {Quantum Mechanics:  An Empiricist View},
  publisher = {Oxford University Press},
  year = {2006},
  address = {Oxford},
  ISBN = {978-0-19-823980-2},
  rtnote = {In RHT collection.  Philsci Shelves.},
  topic = {philosophy-of-science;quantum-mechanics;}
 }

@book{ vanfraassen:2007a,
  author = {Bas C. van Fraassen},
  title = {The Fortunes of Enpiricism},
  publisher = {Transaction Publishers},
  year = {2007},
  address = {Rutgers, New Jersey},
  ISBN = {978-3-938793-14-5},
  topic = {empiricism;philosophy-of-science;}
 }

@unpublished{ vanfraassen:2007b,
  author = {Bas van Fraassen},
  title = {Theories about Ourselves},
  year = {2007},
  note = {Unpublished manuscript, Princeton.},
  rtnote = {In RHT collection.},
  topic = {syntactic-attitudes;}
  }

@book{ vanfraassen:2008a,
  author = {Bas C. {van Fraassen}},
  title = {Scientific Representation:  Paradoxes of Perspective},
  publisher = {Oxford University Press},
  year = {2008},
  address = {Oxford},
  xref = {Reviews: giere:2009a, barrett_ja:2009a},
  topic = {philosophy-of-science;empiricism;quantum-mechanics;}
 }

@article{ vanfraassen-etal:1986a,
  author = {Bas C. {van Fraassen} and R.I.G. Hughes and Glibert Harman},
  title = {A Problem for Relative Information Minimizers in
  	Probability Kinematics, Continued},
  journal = {British Journal for the Philosophy of Science},
  year = {1986},
  volume = {37},
  pages = {453--475},
  missinginfo = {number},
  topic = {probability-kinematics;}
  }

@inproceedings{ vangeenhoven:1999a,
  author = {Veerle van Geenhoven},
  title = {A Before and After Picture of When-, Before-, and After-
  		Clauses},
  booktitle = {Proceedings from Semantics and Linguistic Theory {IX}},
  publisher = {Cornell University},
  year = {1999},
  editor = {Tanya Matthews and Devon Strolovitch},
  pages = {298--315},
  address = {Ithaca, New York},
  topic = {nl-semantics;temporal-adverbials;}
  }

@inproceedings{ vangeenhoven:2000a,
  author = {Veerle Van Geenhoven},
  title = {Pro Properties, Contra Kinds},
  booktitle = {Proceedings from Semantics and Linguistic Theory {X}},
  publisher = {Cornell University},
  year = {2000},
  editor = {Brendan Jackson and Tanya Matthews},
  pages = {221--238},
  address = {Ithaca, New York},
  topic = {nl-semantics;plural;generics;}
  }

@article{ vangeenhoven:2004a,
  author = {Veerle van Geenhoven},
  title = {\,`For'-Adverbials, Frequentative Aspect, and Pluractionality},
  journal = {Natural Language Semantics},
  year = {2003},
  volume = {12},
  number = {2},
  pages = {135--190},
  topic = {tense-aspect;Aktionsarten;}
  }

@article{ vangelder_a-etal:1991a,
  author = {Allen {van Gelder} and Kenneth A. Ross and John S. Schilpf},
  title = {The Well-Founded Semantics for General Logic Programs},
  journal = {Journal of the {ACM}},
  year = {1991},
  volume = {38},
  number = {3},
  pages = {620--662},
  rtnote = {In RHT collection.},
  contentnote = {This paper introduces the well founded partial model
	semantics for logic programs.},
  topic = {logic-programming;well-founded-semantics;}
  }

@article{ vangelder_t:1995a,
  author = {Timothy {van Gelder}},
  title = {What Might Cognition Be, if not Computation?},
  journal = {Journal of Philosophy},
  year = {1995},
  volume = {91},
  number = {7},
  pages = {345--381},
  topic = {foundations-of-cognition;}
  }

@unpublished{ vangelder_t:1997a,
  author = {Timothy {van Gelder}},
  title = {The Dynamical Hypothesis in Cognitive Science},
  year = {1997},
  note = {Unpublished manuscript, University of Melbourne.},
  rtnote = {In RHT collection.},
  rtnote = {Probably published in BBS.},
  topic = {dynamic-systems;foundations-of-cognition;}
  }

@inproceedings{ vangenabith-crouch:1997a,
  author = {Josef {Van Genabith} and Richard Crouch},
  title = {On Interpreting {F}-Structures as {UDRs}s},
  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 = {402--409},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  topic = {semantic-underspecification;LFG;}
 }

@incollection{ vangulick:1993a,
  author = {Robert {van Gulick}},
  title = {Who's in Charge Here?  And Who's
       		Doing All the Work?},
  booktitle = {Mental Causation},
  publisher = {Oxford University Press},
  year = {1993},
  editor = {John Heil and Alfred R. Mele},
  pages = {233--256},
  address = {Oxford},
  topic = {mind-body-problem;explanation;}
  }

@incollection{ vangulick:2007a,
  author = {Robert Van Gulick},
  title = {Consciousness},
  booktitle = {The {S}tanford Encyclopedia of Philosophy},
  editor = {Edward N. Zalta},
  url = {http://plato.stanford.edu/archives/spr2007/entries/consciousness/},
  year = {2007},
  rtnote = {In RHT collection.  M&M files.},
  topic = {consciousness;intentionality;philosophy-of-mind;}
}

@book{ vanhalteren:1999a,
  editor = {Hans {van Halteren}},
  title = {Syntactic Wordclass Tagging},
  publisher = {Kluwer Academic Publishers},
  year = {1999},
  address = {Dordrecht},
  ISBN = {079235896-1},
  xref = {Review: ratnaparkhi:2000a.},
  topic = {part-of-speech-tagging;}
 }

@inproceedings{ vanhalteren-etal:1998a,
  author = {Hans {van Halteren} and Jakub Zavrel and Walter Daelemans},
  title = {Improving Data Driven Wordclass Tagging by System
  	Combination},
  booktitle = {Proceedings of the Thirty-Sixth Annual Meeting of the
  	{A}ssociation for {C}omputational {L}inguistics and
	Seventeenth International Conference on
	Computational Linguistics},
  year = {1998},
  editor = {Christian Boitet and Pete Whitelock},
  pages = {491--497},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {part-of-speech-tagging;machine-learning;}
}

@incollection{ vanhalterin:2000a,
  author = {Hans van Halterin},
  title = {Chunking with {WPDV} 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 = {154--156},
  address = {Somerset, New Jersey},
  topic = {machine-language-learning;text-chunking;}
  }

@incollection{ vanhalterin:2002a,
  author = {Hans van Halterin},
  title = {Teaching {NLP} through Games:  The
     		Case of Parsing},
  booktitle = {Effective Tools and Methodologies for Teaching
  	{NLP} and {CL}},
  publisher = {Association for Computational Linguistics},
  year = {2002},
  editor = {Dragomir Radev and Chris Brew},
  pages = {1--8},
  address = {New Brunswick, New Jersey},
  topic = {nlp-pedagogy;}
  }

@article{ vanhalterin-etal:2001a,
  author = {Hans van Halterin and Jakub Zavrel and Walter Daelemans},
  title = {Improving Accuracy in Word Class Tagging through the
  		Combination of Machine Learning Systems},
  journal = {Computational Linguistics},
  year = {2001},
  volume = {27},
  number = {2},
  pages = {199--229},
  topic = {machine-learning;part-of-speech-tagging;}
  }

@incollection{ vanharmelen:1994a,
  author = {Frank van Harmelen},
  title = {A Model of Costs and Benefits of
    		Meta-Level Computation},
  booktitle = {Logic Programming Synthesis and Transformation,
  	Meta-Programming in Logic: Fourth International Workshops,
	{LOBSTR}'94 and	{META}'94, Pisa, Italy},
  publisher = {Springer-Verlag},
  year = {1994},
  editor = {Laurent Fribourg and Franco Turini},
  pages = {248--261},
  address = {Berlin},
  topic = {metaprogramming;}
  }

@article{ vanharmelen-bundy:1988a,
  author = {Frank van Harmelen and Alan Bundy},
  title = {Explanation-Based Generalisation=Partial Evaluation},
  journal = {Artificial Intelligence},
  year = {1988},
  volume = {36},
  number = {3},
  pages = {401--412},
  acontentnote = {Abstract:
     We argue that explanation-based generalisation as recently
     proposed in the machine learning literature is essentially
     equivalent to partial evaluation, a well-known technique in the
     functional and logic programming literature.  We show this
     equivalence by analysing the definitions and underlying
     algorithms of both techniques, and by giving a PROLOG program
     which can be interpreted as doing either explanation-based
     generalisation or partial evaluation.  },
  topic = {machine-learning;explanation-based-learning;logic-programming;}
  }

@book{ vanheijenoort:1967a,
  editor = {Jan {van Heijenoort}},
  title = {From {F}rege to {G}\"odel},
  publisher = {Harvard University Press},
  year = {1967},
  address = {Cambridge, Massachusetts},
  rtnote = {In RHT Collection.  Logic shelves.},
  topic = {Frege;Goedel;history-of-logic;logic-classics;}
  }

@article{ vanheijenoort:1977a,
  author = {Jan {van Heijenoort}},
  title = {Sense in {F}rege},
  journal = {Journal of Philosophical Logic},
  year = {1977},
  volume = {6},
  number = {1},
  pages = {93--102},
  topic = {Frege;sense-reference;}
  }

@article{ vanheijenoort:1977b,
  author = {Jan {van Heijenoort}},
  title = {Frege on Sense Identity},
  journal = {Journal of Philosophical Logic},
  year = {1977},
  volume = {6},
  number = {1},
  pages = {103--108},
  topic = {Frege;sense-reference;}
  }

@article{ vanhentenryck:1998a,
  author = {Pascal van Hentenryck},
  title = {A Gentle Introduction to {NUMERICA}},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {103},
  number = {1--2},
  pages = {209--235},
  acontentnote = {Abstract:
     NUMERICA is a modeling language for stating and solving global
     optimization problems.  It makers it possible to express these
     problems in a notation close to the way these problems are
     stated in textbooks or scientific papers.  In addition, the
     constraint-solving algorithm of NUMERICA, which combines
     techniques from numerical analysis and artificial intelligence,
     provides many guarantees about correctness, convergence, and
     completeness.
      This paper is a gentle introduction to NUMERICA.  It highlights
     some of the main difficulties of global optimization and
     illustrates the functionality of NUMERICA by contrasting it to
     traditional methods.  It also presents the essence of the
     constraint-solving algorithm of NUMERICA in a novel, high-level,
     way.  },
  topic = {optimization;}
  }

@inproceedings{ vanhentenryck:1999a,
  author = {Pascal {Van Hentenryck}},
  title = {Constraint Programming Languages (Abstract)},
  booktitle = {Workshop on Logic-Based Artificial Intelligence,
	       Washington, DC, June 14--16, 1999},
  year = {1999},
  editor = {Jack Minker},
  publisher = {Computer Science Department, University of Maryland},
  address = {College Park, Maryland},
  topic = {constraint-programming;}
  }

@article{ vanhentenryck-etal:1992a,
  author = {Pascal {Van Hentenryck} and Helmut Simonis and Mehmet Dincbas},
  title = {Constraint Satisfaction Using Constraint Logic
  	Programming},
  journal = {Artificial Intelligence},
  year = {1992},
  volume = {58},
  number = {1--3},
  pages = {113--159},
  topic = {constraint-logic-programming;constraint-satisfaction;}
  }

@article{ vanhentenryck-etal:1992b,
  author = {Pascal {Van Hentenryck} and Yves Deville and Choh-Man Teng},
  title = {A Generic Arc-Consistency Algorithm and Its
  	Specializations},
  journal = {Artificial Intelligence},
  year = {1992},
  volume = {57},
  number = {2--3},
  pages = {291--321},
  acontentnote = {Abstract:
     Consistency techniques have been studied extensively in the past
     as a way of tackling constraint satisfaction problems (CSP).  In
     particular, various arc-consistency algorithms have been
     proposed, originating from Waltz's filtering algorithm [27] and
     culminating in the optimal algorithm AC-4 of Mohr and Henderson
     [16].  AC-4 runs in O(ed2) in the worst case, where e is the
     number of arcs (or constraints) and d is the size of the largest
     domain.  Being applicable to the whole class of (binary) CSP,
     these algorithms do not take into account the semantics of
     constraints.
      In this paper, we present a new generic arc-consistency
     algorithm AC-5.  This algorithm is parametrized on two specified
     procedures and can be instantiated to reduce to AC-3 and AC-4.
     More important, AC-5 can be instantiated to produce an O(ed)
     algorithm for a number of important classes of constraints:
     functional, anti-functional, monotonic, and their generalization
     to (functional, anti-functional, and monotonic) piecewise
     constraints.
      We also show that AC-5 has an important application in
     constraint logic programming over finite domains [24].  The
     kernel of the constraint solver for such a programming language
     is an arc-consistency algorithm for a set of basic constraints.
     We prove that AC-5, in conjunction with node consistency,
     provides a decision procedure for these constraints running in
     time O(ed). },
  topic = {constraint-logic-programming;arc-(in)consistency;}
  }

@article{ vaninwagen:1974a,
  author = {Peter {van Inwagen}},
  title = {A Formal Approach to the Problem of Free Will and
  	Determinism},
  journal = {Theoria},
  volume = {40},
  year = {1974},
  pages = {9--22},
  rtnote = {In RHT collection.},
  topic = {(in)determinism;}
    }

@article{ vaninwagen:1977a,
  author = {Peter {van Inwagen}},
  title = {Reply to {N}arveson},
  journal = {Philosophical Studies},
  volume = {32},
  year = {1977},
  pages = {89--98},
  topic = {causality;(in)determinism;}
    }

@article{ vaninwagen:1977b,
  author = {Peter {van Inwagen}},
  title = {Reply to {G}allois},
  journal = {Philosophical Studies},
  volume = {32},
  year = {1977},
  pages = {107--111},
  topic = {causality;(in)determinism;}
    }

@article{ vaninwagen:1978a,
  author = {Peter {van Inwagen}},
  title = {Ability and Responsibility},
  journal = {Philosophical Review},
  volume = {87},
  year = {1978},
  pages = {201--224},
  topic = {ability;blameworthiness;}
    }

@article{ vaninwagen:1981a,
  author = {Peter van Inwagen},
  title = {Why {I} Don't Understand Substitutional Quantification},
  journal = {Philosophical Studies},
  year = {1981},
  volume = {39},
  pages = {281--285},
  rtnote = {In RHT collection.},
  missinginfo = {number},
  topic = {substitutional-quantification;}
  }

@incollection{ vaninwagen:1989a,
  author = {Peter van Inwagen},
  title = {When is the Will Free?},
  booktitle = {Philosophical Perspectives 3:
  	Philosophy of Mind and Action Theory},
  publisher = {Ridgeview Publishing Company},
  year = {1989},
  editor = {James E. Tomberlin},
  pages = {399--422},
  address = {Atasacadero, California},
  note = {Also available at http://www.jstor.org/journals/.},
  rtnote = {In RHT collection.},
  topic = {freedom;volition;}
  }

@incollection{ vaninwagen:1994a,
  author = {Peter van Inwagen},
  title = {Composition as Identity},
  booktitle = {Philosophical Perspectives, Volume 8:
  	Logic and Language},
  publisher = {Blackwell Publishers},
  year = {1994},
  editor = {James E. Tomberlin},
  pages = {207--220},
  address = {Oxford},
  note = {Also available at http://www.jstor.org/journals/.},
  topic = {mereology;philosophical-ontology;
  	semantics-of-mass-terms;individuation;}
  }

@book{ vaninwagen:1997a,
  author = {Peter {van Inwagen}},
  title = {An Essay on Free Will},
  publisher = {Oxford},
  year = {1997},
  address = {Oxford, England},
  topic = {freedom;volition;}
 }

@incollection{ vaninwagen:1997b,
  author = {Peter {van Inwagen}},
  title = {Materialism and the Psychological-Continuity Account of
  	Personal Identity},
  booktitle = {Philosophical Perspectives 11: Mind, Causation, and World},
  publisher = {Blackwell Publishers},
  year = {1997},
  editor = {James E. Tomberlin},
  pages = {305--348},
  address = {Oxford},
  rtnote = {In RHT collection.},
  topic = {personal-identity;}
  }

@incollection{ vaninwagen:2000a,
  author = {Peter van Inwagen},
  title = {Free Will Remains a Mystery},
  booktitle = {Philosophical Perspectives 14: Action and Freedom},
  publisher = {Blackwell Publishers},
  year = {2000},
  editor = {James E. Tomberlin},
  pages = {1--19},
  address = {Oxford},
  topic = {freedom;volition;}
  }

@article{ vaninwagen:2006a,
  author = {Peter van Inwagen},
  title = {Can Mereological Sums Change Their Parts?},
  journal = {The Journal of Philosophy},
  year = {2006},
  volume = {103},
  number = {1},
  pages = {614--630},
  topic = {mereology;metaphysics;}
  }

@article{ vankerkhove-vanackere:2003a,
  author = {Bart van Kerkhove and Guido Vanackere},
  title = {Vagueness-Adaptive Logic:  A Pragmatical Approach to
  		{S}orites Paradoxes},
  journal = {Studia Logica},
  year = {2003},
  volume = {75},
  number = {3},
  pages = {383--411},
  topic = {paraconsistency;vagueness;sorites-paradox;}
  }

@book{ vankralingen:1995a,
  author = {R.W. van Kralingen},
  year = {1995},
  title = {Frame-based Conceptual Models of Statute Law},
  publisher = {Computer/Law Series, Kluwer Law International},
  address = {The Hague},
  topic = {legal-AI;}
  }

@article{ vankuppevelt:1996a,
  author = {Jan {van Kuppevelt}},
  title = {Inferring from Topics: Scalar Implicatures as
  	Topic-Dependent Inferences},
  journal = {Linguistics and Philosophy},
  year = {1996},
  volume = {19},
  number = {4},
  pages = {393--443},
  topic = {implicature;scalar-implicature;d-topic;s-topic;pragmatics;}
  }

@inproceedings{ vankuppevelt:1997a,
  author = {Jan {van Kuppevelt}},
  title = {Context and Inference in Topical Structure Theory},
  booktitle = {Working Papers of the {AAAI} Fall Symposium on
  	Context in Knowledge Representation and Natural Language},
  year = {1997},
  editor = {Sa\v{s}a Buva\v{c} and {\L}ucia Iwa\'nska},
  pages = {176--185},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  topic = {context;}
  }

@book{ vankuppevelt-smith_rw:2003a,
  editor = {Jan van Kuppevelt and Ronnie W. Smith},
  title = {Current and New Directions in Discourse and Dialogue},
  publisher = {Kluwer Academic Publishers},
  year = {2003},
  address = {Dordrecht},
  ISBN = {1-4020-1615-8},
  xref = {Review: stone_m:2004a},
  topic = {computational-dialogue;}
 }

@techreport{ vanlambalgen:1988a,
  author = {Michiel van Lambalgen},
  title = {Algorithmic Information Theory},
  institution = {Institute for Language, Logic and Information, University
  	of Amsterdam},
  number = {88--01},
  year = {1988},
  address = {Faculty of Mathematics and Computer Science, Roeterssraat 15,
  	1018WB Amsterdam, Holland},
  rtnote = {In RHT collection.},
  topic = {algorithmic-information-theory;}
  }

@article{ vanlambalgen:2000a,
  author = {Michiel van Lambalgen},
  title = {Editorial: An Invitation to Cognitive Science},
  journal = {Journal of Logic, Language, and Information},
  year = {2000},
  volume = {10},
  number = {2},
  pages = {145--146},
  topic = {cognitive-science-editorial;}
  }

@article{ vanlambalgen-counihan:2008a,
  author = {Michiel van Lambalgen and Marian Counihan},
  title = {Formal Models for Real People},
  journal = {Journal of Logic, Language, and Information},
  year = {2008},
  volume = {17},
  number = {4},
  pages = {385--389},
  topic = {psychology-of-reasoning;cognitive-science;}
  }

@article{ vanlambalgen-etal:2008a,
  author = {Michiel van Lambalgen and Claudia van Kruistum and
  		Esther Parigger},
  title = {Discourse Processing in Attention-Deficit
  		Hyperactivity Disorder {(ADHD)}},
  journal = {Journal of Logic, Language, and Information},
  year = {2008},
  volume = {17},
  number = {4},
  pages = {467--487},
  topic = {opsycholinguistics;discourse;clinical-psychology;}
  }

@book{ vanlambargen-hamm:2005a,
  author = {Michiel van Lambargen and Fritz Hamm},
  title = {The Proper Treatment of Events},
  publisher = {Blackwell Publishers},
  year = {2005},
  address = {Oxford},
  xref = {Review: kracht:2006a.},
  topic = {nl-semantics;events;}
 }

@incollection{ vanlambargen-hamm:2005b,
  author = {Michiel van Lambargen and Fritz Hamm},
  title = {Intensionality and Coercion},
  booktitle = {Intensionality},
  publisher = {A.K. Peters, Ltd.},
  year = {2005},
  editor = {Reinhard Kahle},
  pages = {97--122},
  address = {Wellesley, Massachusetts},
  topic = {Aktionsarten;}
  }

@book{ vanleeuven:1990a,
  editor = {Jan {van Leeuven}},
  title = {Handbook of Theoretical Computer Science: Algorithms and
  	Complexity},
  publisher = {The {MIT} Press},
  year = {1990},
  volume = {A},
  address = {Cambridge, Massachusetts},
  topic = {algorithms;algorithmic-complexity;}
 }

@book{ vanleeuven:1990b,
  editor = {Jan {van Leeuven}},
  title = {Handbook of Theoretical Computer Science: Formal Models
  	and Semantics},
  publisher = {The {MIT} Press},
  year = {1990},
  volume = {B},
  address = {Cambridge, Massachusetts},
  topic = {semantics-of-programming-languages;}
 }

@phdthesis{ vanleeuwen:1991a,
  author = {Jacques van Leeuwen},
  title = {Individuals and Sortal Concepts},
  school = {University of Amsterdam},
  year = {1991},
  type = {Ph.D. Dissertation},
  address = {Amsterdam},
  topic = {semantics-of-common-nouns;identity;individuation;}
 }

@techreport{ vanleeuwen:1993a,
  author = {Jacques {van Leeuwen}},
  title = {Identity: Quarrelling with an Unproblematic Notion},
  institution = {Institute for Language, Logic and Information, University
  	of Amsterdam},
  number = {LP--93--04},
  year = {1993},
  address = {Faculty of Mathematics and Computer Science, Roeterssraat 15,
  	1018WB Amsterdam, Holland},
  rtnote = {In RHT collection.},
  topic = {identity;}
  }

@techreport{ vanlehn:1978a,
  author = {Kurt VanLehn},
  title = {Determining the Scope of {E}nglish Quantifiers},
  institution = {Massachusetts Institute of Technology Artificial
  	Intelligence Laboratory},
  number = {AI-TR-483},
  year = {1978},
  address = {Cambridge, Massachusetts},
  rtnote = {In RHT collection.},
  topic = {nl-interpretation;quantifiers;}
  }

@article{ vanlehn:1985a,
  author = {Kurt VanLehn},
  title = {Review of \emph{{M}achine Learning: An Artificial
  	Intelligence Approach }, by {R}.{S}. {M}ichalski, {J}.{G}.
	{C}arbonell and {T}.{M}. {M}itchell},
  journal = {Artificial Intelligence},
  year = {1985},
  volume = {25},
  number = {2},
  pages = {233--236},
  xref = {Review of michalski-etal:1983a.},
  topic = {machine-learning;}
  }

@article{ vanlehn:1986a,
  author = {Kurt VanLehn},
  title = {Review of \emph{{T}he Architecture of Cognition}, by {J}ohn {R}.
  	{A}nderson},
  journal = {Artificial Intelligence},
  year = {1986},
  volume = {28},
  number = {2},
  pages = {235--240},
  xref = {Review of anderson:1983a.},
  topic = {cognitive-architectures;foundations-of-cognitive-science;
  	cognitive-psychology;}
  }

@article{ vanlehn:1987a,
  author = {Kurt VanLehn},
  title = {Learning One Subprocedure Per Lesson},
  journal = {Artificial Intelligence},
  year = {1987},
  volume = {31},
  number = {1},
  pages = {1--40},
  acontentnote = {Abstract:
     SIERRA is a program that learns procedures incrementally from
     examples, where an example is a sequence of actions.  SIERRA
     learns by completing explanations.  Whenever the current
     procedure is inadequate for explaining (parsing) the current
     example, SIERRA formulates a new subprocedure whose
     instantiation completes the explanation (parse tree).  The

repository: sergiud/bibtex-spirit

repo_name: sergiud/bibtex-spirit