text:
{183--216},
  topic = {definite-descriptions;corpus-linguistics;}
  }

@article{ poggiolesi:2008a,
  author = {Francesca Poggiolesi},
  title = {A Cut-Free Sequent Calculus for Modal Logic {S5}},
  journal = {The Review of Symbolic Logic},
  year = {2008},
  volume = {1},
  number = {1},
  pages = {3--15},
  topic = {modal-logic;proof-theory;cut-elimination;hypersequents;}
  }

@article{ pohl:1970a,
  author = {Ira Pohl},
  title = {Heuristic Search Viewed as Path Finding in a Graph},
  journal = {Artificial Intelligence},
  year = {1970},
  volume = {1},
  number = {3--4},
  pages = {193--204},
  topic = {search;graph-based-reasoning;}
  }

@incollection{ pohlers:1998a,
  author = {Wolfram Pohlers},
  title = {Subsystems of Set Theory and Second-Order Number Theory},
  booktitle = {Handbook of Proof Theory},
  publisher = {Elsevier Science Publishers},
  year = {1998},
  editor = {Samuel R. Buss},
  pages = {209--335},
  address = {Amsterdam},
  xref = {Review: arai:1998e.},
  topic = {proof-theory;set-theory;formalizations-of-arithmetic;}
 }

@article{ polacik:1998a,
  author = {Tomasz Po{\l}acik},
  title = {Propositional Quantification in the Monadic Fragment
		of Intuitionistic Logic},
  journal = {Journal of Symbolic Logic},
  year = {1998},
  volume = {63},
  number = {1},
  pages = {269--300},
  topic = {intuitionistic-logic;propositional-quantifiers;}
  }

@unpublished{ polanyi:1987a,
  author = {Livia Polanyi},
  title = {Keeping It All Straight: Interpreting Time in
  	Narrative Discourse},
  year = {1987},
  note = {Unpublished manuscript, BBN Laboratories.  },
  rtnote = {In RHT collection.  Note says to appear in WCCFL 1987.},
  topic = {discourse;temporal-reasoning;}
  }

@incollection{ polanyi-berg:1999a,
  author = {Livia Polanyi and Martin van den Berg},
  title = {Logical Structure
    		and Discourse Anaphora Resolution},
  booktitle = {The Relation of Discourse/Dialogue Structure and
  	Reference},
  publisher = {Association for Computational Linguistics},
  year = {1999},
  editor = {Dan Cristea and Nancy Ide and Daniel Marcu},
  pages = {110--117},
  address = {New Brunswick, New Jersey},
  topic = {discourse-structure;reference-resolution;anaphora;}
  }

@incollection{ polanyi-vandenberg:1999a,
  author = {Livia Polanyi and Martin van den Berg},
  title = {Logical Structure and Discourse Anaphora Resolution},
  booktitle = {The Relation of Discourse/Dialogue Structure and
  	Reference},
  publisher = {Association for Computational Linguistics},
  year = {1999},
  editor = {Dan Cristea and Nancy Ide and Daniel Marcu},
  pages = {110--117},
  address = {Somerset, New Jersey},
  topic = {anaphora-resolution;discourse-structure;}
  }

@article{ polanyi-vandenberg:2003a,
  author = {Livia Polanyi and Martin van den Berg},
  title = {Discourse Structure and Sentential Information Structure:
  		An Initial Proposal},
  journal = {Journal of Logic, Language, and Information},
  year = {2003},
  volume = {12},
  number = {3},
  pages = {337--350},
  topic = {information-structure;sentence-focus;}
  }

@inproceedings{ polguere:2000a,
  author = {Alain Polgu\`ere},
  title = {A `Natural' Lexicalization Model for Language Generation},
  booktitle = {The Fourth Symposium on Natural Language Processing
  		2000 (SNLP'2000)},
  year = {2000},
  pages = {37--50},
  missinginfo = {editor, publisher, address},
  rtnote = {In RHT collection.},
  topic = {lexical-choice;}
  }

@article{ poli-langdon:2006a,
  author = {Riccardo Poli and William B. Langdon},
  title = {Backward Chaining Evolutionary Arguments},
  journal = {Artificial Intelligence},
  year = {2006},
  volume = {170},
  number = {11},
  pages = {952--982},
  topic = {genetic-algorithms;}
  }

@article{ politakis-weiss_sm:1984a,
  author = {Peter Politakis and Sholom M. Weiss},
  title = {Using Empirical Analysis to Refine Expert System Knowledge
  	Bases},
  journal = {Artificial Intelligence},
  year = {1984},
  volume = {22},
  number = {1},
  pages = {23--48},
  topic = {knowledge-acquisition;expert-systems;}
  }

@incollection{ polk:1996a,
  author = {Thad Polk},
  title = {Reasoning Matters: Mental Models and {S}oar},
  booktitle = {Mind Matters: A Tribute to {A}llen {N}ewell},
  publisher = {Lawrence Erlbaum Associates, Inc.},
  year = {1996},
  editor = {David M. Steier and Tom M. Mitchell},
  address = {Mahwah, New Jersey},
  pages = {401--406},
  topic = {cognitive-architectures;mental-models;SOAR;}
  }

@article{ pollack_jb:1993a,
  author = {Jordan B. Pollack},
  title = {On Wings of Knowledge: A Review of
  	{A}llen {N}ewell's `Unified Theories of Cognition'},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {59},
  number = {1--2},
  pages = {355--369},
  xref = {Review of newell:1992a.},
  topic = {SOAR;cognitive-architectures;}
  }

@techreport{ pollack_me:1986a,
  author = {Martha Pollack},
  title = {Inferring Domain Plans in Question-Answering},
  institution = {SRI International},
  number = {403},
  year = {1986},
  address = {Menlo Park, California},
  xref = {Also UPenn doctoral Dissertation.},
  rtnote = {pragmatics-course;},
  topic = {plan-recognition;pragmatics;}
  }

@inproceedings{ pollack_me:1986b1,
  author = {Martha Pollack},
  title = {A Model of Plan Inference That Distinguishes Between the
  	Beliefs of Actors and Observers},
  booktitle = {Proceedings of the 24th Meeting of the Association for
  	Computational Linguistics},
  year = {1986},
  editor = {Alan W. Biermann},
  pages = {207--215},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Morristown, New Jersey},
  xref = {Reprinted in georgeff-lansky:1986a, see pollack_me:1986a1.},
  topic = {plan-recognition;}
 }

@incollection{ pollack_me:1986b2,
  author = {Martha Pollack},
  title = {A Model of Plan Inference That Distinguishes Between the
  	Beliefs of Actors and Observers},
  booktitle = {Reasoning about Actions and Plans},
  publisher = {Morgan Kaufmann},
  year = {1986},
  editor = {Michael P. Georgeff and Amy Lansky},
  pages = {279--295},
  address = {Los Altos, California},
  rtnote = {pragmatics-course;},
  topic = {plan-recognition;nl-processing;pragmatics;}
  }

@inproceedings{ pollack_me:1989a,
  author = {Martha Pollack},
  title = {Plan Recognition Beyond {\sc strips}},
  booktitle = {Proceedings of the Second Workshop on Plan Recognition},
  year = {1989},
  missinginfo = {editor, pages, organization, publisher,  address},
  rtnote = {In RHT collection.},
  topic = {plan-recognition;}
  }

@incollection{ pollack_me:1990a,
  author = {Martha Pollack},
  title = {Plans as Complex Mental Attitudes},
  booktitle = {Intentions in Communication},
  publisher = {MIT Press},
  year = {1990},
  editor = {Philip R. Cohen and Jerry Morgan and Martha Pollack},
  pages = {77--103},
  address = {Cambridge, Massachusetts},
  topic = {foundations-of-planning;}
  }

@article{ pollack_me:1991a,
  author = {Martha Pollack},
  title = {Overloading Intentions for Efficient Practical Reasoning},
  journal = {No\^us},
  volume = {25},
  year = {1991},
  pages = {513--536},
  topic = {intention;practical-reasoning;}
    }

@article{ pollack_me:1992a,
  author = {Martha Pollack},
  title = {The Uses of Plans},
  journal = {Artificial Intelligence},
  volume = {57},
  number = {1},
  year = {1992},
  pages = {43--68},
  topic = {planning;intention;practical-reasoning;}
    }

@techreport{ pollack_me-etal:1982a,
  author = {Martha E. Pollack and Julia Hirschberg and Bonnie Lynn Webber},
  title = {User Participation in the Reasoning Processes of Expert
  	Systems},
  institution = {Department of Computer and Information Science,
  	University of Pennsylvania},
  year = {1982},
  number = {Technical Report MS-CIS-82-10},
  note = {(A short version of this report appears in the Proceedings of the
  	National Conference on Artificial Intelligence, 1982.)},
  topic = {user-modeling;expert-systems;}
}

@article{ pollack_me-horty:1999a,
  author = {Martha Pollack and John F. Horty},
  title = {There's More to Life than Making Plans},
  journal = {The {AI} Magazine},
  year = {1999},
  volume = {20},
  number = {4},
  pages = {71--84},
  topic = {execution-monitoring-plan-maintenance;}
  }

@unpublished{ pollack_me-moore_jd:1992a,
  author = {Martha Pollack and Johanna Moore},
  title = {Towards a Process-Based Analysis of Referring
  	Expressions},
  year = {1992},
  note = {Unpublished manuscript, Computer Science Department,
  	University of Pittsburgh},
  rtnote = {In RHT collection.},
  topic = {discourse;referring-expressions;}
  }

@inproceedings{ pollack_me-ringuette:1990a,
  author = {Martha Pollack and Marc Ringuette},
  title = {Introducing the {\sc Tileworld}: Experimentally Evaluating
            Agent Architectures},
  booktitle = {Proceedings of the Eighth National Conference on
              Artificial Intelligence},
  year = {1990},
  pages = {183--189},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  missinginfo = {editor},
  topic = {experimental-planning;limited-rationality;}
  }

@inproceedings{ pollard:1986a,
  author = {Carl J. Pollard},
  title = {Phrase Structure Grammar without Metarules},
  booktitle = {Proceedings, Fourth {W}est {C}oast {C}onference on {F}ormal
  	{L}inguistics},
  year = {1986},
  missinginfo = {publisher, address, pages},
  rtnote = {In RHT collection.},
  topic = {GPSG;}
  }

@incollection{ pollard-moshier:1989a,
  author = {Carl J. Pollard and M. Drew Moshier},
  title = {Unifying Partial Descriptions of Sets},
  booktitle = {Information, Language and Cognition: Vancouver Studies
  	in Cognitive Science {I}},
  year = {1989},
  editor = {P. Hanson},
  address = {Vancouver},
  rtnote = {In RHT Collection.},
  missinginfo = {Pages.  Publisher. Ed. 1st name. Date is a guess.},
  topic = {feature-structures;unification-of-FSs;}
  }

@inproceedings{ pollard-sag:1983a,
  author = {Carl Pollard and Ivan Sag},
  title = {Reflexives and Reciprocals in {E}nglish: An Alternative
  	to the Binding Theory},
  booktitle = {Proceedings, Second {W}est {C}oast {C}onference on {F}ormal
  	{L}inguistics},
  year = {1983},
  pages = {189--203},
  missinginfo = {publisher, address},
  rtnote = {In RHT collection.},
  topic = {reciprical-constructions;}
  }

@book{ pollard-sag:1987b,
  author = {Carl Pollard and Ivan Sag},
  title = {Information-Based Syntax and Semantics},
  publisher = {Center for the Study of Language and Information},
  year = {1987},
  address = {Stanford, California},
  rtnote = {In RHT collection.  Shelf.},
  ISBN = {ISBN: Hardcover: 0937073237, Paperback: 0937073245},
  rtnote = {UMich Media Union Library, Graduate Library
		Call No: P 291 .P631 1987},
  topic = {HPSG;unification-grammars;}
 }

@book{ pollard-sag:1994a,
  author = {Carl Pollard and Ivan Sag},
  title = {Head-Driven Phrase Structure Grammar},
  publisher = {Chicago University Press},
  year = {1994},
  address = {Chicago, Illinois},
  topic = {HPSG;}
 }

@incollection{ pollatsek-rayner:1989a,
  author = {Alexander Pollatsek and Keith Rayner},
  title = {Reading},
  booktitle = {Foundations of Cognitive Science},
  publisher = {The {MIT} Press},
  year = {1989},
  editor = {Michael I. Posner},
  pages = {401--436},
  address = {Cambridge, Massachusetts},
  topic = {reading;}
  }

@book{ pollock_jl:1976a,
  author = {John L. Pollock},
  title = {Subjunctive Reasoning},
  publisher = {D. Reidel Publishing Co.},
  year = {1976},
  address = {Dordrecht},
  topic = {conditionals;subjunctive-mood;}
 }

@unpublished{ pollock_jl:1978a,
  author = {John L. Pollock},
  title = {Indicative Conditionals and Conditional Probability},
  year = {1978},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript, Philosophy Department, University
 		of Arizona},
  topic = {conditionals;}
  }

@unpublished{ pollock_jl:1978b,
  author = {John L. Pollock},
  title = {A Counterfactual Antinomy},
  year = {1978},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  contentnote = {Suppose we have an infinite collection of white balls.
  		P. thinks that it can be intuitively true in this
		case of any of the balls x that if some ball were
		black, x would (still) be white.  This leads to the
  	        paradox.},
  note = {Unpublished manuscript, Philosophy Department, University
 		of Arizona},
  topic = {conditionals;}
  }

@article{ pollock_jl:1981a,
  author = {John L. Pollock},
  title = {A Refined Theory of Conditionals},
  journal = {Journal of Philosophical Logic},
  year = {1981},
  volume = {10},
  number = {2},
  pages = {239--266},
  topic = {conditionals;}
  }

@article{ pollock_jl:1981b,
  author = {John L. Pollock},
  title = {Causes, Conditionals, and Times},
  journal = {Pacific Philosophical Quarterly},
  year = {1981},
  volume = {62},
  pages = {340--353},
  missinginfo = {number},
  topic = {conditionals;causality;}
  }

@incollection{ pollock_jl:1984a,
  author = {John L. Pollock},
  title = {Nomic Probability},
  booktitle = {Causation and Causal Theories},
  publisher = {University of Minnesota Press},
  year = {1984},
  editor = {Peter A. French and Theodore E. Uehling, Jr. and Howard
  	K. Wettstein},
  pages = {177--204},
  address = {Minneapolis},
  topic = {probability;natural-laws;philosophy-of-science;}
  }

@article{ pollock_jl:1984b,
  author = {John L. Pollock},
  title = {How Do You Maximize Expectation Value?},
  journal = {No\^us},
  volume = {17},
  year = {1984},
  pages = {409--421},
  topic = {utility;foundations-of-decision-theory;}
    }

@article{ pollock_jl:1987a,
  author = {John L. Pollock},
  title = {Defeasible Reasoning},
  journal = {Cognitive Science},
  year = {1987},
  volume = {11},
  pages = {481--518},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {nonmonotonic-reasoning;}
  }

@incollection{ pollock_jl:1988a,
  author = {John L. Pollock},
  title = {The Building of {O}scar},
  booktitle = {Philosophical Perspectives, Vol. 2: Epistemology},
  publisher = {Blackwell Publishers},
  year = {1988},
  editor = {James E. Tomberlin},
  pages = {315--344},
  address = {Oxford},
  topic = {cognitive-architectures;practical-reasoning;}
  }

@unpublished{ pollock_jl:1989a,
  author = {John L. Pollock},
  title = {Defeasible Reasoning and the Statistical Syllogism},
  year = {1989},
  note = {Unpublished manuscript, University of Arizona},
  rtnote = {In RHT collection.},
  topic = {nonmonotonic-reasoning;}
  }

@book{ pollock_jl:1989b,
  author = {John L. Pollock},
  title = {How to Build a Person: A Prolegomenon},
  publisher = {The {MIT} Press},
  year = {1989},
  address = {Cambridge, Massachusetts},
  ISBN = {0262161133},
  rtnote = {UMich Graduate Library, Q 335 .P6521 1989
            UMich Media Union Library, Q 335 .P6521 1989},
  xref = {Review: smoliar:1991a.},
  topic = {foundations-of-AI;foundations-of-cognitive-science;
  	philosophy-AI;}
 }

@book{ pollock_jl:1990a,
  author = {John L. Pollock},
  title = {Technical Methods in Philosophy},
  publisher = {Westview Press},
  year = {1990},
  address = {Boulder, Colorado},
  ISBN = {0813378710},
  rtnote = {UMich Graduate Library, BC 135 .P77 1989
            UMich Undergraduate Library, BC 135 .P77 1989},
  topic = {philosophical-logic;}
 }

@techreport{ pollock_jl:1990b,
  author = {John L. Pollock},
  title = {Self-Defeating Arguments},
  institution = {Department of Philosophy, University of Arizona},
  year = {1990},
  address = {Tucson},
  rtnote = {In RHT collection.},
  topic = {argument-based-defeasible-reasoning;}
  }

@techreport{ pollock_jl:1991a,
  author = {John L. Pollock},
  title = {The Phylogeny of Rationality},
  institution = {Philosophy Department, University of Arizona},
  year = {1991},
  address = {Tucson, Arizona},
  rtnote = {In RHT collection.},
  missinginfo = {number},
  topic = {rationality;rational-action;}
  }

@techreport{ pollock_jl:1991b,
  author = {John L. Pollock},
  title = {New Foundations for Practical Reasoning},
  institution = {Philosophy Department, University of Arizona},
  year = {1991},
  address = {Tucson, Arizona},
  rtnote = {In RHT collection.},
  missinginfo = {number},
  topic = {practical-reasoning;decision-theoretic-reasoning;}
  }

@incollection{ pollock_jl:1991c,
  author = {John L. Pollock},
  title = {{OSCAR}: A General Theory of Rationality},
  booktitle = {Philosophy and {AI}: Essays at the Interface},
  publisher = {The {MIT} Press},
  year = {1991},
  editor = {Robert Cummins and John L. Pollock},
  pages = {189--213},
  address = {Cambridge, Massachusetts},
  topic = {cognitive-architectures;practical-reasoning;}
  }

@article{ pollock_jl:1992a,
  author = {John L. Pollock},
  title = {New Foundations for Practical Reasoning},
  journal = {Minds and Machines},
  year = {1992},
  volume = {2},
  pages = {113--144},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {practical-reasoning;decision-theoretic-planning;}
  }

@article{ pollock_jl:1992b,
  author = {John L. Pollock},
  title = {How to Reason Defeasibly},
  journal = {Artificial Intelligence},
  volume = {57},
  year = {1992},
  pages = {1--42},
  missinginfo = {number},
  topic = {nonmonotonic-reasoning;}
    }

@article{ pollock_jl:1994a,
  author = {John L. Pollock},
  title = {Justification and Defeat},
  journal = {Artificial Intelligence},
  volume = {67},
  year = {1994},
  pages = {377--407},
  topic = {nonmonotonic-reasoning;argument-based-defeasible-reasoning;}
    }

@book{ pollock_jl:1995a,
  author = {John L. Pollock},
  title = {Cognitive Carpentry: A Manual for How to Build
  	a Person},
  publisher = {The {MIT} Press},
  year = {1995},
  address = {Cambridge, Massachusetts},
  ISBN = {0262161524},
  rtnote = {UMich Graduate Library, BC 177 .P5991 1995.},
  rtnote = {In RHT collection.  Cogsci Shelves.},
  topic = {foundations-of-AI;foundations-of-cognitive-science;}
 }

@article{ pollock_jl:1997a,
  author = {John L. Pollock},
  title = {Reasoning about Change and Persistence: A Solution to
  	the Frame Problem},
  journal = {No\^us},
  year = {1997},
  volume = {31},
  number = {2},
  pages = {143--169},
  topic = {frame-problem;krcourse;}
  }

@article{ pollock_jl:1998a,
  author = {John L. Pollock},
  title = {The Logical Foundations of Goal-Regression Planning
  	in Autonomous Agents},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {106},
  number = {2},
  pages = {267--334},
  topic = {planning;foundations-of-planning;frame-problem;}
  }

@incollection{ pollock_jl:1999a,
  author = {John L. Pollock},
  title = {Planning Agents},
  booktitle = {Foundations of Rational Agency},
  publisher = {Kluwer Academic Publishers},
  year = {1999},
  editor = {Michael Wooldridge and Anand Rao},
  pages = {53--79},
  address = {Dordrecht},
  url = {http://oscarhome.soc-sci.arizona.edu/ftp/PAPERS/Planning-Agents.pdf},
  topic = {planning;agent-architectures;}
  }

@article{ pollock_jl:2001a,
  author = {John L. Pollock},
  title = {Evaluative Cognition},
  journal = {No\^us},
  year = {2001},
  volume = {35},
  number = {3},
  pages = {325--364},
  topic = {practical-reasoning;agent-architectures;qdt;}
  }

@article{ pollock_jl:2001b,
  author = {John L. Pollock},
  title = {Defeasible Reasoning with Variable Degrees of Justification},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {133},
  number = {1--2},
  pages = {233--282},
  topic = {nonmonotonic-reasoning;argument-based-defeasible-reasoning;
  		justification;}
  }

@article{ pollock_jl:2002a,
  author = {John L. Pollock},
  title = {Rational Choice and Action Omnipotence},
  journal = {The Philosophical Review},
  year = {2002},
  volume = {111},
  number = {1},
  pages = {1--23},
  topic = {foundations-of-decision-theory;}
  }

@incollection{ pollock_jl:2002b,
  author = {John L. Pollock},
  title = {The Logical Foundations of Means-End Reasoning},
  booktitle = {Common Sense, Reasoning, and Rationality},
  publisher = {Oxford University Press},
  year = {2002},
  editor = {Ren\'ee Elio},
  pages = {60--77},
  address = {Oxford},
  abstract = {This chapter focuses on one aspect of practical
    cognition -- plan-construction. Human plan-construction is
    generally based on means-end reasoning.  Means-end reasoning is
    concerned with finding the means for achieving goals.  The basic
    idea is a simple one: to achieve a goal, we consider an action
    that would achieve it under some specified circumstances and then
    try to find a way of putting ourselves in those circumstances in
    order to achieve the goal by performing the action.  Putting
    ourselves in those circumstances becomes a subgoal.   The idea is
    to work backward from the goal through subgoals until we arrive
    at subgoals that are already achieved. The resulting sequence of
    actions constitutes a plan for achieving the goal.  A precise
    logical theory of plan-construction is formulated that completely
    characterizes means-end reasoning.  },
  rtnote = {Available online?},
  topic = {planning;practical-reasoning;}
  }

@book{ polos-masuch:1995a,
  editor = {L\'aszl\'o P\'olos and Michael Masuch},
  title = {Applied Logic: How, What, and Why?  Logical Approaches to
       Natural Language},
  publisher = {Kluwer Academic Publishers},
  year = {1995},
  address = {Dordrecht},
  contentnote = {TC:
  	J. Bell, Pragmatic Reasoning, A Model-Based Theory.
	J. van Eijk and Nissim Francez, Verb-Phrase Ellipsis in
		Dynamic Semantics
	O. Gasquet, Optimization of Deduction for Multi-Modal Logics.
	F. Kamaradine, Are Types Needed for Natural Language?
	I. Lewin, Indexical Dynamics.
	L. Maksimova, Implicit and Explicit Definability in Modal and
		Temporal Logics.
	L. Moss and D. Johnson, Evolving Algebras and Mathematical
		Models of Language.
	L. Polos and M. Masuch, Information States in Situation Theory.
	K. Schultz and D. Gabbay, Logic Finite Automata.
	J. Seligman and A. ter Meulen, Dynamic Aspect Trees.
	K. Stenning, Logic as a Foundation for a Cognitive Theory of
		Modality Assignment.
	Y. Venema, Meeting a Modality?  Restricted Permutation for
		the Lambek Calculus.
	C. Vermeulen, Update Semantics for Propositional Texts.
   },
  rtnote = {HILLMAN P39 A66 1995},
  rtnote = {logic-ai-project;},
  topic = {applied-logic;}
 }

@book{ polson-richardson_jj:1988a,
  editor = {Martha C. Polson and J. Jeffrey Richardson},
  title = {Foundations of Intelligent Tutoring Systems},
  publisher = {Lawrence Erlbaum Associates},
  year = {1988},
  address = {Hillsdale, New Jersey},
  ISBN = {0805800530},
  rtnote = {UMich Media Union Library, LB1028.5 .F6341 1988.},
  topic = {intelligent-tutoring;}
 }

@article{ polyani-etal:2003a,
  author = {Livia Polyani and Marten van den Berg and David Ahn},
  title = {Discourse Structure and Sentential Information Structure:
  		An Initial Proposal},
  journal = {Journal of Logic, Language, and Information},
  year = {2003},
  volume = {12},
  number = {3},
  pages = {337--350},
  topic = {information-structure;discourse-structure;}
  }

@inproceedings{ pomeral-brezillon:2003a,
  author = {Jean-Charles Pomeral and Patrick Br\'ezillon},
  title = {Context Proceduralization in Decision Making},
  booktitle = {Modeling and Using Context: Fourth International and
  	Interdisciplinary Conference, Context 2003},
  publisher = {Springer-Verlag},
  year = {2003},
  editor = {Patrick Blackburn and Chiara Ghidini and Roy M. Turner
  	and Fausto Giunchiglia},
  pages = {491--498},
  address = {Berlin},
  topic = {context;decision-making;}
  }

@phdthesis{ pomerantz:1975a,
  author = {A. Pomerantz},
  title = {Second Assessments: A Study of Some Features of
  	Agreements/Disagreements},
  school = {University of California at Irvine},
  year = {1975},
  type = {Ph.{D}. Dissertation},
  address = {Irvine, California},
  missinginfo = {A's 1st name},
  topic = {conversation-analysis;}
 }

@incollection{ pomerantz:1978a,
  author = {A. Pomerantz},
  title = {Compliment Responses: Notes on the Co-Operation of
  	Multiple Constraints},
  booktitle = {Studies in the Organization of Conversational Interaction},
  publisher = {Academic Press},
  year = {1978},
  editor = {A. Schenkein},
  pages = {79--112},
  address = {New York},
  missinginfo = {A's 1st name.},
  topic = {conversation-analysis;}
  }

@incollection{ pomerantz:1984a,
  author = {A. Pomerantz},
  title = {Agreeing and Disagreeing With Assessments: Some Features
  	of Preferred/Dispreferred Turn Shapes},
  booktitle = {Structures of Social Action},
  publisher = {Cambridge University Press},
  year = {1984},
  editor = {J.M. Atkinson and J. Heritage},
  address = {Cambridge},
  missinginfo = {A's 1st name, pages, date is a guess.},
  topic = {conversation-analysis;}
  }

@incollection{ pomerol-brezillon:1999a,
  author = {Jean-Charles Pomerol and Patrick Brezillon},
  title = {Dynamics between Contextual Knowledge and Proceduralized
  	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 = {284--295},
  address = {Berlin},
  topic = {context;advice-giving-systems;}
  }

@inproceedings{ pomerol-brezillon:2001a,
  author = {Jean-Charles Pomerol and Patrick Brezillon},
  title = {About Some Relationships between Knowledge and Context},
  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 = {461--464},
  address = {Berlin},
  topic = {context;knowledge;}
  }

@incollection{ pontet:1991a,
  author = {T. Pontet},
  title = {A Constraint-Based Approach to Uncertain and Imprecise
  	Reasoning:  Application to Expert Systems},
  booktitle = {Symbolic and Quantitative Approaches for Uncertainty:
  	Proceedings of the {E}uropean Conference {ECSQAU}, Marseille,
	France, October 1991},
  publisher = {Springer-Verlag},
  year = {1991},
  editor = {Rudolf Kruse and Pierre Siegel},
  pages = {277--281},
  address = {Berlin},
  topic = {reasoning-about-uncertainty;expert-systems;}
  }

@unpublished{ poole:1984a,
  author = {David L. Poole},
  title = {On the Comparison of Theories:  Preferring the Most Specific
  	Explanation},
  year = {1984},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript.},
  topic = {nonmonotonic-reasoning;}
  }

@article{ poole:1987a,
  author = {David Poole},
  title = {The Use of Logic},
  journal = {Computational Intelligence},
  year = {1987},
  volume = {3},
  issue = {3},
  pages = {205--206},
  xref = {kr;foundations-of-kr;logic-in-AI;}
  }

@article{ poole:1988a,
  author = {David Poole},
  title = {A Logical Framework for Default Reasoning},
  journal = {Artificial Intelligence},
  year = {1988},
  volume = {36},
  number = {1},
  pages = {27--47},
  rtnote = {In RHT collection.},
  topic = {nonmonotonic-logic;}
  }

@article{ poole:1989a,
  author = {David Poole},
  title = {Explanation and Prediction: An Architecture for Default
  	and Abductive Reasoning},
  journal = {Computational Intelligence},
  year = {1989},
  volume = {5},
  number = {2},
  pages = {97--110},
  topic = {abduction;default-reasoning;}
  }

@incollection{ poole:1989b,
  author = {David Poole},
  title = {What the Lottery Paradox Tells Us about Default Reasoning},
  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 = {333--341},
  address = {San Mateo, California},
  topic = {kr;nonmonotonic-logic;lottery-paradox;kr-course;}
  }

@inproceedings{ poole:1991a,
  author = {David Poole},
  title = {Representing Diagnostic Knowledge for Probabilistic Horn
  	Abduction},
  booktitle = {Proceedings of the Twelfth International Joint
  	Conference on Artificial Intelligence},
  year = {1991},
  editor = {Barbara J. Grosz and John Mylopoulos},
  pages = {1129--1135},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  topic = {abduction;}
  }

@article{ poole:1991b,
  author = {David Poole},
  title = {The Effect of Knowledge on Belief: Conditioning,
  	Specificity and the Lottery Paradox in Default Reasoning},
  journal = {Artificial Intelligence},
  year = {1991},
  volume = {49},
  number = {1--3},
  pages = {281--307},
  topic = {nonmonotonic-reasoning;conditioning-methods;lottery-paradox;}
  }

@inproceedings{ poole:1993b,
  author = {David Poole},
  title = {Decision Theoretic Defaults},
  booktitle = {Proceedings of the Eighth Conference on Uncertainty in
  	Artificial Intelligence},
  year = {1993},
  pages = {190--197},
  missinginfo = {editor,publisher, address},
  topic = {qualitative-utility;nonmonotonic-reasoning;}
  }

@article{ poole:1993c,
  author = {David Poole},
  title = {Probabilistic {H}orn Abduction and {B}ayesian Networks},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {64},
  number = {1},
  pages = {81--129},
  acontentnote = {Abstract:
     This paper presents a simple framework for Horn-clause
     abduction, with probabilities associated with hypotheses. The
     framework incorporates assumptions about the rule base and
     independence assumptions amongst hypotheses. It is shown how any
     probabilistic knowledge representable in a discrete Bayesian
     belief network can be represented in this framework. The main
     contribution is in finding a relationship between logical and
     probabilistic notions of evidential reasoning. This provides a
     useful representation language in its own right, providing a
     compromise between heuristic and epistemic adequacy. It also
     shows how Bayesian networks can be extended beyond a
     propositional language. This paper also shows how a language
     with only (unconditionally) independent hypotheses can represent
     any probabilistic knowledge, and argues that it is better to
     invent new hypotheses to explain dependence rather than having
     to worry about dependence in the language.
  },
  topic = {abduction;Horn-clause-abduction;Bayesian-networks;}
  }

@incollection{ poole:1994a,
  author = {David Poole},
  title = {Default Logic},
  booktitle = {Handbook of Logic in Artificial Intelligence
   	         and Logic Programming, Volume 3: Nonmonotonic
		 Reasoning and Uncertain Reasoning},
  publisher = {Oxford University Press},
  year = {1994},
  editor = {Dov Gabbay and Christopher J. Hogger and J. A. Robinson},
  pages = {189--215},
  address = {Oxford},
  topic = {default-logic;nonmonotonic-reasoning-survey;}
  }

@article{ poole:1996a,
  author = {David Poole},
  title = {Probabilistic Conflicts in a Search Algorithm for
  	Estimating Posterior Probabilities in {B}ayesian Networks},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {88},
  number = {1--2},
  pages = {69--100},
  topic = {Bayesian-networks;}
  }

@article{ poole:1997a,
  author = {David Poole},
  title = {The Independent Choice Logic for Modelling Multiple Agents
  	Under Uncertainty},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {94},
  number = {1--2},
  pages = {7--56},
  topic = {agent-modeling;reasoning-about-uncertainty;
  	AI-and-economics;qualitative-utility;}
  }

@incollection{ poole-etal:1987a,
  author = {David Poole and Randy Goebel and Romas Aleliunas},
  title = {Theorist: A Logical Reasoning System for Defaults
		and Diagnosis},
  booktitle = {The Knowledge Frontier},
  publisher = {Springer-Verlag},
  year = {1987},
  editor = {Nick Cercone and Gordon McCalla},
  pages = {331--352},
  address = {Berlin},
  topic = {logic-programming;abduction;explanation;}
  }

@book{ poole-etal:1988a,
  author = {David Poole and Alan Mackworth and Randy Goebel},
  title = {Computational Intelligence: A Logical Approach},
  publisher = {Oxford University Press},
  year = {1988},
  address = {Oxford},
  ISBN = {0-195-102703},
  xref = {Reviews: duboulay:2001a, furbach:2003a.},
  topic = {AI-intro;AI-text;}
 }

@book{ poole-etal:1998a,
  author = {David Poole and Alan Mackworth and Randy Goebel},
  title = {Computational Intelligence: A Logical Approach},
  publisher = {Oxford University Press},
  year = {1998},
  address = {Oxford},
  ISBN = {0195102703 (cloth)},
  rtnote = {UMich Media Union Library, Q 335 .P6571 1998.},
  topic = {kr;ai-intro;AI-text;}
 }

@book{ pope_en:1975a,
  author = {Emily Norwood Pope},
  title = {Questions and Answers in {E}nglish},
  publisher = {Indiana University Linguistics Club},
  year = {1982},
  address = {310 Lindley Hall, Bloomington, Indiana},
  rtnote = {In RHT collection.},
  topic = {interrogatives;}
 }

@article{ pope_lk-smith_ca:1994a,
  author = {Lois K. Pope and Craig A. Smith},
  title = {On the Distinct Meanings of Smiles and Frowns},
  journal = {Cognition and Emotion},
  volume = {8},
  number = {1},
  pages = {65--72},
  year = {1994},
  topic = {facial-expression;emotion;}
  }

@book{ popkorn:1994a,
  author = {Sally Popkorn},
  title = {First Steps in Modal Logic},
  publisher = {Cambridge University Press},
  year = {1994},
  address = {Cambridge, England},
  topic = {modal-logic;logic-intro;}
 }

@inproceedings{ pople:1973a,
  author = {Harry E. {Pople, Jr.}},
  title = {On the Mechanization of Abductive Logic},
  booktitle = {Proceedings of the Third International Joint
  	Conference on Artificial Intelligence},
  year = {1973},
  pages = {147--152},
  publisher = {Morgan Kaufmann},
  address = {Los Altos, California},
  missinginfo = {editor},
  topic = {abduction;}
 }

@article{ popper:1949a,
  author = {Karl R. Popper},
  title = {A Note on Natural Laws and So-Called `Contrary-to-Fact'
  		Conditionals},
  journal = {Mind, New Series},
  year = {1949},
  volume = {58},
  pages = {62--66},
  missinginfo = {number},
  xref = {Review: feigl:1950a.},
  topic = {conditionals;natural-laws;}
  }

@book{ popper:1968a,
 author = {Karl R. Popper},
 title = {The Logic of Scientific Discovery},
 publisher = {Hutchinson},
 year = {1968},
 address = {London},
 edition = {Revised edition},
 contentnote = {In the 1959 edition, the discussion of p(a,b) is in New
	Appendix iv, "The Formal Theory of Probability."  pp. 323--348.
	He motivates 2 place probabilities using symmetry, p(a,b) shld be
	defined if p(b,a) is.  Since he seems to have been interested in
	axiom-hacking for prob perhaps his motivation was to avoid having to
	put "=/= 0" conditions on many axioms.  No, that is not all, because
	he goes on to say that univ laws have 0 probability and you want to
	condionalize on them.  He refers to popper:1955a for the first
	axioms for a symmetrical system.
		},
  topic = {philosophy-of-science;}
 }

@article{ popplestone:1975a,
  author = {A.P. Ambler and H.G. Barrow and C.M. Brown and R.M.
  	Burstall and R.J.  Popplestone},
  title = {A Versatile System for Computer-Controlled Assembly},
  journal = {Artificial Intelligence},
  year = {1975},
  volume = {6},
  number = {2},
  pages = {129--156},
  topic = {robotics;assembly;}
  }

@incollection{ porayskapomsta-mellish:2004a,
  author = {Kaka Porayska-Pomsta and Chris Mellish},
  title = {Modelling Politeness in Natural Language Generation},
  booktitle = {Natural Language Generation: Third International
	Conference, INLG 2004},
  publisher = {Springer-Verlag},
  year = {2004},
  editor = {Anja Belz and Roger Evans and Paul Piwek},
  pages = {141--150},
  address = {Berlin},
  topic = {nl-generation;politeness;}
  }

@inproceedings{ poria-garigliano:1998a,
  author = {Sanjay Poria and Roberto Galgliano},
  title = {Factors in Causal Explanation},
  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.}},
  rtnote = {In RHT Collection.  Shelf.},
  missinginfo = {pages   pages = {65--}},
  topic = {causality;explanation;}
 }

@incollection{ porn:1994a,
  author = {Ingmar P\"orn},
  title = {Meaning and Intension},
  booktitle = {Intensional Logic:  Theory and Applications},
  publisher = {The Philosophical Society of Finland},
  year = {1994},
  editor = {Ilkka Niiniluoto and Esa Saarinen},
  pages = {273--281},
  address = {Helsinki},
  topic = {foundations-of-semantics;philosophy-of-language;}
  }

@article{ porte:1981a,
  author = {Jean Porte},
  title = {The Deducibilities of {S}5},
  journal = {Journal of Philosophical Logic},
  year = {1981},
  volume = {10},
  number = {4},
  pages = {409--422},
  topic = {modal-logic;}
  }

@article{ porter_bw-etal:1990a,
  author = {Bruce W. Porter and Ray Bareiss and Robert C. Holte},
  title = {Concept Learning and Heuristic Classification in
  	Weak-Theory Domains},
  journal = {Artificial Intelligence},
  year = {1990},
  volume = {45},
  number = {1--2},
  pages = {229--263},
  topic = {machine-learning;concept-learning;heuristic-classification;}
  }

@article{ porter_lf:1998a,
  author = {Leon F. Porter},
  title = {Review of \emph{{C}orrespondence and Disquotation}, by
  	{M}arian {D}avid},
  journal = {The Philosophical Review},
  year = {1998},
  volume = {105},
  number = {1},
  pages = {82--84},
  xref = {Review of david:1994a.},
  topic = {truth;disquotationalist-truth;}
  }

@article{ porter_r-etal:2008a,
  author = {Ryan Porter and Amir Ronen and Yoav Shoham and Moshe Tennenholtz},
  title = {Fault Tolerant Mechanism Design},
  journal = {Artificial Intelligence},
  year = {2008},
  volume = {172},
  number = {15},
  pages = {1783--1799},
  topic = {mechanism-design;game-theory;}
  }

@article{ portinale-etal:2004a,
  author = {Luigi Portinale and Diego Magro and Pietro Torasso},
  title = {Multi-Modal Diagnosis Combining Case-Based and Model-Based
  		Reasoning:  A Formal and Experimental Analysis},
  journal = {Artificial Intelligence},
  year = {2004},
  volume = {158},
  number = {2},
  pages = {109--153},
  topic = {hybrid-kr-architectures;diagnosis;case-based-reasoning;
  		model-based-reasoning;}
  }

@inproceedings{ portner:1991a,
  author = {Paul Portner},
  title = {Gerunds and Types of Events},
  booktitle = {Proceedings from Semantics and Linguistic Theory {I}},
  year = {1991},
  editor = {Steven Moore and {Adam Zachary} Wyner},
  pages = {189--208},
  publisher = {Cornell University},
  address = {Ithaca, New York},
  note = {Available from CLC Publications, Department of Linguistics,
  	Morrill Hall, Cornell University, Ithaca, NY 14853-4701.},
  topic = {events;nl-semantics;nominalization;}
  }

@phdthesis{ portner:1992a,
  author = {Paul Portner},
  title = {Situation Theory and the Semantics of Propositional
  	Expressions},
  school = {Linguistics Department, University of Massachusetts},
  year = {1992},
  type = {Ph.D. Dissertation},
  address = {Amherst, Massachusetts},
  topic = {situation-semantics;nl-semantics;propositional-attitudes;}
 }

@unpublished{ portner:1993a,
  author = {Paul Portner},
  title = {The Semantics of Finiteness and Mood in {E}nglish},
  year = {1993},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript, Department of Linguistics,
  	Georgetown University.},
  topic = {nl-semantics;nl-mood;}
  }

@article{ portner:1997a,
  author = {Paul Portner},
  title = {The Semantics of Mood, Complementation, and Conversational
  	Force},
  journal = {Natural Language Semantics},
  year = {1997},
  volume = {5},
  number = {2},
  pages = {167--212},
  rtnote = {pragmatics-course;},
  topic = {nl-mood;speech-acts;nl-semantics;pragmatics;}
  }

@article{ portner:1998a,
  author = {Paul Portner},
  title = {The Progressive in Modal Semantics},
  journal = {Language},
  year = {1998},
  volume = {74},
  number = {4},
  pages = {760--787},
  topic = {tense-aspect;nl-semantics;progressive-aspect;}
  }

@article{ portner:2003a,
  author = {Paul Portner},
  title = {The (Temporal) Semantics and (Modal) Pragmatics of the
  	Perfect},
  journal = {Linguistics and Philosophy},
  year = {2003},
  volume = {26},
  number = {4},
  pages = {459--510},
  rtnote = {In RHT collection. \jn09},
  topic = {nl-semantics;pragmatics;perfective-aspect;}
  }

@incollection{ portner:2004a,
  author = {Paul Portner},
  title = {The Semantics of Imperatives within a Theory of Clause
  	Types},
  booktitle = {Proceedings from Semantics and Linguistic Theory {XIV}},
  publisher = {Cornell University},
  year = {2004},
  editor = {Kazuha Watanabe and Robert Young},
  missininfo = {pages},
  rtnote = {In RHT collection.},
  address = {Ithaca, New York},
  url = {http://semanticsarchive.net/Archive/mJlZGQ4N/PortnerSALT04.pdf},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;imperatives;}
  }

@article{ portner:2007a,
  author = {Paul Portner},
  title = {Imperatives and Modals},
  journal = {Natural Language Semantics},
  year = {2007},
  volume = {15},
  number = {4},
  pages = {351--383},
  doi = {10.1007/s11050-007-9022-y},
  topic = {nl-semantics;imperatives;modals;}
  }

@article{ portner-yabushita:1998a,
  author = {Paul Portner and Katsuhiko Yabushita},
  title = {The Semantics and Pragmatics of Topic Phrases},
  journal = {Linguistics and Philosophy},
  year = {1998},
  volume = {21},
  number = {2},
  pages = {117--157},
  topic = {s-topic;nl-semantics;pragmatics;context;
  	dynamic-semantics;}
  }

@incollection{ porzel-gurevych:2002a,
  author = {Robert Porzel and Iryna Gurevych},
  title = {Towards Context-Adaptive Utterance Interpretation},
  booktitle = {Third {SIGdial} Workshop on Discourse and Dialogue:
  		Proceedings of the Workshop},
  publisher = {Association for Computational Linguistics},
  year = {2002},
  editor = {Kristina Jokinen and Susan McRoy},
  pages = {154--161},
  address = {New Brunswick, New Jersey},
  topic = {computational-dialogue;context;discourse-interpretation;}
  }

@inproceedings{ porzel-gurevych:2003a,
  author = {Robert Porzel and Iryna Gurevych},
  title = {Contextual Coherence in Natural Language Processing},
  booktitle = {Modeling and Using Context: Fourth International and
  	Interdisciplinary Conference, Context 2003},
  publisher = {Springer-Verlag},
  year = {2003},
  editor = {Patrick Blackburn and Chiara Ghidini and Roy M. Turner
  	and Fausto Giunchiglia},
  pages = {272--285},
  address = {Berlin},
  topic = {context;coherence;computational-dialogue;}
  }

@unpublished{ poser:1994a,
  author = {William Poser},
  title = {The Structural Typology of Phonological Writing},
  year = {1994},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript, Stanford University.},
  topic = {writing-systems;}
  }

@unpublished{ poser:1999a,
  author = {William Poser},
  title = {A Sorting Tool and Issues in Sorting},
  year = {1999},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.},
  topic = {sorting;computational-field-linguistics;}
  }

@incollection{ posner:1976a,
  author = {Roland Posner},
  title = {Discourse as a Means to Enlightenment},
  booktitle = {Language in Focus},
  publisher = {D. Reidel Publishing Co.},
  year = {1976},
  editor = {Asa Kasher},
  pages = {641--660},
  address = {Dordrecht},
  topic = {argumentation;pragmatics;}
  }

@incollection{ posner:1980a,
  author = {Roland Posner},
  title = {Semantics and Pragmatics of Sentence Connectives
  	in Natural Language},
  booktitle = {Speech Act Theory and Pragmatics},
  publisher = {D. Reidel Publishing},
  year = {1980},
  editor = {John R. Searle and Ferenc Kiefer and Manfred Bierwisch},
  pages = {169--203},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  rtnote = {pragmatics-course;},
  topic = {speaker-meaning;pragmatics;implicature;}
  }

@book{ posner:1989a,
  editor = {Michael L. Posner},
  title = {Foundations of Cognitive Science},
  publisher = {The {MIT} Press},
  year = {1989},
  address = {Cambridge, Massachusetts},
  contentnote = {TC:
        0. M. Posner, "Preface".
        1. H. Simon and C. Kaplan, "Foundations of Cognitive Science".
        2. Z. Pylyshyn, "Computing in Cognitive Science".
        3. A. Newell, P. Rosenbloom, and J. Laird, "Symbolic
		Architectures for Cognition".
        4. D. Rumelhart, "The Architecture of Mind: A Connectionist
		Approach".
        5. T. Wasow, "Grammatical Theory".
        6. J. Barwise and J. Etchemendy, "Model-Theoretic Semantics".
        7. G. Bower and J. Clapper, "Experimental Methods in
		Cognitive Science".
        8. T. Sejenowski and P. Churchland, "Brain and Cognition".
        9. S. Pinker, "Language Acquisition".
       10. A. Pollatsek and K. Rayner, "Reading".
       11. B. Grosz, M. Pollack, and C. Sidner "Discourse".
       12. P. Johnson-Laird, "Mental Models".
       13. E. Smith, "Concepts and Induction".
       14. K. Vanlehn, "Problem Solving and Cognitive Skill Acquisition".
       15. E. Hildreth and S. Ullman, "The Computational Study of Vision".
       16. A. Allport, "Visual Attention".
       17. D. Schachter, "Memory".
       18. M. Jordan and D. Rosenbaum, "Action".
       19. E. Bizzi and F. Mussa-Ivaldi, "Geometrical and Mechanical Issues
       		in Movement Planning and Control".
       20. R. D'Andrade, "Cultural Cognition".
       21. G. Harman, "Some Philosophical Issues in Cognitive
       		Science: Qualia, Intentionality, and the Mind-Body
		Problem".
  	},
  rtnote = {In RHT collection.  Cogsci Shelves. m&mcourse;},
  topic = {foundations-of-cognitive-science;cognitive-science-general;
  	pragmatics;}
 }

@incollection{ posner:1989b,
  author = {Michael I. Posner},
  title = {Preface},
  booktitle = {Foundations of Cognitive Science},
  publisher = {The {MIT} Press},
  year = {1989},
  editor = {Michael I. Posner},
  pages = {ix--xiv},
  address = {Cambridge, Massachusetts},
  topic = {cognitive-science-survey;}
  }

@article{ post:1973a,
  author = {John F. Post},
  title = {Shades of the Liar},
  journal = {Journal of Philosophical Logic},
  year = {1973},
  volume = {2},
  number = {3},
  pages = {370--386},
  topic = {semantic-paradoxes;}
  }

@incollection{ postal:1971a,
  author = {Paul M. Postal},
  title = {On the Surface Verb `Remind'},
  booktitle = {Studies in Linguistic Semantics},
  publisher = {Holt, Rinehart and Winston},
  year = {1971},
  editor = {Charles J. Fillmore and D. Terence Langendoen},
  pages = {180--270},
  address = {New York},
  rtnote = {See rtnotes: postal:1971a.},
  rtnote = {Reading notes on file.},
  topic = {generative-semantics;}
  }

@incollection{ postal:1972a,
  author = {Paul M. Postal},
  title = {The Best Theory},
  booktitle = {Goals of Linguistic Theory},
  publisher = {Prentice-Hall, Inc.},
  year = {1972},
  editor = {Stanley Peters},
  pages = {131--170},
  address = {Englewood Cliffs, New Jersey},
  topic = {transformational-grammar;philosophy-of-linguistics;}
  }

@article{ postow:1977a,
  author = {B. C. Postow},
  title = {Generalized Act Utilitarianism},
  journal = {Analysis},
  volume = {37},
  year = {1977},
  pages = {49--52},
  topic = {utilitatianism;}
    }

@article{ posy:1975a,
  author = {Carl F. Posy},
  title = {Varieties of Indeterminacy in the Theory of General
  	Choice Sequences},
  journal = {Journal of Philosophical Logic},
  year = {1975},
  volume = {5},
  number = {1},
  pages = {91--132},
  topic = {intuitionistic-mathematics;choice-sequences;}
  }

@article{ posy:1977a,
  author = {Carl Posy},
  title = {The Theory of Empirical Sequences},
  journal = {Journal of Philosophical Logic},
  year = {1977},
  volume = {6},
  number = {1},
  pages = {47--81},
  topic = {intuitionistic-logic;intuitionistic-mathematics;choice-sequences;}
  }

@article{ potochnik:2010a,
  author = {Angela Potochnik},
  title = {Levels of Explanation Reconsidered},
  journal = {Philosophy of Science},
  year = {2010},
  volume = {77},
  number = {1},
  pages = {59--72},
  topic = {theory-reduction;pluralism;}
  }

@book{ potter:1989a,
  editor = {Rosanne G. Potter},
  title = {Literary Computing and Literary Criticism: Theoretical and
  	Practical Essays on Theme and Rhetoric},
  publisher = {University of Pennsylvania Press},
  year = {1989},
  address = {Philadelphia},
  ISBN = {081228156X},
  rtnote = {UMich Undergraduate, PR 21 .L581 1989.},
  topic = {computers-in-the-humanities;}
 }

@book{ potter:1996a,
  author = {Jonathan Potter},
  title = {Representing Reality},
  publisher = {Sage Publications},
  year = {1997},
  address = {Thousand Oaks, California},
  topic = {discourse;postmodernism;pragmatics;}
 }

@article{ pottinger:1978a,
  author = {Garrel Pottinger},
  title = {A New Classical Relevance Logic},
  journal = {Journal of Philosophical Logic},
  year = {1978},
  volume = {8},
  number = {1},
  pages = {135--147},
  topic = {relevance-logic;}
  }

@book{ potts_c:2005a,
  author = {Christopher Potts},
  title = {The Logic of Conventional Implicatures},
  publisher = {Oxford University Press},
  year = {2005},
  address = {Oxford},
  ISBN = {0-19-927382-0 (hbk)},
  rtnote = {In RHT collection.  Out for reading.},
  xref = {Review: amaral_p-etal:2007a},
  topic = {nl-semantics;nl-pragmatics;conventional-implicature;}
 }

@article{ potts_c:2007a,
  author = {Christopher Potts},
  title = {The Expressive Dimenson},
  journal = {Theoretical Linguistics},
  year = {2007},
  volume = {33},
  pages = {165--197},
  missinginfo = {number},
  doi = {10.1515/TL.2007.011},
  topic = {expressives;}
  }

@book{ potts_tc:1994a,
  author = {Timothy C. Potts},
  title = {Structures and Categories for the Representation of Meaning},
  publisher = {Cambridge University Press},
  year = {1994},
  address = {Cambridge, England},
  topic = {nl-semantics;}
 }

@book{ powell_ta:1998a,
  author = {Thomas A. Powell},
  title = {Web Site Engineering: Beyond Web Page Design},
  publisher = {Prentice Hall},
  year = {1998},
  address = {Upper Saddle River, New Jersey},
  ISBN = {0136509207},
  rtnote = {UMich Graduate Library, TK 5105.888 .P68 1998.},
  topic = {internet-technology;}
 }

@article{ power:1979a,
  author = {Richard Power},
  title = {The Organization of Purposeful Dialogues},
  journal = {Linguistics},
  year = {1979},
  volume = {17},
  pages = {107--152},
  missinginfo = {number},
  topic = {conversation-analysis;discourse;pragmatics;}
  }

@article{ power-etal:2003a,
  author = {Richard Power and Donia R. Scott and Nadjet Bouayad-Agha},
  title = {Document Structure},
  journal = {Computational Linguistics},
  year = {2003},
  volume = {29},
  number = {2},
  pages = {211--260},
  topic = {discourse-structure;}
  }

@book{ powers_dmw:1998a,
  editor = {David M.W. Powers},
  title = {Proceedings of the Joint Conference on New Methods in
  	Language Processing and Computational Natural Language
	Learning: {NeMLaP3/CoNLL98}},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  address = {Somerset, New Jersey},
  rtnote = {In RHT collection.  ACL Shelves.},
  contentnote = {TC:
     1. Walter Daelemans, "Abstraction is Harmful in Language
     		Learning", pp. 1--2
     2. Michael Towsey and Joachim Diederich and Ingo Schellhammer
     		and Stephan Chalup and Claudia Brugman, "Natural
		Language Learning by Recurrent Neural Networks: A
		Comparison with Probabilistic Approaches", 3--10
     3. Sandra K\"ubner, "Learning a Lexiclized Grammar for
     		{G}erman", pp. 11--18
     4. Ren\'e Schneider, "A Lexically-Intensive Algorithm for
     		Domain-Specific Knowledge Acquisition", pp. 19--28
     5. Andr\'e Kempe, "Look-Back and Look-Ahead in the Conversion
     		of Hidden {M}arkov Models into Finite State
		Transducers", pp. 29--38
     6. Mark Johnson, "The Effect of Alternative Tree Representations
     		on Tree Bank Grammars", pp. 39--48
     7. Thorsten Brants and Wojciech Skut, "Automation of Treebank
     		Annotation", pp. 49--58
     8. Hamish Cunningham and Mark Stevenson and Yorick
     		Wilks, "Implementing a Sense Tagger in a General
		Architecture for Text Engineering", pp. 59--72
     9. Ingo Schellhammer and Joachim Dieterich and Michael Towsey
     		and Claudia Brugman, "Knowledge Extraction and
		Recurrent Neural Networks: An Analysis of an {E}lman
		Network Trained on a Natural Language Learning
		Task", pp. 73--78
    10. Jason L. Hutchens and Michael D. Alder, "Finding Structure
    		via Compression", pp. 79--82
    11. Christer Samuelson, "Linguistic Theory in Statistical
    		Language Learning", pp. 83--90
    12. Richard McConachy and Kevin B. Korb and Ingrid
    		Zuckerman, "A {B}ayesian Approach to Automating
		Argumentation", pp. 91--100
    13. Stephen J. Green, "Automatically Generating Hypertext in
    		Newspaper Articles by Computing Semantic
		Relatedness", pp. 101--110
    14. Emin Erkin Korkmaz and G\"okt|"urk \"U\c{c}oluk, "Choosing a
    		Distance Metric for Automatic Word
		Categorization", pp. 111--120
    15. Patrick Saint-Dizier, "Sense Variation and Lexical Semantics
`		Generative Operations", pp. 121--130
    16. Harold L. Somers, "An Attempt to Use Weighted Cusums to
    		Identify Sublanguages", pp. 131--140
    17. Patrick Juola, "Cross-Entropy and Linguistic Typology", pp. 141--150
    18. David M.W. Powers, "Applications and Explanations of {Z}ipf's
    		Law", pp. 151--160
    19. Peter Wallis and Edmund Yuen and Greg Chase, "Proper Name
    		Classification in an Information Extraction
		Toolset", pp. 161--162
    20. Robert Steele and David M.W. Powers, "Evolution and Evaluation
    		of Document Retrieval Queries", pp. 163--164
    21. Ilyas Cicekli and Turgay Korkmaz, "Generation of Simple {T}urkish
    		Sentences with Systemic-Functional Grammar", pp. 165--174
    22. Ian Thomas and Ingrid Zukerman and Bhavani Raskutti, "Extracting
    		Phoneme Pronunciation Information from Corpora", pp. 175--184
    23. Antal van den Bosch and Walter Daelemans, "Modularity in
    		Inductively-Learned Word Pronunciation Systems", pp. 185--194
    24. Antal van den Bosch and Walter Daelemans, "Do Not Forget:
    		Full Memory in Memory-Based Learning of Word
		Pronunciation", pp. 195--204
    25. V. Kamphuis and J.J. Sarbo, "Natural Language Concept
    		Analysis", pp. 205--214
    26. Jim Entwisle and David M.W. Powers, "The Present Use of
    		Statistics in the Evaluation
                of {NLP} Parsers", pp. 215--224
    27. Hiroki Imai and Hosumi Tanaka, "A Method of Incorporating
    		Bigram Constraints into an {LR} Table and Its
		Effectiveness in Natural Language Processing", pp. 225--234
    28. James M. Hogan and Joachim Diederich and Gerald D.
    		Finn, "Selective Attention and the Acquisition of
		Spatial Semantics", pp. 235--244
    29. Hideki Kozima and Akira Ito, "Towards Language Acquisition by an
    		Attention-Sharing Robot", pp. 245--246
    30. Michael Carl, "A Constructivist Approach to Machine
    		Translation", pp. 247--256
    31. Michael Carl and Antje Schmidt-Wigger, "Shallow Post Morphological
    		Processing with {KURD}", pp. 257--266
    32. Erika F. de Lima, "Induction of a Stem Lexicon for Two-Level
    		Morphological Analysis", pp. 267--268
    33. Jason L. Hutchens and Michael D. Alder, "Introducing
    		{M}ega{H}al", pp. 271--274
    34. V\'erinique Bastin and Denis Cordier, "The Total {T}uring Test
    		and the {L}oebner Prize", pp. 279--280
    35. David M.W. Powers, "The Total {T}uring Test and the
    		{L}oebner Prize", pp. 279--280
    36. Zenshiro Kawasaki and Keiji Takida and Masato Tajima, "Language
    		Model and Sentence Structure Manipulations for
		Natural Language Applications Systems", pp. 281--286
    37. Bradley B. Custer, "Position Paper on Appropriate
    		Audio/Visual {T}uring Test", pp. 287--
    38. Tony C. Smith, "Learning Feature-Value Grammars from Plain
    		Text", pp. 291--294
    39. Herv\'e D\'ejean, "Morphemes as Necessary Concept for Structures
    		Discovery from Untagged Corpora", pp. 295--298
    40. Christopher D. Manning, "The Segmentation Problem in Morphology
    		Learning", pp. 299--306
    41. David M.W. Powers, "Reconciliation of Unsupervised Clustering,
    		Segmentation, and Cohesion", pp. 307--310
    42. Isabelle, Tellier, "Syntactico-Semantic Learning of Categorical
    		Grammars", pp. 311--314    },
  topic = {nl-processing;machine-learning;grammar-learning;}
 }

@incollection{ powers_dmw:1998b,
  author = {David M.W. Powers},
  title = {Learning and Application of Differential Grammars},
  booktitle = {{CoNLL97}: Computational Natural Language Learning},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {T. Mark Ellison},
  pages = {88--96},
  address = {Somerset, New Jersey},
  topic = {machine-language-learning;grammar-learning;}
  }

@incollection{ powers_dmw:1998c,
  author = {David M.W. Powers},
  title = {Applications and Explanations of {Z}ipf's Law},
  booktitle = {Proceedings of the Joint Conference on New Methods in
  	Language Processing and Computational Language Learning},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Jill C. Burstein and Claudia Leacock},
  pages = {151--160},
  address = {Somerset, New Jersey},
  topic = {Zipf's-law;smoothing;statistical-nlp;}
  }

@incollection{ powers_dmw:1998d,
  author = {David M.W. Powers},
  title = {The Total {T}uring Test and the {L}oebner Prize},
  booktitle = {Proceedings of the Joint Conference on New Methods in
  	Language Processing and Computational Natural Language
	Learning: {NeMLaP3/CoNLL98}},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {David M.W. Powers},
  pages = {279--280},
  address = {Somerset, New Jersey},
  topic = {Turing-test;}
  }

@incollection{ powers_dmw:1998e,
  author = {David M.W. Powers},
  title = {Reconciliation of Unsupervised Clustering,
    		Segmentation, and Cohesion},
  booktitle = {Proceedings of the Joint Conference on New Methods in
  	Language Processing and Computational Natural Language
	Learning: {NeMLaP3/CoNLL98}},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {David M.W. Powers},
  pages = {307--310},
  address = {Somerset, New Jersey},
  topic = {speech-segmentation;machine-language-learning;}
  }

@book{ powers_dmw-turk:1989a,
  author = {David M.W. Powers and Christopher C.R. Turk},
  title = {Machine Learning of Natural Language},
  publisher = {Springer-Verlag},
  year = {1989},
  address = {Berlin},
  topic = {machine-learning;computational-linguistics;}
 }

@unpublished{ powers_l:1966a,
  author = {Larry Powers},
  title = {Existentialist Themes},
  year = {1966},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a Guess.},
  topic = {existentialism;}
  }

@article{ powers_l:1967a,
  author = {Lawrence Powers},
  title = {Some Deontic Logicians},
  journal = {No\^{u}s},
  year = {1967},
  volume = {1},
  number = {4},
  pages = {381--400},
  rtnote = {tmix-project;},
  topic = {deontic-logic;}
  }

@article{ powley-etal:1993a,
  author = {Curt Powley and Chris Ferguson and Richard E. Korf},
  title = {Depth-First Heuristic Search on a {SIMD} Machine},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {60},
  number = {2},
  pages = {199--242},
  acontentnote = {Abstract:
     We present a parallel implementation of Iterative-Deepening-A*,
     a depth-first heuristic search, on the single-instruction,
     multiple-data (SIMD) Connection Machine.  Heuristic search of an
     irregular tree represents a new application of SIMD machines.
     The main technical challenge is load balancing, and we explore
     three different techniques in combination.  We also use a simple
     method for dynamically determining when to stop searching and
     start load balancing.  We achieve an efficiency of 69%, for a
     speedup of 5685 on 8K processors, an efficiency of 64%, for a
     speedup of 10,435 on 16K processors, and an efficiency of 53%,
     for a speedup of 17,300 on 32K processors on the Fifteen Puzzle.
     On hard problem instances, we achieved efficiencies as high as
     80%, for a speedup of 26,215 on 32K processors.  Our analysis
     indicates that work only needs to increase as P log P to
     maintain constant efficiency, where P is the number of
     processors.  This high degree of scalability was confirmed
     empirically for the range of 16 to 32,768 (32K) processors.  },
  topic = {heuristics;search;parallel-processing;}
  }

@article{ prada-paiva:2009a,
  author = {Rui Prada and Ana Paiva},
  title = {Teaming up Humans with Autonomous Synthetic Characters},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {173},
  number = {1},
  pages = {80--103},
  topic = {simulated-characters;human-agent-interaction;cooperation;}
  }

@incollection{ prade-etal:1998a,
  author = {Didier Dubois and Serafin Moral and Henri Prade},
  title = {Belief Change Rules in Ordinal and Numerical
		Uncertainty Theories},
  booktitle = {Handbook of Defeasible Reasoning and Uncertainty
		Management Systems, Volume 3},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {Dov M. Gabbay and Philippe Smets},
  pages = {311--392},
  address = {Dordrecht},
  topic = {belief-revision;}
  }

@article{ pradhan_m:1996a,
  author = {Malcolm Pradhan and Max Henrion and Gregory Provan and
  	Brendon del Favero and Kurt Huang},
  title = {The Sensitivity of Belief Networks to Imprecise
  	Probabilities: An Experimental Investigation},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {85},
  number = {1--2},
  pages = {363--397},
  topic = {Bayesian-networks;imprecise-probabilities;}
  }

@inproceedings{ pradhan_s-etal:2005a,
  author = {Sameer Pradhan and Wayne Ward and Kadri Hacioglu and
  		James Martin and Daniel Jurafsky},
  title = {Semantic Role Labeling Using Different Syntactic Views},
  booktitle = {Proceedings of the 43rd Annual Meeting of the
  		Association for Computational Linguistics (ACL'05)},
  month = {June},
  year = {2005},
  address = {Ann Arbor, Michigan},
  publisher = {Association for Computational Linguistics},
  pages = {581--588},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1072},
  topic = {semantic-role-labeling;}
  }

@article{ prakken:1996a,
  author = {Henry Prakken},
  title = {Two Approaches to the Formalisation of Defeasible Deontic
  	Logic},
  journal = {Studia Logica},
  year = {1996},
  volume = {57},
  number = {1},
  pages = {73--90},
  topic = {deontic-logic;prima-facie-obligation;moral-conflict;}
  }

@book{ prakken:1997c,
  author = {Henry Prakken},
  title = {Logical Tools for Modeling Legal Argument: A Study of
  	Defeasible Reasoning in Law},
  publisher = {Kluwer Academic Publishers},
  year = {1997},
  address = {Dordrecht},
  xref = {Reviews: loui:1999a, royakkers:2000a, beuchcapon:2000a.},
  topic = {logic-and-law;nonmonotonic-reasoning;}
 }

@book{ prakken-mcnamara_p:1999a,
  editor = {Henry Prakken and Paul McNamara},
  title = {Norms, Logics and Information Systems.  New Studies in
		Deontic Logic and Computer Science},
  publisher = {IOS Press},
  year = {1999},
  address = {Amsterdam},
  ISBN = {90 5199 427 3},
  contentnote = {TC:
     1. P. McNamara and H. Prakken, "Introduction", pp. 1--14
     2. G. H. Von Wright, "Deontic Logic---As I See It", pp. 15--28
     3. D.C. Makinson, "On the Fundamental Problem of Deontic
			Logic", pp. 29--54
     4. J. Hage, "Moderately Naturalistic Deontic Logic", 55--72
     5. L.W.N. van der Torre and Y.-H.Tan, "An Update Semantics
			for Deontic Reasoning", pp. 73--92
     6. P. Bartha, "Moral Preference, Contrary-to-Duty Obligation
			and Defeasible Oughts", pp. 93--108
     7. M. Brown, "Agents with Changing and Conflicting Commitments:
			A Preliminary Study", pp. 109--128
     8. J. Hansen, "On Relations Between {A}qvist's Deontic System
 	{G} and {V}an {E}ck's Deontic Temporal Logic", pp. 129--146
     9. Claudio Pizzi, "Iterated Conditionals and Causal
	 		Imputation", pp. 147--162
    10. L. Lindahl and J. Odelstad, "Intermediate Concepts as
			Couplings of Conceptual Structures", pp. 163--180
    11. P. McNamara, "Andersonian-Kangerian logics for Doing Well
			Enough", pp. 181--200
    12. D. Nute, "Norms, Priorities, and Defeasibility", pp. 201--218
    13. V. Becher, E. Ferme', R. Rodriguez, S. Lazzer, C. Oller
       		and G. Palua, "Some Observations on {C}arlos
			{A}lchourron's Theory of Defeasible
			Conditionals", pp. 219--230
    14. J. Bell and Z. Huang, "Dynamic Obligation Hierarchies",
			pp. 231--246
    15. L. Cholvy and F. Cuppens, "Reasoning about Norms Provided
			by Conflicting Regulations", pp. 247--264
    16. C. Krogh and A. Jones, "Protocol Breaches and Violation
			Flaws", pp. 265--274
    17. B. Sadighi Firozabadi, Y.-H. Tan and R.M. Lee, "Formal
			Definitions of Fraud", pp. 275--288
    18. M. Sergot, "Normative Positions", pp. 289--310
    19. D. M. Gabbay and G. Governatori, "Dealing with Label
		Dependent Deontic Modalities", pp. 311--330
    20. L. Goble, "Deontic Logic with Relevance", pp. 331--346
    21. J. Krabbendam and J.-J. Meyer, "Contextual Deontic
        Logic", pp. 347--
		},
  ISBN = {90 5199 427 3},
  topic = {deontic-logic;practical-reasoning;}
 }

@article{ prakken-sartor:1996a,
  author = {Henry Prakken and Giovanni Sartor},
  title = {A Dialectical Model of Assessing Conflicting
             Arguments in Legal Reasoning},
  journal = {Artificial Intelligence and Law},
  year = {1996},
  pages = {331--368},
  volume = {4},
  topic = {legal-AI;dialogue-logic;}
    }

@inproceedings{ prakken-sartor:1997a,
  author = {Henry Prakken and Giovanni Sartor},
  title = {Reasoning with Precedents in a Dialogue Game},
  booktitle = {Proceedings of the Sixth International
    	         Conference on Artificial Intelligence and Law
		 (ICAIL-97)},
  publisher = {ACM Press},
  year = {1997},
  topic = {legal-AI;dialogue-logic;}
    }

@article{ prakken-sartor:1997b,
  author = {Henry Prakken and Giovanni Sartor},
  title = {Argument-Based Extended Logic Programming with
		     Defeasible Priorities},
  journal = {Journal of Applied Non-classical Logics},
  year = {1997},
  pages = {25--75},
  volume = {7},
  topic = {nonmonotonic-reasoning;logic-programming;}
    }

@article{ prakken-sergot:1996a,
  author = {Henry Prakken and Marek J. Sergot},
  title = {Contrary-to-Duty Obligations},
  journal = {Studia Logica},
  year = {1996},
  volume = {57},
  number = {1},
  pages = {91--115},
  topic = {deontic-logic;prima-facie-obligation;nonmonotonic-reasoning;}
  }

@incollection{ prakken-sergot:1997a,
  author = {Henry Prakken and Marek J. Sergot},
  title = {Dyadic Deontic Logic and Contrary-to-Duty Obligation},
  booktitle = {Defeasible Deontic Logic},
  editor = {Donald Nute},
  pages = {223--262},
  publisher = {Kluwer Academic Publishers},
  address = {Dordrecht},
  year = {1997},
  topic = {deontic-logic;conditional-obligation;prima-facie-obligation;}
    }

@incollection{ prasad-walker_m:2002a,
  author = {Rashmi Prasad and Marilyn Walker},
  title = {Training a Dialogue Act Tagger for Human-Human and
  	Human-Computer Travel Dialogues},
  booktitle = {Third {SIGdial} Workshop on Discourse and Dialogue:
  		Proceedings of the Workshop},
  publisher = {Association for Computational Linguistics},
  year = {2002},
  editor = {Kristina Jokinen and Susan McRoy},
  pages = {162--173},
  address = {New Brunswick, New Jersey},
  topic = {computational-dialogue;speech-acts;discourse-tagging;
  		machine-learning;}
  }

@techreport{ pratt_d:1991a,
  author = {Dexter Pratt},
  title = {{FI} Manual},
  institution = {Microelectronics and Computer Technology
  	Corporation},
  number = {ACT--CYC--021--91--Q},
  year = {1991},
  address = {Austin, Texas},
  rtnote = {In RHT collection.  Filed under Clclists, Reprint
  	files.},
  topic = {CYC;}
  }

@article{ pratt_i:1987a,
  author = {Ian Pratt},
  title = {Constraints, Meaning and Information},
  journal = {Linguistics and Philosophy},
  year = {1987},
  volume = {10},
  number = {3},
  pages = {299--324},
  topic = {situation-theory;convention;foundations-of-semantics;}
  }

@incollection{ pratt_i:1996a,
  author = {Ian Pratt},
  title = {Encoding Psychological Knowledge},
  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 = {249--264},
  address = {Oxford},
  topic = {folk-psychology;propositional-attitudes;}
  }

@article{ pratt_i-francez:2001a,
  author = {Ian Pratt and Nissim Francez},
  title = {Temporal Prepositions and Temporal Generalized Quantifiers},
  journal = {Linguistics and Philosophy},
  year = {2001},
  volume = {24},
  number = {2},
  pages = {187--222},
  topic = {temporal-prepositions;nl-tense-aspect;}
  }

@article{ pratt_i-schoop:1998a,
  author = {Ian Pratt and Dominik Schoop},
  title = {A Complete Axiom System for Polygonal Mereotopology of
  	the Real Plane},
  journal = {Journal of Philosophical Logic},
  year = {1998},
  volume = {27},
  number = {6},
  pages = {621--661},
  topic = {mereology;spatial-reasoning;}
  }

@book{ pratt_ml:1977a,
  author = {Mary Louise Pratt},
  title = {Toward a Speech Act Theory of Literary Discourse},
  publisher = {Indiana University Press},
  year = {1977},
  address = {Bloomington},
  rtnote = {HILLMAN P302 .P74},
  topic = {discourse-analysis;pragmatics;}
}

@book{ pratt_tw:1984a,
  author = {Terrence W. Pratt},
  edition = {2},
  title = {Programming Languages: Design and Implementation},
  publisher = {Prentice-Hall},
  year = {1984},
  address = {Englewood Cliffs, New Jersey},
  ISBN = {013730580X},
  rtnote = {UMich MEDIA UNION LIBRARY, QA76.7 .P92 1984.},
  rtnote = {In RHT Collection.  CS General shelves.},
  topic = {programming-languages;semantics-of-programming-languages;}
 }

@book{ pratt_tw-zelkowitz:2001a,
  author = {Terrence W. Pratt and Marvin V. Zelkowitz},
  edition = {4},
  title = {Programming Languages: Design and Implementation},
  publisher = {Prentice Hall},
  year = {2001},
  address = {Upper Saddle River, New Jersey},
  ISBN = {0130276782},
  rtnote = {UMich Media Union Library, QA 76.7 P92 2001.},
  topic = {programming-languages;semantics-of-programming-languages;}
 }

@inproceedings{ pratt_vr:1979a,
  author = {Vaughn R. Pratt},
  title = {Models of Program Logics},
  booktitle = {Proceedings of the Twentieth {IEEE} Symposium on Foundations
  	of Computer Science},
  year = {1979},
  pages = {115--122},
  organization = {{IEEE}},
  missinginfo = {editor, publisher, address},
  topic = {theory-of-programming-languages;}
  }

@inproceedings{ pratt_vr:1982a,
  author = {Vaughn R. Pratt},
  title = {On the Composition of Processes},
  booktitle = {Proceedings of the Ninth {ACM} Symposium on Principles
  	of Programming Languages},
  year = {1982},
  pages = {213--223},
  organization = {{ACM}},
  missinginfo = {editor, publisher, address},
  rtnote = {Check for topic.},
  topic = {parallel-processing;}
  }

@article{ pratt_vr:1985a,
  author = {Vaughn R. Pratt},
  title = {Modelling Concurrency With Partial Orders},
  journal = {International Journal of Parallel Programming},
  year = {1985},
  volume = {15},
  number = {1},
  pages = {33--71},
  topic = {parallel-processing;}
  }

@unpublished{ pratt_vr:1994a,
  author = {Vaughan R. Pratt},
  title = {{CYC} Report},
  year = {1994},
  note = {Unpublished manuscript, Stanford University.
  	http://boole.stanford.edu/cyc.html},
  rtnote = {In RHT collection.},
  topic = {CYC;common-sense-reasoning;}
  }

@unpublished{ pratt_vr:1994b,
  author = {Vaughan R. Pratt},
  title = {Problems from the {CYC} Review},
  year = {1994},
  note = {Unpublished manuscript, Stanford University.
  	http://boole.stanford.edu/cycprobs.html},
  rtnote = {In RHT collection.},
  topic = {CYC;common-sense-reasoning;}
  }

@article{ pratthartmann:2003a,
  author = {Ian Pratt-Hartmann},
  title = {A Two-Variable Fragment of {E}nglish},
  journal = {Journal of Logic, Language, and Information},
  year = {2003},
  volume = {12},
  number = {1},
  pages = {13--45},
  topic = {nl-semantics;subtheories-of-FOL;}
  }

@article{ pratthartmann:2004a,
  author = {Ian Pratt-Hartmann},
  title = {Fragments of Language},
  journal = {Journal of Logic, Language, and Information},
  year = {2004},
  volume = {13},
  number = {2},
  pages = {207--223},
  topic = {computational-semantics;complexity-in-AI;}
  }

@article{ pratthartmann:2004b,
  author = {Ian Pratt-Hartmann},
  title = {Review of \emph{{R}easoning about Uncertainty}, by
  		{J}oseph {Y}. {H}alpern},
  journal = {Bulletin of Symbolic Logic},
  year = {2004},
  volume = {10},
  number = {3},
  pages = {427--429},
  xref = {Review of: halpern:2003a.},
  topic = {reasoning-about-uncertainty;}
  }

@article{ pratthartmann:2005a,
  author = {Ian Pratt-Hartmann},
  title = {Complexity of the Two-Variable Fragment with Counting
  	Quantifiers},
  journal = {Journal of Logic, Language, and Information},
  year = {2005},
  volume = {14},
  number = {3},
  pages = {369--395},
  topic = {guarded-fragments;decidability;subtheories-of-FOL;}
  }

@article{ pratthartmann-schoop:2002a,
  author = {Ian Pratt-Hartmann and Dominik Schoop},
  title = {Elementary Polyhedral Mereotopology},
  journal = {Journal of Philosophical Logic},
  year = {2002},
  volume = {31},
  number = {5},
  pages = {469--498},
  topic = {mereology;spatial-logic;}
  }

@book{ prawitz:1965a,
  author = {Dag Prawitz},
  title = {Natural Deduction:  A Proof Theoretical Study},
  publisher = {Almqvist and Wiksell},
  year = {1965},
  address = {Stockholm},
  topic = {proof-theory;}
 }

@article{ prawitz:1968a,
  author = {Dag Prawitz},
  title = {A Discussion Note on Utilitarianism},
  journal = {Theoria},
  volume = {34},
  year = {1968},
  pages = {76--84},
  topic = {utilitarianism;}
    }

@article{ prawitz:1970a,
  author = {Dag Prawitz},
  title = {The Alternatives to an Action},
  journal = {Theoria},
  volume = {36},
  year = {1970},
  pages = {116--126},
  topic = {practical-reasoning;action;foundations-of-decision-theory;
  		alternatives-for-action;}
    }

@incollection{ prawitz:1971a,
  author = {Dag Prawitz},
  title = {Ideas and Results in Proof Theory},
  booktitle = {Proceedings of the Second Scandinavian Logic Symposium},
  editor = {Jens Erik Fensted},
  year = {1971},
  pages = {235--307},
  publisher = {North Holland},
  address = {Amsterdam},
  topic = {proof-theory;}
    }

@incollection{ prawitz:1973a,
  author = {Dag Prawitz},
  title = {The Philosophical Position of Proof Theory},
  booktitle = {Contemporary Logic in {S}candinavia},
  publisher = {The Johns Hopkins Press},
  address = {Baltimore},
  year = {1972},
  topic = {proof-theory;}
    }

@article{ predelli:2000a,
  author = {Stefano Predelli},
  title = {Who's Afraid of Substitutivity?},
  journal = {No\^us},
  year = {2000},
  volume = {34},
  number = {3},
  pages = {455--467},
  topic = {intensionality;propositional-attitudes;referential-opacity;}
  }

@article{ predelli:2003a,
  author = {Stefano Predelli},
  title = {Scare Quotes and their Relation to Other Semantic Issues},
  journal = {Linguistics and Philosophy},
  year = {2003},
  volume = {26},
  number = {1},
  pages = {1--28},
  topic = {punctuation;nl-semantics;nl-pragmatics;}
  }

@article{ predelli:2005a,
  author = {Stefano Predelli},
  title = {Painted Leaves, Context, and Semantic Analysis},
  journal = {Linguistics and Philosophy},
  year = {2005},
  volume = {28},
  number = {2},
  pages = {351--374},
  topic = {context;foundations-of-semantics;}
  }

@book{ predelli:2005b,
  author = {Stefano Predelli},
  title = {Contexts:  Meaning, Truth, and the Use of Language},
  publisher = {Oxford University Press},
  year = {2005},
  address = {Oxford},
  ISBN = {0-19-928173-4},
  topic = {philosophy-of-language;foundations-of-semantics;}
 }

@article{ predelli:2006a,
  author = {Stefano Predelli},
  title = {Review of \emph{{C}ontextualism in Philosophy: Knowledge,
  		Meaning, and Truth}, edited by {G}erhard {P}reyer and
		{G}eorg {P}eter},
  journal = {Linguistics and Philosophy},
  year = {2006},
  volume = {29},
  number = {5},
  pages = {617--629},
  xref = {Review of: preyer-peter_g2:2005a.},
  topic = {context;epistemology;philosophy-of-language;nl-semantics;}
  }

@article{ predelli:2008a,
  author = {Stefano Predelli},
  title = {Modal Monsters and Talk about Fiction},
  journal = {Journal of Philosophical Logic},
  year = {2008},
  volume = {37},
  number = {3},
  pages = {277--297},
  topic = {modal-logic;context;fiction;}
  }

@article{ predelli:2008b,
  author = {Stefano Predelli},
  title = {The Demonstrative Theory of Quotation},
  journal = {Linguistics and Philosophy},
  year = {2008},
  volume = {31},
  number = {5},
  pages = {555--572},
  topic = {direct-discourse;}
  }

@book{ preece:1989a,
  editor = {Jenny Preece},
  title = {Human-Computer Interaction: Selected Readings: A Reader},
  publisher = {Prentice Hall},
  year = {1989},
  address = {Englewood Cliffs, New Jersey},
  ISBN = {013444910X},
  rtnote = {UMich Media Union Library, QA 76.9 .H85 H8651 1990.},
  topic = {HCI;}
 }

@book{ preece:1994a,
  author = {Jenny Preece},
  title = {Human-Computer Interaction},
  publisher = {Addison-Wesley Publishing Co.},
  year = {1994},
  address = {Reading, Massachusetts},
  rtnote = {UMich},
  rtnote = {UMich Media Union Library, QA 76.9 .H85 P741 1994},
 }

@book{ preece-etal:1994a,
  author = {Jenny Preece and Yvonne Rogers and Hewlen Sharp
  	and David Benyon and Simon Holland and Tom Carey},
  title = {Human-Computer Interaction},
  publisher = {Addison-Wesley},
  year = {1994},
  address = {Reading, Massachusetts},
  rtnote = {UMich Media Union Library, QA 76.9 .H85 P741 1994.},
  topic = {HCI;HCI-text;}
 }

@article{ preller:2007a,
  author = {Anne Preller},
  title = {Linear Processing with Pregroups},
  journal = {Studia Logica},
  year = {2007},
  volume = {87},
  number = {2--3},
  pages = {171--197},
  topic = {pregroups;}
  }

@article{ preller:2007b,
  author = {Anne Preller},
  title = {Toward Discourse Representation via Pregroup Grammars},
  journal = {Journal of Logic, Language, and Information},
  year = {2007},
  volume = {16},
  number = {2},
  pages = {173--194},
  topic = {pregroups;DRT;grammar-formalisms;}
  }

@article{ prendinger-schurz:1996a,
  author = {Helmut Prendinger and Gerhard Schurz},
  title = {Reasoning about Action and Change: A Dynamic Logic
  	Approach},
  journal = {Journal of Logic, Language, and Information},
  year = {1996},
  volume = {5},
  number = {2},
  pages = {209--245},
  topic = {action-formalisms;dynamic-logic;frame-problem;
  	Yale-shooting-problem;multiagent-planning;}
  }

@book{ preparata-shamos:1985a,
  author = {Franco P. Preparata and Michael I. Shamos},
  title = {Computational Geometry:  An Introduction},
  publisher = {Springer-Verlag},
  year = {1985},
  address = {Berlin},
  ISBN = {0387961313},
  rtnote = {UMich Science Call No: QA447 .P7351 1985},
  topic = {computational-geometry;}
 }

@article{ preston_b:1998a,
  author = {Beth Preston},
  title = {Why is a Wing Like a Spoon?  A Pluralist Theory
  	of Function},
  journal = {The Journal of Philosophy},
  year = {1998},
  volume = {95},
  number = {5},
  pages = {215--254},
  contentnote = {Contains references to "artifact theory".},
  topic = {functionality;artifacts;}
  }

@book{ preston_j-bishop_m:2002a,
  editor = {John Preston and Mark Bishop},
  title = {Views into the {C}hinese Room:  New Essays on {S}earle and
  		Artificial Intelligence},
  publisher = {Oxford University Press},
  year = {2002},
  address = {Oxford},
  xref = {Review: waskan:2005a},
  topic = {philosophy-AI;}
 }

@article{ prete:2008a,
  author = {Fabio Del Prete},
  title = {A Non-Uniform Semantic Analysis of the {I}talian Temporal
  		Connectives \emph{Prina} and \emph{Dopo}},
  journal = {Natural Language Semantics},
  year = {2008},
  volume = {16},
  number = {2},
  pages = {157--203},
  topic = {temporal-adverbials;Italian-language;}
  }

@inproceedings{ prevost:1996a,
  author = {Scott Prevost},
  title = {An Information Structural Approach to Spoken Language
  	Generation},
  booktitle = {Proceedings of the Thirty-Fourth Annual Meeting of the
  	Association for Computational Linguistics},
  year = {1996},
  editor = {Arivind Joshi and Martha Palmer},
  pages = {294--301},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco},
  topic = {nl-generation;intonation;information-structure;}
 }

@inproceedings{ prevost-steedman:1993a,
  author = {Scott Prevost and Mark Steedman},
  title = {Generating Contextually Appropriate Intonation},
  year = {1993},
  booktitle = {Proceedings of the Sixth Conference of the
  		European Chapter of {ACL}},
  pages = {332--340},
  address = {Utrecht},
  topic = {intonation;context;nl-generation;speech-generation;}
  }

@article{ prevost-steedman:1994a,
  author = {Scott Prevost and Mark Steedman},
  title = {Specifying Intonation from Context for Speech Synthesis},
  journal = {Speech Communication},
  year = {1994},
  volume = {15},
  pages = {139--153},
  rtnote = {In RHT collection.},
  topic = {intonation;context;nl-generation;speech-generation;}
  }

@book{ preyer-peter:2005a,
  editor = {Gerhard Preyer and Georg Peter},
  title = {Contextualism in Philosophy},
  publisher = {Oxford University Press},
  year = {2005},
  address = {Oxford},
  ISBN = {0199267405 (hbk.), 0199267413 (pbk.)},
  rtnote = {Hatcher Graduate B 809.14 .C66 2005},
  contentnote = {TC,
     1. Gerhard Preyer and Georg Peter, "The Limits of
     		Contextualism", pp. 1--10
     2. Peter Ludlow, "Contextualism and the New Linguistic Turn in
     		Epistemology", pp. 11--50
     3.Kent Bach, "The Emperor's New 'Knows'", pp. 51--90
     4. Timothy Williamson, "Knowledge, Context, and the Agent's
     		Point of View", pp. 91--114
     5. Jonathan Schaffer, "What Shifts? Thresholds, Standards, or
     		Alternatives?", pp. 115--130
     6. Andy Egan and John Hawthorne and Brian Weatherson, "Epistemic
     		Modals in Context", pp. 131--169
     7. Fran\c{c}ois R\'ecanati, "Literalism and Contextualism:  Some
     		Varieties", pp. 171--196
     8. Herman Cappelen and Ernie Lepore: A Tall Tale, "In Defence of
     		Semantic Minimalism and Speech Act Pluralism", pp. 197--220
     9. Jason Stanley, "Semantics in Context ", pp. 221--254
     10. Paul M. Pietroski, "Meaning before Truth", pp. 255--302
     11. Peter Pagin, "Compositionality and Context", pp. 303--348
     12. Michael Glanzberg, "Presuppositions, Truth Values, and
     		Expressing Propositions", pp. 349--398
  },
  topic = {context;epistemology;metaphysics;philosophy-of-language;}
 }

@book{ preyer-peter_g2:2002a,
  editor = {Gerhard Preyer and Georg Peter},
  title = {Logical Form and Language},
  publisher = {Oxford University Press},
  year = {2002},
  address = {Oxford},
  ISBN = {019924460X (hardcover), 019924555X (Pbk.) },
  rtnote = {UMich Graduate Library, P 39 .L59651 2002.},
  topic = {logical-form;}
 }

@incollection{ preyer-peter_g2:2005a,
  author = {Gerhard Preyer and Georg Peter},
  title = {Introduction: The Limits of Contextualism},
  booktitle = {Contextualism in Philosophy: Knowledge, Meaning, and Truth},
  publisher = {Oxford University Press},
  year = {2005},
  editor = {Gerhard Preyer and Georg Peter},
  pages = {1--7},
  address = {Oxford},
  topic = {context;philosophy-of-language;nl-semantics;}
  }

@book{ preyer-siebelt:2001a,
  editor = {Gerhard Preyer and Frank Siebelt},
  title = {Reality and {H}umean Supervenience:  Essays on the
  	Philosophy of {D}avid {L}ewis},
  publisher = {Rowman and Littlefield},
  year = {2001},
  address = {Lanham, Maryland},
  ISBN = {0742512010 (pbk)},
  xref = {Review: nolan_d:2003a.},
  rtnote = {UMich GRADUATE LIBRARY, B 945 L675 R43 2001.},
  topic = {David-Lewis;metaphysics;}
 }

@book{ price_aw:2008a,
  author = {Anthony W. Price},
  title = {Contextuality in Practical Reason},
  publisher = {Oxford University Press},
  year = {2008},
  address = {Oxford},
  ISBN = {978-0-19-953479},
  rtnote = {Tanner BJ 1031 P67 2008},
  topic = {practical-reasoning;}
 }

@article{ price_c-struss:2003a,
  author = {Chris Price and Peter Struss},
  title = {Model-Based Systems in the Automotive Industry},
  journal = {The {AI} Magazine},
  year = {2003},
  volume = {24},
  number = {4},
  pages = {17--34},
  topic = {qualitative-reasoning;}
  }

@book{ price_h:1996a,
  author = {Huw Price},
  title = {Time's Arrow and {A}rchimedes' Point: New Directions
  	for the Physics of Time},
  publisher = {Oxford University Press},
  year = {1996},
  address = {Oxford},
  xref = {Review: belot:1998a.},
  topic = {philosophy-of-time;temporal-direction;}
 }

@incollection{ price_h:1998a,
  author = {Huw Price},
  title = {Three Norms of Assertibility or How the {MOA} Became Extinct},
  booktitle = {Philosophical Perspectives 12: Language, Mind,
  	and Ontology},
  publisher = {Blackwell Publishers},
  year = {1998},
  editor = {James E. Tomberlin},
  pages = {241--254},
  address = {Oxford},
  topic = {truth;deflationary-analyses;}
  }

@article{ price_h:2003a,
  author = {Huw Price},
  title = {Truth as a Convenient Friction},
  journal = {The Journal of Philosophy},
  year = {2003},
  volume = {100},
  number = {4},
  pages = {167--190},
  topic = {truth;philosophy-of-language;}
  }

@article{ price_p-etal:1991a,
  author = {Patti J. Price and Marie Ostendorf and P. Stattunk-Hufnagel
  	and C. Feng},
  title = {The Use of Prosody in Syntactic Disambiguation},
  journal = {Journal of the Acoustic Society of America},
  year = {1991},
  volume = {90},
  number = {6},
  missinginfo = {A's first names, pages},
  topic = {prosody;nl-interpretation;disambiguation;}
  }

@incollection{ price_pj:1996a,
  author = {Patti J. Price},
  title = {Combining Linguistic with Statistical
		Methods in Automatic Speech Understanding},
  booktitle = {The Balancing Act:  Combining Symbolic and Statistical
  	Approaches to Language},
  publisher = {The {MIT} Press},
  year = {1996},
  editor = {Judith Klavans and Philip Resnik},
  pages = {119--133},
  address = {Cambridge, Massachusetts},
  topic = {speech-recognition;statistical-nlp;}
  }

@incollection{ prie-etal:1999a,
  author = {Yannick Prei\'e and Alain Mille and Jean-Marie Pinon},
  title = {A Context-Based Audiovisual Represention Model
			for Audiovisual Information Systems},
  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 = {296--309},
  address = {Berlin},
  topic = {context;classification-of-visual-information;}
  }

@article{ prieditis-davis_r:1995a,
  author = {Armand Prieditis and Robert Davis},
  title = {Quantitatively Relating Abstractness to the Accuracy of
  	Admissible Heuristics},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {74},
  number = {1},
  pages = {165--175},
  acontentnote = {Abstract:
     Admissible (lower-bound) heuristics are worth discovering
     because they have desirable properties in various search
     algorithms.  One well-known source of admissible heuristics is
     from abstractions of a problem.  Using standard definitions of
     heuristic accuracy and abstractness, we prove that heuristic
     accuracy decreases inversely with abstractness.  This is the
     first quantitative result linking abstractness to the heuristic
     accuracy.  Using this result, it may be possible to predict the
     accuracy of an abstraction-derived heuristic without testing it
     on a sample set of problems.  It may also be possible for a
     heuristic discovery system to use the theory to predict the
     accuracy of a heuristic, thereby better focusing its search.
  },
  topic = {search;heuristics;abstraction;}
  }

@article{ priest:1979a,
  author = {Graham Priest},
  title = {The Logic of Paradox},
  journal = {Journal of Philosophical Logic},
  year = {1979},
  volume = {8},
  number = {2},
  pages = {219--241},
  topic = {semantic-paradoxes;paraconsistency;}
  }

@article{ priest:1980a,
  author = {Graham Priest},
  title = {Sense, Entailment and {\it Modus Ponens}},
  journal = {Journal of Philosophical Logic},
  year = {1980},
  volume = {9},
  number = {4},
  pages = {415--435},
  topic = {relevance-logic;}
  }

@article{ priest:1984a,
  author = {Graham Priest},
  title = {Logic of Paradox Revisited},
  journal = {Journal of Philosophical Logic},
  year = {1984},
  volume = {13},
  number = {2},
  pages = {153--179},
  topic = {paraconsistency;semantic-paradoxes;}
  }

@incollection{ priest:1987a,
  author = {Graham Priest},
  title = {Unstable Solutions to the Liar Paradox},
  booktitle = {Self Reference: Reflections and Reflexivity},
  publisher = {Martinus Nijhoff},
  year = {1987},
  editor = {Peter Suber and Steven J. Bartlett},
  pages = {145--175},
  address = {The Hague},
  rtnote = {In RHT collection.},
  topic = {semantic-paradoxes;}
  }

@article{ priest:1990a,
  author = {Graham Priest},
  title = {Boolean Negation and All That},
  journal = {Journal of Philosophical Logic},
  year = {1990},
  volume = {19},
  number = {2},
  pages = {201--215},
  topic = {negation;inconsistency;}
  }

@article{ priest:1994a,
  author = {Graham Priest},
  title = {The Structure of the Paradoxes of Self-Reference},
  journal = {Mind, New Series},
  year = {1994},
  volume = {103},
  number = {409},
  pages = {25--34},
  contentnote = {Proposes a common structure for all self-referential
  	paradoxes.},
  rtnote = {In RHT collection.  \my10},
  topic = {self-reference;paradoxes;}
  }

@incollection{ priest:1996a,
  author = {Graham Priest},
  title = {Some Priorities of {B}erkeley},
  booktitle = {Logic and Reality: Essays on the Legacy of {A}rthur
  	{P}rior},
  publisher = {Oxford University Press},
  year = {1996},
  editor = {Jack Copeland},
  pages = {479--487},
  address = {Oxford},
  topic = {idealism;}
  }

@article{ priest:1997a,
  author = {Graham Priest},
  title = {On a Paradox of {H}ilbert and {B}ernays},
  journal = {Journal of Philosophical Logic},
  year = {1977},
  volume = {26},
  number = {1},
  pages = {45--56},
  contentnote = {At a quick glance, this seems to be an analog of the Liar
  	having to do with denotation.},
  topic = {semantic-paradoxes;self-reference;}
  }

@article{ priest:1997b,
  author = {Graham Priest},
  title = {Inconsistent Models of Arithmetic.  Part {I}: Finite Models},
  journal = {Journal of Philosophical Logic},
  year = {1997},
  volume = {26},
  number = {2},
  pages = {223--235},
  topic = {paraconsistent-mathematics;}
  }

@article{ priest:1998a,
  author = {Graham Priest},
  title = {What Is So Bad about Contradiction?},
  journal = {The Journal of Philosophy},
  year = {1998},
  volume = {95},
  number = {8},
  pages = {410--426},
  topic = {paraconsistency;}
  }

@article{ priest:1999a,
  author = {Graham Priest},
  title = {Semantic Closure, Descriptions, and Non-Triviality},
  journal = {Journal of Philosophical Logic},
  year = {1999},
  volume = {28},
  number = {6},
  pages = {549--558},
  topic = {paraconsistency;semantic-closure;semantic-paradoxes;}
  }

@article{ priest:2000a,
  author = {Graham Priest},
  title = {Inconsistent Models of Arithmetic},
  journal = {Journal of Symbolic Logic},
  year = {2000},
  volume = {65},
  number = {4},
  pages = {1519--1529},
  topic = {relevance-logic;formalizations-of-arithmetic;
  	paraconsistent-mathematics;}
  }

@book{ priest:2001a,
  author = {Graham Priest},
  title = {Non-Classical Logics},
  publisher = {Cambridge University Press},
  year = {2001},
  address = {Cambridge, England},
  ISBN = {0 521 79434 X (pbk)},
  rtnote = {In RHT Collection.  Logic shelves.},
  topic = {conditionals;modal-logic;intuitionistic-logic;
  	relevance-logic;fuzzy-logic;multivalued-logic;}
 }

@article{ priest:2002a,
  author = {Graham Priest},
  title = {Review of \emph{{P}apers in Philosophical Logic},
      {\it Papers in Philosophical Metaphysics and Epistemology}, and
      {\it Papers in Ethics and Social Theory}, by {D}avid {L}ewis},
  journal = {No\^us},
  year = {2002},
  volume = {36},
  number = {2},
  pages = {351--358},
  xref = {Review of: lewis_dk:1998a, lewis_dk:1999a, lewis_dk:2000b.},
  topic = {metaphysics;epistemplogy;philosophical-logic;}
  }

@article{ priest:2003a,
  author = {Graham Priest},
  title = {Review of \emph{{K}nowledge and Its Limits}, by
  	{T}imothy {W}illiamson},
  journal = {The Journal of Philosophy},
  year = {2003},
  volume = {100},
  number = {5},
  pages = {268--271},
  xref = {Review of: williamson_t:2003a},
  topic = {knowledge;epistemology;skepticism;}
  }

@article{ priest:2005a,
  author = {Graham Priest},
  title = {Review of \emph{{T}r

repository: sergiud/bibtex-spirit

repo_name: sergiud/bibtex-spirit