text:
list'' of things that
    John is, i.e., John is unusual) we have a subject-predicate
    inversion around `be' so that `unusual' is of type e, and denotes
    the individual correlate of the property of being unusual, while
    `what John is' is of type <e,t>, and denotes a second-level
    property that (an individual correlate of) a property has just in
    case it's a property John has.  },
  topic = {nl-semantics;predication;}
 }

@article{ partee:1988a,
  author = {Barbara H. Partee},
  title = {Semantic Facts and Psychological Facts},
  journal = {Mind and Language},
  year = {1988},
  volume = {3},
  number = {1},
  pages = {43--52},
  xref = {Discussion of schiffer:1987a.},
  topic = {philosophy-of-language;foundations-of-semantics;}
  }

@incollection{ partee:1989a,
  author = {Barbara H. Partee},
  title = {Possible Worlds in Model-Theoretic Semantics:
  	A Linguistic Perspective},
  booktitle = {Possible Worlds in Humanities, Arts and Sciences},
  publisher = {Walter de Gruyter},
  year = {1989},
  editor = {Sture All\'en},
  pages = {93--123},
  address = {Berlin},
  rtnote = {In RHT collection.},
  topic = {intensionality;foundations-of-semantics;}
  }

@inproceedings{ partee:1991a,
  author = {Barbara Partee},
  title = {Topic, Focus, and Quantification},
  booktitle = {Proceedings from Semantics and Linguistic Theory {I}},
  year = {1991},
  editor = {Steven Moore and {Adam Zachary} Wyner},
  pages = {159--187},
  publisher = {Cornell University},
  address = {Ithaca, New York},
  note = {Available from CLC Publications, Department of Linguistics,
  	Morrill Hall, Cornell University, Ithaca, NY 14853-4701.},
  topic = {sentence-focus;topic;pragmatics;}
  }

@incollection{ partee:1993a,
  author = {Barbara H. Partee},
  title = {Semantic Structures and Semantic Properties},
  booktitle = {Knowledge and Language: Volume {II}, Lexical and Conceptual
  	Structure},
  publisher = {Kluwer Academic Publishers},
  year = {1993},
  editor = {Eric Reuland and Werner Abraham},
  pages = {7--29},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {foundations-of-semantics;}
  }

@incollection{ partee:1996a,
  author = {Barbara H. Partee},
  title = {The Development of Formal Semantics in Linguistic Theory},
  booktitle = {The Handbook of Contemporary Semantic Theory},
  publisher = {Blackwell Publishers},
  year = {1996},
  address = {Oxford},
  editor = {Shalom Lappin},
  pages = {11--38},
  rtnote = {Reading notes on file.},
  rtnote = {semantics-course;},
  topic = {semantics-history;semantics-survey;}
  }

@unpublished{ partee:2005a,
  author = {Barbara H. Partee},
  title = {Reflections of a Formal Semanticist as of {F}eb 2005},
  year = {2005},
  note = {http://people.umass.edu/partee/docs/BHP\_Essay\_Feb05.pdf},
  rtnote = {In RHT collection.  File drawers.} ,
  topic = {nl-semantics;history-of-semantics;}
  }

@unpublished{ partee:2009a,
  author = {Barbara H. Partee},
  title = {Reminiscences on Philosophy-Linguistics Interactions in
  	the Beginnings of Formal Semantics},
  year = {2009},
  note = {https://udrive.oit.umass.edu/partee/RichfestPartee.ppt.pdf},
  rtnote = {In RHT collection.},
  rtnote = {This is a slide show for a presentation.},
  topic = {nl-semantics;history-of-semantics;}
  }

@unpublished{ partee-etal:1971a,
  author = {Barbara Partee and Sharon Sabsay and John Soper},
  title = {Bibliography: Logic and Language},
  year = {1971},
  note = {Published by Indiana University Linguistics Club},
  rtnote = {In RHT collection.},
  topic = {bibliography;nl-semantics;philosophy-of-language;}
  }

@book{ partee-etal:1978a,
  author = {Barbara Hall Partee and Sharon Sabsay and William Badeker},
  title = {Bibliography: Logic and Language},
  publisher = {Indiana University Linguistics Club},
  year = {1978},
  address = {Department of Linguistics, University of Indiana,
 	Bloomington, Indiana},
  rtnote = {In RHT collection.  Reprint Files.},
  topic = {logic-and-linguistics;bibliography;}
 }

@incollection{ partee-hendriks_hlv:1996a,
  author = {Barbara H. Partee and Herman L.W. Hendriks},
  title = {Montague Grammar},
  booktitle = {Handbook of Logic and Language},
  publisher = {Elsevier Science Publishers},
  year = {1996},
  editor = {Johan {van Benthem} and Alice {ter Meulen}},
  pages = {5--91},
  address = {Amsterdam},
  rtnote = {semantics-course;},
  topic = {Montague-grammar;nl-semantics;}
  }

@incollection{ partee-rooth:1983a,
  author = {Barbara Partee and Mats Rooth},
  title = {Generalized Quantifiers and Type Ambiguity},
  booktitle = {Meaning, Use, and Interpretation of Language},
  publisher = {Walter de Gruyter},
  year = {1983},
  editor = {Rainer B\"auerle and Christoph Schwarze and Arnim von
  	Stechow},
  pages = {361--383},
  address = {Berlin},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;nl-quantifiers;polymorphism;}
  }

@book{ partee-sgall:1996a,
  editor = {Barbara H. Partee and Petr Sgall},
  title = {Discourse and Meaning: Papers in Honor of {E}va
  	{H}aji\v{c}ov\'a},
  publisher = {John Benjamins Publishing Co.},
  year = {1996},
  address = {Amsterdam},
  ISBN = {1556194994},
  rtnote = {UMich Graduate Library, P 302 .D54851 1996.},
  topic = {pragmatics;nl-semantics;}
 }

@book{ partridge_d:1998a,
  author = {Derek Partridge},
  title = {Artificial Intelligence and Software Engineering:
  	Understanding the Promise of the Future},
  publisher = {Glenlake Publishing Company, Ltd.},
  year = {1998},
  address = {Chicago},
  ISBN = {0814404413},
  rtnote = {UMich Media Union Library, QA 76.758 .P37 1998.},
  topic = {software-engineering;}
 }

@book{ partridge_e:1950a,
  author = {Eric Partridge},
  title = {Name into Word; Proper Names that Have Become Common Property; A
    Discursive Dictionary; with A Foreword},
  publisher = {Secker and Warburg},
  year = {1950},
  address = {London},
  rtnote = {UMich GRAD REFERENCE (Non-Circulating) Call No: PE 1583
  	.P27 1950},
  topic = {proper-names;common-nouns;}
 }

@book{ partridge_e:1952a,
  author = {Eric Partridge},
  title = {Chamber of Horrors: A Glossary of Official Jargon, both {E}nglish
    and {A}merican},
  publisher = {A. Deutsch},
  year = {1952},
  address = {London},
  ISBN = {0026053500},
  rtnote = {UMich Graduate Library, 808 V677.},
  topic = {jargon;}
 }

@book{ partridge_e:1953a,
  author = {Eric Partridge},
  title = {You have a Point There: A Guide to Punctuation and
	  its Allies},
  publisher = {Hamish Hamilton Ltd.},
  year = {1953},
  address = {London},
  note = {Reprinted by Routledge in 1993.},
  ISBN = {0710087535},
  rtnote = {UMich Graduate Library, PE 1450 .P29.},
  topic = {punctuation;}
}

@book{ partridge_e:1956a,
  author = {Eric Partridge},
  title = {Notes on Punctuation},
  publisher = {Oxford University Press},
  year = {1956},
  address = {Oxford},
  rtnote = {UMich BUHR PE 1450 .P27},
  topic = {punctuation;}
 }

@book{ partridge_e:1963a,
  author = {Eric Partridge},
  title = {The Gentle Art of Lexicography as Pursued and Experienced by an
    Addict},
  publisher = {Deutsch},
  year = {1963},
  address = {London},
  topic = {popular-linguistics;lexicography;}
 }

@book{ partridge_e:1990a,
  author = {Eric Partridge},
  title = {A Concise Dictionary of Slang and Unconventional {E}nglish: From
    a Dictionary of Slang and Unconventional {E}nglish by Eric Partridge},
  publisher = {Macmillan},
  year = {1990},
  address = {New York},
  ISBN = {0026053500},
  note = {Edited by Paul Beale.},
  rtnote = {UMich Graduate Library, 820.41 P27cn 1990},
  topic = {dictionary;slang;English-language;}
 }

@book{ partridge_e:1994a,
  author = {Eric Partridge},
  title = {The World of Words: An Introduction to Language in General and
    to {E}nglish and {A}merican in particular},
  publisher = {H. Hamilton},
  year = {1994},
  address = {London},
  ISBN = {063116622X (acid-free paper)},
  rtnote = {UMich Graduate, 800 P27 1949.},
  topic = {popular-linguistics;English-language;}
 }

@book{ partridge_e:1994b,
  author = {Eric Partridge},
  title = {Usage and Abusage: A Guide To Good {E}nglish},
  publisher = {London : Hamish Hamilton},
  year = {1994},
  address = {London},
  ISBN = {0241133017},
  rtnote = {UMich GRAD REFERENCE (Non-Circulating), PE 1460 .P28 1994.},
  note = {Edited by Janet Whitcut.},
  topic = {English-usage;}
 }

@book{ pasca:2003a,
  author = {Marius Pa{}sca},
  title = {Open-Domain Question Answering from Large Text Collection},
  publisher = {{CSLI} Publications},
  year = {2003},
  address = {Stanford, California},
  ISBN = {1575864274},
  xref = {Review: leidner:2004a.},
  topic = {question-answering;statistical-nlp;}
 }

@article{ pasca:2005a,
  author = {Marius Pa\c{s}ca},
  title = {Review of \emph{{N}ew Directions in Question Answering}, by
  		{M}ark {M}aybury},
  journal = {Computational Linguistics},
  year = {2005},
  volume = {31},
  number = {3},
  pages = {413--417},
  xref = {Review of: maybury_mt:2004a.},
  topic = {question-answering;}
  }

@incollection{ pascual:1996a,
  author = {Elsa Pascual},
  title = {Integrating Text Formatting and Text Generation},
  booktitle = {Trends in Natural Language Generation, An Artificial
  		Intelligence Perspective, Fourth {E}uropean Workshop,
		{EWNLG} '93, Pisa, Italy, April 28-30, 1993, Selected
		Papers},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  volume = {1036},
  year = {1996},
  editor = {Giovanni Adorni and Michael Zock},
  pages = {205--221},
  address = {New York},
  topic = {document-formatting;nl-generation;}
  }

@article{ pasnau:2004a,
  author = {Robert Pasnau},
  title = {Form, Substance, and Mechanism},
  journal = {The Philosophical Review},
  year = {2004},
  volume = {113},
  number = {1},
  pages = {31--88},
  topic = {metaphysics;substance;}
  }

@book{ pasniczek:1998a,
  author = {Jacek Pa\'sniczek},
  title = {The Logic of Intentional Objects: A {M}einongian
  	Version of Classical Logic},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  address = {Dordrecht},
  ISBN = {0-792304880-X},
  xref = {Review: scheffler_u:2000a, Review: jacquette:1999a.},
  topic = {Meinong;(non)existence;intensionality;}
 }

@incollection{ pasquier-etal:1999a,
  author = {Laurent Pasquier and Patrick Br\'ezillon and Jean-Charles
			Pomerol},
  title = {Context and Decision Graphs for Incident
			Management on a Subway Line},
  booktitle = {Modeling and Using Contexts: Proceedings of
	the Second International and Interdisciplinary
	Conference, {CONTEXT}'99},
  publisher = {Springer-Verlag},
  year = {1999},
  editor = {Paolo Bouquet and Luigi Serafini and Patrick
	Br\'ezillon	and Massimo Benerecetti and Francesca
	Castellani},
  pages = {499--502},
  address = {Berlin},
  topic = {context;decision-support;}
  }

@book{ passmore:1968a,
  author = {J. Passmore},
  title = {A Hundred Years of Philosophy},
  publisher = {Penguin},
  year = {1968},
  address = {Harmondsworth},
  missinginfo = {A's 1st name, publisher},
  topic = {ordinary-language-philosophy;}
 }

@article{ passoneau:1988a,
  author = {Rebecca Passoneau},
  title = {A Computational Model of the Semantics of Tense and Aspect},
  journal = {Computational Linguistics},
  year = {1988},
  volume = {14},
  pages = {44--60},
  topic = {tense-aspect;}
  }

@inproceedings{ passoneau:1995a,
  author = {Rebecca Passoneau},
  title = {Integrating {G}ricean and Attentional Constraints},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {1267--1273},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  rtnote = {In RHT collection.},
  topic = {discourse;anaphora;pragmatics;}
  }

@article{ passoneau:1996a,
  author = {Rebecca J. Passoneau},
  title = {Review of \emph{{R}epresenting Time in Natural Language:  The
  	Dynamic Interpretation of Tense and Aspect}, by {A}lice ter
        {M}eulen},
  journal = {Computational Linguistics},
  year = {1996},
  volume = {22},
  number = {2},
  pages = {274--176},
  xref = {Review of termeulen:1995a.},
  topic = {dynamic-semantics;tense-aspect;}
  }

@incollection{ passoneau:1997a,
  author = {Rebecca J. Passoneau},
  title = {Interaction of Discourse Structure
       		with Explicitness of Discourse Anaphoric Noun Phrases},
  booktitle = {Centering Theory in Discourse},
  publisher = {Oxford University Press},
  year = {1997},
  editor = {Marilyn A. Walker and Arivind K. Joshi and Ellen Prince},
  pages = {327--358},
  address = {Oxford},
  rtnote = {In RHT collection.  Passoneau.},
  topic = {anaphora-resolution;discourse;pragmatics;
  	discourse-structure;centering;}
  }

@article{ passonneau-litman:1997a,
  author = {Rebecca J. Passonneau and Diane J. Litman},
  title = {Discourse Segmentation by Human and Automated Means},
  journal = {Computational Linguistics},
  year = {1997},
  volume = {23},
  number = {1},
  pages = {103--139},
  topic = {discourse-segmentation;corpus-linguistics;pragmatics;}
  }

@article{ pastre:1978a,
  author = {Dominique Pastre},
  title = {Automatic Theorem Proving in Set Theory},
  journal = {Artificial Intelligence},
  year = {1978},
  volume = {10},
  number = {1},
  pages = {1--27},
  topic = {theorem-proving;set-theory;}
  }

@article{ pastre:1989a,
  author = {Dominique Pastre},
  title = {{MUSCADET}: An Automatic Theorem Proving System Using
  	Knowledge and Metaknowledge in Mathematics},
  journal = {Artificial Intelligence},
  year = {1989},
  volume = {38},
  number = {3},
  pages = {257--318},
  topic = {theorem-proving;computer-assisted-mathematics;}
  }

@incollection{ pasula-etal:2004a,
  author = {Hanna M. Pasula and Luke S. Zettlemoyer and Leslie Pack
  		Kaebling},
  title = {Learning Probabilistic Relational Planning Rules},
  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 = {683--691},
  address = {Menlo Park, California},
  topic = {machine-learning;planning;rule-learning;}
  }

@article{ pataki:1997a,
  author = {Tamas Pataki},
  title = {Rescuing the Counterfactual Solution to {C}hisholm's
  	Paradox},
  journal = {Philosophia},
  year = {1997},
  volume = {25},
  number = {1--4},
  pages = {351--371},
  topic = {deontic-logic;}
  }

@techreport{ patelschneider:1983a,
  author = {Peter F. Patel-Schneider},
  title = {Decidable, Logic-Based Knowledge Representation},
  institution = {Artificial Intelligence Laboratory, Schlumberger
  	Palo Alto Research},
  year = {1983},
  address = {Palo Alto},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {kr;kr-complexity-analysis;theorem-proving;kr-course;}
  }

@inproceedings{ patelschneider:1986a,
  author = {Peter F. Patel-Schneider},
  title = {A Four-Valued Semantics for Frame-Based
  	Description Languages},
  booktitle = {Proceedings of the Fifth National Conference on
              Artificial Intelligence},
  year = {1986},
  editor = {Tom Kehler and Stan Rosenschein},
  pages = {344--348},
  organization = {American Association for Artificial Intelligence},
  publisher = {Morgan Kaufmann},
  address = {Los Altos, California},
  rtnote = {In RHT collection.},
  topic = {kr;bilattices;description-logics;kr-course;}
  }

@techreport{ patelschneider:1987a,
  author = {Peter F. Patel-Schneider},
  title = {An Approach to Practical Object-Baseed Knowledge
  	Representation Systems},
  institution = {Schlumberger},
  number = {Technical Report No. 68},
  year = {1987},
  address = {Palo Alto, California},
  rtnote = {In RHT collection.},
  topic = {description-logics;}
  }

@inproceedings{ patelschneider:1989a,
  author = {Peter F. Patel-Schneider},
  title = {A Decidable First-Order Logic for Knowledge Representation},
  booktitle = {Proceedings of the Twelfth National Conference on
              Artificial Intelligence},
  year = {1994},
  editor = {Barbara Hayes-Roth and Richard Korf},
  pages = {455--458},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {kr;kr-complexity-analysis;theorem-proving;kr-course;}
  }

@article{ patelschneider:1989b,
 author = {Peter F. Patel-Schneider},
 title = {Undecidability of Subsumption in {\sc nikl}},
 journal = {Artificial Intelligence},
 year = {1989},
 volume = {39},
 number = {2},
 pages = {263--272},
 month = {June},
 topic = {kr;kr-complexity-analysis;description-logics;kr-course;}
  }

@article{ patelschneider:1989c,
  author = {Peter F. Patel-Schneider},
  title = {A Four-Valued Semantics for Terminological Logics},
  journal = {Artificial Intelligence},
  year = {1989},
  volume = {38},
  number = {3},
  pages = {319--351},
  topic = {kr;krcourse;description-logics;multivalued-logic;}
  }

@inproceedings{ patelschneider:1992a,
  author = {Peter F. Patel-Schneider},
  title = {Defaults and Descriptions},
  booktitle = {Working Notes, {AAAI} Fall Symposium on Issues in Description
  	Logics: Users Meet Developers},
  year = {1992},
  editor = {Robert MacGregor},
  pages = {72--73},
  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{ patelschneider:1992b,
  author = {Peter F. Patel-Schneider},
  title = {Partial Reasoning in Knowledge Representation Systems
  	Based on Description Logics},
  booktitle = {Working Notes, {AAAI} Fall Symposium on Issues in Description
  	Logics: Users Meet Developers},
  year = {1992},
  editor = {Robert MacGregor},
  pages = {74--75},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {kr;krcourse;description-logics;}
  }

@incollection{ patelschneider:2004a,
  author = {Peter Pater-Schneider},
  title = {What is {OWL} (and Why Should {I} Care)?},
  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 = {735--736},
  address = {Menlo Park, California},
  topic = {semantic-web;computational-ontology;description-logics;owl;}
  }

@inproceedings{ patil:1981a,
  author = {Ramesh Patil},
  title = {Causal Understanding of Patient Illness in Medical
  	Diagnosis},
  booktitle = {Proceedings of the Seventh International Joint
  	Conference on Artificial Intelligence},
  year = {1981},
  editor = {Patrick J. Hayes},
  pages = {893--899},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {diagnosis;causality;}
 }

@inproceedings{ patil:1983a,
  author = {Ramesh S. Patil},
  title = {Role of Causal Relations in Formulation and Evaluation
  	of Composite Hypotheses},
  booktitle = {Proceedings of {IEEE} MedComp Conference},
  year = {1983},
  missinginfo = {editor, publisher, pages},
  topic = {diagnosis;causality;medical-AI;}
  }

@inproceedings{ patil-etal:1981a,
  author = {Ramesh S. Patil and Peter Szolovits and William B Schwartz},
  title = {Information Acquisition in Diagnosis},
  booktitle = {Proceedings of the First National Conference on
              Artificial Intelligence},
  year = {1981},
  pages = {345--348},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, CA},
  topic = {diagnosis;medical-AI;}
  }

@incollection{ patil-etal:1992a,
  author = {Ramesh Patil and Richard F. Fikes and Peter F.
  	Patel-Schneider and Don McKay and Tim Finin and Thomas Gruber
	and Robert Neches},
  title = {The {DARPA} Knowledge Sharing Effort: Progress Report},
  booktitle = {{KR}'92. Principles of Knowledge Representation and
  	Reasoning: Proceedings of the Third International Conference},
  publisher = {Morgan Kaufmann},
  year = {1992},
  editor = {Bernhard Nebel and Charles Rich and William Swartout},
  pages = {777--788},
  address = {San Mateo, California},
  topic = {kr;knowledge-sharing;computational-ontology;kr-course;}
  }

@incollection{ patrick:1999a,
  author = {Jon David Patrick},
  title = {Tagging Psychotherapeutic Interviews for Linguistic
  	Analysis},
  booktitle = {Towards Standards and Tools for Discourse Tagging:
  	Proceedings of the Workshop},
  publisher = {Association for Computational Linguistics},
  year = {1999},
  editor = {Marilyn Walker},
  pages = {58--64},
  address = {Somerset, New Jersey},
  topic = {discourse-tagging;medical-AI;corpus-linguistics;}
  }

@inproceedings{ pattabhiraman-cercone:1990a,
  author = {T. Pattabhiraman and Nick Cercone},
  title = {Selection: Salience, Relevance and the Coupling between
  	Domain-Level Tasks and Text Planning},
  booktitle = {Fifth International Workshop on Natural Language
  	Generation, Pittsburgh, Pennsylvania},
  year = {1990},
  pages = {79--86},
  topic = {nl-generation;discourse-planning;pragmatics;text-planning;}
}

@book{ pattanaik-salles:1983a,
  editor = {Prasanta K. Pattanaik and Maurice Salles},
  title = {Social Choice and Welfare},
  publisher = {North-Holland Publishing Co.},
  year = {1983},
  address = {Amsterdam},
  rtnote = {GSPIA/Economics Lib    HB846.8 .S6 1983},
  topic = {welfare-economics;social-choice-theory;}
 }

@book{ patton_mq:1990a,
  author = {Michael Quinn Patton},
  title = {Qualitative Evaluation and Research Methods},
  publisher = {Sage Publications},
  year = {1990},
  address = {Thousand Oaks, California},
  edition = {2},
  topic = {qualitative-methods;}
 }

@article{ patton_te:1965a,
  author = {Thomas E. Patton},
  title = {Some Comments on `About'\,},
  journal = {The Journal of Philosophy},
  year = {1965},
  volume = {62},
  number = {12},
  pages = {311--325},
  topic = {aboutness;}
  }

@article{ patton_te:1978a,
  author = {Thomas E. Patton},
  title = {On {S}trawson's Substitute for Scope},
  journal = {Linguistics and Philosophy},
  year = {1978},
  volume = {2},
  number = {2},
  pages = {291--304},
  topic = {nl-quantifier-scope;}
  }

@article{ patton_te:1991a,
  author = {Thomas E. Patton},
  title = {On the Ontology of Branching Quantifiers},
  journal = {Journal of Philosophical Logic},
  year = {1991},
  volume = {20},
  number = {2},
  pages = {205--223},
  topic = {branching-quantifiers;}
  }

@unpublished{ paul_g:1992a,
  author = {Gabriele Paul},
  title = {Approaches to Abductive Reasoning},
  year = {1992},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript, German Center for Artificial
  	Intelligence.},
  missinginfo = {Date is a guess.  May be published.},
  rtnote = {In RHT collection.},
  topic = {abduction;}
  }

@article{ paul_la:2000a,
  author = {L.A. Paul},
  title = {Aspect Causation},
  journal = {The Journal of Philosophy},
  year = {2000},
  volume = {97},
  number = {4},
  pages = {235--256},
  topic = {causality;prevention;}
  }

@article{ paul_la:2002a,
  author = {L.A. Paul},
  title = {Logical Parts},
  journal = {No\^us},
  year = {2002},
  volume = {36},
  number = {4},
  pages = {578--596},
  topic = {metaphysics;}
  }

@inproceedings{ paul_m:1994a,
  author = {Matthias Paul},
  title = {Young {M}ozart and the Joking {W}oody {A}llen:
		Proper Names, Individuals, and {P}arts},
  booktitle = {Proceedings from Semantics and Linguistic Theory {IV}},
  year = {1994},
  editor = {Mandy Harvey and Lynn Santelmann},
  pages = {268--281},
  publisher = {Cornell University},
  address = {Ithaca, New York},
  note = {Available from CLC Publications, Department of Linguistics,
  	Morrill Hall, Cornell University, Ithaca, NY 14853-4701.},
  topic = {nl-semantics;temporal-parts;}
  }

@incollection{ pauly:1999a,
  author = {Marc Pauly},
  title = {Modeling Coalitional Power in Modal Logic},
  booktitle = {Proceedings of the Twelfth {A}msterdam Colloquium},
  publisher = {ILLC/Department of Philosophy, University
		of Amsterdam},
  year = {1999},
  editor = {Paul Dekker},
  pages = {205--210},
  address = {Amsterdam},
  topic = {voting-procedures;modal-logic;}
  }

@article{ pauly-parikh_r:2003a,
  author = {Marc Pauly and Rohit Parikh},
  title = {Game Logic---An Overview},
  journal = {Studia Logica},
  year = {2003},
  volume = {75},
  number = {2},
  pages = {165--182},
  topic = {game-logic;}
  }

@article{ pauly-vanhees:2006a,
  author = {Marc Pauly and Martin van Hees},
  title = {Logical Constraints on Judgement Aggregation},
  journal = {Journal of Philosophical Logic},
  year = {2006},
  volume = {35},
  number = {6},
  pages = {569--585},
  topic = {knowledge-integration;}
  }

@book{ paun-salomaa:1997a,
  editor = {Gheorghe Paun and Arto Salomaa},
  title = {New Trends In Formal Languages: Control, Cooperation, and
  	Combinatorics},
  publisher = {Springer Verlag},
  year = {1997},
  address = {Berlin},
  ISBN = {3540628444 (alk. paper)},
  rtnote = {UMich Media Union Library, QA 76.7 .N491 1997.},
  topic = {formal-language-theory;}
 }

@book{ pawlak:1991a,
  author = {Zdis{\l}aw Pawlak},
  title = {Rough Sets: Theoretical Aspects of Reasoning
  	about Data},
  publisher = {Kluwer Academic Publishers},
  year = {1991},
  address = {Dordrecht},
  missinginfo = {A's 1st name.},
  topic = {vagueness;databases;}
 }

@incollection{ pawlak:1991b,
  author = {Zdis{\l}aw Pawlak},
  title = {Rough Sets:  A New Approach to Vagueness},
  booktitle = {Fuzzy Logic for the Management of Uncertainty},
  publisher = {John Wiley \&{} Sons},
  year = {1991},
  editor = {Lotfi A. Zadeh and Janusz Kacprzyk},
  pages = {105--118},
  address = {New York},
  topic = {rough-sets;}
  }

@article{ pawlak-etal:1995a,
  author = {Zdis{\l}aw Pawlak and J.W. Grzymala-busse and R. Slowinski
  	and W. Ziarko},
  title = {Rough Sets},
  journal = {Communications of the {ACM}},
  year = {1995},
  volume = {38},
  number = {11},
  pages = {89--95},
  missinginfo = {A's 1st name},
  topic = {vagueness;databases;}
  }

@book{ paxson:1986a,
  author = {William C. Paxson},
  title = {The Mentor Guide to Punctuation},
  publisher = {Mentor Books},
  year = {1986},
  address = {New York},
  topic = {punctuation;}
}

@incollection{ paxton:1978a,
  author = {William H. Paxton},
  title = {The Language Definition System},
  booktitle = {Understanding Spoken Language},
  publisher = {North-Holland},
  year = {1978},
  editor = {Donald E. Walker},
  pages = {17--40},
  address = {Amsterdam},
  topic = {grammar-formalisms;speech-recognition;nl-processing;}
  }

@incollection{ paxton:1978b,
  author = {William H. Paxton},
  title = {The Executive System},
  booktitle = {Understanding Spoken Language},
  publisher = {North-Holland},
  year = {1978},
  editor = {Donald E. Walker},
  pages = {41--85},
  address = {Amsterdam},
  topic = {speech-recognition;nl-processing;grammar-formalisms;}
  }

@incollection{ paxton:1978c,
  author = {William H. Paxton},
  title = {Experimental Studies},
  booktitle = {Understanding Spoken Language},
  publisher = {North-Holland},
  year = {1978},
  editor = {Donald E. Walker},
  pages = {87--117},
  address = {Amsterdam},
  topic = {AI-system-evaluation;speech-recognition;}
  }

@incollection{ peacocke:1976a,
  author = {Christopher Peacocke},
  title = {Truth Definitions and Actual Languages},
  booktitle = {Truth and Meaning: Essays in Semantics},
  publisher = {Oxford University Press},
  year = {1976},
  editor = {Gareth Evans and John Mc{D}owell},
  pages = {162--188},
  address = {Oxford},
  topic = {davidson_d-semantics;foundations-of-semantics;
  	speaker-meaning;}
  }

@incollection{ peacocke:1976b,
  author = {Christopher Peacocke},
  title = {An Appendix to {D}avid {W}iggins' `Note'\, },
  booktitle = {Truth and Meaning: Essays in Semantics},
  publisher = {Oxford University Press},
  year = {1976},
  editor = {Gareth Evans and John Mc{D}owell},
  pages = {313--324},
  address = {Oxford},
  topic = {individual-attitudes;essentialism;davidson-semantics;}
  }

@article{ peacocke:1977a,
  author = {Christopher Peacocke},
  title = {Review of \emph{Linguistic Behaviour}, by {J}onathan
  	{B}ennett},
  journal = {Journal of Philosophy},
  year = {1977},
  volume = {74},
  number = {6},
  pages = {367--372},
  xref = {Review of bennett_j:1976a.},
  topic = {philosophy-or-language;semantics;speaker-meaning;Grice;
  	convention;}
  }

@article{ peacocke:1978a,
  author = {Christopher Peacocke},
  title = {Necessity and Truth Theories},
  journal = {Journal of Philosophical Logic},
  year = {1978},
  volume = {7},
  number = {4},
  pages = {473--500},
  topic = {modal-logic;Davidson-semantics;}
  }

@incollection{ peacocke:1979a,
  author = {Christopher Peacocke},
  title = {Deviant Causal Chains},
  booktitle = {Midwest Studies in Philosophy Volume {V}:
  	Studies in Metaphysics},
  publisher = {University of Minnesota Press},
  year = {1979},
  editor = {Peter A. French and Theodore E. {Uehling, Jr.} and Howard K.
  	Wettstein},
  pages = {123--155},
  address = {Minneapolis},
  topic = {causality;perception;intention;}
  }

@article{ peacocke:1981a,
  author = {Christopher Peacocke},
  title = {Are Vague Predicates Incoherent?},
  journal = {Synth\'ese},
  year = {1981},
  volume = {94},
  pages = {121--141},
  missinginfo = {number},
  topic = {vagueness;}
  }

@article{ peacocke:1981b,
  author = {Christopher Peacocke},
  title = {Demonstrative Thought and Psychological Explanation},
  journal = {Synth\'ese},
  year = {1981},
  volume = {49},
  number = {2},
  pages = {187--217},
  topic = {demonstratives;reference;philosophy-of-language;
  	indexicals;}
  }

@book{ peacocke:1986a,
  author = {Christopher Peacocke},
  title = {Thoughts: An Essay on Content},
  publisher = {Basil Blackwell Publishers},
  year = {1986},
  address = {Oxford},
  topic = {propositions;propositional-attitudes;}
 }

@book{ peacocke:1992a,
  author = {Christopher Peacocke},
  title = {Concepts},
  publisher = {The {MIT} Press},
  year = {1992},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-66097-0},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  xref = {Commentary: tennant:2002a.},
  topic = {philosophy-of-mind;philosophy-of-psychology;concept-grasping;}
 }

@article{ peacocke:1993a,
  author = {Christopher Peacocke},
  title = {Externalist Explanation},
  journal = {Proceedings of the {A}ristotelian Society},
  year = {1993},
  volume = {93},
  note = {Supplementary Series.},
  pages = {203--230},
  topic = {explanation;philosophy-of-mind;}
 }

@incollection{ peacocke:1996a,
  author = {Christopher Peacocke},
  title = {The Relation between Philosophical and
     		Psychological Theories of Concepts},
  booktitle = {Connectionism, Concepts, and Folk Psychology: The Legacy
  		of {A}lan {T}uring: Volume {II}},
  publisher = {Oxford University Press},
  year = {1996},
  editor = {Peter J.R. Millican and Andy Clark},
  pages = {115--138},
  address = {Oxford},
  xref = {Comments: morris_m:1996a.},
  rtnote = {In RHT collection.},
  topic = {concepts;}
  }

@incollection{ peacocke:1998a,
  author = {Christopher Peacocke},
  title = {The Philosophy of Language},
  booktitle = {Philosophy 2: Further through the Subject},
  publisher = {Oxford University Press},
  year = {1998},
  editor = {A.C. Grayling},
  pages = {72--121},
  address = {Oxford},
  topic = {philosophy-of-language;}
  }

@article{ peacocke:2001a,
  author = {Christopher Peacocke},
  title = {Does Perception have a Nonperceptual Content?},
  journal = {The Journal of Philosophy},
  year = {2000},
  volume = {98},
  number = {5},
  pages = {239--264},
  topic = {philosophy-of-perception;}
  }

@article{ peacocke:2002a,
  author = {Christopher Peacocke},
  title = {Principles for Possibilia},
  journal = {No\^us},
  year = {2002},
  volume = {36},
  number = {3},
  pages = {486--508},
  topic = {possible-worlds-semantics;logic-of-existence;}
  }

@article{ peacocke:2005a,
  author = {Christopher Peacocke},
  title = {Rationale and Maxims in the Study of Concepts},
  journal = {No\^us},
  year = {2004},
  volume = {39},
  number = {1},
  pages = {167--178},
  topic = {concepts;propositional-attitudes;}
  }

@unpublished{ peacocke-scott_ds:1973a,
  author = {Christopher Peacocke and Dana S. Scott},
  title = {A Selective Bibliography of Philosophical Logic},
  year = {1973},
  note = {Unpublished manuscript, Oxford University},
  rtnote = {In RHT Collection.  LLP authored shelves.  Too big for
  	file drawer.},
  topic = {philosophical-logic;bibliography;}
  }

@incollection{ pearce_d:1995a,
  author = {David Pearce},
  title = {Epistemic Operators and Knowledge-Based Reasoning},
  booktitle = {Knowledge and Belief in Philosophy and Artificial
  	Intelligence},
  publisher = {Akedemie Verlag},
  year = {1995},
  editor = {Armin Laux and Heinrich Wansing},
  pages = {1--24},
  address = {Berlin},
  topic = {epistemic-logic;propositional-attitudes;}
  }

@incollection{ pearce_d:1996a,
  author = {David Pearce},
  title = {Answer Sets and Constructive Logic. Part {I}: Monotonic
  	Databases},
  booktitle = {Logic, Action, and Information: Essays on Logic in
  	Philosophy and Artificial Intelligence},
  year = {1996},
  publisher = {Walter de Gruyter},
  editor = {Andr\'e Fuhrmann and Hans Rott},
  pages = {392--414},
  address = {Berlin},
  topic = {stable-models;logic-programming;constructive-falsity;}
  }

@techreport{ pearce_d-rantala:1981a,
  author = {David Pearce and Veikko Rantala},
  title = {On a New Approach to Metascience},
  institution = {Department of Philosophy, University of Helsinki},
  number = {1},
  year = {1981},
  address = {Helsinki},
  rtnote = {In RHT collection.},
  topic = {model-theory;philosophy-of-science;}
  }

@article{ pearce_d-rantala:1984a,
  author = {David Pearce and Veikko Rantala},
  title = {A Logical Study of the Correspondence Relation},
  journal = {Journal of Philosophical Logic},
  year = {1984},
  volume = {13},
  number = {1},
  pages = {47--84},
  topic = {philosophy-of-science;formalizations-of-physics;}
  }

@article{ pearce_d-valverde:2005a,
  author = {David Pearce and Agust\'in Valverde},
  title = {A First-Order Nonmonotonic Extension of Constructive
  		Logic},
  journal = {Studia Logica},
  year = {2005},
  volume = {79},
  number = {1},
  pages = {321--346},
  topic = {constructive-falsity;nonmonotonic-logic;}
  }

@book{ pearce_d-wagner_g:1992a,
  editor = {David Pearce and Gerd Wagner},
  title = {Logics in {AI}: Proceedings of the {E}uropean Workshop
  	{JELIA} '92, {B}erlin, {G}ermany, September 7--10, 1992},
  publisher = {Springer-Verlag},
  year = {1994},
  address = {Berlin},
  ISBN = {3-540-55887-X (Softcover)},
  topic = {logic-in-AI;}
 }

@article{ pearce_jp-etal:2008a,
  author = {Jonathan P. Pearce and Milind Tambe and Rajiv Maheswaran},
  title = {Solving Multiagent Networks Using Distributed Constraint
  		Optimization},
  journal = {The {AI} Magazine},
  year = {2008},
  volume = {29},
  number = {3},
  pages = {47--62},
  topic = {multiagent-systems;constraint-optimization;}
  }

@article{ pearl:1980a,
  author = {Judea Pearl},
  title = {Asymptotic Properties of Minimax Trees and Game-Searching
  	Procedures},
  journal = {Artificial Intelligence},
  year = {1980},
  volume = {14},
  number = {2},
  pages = {113--138},
  acontentnote = {Abstract:
     The model most frequently used for evaluating the behavior of
     game-searching methods consists of a uniform tree of height h
     and a branching degree d, where the terminal positions are
     assigned random, independent and identically distributed values.
     This paper highlights some curious properties of such trees when
     h is very large and examines their implications on the
     complexity of various game-searching methods.
      If the terminal positions are assigned a WIN-LOSS status with
     the probabilities P0 and 1 - P0, respectively, then the root
     node is almost a sure WIN or a sure LOSS, depending on whether
     P0 is higher or lower than some fixed-point probability P*(d).
     When the terminal positions are assigned continuous real values
     the minimax value of the root node converges rapidly to a unique
     predetermined value v*, which is the (1 - P*)-fractile of the
     terminal distribution.
      Exploiting these properties we show that a game with WIN-LOSS
     terminals can be solved by examining, on the average, O[(d)h/2]
     terminal positions if P0 [/=] P* and O[(P*/(1 - P*))h] positions
     if P0 = P*, the former performance being optimal for all search
     algorithms.  We further show that a game with continuous terminal
     values can be evaluated by examining an average of O[(P*/(1 -
     P*))h] positions, and that this is a lower bound for all
     directional algorithms.  Games with discrete terminal values can
     in almost all cases be evaluated by examining an average of
     O[(d)h/2] terminal positions.  This performance is optimal and is
     also achieved by the ALPHA-BETA procedure.  },
  topic = {search;game-trees;}
  }

@article{ pearl:1983a,
  author = {Judea Pearl},
  title = {Knowledge Versus Search: A Quantitative Analysis
  	Using A*},
  journal = {Artificial Intelligence},
  year = {1983},
  volume = {20},
  number = {1},
  pages = {1--13},
  acontentnote = {Abstract:
     This paper analyzes the average number of nodes expanded by A*
     as a function of the accuracy of its heuristic estimates, by
     treating the errors h* - h as random variables whose
     distribution may vary over the nodes in the graph.  The search
     model consists of an m-ary tree with unit branch costs and a
     unique goal state situated at a distance N from the root.
       The main result states that if the typical error grows like
     [phi](h*) then the mean complexity of A* grows approximately
     like G(N) exp[c[phi](N)], where c is a positive constant and
     G(N) is O(N2).  Thus, a necessary and sufficient condition for
     maintaining polynomial search complexity is that A* be guided by
     heuristics with logarithmic precision, e.g.  [phi](N) = (log
     N)k.  A* is shown to make much greater use of its heuristic
     knowledge than a backtracking procedure would under similar
     conditions.  },
  topic = {search;complexity-in-AI;AI-algorithms-analysis;}
  }

@article{ pearl:1983b,
  author = {Judea Pearl},
  title = {On the Nature of Pathology in Game Searching},
  journal = {Artificial Intelligence},
  year = {1983},
  volume = {20},
  number = {4},
  pages = {427--453},
  acontentnote = {Abstract:
     Game-playing programs usually process the estimates attached to
     game positions through repeated minimax operations, as if these
     were true terminal payoffs.  This process introduces a spurious
     noise which degrades the quality of the decisions and, in the
     extreme case, may cause a pathological phenomenon: the deeper we
     search the worse we play.
      Using a probabilistic game model, this paper examines the
     nature of this distortion, quantifies its magnitude, determines
     the conditions when its damage is curtailed and explains why
     search-depth pathology (the extreme manifestation of minimax
     distortion) is rarely observed in common games.  },
  topic = {game-tree-pathology;search;game-trees;game-playing;}
  }

@article{ pearl:1986a,
  author = {Judea Pearl},
  title = {Fusion, Propagation, and Structuring in Belief Networks},
  journal = {Artificial Intelligence},
  year = {1986},
  volume = {29},
  number = {3},
  pages = {241--288},
  xref = {Commentary: pearl:1993a.},
  topic = {Bayesian-networks;}
}

@inproceedings{ pearl:1987a,
  author = {Judea Pearl},
  title = {Embracing Causality in Formal Reasoning},
  booktitle = {Proceedings of the Seventh National Conference on
              Artificial Intelligence},
  year = {1987},
  editor = {Kenneth Forbus and Howard Shrobe},
  pages = {369--373},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  xref = {See for journal publication.},
  topic = {kr;causal-reasoning;kr-course;}
  }

@techreport{ pearl:1987b,
  author = {Judea Pearl},
  title = {A Probabilistic Treatment of the {Y}ale Shooting Problem},
  institution = {UCLA, Computer Science Department},
  number = {CSF--8700XX},
  year = {1991},
  address = {Los Angeles, California},
  rtnote = {In RHT collection.},
  topic = {kr;Yale-shooting-problem;kr-course;}
  }

@article{ pearl:1987c,
  author = {Judea Pearl},
  title = {Evidential Reasoning Using Stochastic
  	Simulation of Causal Models},
  journal = {Artificial Intelligence},
  year = {1987},
  volume = {32},
  number = {2},
  pages = {245--257},
  acontentnote = {Abstract:
     Stochastic simulation is a method of computing probabilities by
     recording the fraction of time that events occur in a random
     series of scenarios generated from some causal model.  This paper
     presents an efficient, concurrent method of conducting the
     simulation which guarantees that all generated scenarios will be
     consistent with the observed data.  It is shown that the
     simulation can be performed by purely local computations,
     involving products of parameters given with the initial
     specification of the model.  Thus, the method proposed renders
     stochastic simulation a powerful technique of coherent
     inferencing, especially suited for tasks involving complex,
     nondecomposable models where ``ballpark'' estimates of
     probabilities will suffice.  },
  topic = {stochastic-modeling;causal-modeling;}
  }

@article{ pearl:1987d,
  author = {Judea Pearl},
  title = {Distributed Revision of Composite Beliefs},
  journal = {Artificial Intelligence},
  year = {1987},
  volume = {33},
  number = {2},
  pages = {173--215},
  acontentnote = {Abstract:
     This paper extends the applications of belief network models to
     include the revision of belief ``commitments'', i.e., the
     categorical acceptance of a subset of hypotheses which,
     together, constitute the most satisfactory explanation of the
     evidence at hand.  A coherent model of nonmonotonic reasoning is
     introduced, and distributed algorithms for belief revision are
     presented.  We show that, in singly connected networks, the most
     satisfactory explanation can be found in linear time by a
     message-passing algorithm similar to the one used in belief
     updating.  In multiply connected networks, the problem may be
     exponentially hard but, if the network is sparse, topological
     considerations can be used to render the interpretation task
     tractable.  In general, finding the most probable combination of
     hypotheses is no more complex than computing the degree of
     belief for any individual hypothesis.  Applications to circuit
     and medical diagnosis are illustrated.  },
  topic = {belief-revision;nonmonotonic-reasoning;diagnosis;
  	message-passing-algorithms;}
  }

@techreport{ pearl:1987e,
  author = {Judea Pearl},
  title = {Probabilistic Semantics for Inheritance Hierarchies with
  		Exceptions},
  institution = {Computer Science Department, UCLA},
  number = {R--93--I},
  year = {1987},
  address = {Los Angeles},
  rtnote = {In RHT collection.},
  topic = {inheritance-theory;probability-semantics;}
  }

@book{ pearl:1988a,
  author = {Judea Pearl},
  title = {Probabilistic Reasoning in Intelligent Systems:
  	Networks of Plausible Inference},
  publisher = {Morgan Kaufmann Publishers},
  year = {1988},
  address = {San Mateo, California},
  xref = {Review: andersen_sk:1991a.},
  ISBN = {0934613737},
  rtnote = {UMich Media Union Library, Q 335 .P38311 1988.},
  topic = {Bayesian-networks;reasoning-about-uncertainty;
  	uncertainty-in-AI;probabilistic-reasoning;}
 }

@article{ pearl:1988b,
  author = {Judea Pearl},
  title = {Embracing Causality in Default Reasoning},
  journal = {Artificial Intelligence},
  year = {1988},
  volume = {35},
  number = {2},
  pages = {259--271},
  topic = {causality;causal-reasoning;nonmonotonic-reasoning;}
  }

@incollection{ pearl:1988c,
  author = {Judea Pearl},
  title = {Evidential Reasoning Under Uncertainty},
  booktitle = {Exploring Artificial Intelligence},
  publisher = {Morgan Kaufmann},
  year = {1988},
  editor = {Howard E. Shrobe},
  pages = {381--418},
  address = {San Mateo, California},
  topic = {uncertainty-in-AI;kr-courses;}
  }

@article{ pearl:1988d,
  author = {Judea Pearl},
  title = {Embracing Causality in Default Reasoning},
  journal = {Artificial Intelligence},
  year = {1988},
  volume = {35},
  number = {2},
  pages = {259--271},
  acontentnote = {Abstract:
     The purpose of this note is to draw attention to certain aspects
     of causal reasoning which are pervasive in ordinary discourse
     yet, based on the author's scan of the literature, have not
     received due treatment by logical formalisms of common-sense
     reasoning.  In a nutshell, it appears that almost every default
     rule falls into one of two categories: expectation-evoking or
     explanation-evoking.  The former describes association among
     events in the outside world (e.g., fire is typically accompanied
     by smoke); the latter describes how we reason about the world
     (e.g., smoke normally suggests fire).  This distinction is
     consistently recognized by people and serves as a tool for
     controlling the invocation of new default rules.  This note
     questions the ability of formal systems to reflect common-sense
     inferences without acknowledging such distinction and outlines a
     way in which the flow of causation can be summoned within the
     formal framework of default logic.  },
  topic = {causality;nonmonotonic-reasoning;}
  }

@incollection{ pearl:1989a,
  author = {Judea Pearl},
  title = {Probabilistic Semantics for Nonmonotonic Reasoning: A Survey},
  booktitle = {{KR}'89: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1989},
  editor = {Ronald J. Brachman and Hector J. Levesque and Raymond Reiter},
  pages = {505--516},
  address = {San Mateo, California},
  topic = {kr;nonmonotonic-reasoning;probability-semantics;kr-course;}
  }

@inproceedings{ pearl:1990a,
  author = {Judea Pearl},
  title = {System {Z}: a Natural Ordering of Defaults With Tractable
  	Applications to Nonmonotonic Reasoning},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
    Proceedings of the Third Conference ({TARK} 1990)},
  year = {1990},
  editor = {Rohit Parikh},
  pages = {121--138},
  publisher = {Morgan Kaufmann},
  address = {Los Altos, California},
  topic = {nonmonotonic-reasoning;probabilistic-reasoning;
  	qualitative-probability;}
  }

@inproceedings{ pearl:1990b,
  author = {Judea Pearl},
  title = {Which Is More Believable: The Probably Provable or the
  	Provably Probable?},
  booktitle = {Proceedings of the Eighth Canadian Conference on {AI}},
  year = {1990},
  pages = {1--7},
  missinginfo = {organization,  publisher,  address, check topic},
  topic = {probabilistic-reasoning;}
  }

@incollection{ pearl:1990c,
  author = {Judea Pearl},
  title = {{J}effrey's Rule, Passage of Experience, and
  	Neo-{B}ayesianism},
  booktitle = {Knowledge Representation and Defeasible Reasoning},
  publisher = {Kluwer Academic Publishers},
  year = {1990},
  editor = {Henry Kyburg and Ronald Loui and Greg Carlson},
  pages = {245--265},
  address = {Dordrecht},
  topic = {probability-kinematics;}
  }

@inproceedings{ pearl:1990d,
  author = {Judea Pearl},
  title = {System {Z}:  A Natural Ordering of Defaults with
  	Tractible Applications to Nonmonotonic Reasoning},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
    Proceedings of the Third Conference ({TARK} 1990)},
  year = {1990},
  editor = {Rohit Parikh},
  pages = {29--39},
  publisher = {Morgan Kaufmann},
  address = {Los Altos, California},
  topic = {nonmonotonic-reasoning;nonmonotonic-logic;}
  }

@article{ pearl:1990e,
  author = {Judea Pearl},
  title = {Reasoning Under Uncertainty},
  journal = {Annual Review of Computer Science},
  year = {1990},
  volume = {4},
  pages = {37--72},
  rtnote = {In RHT collection.},
  topic = {probabilistic-reasoning;Bayesian-networks;}
  }

@incollection{ pearl:1991b,
  author = {Judea Pearl},
  title = {Probabilistic Semantics for Nonmonotonic
		Reasoning},
  booktitle = {Philosophy and {AI}: Essays at the Interface},
  publisher = {The {MIT} Press},
  year = {1991},
  editor = {Robert Cummins and John L. Pollock},
  pages = {157--187},
  address = {Cambridge, Massachusetts},
  topic = {kr;nonmonotonic-reasoning;probability-semantics;kr-course;}
  }

@techreport{ pearl:1993a,
  author = {Judea Pearl},
  title = {From Bayesian Networks to Causal Networks},
  institution = {Cognitive Systems Laboratory, UCLA},
  number = {R--195--LLL},
  year = {1993},
  address = {Los Angeles, California},
  rtnote = {Get This?},
  topic = {probabilistic-reasoning;Bayesian-networks;causal-networks;}
  }

@inproceedings{ pearl:1993b,
  author = {Judea Pearl},
  title = {From Conditional Oughts to Qualitative Decision Theory},
  booktitle = {Proceedings of the Ninth Conference on Uncertainty in
  	Artificial Intelligence},
  year = {1993},
  editor = {David E. Heckerman and Abe Mamdani},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  pages = {12--20},
  topic = {qualitative-utility;deontic-logic;conditional-obligation;}
  }

@article{ pearl:1993c,
  author = {Judea Pearl},
  title = {Belief Networks Revisited},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {59},
  number = {1--2},
  pages = {49--56},
  xref = {Retrospective commentary on pearl:1986a.},
  topic = {Bayesian-networks;}
  }

@inproceedings{ pearl:1994a,
   author = {Judea Pearl},
   title = {A Probabilistic Calculus of Actions},
   booktitle = {Proceedings of the Tenth Conference on Uncertainty in
   		Artificial Intelligence},
   year = {1994},
   missinginfo = {pages,editor,publisher,address},
   rtnote = {In RHT collection.},
   topic = {Bayesian-networks,actions;}
  }

@incollection{ pearl:1994b,
  author = {Judea Pearl},
  title = {From {A}dams' Conditionals to Default Expressions, Causal
  	Conditionals, and Counterfactuals},
  booktitle = {Probability and Conditionals: Belief Revision and Rational
       Decision},
  publisher = {Cambridge University Press},
  year = {1994},
  pages = {47--74},
  editor = {Ellery Eells and Brian Skyrms},
  address = {Cambridge, England},
  topic = {conditionals;causality;nonmonotonic-reasoning;}
  }

@incollection{ pearl:1995a1,
  author = {Judea Pearl},
  title = {Causation, Action, and Counterfactuals},
  booktitle = {Computational Learning and Probabilistic Learning},
  publisher = {John Wiley and Sons},
  year = {1995},
  editor = {Alexander Gammerman},
  address = {New York},
  missinginfo = {pages},
  xref = {pearl:1995a2},
  rtnote = {In RHT collection.},
  topic = {action;causality;conditionals;}
  }

@incollection{ pearl:1995a2,
  author = {Judea Pearl},
  title = {Causation, Action, and Counterfactuals},
  booktitle = {Theoretical Aspects of Rationality and Knowledge:
  	Proceedings of the Sixth Conference ({TARK} 1996)},
  publisher = {Morgan Kaufmann},
  year = {1996},
  editor = {Yoav Shoham},
  pages = {51--73},
  address = {San Francisco},
  xref = {pearl:1995a2},
  topic = {action;causality;conditionals;}
  }

@inproceedings{ pearl:1995b,
 author = {Judea Pearl},
 title = {Action as a Local Surgery},
 booktitle = {Working Notes of the {AAAI} Spring Symposium on
 	Extending Theories of Action: Formal Theories and Applications},
 year = {1995},
 organization = {American Association for Artificial Intelligence},
 address = {Menlo Park, California},
 contentnote = {Discusses compact representation for actions, plans.},
 rtnote = {In RHT Collection.},
 missinginfo = {pages},
 topic = {action;}
 }

@techreport{ pearl:1995c1,
  author = {Judea Pearl},
  title = {Causation, Action, and Counterfactuals},
  institution = {Computer Science Department, UCLA},
  number = {R--233-U},
  year = {1995},
  address = {Los Angeles, California},
  rtnote = {In RHT collection.},
  xref = {Publication in Collection: pearl:1995c2.},
  topic = {causality;action;conditionals;}
  }

@incollection{ pearl:1995c2,
  author = {Judea Pearl},
  title = {Causation, Action, and Counterfactuals},
  Booktitle = {Computational Learning and Probabilistic Reasoning},
  publisher = {John Wiley and Sons},
  year = {1995},
  editor = {A. Gammerman},
  pages = {235--255},
  address = {New York},
  xref = {In-Collection Publication of: pearl:1995c1.},
  topic = {causality;action;conditionals;}
  }

@article{ pearl:1995d,
  author = {Judea Pearl},
  title = {Causal Diagrams for Empirical Research (with Discussion)},
  journal = {Biometrika},
  year = {1995},
  volume = {82},
  number = {4},
  pages = {669--709},
  topic = {causal-networks;}
  }

@techreport{ pearl:1996a,
  author = {Judea Pearl},
  title = {The Art and Science of Cause and Effect},
  institution = {Computer Science Department, UCLA},
  number = {R--248},
  year = {1996},
  address = {Los Angeles, California},
  rtnote = {In RHT collection.},
  topic = {causality;foundations-of-statistics;}
  }

@techreport{ pearl:1997a,
  author = {Judea Pearl},
  title = {The New Challenge: From a Century of Statistics to the Age of
  	Causation},
  institution = {Computer Science Department, UCLA},
  number = {R--249},
  year = {1997},
  address = {Los Angeles, California},
  rtnote = {In RHT collection.},
  topic = {causality;foundations-of-statistics;}
  }

@techreport{ pearl:1997c,
  author = {Judea Pearl},
  title = {Graphs, Causality, and Structural Equation Models},
  institution = {Computer Science Department, UCLA},
  number = {R--253},
  year = {1997},
  address = {Los Angeles, California},
  rtnote = {In RHT collection.  MT 2000.},
  topic = {causality;causal-networks;}
  }

@techreport{ pearl:1998a,
  author = {Judea Pearl},
  title = {Probabilities of Causation: Three Counterfactual
  	Interpretations and Their Identification},
  institution = {Computer Science Department, UCLA},
  number = {R--261},
  year = {1998},
  address = {Los Angeles, California},
  rtnote = {In RHT collection.},
  topic = {causality;conditionals;}
  }

@inproceedings{ pearl:1998b,
  author = {Judea Pearl},
  title = {Actions, Causes, and Counterfactuals: Lessons
	from Mechanism-Based Theories},
  booktitle = {Working Notes of the {AAAI} Spring Symposium on
 	Prospects for a Commonsense Theory of Causation},
  year = {1998},
  organization = {American Association for Artificial Intelligence},
  publication = {American Association for Artificial Intelligence},
  address = {Menlo Park, CA},
  editor = {Charles L. {Ortiz, Jr.}},
  pages = {55},
  note = {Abstract.},
  rtnote = {In RHT Collection.  Shelf.},
  topic = {causality;causal-modeling;}
 }

@incollection{ pearl:1998c,
  author = {Judea Pearl},
  title = {Graphical Models for Probabilistic and Causal Reasoning},
  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 = {367--389},
  address = {Dordrecht},
  topic = {Bayesian-networks;}
  }

@techreport{ pearl:1999a,
  author = {Judea Pearl},
  title = {Reasoning with Cause and Effect},
  institution = {Computer Science Department, UCLA},
  number = {R--265},
  year = {1999},
  address = {Los Angeles, California},
  rtnote = {In RHT collection.},
  topic = {causality;causal-modeling;conditionals;}
  }

@book{ pearl:2000a,
  author = {Judea Pearl},
  title = {Causality: Models, Reasoning, and Inference},
  publisher = {Cambridge University Press},
  year = {2000},
  address = {Cambridge, England},
  ISBN = {0-521-77362-8},
  rtnote = {In RHT collection.},
  ISBN = {0521773628 (hardback)},
  rtnote = {UMich Graduate Library, BD 541 .P431 2000.},
  xref = {Reviews: hitchcock:2001a, kyberg_he:2005a},
  topic = {Bayesian-networks;causality;action;conditionals;}
 }

@incollection{ pearl-goldszmidt:1996a,
  author = {Judea Pearl and Mois\'es Goldszmidt},
  title = {Probabilistic Foundations of Reasoning with Conditionals},
  booktitle = {Principles of Knowledge Representation},
  publisher = {{CSLI} Publications},
  year = {1996},
  editor = {Gerhard Brewka},
  pages = {33--68},
  address = {Stanford, California},
  topic = {conditionals;probability-semantics;belief-revision;
  	causality;}
  }

@inproceedings{ pearl-verma:1991a1,
  author = {Judea Pearl and Tom S. Verma},
  title = {A Theory of Inferred Causation},
  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 = {441--452},
  address = {San Mateo, California},
  topic = {kr;causal-reasoning;kr-course;}
  }

@inproceedings{ pearl-verma:1991a2,
  author = {Judea Pearl and Tom S. Verma},
  title = {A Theory of Inferred Causation},
  booktitle = {Logic, Methodology and Philosophy of Science IX},
  publisher = {Elsevier Science Publishers},
  year = {1994},
  editor = {Dag Prawitz and Brian Skyrms and Dag Westerst{\aa}hl},
  pages = {789--811},
  address = {Amsterdam},
  topic = {kr;causal-reasoning;kr-course;}
  }

@book{ pears:1963a,
  editor = {David F. Pears},
  title = {Freedom and the Will},
  publisher = {St. Martin's Press},
  year = {1963},
  address = {New York},
  topic = {freedom;volition;}
 }

@incollection{ pears:1969a,
  author = {David F. Pears},
  title = {An Original Philosopher},
  booktitle = {Symposium on J.L. Austin},
  publisher = {Routledge and Kegan Paul, Ltd.},
  year = {1969},
  editor = {K.T. Fann},
  pages = {49--58},
  address = {London},
  missinginfo = {E's 1st name.},
  topic = {JL-Austin;ordinary-language-philosophy;}
  }

@incollection{ pears:1973a,
  author = {David F. Pears},
  title = {Ifs and Cans},
  booktitle = {Essays on J.L. Austin},
  publisher = {Oxford University Press},
  year = {1973},
  editor = {Isiah Berlin et al.},
  pages = {90--140},
  address = {Oxford},
  topic = {JL-Austin;ordinary-language-philosophy;conditionals;freedom;}
  }

@article{ pears:1977a,
  author = {David Pears},
  title = {Hypotheticals},
  journal = {Analysis},
  volume = {10},
  year = {1950},
  pages = {49--63},
  xref = {Review: chisholm:1950a.},
  topic = {conditionals;}
    }

@article{ pears:1991a,
  author = {David Pears},
  title = {Self-Deceptive Belief-Formation},
  journal = {Synth\'ese},
  year = {1991},
  volume = {89},
  number = {3},
  pages = {393--405},
  topic = {belief;self-deception;}
  }

@book{ pears:1998a,
  author = {David F. Pears},
  title = {Motivated Irrationality},
  publisher = {St. Augustine's Press},
  year = {1998},
  address = {South Bend, Indiana},
  rtnote = {In RHT collection.  Shelf.},
  topic = {practical-reasoning;self-deception;irrationality;}
 }

@article{ pears-pugmire:1982a,
  author = {David F. Pears and David Pugmire},
  title = {Motivated Irrationality},
  journal = {Proceedings of the {A}ristotelian {S}ociety},
  year = {1982},
  volume = {Supplementary Volume 56},
  pages = {157--178},
  rtnote = {In RHT collection.},
  topic = {practical-reasoning;self-deception;irrationality;}
  }

@book{ pearson:1998a,
  author = {Jennifer Pearson},
  title = {Terms In Context},
  publisher = {J. Benjamins},
  year = {1998},
  address = {Amsterdam},
  ISBN = {1556193424},
  rtnote = {UMich Graduate Library, P 305.18 .D38 P41 1998.},
  topic = {collocations;corpus-linguistics;}
 }

@inproceedings{ pease_a1-etal:2000a,
  author = {Adam Pease and Vinay Chaudhri and Fritz Lehmann and
  	Adam Fahrquhar},
  title = {Practical Knowledge Representation and the {DARPA} High
  	Performance Knowledge Bases Project},
  booktitle = {{KR}2000: Principles of Knowledge Representation and
  	Reasoning},
  year = {2000},
  editor = {Anthony G. Cohn and Fausto Giunchiglia and Bart Selman},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  pages = {717--724},
  topic = {knowledge-engineering;computational-ontology;
  	macro-formalization;}
  }

@incollection{ pease_a2-etal:2002a,
  author = {Allison Pease and Simon Colton and Alan Smaill and John Lee},
  title = {Semantic Negotiation: Modelling Ambiguity in Dialogue},
  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 = {125--132},
  address = {Edinburgh},
  topic = {ambiguity;negotiation;discourse;}
  }

@article{ pease_m-etal:1980a,
  author = {M. Pease and R. Shostak and Leslie Lamport},
  title = {Reaching Agreement in the Presence of Faults},
  journal = {Journal of the {ACM}},
  year = {1980},
  volume = {27},
  number = {2},
  pages = {228--234},
  missinginfo = {A's 1st name},
  topic = {communication-protocols;}
  }

@article{ peckhaus:1999a,
  author = {Volker Peckhaus},
  title = {19th Century Logic Between Philosophy and Mathematics},
  journal = {The Bulletin of Symbolic Logic},
  year = {199},
  volume = {5},
  number = {4},
  pages = {433--450},
  topic = {history-of-logic;}
  }

@incollection{ peckhaus:2009a,
  author = {Volker Peckhaus},
  title = {The Mathematical Origins of Nineteenth-Century
     		Algebra of Logic},
  booktitle = {The Development of Modern Logic},
  publisher = {Oxford University Press},
  year = {2009},
  editor = {Leila Haaparanta},
  pages = {159--195},
  address = {Oxford},
  topic = {history-of-logic;algebraic-logic;}
  }

@incollection{ pedersen_t-bruce_r:1997a,
  author = {Ted Pedersen and Rebecca Bruce},
  title = {Distinguishing Word Senses
				in Untagged Text},
  booktitle = {Proceedings of the Second Conference on Empirical
		Methods in Natural Language Processing},
  publisher = {Association for Computational Linguistics},
  year = {1997},
  editor = {Claire Cardie and Ralph Weischedel},
  pages = {197--207},
  address = {Somerset, New Jersey},
  topic = {empirical-methods-in-nlp;lexical-disambiguation;
		corpus-linguistics;}
  }

@inproceedings{ pedersen_t-etal:1996a,
  author = {Ted Pedersen and Mehmet Kayaalp and Rebecca Bruce},
  title = {Significant Lexical Relationships},
  booktitle = {Proceedings of the Thirteenth National Conference on
              Artificial Intelligence and the Eighth Innovative
	      Applications of Artificial Intelligence  Conference,
	      Vol. 2},
  year = {1996},
  editor = {William J. Clancey and Dan Weld},
  pages = {455--460},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {corpus-statistics;computational-lexicography;}
  }

@techreport{ pednault:1985a,
  author = {Edwin P.D. Pednault},
  title = {Preliminary Report on a Theory of Plan Synthesis},
  type = {Technical Note},
  number = {358},
  institution = {AI Center, SRI International},
  month = {September},
  year = {1985},
  topic = {planning;}
 }

@incollection{ pednault:1986a,
  author = {Edwin P.D. Pednault},
  title = {Formulating Multiagent, Dynamic-World Problems in the Classical
  	Planning Framework},
  booktitle = {Reasoning about Actions and Plans},
  publisher = {Morgan Kaufmann},
  year = {1986},
  editor = {Michael P. Georgeff and Amy Lansky},
  pages = {47--82},
  address = {Los Altos, California},
  topic = {action-formalisms;concurrent-actions;multiagent-planning;}
  }

@phdthesis{ pednault:1986b,
  author = {Edwin P.D. Pednault},
  title = {Toward a Mathematical Theory of Plan Synthesis},
  school = {Department of Electrical Engineering, Stanford University},
  year = {1986},
  type = {Ph.{D}. Dissertation},
  address = {Stanford, California},
  topic = {planning;}
 }

@article{ pednault:1988a,
  author = {Edwin P.D. Pednault},
  title = {Synthesizing Plans that Contain Actions with Context
  	Dependent Effects},
  journal = {Computational Intelligence},
  year = {1988},
  volume = {4},
  number = {4},
  pages = {324--372},
  topic = {planning;actions;action-effects;}
  }

@incollection{ pednault:1988b,
  author = {Edwin P.D. Pednault},
  title = {{\sc adl}: Exploring the Middle Ground Between
  	{\sc strips} and the Situation Calculus},
  booktitle = {{KR}'89: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1989},
  editor = {Ronald J. Brachman and Hector J. Levesque and Raymond Reiter},
  pages = {324--332},
  address = {San Mateo, California},
  topic = {kr;kr-course;planning;planning-formalisms;}
  }

@inproceedings{ pednault:1989a,
  author = {Edwin P.D. Pednault},
  title = {{ADL}: Exploring the Middle Ground between {STRIPS} and the
  	Situation Calculus},
  booktitle = {Proceedings of the Eleventh International Joint
  	Conference on Artificial Intelligence},
  year = {1989},
  editor = {N.S. Sridharan},
  pages = {324--332},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  topic = {planning-formalisms;situation-calculus;STRIPS;}
  }

@article{ pednault-etal:1981a,
  author = {Edwin P.D. Pednault and Steven W. Zucker and L.V. Muresan},
  title = {On the Independence Assumption Underlying Subjective
  	{B}ayesian Updating},
  journal = {Artificial Intelligence},
  year = {1981},
  volume = {16},
  number = {2},
  pages = {213--222},
  missinginfo = {A's 1'st name.},
  topic = {probabilistic-reasoning;Bayesian-reasoning;Bayesian-networks;}
  }

@incollection{ pedrazzini-hoffman_m:1998a,
  author = {Sandro Pedrazzini and Marcus Hoffman},
  title = {Using Genericity to Create Customizable Finite State
  	Tools},
  booktitle = {{FSMNLP'98}: International Workshop on Finite State
  	Methods in Natural Language Processing},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Lauri Karttunen},
  pages = {110--117},
  address = {Somerset, New Jersey},
  topic = {nl-processing;finite-state-nlp;construction-of-FSA;}
  }

@book{ peeters:2000a,
  editor = {Bert Peeters},
  title = {The Lexicon-Encyclopedia Interface},
  publisher = {Elsevier},
  year = {2000},
  address = {Amsterdam},
  ISBN = {0080435912 (hardcover)},
  topic = {lexical-semantics;foundations-of-semantics;}
 }

@article{ peetz:1974a,
  author = {Vera Peetz},
  title = {Fogelin on {A}ustinian Ifs},
  journal = {Mind, New Series},
  year = {1974},
  volume = {83},
  number = {332},
  pages = {594--595},
  topic = {JL-Austin;ability;conditionals;freedom;}
  }

@article{ peijnenburg-atkinson_d:2008a,
  author = {Jeanne Peijnenburg and David Atkinson},
  title = {Probabilistic Justification and the Regress Problem},
  journal = {Studia Logica},
  year = {2008},
  volume = {89},
  number = {3},
  pages = {333-341},
  topic = {foundations-of-probability;}
  }

@article{ peintner-etal:2008a,
  author = {Bart Peintner and Paolo Viapiani and Neal Yorke-Smith},
  title = {Preferences in Interactive Systems:  Technical Challenges
  		and Case Studies},
  journal = {The {AI} Magazine},
  year = {2008},
  volume = {29},
  number = {4},
  pages = {13--24},
  topic = {reasoning-about-preferences;planning;interactive-systems;}
  }

@incollection{ peirce:1955a,
  author = {Charles Sanders Peirce},
  title = {Abduction and Induction},
  booktitle = {Philosophical Writings of {P}eirce},
  publisher = {Dover Books},
  year = {1955},
  editor = {J. Buchler},
  pages = {150--156},
  address = {New York},
  topic = {abduction;}
  }

@techreport{ pelavin:1988a,
  author = {Richard N. Pelavin},
  title = {Planning With Simultaneous Actions and External Events},
  institution = {Computer Science Department, University of
		Rochester},
  number = {254},
  year = {1988},
  address = {Rochester, NY},
  rtnote = {In RHT Collection.  CS MS shelves.},
  topic = {planning;concurrent-actions;}
  }

@incollection{ pelavin:1991a,
  author = {Richard N. Pelavin},
  title = {Planning With Simultaneous Actions and External Events},
  booktitle = {Reasoning about Plans},
  publisher = {Morgan Kaufmann},
  year = {1991},
  editor = {James F. Allen and Henry Kautz and Richard Pelavin and
  	Joshua Tennenberg},
  pages = {127--211},
  address = {Francisco, California},
  topic = {planning;concurrent-actions;}
  }

@article{ pelczar:2000a,
  author = {Michael Pelczar},
  title = {Wittgensteinian Semantics},
  journal = {No\^us},
  year = {2000},
  volume = {34},
  number = {4},
  pages = {483--516},
  topic = {ambiguity;indexicals;Wittgenstein;family-resenblance;}
  }

@article{ pelczar:2007a,
  author = {Michael W. Pelczar},
  title = {Forms and Objects of Thought},
  journal = {Linguistics and Philosophy},
  year = {2007},
  volume = {30},
  number = {4},
  pages = {97--122},
  topic = {propositions;propositional-attitudes;}
  }

@article{ pelletier:1974a,
  author = {Francis Jeffry Pelletier},
  title = {On Some Proposals for the Semantics of Mass Nouns},
  journal = {Journal of Philosophical Logic},
  year = {1974},
  volume = {3},
  number = {1--2},
  pages = {87--108},
  topic = {nl-semantics;mass-term-semantics;}
  }

@article{ pelletier:1977a,
  author = {Francis Jeffry Pelletier},
  title = {Or},
  journal = {Theoretical Linguistics},
  year = {1977},
  volume = {4},
  number = {1/2},
  pages = {60--74},
  rtnote = {In RHT collection.},
  topic = {disjunction-in-nl;ambiguity;}
  }

@article{ pelletier:1977b,
  author = {Francis Jeffry Pelletier},
  title = {How/Why Does Linguistics Matter to Philosophy?  A Critical
  	Notice of Some Recent Works on the Borderline of
	Linguistics and Philosophy},
  journal = {The Southern Journal of Philosophy},
  year = {1977},
  volume = {15},
  number = {3},
  pages = {393--426},
  rtnote = {In RHT collection.},
  topic = {philosophy-of-language;philosophy-and-linguistics;}
  }

@book{ pelletier:1979a,
  editor = {Francis Jeffry Pelletier},
  title = {Mass Terms: Some Philosophical Problems},
  publisher = {D. Reidel Publishing Co.},
  year = {1979},
  address = {Dordrecht},
  contentnote = {TC:
	1. Francis Jeffry Pelletier, "Non-Singular Reference: Some
		Preliminaries"
        2. Robert X. Ware, "Some Bits and Pieces"
        3. Helen M. Cartwright, "Some Remarks about Mass Nouns and Plurality"
        4. Francis Jeffry Pelletier, "Sharvy on Mass Predication"
        5. Eddy M. Zemach, "Four Ontologies"
        6. Eddy M. Zemach, "On the Adequacy of a Type Ontology"
        7. Henry Laycock, "Theories of Matter"
        8. Kathleen C. Cook, "On the Usefulness of Quantities"
        9. Terence Parsons, "An Analysis of Mass Terms and Amount Terms"
       10. Terence Parsons, "Afterthoughts on Mass Terms"
       11. Richard Montague, "The Proper Treatment of Mass Terms in English"
       12. Heken M. Cartwright, "Amounts and Measures of Amount"
       13. Tyler Burge, "Mass Terms, Count Nouns, and Change"
       14. Richard E. Grandy, "Stuff and Things"
       15. Brian F. Chellas, "Quantity and Quantification"
       16. Dov Gabbay and Julius M.E. Moravcsik, "Sameness and Individuation"
       17. H.C Bunt, "Ensembles and the Formal Properties of Mass Terms"
       18. George Bealer, "Predication and Matter"
       19. Francis Jeffry Pelletier, "A Bibliography of Recent
       		Work on Mass Terms"
    },
  topic = {mass-terms;}
 }

@article{ pelletier:1980a,
  author = {Francis Jeffry Pelletier},
  title = {Review of \emph{{W}hy Does Language Matter to Philosophy}, by
  	{I}an {H}acking},
  journal = {Linguistics and Philosophy},
  year = {1980},
  volume = {3},
  number = {3},
  pages = {429--436},
  xref = {Review of hacking:1975a.},
  topic = {philosophy-of-language;poststructuralism;}
  }

@article{ pelletier:1982a,
  author = {Francis Jeffry Pelletier},
  title = {(X)},
  journal = {Notre {D}ame Journal of Formal Logic},
  year = {1982},
  volume = {23},
  number = {3},
  pages = {316--326},
  rtnote = {In RHT collection.  This is a critical review of Katz on
  	Language & Other Abstract Objects.},
  topic = {foundations-of-semantics;}
  }

@article{ pelletier:1986a,
  author = {Francis Jeffry Pelletier},
  title = {Seventy-Five Problems for Testing Automatic Theorem
		Provers},
  journal = {Journal of Automated Reasoning},
  year = {1986},
  volume = {2},
  pages = {191--216},
  rtnote = {In RHT collection.},
  topic = {theorem-proving;}
  }

@article{ pelletier:1988a,
  author = {Francis Jeffry Pelletier},
  title = {Vacuous Relatives and the (Non)-Context-Freeness
  	of {E}nglish},
  journal = {Linguistics and Philosophy},
  year = {1988},
  volume = {11},
  number = {3},
  pages = {255--260},
  xref = {Commentary: manasterramer:1991a.},
  topic = {nl-syntax;formal-language-theory;}
  }

@incollection{ pelletier:1991a,
  author = {Francis Jeffry Pelletier},
  title = {Mass Terms},
  booktitle = {Handbook of Metaphysics and Ontology},
  publisher = {Philosophia Verlag},
  year = {1991},
  editor = {Hans Burkhardt and Barry Smith},
  pages = {495--499},
  address = {Munich},
  topic = {mass-term-semantics;}
  }

@incollection{ pelletier:1994a,
  author = {Francis Jeffry Pelletier},
  title = {On an Argument Against Semantic Compositionality},
  booktitle = {Logic and Philosophy of Science in {U}ppsala},
  publisher = {Kluwer},
  year = {1994},
  editor = {Dag Prawitz and Dag Westerst{\aa}hl},
  pages = {599--610},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  rtnote = {semantics-course;},
  topic = {semantic-compositionality;}
  }

@article{ pelletier:1994b,
  author = {Francis Jeffry Pelletier},
  title = {The Principle of Semantic Compositionality},
  journal = {Topoi},
  year = {1994},
  rtnote = {semantics-course;},
  topic = {nl-semantics;semantic-compositionality;}
  }

@unpublished{ pelletier:1994c,
  author = {Francis Jeffry Pelletier},
  title = {Semantic Compositionality: the Argument from Mind},
  year = {1994},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;semantic-compositionality;}
  }

@incollection{ pelletier:1996a,
  author = {Francis Jeffry Pelletier},
  title = {Generics and Defaults},
  booktitle = {Handbook of Logic and Language},
  publisher = {Elsevier Science Publishers},
  year = {1996},
  editor = {Johan {van Benthem} and Alice {ter Meulen}},
  pages = {1125--1177},
  address = {Amsterdam},
  topic = {nl-semantics;}
  }

@article{ pelletier:1999a,
  author = {Francis Jeffry Pelletier},
  title = {A Brief History of Natural Deduction},
  journal = {History and Philosophy of Logic},
  year = {1999},
  volume = {20},
  pages = {1--31},
  url = {http://www.ingentaconnect.com/content/tandf/thpl/1999/00000020/00000001/art00001},
  rtnote = {In RHT collection.},
  topic = {history-of-logic;natural-deduction;}
  }

@article{ pelletier:2000a,
  author = {Francis Jeffry Pelletier},
  title = {Review of \emph{{M}etamathematics of Fuzzy Logic}, by
  	{P}etr {H}\'ajek},
  journal = {The Bulletin of Symbolic Logic},
  year = {2000},
  volume = {6},
  number = {3},
  pages = {342--346},
  xref = {Review of: hajek_p:1998a.},
  topic = {fuzzy-logic;}
  }

@article{ pelletier:2001a,
  author = {Francis Jeffry Pelletier},
  title = {Did {F}rege Believe {F}rege's Principle?},
  journal = {Journal of Logic, Language, and Information},
  year = {2001},
  volume = {10},
  number = {1},
  pages = {87--114},
  topic = {compositionality;Frege;foundations-of-semantics;}
  }

@article{ pelletier:2006a,
  author = {Francis Jeffry Pelletier},
  title = {Review of \emph{{T}he Law of Non-Contradiction: New
  	Philosophical Essays}, edited by {G}raham {P}riest and {J}.{C}.
	{B}eal and {B}radley {A}rmour-{G}arb},
  journal = {The Bulletin of Symbolic Logic},
  year = {2006},
  volume = {12},
  number = {1},
  pages = {131--135},
  xref = {Review of: priest-etal:2004a.},
  topic = {inconsistency;paraconsistency;philosophy-of-logic;}
  }

@article{ pelletier:2006b,
  author = {Francis Jeffry Pelletier},
  title = {Review of \emph{{R}epresentation and Inference for
  	Natural Language: A First Course in Computational Semantics},
	by {P}atrick {B}lackburn and {J}onathan {B}os},
  journal = {Computational Linguistics},
  year = {2006},
  volume = {32},
  number = {2},
  pages = {283--286},
  xref = {Review of: blackburn_p-bos:2005a},
  topic = {computational-semantics;}
  }

@article{ pelletier-elio:1997a,
  author = {Francis Jeffry Pelletier and Ren\'ee Elio},
  title = {What Should Default Reasoning Be, by Default?},
  journal = {Computational Intelligence},
  year = {1997},
  volume = {13},
  number = {2},
  pages = {165--187},
  topic = {nonmonotonic-reasoning;cognitive-psychology;}
  }

@article{ pelletier-etal:2008a,
  author = {Frances J. Pelletier and Ren\'ee Elio and Philip Hanson},
  title = {Is Logic All in Our Heads?  From Naturalism to Psychologism},
  journal = {Studia Logica},
  year = {2008},
  volume = {88},
  number = {1},
  pages = {3--66},
  topic = {psychologism;}
  }

@incollection{ pelletier-schubert:1989a,
  author = {Francis Jeffry Pelletier and Lenhart Schubert},
  title = {Mass Expressions},
  booktitle = {Handbook of Philosophical Logic, Volume 4},
  publisher = {D. Reidel Publishing Co.},
  year = {1989},
  editor = {Dov Gabbay and Franz Guenthner},
  pages = {327--407},
  address = {Dordrecht},
  topic = {nl-semantics;mass-terms;}
  }

@article{ pelletier-thomason_rh:2002a,
  author = {Francis Jeffry Pelletier and Richmond H. Thomason},
  title = {Twenty-Five Years of Linguistics and Philosophy},
  journal = {Linguistics and Philosophy},
  year = {2002},
  volume = {25},
  number = {5--6},
  pages = {507--529},
  topic = {philosophy-of-language;nl-semantics;}
  }

@article{ pelletier-urquhart:2003a,
  author = {Francis Jeffry Pelletier and Alasdair Urquhart},
  title = {Synonymous Logics},
  journal = {Journal of Philosophical Logic},
  year = {2003},
  volume = {32},
  number = {3},
  pages = {259--285},
  topic = {modal-logic;synonymy;}
  }

@article{ pelletier-urquhart:2008a,
  author = {Francis Jeffry Pelletier and Alasdair Urquhart},
  title = {Synonymous Logics:  A Correction},
  journal = {Journal of Philosophical Logic},
  year = {2008},
  volume = {37},
  number = {1},
  pages = {95--100},
  xref = {Correction to: pelletier-urquhart:2003a},
  topic = {modal-logic;synonymy;}
  }

@article{ pemberton-zhang_wx:1996a,
  author = {Joseph C. Pemberton and Weixiong Zhang},
  title = {Epsilon-Transformation: Exploiting Phase Transitions to
		Solve Combinatorial Optimization Problems},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {81},
  number = {1--2},
  pages = {297--325},
  topic = {search;experiments-on-theorem-proving-algs;
  	computational-phase-transitions;}
  }

@incollection{ penberthy-weld:1992a,
  author = {J. Scott Penberthy and Daniel S. Weld},
  title = {{UCPOP}: A Sound, Complete, Partial Order Planner
  	for {ADL}},
  booktitle = {{KR}'92. Principles of Knowledge Representation and
  	Reasoning: Proceedings of the Third International Conference},
  publisher = {Morgan Kaufmann},
  year = {1992},
  editor = {Bernhard Nebel and Charles Rich and William Swartout},
  pages = {103--114},
  address = {San Mateo, California},
  topic = {planning-algorithms;}
  }

@incollection{ penco:1999a,
  author = {Carlo Penco},
  title = {Objective and Cognitive Context},
  booktitle = {Modeling and Using Contexts: Proceedings of
	the Second International and Interdisciplinary
	Conference, {CONTEXT}'99},
  publisher = {Springer-Verlag},
  year = {1999},
  editor = {Paolo Bouquet and Luigi Serafini and Patrick
	Br\'ezillon	and Massimo Benerecetti and Francesca
	Castellani},
  pages = {270--283},
  address = {Berlin},
  topic = {context;philosophy-of-language;}
  }

@inproceedings{ penco:2001a,
  author = {Carlo Penco},
  title = {Local Holism},
  booktitle = {Modeling and Using Context: Third International and
  	Interdisciplinary Conference, Context 2001},
  publisher = {Springer-Verlag},
  year = {2001},
  editor = {Varol Akman and Paolo Bouquet and Richmond Thomason
  	and Roger A. Young},
  pages = {290--303},
  address = {Berlin},
  topic = {context;holism;philosophy-of-language;}
  }

@incollection{ penco:2007a,
  author = {Carlo Penco},
  title = {Context and Contract},
  booktitle = {Perspectives on Context},
  publisher = {CSLI Publications},
  year = {2007},
  editor = {Paolo Bouquet and Luciano Serafini and Richmond H. Thomason},
  pages = {189--213},
  address = {Stanford, California},
  topic = {context;discourse;}
  }

@incollection{ penco:forthcominga,
  author = {Carlo Penco},
  title = {Holism in A.I.?},
  booktitle = {Philosophy of Science in Florence},
  publisher = {Kluwer},
  year = {forthcoming},
  editor =  {Maria L. Dalla Chiara and R. Giuntini and F. Laudisa},
  address = {Dordrecht},
  missinginfo = {E's 1st name, pages, date},
  note = {Longer version available at
http://www.lettere.unige.it/sif/strutture/9/epi/hp/penco/pubbli/holism.htm.},
  rtnote = {Forthcoming in February, 1998.},
  topic = {context;}
  }

@article{ pencole-cordier:2005a,
  author = {Yannick Pencole and Marie-Odile Cordier},
  title = {A Formal Framework for the Decentralized Diagnosis of Large
  		Scale Discrete Event Systems and Its Application to
		Telecommunication Networks},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {164},
  number = {1--2},
  pages = {121--170},
  topic = {diagnosis;distributed-AI;}
  }

@phdthesis{ pendelbury:1980a,
  author = {Michael J. Pendelbury},
  title = {Believing},
  school = {Philosophy Department, University of Indiana},
  year = {1980},
  type = {Ph.{D}. Dissertation},
  address = {Bloomington, Indiana},
  rtnote = {In RHT collection.  Shelf.},
  topic = {propositional-attitudes;belief;}
 }

@article{ pendelbury:1987a,
  author = {Michael Pendelbury},
  title = {Stalnaker on Inquiry},
  journal = {Journal of Philosophical Logic},
  year = {1987},
  volume = {16},
  number = {3},
  pages = {229--272},
  xref = {Review of stalnaker:1984a.},
  topic = {foundations-of-modality;propositional-attitudes;belief-revision;
		pragmatics;agent-attitudes;belief;}
  }

@unpublished{ pendelbury:1990a,
  author = {Michael Pendelbury},
  title = {The Projection Strategy and the Truth Conditions of
  	Conditional Statements},
  year = {1990},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.  DATE IS A GUESS.},
  topic = {conditionals;}
  }

@article{ peng-reggia:1987a,
  author = {Yun Peng and James A. Reggia},
  title = {A Probabilistic Causal Model for Diagnostic Problem
  	Solving, Part {I}: Integrating Symbolic Causal Inference with
	Numeric Probabilistic Inference},
  journal = {{IEEE} Transactions on Systems, Man, and Cybernetics},
  year = {1987},
  volume = {SMC-17},
  number = {2},
  pages = {146--162},
  topic = {abduction;}
  }

@article{ peng-reggia:1987b,
  author = {Yun Peng and James A. Reggia},
  title = {A Probabilistic Causal Model for Diagnostic Problem
  	Solving---Part {II}: Diagnostic Strategy},
  journal = {{IEEE} Transactions on Systems, Man, and Cybernetics},
  year = {1987},
  volume = {SMC-17},
  number = {3},
  pages = {395--406},
  topic = {abduction;}
  }

@book{ peng-reggia:1990a,
  author = {Yun Peng and James A. Reggia},
  title = {Abductive Inference Models For Diagnostic
  	Problem-Solving},
  publisher = {Springer-Verlag},
  year = {1990},
  address = {Berlin},
  ISBN = {0387973435 (paper)},
  rtnote = {UMich Media Union Library, Q 335 .P4141 1990.},
  topic = {abduction;diagnosis;}
 }

@article{ penn:2000a,
  author = {Gerald Penn},
  title = {Review of \emph{{T}he Mathematics of Syntactic Structures:
  	Trees and Their Logics}, edited by {H}ans-{P}eter {K}olb and
	{U}we {M}\"onnich},
  journal = {Computational Linguistics},
  year = {2000},
  volume = {26},
  number = {2},
  pages = {274--276},
  xref = {Review of: kolb-monnich:1999a.},
  topic = {mathematical-linguistics;}
  }

@article{ penn:2003a,
  author = {Gerald Penn},
  title = {Review of \emph{{I}mplementing Typed Feature Structure
  	Grammars}, by {A}nn {C}opestake},
  journal = {Computational Linguistics},
  year = {2003},
  volume = {28},
  number = {3},
  pages = {507--509},
  topic = {typed-feature-structures;grammar-formalisms;}
  }

@inproceedings{ penn-thomason_rh:1994a,
  author = {Gerald Penn and Richmond H. Thomason},
  title = {Default Finite State Machines and Finite State Phonology},
  booktitle = {Computational Phonology: First Meeting of the {ACL} Special
  	Interest Group in Computational Phonology},
  year = {1994},
  editor = {Steven Bird},
  pages = {33--42},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Bernardsville, New Jersey},
  topic = {two-level-phonology;default-finite-state-machines;}
  }

@article{ pennanen:1986a,
  author = {Esko V. Pennanen},
  title = {On the So-Called Curative Verbs in {F}innish},
  journal = {Finnish-urgrische {F}orschungen},
  year = {1986},
  volume = {47},
  pages = {163--182},
  rtnote = {In RHT collection.},
  topic = {nl-causatives;Finnish-language;}
  }

@incollection{ penner:1970a,
  author = {Terry Penner},
  title = {Verbs and the Identity of Actions---A Philosophical Exercise
  	in the Interpretation of {A}ristotle},
  booktitle = {Ryle: A Collection of Critical Essays},
  publisher = {Doubleday},
  year = {1970},
  editor = {Oscar P. Wood and George Pitcher},
  pages = {393--460},
  address = {Garden City, New York},
  topic = {Aristotle;Aktionsarten;}
  }

@book{ pennock:1999a,
  author = {Robert T. Pennock},
  title = {Tower of {B}abel: The Evidence against the New
  	Creationism},
  publisher = {The {MIT} Press},
  year = {1999},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-66165-9},
  topic = {creationism;}
 }

@incollection{ penrose:1988a,
  author = {Roger Penrose},
  title = {On the Physics and Mathematics of Thought},
  booktitle = {The Universal {T}uring Machine: A Half-Century
  	Survey},
  publisher = {Oxford University Press},
  year = {1988},
  editor = {Rolf Herkin},
  pages = {491--522},
  address = {Oxford},
  topic = {foundations-of-computation;foundations-of-cognition;}
  }

@book{ penrose:1989a,
  author = {Roger Penrose},
  title = {The Emperor's New Mind},
  publisher = {Oxford University Press},
  year = {1989},
  address = {Oxford},
  xref = {Reviews: merman:1990a, sloman:1992a.},
  rtnote = {In RHT collection.  Cogsci Shelves.  m&mcourse;},
  topic = {foundations-of-cognition;goedels-first-theorem;
  	goedels-second-theorem;philosophy-of-computation;}
 }

@incollection{ penrose:1993a,
  author = {Roger Penrose},
  title = {Setting the Scene: The Claim and the Issues},
  booktitle = {The Simulation of Human Intelligence},
  publisher = {Blackwell Publishers},
  year = {1993},
  editor = {Donald Broadbent},
  pages = {1--32},
  address = {Oxford},
  topic = {foundations-of-AI;}
  }

@book{ penrose:1994a,
  author = {Roger Penrose},
  title = {Shadows of the Mind: A Search for the Missing Science of
  	Consciousness},
  publisher = {Oxford University Press},
  year = {1994},
  address = {Oxford},
  rtnote = {In RHT collection.  Cogsci Shelves.  m&mcourse;},
  xref = {Reviews: chalmers_dj:1995a.},
  topic = {foundations-of-cognition;goedels-first-theorem;
  	goedels-second-theorem;philosophy-of-computation;}
 }

@incollection{ penrose:1994b,
  author = {Roger Penrose},
  title = {Mathematical Intelligence},
  booktitle = {What is Intelligence?},
  publisher = {Cambridge University Press},
  year = {1994},
  editor = {Jean Khalfa},
  pages = {107--136},
  address = {Cambridge, England},
  topic = {mathematical-reasoning;foundations-of-computation;
  	goedels-first-theorem;goedels-second-theorem;}
  }

@article{ penrose:1995a,
  author = {Roger Penrose},
  title = {Beyond the Doubting of a Shadow:  A Reply to Commentaries
  	on \emph{{S}hadows of the Mind}},
  journal = {Psyche},
  year = {1995},
  volume = {2},
  url = {http://psyche.cs.monash.edu.au},
  missinginfo = {A's 1st name, number},
  xref = {Commentaryon: penrose:1994a},
  topic = {foundations-of-cognition;goedels-first-theorem;
  	foundations-of-computation;goedels-second-theorem;}
  }

@article{ penther:1994a,
  author = {Brigitte Penther},
  title = {A Dynamic Logic of Action},
  journal = {Journal of Logic, Language, and Information},
  year = {1994},
  volume = {3},
  number = {3},
  pages = {169--210},
  contentnote = {This formalism appears to be heavily influenced by dynamic
  	logic; there seems to be no influence from the branching time
	approaches or the AI formalism.  Read this. Take to MT 97.},
  topic = {dynamic-logic;action;action-formalisms;nondeterministic-action;}
  }

@article{ pentland:1986a,
  author = {Alex P. Pentland},
  title = {Shading into Texture},
  journal = {Artificial Intelligence},
  year = {1986},
  volume = {29},
  number = {2},
  pages = {147--170},
  topic = {computer-vision;texture;}
  }

@article{ pentland:1986b,
  author = {Alex P. Pentland},
  title = {Perceptual Organization and the Representation of Natural
  	Form},
  journal = {Artificial Intelligence},
  year = {1986},
  volume = {28},
  number = {3},
  pages = {293--331},
  acontentnote = {Abstract:
     To support our reasoning abilities perception must recover
     environmental regularities -- e.g., rigidity, ``objectness'',
     axes of symmetry -- for later use by cognition.  To create a
     theory of how our perceptual apparatus can produce meaningful
     cognitive primitives from an array of image intensities we
     require a representation whose elements may be lawfully related
     to important physical regularities, and that correctly describes
     the perceptual organizanion people impose on the stimulus.
     Unfortunately, the representations that are currently available
     were originally developed for other purposes (e.g., physics,
     engineering) and have so far proven unsuitable for the problems
     of perception or common-sense reasoning.  In answer to this
     problem we present a representation that has proven competent to
     accurately describe an extensive variety of natural forms (e.g.,
     people, mountains, clouds, trees), as well as man-made forms, in
     a succinct and nanural manner.  The approach taken in this
     representational system is to describe scene structure at a
     scale that is similar to our naive perceptual notion of ``a
     part'', by use of descriptions that reflect a possible formative
     history of the object, e.g., how the object might have been
     constructed from lumps of clay.  For this representation to be
     useful it must be possible to recover such descriptions from
     image data; we show that the primitive elements of such
     descriptions may be recovered in an overconstrained and
     therefore reliable manner.  We believe that this descriptive
     system makes an important contribution towards solving current
     problems in perceiving and reasoning about natural forms by
     allowing us to construct accurate descriptions that are
     extremely compact and that capture people's intuitive notions
     about the part structure of three-dimensional forms.  },
  topic = {spatial-reasoning;spatial-representation;}
  }

@article{ pentland-fisher_ma:1983a,
  author = {Alex J. Pentland and Martin A. Fisher},
  title = {A More Rational View of Logic or, Up against the Wall,
  		Logic Imperialists!},
  journal = {The {AI} Magazine},
  year = {1998},
  volume = {4},
  number = {4},
  pages = {15--18},
  xref = {Reply to: nilsson_nj:1983a},
  topic = {AI-editorial;logic-in-AI;}
  }

@article{ pentus:1995a,
  author = {Mati Pentus},
  title = {The Conjoinability Relation in {L}ambek Calculus and
  	Linear Logic},
  journal = {Journal of Logic, Language, and Information},
  year = {1993},
  volume = {4},
  number = {2},
  pages = {121--140},
  topic = {Lambek-calculus;linear-logic;}
  }

@article{ pentus:1997a,
  author = {Mati Pentus},
  title = {Product-Free {L}ambek Calculus and Context-Free Grammars},
  journal = {The Journal of Symbolic Logic},
  year = {1997},
  volume = {62},
  number = {2},
  pages = {648--660},
  topic = {Lambek-calculus;context-free-grammars;}
  }

@article{ pentus:1999a,
  author = {Mati Pentus},
  title = {Review of \emph{{T}ype-Logical Semantics}, by {B}ob {C}arpenter},
  journal = {Journal of Symbolic Logic},
  year = {1999},
  volume = {64},
  number = {4},
  pages = {1835--1836},
  xref = {Review of carpenter:1998a.},
  topic = {categorial-grammar;nl-semantics;}
  }

@article{ peot-shachter_rd:1991a,
  author = {Mark A. Peot and Ross D. Shachter},
  title = {Fusion and Propagation with Multiple Observations in
  	Belief Networks},
  journal = {Artificial Intelligence},
  year = {1991},
  volume = {48},
  number = {3},
  pages = {299--318},
  topic = {Bayesian-statistics;}
  }

@phdthesis{ peppas:1993a,
  author = {Pavios Peppas},
  title = {Belief Change and Reasoning about Action:  An Axiomatic
  	Approach to Modelling Inert Dynamic Worlds and the Connection
	to the Logic of Theory Change},
  school = {Department of Computer Science, University of Sydney},
  year = {1993},
  type = {Ph.D. Dissertation},
  address = {Sydney},
  topic = {action-formalisms;belief-revision;}
 }

@inproceedings{ peppas-etal:1999a,
  author = {Pavlos Peppas and Maurice Pagnucco and Mikhail Prokopenko
  	and Abhaya Nayak and Norman Y. Foo},
  title = {Preferential Semantics for Causal Systems},
  booktitle = {Proceedings of the Sixteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1999},
  editor = {Thomas Dean},
  pages = {118--123},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  topic = {nonmonotonic-logic;model-preference;causality;}
  }

@article{ peppas-etal:2001a,
  author = {Pavlos Peppas and Costas D. Kouras and Mary-Anne Williams},
  title = {Prolegomena to Concise Theories of Action},
  journal = {Studia Logica},
  year = {2001},
  volume = {67},
  number = {3},
  pages = {403--418},
  topic = {frame-problem;action-formalisms;}
  }

@incollection{ peppas-etal:2004a,
  author = {Pavlos Peppas and Samir Chopra and Norman Y. Foo},
  title = {Distance Semantics for Relevance-Sensitive Belief
  		Revision},
  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 = {319--328},
  address = {Menlo Park, California},
  topic = {belief-revision;modal-logic;}
  }

@inproceedings{ peppas-wobcke:1989a,
  author = {Pavlos Peppas and Wayne Wobcke},
  title = {On the Use of Epistemic Entrenchment in Reasoning
  	about Action},
  booktitle = {Proceedings of the Eleventh International Joint
  	Conference on Artificial Intelligence},
  year = {1989},
  editor = {N.S. Sridharan},
  pages = {324--332},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, CA},
  topic = {planning;}
  }

@incollection{ pequeno-buchsbaum:1991a,
  author = {Tarcisio Pequeno and Arthur Buchsbaum},
  title = {The Logic of Epistemic Inconsistency},
  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 = {453--460},
  address = {San Mateo, California},
  topic = {kr;hyperintensionality;kr-course;}
  }

@inproceedings{ percus:1998a,
  author = {Orin Percus},
  title = {A Somewhat More Definite Article},
  booktitle = {Proceedings

repository: sergiud/bibtex-spirit

repo_name: sergiud/bibtex-spirit