text:
{Ithaca, New York},
  url = {http://research.nii.ac.jp/salt16/proceedings/salt16_oshima-2.pdf},
  topic = {indexicals;presupposition;}
  }

@incollection{ osswald:1999a,
  author = {Ranier Osswald},
  title = {Semantics for Attribute-Value Theories},
  booktitle = {Proceedings of the Twelfth {A}msterdam Colloquium},
  publisher = {ILLC/Department of Philosophy, University
		of Amsterdam},
  year = {1999},
  editor = {Paul Dekker},
  pages = {199--204},
  address = {Amsterdam},
  topic = {feature-structure-logic;}
  }

@book{ ostering:1998a,
  editor = {Gary Ostering},
  title = {Definite Descriptions: A Reader},
  publisher = {The {MIT} Press},
  year = {1998},
  address = {Cambridge, Massachusetts},
  xref = {Review: kroon:2000a.},
  topic = {definite-descriptions;}
 }

@book{ ostertag:1998a,
  title = {Definite Descriptions: A Reader},
  publisher = {The {MIT} Press},
  year = {1998},
  editor = {Gary Ostertag},
  address = {Cambridge, Massachusetts},
  topic = {definite-descriptions;}
  }

@article{ ostertag:2005a,
  author = {Gary Ostertag},
  title = {A Puzzle about Disbelief},
  journal = {The Journal of Philosophy},
  year = {2005},
  volume = {102},
  number = {11},
  pages = {573--593},
  topic = {belief;}
  }

@book{ ostler:1980a,
  author = {Nicholas Ostler},
  title = {A Theory of Case Linking and Agreement},
  publisher = {Indiana University Linguistics Club},
  year = {1982},
  address = {310 Lindley Hall, Bloomington, Indiana},
  rtnote = {In RHT collection.},
  topic = {nl-case;nl-agreement;}
 }

@incollection{ osullivan-etal:2005a,
  author = {Dympna O'Sullivan and Eoin McLoughlin and Michela
  	Bertolotto and David Wilson},
  title = {Context-Oriented Image Retrieval},
  booktitle = {Modeling and Using Context: 5th International and
  	Interdisciplinary Conference},
  publisher = {Springer-Verlag},
  year = {2005},
  editor = {Anind Dey and Boicho Kokinov and David Leake and Roy Turner},
  pages = {339--352},
  address = {Berlin},
  topic = {context;image-retrieval;}
  }

@inproceedings{ otero-cabalar:1999a,
  author = {Ram\'on Otero Pedro Cabalar},
  title = {Pertinence and Causality},
  booktitle = {Proceedings of the {IJCAI}-99 Workshop on
	Nonmonotonic Reasoning, Action and Change},
  year = {1999},
  editor = {Michael Thielscher},
  pages = {111--119},
  organization = {IJCAI},
  publisher = {International Joint Conference on Artificial Intelligence},
  address = {Murray Hill, New Jersey},
  topic = {action-formalisms;causality;frame-problem;
		ramification-problem;}
  }

@book{ ott:2004a,
  author = {Walter R. Ott},
  title = {Locke's Philosophy of Language},
  publisher = {Cambridge University Press},
  year = {2004},
  address = {Cambridge, England},
  ISBN = {0521831199},
  xref = {Review: ashworth_ej:2006a},
  topic = {Locke;philosophy-of-languagel;nominalism;}
 }

@article{ otte-nagel_hh:1995a,
  author = {Michael Otte and Hans-Hellmut Nagel},
  title = {Estimation of Optical Flow Based on Higher-Order
  	Spatiotemporal Derivatives in Interlaced and Non-Interlaced Image
	Sequences},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {78},
  number = {1--2},
  pages = {5--43},
  acontentnote = {Abstract:
     This contributioninvestigates local differential techniques for
     estimating optical flow and its derivatives based on the
     brightness change constraint.  By using the tensor calculus
     representation we build the Taylor expansion of the gray-value
     derivatives as well as of the optical flow in a spatiotemporal
     neighborhood.  Such a formulation provides a unifying framework
     for all existing local differential approaches and allows to
     derive new systems of equations for the estimation of the
     optical flow and of its derivatives.
        We also tested various optical flow estimation approaches on
     real image sequences recorded by a calibrated camera which was
     fixed on the arm of a robot.  By moving the arm of the robot
     along a precisely defined trajectory, we can determine the true
     displacement rate of scene surface elements projected into the
     image plane and compare it quantitatively with the results of
     different optical flow estimators.
       Since the optical flow estimators are based on gray-value
     derivatives of up to fourth-order, we were forced to develop
     modified Gaussian derivative filters to obtain acceptable
     estimates for the derivatives.  Further, we show quantitatively
     that these filters contribute to a much more robust optical flow
     estimation.  In addition, successive lines of TV-cameras have an
     offset in time due to the interlace technique.  We demonstrate
     the adaptation of filter kernels for estimating higher-order
     spatiotemporal derivatives in interlaced image sequences.
  },
  topic = {optical-flow;}
  }

@article{ otto:2000a,
  author = {Martin Otto},
  title = {Epsilon-Logic is More Expressive than First-Order Logic
  	Over Finite Structures},
  journal = {Journal of Symbolic Logic},
  year = {2000},
  volume = {65},
  number = {4},
  pages = {1749--1757},
  topic = {epsilon-operator;finite-models;}
  }

@article{ otto:2000b,
  author = {Martin Otto},
  title = {An Interpolation Theorem},
  journal = {The Bulletin of Symbolic Logic},
  year = {2000},
  volume = {6},
  number = {4},
  pages = {447--462},
  contentnote = {A refinement of the Craig-Lyndon Theorem using
  	relativized quantifiers.},
  topic = {proof-theory;}
  }

@article{ otto:2001a,
  author = {Martin Otto},
  title = {Two Variable First-Order Logic over Ordered Domains},
  journal = {Journal of Symbolic Logic},
  year = {2001},
  volume = {66},
  number = {2},
  pages = {685--702},
  topic = {subtheories-of-FOL;}
  }

@article{ ourston-mooney_rj:1994a,
  author = {Dirk Ourston and Raymond J. Mooney},
  title = {Theory Refinement Combining Analytical and Empirical
  	Methods},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {66},
  number = {2},
  pages = {273--309},
  acontentnote = {Abstract:
     This article describes a comprehensive system for automatic
     theory (knowledge base) refinement.  The system applies to
     classification tasks employing a propositional Horn-clause
     domain theory.  Given an imperfect domain theory and a set of
     training examples, the approach uses partial and incorrect
     proofs to identify potentially faulty rules.  For each faulty
     rule, subsets of examples are used to inductively generate a
     correction.  Because the system starts with an approximate
     domain theory, fewer training examples are generally required to
     attain a given level of classification accuracy compared to a
     purely empirical learning system.  The system has been tested in
     two previously explored application domains: recognizing
     important classes of DNA sequences and diagnosing diseased
     soybean plants.  },
  topic = {computer-assisted-science;Horn-theories;machine-learning
  	knowledge-base-refinement;}
  }

@unpublished{ over:1982a,
  author = {D.E. Over},
  title = {The Consequences of Direct Reference},
  year = {1982},
  note = {Unpublished manuscript, Sunderland Polytechnic.},
  rtnote = {In RHT collection.},
  xref = {Discussion of salmon_n:1982a.},
  rtnote = {pragmatics-course;},
  topic = {discourse-analysis;pragmatics;}
  }

@article{ over:1985a,
  author = {D.E. Over},
  title = {Constructivity and the Referential/Attributive
  	Distinction},
  journal = {Linguistics and Philosophy},
  year = {1985},
  volume = {8},
  number = {4},
  pages = {415--429},
  topic = {definite-descriptions;reference;}
  }

@article{ over:1989a,
  author = {D.E. Over},
  title = {Vague Objects and Identity},
  journal = {Analysis},
  year = {1989},
  volume = {44},
  pages = {97--99},
  missinginfo = {A's 1st name, number},
  topic = {vagueness;identity;}
  }

@techreport{ oversteegen:1987a,
  author = {Eleonore Oversteegen},
  title = {Temporal Adverbials in the Two Track Theory of Time},
  institution = {Institute for Language, Logic and Information, University
  	of Amsterdam},
  year = {1991},
  address = {Department of Mathematics and Computer Science, Roeterssraat 15,
  	1018WB Amsterdam, Holland},
  rtnote = {In RHT collection.},
  missinginfo = {number},
  topic = {adverbials;temporal-logic;}
  }

@article{ owen_gel:1960a,
  author = {G.E.L. Owen},
  title = {Logic and Metaphysics in Some Earlier Works of {A}ristotle},
  journal = {Medieval Studies},
  year = {1960},
  volume = {21},
  pages = {303--322},
  missinginfo = {number},
  topic = {Aristotle;history-of-logic;metaphysics;}
  }

@article{ owen_gel:1961a,
  author = {G.E.L. Owen},
  title = {Zeno and the Mathematicians},
  journal = {Proceedings of the {A}ristotelian Society},
  year = {1957},
  volume = {58},
  pages = {199--222},
  topic = {paradoxes-of-motion;Zeno;}
  }

@article{ owens_d:1989a,
  author = {David Owens},
  title = {Review of \emph{{R}epresentation and Reality}, by {H}ilary
  	{P}utnam},
  journal = {Mind and Language},
  year = {1989},
  volume = {4},
  number = {3},
  pages = {246--249},
  topic = {philosophy-of-mind;}
  }

@article{ owens_dk-etal:1997a,
  author = {Douglas K. Owens and Ross D. Shachter and Robert F.
  	{Nease, Jr.}},
  title = {Representation and Analysis of Medical Decision Processes
  	with Influence Diagrams},
  journal = {Medical Decision Making},
  year = {1997},
  volume = {17},
  pages = {241--262},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {causal-networks;decision-analysis;influence-diagrams;
  	reasoning-with-diagrams;}
  }

@article{ owens_j1:1959a,
  author = {Joseph Owens},
  title = {Thomistic Common Nature and {P}latonic Idea},
  journal = {Medieval Studies},
  year = {1959},
  volume = {21},
  pages = {303--322},
  missinginfo = {number},
  topic = {scholastic-philosophy;}
  }

@article{ owens_j1:1962a,
  author = {Joseph Owens},
  title = {Analogy as a {T}homistic Approach to Being},
  journal = {Medieval Studies},
  year = {1962},
  volume = {24},
  pages = {303--322},
  missinginfo = {A's 1st name, number},
  topic = {analogy;scholastic-philosophy;}
  }

@book{ owens_j1:1963a,
  author = {Joseph Owens},
  title = {The Doctrine of Being in the {A}ristotelian {\it Metaphysics},
  		Second Edition},
  publisher = {Pontifical Institute of Medieval Studies},
  year = {1963},
  address = {Toronto},
  rtnote = {In RHT collection.  History Philosophy Shelves.},
  topic = {metaphysics;substance;Aristotle;}
 }

@incollection{ owens_j2:1990a,
  author = {Joseph Owens},
  title = {Cognitive Access and Semantic Puzzles},
  booktitle = {Propositional Attitudes: The Role of Content in Logic,
  	Language, and Mind},
  publisher = {Center for the Study of Language and Information},
  year = {1990},
  editor = {C. Anthony Anderson and Joseph Owens},
  pages = {147--173},
  address = {Stanford, California},
  topic = {subjectivity;propositional-attitudes;}
  }

@incollection{ ozernoi-gaft:1977a,
  author = {V.M. Ozernoi and M.G. Gaft},
  title = {Multicriterion Decision Problems},
  booktitle = {Conflicting Objectives in Decisions},
  publisher = {John Wiley and Sons},
  year = {1977},
  editor = {David E. Bell and Ralph L. Keeney and Howard Raiffa},
  pages = {17--39},
  address = {New York},
  rtnote = {In RHT collection.},
  topic = {decision-analysis;multiattribute-utility;foundations-of-utility;}
  }

@incollection{ paass:1991a,
  author = {Gerhard Paass},
  title = {Probabilistic Default Reasoning Involving Continuous
  	Variables},
  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 = {267--271},
  address = {Berlin},
  topic = {nonmonotonic-logic;probabilities;
  	reasoning-about-continuous-quantities;}
  }

@article{ packard:1975a,
  author = {Dennis J. Packard},
  title = {A Preference Logic Minimally Complete for Expected Utility
  	Maximization},
  journal = {Journal of Philosophical Logic},
  year = {1975},
  volume = {4},
  number = {2},
  pages = {223--235},
  topic = {preferences;qualitative-utility;decision-theory;}
  }

@article{ pacuit:2007a,
  author = {Eric Pacuit},
  title = {Understanding the {B}randenburger-{K}eisler Paradox},
  journal = {Studia Logica},
  year = {2007},
  volume = {86},
  number = {2},
  pages = {435--454},
  xref = {Commentary on: brandenberger-keisler:2006a},
  topic = {syntactic-attitudes;foundations-of-game-theory;}
  }

@incollection{ pacuit-salame:2004a,
  author = {Eric Pacuit and Samer Salame},
  title = {Majority Logic},
  booktitle = {{KR}2004: Principles of Knowledge Representation and
  		Reasoning},
  publisher = {AAAI Press},
  year = {2004},
  editor = {Didier Dubois and Christopher A. Welty and Mary-Anne Williams},
  pages = {598--604},
  address = {Menlo Park, California},
  topic = {modal-logic;graded-modal-logic;}
  }

@book{ padget:1999a,
  editor = {Julian A. Padget},
  title = {Collaboration between Human and Artificial Societies},
  publisher = {Springer-Verlag},
  year = {1999/},
  address = {Berlin},
  ISBN = {3-540-66930-2},
  rtnote = {UMich Media Union QA76.9 .D5 C6151 1999},
  topic = {HCI;multiagent-systems;collaboration;}
 }

@inproceedings{ padgham:1988a,
  author = {Lin Padgham},
  title = {A Model and Representation for Type Information and its use
             in Reasoning with Defaults},
  booktitle = {Proceedings of the Seventh National Conference on
              Artificial Intelligence},
  year = {1988},
  editor = {Reid Smith and Tom Mitchell},
  pages = {409--414},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, CA},
  topic = {nonmonotonic-logic;inheritance-theory;}
  }

@inproceedings{ padgham:1989a,
  author = {Lin Padgham},
  title = {Negative Reasoning using Inheritance},
  booktitle = {Proceedings of the Eleventh International Joint
  	Conference on Artificial Intelligence},
  year = {1989},
  editor = {N.S. Sridharan},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, CA},
  pages = {1086--1092},
  rtnote = {In RHT collection.},
  topic = {inheritance-theory;}
  }

@phdthesis{ padgham:1989b,
  author = {Lin Padgham},
  title = {Non-Monotonic Inheritance for an Object-Oriented
             Knowledge-Base},
  school = {Department of Computer and Information Science,
              Link\"{o}ping University},
  address = {Link\"{o}ping},
  year = {1989},
  topic = {inheritance-theory;}
    }

@incollection{ padgham:1992a,
  author = {Lynn Padgham},
  title = {Defeasible Inheritance: a Lattice-Based Approach},
  booktitle = {Semantic Networks in Artificial Intelligence},
  publisher = {Pergamon Press},
  year = {1992},
  editor = {Fritz Lehmann},
  pages = {527--541},
  address = {Oxford},
  xref = {Also published in Computers and Mathematics with Applications;
  	vol. 23; 1992; 527--541},
  topic = {kr;semantic-networks;inheritance-theory;kr-course;}
  }

@incollection{ padgham-lambris:1994a,
  author = {Lin Padgham and Patrick Lambris},
  title = {A Framework for Part-of Hierarchies in Terminological Logics},
  booktitle = {{KR}'94: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
  pages = {485--496},
  address = {San Francisco, California},
  topic = {kr;mereology;description-logics;kr-course;}
  }

@inproceedings{ padgham-nebel:1992a,
  author = {Lin Padgham and Bernhard Nebel},
  title = {Combining Classification and Nonmonotonic Inheritance
  	Reasoning: A First Step},
  booktitle = {Working Notes, {AAAI} Fall Symposium on Issues in Description
  	Logics: Users Meet Developers},
  year = {1992},
  editor = {Robert MacGregor},
  pages = {64--71},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {kr;krcourse;extensions-of-KL1;nonmonotonic-reasoning;
  	description-logics;}
  }

@inproceedings{ padgham-zhang_tt:1993a,
  author = {Lin Padgham and Tingting Zhang},
  title = {A Terminological Logic With Defaults: A Definition and an
  	Application},
  booktitle = {Proceedings of the Thirteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1993},
  editor = {Ruzena Bajcsy},
  pages = {662--668},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  rtnote = {In RHT collection.},
  topic = {inheritance-theory;extensions-of-kl1;description-logics;}
  }

@incollection{ padilha-carletta:2002a,
  author = {Emiliano G. Padilha and Jean Carletta},
  title = {A Simulation of Small Group Discussion},
  booktitle = {{EDILOG} 2002: Proceedings of the Sixth Workshop on the
  	Semantics and Pragmatics of Dialogue},
  publisher = {Cognitive Science Centre, University of Edinburgh},
  year = {2002},
  editor = {Johan Bos and Mary Ellen Foster and Colin Mathesin},
  pages = {117--124},
  address = {Edinburgh},
  topic = {dialogue-simulation;turn-taking;}
  }

@incollection{ padlak:1998a,
  author = {Pavel Padl\'ak},
  title = {The Length of Proofs},
  booktitle = {Handbook of Proof Theory},
  publisher = {Elsevier Science Publishers},
  year = {1998},
  editor = {Samuel R. Buss},
  pages = {547--637},
  address = {Amsterdam},
  xref = {Review: arai:1998a.},
  topic = {proof-complexity;}
 }

@incollection{ padovitz-etal:2005a,
  author = {Amir Padovitz and Seng W. Loke and Arkady Zaslavsky and
  	Bernard Berg and Claudio Bartolini},
  title = {An Approach to Data Fusion for Context Awareness},
  booktitle = {Modeling and Using Context: 5th International and
  	Interdisciplinary Conference},
  publisher = {Springer-Verlag},
  year = {2005},
  editor = {Anind Dey and Boicho Kokinov and David Leake and Roy Turner},
  pages = {353--367},
  address = {Berlin},
  topic = {context;multiattribute-utility;data-fusion;}
  }

@inproceedings{ paek-horvitz:1999a,
  author = {Tim Paek and Eric Horvitz},
  title = {Uncertainty, Utility, and
			Misunderstanding: A Decision-Theoretic Perspective
			on Grounding in Conversational Systems},
  booktitle = {Working Papers of the {AAAI} Fall Symposium on
  	Psychological Models of Communication in Collaborative
	Systems},
  year = {1999},
  editor = {Susan E. Brennan and Alain Giboin and David R. Traum},
  pages = {85--92},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  topic = {discourse;Bayesian-networks;HCI;}
  }

@article{ pafel:1999a,
  author = {J\"urgen Pafel},
  title = {Interrogative Quantifiers within Scope},
  journal = {Linguistics and Philosophy},
  year = {1999},
  volume = {22},
  number = {3},
  pages = {255--310},
  topic = {nl-semantics;interrogatives;nl-quantifier-scope;}
  }

@incollection{ page-frish:1991a,
  author = {C. David {Page, Jr.} and Alan M. Frisch},
  title = {Generalizing Constraint Atoms in Constraint Logic},
  booktitle = {{KR}'91: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1991},
  editor = {James F. Allen and Richard Fikes and Erik Sandewall},
  pages = {429--440},
  address = {San Mateo, California},
  missinginfo = {A's 1st name, number},
  topic = {kr;theorem-proving;unification-of-FSs;constraint-satisfaction;kr-course;}
  }

@article{ pagin:2003a,
  author = {Peter Pagin},
  title = {Communication and Strong Compositionality},
  journal = {Journal of Philosophical Logic},
  year = {2003},
  volume = {32},
  number = {3},
  pages = {287--322},
  topic = {compositionality;algebraic-semantics;structured-propositions;}
  }

@incollection{ pagin:2005a,
  author = {Paul Pagin},
  title = {Compositionality and Context},
  booktitle = {Contextualism in Philosophy: Knowledge, Meaning, and Truth},
  publisher = {Oxford University Press},
  year = {2005},
  editor = {Gerhard Preyer and Georg Peter},
  pages = {303--348},
  address = {Oxford},
  topic = {context;compositionality;}
  }

@incollection{ pagin:2008a,
  author = {Peter Pagin},
  title = {Assertion},
  booktitle = {The {S}tanford Encyclopedia of Philosophy},
  editor = {Edward N. Zalta},
  url = {http://plato.stanford.edu/archives/fall2008/entries/assertion/},
  year = {2008},
  topic = {assertion;}
}

@article{ pagin-westerstahl:1993a,
  author = {Peter Pagin and Dag Westerst{\aa}hl},
  title = {Predicate Logic with Flexibly Binding Operators and
  	Natural Language Semantics},
  journal = {Journal of Logic, Language, and Information},
  year = {1993},
  volume = {2},
  number = {2},
  pages = {89--128},
  topic = {nl-semantics;anaphora;donkey-anaphora;}
  }

@article{ pagin-westerstahl:2001a,
  author = {Peter Pagin and Dag Westerst{\aa}hl},
  title = {Editorial: Compositionality---Current Issues},
  journal = {Journal of Logic, Language, and Information},
  year = {2001},
  volume = {10},
  number = {1},
  pages = {1--5},
  topic = {nl-semantics;compositionality;Frege;}
  }

@article{ pagliani:1997a,
  author = {Piero Pagliani},
  title = {Information Gaps as Communication Needs: A New Semantic
  	Foundation for Some Non-Classical Logics},
  journal = {Journal of Logic, Language, and Information},
  year = {1997},
  volume = {6},
  number = {1},
  pages = {63--99},
  topic = {intuitionistic-logic;}
  }

@article{ paiement-etal:2009a,
  author = {Jean-Franois Paiement and Samy Bengio and Douglas Eck},
  title = {Probabilistic Models for Melodic Prediction},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {173},
  number = {14},
  pages = {1266--1274},
  topic = {AI-and-music;machine-learning;}
  }

@article{ pailthorp:1967a,
  author = {Charles Pailthorp},
  title = {Hintikka and Knowing that One Knows},
  journal = {The Journal of Philosophy},
  year = {1967},
  volume = {64},
  number = {21},
  pages = {487--500},
  topic = {epistemic-logic;}
  }

@incollection{ paiva-evans_r:2004a,
  author = {Daniel S. Paiva and Roger Evans},
  title = {A Framework for Stylistically Controlled Generation},
  booktitle = {Natural Language Generation: Third International
	Conference, INLG 2004},
  publisher = {Springer-Verlag},
  year = {2004},
  editor = {Anja Belz and Roger Evans and Paul Piwek},
  pages = {120--129},
  address = {Berlin},
  topic = {nl-generation;}
  }

@inproceedings{ paiva-evans_r:2005a,
  author = {Daniel S. Paiva and Roger Evans},
  title = {Empirically-based Control of Natural Language Generation},
  booktitle = {Proceedings of the 43rd Annual Meeting of the
  		Association for Computational Linguistics (ACL'05)},
  month = {June},
  year = {2005},
  address = {Ann Arbor, Michigan},
  publisher = {Association for Computational Linguistics},
  pages = {58--65},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1008},
  topic = {nl-generation;nl-generation-algorithms;paraphrasing;
  		statistical-nlp;}
  }

@book{ palanque-paterno:1998a,
  editor = {Philippe Palanque and Fabio Patern\`o},
  title = {Formal Methods in Human-Computer Interaction},
  publisher = {Springer-Verlag},
  year = {1998},
  address = {Berlin},
  ISBN = {3540761586 (pbk)},
  rtnote = {UMich Media Union Library, QA 76.9 .H85 F681 1998},
  topic = {HCI;}
 }

@article{ palay:1982a,
  author = {Andrew J.  Palay},
  title = {The {B}* Tree Search Algorithm---New Results},
  journal = {Artificial Intelligence},
  year = {1982},
  volume = {19},
  number = {2},
  pages = {145--163},
  topic = {search;}
  }

@article{ palczewski:2007a,
  author = {Rafa{\l} Palczewski},
  title = {Distributed Knowability and {F}itch's Paradox},
  journal = {Studia Logica},
  year = {2007},
  volume = {86},
  number = {2},
  pages = {455--478},
  topic = {epistemic-logic;Fitch-paradox;knowability-paradox;}
  }

@inproceedings{ paletta:2003a,
  author = {Lucas Paletta},
  title = {Predictive Visual Context in Object Detection},
  booktitle = {Modeling and Using Context: Fourth International and
  	Interdisciplinary Conference, Context 2003},
  publisher = {Springer-Verlag},
  year = {2003},
  editor = {Patrick Blackburn and Chiara Ghidini and Roy M. Turner
  	and Fausto Giunchiglia},
  pages = {245--258},
  address = {Berlin},
  topic = {context;object-identification;}
  }

@incollection{ palmer_a:1984a,
  author = {Anthony Palmer},
  title = {The Limits of {AI}: Thought
     		Experiments and Conceptual Investigations},
  booktitle = {The Mind and the Machine: Philosophical Aspects
  	of Artificial Intelligence},
  publisher = {Ellis Horwood, Ltd.},
  year = {1984},
  editor = {Steve B. Torrance},
  pages = {43--50},
  address = {Chichester},
  topic = {philosophy-of-AI;philosophy-and-AI;philosophy-of-mind;}
  }

@inproceedings{ palmer_dd:1997a,
  author = {David D. Palmer},
  title = {A Trainable Rule-Based Algorithm for Word Segmentation},
  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 = {321--328},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  topic = {word-segmentation;nl-algorithms;}
 }

@book{ palmer_fr:1965a,
  author = {Frank Robert Palmer},
  title = {A Linguistic Study of the {E}nglish Verb},
  publisher = {Longmans, Green and Co., Ltd.},
  year = {1965},
  address = {London},
  rtnote = {In RHT collection (shelf).},
  topic = {descriptive-grammar;verbs;descriptive-grammar;English-language;}
 }

@book{ palmer_fr:1979a,
  author = {Frank Robert Palmer},
  title = {Modality and the {E}nglish Modals},
  publisher = {Longman},
  year = {1979},
  address = {London},
  ISBN = {0582551099},
  rtnote = {UMich Graduate Library, 820.5 P1735mp.},
  topic = {nl-semantics;modals;}
 }

@book{ palmer_fr:1986a,
  author = {Frank Robert Palmer},
  title = {Mood and Modality},
  publisher = {Cambridge University Press},
  year = {1986},
  address = {Cambridge, England},
  contentnote = {TC:	Introduction.
  			Epistemic modality.
			Deonitc modality.
			Oblique clauses.
			Modality and other categories.},
  rtnote = {This is pretty much a descriptive linguistics text.  The
  logical literature is not much used.
  },
  topic = {nl-semantics;modal-logic;modals;epistemic-logic;}
 }

@incollection{ palmer_ms:1987a,
  author = {Martha S. Palmer},
  title = {General Lexical Representation for an Effect Predicate},
  booktitle = {Lexical Semantics and Knowledge Representation},
  publisher = {Springer Verlag},
  year = {1987},
  editor = {James Pustejovsky and Sabine Bergler},
  address = {Berlin},
  missinginfo = {pages},
  topic = {computational-lexical-semantics;}
  }

@book{ palmer_ms:1990a,
  author = {Martha S. Palmer},
  title = {Semantic Processing for Finite Domains},
  publisher = {University of Cambridge Press},
  year = {1990},
  address = {Cambridge, England},
  rtnote = {Think of this for kr-course.},
  topic = {computational-lexical-semantics;nl-interpretation;thematic-roles;
  	kr-course;}
 }

@article{ palmer_ms-etal:1993a,
  author = {Martha S. Palmer and Rebecca J. Passonneau and Carl Weir
  	and Tim Finin},
  title = {The {KERNEL} Text Understanding System},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {63},
  number = {1--2},
  pages = {17--68},
  acontentnote = {Abstract:
     This article describes KERNEL, a text understanding system
     developed at Paramax Systems Corporation.  KERNEL's design is
     motivated by the need to make complex interactions possible
     among system modules, and to control the amount of reasoning
     done by those modules.  We will explain how KERNEL's architecture
     meets these needs, and how the architectures of similar systems
     compare in achieving the same goal.  },
  topic = {text-understanding;nl-processing;}
  }

@incollection{ palmer_ms-etal:1994a,
  author = {Martha S. Palmer and Deborah A. Dahl and Rebecca J.
   		Schiffman and Lynette Hirschman and Marcia
		Linebarger and John Dowding},
  title = {Recovering Implicit Information},
  booktitle = {Current Issues in Computational Linguistics: Essays in
  	Honour of {D}on {W}alker},
  publisher = {Giardini Editori e Stampatori and Kluwer Academic
  	Publishers},
  year = {1994},
  editor = {Antonio Zampolli and Nicoletta Calzolari and Martha Palmer},
  pages = {553--567},
  address = {Pisa and Dordrecht},
  topic = {reference-resolution;computational-pragmatics;}
  }

@incollection{ palmer_ms-polguere:1995a,
  author = {Martha S. Palmer and Alain Polgu\`ere},
  title = {A Preliminary Lexical and Conceptual Analysis of `break':
  	a Computational Perspective},
  booktitle = {Computational Lexical Semantics},
  publisher = {Cambridge University Press},
  year = {1995},
  editor = {Patrick Saint-Dizier and Evelyne Viegas},
  pages = {231--250},
  address = {Cambridge, England},
  topic = {nl-kr;verb-semantics;computational-lexical-semantics;}
  }

@article{ palmgren:1998a,
  author = {Erik Palmgren},
  title = {Developments in Constructive Nonstandard Analysis},
  journal = {The Bulletin of Symbolic Logic},
  year = {1998},
  volume = {4},
  number = {3},
  pages = {233--272},
  topic = {nonstandard-analysis;constructive-mathematics;}
  }

@article{ palomar-etal:2001a,
  author = {Manuel Palomar and Antonio Ferr\'andez and Lidia Moreno
  	and Lidia Moreno and Patricio M\'artinez-Barco and
	Jesus P\'eral and Maximiliano Saiz-Noeda and Rafael Mu\~noz},
  title = {An Algorithm for Anaphora Resolution in {S}panish Texts},
  journal = {Computational Linguistics},
  year = {2001},
  volume = {27},
  number = {4},
  pages = {545--567},
  topic = {anaphora-resolution;Spanish-language;}
  }

@article{ palopoli-etal:1999a,
  author = {Luigi Palopoli and Fiora Pirri and Clara Pizzuti},
  title = {Algorithms for Selective Enumeration of Prime
  	Implicants},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {111},
  number = {1--2},
  pages = {41--72},
  topic = {prime-implicants;abduction;diagnosis;}
  }

@incollection{ pan-shaw:2004a,
  author = {Shimei Pan and James Shaw},
  title = {{SEGUE}: A Hybrid Case-Based
    		Surface Natural Language Generator},
  booktitle = {Natural Language Generation: Third International
	Conference, INLG 2004},
  publisher = {Springer-Verlag},
  year = {2004},
  editor = {Anja Belz and Roger Evans and Paul Piwek},
  pages = {130--140},
  address = {Berlin},
  topic = {nl-generation;}
  }

@article{ pan_r-etal:2007a,
  author = {Rong Pan and Qiang Yang and Sinno Jialin Pan},
  title = {Mining competent case bases for case-based reasoning},
  journal = {Artificial Intelligence},
  year = {2007},
  volume = {171},
  number = {16--17},
  pages = {1039--106},
  topic = {data-mining;case-based-reasoning;}
  }

@inproceedings{ pan_sm-shaw_j:2005a,
  author = {Shimei Pan and James Shaw},
  title = {Instance-based Sentence Boundary Determination by
  		Optimization for Natural Language Generation},
  booktitle = {Proceedings of the 43rd Annual Meeting of the
  		Association for Computational Linguistics (ACL'05)},
  month = {June},
  year = {2005},
  address = {Ann Arbor, Michigan},
  publisher = {Association for Computational Linguistics},
  pages = {565--572},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1070},
  topic = {sentence-boundary-detection;nl-generation;}
  }

@inproceedings{ panaget:1994a,
  author = {Franck Panaget},
  title = {Using a Textual Representation Level Component in the
  	Context of Discourse or Dialogue Generation},
  pages = {127--136},
  booktitle = {Seventh International Workshop on Natural
  	    Language Generation},
  month = {June},
  year = {1994},
  topic = {nl-generation;}
  }

@article{ panangaden-taylor_s:1992a,
  author = {P. Panangaden and S. Taylor},
  title = {Concurrent Common Knowledge: Defining Agreement for
  	Asynchronous Systems},
  journal = {Distributed Computing},
  year = {1992},
  volume = {6},
  number = {2},
  pages = {73--94},
  missinginfo = {A's 1st name},
  topic = {distributed-systems;epistemic-logic;mutual-belief;}
  }

@inproceedings{ pancheva-vonstechow:2004a,
  author = {Roumyana Pancheva and Arnim von Stechow},
  title = {On the Present Perfect Puzzle},
  booktitle = {Proceedings of {NELS} 34},
  year = {2004},
  editor = {Keir Moulton and Matthew Wolf},
  publisher = {Graduate Linguistics Student Association, University
  		of Massachusetts},
  address = {Amherst, Massachusetts},
  missinginfo = {pages},
  url = {http://www-rcf.usc.edu/~pancheva/Pancheva&vonStechow(2004).pdf;},
  rtnote = {In RHT collection.},
  topic = {perfective-aspect;tense-aspect;nl-semantics;},
  }

@inproceedings{ pang-etal:2003a,
  author = {Bo Pang and Kevin Knight and Daniel Marcu},
  title = {Syntax-Based Alignment of Multiple Translations:
  	Extracting Paraphrases and Generating New Sentences},
  booktitle = {HLT/NAACL 2003},
  year = {2003},
  editor = {Marti Hearst and Mari Ostendorf},
  pages = {181--188},
  rtnote = {In RHT collection.  Filed under "Knight".},
  topic = {paraphrasing;text-alignment;nl-generation;}
  }

@inproceedings{ pang-lee_l:2005a,
  author = {Bo Pang and Lillian Lee},
  title = {Seeing Stars: Exploiting Class Relationships for Sentiment
  		Categorization with Respect to Rating Scales},
  booktitle = {Proceedings of the 43rd Annual Meeting of the
  		Association for Computational Linguistics (ACL'05)},
  month = {June},
  year = {2005},
  address = {Ann Arbor, Michigan},
  publisher = {Association for Computational Linguistics},
  pages = {115--124},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1015},
  topic = {sentiment-analysis;}
  }

@inproceedings{ panizzi:2003a,
  author = {Emanuele Panizzi},
  title = {Exploiting Dynamicity for the Definition
    		and Parsing of Context Sensitive Grammars},
  booktitle = {Modeling and Using Context: Fourth International and
  	Interdisciplinary Conference, Context 2003},
  publisher = {Springer-Verlag},
  year = {2003},
  editor = {Patrick Blackburn and Chiara Ghidini and Roy M. Turner
  	and Fausto Giunchiglia},
  pages = {475--482},
  address = {Berlin},
  topic = {parsing-algorithms;}
  }

@techreport{ pankratev:1993a,
  author = {Nicolai Pankrat\raisebox{2ex}{,}ev},
  title = {Completeness of the {L}ambek Calculus With Respect
  	to Relativized Relational Semantics},
  institution = {Institute for Language, Logic and Information, University
  	of Amsterdam},
  number = {LP--93--03},
  year = {1993},
  address = {Faculty of Mathematics and Computer Science, Roeterssraat 15,
  	1018WB Amsterdam, Holland},
  rtnote = {In RHT collection.},
  topic = {Lambek-calculus;}
  }

@article{ pankratev:1994a,
  author = {Nicolai Pankrat\raisebox{2ex}{,}ev},
  title = {On the Completeness of the {L}ambek Calculus With Respect
  	to Relativized Relational Semantics},
  journal = {Journal of Logic, Language, and Information},
  year = {1994},
  volume = {3},
  number = {3},
  pages = {233--246},
  topic = {Lambek-calculus;}
  }

@inproceedings{ pantel:2005a,
  author = {Patrick Pantel},
  title = {Inducing Ontological Co-occurrence Vectors},
  booktitle = {Proceedings of the 43rd Annual Meeting of the
  		Association for Computational Linguistics (ACL'05)},
  month = {June},
  year = {2005},
  address = {Ann Arbor, Michigan},
  publisher = {Association for Computational Linguistics},
  pages = {125--132},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1016},
  topic = {machine-learning;WordNet;computational-ontology;}
  }

@incollection{ panti:1998a,
  author = {Giovanni Panti},
  title = {Multi-Valued Logics},
  booktitle = {Handbook of Defeasible Reasoning and Uncertainty
		Management Systems, Volume 1:  Quantified Representation
		of Uncertainty and Imprecision},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {Dov M. Gabbay and Philippe Smets},
  pages = {25--74},
  address = {Dordrecht},
  topic = {multivalued-logic;}
  }

@article{ paoli:2003a,
  author = {Francesco Paoli},
  title = {Quine and {S}later on Paraconsistency and Deviance},
  journal = {Journal of Philosophical Logic},
  year = {2003},
  volume = {32},
  number = {2},
  pages = {531--548},
  topic = {paraconsistency;}
  }

@techreport{ paolucci:1994a,
  author = {Massimo Paolucci},
  title = {Implementation of a Principle-Based Parser Based on On-Line
  	Locality Principle},
  institution = {Laboratory for Computational Linguistics, Carnegie
  	Mellon University},
  number = {CMU--LCL--94--1},
  year = {1994},
  address = {Pittsburgh, Pennsylvania},
  rtnote = {In RHT collection.},
  note = {Paolucci's MS thesis.},
  topic = {principle-based-parsing;}
  }

@article{ pap:1955a,
  author = {Arthur Pap},
  title = {Review of \emph{{F}act, Fiction and Forecast}, by {N}elson
  		{G}oodman},
  journal = {The Review of Metaphysics},
  year = {1955},
  volume = {9},
  number = {2},
  pages = {185--299},
  xref = {Review of: goodman_n:1955a.},
  topic = {conditionals;induction;(un)natural-predicates;}
  }

@article{ pap:1957a,
  author = {Arthur Pap},
  title = {Belief and Propositions},
  journal = {Philosophy of Science},
  year = {1957},
  volume = {24},
  pages = {123--136},
  topic = {belief;propositional-attitudes;propositions;}
  }

@book{ papadimitriou:1994a,
  author = {Christos Papadimitriou},
  title = {Computational Complexity},
  publisher = {Addison-Wesley},
  year = {1994},
  address = {Reading, Massachusetts},
  rtnote = {In RHT Collection.  CS General shelves.},
  topic = {algorithmic-complexity;}
 }

@article{ papadimitriou-sideri:1994a,
  author = {Christos H. Papadimitriou and Martha Sideri},
  title = {Default Theories that Always Have Extensions},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {69},
  number = {1--2},
  pages = {347--357},
  topic = {default-logic;nonmonotonic-logic;}
  }

@book{ papafragou:2000a,
  editor = {Anna Papafragou},
  title = {Modality and The Semantics-Pragmatics Interface},
  publisher = {Elsevier},
  year = {2000},
  address = {Amsterdam},
  ISBN = {008043634X},
  topic = {semantics;pragmatics;}
 }

@book{ papidimitriou:2003a,
  author = {Christos Papidimitriou},
  title = {Turing:  A Novel about Computation},
  publisher = {The {MIT} Press},
  year = {2003},
  address = {Cambridge, Massachusetts},
  rtnote = {In RHT Collection.  Novels.},
  xref = {Review: davis_m:2005a},
  topic = {novel;AI-editorial;}
 }

@article{ papineau:1985a,
  author = {David Papineau},
  title = {Probabilities and Causes},
  journal = {The Journal of Philosophy},
  year = {1985},
  volume = {82},
  number = {2},
  pages = {57--72},
  rtnote = {In RHT collection.},
  topic = {probability;causality;}
  }

@book{ papineau:1996a,
  editor = {David Papineau},
  title = {The Philosophy of Science},
  publisher = {Oxford University Press},
  year = {1996},
  rtnote = {In RHT collection.},
  topic = {philosophy-of-science;}
 }

@incollection{ papineau:1998a,
  author = {David Papineau},
  title = {Mind the Gap},
  booktitle = {Philosophical Perspectives 12: Language, Mind,
  	and Ontology},
  publisher = {Blackwell Publishers},
  year = {1998},
  editor = {James E. Tomberlin},
  pages = {373--388},
  address = {Oxford},
  topic = {mind-body-problem;}
  }

@incollection{ papineau:2003a,
  author = {David Papineau},
  title = {Could There Be a Science of Consciousness?},
  booktitle = {Philosophy of Mind},
  publisher = {Blackwell Publishers},
  year = {2003},
  editor = {Ernest Sosa and Enrique Villanueva},
  pages = {205--220},
  address = {Oxford},
  topic = {consciousness;philosophy-of-mind;}
  }

@incollection{ papini:1991a,
  author = {Odile Papini},
  title = {Revision in Propositional Calculus},
  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 = {272--276},
  address = {Berlin},
  topic = {belief-revision;}
  }

@article{ paraboni-etal:2007a,
  author = {Ivandr\'e Paraboni and Kees van Deemter and Judith Masthoff},
  title = {Generating Referrring Expressions:  Making Referents Easy
  		to Identify},
  journal = {Computational Linguistics},
  year = {2007},
  volume = {33},
  number = {2},
  pages = {229--254},
  topic = {referring-expressions;nl-generation;}
  }

@book{ paradaens:1987a,
  editor = {J. Paredaens},
  title = {Databases},
  publisher = {Academic Press},
  year = {1987},
  address = {New York},
  missinginfo = {E's 1st name.},
  topic = {databases;}
 }

@incollection{ pareschi:1987a,
  author = {Remo Pareschi},
  title = {Combinatory Grammar, Logic Programming,
     		and Natural Language Processing},
  booktitle = {Working Papers in Cognitive Science, Volume 1: Categorial
  	Grammar, Unification Grammar and Parsing},
  publisher = {Centre for Cognitive Science, University of Edinburgh},
  year = {1987},
  editor = {Nicholas Haddock and Ewan Klein and Glyn Morrill},
  pages = {85--114},
  address = {Edinburgh},
  topic = {categorial-grammar;logic-programming;parsing-algorithms;}
  }

@book{ pareto:1971a,
  author = {Vilfredo Pareto},
  title = {Manual of Political Economy},
  publisher = {Kelley},
  year = {1971},
  address = {New York},
  note = {Originally published 1927. Translated from the Italian by
  	A. S. Schwier, edited by A. S. Schwier and A. N. Page},
  ISBN = {0678008817},
  rtnote = {UMich Graduate Library, HB177 .P233.},
  topic = {foundations-of-economics;}
 }

@phdthesis{ parikh_p:1987a,
  author = {Prasant Parikh},
  title = {Language and Strategic Inference},
  school = {Stanford University},
  year = {1987},
  type = {Ph.{D}. Dissertation},
  address = {Stanford, California},
  rtnote = {In RHT collection.  Shelf.},
  topic = {game-theory;implicature;pragmatics;}
 }

@article{ parikh_p:1991a,
  author = {Prasant Parikh},
  title = {Communication and Strategic Inference},
  journal = {Linguistics and Philosophy},
  year = {1991},
  volume = {14},
  number = {5},
  pages = {473--514},
  topic = {game-theory;implicature;pragmatics;}
  }

@incollection{ parikh_p:1992a,
  author = {Prasant Parikh},
  title = {A Game-Theoretic Account of Implicature},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
  	Proceedings of the Fourth Conference ({TARK} 1992)},
  publisher = {Morgan Kaufmann},
  year = {1992},
  editor = {Yoram Moses},
  pages = {85--94},
  address = {San Francisco},
  topic = {implicature;pragmatics;game-theory;}
  }

@article{ parikh_p:2000a,
  author = {Prashant Parikh},
  title = {Communication, Meaning, and Interpretation},
  journal = {Linguistics and Philosophy},
  year = {2000},
  volume = {23},
  number = {2},
  pages = {185--212},
  topic = {game-theory;implicature;pragmatics;}
  }

@article{ parikh_p:2006a,
  author = {Prasant Parikh},
  title = {Radical Semantics:  A New Theory of Meaning},
  journal = {Journal of Philosophical Logic},
  year = {2006},
  volume = {35},
  number = {4},
  pages = {349--391},
  topic = {foundations-of-semantics;game-theory;}
  }

@unpublished{ parikh_r:1977a,
  author = {Rohit Parikh},
  title = {The Problem of Vague Predicates},
  year = {1977},
  note = {Unpublished manuscript, New York University},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  topic = {vagueness;}
  }

@incollection{ parikh_r:1983a,
  author = {Rohit Parikh},
  title = {The Problem of Vague Predicates},
  booktitle = {Language, Logic, and Method},
  editor = {R.S. Cohen and M.W. Wartofsky},
  pages = {241--261},
  publisher = {D.~Reidel Publishing Co.},
  year = {1983},
  volume = {31},
  series = {Boston Studies in the Philosophy of Science},
  address = {Dordrecht},
  topic = {vagueness;}
}

@inproceedings{ parikh_r:1983b,
  author = {Rohit Parikh},
  title = {Propositional Game Logic},
  booktitle = {{IEEE} Symposium on Foundations of Computer Science},
  year = {1983},
  pages = {195--200},
  organization = {IEEE},
  publisher = {IEEE},
  missinginfo = {editor, address},
  topic = {game-logic;}
  }

@incollection{ parikh_r:1984a,
  author = {Rohit Parikh},
  title = {Logics of Knowledge, Games, and Dynamic Logic},
  booktitle = {Foundations of Software Technology and Computer Science},
  publisher = {Springer-Verlag},
  year = {1984},
  editor = {M. Joseph and R.K. Shyamasundar},
  pages = {202--222},
  address = {Berlin},
  topic = {game-logic;epistemic-logic;dynamic-logic;}
  }

@book{ parikh_r:1985a,
  editor = {Rohit Parikh},
  title = {Logics of Programs: Brooklyn, June 17--19,
  	1985 Proceedings},
  publisher = {Springer-Verlag},
  year = {1985},
  address = {Berlin},
  ISBN = {0387156488 (U.S.)},
  rtnote = {UMich Media Union Library, QA76.6 .L58551 1985.},
  topic = {semantics-of-programming-languages;}
 }

@inproceedings{ parikh_r:1987a,
  author = {Rohit Parikh},
  title = {Knowledge and the Problem of Logical Omniscience},
  booktitle = {Methodologies for Intelligent Systems: Proceedings of
  	the Sixth International Symposium},
  year = {1987},
  editor = {Zbigniew Ras and M. Zemankova},
  pages = {432--439},
  publisher = {North-Holland},
  address = {Amsterdam},
  rtnote = {This volume in RHT collection.},
  topic = {epistemic-logic;hyperintensionality;resource-limited-reasoning;}
  }

@unpublished{ parikh_r:1987b,
  author = {Rohit Parikh},
  title = {Some Recent Applications of Knowledge},
  year = {1987},
  note = {Unpublished manuscript, Department of Computer Science, CUNY.},
  rtnote = {In RHT collection.},
  topic = {epistemic-logic;}
  }

@unpublished{ parikh_r:1990a,
  author = {Rohit Parikh},
  title = {A Utility Based Approach to Semantics},
  year = {1990},
  note = {Unpublished manuscript, New York University},
  rtnote = {In RHT collection.},
  topic = {foundations-of-semantics;utility-theory;}
  }

@inproceedings{ parikh_r:1990b,
  author = {Rohit Parikh},
  title = {Recent Issues in Reasoning about Knowledge},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
    Proceedings of the Third Conference ({TARK} 1990)},
  year = {1990},
  editor = {Rohit Parikh},
  pages = {3--10},
  publisher = {Morgan Kaufmann},
  address = {Los Altos, California},
  topic = {epistemic-logic;reasoning-about-knowledge;}
  }

@book{ parikh_r:1990c,
  editor = {Rohit Parikh},
  title = {Theoretical Aspects of Reasoning about Knowledge:
    Proceedings of the Third Conference ({TARK} 1990)},
  year = {1990},
  publisher = {Morgan Kaufmann},
  address = {Los Altos, California},
  rtnote = {In RHT collection.},
  topic = {reasoning-about-knowledge;}
  }

@article{ parikh_r:1991a,
  author = {Rohit Parikh},
  title = {Monotonic and Non-Monotonic Logics of Knowledge},
  journal = {Fundamenta Informaticae},
  year = {1991},
  volume = {15},
  number = {3--4},
  pages = {255--274},
  rtnote = {In RHT collection.},
  topic = {epistemic-logic;nonmonotonic-logic;}
  }

@incollection{ parikh_r:1992a,
  author = {Rohit Parikh},
  title = {Finite and Infinite Dialogues},
  booktitle = {Logic From Computer Science},
  publisher = {Springer-Verlag},
  year = {1992},
  editor = {Yiannis N. Moschovakis},
  pages = {481--497},
  address = {Berlin},
  note = {MSRI Publication No. 21.},
  rtnote = {Topic is a guess.},
  topic = {communication-protocols;}
  }

@article{ parikh_r:1994a,
  author = {Rohit Parikh},
  title = {Vagueness and Utility: The Semantics of Common Nouns},
  journal = {Linguistics and Philosophy},
  year = {1994},
  volume = {17},
  number = {6},
  pages = {521--535},
  topic = {vagueness;nl-semantics;fuzzy-logic;}
  }

@inproceedings{ parikh_r:1999a,
  author = {Rohit Parikh},
  title = {Beliefs, Belief Revision, and Splitting Languages},
  booktitle = {Logic, Language, and Computation, Vol. 2},
  year = {1999},
  editor = {Lawrence Moss and Jonathan Ginzburg and Maarten de Rijke},
  publisher = {{CSLI} Publications},
  address = {Stanford, California},
  pages = {266-278},
  rtnote = {In RHT collection.},
  topic = {belief-revision;}
  }

@unpublished{ parikh_r:1999b,
  author = {Rohit Parikh},
  title = {Frege's Puzzle and Belief Revision},
  year = {1999},
  note = {Unpublished manuscript, City University of New York},
  rtnote = {In RHT collection.},
  topic = {belief-revision;intensionality;}
  }

@article{ parikh_r:2000a,
  author = {Rohit Parikh},
  title = {Review of \emph{Genes of Theoretical Computer Science},
		by {U}we {S}ch\"oning and {R}andall {P}ruim},
  journal = {Journal of Logic, Language, and Information},
  year = {2000},
  volume = {9},
  number = {1},
  pages = {131--132},
  xref = {Review of schoning-pruim:1998a.},
  topic = {theory-of-computation;}
  }

@unpublished{ parikh_r-krasucki:1987a,
  author = {Rohit Parikh and Paul Krasucki},
  title = {Communication, Consensus and Knowledge},
  year = {1987},
  note = {Unpublished manuscript, Brooklyn College of CUNY.},
  rtnote = {In RHT collection.},
  topic = {epistemic-logic;mutual-belief;distributed-systems;}
  }

@article{ parikh_r-krasucki:1990a,
  author = {Rohit Parikh and R. Krasucki},
  title = {Communication, Consensus, and Knowledge},
  journal = {Journal of Economic Theory},
  year = {1990},
  volume = {17},
  number = {1},
  pages = {178--189},
  missinginfo = {A's 1st name},
  topic = {epistemic-logic;mutual-belief;communication-protocols;}
  }

@article{ parikh_r-krasucki:1992a,
  author = {Rohit Parikh and R. Krasucki},
  title = {Levels of Knowledge in Distributed Computing},
  journal = {S\=adhan\=a},
  year = {1992},
  volume = {17},
  number = {1},
  pages = {167--191},
  missinginfo = {A's 1st name, number},
  topic = {distributed-systems;epistemic-logic;}
  }

@incollection{ parikh_r-parnes:1973a,
  author = {Rohit Parikh and R. Parnes},
  title = {Conditional Probabilities and Uniform Sets},
  booktitle = {Victoria Symposium on Nonstandard Analysis},
  publisher = {Springer},
  year = {1974},
  editor = {P. Loeb et al.},
  pages = {180--194},
  address = {Heidelberg},
  missinginfo = {A's 1st name, editors},
  rtnote = {Reading notes on file.},
  topic = {nonstandard-probability;}
  }

@article{ parikh_r-ramanujan:2003a,
  author = {Rohit Parikh and Ramaswamy Ramanujan},
  title = {A Knowledge Based Semantics of Messages},
  journal = {Journal of Logic, Language, and Information},
  year = {2003},
  volume = {12},
  number = {4},
  pages = {453--467},
  topic = {epistemic-logic;foundations-of-pragmatics;}
  }

@article{ paris_cl:1988a,
  author = {C\'{e}cile L. Paris},
  title = {Tailoring Object Descriptions to A User's Level of
  	Expertise},
  journal = {Computational Linguistics},
  year = {1988},
  volume = {14},
  number = {3},
  pages = {64--78},
  topic = {referring-expressions;user-modeling-in-generation;}
  }

@incollection{ paris_cl:1989a,
  author = {C \'ecile L. Paris},
  title = {The Use of Explicit User Models
		in a Generation System for Tailoring Answers
		to the User's Level of Expertise},
  booktitle = {User Models in Dialog Systems},
  publisher = {Springer-Verlag},
  year = {1989},
  editor = {Alfred Kobsa and Wolfgang Wahlster},
  pages = {200--232},
  address = {Berlin},
  topic = {user-modeling;nl-generation;expertise;}
 }

@incollection{ paris_cl:1991a,
  author = {C\'{e}cile L. Paris},
  title = {Generation and Explanation: Building an
     		Explanation Facility for the Explainable Expert
		Systems Framework},
  booktitle = {Natural Language Generation in Artificial Intelligence and
  	Computational Linguistics},
  publisher = {Kluwer Academic Publishers},
  address = {Dordrecht},
  year = {1991},
  editor = {C\'{e}cile L. Paris and William R. Swartout
  	and William C. Mann},
  pages = {49--82},
  topic = {nl-generation;explanation;}
  }

@incollection{ paris_cl:1994b,
  author = {C\'ecile L. Paris },
  title = {Flexible Generation: Taking the User into
   		Account},
  booktitle = {Current Issues in Computational Linguistics: Essays in
  	Honour of {D}on {W}alker},
  publisher = {Giardini Editori e Stampatori and Kluwer Academic
  	Publishers},
  year = {1994},
  editor = {Antonio Zampolli and Nicoletta Calzolari and Martha Palmer},
  pages = {569--583},
  address = {Pisa and Dordrecht},
  topic = {nl-generation;user-modeling;user-modeling-in-generation;}
  }

@book{ paris_cl-etal:1991a,
  editor = {C\'{e}cile L. Paris and William R. Swartout
  	and William C. Mann},
  title = {Natural Language Generation in Artificial Intelligence and
  	Computational Linguistics},
  publisher = {Kluwer Academic Publishers},
  address = {Dordrecht},
  year = {1991},
  contentnote = {TC:
     1. Johanna D. Moore and William R. Swartout, "A Reactive
     		Approach to Explanation: Taking the User's Feedback
		into Account", pp. 3--48
     2. C\'{e}cile L. Paris, "Generation and Explanation: Building an
     		Explanation Facility for the Explainable Expert
		Systems Framework", pp. 49--82
     3. Eduard E. Hovy, "Approaches to the Planning of Coherent
     		Text", pp. 83--102
     4. Kathleen F. McCoy and Jeanette Chang, "Focus of Attention:
     		Constraining What Can Be Said Next", pp. 103--124
     5. John A. Bateman, "Uncovering Textual Meanings: A Case Study
     		Involving Systemic-Functional Resources for the
		Generation of {J}apanese Texts", pp. 125--153
     6. Marie W. Mateer, "The Implications of Revisions for Natural
     		Language Generation", pp. 155--177
     7. Norbert Reithinger, "{POPEL}: A Parallel and Incremental
     		Natural Language Generation System", pp. 179-199
     8. Karen Sparck Jones, "Tailoring Output to the User: What Does
     		User Modelling in Generation Mean?  ", pp. 201--225
     9. David D. McDonald, "On the Place of Words in the Generation
    		Process", pp. 229--247
    10. Christian Matthiessen, "Lexico (Grammatical) Choice in Text
    		Generation", pp. 249--292
    11. Lidija Iordanskaja and Richard Kittredge and Alain
    		Polguere, "Lexical Selection and Paraphrase in a
		Meaning-Text Generation Model ", pp. 293--312
    12. Bengt Sigurd, "Referent Grammar in Text Generation ", pp. 315--327
    13. Koenraad De Smedt and Gerard Kempen, "Segment Grammar: A
    		Formalism for Incremental Sentence
		Generation", pp. 329--349
    14. Kathleen R. McKeown and Michael Elhadad, "A Contrastive
    		Evaluation of Functional Unification Grammar for
		Surface Language Generation: A Case Study in Choice
		of Connectives ", pp. 351--396
  },
 topic = {nl-generation;}
  }

@inproceedings{ paris_cl-scott_dr:1994a,
  author = {C\'ecile L. Paris and Donia R. Scott},
  title = {Intentions, Structure and Expressions in
  	Multilingual Instructions},
  booktitle = {Seventh International Workshop on Natural Language Generation},
  address = {Kennebunkport, Maine},
  year = {1994},
  pages = {45--52},
  topic = {nl-generation;}
}

@book{ paris_jb:1995a,
  author = {Jeff B. Paris},
  title = {The Uncertain Reasoner's Companion: A Mathematical
  	Perspective},
  publisher = {Cambridge University Press},
  year = {1995},
  address = {Cambridge, England},
  topic = {decision-making-under-uncertainty;}
 }

@article{ paris_jb-pathmanathan:2006a,
  author = {Jeff B. Paris and N. Pathmanathan},
  title = {A Note on {P}riest's Finite Inconsistent Arithmetics},
  journal = {Journal of Philosophical Logic},
  year = {2006},
  volume = {35},
  number = {5},
  pages = {529--537},
  topic = {paraconsistent-mathematics;formalizations-of-arithmetic;}
  }

@article{ paris_jb-venkovska:1993a,
  author = {Jeff B. Paris and A. Vencovsk\'a},
  title = {A Model of Belief},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {64},
  number = {2},
  pages = {197--241},
  acontentnote = {Abstract:
     The paper provides a mathematical model of an agent's belief in
     an event by identifying it with his ability to imagine the event
     within the context of his previous experience. This approach
     leads to belief having properties different from those normally
     ascribed to it.
  },
  topic = {belief;envisionment;}
  }

@article{ paris_jb-venkovska:1998a,
  author = {Jeff B. Paris and A. Venkovska},
  title = {Proof Systems for Probabilistic Uncertain Reasoning},
  journal = {Journal of Symbolic Logic},
  year = {1998},
  volume = {63},
  number = {3},
  pages = {1007--1039},
  missinginfo = {A's 1st names.},
  topic = {probability-semantics;proof-theory;completeness-theorems;}
  }

@book{ parisipresicce:1998a,
  editor = {F. Parisi-Presicce},
  title = {Recent Trends in Algebraic Development Techniques: 12th
  	International Workshop, WADT '97, Tarquinia, Italy,},
  publisher = {Springer-Verlag},
  year = {1997},
  address = {Berlin},
  ISBN = {3-540-64299-4},
  topic = {abstract-data-types;}
 }

@article{ park_ip-kender:1995a,
  author = {Il-Pyung Park and John R. Kender},
  title = {Topological Direction-Giving and Visual Navigation in
  	Large Environments},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {78},
  number = {1--2},
  pages = {355--395},
  acontentnote = {Abstract:
     In this paper, we propose and investigate a new model for robot
     navigation in large unstructured environments.  Current models,
     which depend on metric information, have to deal with inherent
     mechanical and sensory errors.  Instead we supply the navigator
     with qualitative information.  Our model consists of two parts, a
     map-maker and a navigator.  Given a source and a goal, the
     map-maker derives a navigational path based on the topological
     relationships between landmarks.  A navigational path is
     generated as a combination of ``parkway'' and ``trajectory'' paths,
     both of which are abstractions of the real world into
     topological data structures.  Traversing within a parkway
     enables the navigator to follow landmarks that are continuously
     visible.  Traversing on a trajectory enables the navigator to
     move reliably into featureless space, based on local headings
     formed by visible landmarks that are robust to positional and
     orientational errors.  Reliability measures of parkway and
     trajectory traversals are defined by appropriate error models
     that account for the sensory errors of the navigator, the
     population of neighboring objects, and the rotational and
     translational errors of the navigator.  The optimal path is
     further abstracted into a "custom map", which consists of a list
     of symbolic directional instructions, the vocabulary of which is
     defined by our environmental description language.  Based on the
     custom map generated by the map-maker, the navigating robot
     looks for events that are characterized by spatial properties of
     the environment.  The map-maker and the navigator are implemented
     using two cameras, an IBM 7575 robot arm, and a PIPE (Pipelined
     Image Processing Engine.) },
  topic = {robot-navigation;spatial-reasoning;}
  }

@article{ park_jd-darwiche:2004a,
  author = {James D. Park and Adnan Darwiche},
  title = {A Differential Semantics for Jointree Algorithms},
  journal = {Artificial Intelligence},
  year = {2004},
  volume = {156},
  number = {2},
  pages = {197--216},
  topic = {bayesian-networks;}
  }

@incollection{ park_y:2004a,
  author = {Youngia Park},
  title = {Gloss{O}nt:  A Concept-Based Ontology Building Tool},
  booktitle = {{KR}2004: Principles of Knowledge Representation and
  		Reasoning},
  publisher = {AAAI Press},
  year = {2004},
  editor = {Didier Dubois and Christopher A. Welty and Mary-Anne Williams},
  pages = {498--506},
  address = {Menlo Park, California},
  topic = {kr-systems;computational-ontology;}
  }

@book{ parker_tf-chua:1989a,
  author = {Thomas S. Parker and Leon O. Chua},
  title = {Practical Numerical Algorithms For Chaotic Systems},
  publisher = {Springer Verlag},
  year = {1989},
  address = {Berlin},
  ISBN = {03879668970387966889},
  rtnote = {UMich Science, Q 172.5 .C45 P371 1989.},
  topic = {chaos-theory;algorithms;numerical-algorithms;}
 }

@article{ parkison-etal:1977a,
  author = {Roger C. Parkison and Kenneth Mark Colby and
  	William S.  Faught},
  title = {Conversational Language Comprehension Using Integrated
  	Pattern-Matching and Parsing},
  journal = {Artificial Intelligence},
  year = {1977},
  volume = {9},
  number = {2},
  pages = {111--134},
  topic = {nl-processing;}
  }

@article{ parks:1972a,
  author = {Zane Parks},
  title = {Classes and Change},
  journal = {Journal of Philosophical Logic},
  year = {1972},
  volume = {1},
  number = {2},
  pages = {170--169},
  topic = {foundations-of-set-theory;individuation;}
  }

@incollection{ parmar:2003a,
  author = {Aarati Parmar},
  title = {Some Mathematical Structures Underlying Efficient
  	Planning},
  booktitle = {Working Papers of the 2003 {AAAI} Spring Symposium on
  	Logical Formalization of Commonsense Reasoning},
  publisher = {AAAI Press},
  year = {2003},
  editor = {Patrick Doherty and John McCarthy and Mary-Anne Williams},
  pages = {116--124},
  address = {Menlo Park, California},
  topic = {search;planning-algorithms;}
  }

@article{ parodi-etal:1998a,
  author = {P. Parodi and R. Lancewicki and A. Vijh and
  	J.K. Tsotsos},
  title = {Empirically-Derived Estimates of the Complexity of
  	Labeling Line Drawings of Polyhedral Scenes},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {105},
  number = {1--2},
  pages = {47--75},
  topic = {complexity-theory;empirical-methods-in-AI;}
  }

@article{ parodi-torre:1994a,
  author = {Pietro Parodi and Vincent Torre},
  title = {On the Complexity of Labeling Perspective Projections of
  	Polyhedral Scenes},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {70},
  number = {1--2},
  pages = {239--276},
  acontentnote = {Abstract:
     This paper investigates the computational time complexity of the
     labeling problem for line drawings of trihedral scenes.  It is
     shown that the class of problems having polynomial complexity is
     larger than the simple case of line drawings of Legoland scenes
     (Kirousis and Papadimitriou, 1988).  Once the location of the
     vanishing points in the image plane is known, the labeling
     problem can be solved in time O(Nn) where N is the number of
     segments and n is the number of vanishing points.  The vanishing
     points can be given a priori, otherwise can, in many cases, be
     detected by standard techniques from the line drawing itself.
     The NP-completeness of the labeling problem for line drawings of
     trihedral scenes (Kirousis and Papadimitriou, 1988) is then due
     to the lack of knowledge about the vanishing points. which is
     equivalent to the knowledge of the possible directions for the
     edges.  These results help draw a more accurate boundary between
     the problems in the interpretation of line drawings that are
     polynomially solvable and those that are NP-complete. },
  topic = {reasoning-about-perspective;complexity-in-AI;}
  }

@book{ parret:1976a,
  editor = {Herman Parret},
  title = {History of Linguistic Thought and Contemporary Linguistics},
  publisher = {Walter de Gruyter},
  year = {1976},
  address = {Berlin},
  ISBN = {9027231125},
  rtnote = {UMich Graduate Library, P1.A1 L76 SuppL. v.3.},
  topic = {history-of-linguistics;}
 }

@book{ parret:1980a,
  author = {Herman Parret},
  title = {Le Langage en Contexte: \'Etudes Philosophiques et
  	Linguistiques de Pragmatique},
  publisher = {Benjamins},
  year = {1980},
  address = {Amsterdam},
  ISBN = {9027231125},
  rtnote = {UMich Graduate Library, P1.A1 L76 SuppL. v.3.},
  topic = {context;pragmatics;}
 }

@book{ parret:1983a,
  author = {Herman Parret},
  title = {Semiotics and Pragmatics: An Evaluative Comparison of
    Conceptual Frameworks},
  publisher = {Benjamins},
  year = {1983},
  address = {Amsterdam},
  ISBN = {902722532X},
  rtnote = {UMich Graduate Library, P99.4.P72 P26x 1983},
  topic = {nl-semantics;pragmatics;semiotics;}
 }

@book{ parret:1993a,
  author = {Herman Parret},
  title = {The Aesthetics of Communication: Pragmatics and Beyond},
  publisher = {Kluwer Academic Publishers},
  year = {1993},
  address = {Dordrecht},
  ISBN = {0792321987 (alk. paper)},
  rtnote = {UMich Graduate Library, P 91 .P371 1993.},
  topic = {pragmatics;}
 }

@book{ parret-bouveresse:1981a,
  editor = {Herman Parret and Jacques Bouveresse},
  title = {Meaning and Understanding},
  publisher = {Walter de Gruyter},
  year = {1981},
  address = {Berlin},
  ISBN = {3110081164},
  rtnote = {UMich Graduate Library, B105.M4 M41 1981.},
  topic = {philosophy-of-language;nl-semantics;}
 }

@book{ parret-etal:1981a,
  editor = {Herman Parret and M. Sbis\`a and Jef Verschueren},
  title = {Possibilities and Limitations of Pragmatics: Proceedings
  	of the Conference at Urbino, July 8--14, 1979},
  publisher = {John Benjamins Publishing Company},
  year = {1981},
  address = {Amsterdam},
  missinginfo = {E's 1st name},
  ISBN = {9027230064},
  rtnote = {UMich Graduate Library, P99.4.P72 C74 1979.},
  topic = {pragmatics;}
 }

@book{ parret-verschueren:1992a,
  editor = {Herman Parret and Jef Verschueren},
  title = {(On) {S}earle on Conversation},
  publisher = {John Benjamins Publishing Company},
  year = {1992},
  address = {Amsterdam},
  topic = {foundations-of-pragmatics;discourse-analysis;pragmatics;}
 }

@article{ parry:1967a,
  author = {Geraint Parry},
  title = {Performative Utterances and Obligations in Hobbes},
  journal = {Philosophical Quarterly},
  year = {1967},
  volume = {17},
  pages = {246--254},
  missinginfo = {number},
  topic = {speech-acts;pragmatics;}
  }

@article{ parsons_c:1970a,
  author = {Charles Parsons},
  title = {Axiomatization of {\AA}qvist's {CS}-Logics},
  journal = {Theoria},
  year = {1970},
  volume = {36},
  pages = {43--64},
  rtnote = {In RHT collection.},
  topic = {preferences;}
  }

@article{ parsons_c:1971a,
  author = {Charles Parsons},
  title = {Ontology and Mathematics},
  journal = {Philosophical Review},
  year = {1971},
  volume = {80},
  pages = {151--176},
  rtnote = {In RHT collection.},
  topic = {philosophy-of-mathematics;philosophical-ontology;}
  }

@unpublished{ parsons_c:1972a,
  author = {Charles Parsons},
  title = {On Modal Quantification Theory with Contingent Domains},
  year = {1972},
  note = {Unpublished manuscript, Columbia University},
  rtnote = {In RHT collection.  Date is a guess.},
  topic = {modal-logic;quantifying-in-modality;(non)existence;}
  }

@article{ parsons_c:1974a,
  author = {Charles Parsons},
  title = {The Liar Paradox},
  journal = {Journal of Philosophical Logic},
  year = {1974},
  volume = {3},
  pages = {381--412},
  topic = {truth;semantic-paradoxes;}
 }

@article{ parsons_c:1974b,
  author = {Charles Parsons},
  title = {On Translating Logic},
  journal = {Synth\'ese},
  year = {1990},
  volume = {85},
  number = {1},
  pages = {405--411},
  topic = {indeterminacy-of-translation;}
  }

@unpublished{ parsons_c:1976a,
  author = {Charles Parsons},
  title = {The Logic of Sense and Denotation and {M}ontague's
  	Intensional Logic},
  year = {1976},
  note = {Unpublished manuscript, Columbia University.},
  rtnote = {In RHT collection.  Date is a guess.},
  topic = {logic-of-sense-and-denotation;intensional-logic;}
  }

@incollection{ parsons_c:2006a,
  author = {Charles Parsons},
  title = {The Problem of Absolute Universality},
  booktitle = {Absolute Generality},
  publisher = {Oxford University Press},
  year = {2006},
  editor = {August\'in Rayo and Gabriel Uzquiano},
  pages = {203--219},
  address = {Oxford},
  topic = {philosophical-ontology;unrestrictive-quantification;}
  }

@article{ parsons_c:2009a,
  author = {Charles Parsons},
  title = {Review of \emph{{F}ixing {F}rege}, by {J}ohn {B}urgess},
  journal = {The Journal of Philosophy},
  year = {2009},
  volume = {106},
  number = {7},
  pages = {404--417},
  xref = {Review of: burgess_jp:2005a},
  topic = {Frege;logicism;}
  }

@incollection{ parsons_s:1991a,
  author = {Simon Parsons},
  title = {Advance Prototyping},
  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 = {86--90},
  address = {Berlin},
  topic = {reasoning-about-uncertainty;}
  }

@book{ parsons_s:1997a,
  author = {Simon Parsons},
  title = {Qualitative Methods for Reasoning Under Uncertainty},
  publisher = {The {MIT} Press},
  year = {1997},
  address = {Cambridge, Massachusetts},
  topic = {uncertainty-in-AI;qualitative-reasoning;}
 }

@article{ parsons_s:1998a,
  author = {Simon Parsons},
  title = {Agents that Reason and Negotiate by Arguing},
  journal = {Journal of Logic and Computtion},
  year = {1998},
  volume = {8},
  number = {3},
  pages = {261--292},
  rtnote = {In RHT collection.},
  topic = {multiagent-systems;negotiation;}
  }

@article{ parsons_s:1999a,
  author = {Simon Parsons},
  title = {Review of \emph{{N}onmonotonic Reasoning}, by {G}rigoris
  	{A}ntoniou},
  journal = {The {AI} Magazine},
  year = {1999},
  volume = {20},
  number = {3},
  pages = {90--91},
  xref = {Review of: antoniou:1997a.},
  topic = {default-logic;autoepistemic-logic;circumscription;}
  }

@book{ parsons_t1-etal:1953a,
  author = {Talcott Parsons and Robert F. Bales and Edward A. Shils},
  title = {Working Papers in the Theory of Action},
  publisher = {Free Press},
  year = {1953},
  address = {Glencoe, Illinois},
  ISBN = {0465017894},
  rtnote = {UMich Graduate Library, HB144 .M341 1984.},
  topic = {action;sociology;}
 }

@book{ parsons_t1-shils:1951a,
  editor = {Talcott Parsons and Edward Shils},
  title = {Toward a General Theory of Action},
  publisher = {Harvard University Press},
  year = {1951},
  address = {Cambridge, Massachusetts},
  rtnote = {UMich  Graduate Library  Call No: HM201 .P28},
  topic = {action;sociology;}
 }

@article{ parsons_t2:1970a,
  author = {Terence Parsons},
  title = {Some Problems Concerning the Logic of Grammatical Modifiers},
  journal = {Synth\'ese},
  year = {1970},
  volume = {21},
  pages = {320--334},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;adverbs;}
  }

@article{ parsons_t2:1970b,
  author = {Terence Parsons},
  title = {An Analysis of Mass Terms and Amount Terms},
  journal = {Foundations of Language},
  year = {1970},
  volume = {6},
  number = {3},
  pages = {362--388},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;mass-term-semantics;}
  }

@incollection{ parsons_t2:1972a,
  author = {Terence Parsons},
  title = {Some Problems Concerning the Logic of
          Grammatical Modifiers},
  booktitle = {Semantics of Natural Language},
  publisher = {D. Reidel Publishing Co.},
  year = {1972},
  editor = {Donald Davidson and Gilbert H. Harman},
  pages = {127--141},
  address = {Dordrecht},
  topic = {nl-semantics;adverbs;}
  }

@unpublished{ parsons_t2:1973a,
  author = {Terence Parsons},
  title = {A Prolegomenon to {M}einongian Semantics},
  year = {1973},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.},
  topic = {Meinong;(non)existence;}
  }

@unpublished{ parsons_t2:1973b,
  author = {Terence Parsons},
  title = {On the Consistency of the First-Order Portion of
  	{F}rege's Logical System},
  year = {1973},
  note = {Unpublished manuscript, University of California at Irvine.},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  topic = {Frege;}
  }

@article{ parsons_t2:1975a,
  author = {Terence Parsons},
  title = {Afterthoughts on Mass Terms},
  journal = {Synth\'ese},
  year = {1975},
  volume = {31},
  pages = {320--334},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;mass-term-semantics;}
  }

@unpublished{ parsons_t2:1977b,
  author = {Terence Parsons},
  title = {Type Theory and Ordinary Language},
  year = {1977},
  note = {Unpublished manuscript, },
  rtnote = {In RHT collection.},
  topic = {nl-semantic-types;}
  }

@unpublished{ parsons_t2:1978a,
  author = {Terence Parsons},
  title = {The Progressive in {E}nglish: Events, States
  	and Processes},
  year = {1978},
  note = {Unpublished manuscript, UC Irvine.},
  rtnote = {In RHT collection.},
  missinginfo = {Year is a guess.},
  topic = {tense-aspect;progressive-aspect;eventualities;}
  }

@book{ parsons_t2:1980a,
  author = {Terence Parsons},
  title = {Nonexistent Objects},
  publisher = {Yale University Press},
  year = {1980},
  address = {New Haven},
  xref = {Review: cocchiarella:1982a.},
  rtnote = {In RHT collection.  ON LOAN TO PAM JORDAN.},
  topic = {Russell;Meinong;(non)existence;}
 }

@article{ parsons_t2:1982a,
  author = {Terence Parsons},
  title = {What Do Quotation Marks Name?  Frege's Theories of
  	Quotations and That-Clauses},
  journal = {Philosophical Studies},
  year = {1982},
  volume = {42},
  pages = {315--328},
  topic = {direct-discourse;Frege;}
  }

@article{ parsons_t2:1984a,
  author = {Terence Parsons},
  title = {Assertion, Denial, and the Liar Paradox},
  journal = {Journal of Philosophical Logic},
  year = {1984},
  volume = {13},
  pages = {137--152},
  missinginfo = {number},
  topic = {semantic-paradoxes;speech-acts;pragmatics;}
  }

@incollection{ parsons_t2:1987a,
  author = {Terence Parsons},
  title = {Entities without Identity},
  booktitle = {Philosophical Perspectives, Volume 1: Metaphysics},
  publisher = {Blackwell Publishers},
  year = {1987},
  editor = {James E. Tomberlin},
  address = {Oxford},
  pages = {1--19},
  rtnote = {In RHT collection.},
  note = {Also available at http://www.jstor.org/journals/.},
  topic = {logic-of-existence;individuation;vagueness;identity;}
  }

@unpublished{ parsons_t2:1987b,
  author = {Terence Parsons},
  title = {Underlying States in the Semantical Analysis of
  	{E}nglish},
  year = {1987},
  note = {Unpublished manuscript, University of California at
  	Irvine},
  rtnote = {In RHT collection.},
  topic = {eventualities;nl-semantics;}
  }

@incollection{ parsons_t2:1987c,
  author = {Terence Parsons},
  title = {Entities without Identity},
  booktitle = {Philosophical Perspectives, Volume 1: Metaphysics},
  publisher = {Blackwell Publishers},
  year = {1987},
  editor = {James E. Tomberlin},
  pages = {1--19},
  address = {Oxford, England},
  note = {Also available at http://www.jstor.org/journals/.},
  topic = {vagueness;identity;}
  }

@incollection{ parsons_t2:1988a,
  author = {Terence Parsons},
  title = {Russell's Early Views on Denoting},
  booktitle = {Philosophical Analysis: A Defense by Example},
  publisher = {D. Reidel Publishing Co.},
  year = {1988},
  editor = {David F. Austin},
  missinginfo = {pages},
  address = {Dordrecht},
  rtnote = {In RHT collection.  Files.},
  topic = {Russell;definite-descriptions;}
  }

@article{ parsons_t2:1989a,
  author = {Terence Parsons},
  title = {The Progressive in {E}nglish: Events, States,
  	and Processes},
  journal = {Linguistics and Philosophy},
  year = {1989},
  volume = {12},
  number = {2},
  pages = {213--241},
  topic = {event-semantics;tense-aspect;progressive-aspect;}
  }

@book{ parsons_t2:1990a,
  author = {Terence Parsons},
  title = {Events in the Semantics of {E}nglish: a Study in Subatomic
 	Semantics},
  publisher = {The {MIT} Press},
  year = {1990},
  address = {Cambridge, Massachusetts},
  rtnote = {semantics-course;},
  topic = {nl-semantics;events;aktionsarten;aspect;
  	event-semantics;}
 }

@incollection{ parsons_t2:1993a,
  author = {Terence Parsons},
  title = {On Denoting Propositions and Facts},
  booktitle = {Philosophical Perspectives, Volume 7:
  	Language and Logic},
  publisher = {Blackwell Publishers},
  year = {1993},
  editor = {James E. Tomberlin},
  pages = {441--460},
  address = {Oxford},
  note = {Also available at http://www.jstor.org/journals/.},
  topic = {propositions;intensionality;philosophical-ontology;
  	propositional-attitudes;foundations-of-semantics;facts;}
  }

@article{ parsons_t2:1994a,
  author = {Terence Parsons},
  title = {Anaphoric Pronouns in Very Late {M}edieval Supposition
  	Theory},
  journal = {Linguistics and Philosophy},
  year = {1994},
  volume = {17},
  number = {5},
  pages = {429--445},
  topic = {anaphora;medieval-logic;}
  }

@article{ parsons_t2:1995a,
  author = {Terence Parsons},
  title = {Thematic Relations and Arguments},
  journal = {Linguistic Inquiry},
  year = {1995},
  volume = {26},
  number = {4},
  pages = {635--662},
  contentnote = {A readable paper on the semantics of thematic roles.},
  rtnote = {semantics-course;},
  topic = {thematic-roles;}
  }

@incollection{ parsons_t2:2000a,
  author = {Terence Parsons},
  title = {Underlying Events and Time Travel},
  booktitle = {Speaking of Events},
  publisher = {Oxford University Press},
  year = {2000},
  editor = {James Higginbotham and Fabio Pianesi and Achille C. Varzi},
  pages = {81--93},
  address = {Oxford},
  topic = {events;nl-semantics;event-semantics;logic-of-perception;}
  }

@article{ parsons_t2:2002a,
  author = {Terence Parsons},
  title = {Eventualities and Narrative Progression},
  journal = {Linguistics and Philosophy},
  year = {2002},
  volume = {25},
  number = {5--6},
  pages = {681--699},
  topic = {eventualities;narrative-representation;}
  }

@incollection{ parsons_t2-woodruff:1997a,
  author = {Terence Parsons and Peter W. Woodruff},
  title = {Wordly Indeterminacy of Identity},
  booktitle = {Vagueness: A Reader},
  publisher = {The {MIT} Press},
  year = {1997},
  editor = {Rosanna Keefe and Peter Smith},
  pages = {321--337},
  address = {Cambridge, Massachusetts},
  topic = {vagueness;}
  }

@unpublished{ partee:1962a,
  author = {Barbara Partee},
  title = {All about Predeterminers},
  year = {1962},
  note = {Unpublished manuscript, Massachusetts Institute of Technology},
  rtnote = {In RHT collection.},
  topic = {nl-syntax;}
  }

@techreport{ partee:1964a,
  author = {Barbara Partee},
  title = {Adverbial Subordinate Clauses},
  institution = {The Mitre Corporation},
  number = {W-07241},
  year = {1964},
  address = {Bedford, Massachusetts},
  rtnote = {In RHT collection.},
  topic = {adverbs;transformational-grammar;subordinate-clauses;}
  }

@unpublished{ partee:1968a,
  author = {Barbara Partee},
  title = {On Some Fundamental Conflicts in the Establishment of
		Deep Structure Constraints},
  year = {1968},
  note = {Unpublished manuscript, University of California at Los Angeles},
  rtnote = {In RHT collection.},
  topic = {transformational-grammar;}
  }

@article{ partee:1970a1,
  author = {Barbara Partee},
  title = {Opacity, Coreference and Pronouns},
  journal = {Synth\'ese},
  year = {1970},
  volume = {21},
  pages = {359--385},
  xref = {Republication: partee:1970a1.},
  topic = {anaphora;reference;}
 }

@incollection{ partee:1970a2,
  author = {Barbara H. Partee},
  title = {Opacity, Coreference, and Pronouns},
  booktitle = {Semantics of Natural Language},
  publisher = {D. Reidel Publishing Co.},
  year = {1972},
  editor = {Donald Davidson and Gilbert H. Harman},
  pages = {415--441},
  address = {Dordrecht},
  xref = {Journal Publication: partee:1970a1.},
  topic = {anaphora;reference;}
  }

@unpublished{ partee:1970b,
  author = {Barbara Partee},
  title = {Comments on {R}ichard {M}ontague's `Quantification
		in Ordinary {E}nglish'\, },
  year = {1970},
  note = {Unpublished manuscript, University of California at
		Los Angeles},
  rtnote = {In RHT collection.},
  topic = {Montague-grammar;}
  }

@unpublished{ partee:1970c,
  author = {Barbara Partee},
  title = {Does de {M}organ's Law Operate in {E}nglish?},
  year = {1970},
  note = {Handout for talk.},
  rtnote = {In RHT collection.},
  topic = {negation;nl-semantics;}
  }

@incollection{ partee:1971a,
  author = {Barbara Partee},
  title = {On the Requirement that Transformations Preserve Meaning},
  booktitle = {Studies in Linguistic Semantics},
  publisher = {Holt, Rinehart and Winston},
  year = {1971},
  editor = {Charles J. Fillmore and D. Terence Langendoen},
  address = {New York},
  pages = {1--21},
  contentnote = {Author's summary: "Includes a historical survey of
		the development of semantics in transformational theory and
		argues against nearly all possible positions.},
  topic = {transformational-grammar;nl-semantics;}
  }

@unpublished{ partee:1971b,
  author = {Barbara Partee},
  title = {Montague's Theory of Grammar and Some Transformational
		Extensions},
  year = {1971},
  note = {Handout for talk.},
  rtnote = {In RHT collection.},
  topic = {Montague-grammar;}
  }

@unpublished{ partee:1971c,
  author = {Barbara Partee},
  title = {Montague Grammar and Transformational Grammar},
  year = {1971},
  note = {Handout for talk.},
  rtnote = {In RHT collection.},
  topic = {Montague-grammar;}
  }

@unpublished{ partee:1971d,
  author = {Barbara Partee},
  title = {Montague's Theory of Grammar},
  year = {1971},
  note = {Handout for talk.},
  rtnote = {In RHT collection.},
  topic = {Montague-grammar;}
  }

@unpublished{ partee:1971e,
  author = {Barbara Partee},
  title = {Montague's Theory and Transformational Grammar},
  year = {1971},
  note = {Handout for talk.},
  rtnote = {In RHT collection.},
  topic = {Montague-grammar;}
  }

@incollection{ partee:1971f,
  author = {Barbara Hall Partee},
  title = {Linguistics Metatheory},
  booktitle = {A Survey of Linguistic Science},
  publisher = {Privately Published, Linguistics Program, University of
		Maryland.},
  year = {1971},
  editor = {William Orr Dingwall},
  pages = {650--680},
  address = {College Park, Maryland},
  rtnote = {Reading notes on file.},
  topic = {nl-syntax;nl-semantics;}
  }

@unpublished{ partee:1971g,
  author = {Barbara Partee},
  title = {Montague's Theory of Grammar and Some Transformational
		Extensions},
  year = {1971},
  note = {Unpublished manuscript, University of California at Los Angeles},
  rtnote = {In RHT collection.},
  topic = {Montague-grammar;}
  }

@incollection{ partee:1972a1,
  author = {Barbara Partee},
  title = {Some Transformational Extensions of {M}ontague Grammar},
  booktitle = {Papers in {M}ontague Grammar},
  publisher = {Linguistics Department, UCLA},
  year = {1972},
  editor = {Robert Rodman},
  pages = {1--24 },
  address = {Los Angeles, California},
  note = {ULCA Occasional Papers in Linguistics, No. 2},
  xref = {Republications: partee:1972a2, partee:1972a3.},
  topic = {Montague-grammar;}
  }

@article{ partee:1972a2,
  author = {Barbara Partee},
  title = {Some Transformational Extensions of {M}ontague Grammar},
  journal = {Journal of Philosophical Logic},
  year = {1973},
  volume = {2},
  number = {4},
  pages = {509--534},
  xref = {Republication: partee:1973d2.},
  xref = {Republication of: partee:1972a1.  Republication: partee:1972a3.},
  topic = {Montague-grammar;}
  }

@incollection{ partee:1972a3,
  author = {Barbara H. Partee},
  title = {Some Transformational Extensions of {M}ontague {G}rammar},
  booktitle = {Montague Grammar},
  publisher = {Academic Press},
  year = {1976},
  editor = {Barbara H. Partee},
  pages = {51--76},
  address = {New York},
  xref = {Republication of: partee:1972a1.  Other republication:
  	partee:1972a2.},
  topic = {Montague-grammar;transformational-grammar;}
  }

@incollection{ partee:1973a,
  author = {Barbara Partee},
  title = {The Syntax and Semantics of Quotation},
  booktitle = {A {F}estschrift for {M}orris {H}alle},
  publisher = {Holt, Rinehart and Winston, Inc.},
  year = {1973},
  editor = {Stephen R. Anderson and Paul Kiparsky},
  pages = {410--418},
  address = {New York},
  topic = {direct-discourse;pragmatics;}
  }

@incollection{ partee:1973b,
  author = {Barbara Partee},
  title = {Comments on {M}ontague's Paper},
  booktitle = {Approaches to Natural Language},
  publisher = {D. Reidel Publishing Co.},
  year = {1973},
  editor = {Jaakko Hintikka and Julius M.E. Moravcsik and Patrick Suppes},
  pages = {243--258},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;Montague-grammar;}
  }

@incollection{ partee:1973c,
  author = {Barbara Partee},
  title = {The Semantics of Belief-Sentences},
  booktitle = {Approaches to Natural Language},
  publisher = {D. Reidel Publishing Co.},
  year = {1973},
  editor = {Jaakko Hintikka and Julius M.E. Moravcsik and Patrick Suppes},
  pages = {309--336},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;propositional-attitudes;belief;}
  }

@article{ partee:1973d,
  author = {Barbara Partee},
  title = {Some Structural Analogies Between Tenses and Pronouns in
  	{E}nglish},
  journal = {Journal of Philosophy},
  year = {1973},
  volume = {70},
  number = {18},
  pages = {601--609},
  rtnote = {In RHT collection.},
  topic = {nl-tense;}
 }

@unpublished{ partee:1973e,
  author = {Barbara Partee},
  title = {A {M}ontague Semantics for Derived Verb Phrases},
  year = {1973},
  note = {Unpublished manuscript, Linguistics Department, University of
		Massachusetts.},
  rtnote = {In RHT collection.  This appears to be a handout for a talk.},
  topic = {Montague-grammar;}
  }

@unpublished{ partee:1973f,
  author = {Barbara Partee},
  title = {Constraining Transformational {M}ontague Grammar:
  	a Framework and a Fragment},
  year = {1973},
  note = {Unpublished manuscript, Linguistics Department, University of
		Massachusetts.},
  rtnote = {In RHT collection.  Published in Albany conference?},
  topic = {Montague-grammar;nl-syntax;}
  }

@unpublished{ partee:1974a1,
  author = {Barbara Partee},
  title = {John is Easy to Please},
  year = {1974},
  note = {Unpublished manuscript, Linguistics Department, University of
		Massachusetts.},
  rtnote = {In RHT collection.  This appears to be a handout for a talk.},
  topic = {Montague-grammar;infinitive-clauses;}
  }

@unpublished{ partee:1974a2,
  author = {Barbara Partee},
  title = {John is Easy to Please},
  year = {1974},
  note = {Unpublished manuscript, Linguistics Department, University of
		Massachusetts.},
  rtnote = {In RHT collection.},
  topic = {Montague-grammar;infinitive-clauses;}
  }

@unpublished{ partee:1974b,
  author = {Barbara Partee},
  title = {Does de {M}organ's Law Operate in {E}nglish?},
  year = {1974},
  note = {Bibliography for course.},
  rtnote = {In RHT collection.},
  topic = {Montague-grammar;}
  }

@incollection{ partee:1974c,
  author = {Barbara H. Partee},
  title = {Opacity and Scope},
  booktitle = {Semantics and Philosophy},
  publisher = {New York University Press},
  year = {1974},
  editor = {Milton K. Munitz and Peter K. Unger},
  pages = {81--101},
  address = {New York},
  topic = {nl-semantics;referential-opacity;intensionality;}
  }

@unpublished{ partee:1975a,
  author = {Barbara Partee},
  title = {Comments on {F}illmore's and {C}homsky's Papers},
  year = {1975},
  note = {Unpublished manuscript, Linguistics Department, University of
		Massachusetts.},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;}
  }

@incollection{ partee:1975b1,
  author = {Barbara H. Partee},
  title = {Opacity and Scope},
  booktitle = {Semantics and Philosophy},
  publisher = {Academic Press},
  year = {1975},
  editor = {Milton K. Munitz and Peter Unger},
  address = {New York},
  pages = {81--101},
  xref = {Republication: partee:1975b2.},
  topic = {intensionality;nl-quantifier-scope;Montague-grammar;}
  }

@incollection{ partee:1975b2,
  author = {Barbara Partee},
  title = {Opacity and Scope},
  booktitle = {Readings in the Philosophy of Language},
  publisher = {The {MIT} Press},
  year = {1996},
  editor = {Peter Ludlow},
  pages = {833--853},
  address = {Cambridge, Massachusetts},
  xref = {Republication of partee:1975b1.},
  topic = {intensionality;nl-quantifier-scope;Montague-grammar;}
  }

@book{ partee:1976a,
  editor = {Barbara H. Partee},
  title = {Montague Grammar},
  publisher = {Academic Press},
  year = {1976},
  address = {New York},
  contentnote = {TC:
     1. David Lewis, "General Semantics", pp. 1--50
     2. Barbara H. Partee, "Some Transformational Extensions
     		of {M}ontague {G}rammar", pp. 51--76
     3. Richmond H. Thomason, "Some Extensions of {M}ontague
     		Grammar", pp. 77--117
     4. Michael R. Bennett, "A Variation and Extension of a {M}ontague
     		Fragment of {E}nglish", pp. 119--163
     5. Robert Rodman, "Scope Phenomena, `Movement Transformations',
     		and Relative Clauses", pp. 165--176
     6. Enrique B. Delacruz, "Factives and Proposition Level
     		Constructions in {M}ontague Grammar", pp. 177--199
     7. David R. Dowty, "Montague Grammar and the Lexical Decomposition of
  	        Causative Verbs", pp. 201--245
     8. Charles L. Hamblin, "Questions in {M}ontague
     		{E}nglish", pp. 247--259
     9. Max J. Cresswell, "The Semantics of Degree", pp. 261--292
    10. Muffy Siegel, "Capturing the {R}ussian Adjective", pp. 293--309
    11. Robin Cooper and Terence Parsons, "Montague Grammar,
    		Generative Semantics and Interpretive
		Semantics,", pp. 311--362
  },
  rtnote = {In RHT collection.  LL Collections Shelf.},
  topic = {nl-semantics;Montague-grammar;}
 }

@unpublished{ partee:1976b,
  author = {Barbara Partee},
  title = {Semantics and Syntax: The Search for Constraints},
  year = {1976},
  month = {March},
  note = {Unpublished manuscript, Linguistics Department, University of
		Massachusetts.},
  rtnote = {In RHT collection.},
  topic = {nl-syntax;syntax-semantics-interface;nl-semantics;}
  }

@unpublished{ partee:1977a,
  author = {Barbara Partee},
  title = {Montague Grammar and the Well-Formedness Constraint},
  year = {1977},
  note = {Unpublished manuscript, Linguistics Department, University of
		Massachusetts.},
  rtnote = {In RHT collection.},
  topic = {Montague-grammar;nl-syntax;}
  }

@article{ partee:1977b,
  author = {Barbara Partee},
  title = {Possible Worlds Semantics and Linguistic Theory},
  journal = {The Monist},
  year = {1977},
  volume = {60},
  pages = {303--326},
  missinginfo = {number},
  rtnote = {Reading notes on file.},
  topic = {nl-semantics;foundations-of-semantics;}
  }

@unpublished{ partee:1977c,
  author = {Barbara Partee},
  title = {Constraining the Syntax of Montague Grammar},
  year = {1977},
  note = {Unpublished handout, Linguistics Department, University of
		Massachusetts.},
  rtnote = {In RHT collection.},
  topic = {Montague-grammar;nl-syntax;}
  }

@unpublished{ partee:1977d,
  author = {Barbara Partee},
  title = {Montague Grammar and Issues of Psychological Reality},
  year = {1977},
  note = {Unpublished handout, Linguistics Department, University of
		Massachusetts.},
  rtnote = {In RHT collection.},
  topic = {Montague-grammar;psychological-reality;
  	foundations-of-semantics;}
  }

@incollection{ partee:1978a,
  author = {Barbara Hall Partee},
  title = {Montague Grammar, Mental Representations, and Reality},
  booktitle = {Contemporary Perspectives in the Philosophy of Language},
  publisher = {University of Minnesota Press},
  year = {1978},
  editor = {Peter A. French and Theodore E. {Uehling, Jr.} and Howard
  	K. Wettstein},
  pages = {195--208},
  address = {Minneapolis},
  topic = {Montague-grammar;psychological-reality;
  	foundations-of-semantics;}
  }

@incollection{ partee:1979a,
  author = {Barbara Partee},
  title = {Semantics---Mathematics or Psychology?},
  booktitle = {Semantics from Different Points of View},
  year = {1979},
  editor = {Rainer B\"auerle and Urs Egli and Arnim {von Stechow}},
  publisher = {Springer-Verlag},
  address = {Berlin},
  pages = {1--14},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;philosophy-of-linguistics;psychological-reality;
		nl-semantics-and-cognition;}
  }

@incollection{ partee:1982a,
  author = {Barbara Partee},
  title = {Belief-Sentences and the Limits of Semantics},
  booktitle = {Processes, Beliefs, and Questions},
  publisher = {D. Reidel Publishing Company},
  year = {1982},
  editor = {Stanley Peters and Esa Saarinen},
  pages = {87--106},
  address = {Dordrecht},
  topic = {nl-semantics;propositional-attitudes;
  	nl-semantics-and-cognition;belief;}
  }

@incollection{ partee:1984a,
  author = {Barbara Partee},
  title = {Compositionality},
  booktitle = {Varieties of Formal Semantics},
  publisher = {Foris Publications},
  year = {1984},
  editor = {Fred Landman and Frank Veltman},
  pages = {325--343},
  address = {Dordrecht},
  topic = {compositionality;Montague-grammar;}
  }

@article{ partee:1984b,
  author = {Barbara H. Partee},
  title = {Nominal and Temporal Anaphora},
  journal = {Linguistics and Philosophy},
  year = {1984},
  volume = {7},
  number = {3},
  pages = {243--286},
  topic = {nl-tense;anaphora;}
  }

@incollection{ partee:1985a,
  author = {Barbara H. Partee},
  title = {Quantificational Structures and Compositionality},
  booktitle = {Quantification in Natural Languages, Vol. 2},
  publisher = {Kluwer Academic Publishers},
  year = {1995},
  editor = {Emmon Bach and Eloise Jelinek and Angelika Kratzer and
   	Barbara Partee},
  pages = {541--602},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;nl-quantifiers;compositionality;}
  }

@article{ partee:1985b,
  author = {Barbara Partee},
  title = {Situations, Worlds and Contexts},
  journal = {Linguistics and Philosophy},
  year = {1985},
  volume = {8},
  number = {1},
  pages = {53--58},
  topic = {context;situation-semantics;intensionality;}
  }

@incollection{ partee:1986a,
  author = {Barbara H. Partee},
  title = {Noun Phrase Interpretation and Type-Shifting Principles},
  booktitle = {Studies in Discourse Representation Theory and the Theory of
  	Generalized Quantifiers},
  publisher = {Foris Publications},
  year = {1986},
  editor = {Jeroen Groenendijk and Dick de Jongh and Martin Stokhof},
  pages = {115--143},
  address = {Dordrecht},
  topic = {generalized-quantifiers;nl-semantic-types;
	noun-phrase-semantics;polymorphism;pragmatics;}
  }

@inproceedings{ partee:1986b,
  author = {Barbara Partee},
  title = {Ambiguous Pseudoclefts with Unambiguous `Be'},
  booktitle = {Proceedings of {\it NELS 16, 1985}},
  editor = {Steven Berman and Jae-Woong Choe and Joyce McDonough},
  year = {1986},
  publisher = {GLSA Publications},
  address = {University of Massachusetts, Amherst, Massachusetts},
  pages = {354--366},
  note = {URL FOR GLSA Publications:
  	http://www.umass.edu/linguist/glsa-pubs.html.},
  contentnote = {Partee proposes that `be' always takes an X-type subject
    with an <X,t> type complement.  To get the ambiguity in `What John is
    is unusual' she proposes that for the ``predicational'' reading
    (John is a clown psychologist, and that is unusual) we let `what
    John is' be of type e, and refers to (something like) the having
    of the property of being a clown psychologist and `unusual' is a
    simple <e,t> predication.  To get the ``specificational''
    reading, (where being unusual is on the ``

license: MIT

license_type: permissive

branch_name: refs/heads/master

gha_license_id: MIT

extension: bib