text:
volume = {31},
  pages = {68--87},
  missinginfo = {number},
  topic = {social-choice-theory;Arrow's-theorem;}
  }

@article{ chickering-meek:2006a,
  author = {David Maxwell Chickering and Christopher Meek},
  title = {On the Incompatibility of Faithfulness and Monotone
  		{DAG} Faithfulness},
  journal = {Artificial Intelligence},
  year = {2006},
  volume = {170},
  number = {8--9},
  pages = {653--666},
  xref = {Pretty much demolishes the result in cheng_j-etal:2002a.},
  topic = {Bayesian-networks;machine-learning;}
  }

@article{ chien_a:2008a,
  author = {Arnold Chien},
  title = {Scalar Implicature and Contrastive Explanation},
  journal = {Synth\'ese},
  year = {2008},
  volume = {161},
  number = {1},
  pages = {47--66},
  contentnote = {Abstract:
     I argue for a subsumption of any version of Grice's first
     quantity maxim posited to underlie scalar implicature, by
     developing the idea of implicature recovery as a kind of
     explanatory inference, as e.g. in science.  I take the
     applicable model to be contrastive explanation, while following
     van Fraassens analysis of explanation as an answer to a
     why-question.  A scalar implicature is embedded in such an
     answer, one that meets two probabilistic constraints: the
     probability of the answer, and favoring. I argue that besides
     having application at large, outside of linguistic
     interpretation, these constraints largely account not only for
     implicatures based on strength order, logical and otherwise, but
     also for unordered cases.  I thus suggest that Grice's maxim and
     its descendants are expressions of general explanatory
     constraints, as they happen to be manifested in this particular
     explanatory task.  I conclude by briefly discussing how I
     accordingly view Grice's system outside of scalar implicature.
   },
  topic = {implicature;explanation;}
  }

@incollection{ chien_m-etal:1998a,
  author = {Michel Chien and Marie-Laure Mugnier and Genevi\`eve Simonet},
  title = {Nested Graphs: A Graph-Based Knowledge Representation
		Model with {FOL} Semantics},
  booktitle = {{KR}'98: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1998},
  editor = {Anthony G. Cohn and Lenhart Schubert and Stuart C.
		Shapiro},
  pages = {524--534},
  address = {San Francisco, California},
  topic = {kr;conceptual-graphs;graph-based-reasoning;kr-course;}
  }

@article{ chien_s-etal:1999a,
  author = {S. Chien and G. Rabideau and J. Willis and T. Mann},
  title = {Automating Planning and Scheduling of Shuttle Payload
  	Operations},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {114},
  number = {1--2},
  pages = {239--255},
  topic = {planning;scheduling;}
  }

@article{ chierchia:1982a,
  author = {Gennaro Chierchia},
  title = {Nominalization and {M}ontague Grammar: A Semantics Without
  	Types for Natural Languages},
  journal = {Linguistics and Philosophy},
  year = {1982},
  volume = {5},
  number = {3},
  pages = {303--354},
  missinginfo = {number},
  topic = {nominalization;nl-semantic-types;}
  }

@incollection{ chierchia:1985a,
  author = {Gennaro  Chierchia},
  title = {The Variability of Impersonal Subjects},
  booktitle = {Quantification in Natural Languages, Vol. 1},
  publisher = {Kluwer Academic Publishers},
  year = {1995},
  editor = {Emmon Bach and Eloise Jelinek and Angelika Kratzer and
   	Barbara Partee},
  pages = {107--143},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;impersonal-subjects;nl-quantifiers;
  	Italian-language;}
  }

@incollection{ chierchia:1988a,
  author = {Gennaro Chierchia},
  title = {Introduction},
  booktitle = {Properties, Types and Meaning, Vol. 2},
  year = {1988},
  editor = {Gennaro Chierchia and Barbara Partee and Raymond Turner},
  publisher = {Kluwer Academic Publishers},
  pages = {1--20},
  address = {Dordrecht},
  topic = {nl-semantics;intensionality;thematic-roles;}
  }

@incollection{ chierchia:1988b,
  author = {Gennaro Chierchia},
  title = {Structured Meanings, Thematic Roles and Control},
  booktitle = {Properties, Types and Meaning, Vol. 2},
  year = {1988},
  editor = {Gennaro Chierchia and Barbara Partee and Raymond Turner},
  publisher = {Kluwer Academic Publishers},
  pages = {131--166},
  address = {Dordrecht},
  topic = {hyperintensionality;thematic-roles;}
  }

@techreport{ chierchia:1990a,
  author = {Gennaro Chierchia},
  title = {Anaphora and Dynamic Logic},
  institution = {Institute for Language, Logic and Information, University
  	of Amsterdam},
  number = {LP--90--07},
  year = {1990},
  address = {Faculty of Mathematics and Computer Science, Roeterssraat 15,
  	1018WB Amsterdam, Holland},
  rtnote = {In RHT collection.},
  topic = {anaphora;donkey-anaphora;dynamic-logic;dynamic-semantics;}
  }

@techreport{ chierchia:1990b,
  author = {Gennaro Chierchia},
  title = {The Variability of Impersonal Subjects},
  institution = {Institute for Language, Logic and Information, University
  	of Amsterdam},
  number = {LP--90--06},
  year = {1990},
  address = {Faculty of Mathematics and Computer Science, Roeterssraat 15,
  	1018WB Amsterdam, Holland},
  rtnote = {In RHT collection.  Relation of adverbs of quantification
  	to impersonal subjects.},
  topic = {adverbs;impersonal-subjects;}
  }

@article{ chierchia:1992a,
  author = {Gennaro Chierchia},
  title = {Questions with Quantifiers},
  journal = {Natural Language Semantics},
  year = {1992--1993},
  volume = {1},
  number = {2},
  pages = {181--234},
  topic = {nl-quantifiers;nl-semantics;interrogatives;}
  }

@article{ chierchia:1992b,
  author = {Gennaro Chierchia},
  title = {Anaphora and Dynamic Binding},
  journal = {Linguistics and Philosophy},
  volume = {15},
  number = {2},
  pages = {111--183},
  year = {1992},
  topic = {anaphora;donkey-anaphora;dynamic-logic;dynamic-semantics;}
  }

@article{ chierchia:1994a,
  author = {Gennarro Chierhia},
  title = {Intensionality and Context Change},
  journal = {Journal of Logic, Language, and Information},
  year = {1994},
  volume = {3},
  number = {2},
  pages = {141--168},
  topic = {hyperintensionality;dynamic-logic;}
  }

@book{ chierchia:1995a,
  author = {Gennaro Chierchia},
  title = {Dynamics of Meaning: Anaphora, Presupposition, and the
  	Theory of Grammar},
  publisher = {Chicago University Press},
  year = {1995},
  address = {Chicago},
  rtnote = {Reading notes on file.},
  rtnote = {In RHT collection.  LLP authored Shelves.},
  rtnote = {pragmatics-course;},
  topic = {dynamic-logic;nl-semantics;donkey-anaphora;presupposition;
  	anaphora;pragmatics;context;}
 }

@incollection{ chierchia:1995b,
  author = {Gennaro Chierchia},
  title = {Individual-Level Predicates as Inherent Generics},
  booktitle = {The Generic Book},
  publisher = {Chicago University Press},
  year = {1995},
  editor = {Gregory Carlson and Francis Jeffry Pelletier},
  pages = {176--223},
  address = {Chicago, IL},
  topic = {generics;i-level/s-level;}
  }

@inproceedings{ chierchia:1997a,
  author = {Gennaro Chierchia},
  title = {Partitives, Reference to Kinds and Semantic Variation},
  booktitle = {Proceedings from Semantics and Linguistic Theory {VII}},
  publisher = {Cornell University},
  year = {1997},
  editor = {Aaron Lawson},
  pages = {73--98},
  address = {Ithaca, New York},
  topic = {nl-semantics;partitive-constructions;Italian-language;}
  }

@article{ chierchia:1998a,
  author = {Gennaro Chierchia},
  title = {Reference to Kinds across Languages},
  journal = {Natural Language Semantics},
  year = {1998},
  volume = {6},
  number = {4},
  pages = {339--405},
  topic = {universal-grammar;semantics-of-common-nouns;}
  }

@book{ chierchia-etal:1988a,
  editor = {Gennaro Chierchia and Barbara Partee and Raymond Turner},
  title = {Properties, Types and Meaning, Vols. 1 and 2},
  publisher = {Kluwer Academic Publishers},
  year = {1988},
  volume = {38 and 39},
  series = {Studies in Linguistics and Philosophy},
  address = {Dordrecht},
  contentnote = {This reference for both volumes.},
  topic = {nl-semantics;polymorphism;nl-semantic-types;}
 }

@book{ chierchia-etal:1988b,
  editor = {Gennaro Chierchia and Barbara Partee and Raymond Turner},
  title = {Properties, Types and Meaning, Vol. 1},
  publisher = {Kluwer Academic Publishers},
  year = {1988},
  volume = {38},
  series = {Studies in Linguistics and Philosophy},
  address = {Dordrecht},
  contentnote = {This reference for volume 1.  TC:
  	Aczel, Algebraic Semantics.
	Thomason, Ramified.
	Turner, Two Issues in the Foundations.
	Asher and Kamp, Self-Reference.
	Bealer, Type-Free Intensionality.
	van Benthem, Semantic Type-Change
  	},
  topic = {nl-semantics;polymorphism;nl-semantic-types;}
 }

@book{ chierchia-etal:1988c,
  editor = {Gennaro Chierchia and Barbara Partee and Raymond Turner},
  title = {Properties, Types and Meaning, Vol. 2},
  publisher = {Kluwer Academic Publishers},
  year = {1988},
  volume = {39},
  series = {Studies in Linguistics and Philosophy},
  address = {Dordrecht},
  contentnote = {This reference for volume 2.  TC:
  	Groenendijk and Stokhof, Shifting Rules and the Semantics of
		Interrogatives.
	Dowty, On the Semantic Content of the Notion of `Thematic Role'.
	Chierchia, Structured Meanings, Thematic Roles and Control
	Carlson, On the Semantic Composition of English Generic Sentences.
	Schubert and Pelletier, Generically Speaking, or Using Discourse
		Representation Theory to Interpret Generics.
	Zeevat, Realism and Definiteness
  	},
  topic = {nl-semantics;polymorphism;nl-semantic-types;pragmatics;}
 }

@book{ chierchia-mcconnellginet:1992a,
  author = {Gennaro Chierchia and Sally McConnell-Ginet},
  title = {Meaning and Grammar:  An Introduction to Semantics},
  publisher = {The {MIT} Press},
  year = {1992},
  address = {Cambridge, Massachusetts},
  xref = {Review: perrault:1993a, carlson:1991a.},
  xref = {2nd edition: chierchia-mcconnellginet:2000a.},
  topic = {nl-semantics;}
 }

@book{ chierchia-mcconnellginet:2000a,
  author = {Gennaro Chierchia and Sally McConnell-Ginet},
  title = {Meaning and Grammar:  An Introduction to Semantics},
  edition = {2},
  publisher = {The {MIT} Press},
  year = {2000},
  address = {Cambridge, Massachusetts},
  xref = {1st edition: chierchia-mcconnellginet:1992a.},
  topic = {nl-semantics;}
 }

@article{ chierchia-turner_r:1988a,
  author = {Gennaro Chierchia and Raymond Turner},
  title = {Semantics and Property Theory},
  journal = {Linguistics and Philosophy},
  year = {1988},
  volume = {11},
  number = {3},
  pages = {261--302},
  topic = {nl-semantics;property-theory;}
  }

@article{ chihara:1963a,
  author = {Charles Chihara},
  title = {Mathematical Discovery and Concept Formation},
  journal = {The Philosophical Review},
  year = {1963},
  volume = {72},
  number = {1},
  pages = {17--34},
  rtnote = {In RHT collection.},
  topic = {philosophy-of-mathematics;scientific-discovery;}
  }

@article{ chihara:1979a,
  author = {Charles Chihara},
  title = {The Semantic Paradoxes: A Diagnostic Investigation},
  journal = {The Philosophical Review},
  year = {1979},
  volume = {88},
  number = {4},
  pages = {590--618},
  topic = {semantic-paradoxes;}
  }

@article{ chihara:1984a,
  author = {Charles Chihara},
  title = {Priest, the Liar, and {G}\"odel},
  journal = {Journal of Philosophical Logic},
  year = {1984},
  volume = {13},
  number = {2},
  pages = {117--124},
  topic = {semantic-paradoxes;paraconsistency;goedels-first-theorem;}
  }

@article{ chihara:1984b,
  author = {Charles S. Chihara},
  title = {A Simple Type Theory without Platonic Domains},
  journal = {Journal of Philosophical Logic},
  year = {1984},
  volume = {13},
  number = {3},
  pages = {249--283},
  topic = {higher-order-logic;logic-and-ontology;philosophical-ontology;}
  }

@incollection{ chihara:1994a,
  author = {Charles Chihara},
  title = {The {H}owson-{U}rbach Proofs of {B}ayesian Principles},
  booktitle = {Probability and Conditionals: Belief Revision and Rational
       Decision},
  publisher = {Cambridge University Press},
  year = {1994},
  pages = {161--178},
  editor = {Ellery Eells and Brian Skyrms},
  address = {Cambridge, England},
  missinginfo = {Check topic.},
  topic = {foundations-of-probability;}
  }

@book{ chihara:1998a,
  author = {Charles Chihara},
  title = {The Worlds of Possibility: Modal Realism and the Semantics
  		of Modal Logic},
  publisher = {Oxford University Press},
  year = {1998},
  address = {Oxford},
  rtnote = {UMich Graduate Library  BC 199 .M6 C481 1998.},
  xref = {Review: nolan_d:2004a.},
  topic = {foundations-of-modal-logic;metaphysics;possible-worlds;}
 }

@article{ chihara-fodor_ja:1965a,
  author = {Charles Chihara and Jerry A. Fodor},
  title = {Operationalism and Ordinary Language},
  journal = {American Philosophical Quarterly},
  year = {1965},
  volume = {2},
  number = {4},
  pages = {281--295},
  topic = {philosophy-of-language;Wittgenstein;}
  }

@book{ child:1994a,
  author = {William Child},
  title = {Causality, Interpretation, and the Mind},
  publisher = {Oxford University Press},
  year = {1994},
  address = {Oxford},
  ISBN = {0198239785},
  rtnote = {UMich Graduate Library, BD 418.3 .C4551 1994.},
  topic = {causality;philosophy-of-mind;}
 }

@incollection{ chin_dn:1989a,
  author = {David N. Chin},
  title = {{KNOME}: Modeling What the User
		Knows in {UC}},
  booktitle = {User Models in Dialog Systems},
  publisher = {Springer-Verlag},
  year = {1989},
  editor = {Alfred Kobsa and Wolfgang Wahlster},
  pages = {74--107},
  address = {Berlin},
  contentnote = {KNOME is a Unix consultant system.},
  topic = {user-modeling;intelligent-tutoring;agent-stereotypes;}
 }

@article{ chisholm:1946a1,
  author = {Roderick Chisholm},
  title = {The Contrary-to-Fact-Conditional},
  journal = {Mind, New Series},
  year = {1946},
  volume = {55},
  pages = {289--307},
  missinginfo = {number},
  xref = {Review: mckinsey:1947a.},
  topic = {conditionals;dispositionals;}
  }

@incollection{ chisholm:1946a2,
  author = {Roderick Chisholm},
  title = {The Contrary-to-Fact-Conditional},
  booktitle = {Readings in Philosophical Analysis},
  publisher = {Appleton-Century Crofts},
  year = {1946},
  editor = {Herbert Feigl and Wilfrid Sellars},
  pages = {481--497},
  address = {New York},
  topic = {conditionals;dispositionals;}
  }

@article{ chisholm:1950a,
  author = {Roderick Chisholm},
  title = {Review of `Hypotheticals', by {D}avid {P}ears},
  journal = {Journal of Symbolic Logic},
  year = {1950},
  volume = {15},
  number = {3},
  pages = {215--216},
  xref = {Review of: pears:1977a.},
  contentnote = {Chisholm seems to think Pears' paper is weak on
  		content.  He says Pears claims that counterfactuals
		entail falsity of their antecedents, points out
		that this has strange consequences.},
  topic = {conditionals;subjunctive-mood;}
  }

@article{ chisholm:1951a,
  author = {Roderick M. Chisholm},
  title = {Review of ``\,`Non-Accidental' and Counterfactual
  	Sentences'', by {E}lizabeth {L}ane {B}eardsley},
  journal = {Journal of Symbolic Logic},
  year = {1951},
  volume = {16},
  number = {1},
  pages = {63--64},
  xref = {Review of: beardsley:1949a.},
  topic = {conditionals;(non)accidental-generalizations;}
  }

@article{ chisholm:1955a,
  author = {Roderick M. Chisholm},
  title = {Law Statements and Counterfactual Inference},
  journal = {Analysis},
  year = {1955},
  volume = {15},
  number = {5},
  pages = {97--105},
  rtnote = {In RHT collection.},
  contentnote = {Law statements support counterfactuals.  Can you
  		account for the difference between law stmts and
		non law stmts without using using counterfactuals?},
  xref = {Review: baylis:1956a.},
  topic = {causality;natural-laws;conditionals;}
  }

@article{ chisholm:1963a,
  author = {Roderick M. Chisholm},
  title = {Contrary-to-Duty Imperatives and Deontic Logic},
  journal = {Analysis},
  year = {1963},
  volume = {24},
  pages = {33--36},
  missinginfo = {number},
  topic = {deontic-logic;}
  }

@article{ chisholm:1963b,
  author = {Roderick M. Chisholm},
  title = {Supererogation and Offence: A Conceptual Scheme
             for Ethics},
  journal = {Ratio},
  volume = {5},
  year = {1963},
  pages = {1--14},
  topic = {ethics;supererogation;}
    }

@article{ chisholm:1964a,
  author = {Roderick M. Chisholm},
  title = {The Ethics of Requirement},
  journal = {American Philosophical Quarterly},
  volume = {1},
  year = {1964},
  pages = {147--153},
  topic = {ethics;}
    }

@article{ chisholm:1964b1,
  author = {Roderick M. Chisholm},
  title = {{J}.{L}. {A}ustin's Philosophical Papers},
  journal = {Mind, New Series},
  year = {1964},
  volume = {75},
  pages = {1--26},
  xref = {Reprinted in fann:1969a; see chisholm:1964a2},
  topic = {JL-Austin;ordinary-language-philosophy;}
  }

@incollection{ chisholm:1964b2,
  author = {Roderick M. Chisholm},
  title = {Austin's Philosophical Papers},
  booktitle = {Symposium on J.L. Austin},
  publisher = {Routledge and Kegan Paul},
  year = {1969},
  editor = {K.T. Fann},
  pages = {101--126},
  address = {London},
  missinginfo = {E's 1st name.},
  xref = {Reprinted; see chisholm:1964a1},
  topic = {JL-Austin;ordinary-language-philosophy;}
  }

@incollection{ chisholm:1967a,
  author = {Roderick M. Chisholm},
  title = {Comments on von Wright's `{T}he Logic of Action'},
  booktitle = {The Logic of Decision and Action},
  publisher = {University of Pittsburgh Press},
  year = {1967},
  editor = {Nicholas Rescher},
  address = {Pittsburgh, Pennsylvania},
  missinginfo = {pages},
  topic = {action;}
  }

@article{ chisholm:1967b,
  author = {Roderick M. Chisholm},
  title = {He Could Have Done Otherwise},
  journal = {Journal of Philosophy},
  year = {1967},
  volume = {64},
  pages = {409--417},
  missinginfo = {number},
  topic = {JL-Austin;conditionals;ability;counterfactual-past;}
  }

@incollection{ chisholm:1969a,
  author = {Roderick M. Chisholm},
  title = {Some Puzzles about Agency},
  booktitle = {The Logical Way of Doing Things},
  publisher = {Yale University Press},
  year = {1969},
  editor = {Karel Lambert},
  pages = {199--217},
  address = {New Haven, Connecticut},
  topic = {determinism;ability;agency;}
  }

@article{ chisholm:1970a,
  author = {Roderick M. Chisholm},
  title = {The Structure of Intention},
  journal = {The Journal of Philosophy},
  year = {1970},
  volume = {67},
  number = {1970},
  pages = {633--647},
  topic = {intention;}
  }

@incollection{ chisholm:1978a,
  author = {Roderick Chisholm},
  title = {Practical Reason and the Logic of Requirement},
  booktitle = {Practical Reasoning},
  publisher = {Oxford University Press},
  year = {1978},
  editor = {Joseph Raz},
  pages = {118--127},
  address = {Oxford},
  topic = {deontic-logic;obligation;practical-reasoning;}
  }

@incollection{ chisholm:1979a,
  author = {Roderick Chisholm},
  title = {On the Logic of Purpose},
  booktitle = {Midwest Studies in Philosophy Volume {V}:
  	Studies in Metaphysics},
  publisher = {University of Minnesota Press},
  year = {1979},
  editor = {Peter A. French and Theodore E. {Uehling, Jr.} and Howard K.
  	Wettstein},
  pages = {223--237},
  address = {Minneapolis},
  topic = {intention;}
  }

@article{ chisholm-keim:1972a,
  author = {Roderick M. Chisholm and Robert G. Keim},
  title = {A System of Epistemic Logic},
  journal = {Ratio},
  year = {1972},
  volume = {14},
  number = {2},
  pages = {99--115},
  rtnote = {In RHT collection.},
  topic = {epistemic-logic;preferences;}
  }

@article{ chisholm-taylor_r:1960a,
  author = {Roderick M. Chisholm and Richard Taylor},
  title = {Making Things to Have Happened},
  journal = {Analysis},
  year = {1960},
  volume = {20},
  number = {4},
  pages = {73--78},
  rtnote = {In RHT collection.},
  topic = {temporal-direction;causality;}
  }

@article{ chittaro-ranon:2004a,
  author = {Luca Chittaro and Roberto Ranon},
  title = {Hierarchical Model-Based Diagnosis Based on Structural
  		Realization},
  journal = {Artificial Intelligence},
  year = {2004},
  volume = {155},
  number = {1--2},
  pages = {147--182},
  topic = {model-based-reasoning;diagnosis;abstraction;}
  }

@article{ choi_kmf-etal:2000a,
  author = {Kenneth M. F. Choi and Jimmy H. M. Lee and Peter J. Stuckey},
  title = {A Lagrangian Reconstruction of {GENET}},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {123},
  number = {1--2},
  pages = {1--39},
  topic = {constraint-satisfaction;search;}
  }

@article{ choi_sh:2002a,
  author = {Sungho Choi},
  title = {Causation and Gerrymandered World Lines: A Critique of
  	{S}almon},
  journal = {Philosophy of Science},
  year = {2002},
  volume = {69},
  number = {1},
  pages = {105--117},
  topic = {causality;}
  }

@inproceedings{ choi_sk-etal:1998a,
  author = {Sung-Kwon Choi and Han-Min Jung and Chul-Min Sim and
  	Taewan Kim and Dong-In Park and Jun-Sik Park and Key-Sun Choi},
  title = {Hybrid Approaches to Improvement of Translation Quality in
  	Web-based {E}nglish-{K}orean Machine Translation},
  booktitle = {Proceedings of the Thirty-Sixth Annual Meeting of the
  	{A}ssociation for {C}omputational {L}inguistics and
	Seventeenth International Conference on
	Computational Linguistics},
  year = {1998},
  editor = {Christian Boitet and Pete Whitelock},
  pages = {251--255},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {machine-translation;}
}

@article{ choi_ss-etal:2008a,
  author = {Sung-Soon Choi and Kyomin Jung and Jeong Han Kim},
  title = {Phase Transition in a Random {NK} Landscape Model},
  journal = {Artificial Intelligence},
  year = {2008},
  volume = {172},
  number = {2--3},
  pages = {179--203},
  topic = {computational-phase-transitions;}
  }

@incollection{ cholewinski-etal:1996a,
  author = {Pawe{\l} Cholewi\'nski and Victor W. Marek and Miroslaw
  	Truszczy\'nski},
  title = {Default Reasoning System {DeReS}},
  booktitle = {{KR}'96: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1996},
  editor = {Luigia Carlucci Aiello and Jon Doyle and Stuart Shapiro},
  pages = {518--528},
  address = {San Francisco, California},
  rtnote = {In RHT collection.},
  topic = {kr;nonmonotonic-reasoning;default-logic;theorem-proving;
		kr-course;}
  }

@article{ cholewinski-etal:1999a,
  author = {Pawe{\l} Cholewi\'nski and Artur Mikitiuk and Wictor Marek
  	and Miroslaw Truszczy\'nski},
  title = {Computing with Default Logic},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {112},
  pages = {105--146},
  topic = {kr;nonmonotonic-reasoning;default-logic;theorem-proving;
		kr-course;nonmonotonic-reasoning-algorithms;}
  }

@incollection{ chollet-etal:1997a,
  author = {Gerard Chollet and Jean-Luc Cochard and Andrei Constantinescu
       		and Cedric Jaroulet and Philippe Langlais},
  title = {Swiss {F}rench
		{P}oly{P}hone and {P}oly{V}ar: Telephone Speech Databases
		to Model Inter- and Intra-Speaker Variability},
  booktitle = {Linguistic Databases},
  publisher = {{CSLI} Publications},
  year = {1997},
  editor = {John Nerbonne},
  pages = {117--135},
  address = {Stanford, California},
  topic = {corpus-linguistics;speech-recognition;}
  }

@incollection{ cholvy:1998a,
  author = {Laurence Cholvy},
  title = {Reasoning about Merged Information},
  booktitle = {Handbook of Defeasible Reasoning and Uncertainty
		Management Systems, Volume 3:  Belief Change},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {Didier Dubois and Henri Prade},
  pages = {233--263},
  address = {Dordrecht},
  topic = {paraconsistency;knowledge-integration;}
  }

@incollection{ cholvy-cuppens:1998a,
  author = {Laurence Cholvy and F. Cuppens},
  title = {Reasoning about Norms Provided by Conflicting
  	Regulations},
  booktitle = {Norms, Logics and Information Systems.  New Studies in
	Deontic Logic and Computer Science},
  publisher = {IOS Press},
  year = {1998},
  editor = {Henry Prakken and Paul McNamara},
  pages = {247--264},
  address = {Amsterdam},
  topic = {deontic-logic;rules-and-regulations;}
  }

@inproceedings{ chomicki-etal:2000a,
  author = {Jan Chomicki and Jorge Lobo and Shamin Naqvi},
  title = {A Logic Programming Approach to Conflict Resolution
  	in Policy Management},
  booktitle = {{KR}2000: Principles of Knowledge Representation and
  	Reasoning},
  year = {2000},
  editor = {Anthony G. Cohn and Fausto Giunchiglia and Bart Selman},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  pages = {121--132},
  topic = {logic-programming;conflict-resolution;}
  }

@article{ chomsky:1955a,
  author = {Noam Chomsky},
  title = {Logical Syntax and Semantics: Their Linguistic Relevance},
  journal = {Language},
  year = {1955},
  volume = {31},
  number = {1},
  pages = {36--45},
  xref = {Commentary on: barhillel:1954a},
  rtnote = {In RHT collection.},
  topic = {carnap;natural-language/formal-language;
  	foundations-of-linguistics;logic-and-linguistics;}
  }

@book{ chomsky:1957a,
  author = {Noam Chomsky},
  title = {Syntactic Structures},
  publisher = {Mouton},
  year = {1957},
  address = {The Hague},
  topic = {nl-syntax;}
 }

@article{ chomsky:1958a,
  author = {Noam Chomsky},
  title = {On Certain Formal Properties of Grammars},
  journal = {Information and Control},
  year = {1958},
  volume = {1},
  pages = {91--112},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {formal-language-theory;}
  }

@article{ chomsky:1958b,
  author = {Noam Chomsky},
  title = {A Review of {B}. {F}. {S}kinner's {\it Verbal Behavior}},
  journal = {Language},
  year = {1958},
  volume = {35},
  number = {1},
  pages = {26--58},
  rtnote = {In RHT collection.},
  topic = {foundations-of-linguistics;foundations-of-cogsci;}
  }

@article{ chomsky:1961a,
  author = {Noam Chomsky},
  title = {Some Methodological Remarks on Generative Grammar},
  journal = {Word},
  year = {1961},
  volume = {17},
  number = {2},
  pages = {219--239},
  rtnote = {In RHT collection.},
  topic = {transformational-grammar;}
  }

@incollection{ chomsky:1962a,
  author = {Noam Chomsky},
  title = {Explanatory Models in Linguistics},
  booktitle = {Logic, Methodology, and Philosophy of Science: Proceedings
  		of the 1960 International Congress},
  publisher = {Stanford University Press},
  year = {1962},
  editor = {Ernest Nagel and Patrick Suppes and Alfred Tarski},
  pages = {538--550},
  address = {Stanford, California},
  topic = {foundations-of-linguistics;transformational-grammar;
  		phonology;}
  }

@book{ chomsky:1965a,
  author = {Noam Chomsky},
  title = {Aspects of the Theory of Syntax},
  publisher = {The {MIT} Press},
  year = {1965},
  address = {Cambridge, Massachusetts},
  topic = {nl-syntax;}
 }

@book{ chomsky:1966a,
  author = {Noam Chomsky},
  title = {Cartesian Linguistics},
  publisher = {Harper and Row},
  year = {1966},
  address = {New York},
  topic = {foundations-of-linguistics;}
 }

@book{ chomsky:1968a,
  author = {Noam Chomsky},
  title = {Language and Mind},
  publisher = {Harcourt, Brace and World},
  year = {1968},
  address = {New York},
  topic = {philosophy-of-language;foundations-of-syntax;}
 }

@incollection{ chomsky:1969a,
  author = {Noam Chomsky},
  title = {Quine's Empirical Assumptions},
  booktitle = {Words and Objections: Essays on the Work of {W.V.O.} {Q}uine},
  publisher = {D. Reidel Publishing Co.},
  year = {1969},
  editor = {Donald Davidson and Jaakko Hintikka},
  pages = {53--68},
  address = {Dordrecht},
  topic = {indeterminacy-of-translation;}
  }

@incollection{ chomsky:1970a1,
  author = {Noam Chomsky},
  title = {Remarks on Nominalization},
  booktitle = {Readings in Transformational Grammar},
  publisher = {Ginn and Co.},
  year = {1970},
  editor = {R. Jacobs and P. Rosenbaum},
  pages = {184--221},
  address = {Boston},
  missinginfo = {E's 1st name.},
  rtnote = {Reading notes on file.},
  xref = {Republication: chomsky:1970a2.},
  topic = {transformational-grammar;nominalization;}
  }

@incollection{ chomsky:1970a2,
  author = {Noam Chomsky},
  title = {Remarks on Nominalization},
  booktitle = {The Logic of Grammar},
  publisher = {Dickenson Publishing Co.},
  year = {1975},
  editor = {Donald Davidson and Gilbert H. Harman},
  pages = {262--289},
  address = {Encino, California},
  xref = {Original Publication: chomsky:1970a1.},
  topic = {transformational-grammar;nominalization;}
  }

@incollection{ chomsky:1971a,
  author = {Noam Chomsky},
  title = {Deep Structure, Surface Structure, and Semantic
  	Interpretation},
  booktitle = {Semantics: An Interdisciplinary Reader in Philosophy,
  	Linguistics, and Psychology},
  publisher = {Cambridge University Press},
  year = {1971},
  editor = {Danny D. Steinberg and Leon A. Jacobovits},
  pages = {183--216},
  address = {Cambridge, England},
  rtnote = {Reading notes on file.},
  topic = {transformational-grammar;nl-semantics;}
  }

@incollection{ chomsky:1972a,
  author = {Noam Chomsky},
  title = {Some Empirical Issues in the Theory of Transformational
		Grammar},
  booktitle = {Goals of Linguistic Theory},
  publisher = {Prentice-Hall, Inc.},
  year = {1972},
  editor = {Stanley Peters},
  pages = {63--127},
  address = {Englewood Cliffs, New Jersey},
  topic = {transformational-grammar;}
  }

@incollection{ chomsky:1973a1,
  author = {Noam Chomsky},
  title = {Conditions on Transformations},
  booktitle = {A {F}estschrift for {M}orris {H}alle},
  publisher = {Holt, Rinehart and Winston, Inc.},
  year = {1973},
  editor = {Stephen R. Anderson and Paul Kiparsky},
  pages = {232--286},
  address = {New York},
  topic = {nl-syntax;extended-std-theory;}
  }

@incollection{ chomsky:1973a2,
  author = {Noam Chomsky},
  title = {Conditions on Transformations},
  booktitle = {Essays on Form and Interpretation},
  publisher = {North-Holland},
  year = {1977},
  editor = {Noam Chomsky},
  pages = {78--160},
  address = {Amsterdam},
  xref = {Republication of: chomsky:1973a1.},
  topic = {nl-syntax;extended-std-theory;}
  }

@incollection{ chomsky:1975a,
  author = {Noam Chomsky},
  title = {Knowledge of Language},
  booktitle = {Language, Mind, and Knowledge.  {M}innesota Studies in
  	the Philosophy of Science, Vol. 7},
  publisher = {University of Minnesota Press},
  year = {1975},
  editor = {Keith Gunderson},
  pages = {299--320},
  address = {Minneapolis, Minnesota},
  topic = {philosophy-of-language;}
  }

@article{ chomsky:1975b1,
  author = {Noam Chomsky},
  title = {Questions of Form and Interpretation},
  journal = {Linguistic Analysis},
  year = {1975},
  volume = {1},
  number = {1},
  pages = {75--109},
  xref = {Republication: chomsky:1975b2.},
  topic = {nl-semantics;}
  }

@incollection{ chomsky:1975b2,
  author = {Noam Chomsky},
  title = {Questions of Form and Interpretation},
  booktitle = {Essays on Form and Interpretation},
  publisher = {North-Holland},
  year = {1977},
  editor = {Noam Chomsky},
  pages = {25--59},
  address = {Amsterdam},
  xref = {Republication of: chomsky:1975b1.},
  topic = {nl-semantics;}
  }

@book{ chomsky:1975c,
  author = {Noam Chomsky},
  title = {Reflections on Language},
  publisher = {Pantheon Books},
  year = {1975},
  address = {New York},
  topic = {philosophy-of-language;philosophy-of-psychology;}
 }

@book{ chomsky:1975d,
  author = {Noam Chomsky},
  title = {The Logical Structure of Linguistic Theory},
  publisher = {Plenum Press},
  year = {1975},
  address = {New York},
  note = {Written and privately distributed, 1955.},
  topic = {nl-syntax;}
 }

@incollection{ chomsky:1976a,
  author = {Noam Chomsky},
  title = {Problems and Mysteries in the Study of Human Language},
  booktitle = {Language in Focus},
  publisher = {D. Reidel Publishing Co.},
  year = {1976},
  editor = {Asa Kasher},
  pages = {281--357},
  address = {Dordrecht},
  topic = {philosophy-of-linguistics;foundations-of-cognitive-science;}
  }

@article{ chomsky:1976b1,
  author = {Noam Chomsky},
  title = {Conditions on Rules of Grammar},
  journal = {Linguistic Analysis},
  year = {1976},
  volume = {2},
  number = {4},
  missinginfo = {pages},
  xref = {Republication: chomsky:1976b2.},
  topic = {nl-syntax;extended-std-theory;}
  }

@incollection{ chomsky:1976b2,
  author = {Noam Chomsky},
  title = {Conditions on Rules of Grammar},
  booktitle = {Essays on Form and Interpretation},
  publisher = {North-Holland},
  year = {1977},
  editor = {Noam Chomsky},
  pages = {163--210},
  address = {Amsterdam},
  xref = {Republication of: chomsky:1976b1.},
  topic = {nl-syntax;extended-std-theory;}
  }

@book{ chomsky:1977a,
  author = {Noam Chomsky},
  title = {Essays on Form and Interpretation},
  publisher = {North-Holland},
  year = {1977},
  address = {Amsterdam},
  contentnote = {TC:
	1. "Introduction", pp. 1--21
	2. "Questions of Form and Interpretation", pp. 25--59
	3. "On the Nature of Language", pp. 63--77
	4. "Conditions on Transformations", pp. 78--160
	5. "Conditions on Rules of Grammar", pp. 163--210
   },
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {nl-syntax;nl-semantics;extended-std-theory;}
 }

@incollection{ chomsky:1977b,
  author = {Noam Chomsky},
  title = {Introduction},
  booktitle = {Essays on Form and Interpretation},
  publisher = {North-Holland},
  year = {1977},
  editor = {Noam Chomsky},
  pages = {1--21},
  address = {Amsterdam},
  topic = {nl-syntax;extended-std-theory;}
  }

@book{ chomsky:1981a,
  author = {Noam Chomsky},
  title = {Lectures on Government and Binding},
  publisher = {Foris Publications},
  year = {1981},
  address = {Foris Publications},
  xref = {3rd edition, chomsky:1984a.},
  topic = {nl-syntax;GB-syntax;}
 }

@book{ chomsky:1984a,
  author = {Noam Chomsky},
  edition = {3},
  title = {Lectures on Government and Binding},
  publisher = {Foris Publications},
  year = {1981},
  address = {Foris Publications},
  xref = {1st edition, chomsky:1981a.},
  topic = {nl-syntax;GB-syntax;}
 }

@book{ chomsky:1986a,
  author = {Noam Chomsky},
  title = {Barriers},
  publisher = {The {MIT} Press},
  year = {1986},
  address = {Cambridge, Massachusetts},
  topic = {nl-syntax;GB-syntax;}
 }

@book{ chomsky:1986b,
  author = {Noam Chomsky},
  title = {Knowledge of Language: Its Nature, Origin, and Use},
  publisher = {Praeger},
  year = {1986},
  address = {New York},
  ISBN = {0030055539 (hardcover),  0030055520 (pbk.)},
  rtnote = {UMich Undergraduate P106 .C5181 1986},
  topic = {philosophy-of-linguistics;philosophy-of-mind;}
 }

@book{ chomsky:1987a,
  author = {Noam Chomsky},
  title = {Language and Problems of Knowledge},
  publisher = {The {MIT} Press},
  year = {1987},
  address = {Cambridge, Massachusetts},
  topic = {foundations-of-language;foundations-of-cognitive-science;
		philosophy-of-linguistics;}
 }

@article{ chomsky:1992a,
  author = {Noam Chomsky},
  title = {Explaining Language Use},
  journal = {Philosophical Topics},
  year = {1992},
  volume = {20},
  number = {1},
  pages = {205--231},
  topic = {philosophy-of-language;pragmatics;}
  }

@book{ chomsky:1995a,
  author = {Noam Chomsky},
  title = {The Minimalist Program},
  publisher = {The {MIT} Press},
  year = {1995},
  address = {Cambridge, Massachusetts},
  rtnote = {In RHT collection.},
  topic = {nl-syntax;nl-semantics;minimalist-syntax;}
 }

@article{ chomsky:1995b,
  author = {Noam Chomsky},
  title = {Language and Nature},
  journal = {Mind, New Series},
  year = {1995},
  volume = {104},
  number = {413},
  pages = {1--61},
  contentnote = {A critique of naturalist theories.},
  topic = {linguistic-naturalism;philosophy-of-language;
	philosophy-of-linguistics;}
  }

@book{ chomsky:2000a,
  author = {Noam Chomsky},
  title = {New Horizons in the Study of Language and Mind},
  publisher = {Cambridge University Press},
  year = {2000},
  address = {Cambridge, England},
  xref = {Review: harman_gh:2000a.},
  rtnote = {In RHT collection.  LLP authored shelves.},
  topic = {philosophy-of-linguistics;philosophy-of-mind;}
 }

@article{ chomsky:2007a,
  author = {Noam Chomsky},
  title = {Review of \emph{{M}ind as Machine: A History of Cognitive
  		Science}, by {M}argaret {B}oden},
  journal = {Artificial Intelligence},
  year = {2007},
  volume = {171},
  number = {18},
  pages = {1094--1103},
  xref = {Review of: boden:2006a},
  topic = {cognitive-science;}
  }

@article{ chomsky:2009a,
  author = {Noam Chomsky},
  title = {The Mysteries of Nature:  How Deeply Hidden?},
  journal = {The Journal of Philosophy},
  year = {2009},
  volume = {106},
  number = {4},
  pages = {167--200},
  topic = {philosophy-of-science;mind-body-problem;}
  }

@book{ chomsky-halle:1968a,
  author = {Noam Chomsky and Morris Halle},
  title = {The Sound Pattern of {E}nglish},
  publisher = {Harper and Row},
  year = {1968},
  address = {New York},
  topic = {phonology;}
 }

@article{ chomsky-miller_ga:1958a,
  author = {Noam Chomsky and George A. Miller},
  title = {Finite State Languages},
  journal = {Information and Control},
  year = {1958},
  volume = {1},
  missinginfo = {pages, number},
  rtnote = {In RHT collection.  Citation is a guess.  Filed under "Chomsky".},
  topic = {formal-language-theory;}
  }

@article{ chopra-etal:2003a,
  author = {Samir Chopra and Aditya Ghose and Thomas Meyer},
  title = {Non-Prioritized Ranked Belief Change},
  journal = {Journal of Philosophical Logic},
  year = {2003},
  volume = {32},
  number = {3},
  pages = {417--443},
  topic = {belief-revision;}
  }

@article{ chopra-etal:2008a,
  author = {Samir Chopra and Aditya Ghose and Thomas Meyer
  		and Ka-Shu Wong},
  title = {Iterated Belief Change and the Recovery Axiom},
  journal = {Journal of Philosophical Logic},
  year = {2008},
  volume = {37},
  number = {5},
  pages = {501--520},
  topic = {belief-revision;}
  }

@article{ chopra-martin_e2:2002a,
  author = {Samir Chopra and Eric Martin},
  title = {Generalized Logical Consequence: Making Room for Induction
  	in the Logic of Science},
  journal = {Journal of Philosophical Logic},
  year = {2002},
  volume = {31},
  number = {3},
  pages = {245--280},
  topic = {logical-consequence;}
  }

@incollection{ chou_tsc-winslett:1991a,
  author = {Timothy S-C Chou and Marriane Winslett},
  title = {Immortal:  A Model-Based Belief Revision System},
  booktitle = {{KR}'91: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1991},
  editor = {James F. Allen and Richard Fikes and Erik Sandewall},
  pages = {99--110},
  address = {San Mateo, California},
  topic = {kr;model-based-reasoning;belief-revision;kr-course;}
  }

@article{ choueiry-etal:2005a,
  author = {Berthe Y. Choueiry and Yumi Iwasaki and Sheila McIlraith},
  title = {Towards a Practical Theory of Reformulation for Reasoning
  		about Physical Systems},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {162},
  number = {1--2},
  pages = {145--204},
  topic = {problem-reformulation;reasoning-about-physical-systems;
  		approximation;}
  }

@incollection{ chouraqui:1984a,
  author = {Eugene Chouraqui},
  title = {Computational Models of Reasoning},
  booktitle = {The Mind and the Machine: Philosophical Aspects
  	of Artificial Intelligence},
  publisher = {Ellis Horwood, Ltd.},
  year = {1984},
  editor = {Steve B. Torrance},
  pages = {145--155},
  address = {Chichester},
  topic = {AI-general;problem-solving;}
  }

@article{ chovil:1991a,
  author = {Nicole Chovil},
  title = {Discourse-Oriented Facial Displays in Conversation},
  journal = {Research on Language and Social Interaction},
  volume = {25},
  pages = {163--194},
  year = {1991},
  topic = {gestures;discourse;pragmatics;facial-expression;}
  }

@article{ chovil:1991b,
  author = {Nicole Chovil},
  title = {Social Determinants of Facial Displays},
  journal = {Journal of Nonverbal Behavior},
  volume = {15},
  number = {3},
  pages = {141--154},
  year = {1991},
  topic = {gestures;discourse;facial-expression;}
  }

@article{ chovil-fridlund:1991a,
  author = {Nicole Chovil and Alan J. Fridlund},
  title = {Why Emotionality Cannot Equal Sociality: Reply to
	{Buck}},
  journal = {Journal of Nonverbal Behavior},
  volume = {15},
  number = {3},
  pages = {163--167},
  year = {1991},
  xref = {Reply to buck_r:1991a.},
  topic = {gestures;discourse;}
  }

@article{ chow_tws-li_jy:1997a,
  author = {Tommy W.S. Chow and Jin-Yan Li},
  title = {Higher-Order {P}etri Net Models Based on Artificial Neural
  	Networks},
  Journal = {Artificial Intelligence},
  year = {1997},
  volume = {92},
  number = {1--2},
  pages = {289--300},
  acontentnote = {Abstract:
     In this paper, the properties of higher-order neural networks
     are exploited in a new class of Petri nets, called higher-order
     Petri nets (HOPN).  Using the similarities between neural
     networks and Petri nets this paper demonstrates how the
     McCullock-Pitts models and the higher-order neural networks can
     be represented by Petri nets.  A 5-tuple HOPN is defined, a
     theorem on the relationship between the potential firability of
     the goal transition and the T-invariant (HOPN) is proved and
     discussed.  The proposed HOPN can be applied to the polynomial
     clause subset of first-order predicate logic. A five-clause
     polynomial logic program example is also included to illustrate
     the theoretical results.},
  topic = {connectionist-models;Petri-nets;}
  }

@incollection{ chrisley:1995a,
  author = {Ronald L. Chrisley},
  title = {Taking Embodiment Seriously: Nonconceptual Content and
  		Robotics},
  booktitle = {Android Epistemology},
  publisher = {Cambridge University Press},
  year = {1995},
  editor = {Kenneth M. Ford and Clark Glymour and Patrick J. Hayes},
  pages = {141--166},
  address = {Cambridge, England},
  topic = {philosophy-AI;embodiment;foundations-of-cognitive-science;}
  }

@article{ chrisley:2003a,
  author = {Ron Chrisley},
  title = {Embodied Artificial Intelligence},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {149},
  number = {1},
  pages = {131--150},
  topic = {embodiment;foundations-of-cognition;}
  }

@article{ chrisman:2008a,
  author = {Matthew Chrisman},
  title = {Ought to Believe},
  journal = {The Journal of Philosophy},
  year = {2008},
  volume = {105},
  number = {7},
  pages = {346--370},
  topic = {belief;obligation;}
  }

@inproceedings{ chrisman-simmons_r2:1991a,
  author= {Lonnie Chrisman and Reid G. Simmons},
  title= {Sensible Planning: Focusing Perceptual Attention},
  booktitle = {Proceedings of the Ninth National Conference on
              Artificial Intelligence},
  year = {1991},
  editor = {Thomas Dean and Kathy McKeown},
  pages = {756--761},
  organization = {American Association for Artificial Intelligence},
  publisher = {The {MIT} Press},
  address = {Cambridge, Massachusetts},
  topic = {planning;attention;}
  }

@incollection{ christ:1997a,
  author = {Oliver Christ},
  title = {Linking {W}ord{N}et to a Corpus Query System},
  booktitle = {Linguistic Databases},
  publisher = {{CSLI} Publications},
  year = {1997},
  editor = {John Nerbonne},
  pages = {189--202},
  address = {Stanford, California},
  topic = {wordnet;information-retrieval;}
  }

@article{ christensen_d:1997a,
  author = {David Christensen},
  title = {What is Relative Confirmation?},
  journal = {No\^us},
  year = {1997},
  volume = {31},
  number = {3},
  pages = {370--384},
  topic = {confirmation-theory;}
  }

@article{ christensen_d:1999a,
  Author = {David Christensen},
  title = {Measuring Confirmation},
  journal = {The Journal of Philosophy},
  year = {1999},
  volume = {96},
  number = {9},
  pages = {437--461},
  topic = {confirmation-theory;}
  }

@book{ christensen_d:2004a,
  author = {David Christensen},
  title = {Putting Logic in Its Place},
  publisher = {Oxford University Press},
  year = {2004},
  address = {Oxford},
  xref = {Review: douven:2008a},
  topic = {philosophy-of-logic;rationality;belief;lottery-paradox;
  		surprise-examination-paradox;paradox-of-the-preface;}
 }

@article{ christensen_s:1996a,
  author = {David Christensen},
  title = {Dutch-Book Arguments Depragmatized: Epistemic Consistency
  	for Partial Believers},
  journal = {The Journal of Philosophy},
  year = {1996},
  volume = {93},
  number = {9},
  pages = {480--479},
  topic = {probability-kinematics;foundations-of-decision-theory;}
  }

@incollection{ christiansen_h:1999a,
  author = {Henning Christiansen},
  title = {Open Theories and Abduction for
			Context and Accommodation},
  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 = {455-462},
  address = {Berlin},
  topic = {context;accommodation;abduction;}
  }

@incollection{ christiansen_h-dahl_v:2005a,
  author = {Henning Christiansen and Veronica Dahl},
  title = {Meaning in Context},
  booktitle = {Modeling and Using Context: 5th International and
  	Interdisciplinary Conference},
  publisher = {Springer-Verlag},
  year = {2005},
  editor = {Anind Dey and Boicho Kokinov and David Leake and Roy Turner},
  pages = {97--111},
  address = {Berlin},
  topic = {context;discourse-interpretation;constraint-satisfaction;}
  }

@article{ chu_fc-halpern:2004a,
  author = {Francis C. Chu and Joseph Y. Halpern},
  title = {Great Expectations.  Part {II}:  Generalized Expected Utility
  		as a Universal Decision Rule},
  journal = {Artificial Intelligence},
  year = {2004},
  volume = {159},
  number = {1--2},
  pages = {207--229},
  topic = {foundations-of-utility;}
  }

@incollection{ chu_s:2002a,
  author = {Sharon Chu},
  title = {The Prosodic Transcription of a Corpus of {H}ong
     		{K}ong {E}nglish---Collection Criteria, Transcription
		System, and Preliminary Findings},
  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 = {11--14},
  address = {New Brunswick, New Jersey},
  topic = {corpus-linguistics;Chinese-language;prosody;}
  }

@article{ chuard-southwood:2009a,
  author = {Philippe Chuard and Nicholas Southwood},
  title = {Epistemic Norms without Voluntary Control},
  journal = {No\^us},
  year = {2009},
  volume = {43},
  number = {4},
  pages = {599--632},
  topic = {epistemic-norms;}
  }

@inproceedings{ chucarroll-brown_mk:1997a,
  author = {Jennifer Chu-Carroll and Michael K. Brown},
  title = {Initiative in Collaborative Dialogue Interactions},
  booktitle = {Proceedings of the Thirty-Fifth Annual Meeting of the
		{A}ssociation for {C}omputational {L}inguistics and Eighth
		Conference of the {E}uropean Chapter of the {A}ssociation
		for {C}omputational {L}inguistics},
  year = {1997},
  editor = {Philip R. Cohen and Wolfgang Wahlster},
  pages = {262--270},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  topic = {collaboration;discourse-initiative;discourse;}
 }

@article{ chucarroll-carberry_s:1974a,
  author = {Jennifer Chu-Carroll and Sandra Carberry},
  title = {Collaborative Response Generation in Planning Dialogues},
  journal = {Computational Linguistics},
  year = {1995},
  volume = {24},
  number = {3},
  pages = {355--400},
  topic = {nl-generation;collaboration;computational-dialogue;}
  }

@inproceedings{ chucarroll-carberry_s:1994a,
  author = {Jennifer Chu-Carroll and Sandra Carberry},
  title = {A Plan-Based Model for Response Generation in Collaborative
  	Task-Oriented Dialogues},
  booktitle = {Proceedings of the Twelfth National Conference on
              Artificial Intelligence},
  year = {1994},
  editor = {Barbara Hayes-Roth and Richard Korf},
  pages = {799--805},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {discourse;plan-recognition;pragmatics;}
  }

@inproceedings{ chucarroll-carberry_s:1995a,
  author = {Jennifer Chu-Carroll and Sandra Carberry},
  title = {Response Generation in Collaborative Negotiation},
  booktitle = {Proceedings of the Thirty-Third Meeting of the
  	Association for Computational Linguistics},
  year = {1995},
  editor = {Hans Uszkoreit},
  pages = {136--143},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  topic = {discourse;plan-recognition;pragmatics;}
 }

@inproceedings{ chucarroll-carpenter:1998a,
  author = {Jennifer Chu-Carroll and Bob Carpenter},
  title = {Dialogue Management in Vector-Based Call Routing},
  booktitle = {Proceedings of the Thirty-Sixth Annual Meeting of the
  	{A}ssociation for {C}omputational {L}inguistics and
	Seventeenth International Conference on
	Computational Linguistics},
  year = {1998},
  editor = {Christian Boitet and Pete Whitelock},
  pages = {256--262},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {spoken-dialogue-systems;call-routing;}
}

@article{ chucarroll-carpenter:1999a,
  author = {Jennifer Chu-Carroll and Bob Carpenter},
  title = {Vector-Based Natural Language Call Routing},
  journal = {Computational Linguistics},
  year = {1998},
  volume = {25},
  number = {3},
  pages = {361--388},
  topic = {speech-recognition;}
  }

@article{ chun_ahw-etal:2000a,
  author = {Andy Hon Wai Chun and Steve Ho Chuen Chang and Francis
  	Ming Fai Tsang and Dennis Wai Ming Yeung},
  title = {Stand-Allocation System ({\sc sas}):  A Constraint-Based
  	System Developed with Software Components},
  journal = {The {AI} Magazine},
  year = {2000},
  volume = {21},
  number = {4},
  pages = {63--74},
  topic = {planning;software-engineering;}
  }

@incollection{ chung:1987a,
  author = {Sandra Chung},
  title = {The Syntax of {C}hamorro Existential},
  booktitle = {The Representation of (In)definites},
  publisher = {The {MIT} Press},
  year = {1987},
  editor = {Eric Reuland and Alice {ter Meulen}},
  pages = {191--225},
  address = {Cambridge, Massachusetts},
  topic = {(in)definiteness;Austronesian-language;existential-constructions;}
  }

@article{ chung:2000a,
  author = {Sandra Chung},
  title = {On Reference to Kinds in {I}ndonesian},
  journal = {Natural Language Semantics},
  year = {2000},
  volume = {8},
  number = {2},
  pages = {157--171},
  topic = {nominal-constructions;nl-semantics;Indonesian-language;}
  }

@article{ chung-etal:1995a,
  author = {Sandra Chung and William A. Ladusaw and James McCloskey},
  title = {Sluicing and Logical Form},
  journal = {Natural Language Semantics},
  year = {1995},
  volume = {3},
  number = {3},
  pages = {239--282},
  topic = {ellipsis;LF;}
  }

@article{ church_a:1932a,
  author = {Alonzo Church},
  title = {Review of \emph{The Foundations of Mathematics and Other
  	Logical Essays}},
  journal = {The American Mathematical Monthly},
  year = {1932},
  volume = {39},
  pages = {355--357},
  xref = {Review of \cite{braithwaite_rb:1931a}.},
  topic = {logic-classics;}
}

@article{ church_a:1939a,
  author = {Alonzo Church},
  title = {Schr\"oder's Anticipation of the Simple Theory of Types},
  journal = {The Journal of Unified Science},
  year = {1939},
  volume = {9},
  pages = {149--152},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {history-of-logic;Frege;type-theory;}
  }

@article{ church_a:1940a,
  author = {Alonzo Church},
  title = {A Formulation of the Simple Theory of Types},
  journal = {Journal of Symbolic Logic},
  year = {1940},
  volume = {5},
  number = {1},
  pages = {56--68},
  topic = {higher-order-logic;}
 }

@article{ church_a:1950a1,
  author = {Alonzo Church},
  title = {On {C}arnap's Analysis of Statements of Assertion and Belief},
  journal = {Analysis},
  year = {1950},
  volume = {10},
  pages = {97--99},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  xref = {Republication: church_a:1950a2.},
  topic = {propositional-attitudes;propositions;}
 }

@incollection{ church_a:1950a2,
  author = {Alonzo Church},
  title = {On {C}arnap's Analysis of Statements of
          Assertion and Belief},
  booktitle = {The Logic of Grammar},
  publisher = {Dickenson Publishing Co.},
  year = {1975},
  editor = {Donald Davidson and Gilbert H. Harman},
  pages = {129--142},
  address = {Encino, California},
  xref = {Original Publication: church_a:1950a1.},
  topic = {propositional-attitudes;propositions;}
  }

@article{ church_a:1951a,
  author = {Alonzo Church},
  title = {The Need for Abstract Entities in Semantic Analysis},
  journal = {Proceedings of the American Academy of Arts and Sciences},
  year = {1951},
  volume = {80},
  pages = {100--112},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  rtnote = {Reading notes on file.},
  topic = {philosophy-of-language;nl-semantics;propositional-attitudes;
  	foundations-of-semantics;intensionality;philosophical-ontology;
	intensional-transitive-verbs;}
  }

@incollection{ church_a:1951b,
  author = {Alonzo Church},
  title = {A Formulation of the Logic of Sense and Denotation},
  booktitle = {Structure, Method, and Meaning: Essays in Honor of
		{H}enry M. {S}cheffer},
  publisher = {Liberal Arts Press},
  year = {1951},
  editor = {Paul Henle and Horace M. Kallen and Susanne K. Langer},
  address = {New York},
  rtnote = {In RHT collection.},
  topic = {Frege;intensional-logic;}
  }

@unpublished{ church_a:1951c,
  author = {Alonzo Church},
  title = {The Weak Theory of Implication},
  year = {1951},
  note = {Unpublished manuscript, Princeton University},
  rtnote = {In RHT collection.},
  topic = {relevance-logic;}
  }

@article{ church_a:1953a,
  author = {Alonzo Church},
  title = {Non-Normal Truth-Tables for the Propositional Calculus},
  journal = {Boletin de la Sociedad Mathematica {M}exicana},
  year = {1953},
  volume = {10},
  number = {1,2},
  pages = {41--52},
  rtnote = {In RHT collection.},
  topic = {finite-matrix;}
  }

@article{ church_a:1954a,
  author = {Alonzo Church},
  title = {Intensional Isomormphism and Identity of Belief},
  journal = {Philosophical Studies},
  year = {1954},
  volume = {5},
  number = {5},
  pages = {65--80},
  rtnote = {In RHT collection.},
  topic = {belief;hyperintensionality;propositional-attitudes;}
  }

@book{ church_a:1956a,
  author = {Alonzo Church},
  title = {Introduction to Mathematical Logic, Vol. 1},
  publisher = {Princeton University Press},
  year = {1959},
  address = {Princeton},
  rtnote = {In RHT collection.},
  topic = {logic-general;}
 }

@article{ church_a:1957a,
  author = {Alonzo Church},
  title = {Review of \emph{{I}ntroduction to Logic}, by {P}atrick
  	{S}uppes},
  journal = {Science},
  year = {1957},
  volume = {126},
  number = {3285},
  pages = {1250--1251},
  month = {December},
  rtnote = {In RHT collection.},
  xref = {Review of suppes:1957a.},
  topic = {logic-intro;}
  }

@article{ church_a:1958a,
  author = {Alonzo Church},
  title = {Symposium: Ontological Commitment},
  journal = {The Journal of Philosophy},
  year = {1958},
  volume = {40},
  number = {23},
  pages = {1008--1014},
  rtnote = {In RHT collection.},
  topic = {ontological-commitment;}
  }

@article{ church_a:1958b,
  author = {Alonzo Church},
  title = {Logic and Analysis},
  journal = {Atti del {XII} Congresso Internazionale di Filosofia,
  	Venezia, 12-18 September, 1958},
  year = {1958},
  volume = {4},
  pages = {78--81},
  rtnote = {In RHT collection.},
  rtnote = {UMich Graduate Library, B20 .I6 1958},
  topic = {intensionality;}
  }

@inproceedings{ church_a:1962a,
  author = {Alonzo Church},
  title = {Logic, Arithmetic and Automata},
  booktitle = {Proceedings of the International Congress of
  	Mathematicians},
  year = {1962},
  pages = {23--35},
  missinginfo = {editor, publisher, address},
  rtnote = {In RHT collection.},
  topic = {history-of-computer-science;automata-theory;recursion-theory;}
  }

@incollection{ church_a:1962b,
  author = {Alonzo Church},
  title = {Mathematics and Logic},
  booktitle = {Logic, Methodology, and Philosophy of Science: Proceedings
  		of the 1960 International Congress},
  publisher = {Stanford University Press},
  year = {1962},
  editor = {Ernest Nagel and Patrick Suppes and Alfred Tarski},
  pages = {181--186},
  address = {Stanford, California},
  topic = {foundations-of-mathematics;logicism;}
  }

@inproceedings{ church_a:1964a,
  author = {Alonzo Church},
  title = {A History of the Question of Existential Import of
  	Categorial Propositions},
  booktitle = {International Congress for Logic, Methodology and
  	Philosophy of Science},
  publisher = {North-Holland Publishing Company},
  year = {1964},
  pages = {789--811},
  address = {Amsterdam},
  rtnote = {In RHT collection.},
  topic = {(non)existence;history-of-logic;}
  }

@incollection{ church_a:1968a,
  author = {Alonzo Church},
  title = {Paul {J}. {C}ohen and the Continuum Hypothesis},
  booktitle = {Proceedings of International Congress of Mathematicians},
  year = {1968},
  missinginfo = {Editor, publisher, pages, address.},
  topic = {continuum-hypothesis;set-theory;}
  }

@unpublished{ church_a:1970a,
  author = {Alonzo Church},
  title = {Intensionality and the Paradox of the Name Relation},
  year = {1970},
  note = {Unpublished manuscript, UCLA.},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  rtnote = {This is a good historical reference on the evening-star
  	morning-star paradox.},
  topic = {Frege;Russell;proper-names;intensionalty;reference;}
  }

@unpublished{ church_a:1971a,
  author = {Alonzo Church},
  title = {The Formal Theory of Meaning},
  year = {1971},
  note = {Unpublished manuscript, Princeton University},
  rtnote = {In RHT collection.},
  topic = {foundations-of-semantics;}
  }

@article{ church_a:1973a,
  author = {Alonzo Church},
  title = {Outline of a Revised Formulation of the Logic of
  	Sense and Denotation (Part {I})},
  journal = {No\^us},
  year = {1973},
  volume = {7},
  number = {1},
  pages = {24--33},
  rtnote = {In RHT collection.},
  topic = {logic-of-sense-and-denotation;Frege;}
  }

@article{ church_a:1974a,
  author = {Alonzo Church},
  title = {Outline of a Revised Formulation of the Logic of
  	Sense and Denotation (Part {II})},
  journal = {No\^us},
  year = {1974},
  volume = {8},
  pages = {135--156},
  rtnote = {In RHT collection.},
  topic = {logic-of-sense-and-denotation;Frege;}
  }

@article{ church_a:1974b,
  author = {Alonzo Church},
  title = {Russellian Simple Type Theory},
  journal = {Proceedings of the American Philosophical Association},
  year = {1974},
  volume = {47},
  pages = {21--33},
  rtnote = {In RHT collection.},
  missinginfo = {number},
  note = {Presidential address delivered at the Forty-eighth Annual
  		Meeting of the Pacific Division of the American
		Philosophical Association},
  topic = {Russell;higher-order-logic;}
  }

@article{ church_a:1976a,
  author = {Alonzo Church},
  title = {Comparison of {R}ussell's Resolution of the Semantical
		Antinomies with that of {T}arski},
  journal = {Journal of Symbolic Logic},
  year = {1976},
  volume = {41},
  pages = {747--760},
  missinginfo = {number},
  topic = {Russell;Tarski;ramified-type-theory;semantic-paradoxes;}
  }

@unpublished{ church_a:1980a,
  author = {Alonzo Church},
  title = {The Principle of Individuation for Propositions in the
		Logic of Principia Mathematica},
  year = {1980},
  note = {Abstract of a Lecture Given at the University of Wisconsin,
		May 2, 1980},
  rtnote = {In RHT collection.},
  topic = {ramified-type-theory;propositions;}
  }

@unpublished{ church_a:1981a,
  author = {Alonzo Church},
  title = {Axioms for Functional Calculi of Higher Order},
  year = {1981},
  note = {Unpublished Manuscript, University of California at
		Los Angeles},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a wild guess.},
  topic = {higher-order-logic;}
  }

@unpublished{ church_a:1981b,
  author = {Alonzo Church},
  title = {Outline of a Revised Version of the Logic of
		Sense and Denotation},
  year = {1981},
  note = {Unpublished Manuscript, University of California at
		Los Angeles},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a wild guess.},
  topic = {Frege;logic-of-sense-and-denotation;}
  }

@unpublished{ church_a:1981c,
  author = {Alonzo Church},
  title = {Russellian Simple Type Theory},
  year = {1981},
  note = {Unpublished Manuscript, University of California at
		Los Angeles},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a wild guess.},
  topic = {higher-order-logic;Russell;}
  }

@unpublished{ church_a:1981d,
  author = {Alonzo Church},
  title = {A Revised Version of the Logic of
		Sense and Denotation.  Alternative (1).},
  year = {1981},
  note = {Unpublished Manuscript, University of California at
		Los Angeles},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a wild guess.},
  topic = {Frege;logic-of-sense-and-denotation;}
  }

@unpublished{ church_a:1981e,
  author = {Alonzo Church},
  title = {Intensionality and the Paradox of the Name Relation},
  year = {1983},
  note = {Unpublished manuscript, Princeton University.},
  rtnote = {In RHT collection.},
  topic = {intensionality;reference;}
  }

@article{ church_a:1984a,
  author = {Alonzo Church},
  title = {Russell's Theory of Identity of Propositions},
  year = {1984},
  journal = {Philosophia Naturalis},
  volume = {21},
  pages = {513--522},
  rtnote = {In RHT collection.},
  topic = {Russell;propositions;}
  }

@article{ church_a:1993a,
  author = {Alonzo Church},
  title = {A Revised Formulation of the Logic of Sense and
          Denotation. {A}lternative (1)},
  journal = {No\^us},
  year = {1993},
  volume = {27},
  pages = {141--157},
  topic = {Frege;intensional-logic;logic-of-sense-and-denotation;}
  }

@incollection{ church_k-gale_w:1995a,
  author = {Kenneth Church and William Gale},
  title = {Inverse Document Frequency (IDF): A Measure of Deviations
  		from {P}oisson},
  booktitle = {Proceedings of the Third Workshop on Very
		Large Corpora},
  publisher = {Association for Computational Linguistics},
  year = {1995},
  editor = {David Yarowsky and Kenneth W. Church},
  pages = {121--130},
  address = {Somerset, New Jersey},
  topic = {statistical-nlp;word-frequencies;}
  }

@mastersthesis{ church_kw:1980a,
  author = {Kenneth W. Church},
  title = {On Memory Limitations in Natural Language Processing},
  school = {Electrical Engineering and Computer Science},
  year = {1980},
  type = {Ph.{D}. Dissertation},
  address = {Cambridge, Massachusetts},
  rtnote = {In RHT Collection.  CS MS shelves.},
  topic = {parsing-algorithms;}
 }

@book{ church_kw:1983a,
  author = {Kenneth W. Church},
  title = {Phrase-Structure Parsing: A Method for Taking Advantage of
  	Allophonic Constraints},
  publisher = {Indiana University Linguistics Club},
  year = {1983},
  address = {310 Lindley Hall, Indiana University, Bloomington,
  	Indiana 46405},
  rtnote = {In RHT collection.  Shelf.},
  topic = {speech-recognition;}
 }

@incollection{ church_kw-etal:1981a,
  author = {Kenneth W. Church and William Gale and Patrick Hanks and
     		Donald Hindle},
  title = {Parsing, Word Association, and
		Typical Predicate-Argument Relations},
  booktitle = {Current Issues in Parsing Technology},
  publisher = {Kluwer Academic Publishers},
  year = {1981},
  editor = {Masaru Tomita},
  pages = {103--112},
  address = {Dordrecht},
  topic = {parsing-algorithms;}
  }

@article{ church_kw-gale_wa:1991a,
  author = {Kenneth W. Church and William Gale},
  title = {A Comparison of the Enhanced {G}ood-{T}uring and
  	Deleted Estimation Methods for Estimating Probabilities
	of {E}nglish Bigrams},
  journal = {Computer Speech and Language},
  year = {1991},
  volume = {5},
  pages = {19--54},
  missinginfo = {number},
  topic = {statistical-nlp;frequency-estimation;}
  }

@inproceedings{ church_kw-gale_wa:1995a,
  author = {Kenneth W. Church and William A. Gale},
  title = {Inverse Document Frequency (IDF):
      A Measure of Deviations from {P}oisson},
  booktitle = {Proceedings of the Third Workshop on Very
		Large Corpora},
  year = {1995},
  editor = {David Yarovsky and Kenneth Church},
  pages = {121--130},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  rtnote = {In RHT collection.},
  topic = {corpus-linguistics;corpus-statistics;}
  }

@incollection{ churcher-etal:1997a,
  author = {Gavin E. Churcher and Eric S. Atwell and Clive
		Souter},
  title = {A Generic Template to Evaluate Integrated
		Components in Spoken Dialogue Systems},
  booktitle = {Interactive Spoken Dialog Systems:  Bridging
  	Speech and {NLP} Together in Real Applications},
  publisher = {Association for Computational Linguistics},
  year = {1997},
  editor = {Julia Hirschberg and Candace Kamm and Marilyn Walker},
  pages = {9--16},
  address = {New Brunswick, New Jersey},
  topic = {computational-dialogue;nlp-evaluation;}
  }

@book{ churchland_cs-sejnowski:1992a,
  author = {Patricia S. Churchland and Terrence J. Sejnowski},
  title = {The Computational Brain},
  publisher = {Cambridge, Mass.: MIT Press},
  year = {1992},
  address = {Cambridge},
  ISBN = {0262031884},
  rtnote = {UMich Undergraduate, Qp 356 .C481 1992.},
  xref = {Review: reeke:1996a.},
  topic = {foundations-of-cognitive-science;connectionism;}
}

@incollection{ churchland_pm:1989a,
  author = {Paul M. Churchland},
  title = {Folk Psychology and the Explanation
       		of Human Behavior},
  booktitle = {Philosophical Perspectives 3:
  	Philosophy of Mind and Action Theory},
  publisher = {Ridgeview Publishing Company},
  year = {1989},
  editor = {James E. Tomberlin},
  pages = {225--241},
  address = {Atasacadero, California},
  note = {Also available at http://www.jstor.org/journals/.},
  rtnote = {In RHT collection.},
  topic = {folk-psychology;foundations-of-cognitive-science;}
  }

@incollection{ churchland_pm:1995a,
  author = {Paul M. Churchland},
  title = {Machine Stereopsis: A Feedforward Network for Fast Stereo
           Vision with Movable Fusion Plane},
  booktitle = {Android Epistemology},
  publisher = {Cambridge University Press},
  year = {1995},
  editor = {Kenneth M. Ford and Clark Glymour and Patrick J. Hayes},
  pages = {279--306},
  address = {Cambridge, England},
  topic = {stereoscopic-vision;connectionist-models;}
  }

@incollection{ churchland_pm:1996a,
  author = {Paul M. Churchland},
  title = {Learning and Conceptual Change: The View from the
  		Neurons},
  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 = {7--43},
  address = {Oxford},
  topic = {connectionism;}
  }

@article{ churchland_pm:2005a,
  author = {Paul M. Churchland},
  title = {Functionalism at Forty: A Critical Perspective},
  journal = {The Journal of Philosophy},
  year = {2005},
  volume = {102},
  number = {1},
  pages = {33--50},
  topic = {functionalism;}
  }

@incollection{ cicekli-korkmaz:1998a,
  author = {Ilyas Cicekli and Turgay Korkmaz},
  title = {Generation of Simple {T}urkish Sentences with
  		Systemic-Functional Grammar},
  booktitle = {Proceedings of the Joint Conference on New Methods in
  	Language Processing and Computational Language Learning},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {David M.W. Powers},
  pages = {165--173},
  address = {Somerset, New Jersey},
  topic = {nl-generation;systemic-grammar;Turkish-language;}
  }

@article{ cichowsz:1995a,
  author = {Pawel Cicocz},
  title = {Truncating Temporal Differences: On the Efficient
  	Implementation of TD($\lambda$) for Reinforcement Learning},
  journal = {Journal of Artificial Intelligence Research},
  year = {1995},
  volume = {2},
  pages = {287--318},
  rtnote = {In RHT collection.},
  topic = {machine-learning;}
  }

@article{ cieslinski:2003a,
  author = {Cesary Cie\'sli\'nski},
  title = {L\"ob's Theorem in a Set-Theoretical Setting},
  journal = {Studia Logica},
  year = {2003},
  volume = {75},
  number = {3},
  pages = {319--328},
  topic = {provability-logic;}
  }

@techreport{ cimati-serafini:1993a1,
  author = {Alessandro Cimatti and Luciano Serafini},
  title = {Multiagent Reasoning with Belief Contexts: The Approach
  	and a Case Study},
  institution = {Istituto per la Ricerca Scientifica e Tecnologica},
  number = {9312--01},
  year = {1993},
  address = {Trento},
  xref = {Conference Publication: cimati-serafini:1993a2.},
  topic = {reasoning-about-knowledge;epistemic-logic;context;}
  }

@techreport{ cimatti-etal:1997a,
  author = {Alessandro Cimatti and Enrico Giunchiglia and Fausto
  	Giunchiglia and Paolo Traverso},
  title = {Planning via Model Checking:  A Decision Procedure for
  	{AR}},
  institution = {Istituto per la Ricerca Scientifica e Tecnologica},
  number = {9705--02},
  year = {1997},
  address = {Trento},
  rtnote = {In RHT collection.},
  topic = {planning-formalisms;model-checking;}
  }

@article{ cimatti-etal:2003a,
  author = {Alessandro Cimatti and A. Pistore and M, Rovero
  	and Paolo Traverso},
  title = {Weak, Strong, and Strong Cyclic Planning via
  	Symbolic Model Checking},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {147},
  number = {1--2},
  pages = {35--84},
  topic = {planning-algorithms;model-checking;
  	reasoning-about-uncertainty;}
  }

@article{ cimatti-etal:2004a,
  author = {Alessandro Cimatti and M. Roveri and P.G. Bertoli},
  title = {Conformant Planning via Symbolic Model Checking and
  		Heuristic Search},
  journal = {Artificial Intelligence},
  year = {2004},
  volume = {159},
  number = {1--2},
  pages = {127--206},
  topic = {planning;reasoning-about-uncertainty;model-checking;}
  }

@incollection{ cimatti-serafini:1993a2,
  author = {Alessandro Cimatti and Luciano Serafini},
  title = {Multiagent Reasoning with Belief Contexts: The Approach
  	and a Case Study},
  booktitle = {Intelligent Agents: Proceedings of the
  	1994 Workshop on Agent Theories, Architectures, and
	Languages (ATAL--94)},
  publisher = {Springer-Verlag},
  year = {1995},
  editor = {Michael J. Wooldrige and Nicholas R. Jennings},
  pages = {71--85},
  address = {Berlin},
  xref = {Technical Report: cimati-serafini:1993a1.},
  topic = {reasoning-about-knowledge;epistemic-logic;context;}
  }

@techreport{ cimatti-serafini:1994a1,
  author = {Alessandro Cimatti and Luciano Serafini},
  title = {Multiagent Reasoning with Belief Contexts {II}: Elaboration
  	Tolerance},
  institution = {Istituto per la Ricerca Scientifica e Tecnologica},
  number = {9412--09},
  year = {1994},
  address = {Trento},
  rtnote = {In RHT collection.},
  xref = {Conference Publication: cimati-serafini:1994a2.},
  topic = {reasoning-about-knowledge;epistemic-logic;context;}
  }

@inproceedings{ cimatti-serafini:1994a2,
  author = {Alessandro Cimatti and Luciano Serafini},
  title = {Multi-Agent Reasoning with Belief Contexts {II}:
         Elaboration Tolerance},
  booktitle = {Proceedings of the First International Conference on
  	Multi-Agent Systems ({ICMAS}-95)},
  pages = {57--64},
  note = {Also IRST-Technical Report 9412-09, IRST, Trento, Italy.
        {\em Commonsense-96}, Third Symposium on Logical
        Formalizations of Commonsense Reasoning, Stanford
        University, 1996},
  year = {1996},
  xref = {Technical Report: cimati-serafini:1994a1.},
  topic = {context;epistemic-logic;context;}
   }

@incollection{ cimatti-serafini:2000a,
  author = {Alessandro Cimatti and Luciano Serafini},
  title = {A Context-Based Mechanization of Multi-Agent Reasoning},
  booktitle = {Formal Aspects of Context},
  publisher = {Kluwer Academic Publishers},
  year = {2000},
  editor = {Pierre Bonzon and Marcos Cavalcanti and Rolf Nossum},
  pages = {65--83},
  address = {Dordrecht},
  topic = {context;contextual-reasoning;mutual-belief;multimodal-logic;}
  }

@phdthesis{ cioch:1985a,
  author = {Frank Anthony Cioch},
  title = {Software Understandability:  An Empirical Study (Comprehension,
  		Requirements, Specifications, Expertise, Methodology)},
  school = {Computer Science, University of Michigan},
  year = {1985},
  type = {Ph.D. Dissertation},
  address = {Ann Arbor, Michigan},
  contentnote = {Summary: The dramatic advances in computer hardware
       technology have been accompanied by intensified demands for
       understandable software.  The understandability issue appears
       at every stage in the software life-cycle. Requirements
       specifications must be understandable to both user and
       designer.  Numerous design techniques and programming language
       constructs have evolved in response to the understandability
       requirement. Maintenance programmers often must understand
       software planned, designed, coded, and used by Note: others.
       Software must be easy to learn and easy to use; thus,
       understanding is a central theme. Although evaluation of the
       many software and notational tools and techniques is of
       central concern, understanding has proved difficult to
       measure. Many different types of definitions have been
       employed in efforts to measure it. It is necessarily a
       multi-faceted construct requiring multiple measures to
       encompass its complexity.  The conceptualization and
       measurement of understanding are central to this dissertation.
       Cognitive theory provided a basis for the development of the
       measures while dimensional analysis was used to empirically
       validate the structure of the construct. An empirical
       investigation of the nature of understanding in the context of
       the human/computer interface was performed. Programmer and
       nonprogrammer understanding of requirements specifications
       written in structured English and Structured Analysis was
       studied experimentally. The results showed that understanding
       is, in fact, multidimensional.  Further, specification
       language and programming expertise differed in their effects
       on understanding. In the case of low-level details of system
       operation, programming expertise had a significant effect
       using either specification language. For the more conceptual
       requirements of task-environment understanding, the advantage
       of programming expertise was evident only in the case of
       structured English.  Programmers who read Structured Analysis
       were able to perform no better than nonprogrammers. In
       addition, the results for the subjective dimensions of
       understanding were not entirely parallel and provided a
       broader perspective on the effects of programming expertise
       and specification language on understanding.},
  rtnote = {UMich Graduate Library  Call No: DISS 19602},
  topic = {software-engineering;}
 }

@inproceedings{ ciocoiu-nau:2000a,
  author = {Mihai Ciocoiu and Dana S. Nau},
  title = {Ontology-Based Semantics},
  booktitle = {{KR}2000: Principles of Knowledge Representation and
  	Reasoning},
  year = {2000},
  editor = {Anthony G. Cohn and Fausto Giunchiglia and Bart Selman},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  pages = {539--546},
  topic = {computational-ontology;knowledge-integration;}
  }

@incollection{ ciorba:1996a,
  author = {Viorica Ciorba},
  title = {A Query Answering Algorithm for
          {L}ukaszewicz' General Open Default Theory},
  booktitle = {Logics in Artificial Intelligence: European Workshop,
  	{Jelia}'96, Ivora, Portugal, September 30 - October 3,
	1996.},
  publisher = {Springer-Verlag},
  year = {1996},
  editor = {Jos\'e J\'ulio Alferes and Lu\'is Moniz Pereira and Ewa Orlowska},
  pages = {208--223},
  address = {Berlin},
  topic = {default-logic;default-reasoning;nonmonotonic-reasoning-algorithms;}
  }

@article{ cipria-roberts_c:2000a,
  author = {Alicia Cipria and Craige Roberts},
  title = {Spanish {\em Imperfecto} and {\em Pr\'eterito}:
  		Truth Conditions and {A}ktionsart Effects
		in a Situation Semantics},
  journal = {Natural Language Semantics},
  year = {2000},
  volume = {8},
  number = {4},
  pages = {297--347},
  topic = {Spanish-language;situation-semantics;Aktionsarten;
  	tense-aspect;}
  }

@inproceedings{ ciskowski:2001a,
  author = {Piotr Ciskowski},
  title = {{VC}-Dimension of a Context-Dependent Perceptron},
  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 = {429--432},
  address = {Berlin},
  topic = {context;connetionist-models;}
  }

@inproceedings{ cisowski:2003a,
  author = {Piort Cisowski},
  title = {Contextual Modeling Using Context-Dependent
    		Feedforward Neural Nets},
  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 = {435--442},
  address = {Berlin},
  topic = {context;connectionist-models;}
  }

@article{ clancey:1983a,
  author = {William J. Clancey},
  title = {The Epistemology of a Rule-Based Expert System: a
  	Framework for Explanation},
  journal = {Artificial Intelligence},
  year = {1983},
  volume = {20},
  number = {3},
  pages = {215--251},
  xref = {Commentary: clancey:1993b.},
  topic = {kr;explanation;kr-course;}
  }

@article{ clancey:1985a,
  author = {William J. Clancey},
  title = {Heuristic Classification},
  journal = {Artificial Intelligence},
  year = {1985},
  volume = {27},
  number = {3},
  pages = {285--350},
  xref = {Commentary: clancey:1993a.},
  acontentnote = {Abstract:
     A broad range of well-structured problems -- embracing forms of
     diagnosis, catalog selection, and skeletal planning -- are solved
     in `expert systems' by the methods of heuristic classification.
     These programs have a characteristic inference structure that
     systematically relates data to a pre-enumerated set of solutions
     by abstraction, heuristic association, and refinement. In
     contrast with previous descriptions of classification reasoning,
     particularly in psychology, this analysis emphasizes the role of
     a heuristic in routine problem solving as a non-hierarchical,
     direct association between concepts. In contrast with other
     descriptions of expert systems, this analysis specifies the
     knowledge needed to solve a problem, independent of its
     representation in a particular computer language. The heuristic
     classification problem-solving model provides a useful framework
     for characterizing kinds of problems, for designing
     representation tools, and for understanding non-classification
     (constructive) problem-solving methods.},
  topic = {kr;foundations-of-knowledge-engineering;problem-solving;
  	expert-systems;kr-course;heuristics;}
 }

@article{ clancey:1985b,
  author = {William J.  Clancey},
  title = {Review of \emph{{C}onceptual Structures: Information
  	Processing in Mind and Machine}, by {J}ohn {F}. {S}owa},
  journal = {Artificial Intelligence},
  year = {1985},
  volume = {27},
  number = {1},
  pages = {113--124},
  topic = {kr;cognitive-semantics;visual-reasoning;}
  }

@article{ clancey:1992a,
  author = {William J. Clancey},
  title = {Model Construction Operators},
  journal = {Artificial Intelligence},
  year = {1992},
  volume = {53},
  number = {2--3},
  pages = {1--115},
  acontentnote = {Abstract: Expert systems can be viewed as programs
     that construct a model of somesystem in the world so that it can
     be assembled, repaired, controlled, etc.In contrast with most
     conventional computer programs, these models representprocesses
     and structures by relational networks. Control knowledge
     forconstructing such a model can be described as operators that
     construct agraph linking processes and structures causally,
     temporally, spatially, bysubtype, etc. From this perspective, we
     find that the terminology ofblackboard expert systems is not
     specific to a particular set of programs, but is rather a
     valuable perspective for understanding what every expert system
     is doing.This paper reviews different ways of describing expert
     system reasoning,emphasizing the use of simple logic, set, and
     graph notations for makingdimensional analyses of modeling
     languages and inference methods. The practical question is, how
     can we systematically develop knowledge acquisition tools that
     capture general knowledge about types of domains and modeling
     methods?  Examples of modeling operators from ABEL,
     CADUCEUS,NEOMYCIN, HASP, and ACCORD demonstrate how diverse
     expert system approachescan be explained and integrated by the
     model construction perspective.  Reworked examples from TEIRESIAS,
     XPLAIN, and KNACK illustrate how to writemetarules without using
     domain-specific terms, thus making explicit theirmodel
     construction nature.  Generalizing from these observations, we
     combinethe system-model and operator viewpoints to describe the
     representation ofprocesses in AI programs in terms of three
     nested levels of domain,inference, and communication modeling.
     This synthesis reveals how the use ofrelational networks in
     computer programs has evolved from programmerdescriptions of
     computational processes (such as flowcharts and
     dataflowdiagrams) to network representations that are
     constructed and manipulated by the programs themselves.
   },
  topic = {expert-systems;domain-modeling;knowledge-acquisition;}
  }

@article{ clancey:1993a,
  author = {William J. Clancey},
  title = {Notes on `Heuristic Classification'},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {59},
  number = {1--2},
  pages = {191--196},
  xref = {Commentary on clancey:1985a.},
  topic = {kr;foundations-of-knowledge-engineering;expert-systems;
  	kr-course;}
  }

@article{ clancey:1993b,
  author = {William J. Clancey},
  title = {Notes on `Epistemology of a Rule-Based System'},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {59},
  number = {1--2},
  pages = {197--204},
  xref = {Commentary on: clancey:1983a.},
  topic = {kr;explanation;kr-course;}
  }

@article{ clancey-soloway:1990a,
  author = {William J. Clancey and Elliot Soloway},
  title = {Artificial Intelligence and Learning Environments:
  	Preface},
  journal = {Artificial Intelligence},
  year = {1990},
  volume = {42},
  number = {1},
  pages = {1--6},
  topic = {intelligent-tutoring;}
  }

@article{ clancy:1972a,
  author = {Patricia Clancy},
  title = {Analysis of a Conversation},
  journal = {Anthropological Linguistics},
  year = {1972},
  volume = {14},
  number = {3},
  pages = {78--86},
  rtnote = {pragmatics-course;},
  topic = {conversation-analysis;discourse;pragmatics;}
  }

@article{ clapp:1995a,
  author = {Leonny Clapp},
  title = {How to Be Direct and Innocent: A Criticism of {C}rimmins and
  	{P}erry's Theory of Attitude Ascriptions},
  journal = {Linguistics and Philosophy},
  year = {1995},
  volume = {18},
  number = {5},
  pages = {529--565},
  topic = {propositional-attitudes;philosophy-of-language;}
  }

@unpublished{ clapp:2000a,
  author = {Lenny Clapp},
  title = {Beyond Sense and Reference: An Alternative Response to
  	the Problem of Opacity},
  year = {2000},
  note = {Unpublished manuscript, Illinois Wesleyan University},
  rtnote = {In RHT collection.},
  topic = {intensionality;compositionality;propositional-attitudes;
  	philosophy-of-language;}
  }

@article{ clapp:2001a,
  author = {Lenny Clapp},
  title = {Disjuctive Properties, Multiple Realizations},
  journal = {The Journal of Philosophy},
  year = {2000},
  volume = {98},
  number = {3},
  pages = {111--136},
  topic = {mind-body-problem;disjunctive-properties;}
  }

@article{ clapp:2002a,
  author = {Lenny Clapp},
  title = {Review of \emph{{S}cientific Essentialism}, by {B}rian {E}llis},
  journal = {The Philosophical Review},
  year = {2000},
  volume = {111},
  number = {4},
  pages = {589--594},
  xref = {Review of: ellis_b:2001a.},
  topic = {philosophy-of-science;dispositionals;events;causality;
  	essentialism;}
 }

@incollection{ clark_a1:1996a,
  author = {Andy Clark},
  title = {Introduction},
  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 = {1--6},
  address = {Oxford},
  topic = {philosophy-of-mind;foundations-of-cognitive-science;
  		connectionism;}
  }

@article{ clark_a1:1998a,
  author = {Andy Clark},
  title = {Time and Mind},
  journal = {The Journal of Philosophy},
  year = {1998},
  volume = {95},
  number = {7},
  pages = {354--376},
  xref = {A reply to vangelder_t:1995a.},
  topic = {foundations-of-cognition;}
  }

@book{ clark_a1:2003a,
  author = {Andy Clark},
  title = {Natural-Born Cyborgs:  Minds, Technologies, and the
  		Future of Human Intelligence},
  publisher = {Oxford University Press},
  year = {2003},
  address = {Oxford},
  ISBN = {0-19-51751-7},
  topic = {social-impact-of-computation;AI-editorial;}
 }

@book{ clark_a1-etal:1996a,
  editor = {Andy Clark and Jes\'us Ezquerro and Jes\'us M. Larrazabal},
  title = {Philosophy and Cognitive Science},
  publisher = {Kluwer Academic Publishers},
  year = {1996},
  address = {Dordrecht},
  topic = {cognitive-science-general;}
 }

@book{ clark_a1-toribio:1986a,
  editor = {Andy Clark and Josefa Toribio},
  title = {Uncertainty in Artificial Intelligence, {V}olume 1},
  publisher = {Elsevier Science Publishers},
  year = {1986},
  address = {Amsterdam},
  rtnote = {Media Union Library Q335 .U531},
  topic = {uncertainty-in-AI;}
 }

@book{ clark_a1-toribio:1988a,
  editor = {Andy Clark and Josefa Toribio},
  title = {Uncertainty in Artificial Intelligence, {V}olume 2},
  publisher = {Elsevier Science Publishers},
  year = {1988},
  address = {Amsterdam},
  rtnote = {Media Union Library Q335 .U531},
  topic = {uncertainty-in-AI;}
 }

@book{ clark_a1-toribio:1989a,
  editor = {Andy Clark and Josefa Toribio},
  title = {Uncertainty in Artificial Intelligence, {V}olume 3},
  publisher = {Elsevier Science Publishers},
  year = {1989},
  address = {Amsterdam},
  rtnote = {Media Union Library Q335 .U531},
  topic = {uncertainty-in-AI;}
 }

@book{ clark_a1-toribio:1990a,
  editor = {Andy Clark and Josefa Toribio},
  title = {Uncertainty in Artificial Intelligence, {V}olume 4},
  publisher = {Elsevier Science Publishers},
  year = {1990},
  address = {Amsterdam},
  rtnote = {Media Union Library Q335 .U531},
  topic = {uncertainty-in-AI;}
 }

@book{ clark_a1-toribio:1990b,
  editor = {Andy Clark and Josefa Toribio},
  title = {Uncertainty in Artificial Intelligence, {V}olume 5},
  publisher = {Elsevier Science Publishers},
  year = {1990},
  address = {Amsterdam},
  rtnote = {Media Union Library Q335 .U531},
  topic = {uncertainty-in-AI;}
 }

@book{ clark_a1-toribio:1991a,
  editor = {Andy Clark and Josefa Toribio},
  title = {Uncertainty in Artificial Intelligence, {V}olume 6},
  publisher = {Elsevier Science Publishers},
  year = {1991},
  address = {Amsterdam},
  rtnote = {Media Union Library Q335 .U531},
  topic = {uncertainty-in-AI;}
 }

@book{ clark_a1-toribio:1998d,
  editor = {Andy Clark and Josefa Toribio},
  title = {Machine Intelligence: Perspectives on the Computational Model},
  Publisher = {Garland Publishing},
  year = {1998},
  address = {New York},
  ISBN = {0815327684},
  rtnote = {UMich Media Union Library, Q 335 .M1731 1998.},
  contentnote = {TC:
     1.  A.M. Turing, "Computing Machinery and Intelligence"
     2.  John Haugeland, "Semantic Engines: An Introduction to Mind
     		Design"
     3.  John R. Searle, "Mind, brains, and programs"
     4.  Stevan Harnad, "Symbol Grounding Problem"
     5.  Paul M.  Churchland and Patricia Smith Churchland, "Could a
     		Machine Think?"
     6.  David J. Chalmers, "On Implementing a Computation"
     7.  Allen Newell, "You Can't Play 20 Questions with
     		Nature and Win: Projective Comments on the Papers of
		this Symposium"
     8.  David Marr, "Artificial Intelligence: A Personal View"
     9.  George N. Reeke, Jr. and Gerald M. Edelman, "Real Brains and
     		Artificial Intelligence"
    10.  Hubert L. Dreyfus and Stuart E. Dreyfus, "Making a Mind
    		Versus Modeling the Brain: Artificial Intelligence
		Back at a Branchpoint"
    11.  David Israel and John Perry, "What Is Information?"
    12.  David Kirsh, "When is Information Explicitly Represented?"
    13.  Fred Dretske, "Machines and the mental", pp.
    14.  Daniel C. Dennett.  "Ways of Establishing Harmony"
  },
  topic = {foundations-of-cogsci;}
 }

@book{ clark_a1-toribo:1998a,
  editor = {Andy Clark and Josefa Toribo},
  title = {Artificial Intelligence and Cognitive Science: Machine
  	Intelligence},
  publisher = {Garland Publishing},
  year = {1998},
  volume = {1},
  address = {Levittown, Pennsylvania},
  ISBN = {0815327684},
  topic = {cognitive-science-survey;philosophy-AI;AI-survey;}
 }

@book{ clark_a1-toribo:1998b,
  editor = {Andy Clark and Josefa Toribo},
  title = {Artificial Intelligence and Cognitive Science: Cognitive
  	Architectures in Artificial Intelligence},
  publisher = {Garland Publishing},
  year = {1998},
  volume = {2},
  address = {Levittown, Pennsylvania},
  topic = {cognitive-science-survey;cognitive-architectures;}
 }

@book{ clark_a1-toribo:1998c,
  editor = {Andy Clark and Josefa Toribo},
  title = {Artificial Intelligence and Cognitive Science: Consciousness
  	and Emotion in Cognitive Science},
  publisher = {Garland Publishing},
  year = {1998},
  volume = {3},
  address = {Levittown, Pennsylvania},
  topic = {cognitive-science-survey;consciousness;emotion;}
 }

@book{ clark_a1-toribo:1998d,
  editor = {Andy Clark and Josefa Toribo},
  title = {Artificial Intelligence and Cognitive Science: Language
  	and Meaning in Cognitive Science},
  publisher = {Garland Publishing},
  year = {1998},
  volume = {4},
  address = {Levittown, Pennsylvania},
  topic = {cognitive-science-survey;philosophy-of-language;}
 }

@incollection{ clark_a2:2000a,
  author = {Alexander Clark},
  title = {Inducing Syntactic Categories by Context
            Distribution Clustering},
  booktitle = {Proceedings of the Fourth Conference on Computational
  	Natural Language Learning and of the Second Learning Language
	in Logic Workshop, {L}isbon, 2000},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  editor = {Claire Cardie and Walter Daelemans and Claire N\'edellec
  	and Erik Tjong Kim Sang},
  pages = {91--94},
  address = {Somerset, New Jersey},
  topic = {machine-language-learning;syntactic-categories;grammar-learning;}
  }

@book{ clark_a3:1993a,
  author = {Austen Clark},
  title = {Sensory Qualities},
  publisher = {Oxford University Press},
  year = {1993},
  address = {Oxford},
  ISBN = {0198240015},
  rtnote = {UMich Graduate Library BD 214 .C531 1993},
  topic = {philosophy-of-perception;}
 }

@article{ clark_b:1993a,
  author = {Billy Clark},
  title = {Relevance and `Pseudo-Imperatives'},
  journal = {Linguistics and Philosophy},
  year = {1993},
  volume = {16},
  number = {1},
  pages = {79--121},
  topic = {indirect-speech-acts;pseudo-imperatives;}
  }

@incollection{ clark_hh:1975a,
  author = {Herbert H. Clark},
  title = {Bridging},
  booktitle = {Theoretical Issues in Natural Language Processing},
  publisher = {The {MIT} Press},
  year = {1975},
  editor = {Roger C. Schank and Bonnie Nash-Webber},
  address = {Cambridge, Massachusetts},
  missinginfo = {pages},
  topic = {definite-descriptions;discourse;discourse-structure;
  	nm-ling;pragmatics;bridging-anaphora;}
  }

@article{ clark_hh:1979a,
  author = {Herbert H. Clark},
  title = {Responding to Indirect Speech Acts},
  journal = {Cognitive Psychology},
  year = {1979},
  volume = {11},
  pages = {430--477},
  missinginfo = {number},
  topic = {indirect-speech-acts;pragmatics;psychology-of-discourse;}
  }

@incollection{ clark_hh:1983a,
  author = {Herbert H. Clark},
  title = {Making Sense of Nonce Sense},
  booktitle = {The Process of Language Understanding},
  publisher = {John Wiley and Sons},
  year = {1983},
  editor = {G.B. Flores d'Arcais and R.J. Jarvella},
  pages = {297--331},
  address = {London},
  xref = {Republished in clark_hh:1992a.},
  rtnote = {pragmatics-course;},
  topic = {nonce-sense;pragmatics;psychology-of-discourse;}
  }

@article{ clark_hh:1987a,
  author = {Herbert H. Clark},
  title = {Relevant to What?},
  journal = {Behavioral and Brain Sciences},
  year = {1987},
  volume = {10},
  pages = {714--715},
  missinginfo = {number},
  topic = {implicature;relevance;psychology-of-discourse;}
  }

@incollection{ clark_hh:1991b,
  author = {Herbert H. CLark},
  title = {Words, the World, and Their Possibilities},
  booktitle = {The Perception of Structure},
  publisher = {Americal Psychological Association},
  year = {1991},
  editor = {Gregory R. Lockhead and James R. Pomerantz},
  address = {Washington, {DC}},
  xref = {Republished in clark_hh:1992a.},
  topic = {lexical-semantics;context;}
  }

@book{ clark_hh:1992a,
  author = {Herbert Clark},
  title = {Arenas of Language Use},
  publisher = {University of Chicago Press},
  year = {1992},
  address = {Chicago},
  contentnote = {TC:
       1. "Definite Reference and Mutual Knowledge"
       2. "Context for Comprehension"
       3. "Common Ground and the Understanding of Demonstrative
       		Reference"
       4. "Referring as a Collaborative Process"
       5. "Contributing to Discourse"
       6. "Understanding by Addressees and Overhearers"
       7. "Hearers and Speech Acts"
       8. "Dealing with Overhearers"
       9. "Concealing One's Meaning from Overhearers"
      10. "Making Sense of Nonce Sense"
      11. "Understanding Old Words with New Meanings"
      12. "Words, the World, and Their Possibilities"
  	},
  rtnote = {In RHT collection.  LLP authored shelves.},
  rtnote = {pragmatics-course;},
  topic = {mutual-belief;coord-in-conversation;discourse;
  	pragmatics;psychology-of-discourse;}
 }

@book{ clark_hh:1996a,
  author = {Herbert H. Clark},
  title = {Using Language},
  publisher = {Cambridge University Press},
  year = {1996},
  address = {Cambridge, England},
  rtnote = {In RHT collection.},
  contentnote = {TC:
        0. Introduction
  	1. Language Use
  	2. Joint Activities
  	3. Joint Actions
  	4. Common Ground
  	5. Meaning and Understanding
  	6. Signaling
  	7. Joint Projects
  	8. Grounding
  	9. Utterances
       10. Joint Commitment
       11. Conversation
       12. Layering
       13. Conclusion
  	},
  topic = {pragmatics;psychology-of-discourse;}
 }

@inproceedings{ clark_hh:1999a,
  author = {Herbert H. Clark},
  title = {How Do Real People Communicate with
			Virtual Partners?},
  booktitle = {Working Papers of the {AAAI} Fall Symposium on
  	Psychological Models of Communication in Collaborative
	Systems},
  year = {1999},
  editor = {Susan E

repository: sergiud/bibtex-spirit

repo_name: sergiud/bibtex-spirit