text:
;}
  }

@incollection{ conlon-etal:1994a,
  author = {Sumali Pin-Ngern Conlon and Joanne Dardaine and Agnes D'Souza
		and Martha Evens and Sherwood Haynes and Jong-Sun Kim
		and Robert Strutz},
  title = {The {IIT} Lexical Database: Dream
		and Reality},
  booktitle = {Current Issues in Computational Linguistics: Essays in
  	Honour of {D}on {W}alker},
  publisher = {Giardini Editori e Stampatori and Kluwer Academic
  	Publishers},
  year = {1994},
  editor = {Antonio Zampolli and Nicoletta Calzolari and Martha Palmer},
  pages = {201--225},
  address = {Pisa and Dordrecht},
  topic = {computational-lexicography;}
  }

@article{ connell-brady_m:1987a,
  author = {Jonathan H. Connell and Michael Brady},
  title = {Generating and Generalizing Models of Visual Objects},
  journal = {Artificial Intelligence},
  year = {1987},
  volume = {31},
  number = {2},
  pages = {159--183},
  acontentnote = {Abstract:
     We report on initial experiments with an implemented learning
     system whose inputs are images of two-dimensional shapes. The
     system first builds semantic network descriptions of shapes
     based on Brady's ``smoothed local symmetry'' representation. It
     learns shape models from them using a substantially modified
     version of Winston's ANALOGY program.  A generalization of Gray
     coding enables the representation to be extended and also allows
     a single operation, called ``ablation'', to achieve the effects
     of many standard induction heuristics. The program can learn
     disjunctions, and can learn concepts using only positive
     examples. We discuss learnability and the pervasive importance
     of representational hierarchies.},
  topic = {machine-learning;shape-recognition;}
  }

@inproceedings{ connolly:2001a,
  author = {John H. Connolly},
  title = {Context in the Study of Human Languages and Computer
  	Programming Languages: A Comparison},
  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 = {116--128},
  address = {Berlin},
  topic = {context;programming-languages;}
  }

@book{ connolly-pemberton:1996a,
  editor = {John H. Connolly and Lyn Pemberton},
  title = {Linguistic Concepts and Methods in {CSCW}},
  publisher = {Springer-Verlag},
  year = {1996},
  address = {Berlin},
  contentsnote = {TC:
  	1. John Connolly and Lyn Pemberton, "Introduction"
	2. Christine Cheepen and James Monaghan, "Linguistics and Task
		Analysis in CSCW"
	3. Katherine Morton, "Spoken Language and Speech Synthesis in
		CSWCW"
	4. Stephanie A. Robertson, "The Contribution of Genre to CSCW"
	5. Alison Newlands, Anne Anderson and Jim Mullin, "Dialogue
		Structure and Cooperative Task Performance
		in two CSCW Environments"
	6. Anthony Clarke, John Connolly, Steven Garner and Hilary
		Palmen, "A Language of Cooperation?"
	7. John Connolly, "Some Grammatical Characteristics of Cooperative
		Spoken Dialog in a CSCW Context"
	8. Pat Healey and Carl Vogel, A Semantic Framework for CSCW
	9. Julian Newman, "Semiotics, Information and Cooperation"
	10. Duska Rosenberg, "Socioinguistic Inquiriy + Situation
		Theory = Contribution to CSCW??"
	11. Lyn Pemberton, "Telltales and Overhearers: Participant Roles in
 		Electronic Mail Communication"
	12. John Levine and Chris Mellish, "CORECT: Using Natural
		Language Generation as an Integral Part of a CSCW
		Tool for Collaborative Requirements Capture"
	13. Christophe Godereaux, Korinna Diebel, Pierre-Oivier El
		Guedji, Frederic Revolta and Pierre Nugues,  "An
		Interactive Spoken Dialogue Interface to Virtual Worlds"
	14. Jeremy Fox, "Computer Mediated Communication in Foreign
		Language Learning"
	15. Larry Selinker, "Understanding the `Good and Bad Language
		Learner': CSCW as a Necessary Tool"
	},
  ISBN = {3-540-19984-5},
  xref = {Review: honeycutt:1998a},
  topic = {CSCW;nl-processing;}
 }

@incollection{ conrad:1988a,
  author = {Michael Conrad},
  title = {The Price of Programmability},
  booktitle = {The Universal {T}uring Machine: A Half-Century
  	Survey},
  publisher = {Oxford University Press},
  year = {1988},
  editor = {Rolf Herkin},
  pages = {285--307},
  address = {Oxford},
  topic = {foundations-of-computationcomplexity-theory;complexity;
  	theory-of-computation;}
  }

@article{ console-etal:2002a,
  author = {Luca Console and Claudia Picardi and Marina Ribaudo},
  title = {Process Algebras for Systems Diagnosis},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {142},
  number = {1},
  pages = {19--51},
  topic = {diagnosis;model-based-reasoning;process-algebras;}
  }

@incollection{ constable:1998a,
  author = {R.L. Constable},
  title = {Types in Logic, Mathematics, and  Programming},
  booktitle = {Handbook of Proof Theory},
  publisher = {Elsevier Science Publishers},
  year = {1998},
  editor = {Samuel R. Buss},
  pages = {683--786},
  address = {Amsterdam},
  xref = {Review: arai:1998k.},
  topic = {proof-theory;type-theory;}
 }

@book{ conte-etal:1977a,
  editor = {Amedeo G. Conte and Risto Hilpinen and Georg Henrik von Wright},
  title = {Deontische {L}ogik und {S}emantik},
  publisher = {Athenaion},
  year = {1977},
  address = {Wiesbaden},
  ISBN = {3799706453},
  rtnote = {UMich GRADUATE LIBRARY, BC 145 .D42.},
  topic = {deontic-logic;philosophy-of-language;}
 }

@unpublished{ contreras:1980a,
  author = {Heles Contreras},
  title = {On the Explanatory Adequacy of {M}ontague Grammar},
  year = {1980},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript, Linguistics Department, University
  	of Washington.},
  topic = {Montague-grammar;foundations-of-semantics;}
  }

@unpublished{ contreras:1980b,
  author = {Heles Contreras},
  title = {Discontinuous Constituents in {S}panish},
  year = {1980},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript, Linguistics Department, University
  	of Washington.},
  topic = {discontinuous-constituents;}
  }

@incollection{ conway_jh-etal:1977a,
  author = {J.H. Conway and M.S. Patterson and U.S.S.R. Moscow},
  title = {A Headache-Causing Problem},
  booktitle = {Een pak met een korte broek: Papers Presented to
  	H.W. Lenstra on the Occasion of the Publication of his
	``Euclisische Getallenlicamen''},
  editor = {J.K. Lenstra {et al.}},
  year = {1977},
  note = {Private Publication.},
  missinginfo = {A's 1st name.},
  rtnote = {Author's name a joke?  Ref from Halpern et al book.},
  topic = {Conway-paradox;}
  }

@book{ conway_mb:1997a,
  editor = {Martin A. Conway},
  title = {Cognitive Models of Memory},
  publisher = {The {MIT} Press},
  year = {1997},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-53148-8 (pbk)},
  topic = {cognitive-psychology;memory;memory-models;}
 }

@article{ cook_g:1990a,
  author = {Guy Cook},
  title = {Transcribing Infinity. Problems of Context Representation},
  journal = {Journal of Pragmatics},
  year = {1990},
  volume = {1},
  number = {1},
  pages = {1--24},
  topic = {context;}
  }

@incollection{ cook_j-gallagher:1994a,
  author = {J. Cook and John P. Gallagher},
  title = {A Transformation System for
     		Definite Programs Based on Termination Analysis},
  booktitle = {Logic Programming Synthesis and Transformation,
  	Meta-Programming in Logic: Fourth International Workshops,
	{LOBSTR}'94 and	{META}'94, Pisa, Italy},
  publisher = {Springer-Verlag},
  year = {1994},
  editor = {Laurent Fribourg and Franco Turini},
  pages = {51--68},
  address = {Berlin},
  topic = {logic-programming;}
  }

@article{ cook_jw:1965a,
  author = {John W. Cook},
  title = {Wittgenstein on Privacy},
  journal = {The Philosophical Review},
  year = {1965},
  volume = {74},
  number = {3},
  pages = {281--314},
  topic = {Wittgenstein;philosophy-of-mind;}
  }

@book{ cook_m:1994a,
  author = {Maeve Cook},
  title = {Language and Reason: A Study of {H}abermas's Pragmatics},
  publisher = {The {MIT} Press},
  year = {1994},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-53145-3},
  topic = {continental-philosophy;pragmatics;philosophy-of-language;}
 }

@article{ cook_rt:2004a,
  author = {Roy T. Cook},
  title = {Patterns of Paradox},
  journal = {Journal of Symbolic Logic},
  year = {2004},
  volume = {69},
  number = {3},
  pages = {767--774},
  topic = {semantic-paradoxes;}
  }

@article{ cook_rt:2005a,
  author = {Roy T. Cook},
  title = {What's Wrong with Tonk?},
  journal = {Journal of Philosophical Logic},
  year = {2004},
  volume = {34},
  number = {2},
  pages = {217--226},
  topic = {natural-deduction;logical-connectives;}
  }

@book{ cook_rt:2009a,
  author = {Roy T. Cook},
  title = {A Dictionary of Philosophical Logic},
  publisher = {Edinburgh University Press},
  year = {2009},
  address = {Edinburgh},
  ISBN = {978-0-7486-2559-8},
  topic = {philosophical-logic;}
 }

@article{ cook_rt:2009b,
  author = {Roy T. Cook},
  title = {Review of \emph{{S}elf-Reference}, edited by {T}homas
  	{B}olander, {V}incent {F}. {H}endricks, and
	{S}tig {A}ndur {P}edersen},
  journal = {Studia Logica},
  year = {2009},
  volume = {91},
  number = {2},
  pages = {139--144},
  xref = {Review of: bolander-etal:2006a},
  topic = {self-reference;semantic-paradoxes;}
  }

@inproceedings{ cook_sa:1971a,
  author = {Stephen A. Cook},
  title = {The Complexity of Theorem Proving Procedures},
  booktitle = {Proceedings of the Third {ACM} Symposium on
  	Theory of Computing},
  year = {1971},
  pages = {151--158},
  topic = {complexity-theory;}
  }

@article{ cook_sa:1983a,
  author = {Stepnen A. Cook},
  title = {An Overview of Computational Complexity},
  journal = {Communications of the Association for Computing Machinery},
  year = {1983},
  volume = {26},
  pages = {401--408},
  missinginfo = {number},
  topic = {complexity-theory;}
 }

@unpublished{ cook_sa:2000a,
  author = {Stepnen A. Cook},
  title = {The {P} Versus {NP} Problem},
  year = {2000},
  note = {Computer Science Department, University of Toronto.
  	Available at
	http://www.cs.toronto.edu/\user{}sacook/homepage/PvsNP.ps.},
  rtnote = {In RT Collection.  MT Summer 01},
  topic = {complexity-theory;P=NP-problem;}
 }

@book{ cook_vj:1988a,
  author = {Vivian J. Cook},
  title = {Chomsky's Universal Grammar: An Introduction},
  publisher = {Blackwell Publishers},
  year = {1988},
  address = {Oxford},
  topic = {nl-syntax;GB-syntax;}
 }

@book{ cooke_m:1994a,
  author = {Maeve Cooke},
  title = {Language and Reason},
  publisher = {The {MIT} Press},
  year = {1996},
  address = {Cambridge, Massachusetts},
  topic = {Habermas;continental-philosophy;pragmatics;}
 }

@article{ cooke_rm:1983a,
  author = {Roger M. Cooke},
  title = {A Result in {R}enyi's Conditional Probability Theory with
  	Application to Subjective Probability},
  journal = {Journal of Philosophical Logic},
  year = {1983},
  volume = {12},
  number = {1},
  pages = {19--32},
  topic = {probability;probability-kinematics;}
  }

@article{ cooke_rm:1986a,
  author = {Roger M. Cooke},
  title = {Conceptual Fallacies in Subjective Probability},
  journal = {Topoi},
  year = {1986},
  volume = {5},
  pages = {69--74},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {foundations-of-probability;}
  }

@book{ cooke_rm:1991a,
  author = {Roger M. Cooke},
  title = {Experts in Uncertainty},
  publisher = {Oxford University Press},
  year = {1991},
  address = {Oxford},
  rtnote = {In RHT collection.  Shelf.},
  topic = {foundations-of-probability;statistical-inference;}
 }

@article{ coolen:2006a,
  author = {F.P.A. Coolen},
  title = {On Nonparametric Predictive Inference and Objective
  		{B}ayesianism},
  journal = {Journal of Logic, Language, and Information},
  year = {2006},
  volume = {15},
  number = {1--2},
  pages = {21--47},
  topic = {statistical-inference;interval-based-probabilities;}
  }

@article{ cooley:1957a,
  author = {John C. Cooley},
  title = {Review of \emph{{F}act, Fiction and Forecast}, by {N}elson
  		{G}oodman},
  journal = {The Journal of Philosophy},
  year = {1957},
  volume = {54},
  missinginfo = {number},
  pages = {293--311},
  xref = {Review of: goodman_n:1955a.},
  topic = {conditionals;induction;(un)natural-predicates;}
  }

@book{ cooper_a:1995a,
  author = {Alan Cooper},
  title = {About Face: The Essentials of User Interface Design},
  publisher = {IDG Books Worldwide},
  year = {1995},
  address = {Foster City, California},
  ISBN = {1568843224 (pbk)},
  rtnote = {UMich Media Union Library, QA 76.9 .U83 C65 1995.},
  topic = {HCI;}
 }

@article{ cooper_de:1972a,
  author = {Devid E. Cooper},
  title = {Definitions and `Clusters'\,},
  journal = {Mind, New Series},
  year = {1972},
  volume = {81},
  number = {324},
  pages = {495--503},
  topic = {definitions;}
  }

@book{ cooper_de:1973a,
  author = {David E. Cooper},
  title = {Philosophy and the Nature of Language},
  publisher = {Longman},
  year = {1973},
  series = {Longman Linguistic Library},
  address = {London},
  contentnote = {TC:
		1. Introduction
		2. Meaning
		3. Meaning in Philosophy
		4. Language and culture
		5. Grammar and mind
		6. Truth, the a priori and synonymity
		7. Speech acts
	},
  topic = {philosopy-of-language;philosophy-and-linguistics;}
 }

@incollection{ cooper_de:1978a,
  author = {David E. Cooper},
  title = {The Deletion Argument},
  booktitle = {Contemporary Perspectives in the Philosophy of Language},
  publisher = {University of Minnesota Press},
  year = {1978},
  editor = {Peter A. French and Theodore E. {Uehling, Jr.} and Howard
  	K. Wettstein},
  pages = {189--194},
  address = {Minneapolis},
  topic = {philosophy-of-linguistics;linguistics-methodology;}
  }

@incollection{ cooper_de:1993a,
  author = {David E. Cooper},
  title = {Truth and Metaphor},
  booktitle = {Knowledge and Language: Volume {III}, Metaphor and
  	Knowledge},
  publisher = {Kluwer Academic Publishers},
  year = {1993},
  editor = {F.R. Ankersmit and J.J.A. Mooij},
  pages = {37--47},
  address = {Dordrecht},
  topic = {metaphor;pragmatics;}
  }

@article{ cooper_gf:1990a,
  author = {Gregory F. Cooper},
  title = {The Computational Complexity of Probabilistic Inference
  	using Bayesian Belief Networks},
  journal = {Artificial Intelligence},
  year = {1990},
  volume = {42},
  number = {3},
  pages = {393--405},
  topic = {complexity-in-AI;Bayesian-networks;}
  }

@inproceedings{ cooper_gf:1992a,
  author = {Gregory F. Cooper},
  title = {A {B}ayesian Method for Learning Belief Networks that Contain
  	Hidden Variables},
  booktitle = {Proceedings of the Workshop on Knowledge Discovery in
  	Databases},
  year = {1992},
  pages = {112--124},
  missinginfo = {Editor, Organization, Address},
  topic = {machine-learning;Bayesian-networks;}
  }

@article{ cooper_gf-herskovits:1992a,
  author = {Gregory F. Cooper and E.H. Herskovits},
  title = {A {B}ayesian Method for the Induction of
  	Probabilistic Networks from Data},
  journal = {Machine Learning},
  year = {1992},
  volume = {9},
  pages = {309--347},
  missinginfo = {A's 1st name, number},
  topic = {Bayesian-networks;machine-learning;}
  }

@article{ cooper_mc:1989a,
  author = {Martin C. Cooper},
  title = {An Optimal K-Consistency Algorithm},
  journal = {Artificial Intelligence},
  year = {1989},
  volume = {41},
  number = {1},
  pages = {89--95},
  acontentnote = {Abstract:
     This paper generalizes the arc-consistency algorithm of Mohr and
     Henderson [4] and the path-consistency algorithm of Han and Lee
     [2] to a k-consistency algorithm (arc-consistency and
     path-consistency being 2-consistency and 3-consistency,
     respectively). The algorithm is a development of Freuder's
     synthesis algorithm [1]. It simultaneously establishes
     i-consistency for each 1 <= i <= k. It has worst-case time
     and space complexity which is optimal when k is a constant and
     almost optimal for all other values of k.
      In the case that all order-i constraints exist for all 1 <= i
     <= n, this algorithm is a solution to the consistent labeling
     problem with almost optimal worst-case time and space
     complexity.  },
  topic = {arc-(in)consistency;AI-algorithms;complexity-in-AI;}
  }

@article{ cooper_mc:1997a,
  author = {Martin C. Cooper},
  title = {Fundamental Properties of Neighbourhood Substitution in
  	Constraint Satisfaction Problems},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {90},
  number = {1--2},
  pages = {1--24},
  acontentnote = {Abstract:
     In combinatorial problems it is often worthwhile simplifying the
     problem, using operations such as consistency, before embarking
     on an exhaustive search for solutions. Neighbourhood
     substitution is such a simplification operation. Whenever a
     value x for a variable is such that it can be replaced in all
     constraints by another value y, then x is eliminated. This paper
     shows that neighbourhood substitutions are important whether the
     aim is to find one or all solutions. It is proved that the
     result of a convergent sequence of neighbourhood substitutions
     is invariant modulo isomorphism. An efficient algorithm is given
     to find such a sequence.  It is also shown that to combine
     consistency (of any order) and neighbourhood substitution, we
     only need to establish consistency once.},
       topic = {constraint-satisfaction;AI-algorithms-analysis;}
       }

@article{ cooper_mc:1999a,
  author = {Martin C. Cooper},
  title = {Linear-Time Algorithms for Testing the Realisability
  	of Line Drawings of Curved Objects},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {108},
  number = {1--2},
  pages = {31--68},
  topic = {line-drawings;spatial-reasoning;complexity-in-AI;}
  }

@article{ cooper_mc:2000a,
  author = {Martin C. Cooper},
  title = {Linear Constraints for the Interpretation of Line Drawings
  	of Curved Objects},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {119},
  number = {1--2},
  pages = {235--258},
  acontentnote = {Abstract:
     Drawings of curved objects often contain many linear features:
     straight lines, colinear or coplanar points, parallel lines and
     vanishing points.  These linear features give rise to linear
     constraints on the 3D position of scene points. The resulting
     problem can be solved by standard linear programming techniques.
     An important characteristic of this approach is that instead of
     making a strong assumption, such as all surfaces are planar,
     only a very weak assumption, which disallows coincidences and
     highly improbable objects, needs to be made to be able to deduce
     planarity.
     The linear constraints, combined with junction-labelling
     constraints, are a powerful means of discriminating between
     possible and impossible line drawings. They provide an important
     tool for the machine reconstruction of a 3D scene from a
     human-entered line drawing.
  },
  topic = {visual-reasoning;line-drawings;}
  }

@article{ cooper_mc:2004a,
  author = {Martin C. Cooper},
  title = {Cyclic Inconsistency:  A Local Reduction Operation for
  		Binary Valued Constraints},
  journal = {Artificial Intelligence},
  year = {2004},
  volume = {155},
  number = {1--2},
  pages = {69--92},
  topic = {constraint-satisfaction;arc-(in)consistency;}
  }

@article{ cooper_mc:2005a,
  author = {Martin C. Cooper},
  title = {A Mathematical Model of Historical Semantics and
  		the Grouping of Word Meanings into Concepts},
  journal = {Computational Linguistics},
  year = {2005},
  volume = {31},
  number = {2},
  pages = {227--248},
  topic = {semantic-change;lexical-disambiguation;statistical-modeling;}
  }

@article{ cooper_mc-etal:1994a,
  author = {Martin C. Cooper and David A. Cohen and Peter G.
  	Jeavons},
  title = {Characterising Tractable Constraints},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {65},
  number = {2},
  pages = {347--361},
  acontentnote = {Abstract:
     We present algorithms for finding out optimal cost solutions of
     an explicit AND/OR graph. We show that these new algorithms can
     work on AND/OR graphs containing cycles. Finally, we show how
     these algorithms can be incorporated in implicit graph search
     schemes like AO* so that they work for transformation rules
     which lead to graphs with cycles.},
  topic = {and/or-graphs;optimality;search;}
  }

@article{ cooper_mc-schiex:2004a,
  author = {Martin C. Cooper and Thomas Schiex},
  title = {Arc Consistency for Soft Constraints},
  journal = {Artificial Intelligence},
  year = {2004},
  volume = {154},
  number = {1--2},
  pages = {199--237},
  topic = {arc-(in)consistency;}
  }

@article{ cooper_pr-swain_mj:1992a,
  author = {Paul R. Cooper and Michael J. Swain},
  title = {Arc Consistency: Parallelism and Domain Dependence},
  journal = {Artificial Intelligence},
  year = {1992},
  volume = {58},
  number = {1--3},
  pages = {207--235},
  acontentnote = {Abstract:
     This paper discusses how better arc consistency algorithms for
     constraint satisfaction can be developed by exploiting
     parallelism and domain-specific problem characteristics. A
     massively parallel algorithm for arc consistency is given,
     expressed as a digital circuit. For a constraint satisfaction
     problem with n variables and a labels, this algorithm has a
     worst-case time complexity of O(na), significantly better than
     that of the optimal uniprocessor algorithm.  An algorithm of
     intermediate parallelism suitable for implementation on a SIMD
     machine is also given. Analyses and implementation experiments
     are shown for both algorithms. A method for exploiting
     characteristics of a problem domain to achieve arc consistency
     algorithms with better time and space complexity is also
     discussed. A general technique for expressing domain knowledge
     and using it to develop optimized arc consistency algorithms is
     described. The domain-specific optimizations can be applied
     analogously to any of the arc consistency algorithms along the
     sequential/parallel spectrum.},
  topic = {arc-(in)consistency;constraint-satisfaction;
  	parallel-processing;}
  }

@unpublished{ cooper_r:1985a,
  author = {Robin Cooper},
  title = {Meaning Representation in {M}ontague {G}rammar and
  	Situation Semantics},
  note = {Unpublished manuscript, University of Wisconsin},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;Montague-grammar;situation-semantics;}
  }

@incollection{ cooper_r:2000a,
  author = {Robin Cooper},
  title = {Information States, Attitudes, and Dependent Record
  	Types},
  booktitle = {Logic, Language, and Computation, Volume 3},
  publisher = {CSLI Publications},
  year = {2000},
  editor = {Lawrence Cavedon and Patrick Blackburn and Nick Braisby
  	and Atushi Shimojina},
  pages = {85--127},
  address = {Stanford, California},
  topic = {type-theory;conversational-record;}
  }

@incollection{ cooper_r-ginzburg:2002a,
  author = {Robin Cooper and Jonathan Ginzburg},
  title = {Using Dependent Record Types in Clarification Ellipsis},
  booktitle = {{EDILOG} 2002: Proceedings of the Sixth Workshop on the
  	Semantics and Pragmatics of Dialogue},
  publisher = {Cognitive Science Centre, University of Edinburgh},
  year = {2002},
  editor = {Johan Bos and Mary Ellen Foster and Colin Mathesin},
  pages = {45--52},
  address = {Edinburgh},
  topic = {ellipsis;clarification-dialogues;HPSG;type-theory;}
  }

@incollection{ cooper_r1:1978a,
  author = {Robin Cooper},
  title = {{M}ontague's Theory of Translation and Transformational Syntax},
  booktitle = {Meaning and Translation: Philosophical and Logical
  	Approaches},
  publisher = {New York University Press},
  year = {1978},
  editor = {Franz Guenthner and Monica Guenthner-Reutter},
  pages = {307--325},
  address = {New York},
  contentnote = {Discusses how to do Montague interpretation off of deep
  	structure in standard theory.},
  topic = {syntax-semantics-interface;}
  }

@incollection{ cooper_r1:1978b,
  author = {Robin Cooper},
  title = {Variable Binding and Relative Clauses},
  booktitle = {Formal Semantics and Pragmatics for Natural Languages},
  publisher = {D. Reidel Publishing Co.},
  year = {1978},
  editor = {Franz Guenthner and S.J. Schmidt},
  pages = {131--170},
  address = {Dordrecht},
  topic = {nl-semantics;relative-clauses;}
  }

@unpublished{ cooper_r1:1978c,
  author = {Robin Cooper},
  title = {A Fragment of {E}nglish with Questions and Relative Clauses},
  year = {1978},
  note = {Unpublished manuscript, University of Wisconsin.},
  rtnote = {In RHT collection.},
  topic = {Montague-Grammar;interrogatives;relative-clauses;}
  }

@unpublished{ cooper_r1:1979a,
  author = {Robin Cooper},
  title = {Bach's Passive, Polysynthetic Languages, Temporal
  	Adverbs, and Free Deletions},
  year = {1979},
  note = {Unpublished manuscript, University of Wisconsin.},
  rtnote = {In RHT collection.},
  topic = {Montague-Grammar;passive;adverbs;}
  }

@book{ cooper_r1:1983a,
  author = {Robin Cooper},
  title = {Quantification and Syntactic Theory},
  publisher = {D. Reidel Publishing Co.},
  year = {1983},
  address = {Dordrecht},
  rtnote = {semantics-course;},
  topic = {nl-semantics;nl-quantifier-scope;syntax-semantics-interface;
  	Montague-grammar;presupposition;pragmatics;}
 }

@unpublished{ cooper_r1:1985a,
  author = {Robin Cooper},
  title = {Meaning Representation in {M}ontague {G}rammar and
  	Situation Semantics},
  note = {Unpublished manuscript, University of Wisconsin},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;Montague-grammar;situation-semantics;}
  }

@article{ cooper_r1:1986a,
  author = {Robin Cooper},
  title = {Tense and Discourse Location in Situation Semantics},
  journal = {Linguistics and Philosophy},
  year = {1986},
  volume = {9},
  number = {1},
  pages = {17--36},
  topic = {nl-tense;situation-semantics;}
  }

@incollection{ cooper_r1:1988a,
  author = {Robin Cooper},
  title = {Facts in Situation Theory: Representation, Psychology,
  	or reality?},
  booktitle = {Mental Representations: The Interface Between Language and
  	Reality},
  publisher = {Cambridge University Press},
  year = {1988},
  editor = {Ruth Kempson},
  pages = {49--61},
  address = {Cambridge, England},
  topic = {situation-semantics;cognitive-semantics;facts;}
  }

@unpublished{ cooper_r1:1993a,
  author = {Robin Cooper},
  title = {Towards a General Semantic Framework},
  year = {1993},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript, Centre for Cognitive Science,
  	University of Edinburgh.},
  topic = {nl-semantics;foundations-of-semantics;}
  }

@incollection{ cooper_r1:1996a,
  author = {Robin Cooper},
  title = {The Role of Situations in Generalized Quantifiers},
  booktitle = {The Handbook of Contemporary Semantic Theory},
  publisher = {Blackwell Publishers},
  year = {1996},
  address = {Oxford},
  editor = {Shalom Lappin},
  pages = {65--86},
  topic = {nl-semantics;situation-semantics;
		generalized-quantifiers;}
  }

@article{ cooper_r1:2003a,
  author = {Robin Cooper},
  title = {Afterward},
  journal = {Journal of Logic, Language, and Information},
  year = {2003},
  volume = {12},
  number = {3},
  note = {Comments on a special issue on discourse and
  	information structure},
  pages = {369--373},
  topic = {information-structure;}
  }

@book{ cooper_r1-etal:1990a,
  editor = {Robin Cooper and Kuniaki Mukai and John Perry},
  title = {Situation Theory and its Applications},
  publisher = {Center for the Study of Language and Information},
  year = {1990},
  address = {Stanford, California},
  ISBN = {0937073555 (v. 1)},
  rtnote = {UMich Graduate Library, BC 5 .S571 1990.},
  topic = {situation-theory;situation-semantics;}
}

@incollection{ cooper_r1-ginzburg:2002a,
  author = {Robin Cooper and Jonathan Ginzburg},
  title = {Using Dependent Record Types in Clarification Ellipsis},
  booktitle = {{EDILOG} 2002: Proceedings of the Sixth Workshop on the
  	Semantics and Pragmatics of Dialogue},
  publisher = {Cognitive Science Centre, University of Edinburgh},
  year = {2002},
  editor = {Johan Bos and Mary Ellen Foster and Colin Mathesin},
  pages = {45--52},
  address = {Edinburgh},
  topic = {ellipsis;clarification-dialogues;HPSG;type-theory;}
  }

@incollection{ cooper_r1-larsson_s:2003a,
  author = {Robin Cooper and Staffan Larsson},
  title = {Accommodation and Reaccommodation in Dialogue},
  booktitle = {Presuppositions and Discourse},
  publisher = {Elsevier},
  year = {2003},
  editor = {Rainer B\"auerle and Uwe Reyle and Thomas Ede Zimmerman},
  address = {Amsterdam},
  missinginfo = {pages},
  rtnote = {In RHT collection.  Filed under Cooper.},
  topic = {computational-dialogue;accommodation;}
  }

@incollection{ cooper_r1-parsons_t2:1976a,
  author = {Robin Cooper and Terence Parsons},
  title = {Montague Grammar, Generative Semantics and Interpretive
		Semantics},
  booktitle = {Montague Grammar},
  publisher = {Academic Press},
  year = {1976},
  editor = {Barbara H. Partee},
  pages = {311--362},
  address = {New York},
  topic = {Montague-grammar;generative-semantics;nl-semantics;}
  }

@article{ cooper_r2-etal:1996a,
  author = {R. Cooper and J. Fox and J. Farrington and T. Shallice},
  title = {A Systematic Methodology for Cognitive Modeling},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {85},
  number = {1--2},
  pages = {3--44},
  topic = {cognitive-architectures;cognitive-modeling;SOAR;}
  }

@article{ cooper_sb:2001a,
  author = {S. Barry Cooper},
  title = {Review of \emph{{T}heories of Computability}, by
  	{N}icholas {P}ippinger},
  journal = {Studia Logica},
  year = {2001},
  volume = {67},
  number = {1},
  pages = {140--141},
  xref = {Review of pippinger:1997a.},
  topic = {computability;}
  }

@book{ cope:1991a,
  author = {David Cope},
  title = {Computers and Musical Style},
  publisher = {A-R Editions},
  year = {1991},
  address = {Madison, Wisconsin},
  ISBN = {0895792567 (hardcover)},
  rtnote = {UMich MUSIC, MT 723 .C681 1991.},
  xref = {Review: berger_j:1996a.},
  topic = {AI-and-music;}
 }

@book{ cope:2005a,
  author = {David Cope},
  title = {Computer Models of Musical Creativity},
  publisher = {The {MIT} Press},
  year = {2005},
  address = {Cambridge, Massachusetts},
  xref = {Review: dannenberg:2006a.},
  topic = {AI-and-music;}
 }

@article{ copeland:1979a,
  author = {B. Jack Copeland},
  title = {On When a Semantics is Not a Semantics: Some Reasons
  	for Disliking the {R}outley-{M}eyer Semantics for
	Relevance Logic},
  journal = {Journal of Philosophical Logic},
  year = {1979},
  volume = {8},
  number = {4},
  pages = {399--413},
  topic = {relevance-logic;}
  }

@book{ copeland:1993a,
  author = {B. Jack Copeland},
  title = {Artificial Intelligence: A Philosophical Introduction},
  publisher = {Blackwell Publishers},
  year = {1993},
  address = {Oxford},
  rtnote = {Info Sci Q335 C53 1993.},
  topic = {AI-intro;AI-text;philosophy-AI;}
 }

@article{ copeland:1994a,
  author = {B. Jack Copeland},
  title = {On Vague Objects, Fuzzy Logic, and Fractal Boundaries},
  journal = {Southern Journal of Philosophy, Supplementary Volume},
  year = {1994},
  volume = {33},
  pages = {83--96},
  topic = {vagueness;identity;fuzzy-logic;}
  }

@book{ copeland:1996a,
  editor = {B. Jack Copeland},
  title = {Logic and Reality: Essays on the Legacy of {A}rthur
  	{P}rior},
  publisher = {Oxford University Press},
  year = {1996},
  address = {Oxford},
  rtnote = {In RHT Collection.  LLP edited shelves.},
  contentnote = {TC:
  	1. B. Jack Copeland, "Arthur {P}rior's Life and Legacy", pp. 1--40
        2. Peter Grifton, "Introduction" (To two essays by {A}rhur
		{P}rior on Temporal Realism), pp. 43--44
	3. Arthur N. Prior,  "A Statement of Temporal Realism", pp. 45--46
	4. Arthur N. Prior, "Some Free Thinking about Time", pp. 47--51
	5. B. Jack Copeland, "Tree Formulations of Tense
		Logic", pp. 53--67
        6. Dov Gabbay and Ian Hodkinson, "Temporal Logic in the Context
		of Databases", pp. 69--87
	7. Rita Rodriguez and FrankAnger, "Prior's Temporal Legacy in
		Computer Science", pp. 89--109
	8. Richard Sylvan, "Other Withered Stumps of Time", pp. 111--130
	9. Carew Meredith and Arthur N. Prior, "Interpretations of
		Different Modal Logics in the `Property
		Calculus{'}", pp. 133--168
       10. Johan van Benthem, "Modal Logic as a Theory of
       		Information", pp. 135--168
       11. Kit Fine and Gerhard Schurz, "Transfer Theorems for
       		Multimodal Logics", pp. 169--213
       12. Lloyd Humberstone, "Homophony, Validity,
       		Modality", pp. 215--236
       13. Nuel D. {Belnap, Jr.}, "Agents in Branching
       		Time", pp. 239--271
       14. Graham Oddie, "The Consequences of Action", pp. 273--299
       15. Krister Segerberg, "To Do and Not to Do", pp. 301--313
       16. Robert Bull, "Logics Without Contraction {I}", pp. 317--336
       17. Martin Bunder, "Logics Without Contraction {II}", pp. 337--349
       18. Neil Tennant, "Delicate Proof Theory", pp. 351--385
       19. Rom Harr\'e, "There is No Time Like the Present", pp. 389--391
       20. Karel Lambert, "Russellian Names: Notes on a Theory of {A}rthur
       		{P}rior", pp. 411--417
       21. Peter Loptson, "Prior, Plantinga, Haecceiity, and the
       		Possible", pp. 419--435
       22. Mark Richard, "Propositional Quantification", pp. 437--459
       23. Roger Teichman, "Statements of Property-Identity and
       		Event-Identity", pp. 461--476
       24. Graham Priest, "Some Priorities of {B}erkeley", pp. 479--487
       25. Michael Resnik, "Ought There to be One
       		Logic?", pp. 489--517
       26. Peter {\O}hrstrom and Olav Flo, "Bibliography of {P}rior's
       		Philosophical Writings", pp. 519--532
  },
  xref = {Review: menzel:2000a.},
  topic = {philosophical-logic;temporal-logic;modal-logic;Prior;}
 }

@incollection{ copeland:1996b,
  author = {B. Jack Copeland},
  title = {Arthur {P}rior's Life and Legacy},
  booktitle = {Logic and Reality: Essays on the Legacy of {A}rthur
  	{P}rior},
  publisher = {Oxford University Press},
  year = {1996},
  editor = {Jack Copeland},
  pages = {1--40},
  address = {Oxford},
  topic = {Prior;}
  }

@incollection{ copeland:1996c,
  author = {B. Jack Copeland},
  title = {Tree Formulations of Tense Logic},
  booktitle = {Logic and Reality: Essays on the Legacy of {A}rthur
  	{P}rior},
  publisher = {Oxford University Press},
  year = {1996},
  editor = {Jack Copeland},
  pages = {53--67},
  address = {Oxford},
  topic = {temporal-logic;proof-theory;}
  }

@article{ copeland:1997b,
  author = {B. Jack Copeland},
  title = {Vague Identity and Fuzzy Logic},
  journal = {The Journal of Philosophy},
  year = {1997},
  volume = {94},
  number = {10},
  pages = {514--534},
  topic = {vagueness;identity;fuzzy-logic;}
  }

@article{ copeland:2000a,
  author = {B. Jack Copeland},
  title = {Nature Versus Wide Mechanism: Including a Re-Examination
  	of {T}uring's Views on  the Mind-Machine Issue},
  journal = {The Journal of Philosophy},
  year = {2000},
  volume = {97},
  number = {1},
  pages = {5--32},
  topic = {mind-body-problem;philosophy-of-computation;Turing;}
  }

@article{ copeland:2000b,
  author = {B. Jack Copeland},
  title = {The Turing Test},
  journal = {Minds and Machines},
  year = {2000},
  volume = {10},
  pages = {519--539},
  rtnote = {In RHT collection.},
  topic = {Turing-test;}
  }

@article{ copeland:2002a,
  author = {B. Jack Copeland},
  title = {The Genesis of Possible Worlds Semantics},
  journal = {The Journal of Philosophical Logic},
  year = {2002},
  volume = {31},
  number = {2},
  pages = {99--137},
  topic = {possible-worlds-semantics;history-of-logic;}
  }

@book{ copeland:2004a,
  editor = {B. Jack Copeland},
  title = {The Essential {T}uring},
  publisher = {Oxford University Press},
  year = {2004},
  address = {Oxford},
  ISBN = {0-19-825-080-0 (pbk)},
  xref = {Review: obdrzalek:2005a.},
  rtnote = {In RHT collection.  Logic Shelves, under "T".},
  topic = {Turing;Turing-test;history-of-logic;}
 }

@incollection{ copeland:2006a,
  author = {B. Jack Copeland},
  title = {Colossus and the Rise of the Modern Computer},
  booktitle = {Colossus: {T}he Secrets of {B}letchley {P}arks Codebreaking
  	Computers},
  publisher = {Oxford University Press},
  year = {2006},
  editor = {B. Jack Copeland et al.},
  pages = {101--115},
  address = {Oxford},
  topic = {Turing;history-of-computer-science;}
  }

@book{ copeland-etal:2006a,
  author = {B. Jack Copeland et al.},
  title = {Colossus: {T}he Secrets of {B}letchley {P}arks Codebreaking
  	Computers},
  publisher = {Oxford University Press},
  year = {2006},
  address = {Oxford},
  ISBN-13 = {978-0-19-284055-4},
  ISBN-10 = {0-19-284055-X},
  topic = {Turing;history-of-computer-science;}
 }

@article{ copeland-proudfoot:2000a,
  author = {Jack Copeland and Diane Proudfoot},
  title = {What {T}uring Did after He Invented the Universal {T}uring
  	Machine},
  journal = {Journal of Logic, Language, and Information},
  year = {2000},
  volume = {9},
  number = {4},
  pages = {491--509},
  topic = {Turing;history-of-computer-science;history-of-AI;}
  }

@unpublished{ copestake:1990a,
  author = {Ann Copestake},
  title = {An Approach to Building the Hierarchical Element of a
		Lexical Knowledge Base from a Machine Readable Dictionary},
  year = {1990},
  note = {Unpublished manuscript, Computer Laboratory, University of
  	Cambridge},
  rtnote = {In RHT collection.},
  topic = {computational-lexicography;machine-readable-dictionaries;}
  }

@incollection{ copestake:1993a,
  author = {Ann Copestake},
  title = {Defaults in Lexical Representation},
  booktitle = {Inheritance, Defaults, and the Lexicon},
  publisher = {Cambridge University Press},
  year = {1993},
  editor = {Ted Briscoe and Valeria de Paiva and Ann Copestake},
  pages = {223--245},
  address = {Cambridge, England},
  topic = {inheritance;computational-lexicography;}
  }

@incollection{ copestake:1995a,
  author = {Ann Copestake},
  title = {The Representation of Group Denoting Nouns in a Lexical
  	Knowledge Base},
  booktitle = {Computational Lexical Semantics},
  publisher = {Cambridge University Press},
  year = {1995},
  editor = {Patrick Saint-Dizier and Evelyne Viegas},
  pages = {207--231},
  address = {Cambridge, England},
  topic = {nl-kr;computational-lexical-semantics;plural;}
  }

@book{ copestake:2002a,
  author = {Ann Copestake},
  title = {Implementing Typed Feature Structure Grammars},
  publisher = {{CSLI} Publications},
  year = {2002},
  address = {Stanford, California},
  ISBN = {1-57586-261-1},
  xref = {Review: penn:2003a},
  topic = {typed-feature-structures;grammar-formalisms;}
 }

@article{ copestake-briscoe:1995a1,
  author = {Ann Copestake and Ted Briscoe},
  title = {Semi-Productive Polysemy and Sense Extension},
  journal = {Journal of Semantics},
  year = {1995},
  volume = {12},
  pages = {15--17},
  missinginfo = {number},
  topic = {polysemy;}
  }

@incollection{ copestake-briscoe:1995a2,
  author = {Ann Copestake and Ted Briscoe},
  title = {Semi-Productive Polysemy and Sense Extension},
  booktitle = {Lexical Semantics: The Problem of Polysemy},
  publisher = {Oxford University Press},
  year = {1997},
  editor = {James Pustejovsky and Brian Boguraev},
  pages = {15--67},
  address = {Oxford},
  topic = {polysemy;}
  }

@inproceedings{ copestake-lascarides:1997a,
  author = {Ann Copestake and Alex Lascarides},
  title = {Integrating Symbolic and Statistical Representations: The
  	Lexicon Pragmatics Interface},
  booktitle = {Proceedings of the Thirty-Fifth Annual Meeting of the
  	Association for Computational Linguistics},
  year = {1997},
  pages = {136--143},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  rtnote = {In RHT collection.  Discard.},
  topic = {lexical-semantics;compound-nouns;lexical-disambiguation;
	pragmatics;corpus-statistics;discourse-representation-theory;}
 }

@book{ copi:1971a,
  author = {Irving M. Copi},
  title = {The Theory of Logical Types},
  publisher = {Routledge and Kegan Paul},
  year = {1971},
  address = {London},
  rtnote = {Umich Tanner BC199 .T9 C78},
  rtnote = {In RHT Collection.  Logic shelves.},
  topic = {foundations-of-logic;semantic-paradoxes;Russell-paradox;
  	type-theory;ramified-type-theory;}
 }

@incollection{ copi:1976a,
  author = {Irving M. Copi},
  title = {A Problem in {P}lato's Laws},
  booktitle = {Language in Focus},
  publisher = {D. Reidel Publishing Co.},
  year = {1976},
  editor = {Asa Kasher},
  pages = {627--639},
  address = {Dordrecht},
  topic = {Plato;philosophy-of-law;}
  }

@inproceedings{ copley:2001a,
  author = {Bridget Copley},
  title = {Be Going to as a Case of High Aspect},
  booktitle = {Proceedings from Semantics and Linguistic Theory {XI}},
  publisher = {Cornell University},
  year = {2001},
  editor = {Rachel Hastings and Brendan Jackson and Zsofia Zvolenszky},
  pages = {95--113},
  address = {Ithaca, New York},
  topic = {nl-semantics;tense-aspect;}
  }

@article{ copley:2008a,
  author = {Bridget Copley},
  title = {The Plan's the Thing:  Deconstructing Futurate Meanings},
  journal = {Linguistic Inquiry},
  year = {2008},
  volume = {39},
  number = {2},
  pages = {261--274},
  topic = {nl-tense;ability;}
  }

@article{ copp_d:1997a,
  author = {David Copp},
  title = {Defending the Principle of Alternate Possibilities:
  	Blameworthiness and Moral Responsibility},
  journal = {No\^us},
  year = {1997},
  volume = {31},
  number = {4},
  pages = {441--456},
  contentnote = {Evidently Frankfurt argued in frankfurt:1969a, giving
  	examples, that you can be responsible even if you could not
	have done otherwise.  The purpose of this paper is to refute
	this interpretation of the examples.},
  topic = {freedom;blameworthiness;}
  }

@article{ copp_d:2001a,
  title = {Realist-Expressivism: A Neglected Option for Moral Realism},
  author = {David Copp},
  journal = {Social Philosophy and Policy},
  pages = {1--43},
  volume = {18},
  year = {2001},
  topic = {expressivism;}
  }

@article{ coradeschi-etal:2000a,
  author = {Silvia Coradeschi and Lars Karlsson and Peter Stone
  	and Tucker Balch and Gerhard Kraetzschmar and Minoru Asada},
  title = {Overview of {R}obo{C}up-99},
  journal = {The {AI} Magazine},
  year = {2000},
  volume = {21},
  number = {3},
  pages = {11--18},
  topic = {robotics;RoboCup;}
  }

@article{ corander-marttinen:2006a,
  author = {Jukea Corander and Pekka Marttinen},
  title = {Bayesian Model Learning Based on Predictive Entropy},
  journal = {Journal of Logic, Language, and Information},
  year = {2006},
  volume = {15},
  number = {1--2},
  pages = {5--20},
  topic = {statistical-inference;statistical-modeling;
  		statistical-model-learning;}
  }

@article{ corazza:2002a,
  author = {Eros Corazza},
  title = {Description-Names},
  journal = {Journal of Philosophical Logic},
  year = {2002},
  volume = {31},
  number = {4},
  pages = {313--325},
  topic = {reference;proper-names;definite-descriptions;}
  }

@incollection{ corazza-demori:1998a,
  author = {Anna Corazza and Renato de Mori},
  title = {On the Use of Formal Grammars},
  booktitle = {Spoken Dialogues with Computers},
  publisher = {Academic Press},
  year = {1998},
  editor = {Renato de Mori},
  pages = {523--561},
  address = {New York},
  topic = {grammar-formalisms;spoken-dialogue-systems;}
  }

@book{ corbett_d:2003a,
  author = {D. Corbett},
  title = {Reasoning and Unification over Conceptual Graphs},
  publisher = {Kluwer Academic Publishers},
  year = {2003},
  address = {Dordrecht},
  ISBN = {0-306-4787-5},
  xref = {Review: gennari:2005a},
  topic = {conceptual-graphs;unification;}
 }

@incollection{ corblin:2003a,
  author = {Francis Corblin},
  title = {Presuppositions of Commitment Stores},
  booktitle = {Diabruck 2003: Proceedings of the 7th Workshop on the
  	Semantics and Pragmatics of Dialogue},
  publisher = {Universit\"at des Saarlandes},
  year = {2003},
  editor = {Ivana Kruijff-Korbayov\'a and Claudia Kosny},
  pages = {27--34},
  address = {Saarbr\"ucken},
  topic = {discourse;pragmatics;presupposition;}
  }

@article{ corcoran:1972a,
  author = {John Corcoran},
  title = {Review of \emph{{N}oam Chomsky}, by {J}ohn {L}yons},
  journal = {Word},
  year = {1972},
  volume = {28},
  pages = {335--338},
  missinginfo = {number},
  topic = {Chomsky;}
  }

@incollection{ corcoran:1972b,
  author = {John Corcoran},
  title = {Harris on the Structures of Language},
  booktitle = {Transformationelle Analyse},
  publisher = {Athen\"aum Verlag},
  year = {1972},
  editor = {Pl\"otz},
  pages = {275--292},
  address = {Frankfurt},
  rtnote = {In RHT collection.},
  topic = {transformational-grammar;}
  }

@incollection{ corcoran:1972c,
  author = {John Corcoran},
  title = {Harris on the Structures of Language},
  booktitle = {Transformationelle Analyse},
  publisher = {Athen\"aum Verlag},
  year = {1972},
  editor = {Pl\"otz},
  pages = {275--292},
  address = {Frankfurt},
  rtnote = {In RHT collection.},
  topic = {transformational-grammar;}
  }

@incollection{ corcoran:1973a,
  author = {John Corcoran},
  title = {Gaps between Logical Theory and Mathematical
		Practice},
  booktitle = {The Methodological Unity of Science},
  publisher = {D. Reidel Publishing Co.},
  year = {1973},
  editor = {Mario Bunge},
  pages = {23--50},
  address = {Dordrecht},
  topic = {philosophy-of-logic;philosophy-of-mathematics;}
  }

@article{ corcoran:2008a,
  author = {John Corcoran},
  title = {Review of \emph{From {P}eirce to {S}kolem: A Neglected
  	Chapter in the History of Logic}, by {G}eraldine {B}rady},
  journal = {The Bulletin of Symbolic Logic},
  year = {2008},
  volume = {14},
  number = {4},
  pages = {541--544},
  xref = {Review of: brady_g:2000a.},
  topic = {history-of-logic;}
  }

@article{ corcoran-etal:1974a,
  author = {John Corcoran and William Frank and Michael Maloney},
  title = {String Theory},
  journal = {Journal of Symbolic Logic},
  year = {1974},
  volume = {39},
  number = {4},
  pages = {625--637},
  topic = {formal-language-theory;}
  }

@incollection{ cordier:1992a,
  author = {M.O. Cordier},
  title = {A Temporal Revision Model for Reasoning about World
  	Change},
  booktitle = {{KR}'92. Principles of Knowledge Representation and
  	Reasoning: Proceedings of the Third International Conference},
  publisher = {Morgan Kaufmann},
  year = {1992},
  editor = {Bernhard Nebel and Charles Rich and William Swartout},
  pages = {732--739},
  address = {San Mateo, California},
  topic = {kr;reasoning-about-change;}
  }

@inproceedings{ core:1996a,
  author = {Mark Core},
  title = {Using Parsed Corpora for Structural Disambiguation in
  	the {TRAINS} Domain},
  booktitle = {Proceedings of the Thirty-Fourth Annual Meeting of the
  	Association for Computational Linguistics},
  year = {1996},
  editor = {Arivind Joshi and Martha Palmer},
  pages = {345--350},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco},
  topic = {corpus-linguistics;disambiguation;nl-interpretation;}
 }

@inproceedings{ core-allen_jf:1997a,
  author = {Mark G. Core and James F. Allen},
  title = {Coding Dialogues with the {DAMSL} Annotation Scheme},
  booktitle = {Working Notes: {AAAI} Fall Symposium on Communicative
		Action in Humans and Machines},
  year = {1997},
  pages = {28--35},
  organization = {{AAAI}},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  editor = {David R. Traum},
  rtnote = {In RHT collection.},
  topic = {speech-acts;corpus-linguistics;pragmatics;}
  }

@inproceedings{ core-schubert:1999a,
  author = {Mark G. Core and Lenhart K. Schubert},
  title = {A Model of Speech Repairs and Other Disruptions},
  booktitle = {Working Papers of the {AAAI} Fall Symposium on
  	Psychological Models of Communication in Collaborative
	Systems},
  year = {1999},
  editor = {Susan E. Brennan and Alain Giboin and David R. Traum},
  pages = {48--53},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  topic = {discourse;speech-repairs;hesitation-noises;
		discourse-interruptions;}
  }

@book{ corfield:2003a,
  author = {David Corfield},
  title = {Towards a Philosophy of Real Mathematics},
  publisher = {Cambridge University Press},
  year = {2003},
  address = {Cambridge, England},
  xref = {Review: pincock:2005a.},
  topic = {philosophy-of-mathematics;}
 }

@book{ corfield-williamson_j:2001a,
  editor = {David Corfield and Jon Williamson},
  title = {Foundations of {B}ayesianism},
  publisher = {Kluwer Academic Publishers},
  year = {2001},
  address = {Dordrecht},
  xref = {Review: risse:2003a},
  topic = {Bayesian-reasoning;Bayesian-statistics;foundations-of-statistics;}
 }

@article{ cormack:1987a,
  author = {Annabel Cormack},
  title = {Review of \emph{{M}ental Spaces}, by {G}iles {F}auconnier},
  journal = {Linguistics and Philosophy},
  year = {1987},
  volume = {10},
  number = {2},
  pages = {247--260},
  xref = {Review of fauconnier:1985b.},
  topic = {nl-semantics;}
  }

@incollection{ cormak:1984a,
  author = {Annabel Cormak},
  title = {{VP} Anaphora: Variables and Scope},
  booktitle = {Varieties of Formal Semantics},
  publisher = {Foris Publications},
  year = {1984},
  editor = {Fred Landman and Frank Veltman},
  pages = {81--102},
  address = {Dordrecht},
  topic = {nl-semantics;verb-phrase-anaphora;}
  }

@article{ cormak-kempson:1981b,
  author = {Annabel Cormak and Ruth Kempson},
  title = {On `Formal Games and Forms of Games'\, },
  journal = {Linguistics and Philosophy},
  year = {1981},
  volume = {4},
  number = {3},
  pages = {431--435},
  xref = {Discussion of kempson-cormak:1981a, tennant_n:1981a.},
  topic = {ambiguity;nl-quantifier-scope;nl-quantifiers;
  	semantic-underspecification;}
  }

@book{ cormen-etal:2001a,
  author = {Thomas H. Cormen and Charles E. Leiserson and Ronald L.
  		Rivest and Clifford Stein},
  title = {Introduction to Algorithms, Second Edition},
  publisher = {The {MIT} Press},
  year = {2001},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-03293-7},
  rtnote = {In RHT Collection.  CS General shelves.},
  topic = {algorithms;}
 }

@article{ cornish:1992a,
  author = {Francis Cornish},
  title = {{\em So Be It:} The Discourse-Semantic of {\em So} and
  	{\em It}},
  journal = {Journal of Semantics},
  year = {1992},
  volume = {9},
  number = {2},
  pages = {163--178},
  topic = {nl-semantics;anaphora;}
  }

@incollection{ correadasilva-etal:1991a,
  author = {Fl\'avio S. Corr\'ea da Silva and Dave Robertson and Paul
  	Chung},
  title = {Automated Reasoning about an Uncertain Domain},
  booktitle = {Symbolic and Quantitative Approaches for Uncertainty:
  	Proceedings of the {E}uropean Conference {ECSQAU}, Marseille,
	France, October 1991},
  publisher = {Springer-Verlag},
  year = {1991},
  editor = {Rudolf Kruse and Pierre Siegel},
  pages = {141--145},
  address = {Berlin},
  topic = {reasoning-about-uncertainty;logic-programming;fuzzy-logic;}
  }

@article{ correia:2000a,
  author = {Fabrice Correia},
  title = {Propositional Logic of Essence},
  journal = {Journal of Philosophical Logic},
  year = {2000},
  volume = {29},
  number = {3},
  pages = {295--313},
  topic = {modal-logic;reference;individuation;}
  }

@article{ correia:2006a,
  author = {Fabrice Correia},
  title = {Generic Essence, Objectual Essence, and Modularity},
  journal = {No\^us},
  year = {2006},
  volume = {40},
  number = {4},
  pages = {753--767},
  topic = {essence;metaphysics;}
  }

@article{ correia:2007a,
  author = {Fabrice Correia},
  title = {Modality, Quantification, and Many {V}lach-Operators},
  journal = {Journal of Philosophical Logic},
  year = {2007},
  volume = {36},
  number = {4},
  pages = {473--488},
  topic = {quantifying-in-modality;first-order-modal-logic;}
  }

@book{ corriveau:1995a,
  author = {Jean-Pierre Corriveau},
  title = {Time-Constrained Memory: A Reader-Based
  	Approach to Text Comprehension},
  publisher = {Lawrence Erlbaum Associates},
  year = {1995},
  address = {Mahwah, New Jersey},
  xref = {Review: graesser:1996a.},
  topic = {text-comprehension;memory;memory-models;language-and-cognition;}
 }

@article{ corruble-ganascia:1997a,
  author = {Vincent Corruble and Jean-Gabriel Ganascia},
  title = {Induction and the Discovery of the Causes of Scurvy: A
  	Computational Reconsruction},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {91},
  number = {2},
  pages = {205--223},
  topic = {automated-scientific-discovery;induction;}
  }

@article{ corsi:1989a,
  author = {Giovanna Corsi},
  title = {A Logic Characterized by the Class of Linear {K}ripke
  		Frames with Nested Domains},
  journal = {Studia Logica},
  year = {1989},
  volume = {48},
  number = {1},
  pages = {15--22},
  topic = {modal-logic;}
  }

@techreport{ corsi:1990a1,
  author = {Giovanna Corsi},
  title = {A Unifying Completeness Theorem in Quantified Modal Logic},
  institution = {Institute for Logic, Language, and Computation, University
  	of Amsterdam},
  number = {PP--2001--22},
  year = {2001},
  address = {ILLC, University of Amsterdam, Plantage Muidergract 24,
  	NL-1018 TV Amsterdam, Holland } ,
  rtnote = {In RHT collection.},
  xref = {Journal publication: corsi:1990a2.},
  topic = {quantifying-in-modality;modal-logic;completeness-theorems;
  		first-order-modal-logic;}
  }

@article{ corsi:1990a2,
  author = {Giovanna Corsi},
  title = {A Unified Completeness Theorem in Quantified Modal Logic},
  journal = {Journal of Symbolic Logic},
  year = {2002},
  volume = {67},
  number = {4},
  pages = {1483--1510},
  xref = {Journal publication of: corsi:1990a1.},
  topic = {quantifying-in-modality;modal-logic;completeness-theorems;
  		first-order-modal-logic;}
  }

@article{ corsi:1999a,
  author = {Giovanna Corsi},
  title = {Bull's Theorem by the Method of Diagrams},
  journal = {Studia Logica},
  year = {1999},
  volume = {62},
  pages = {163--176},
  missinginfo = {number},
  topic = {modal-logic;}
  }

@techreport{ corsi:2002a,
  author = {Giovanna Corsi},
  title = {Counterpart Semantics: A Foundational Study on Quantified
  	Modal Logics},
  institution = {ILLC/Department of Philosophy, University
	of Amsterdam},
  number = {ILLC 2002 PP-2002-20},
  year = {2002},
  address = {Amtsterdam},
  rtnote = {In RHT collection.},
  url = {http://www.ilc.uva.nl/Publications/ResearchReports/PP-2002.text.pdf},
  topic = {quantifying-in-modality;modal-logic;counterpart-theory;
  		first-order-modal-logic;}
  }

@incollection{ corstonoliver:1998a,
  author = {Simon H. Corston-Oliver},
  title = {Identifying the Linguistic Correlates of Rhetorical
  	Relations},
  booktitle = {Discourse Relations and Discourse Markers:  Proceedings
  	of the Conference},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Manfred Stede and Leo Wanner and Eduard Hovy},
  pages = {8--14},
  address = {Somerset, New Jersey},
  topic = {discourse-cue-words;discourse-structure;
  	empirical-methods-in-discourse;}
  }

@incollection{ corstonoliver:2000a,
  author = {Simon Corston-Oliver},
  title = {Using Decision Trees to Select the Grammatical Relation of
  		a Noun Phrase},
  booktitle = {Proceedings of the First {SIGdial} Workshop on Discourse
  	and Dialogue},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  editor = {Laila Dybkjaer and Koiti Hasida and David R. Traum},
  pages = {66--73},
  address = {Somerset, New Jersey},
  topic = {grammatical-relations;statistical-nlp;}
  }

@article{ corstonoliver:2000b,
  author = {Simon Corston-Oliver},
  title = {Review of \emph{{N}atural Language Information Retrieval},
  	edited by {T}omek {S}trzalkowski},
  journal = {Computational Linguistics},
  year = {2000},
  volume = {26},
  number = {3},
  pages = {460--462},
  xref = {Review of: strzalkowski:1999a.},
  topic = {computational-linguistics;information-retrieval;}
  }

@incollection{ coscoy:1997a,
  author = {Yann Coscoy},
  title = {A Natural Language Explanation for Formal Proofs},
  booktitle = {{LACL}'96: First International Conference on
      Logical Aspects of Computational Linguistics},
  publisher = {Springer-Verlag},
  year = {1997},
  editor = {Christian Retor/'e},
  pages = {149--167},
  address = {Berlin},
  topic = {logic-and-computational-linguistics;nl-generation-from-proofs;}
  }

@inproceedings{ costantini-tocchio:2003a,
  author = {Stefania Costantini and Arianna Tocchio},
  title = {Context-Based Commonsense Reasoning in the {DALI} Logic
		Programming Language},
  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 = {443--450},
  address = {Berlin},
  topic = {context;common-sense-reasoning;}
  }

@inproceedings{ costello:1995a,
 author = {Tom Costello},
 title = {Relating Formalizations of Actions},
 booktitle = {Working Notes of the {AAAI} Spring Symposium on
 	Extending Theories of Action: Formal Theories and Applications},
 year = {1995},
 organization = {American Association for Artificial Intelligence},
 address = {Menlo Park, California},
 rtnote = {In RHT Collection.},
 missinginfo = {pages},
 topic = {action;planning-formalisms;foundations-of-planning;}
 }

@incollection{ costello:1996a,
  author = {Tom Costello},
  title = {Modeling Belief Change Using Counterfactuals},
  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 = {432--443},
  address = {San Francisco, California},
  topic = {belief-revision;conditionals;}
  }

@article{ costello:1998a,
  author = {Tom Costello},
  title = {The Expressive Power of Circumsciption},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {104},
  number = {1--2},
  pages = {313--329},
  topic = {circumscription;nonmonotonic-logic;}
  }

@article{ costello-mccarthy_j1:2006a,
  author = {Tom Costello and John McCarthy},
  title = {Review of \emph{{E}xtending Mechanics to Minds: The
  	Mechanical Foundations of Psychology and Economics}, by
	{J}on {D}oyle},
  journal = {Artificial Intelligence},
  year = {2006},
  volume = {170},
  number = {18},
  pages = {1237--1238},
  xref = {Review of: doyle_j:2006a.},
  topic = {foundations-of-cognition;rational-mechanics;}
  }

@incollection{ costello-patterson:1998a,
  author = {Tom Costello and Anna Patterson},
  title = {Quantifiers and Operations on Modalities and Contexts},
  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 = {270--281},
  address = {San Francisco, California},
  topic = {kr;context;modal-logic;kr-course;logic-of-context;}
  }

@incollection{ costemarquis-etal:2004a,
  author = {Sylvie Coste-Marquis and Jer\^ome Lang and Paolo
  		Liberatore and Pierre Marquis},
  title = {Expressive Power and Succinctness of Propositional
  		Languages for Preference Representation},
  booktitle = {{KR}2004: Principles of Knowledge Representation and
  		Reasoning},
  publisher = {AAAI Press},
  year = {2004},
  editor = {Didier Dubois and Christopher A. Welty and Mary-Anne Williams},
  pages = {203--212},
  address = {Menlo Park, California},
  topic = {qualitative-utility;preference-representation;}
  }

@incollection{ costemarquis-etal:2006a,
  author = {Sylvie Coste-Marquis and Caroline Devred and Pierre Marquis},
  title = {Constrained Argumentation Frameworks},
  booktitle = {{KR}2006: Proceedings, Tenth International Conference on
      Principles of  Knowledge Representation and Reasoning},
  publisher = {AAAI Press},
  year = {2006},
  editor = {Patrick Doherty and John Mylopoulos and Christopher A. Welty},
  pages = {112--122},
  address = {Menlo Park, California},
  topic = {nonmonotonic-reasoning;argument-based-defeasible-reasoning;}
  }

@incollection{ costemarquis-etal:2006b,
  author = {Sylvie Coste-Marquis and H\'elene Fargier and J\'er\^ome Lang and
    		Daniel Le Berre and Pierre Marquis},
  title = {Representing Policies for Quantified Boolean Formulas},
  booktitle = {{KR}2006: Proceedings, Tenth International Conference on
      Principles of  Knowledge Representation and Reasoning},
  publisher = {AAAI Press},
  year = {2006},
  editor = {Patrick Doherty and John Mylopoulos and Christopher A. Welty},
  pages = {286--296},
  address = {Menlo Park, California},
  topic = {model-checking;quantified-boolean-logic;}
  }

@article{ costemarquis-etal:2007a,
  author = {Sylvie Coste-Marquis and Caroline Devred and S\'ebastien
  	Konieczny and Marie-Christine Lagasquie-Schiex and Pierre Marquis},
  title = {On the Merging of {D}ung's Argumentation Systems},
  journal = {Artificial Intelligence},
  year = {2007},
  volume = {171},
  number = {10--15},
  pages = {730--753},
  topic = {argumentation-theory;}
  }

@incollection{ costemarquis-marquis:2002a,
  author = {Sylvie Coste-Marquis and Pierre Marquis},
  title = {Complexity Results for Paraconsistent Inference
  	Relations},
  booktitle = {{KR2002}: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {2002},
  editor = {Dieter Fensel and Fausto Giunchiglia and Deborah
  	L. McGuinness and Mary-Anne Williams},
  pages = {61--72},
  address = {San Francisco, California},
  topic = {kr;complexity-in-AI;paraconsistency;}
  }

@incollection{ cote:1997a,
  author = {Sharon Cote},
  title = {Ranking Forward-Looking Centers},
  booktitle = {Centering Theory in Discourse},
  publisher = {Oxford University Press},
  year = {1997},
  editor = {Marilyn A. Walker and Arivind K. Joshi and Ellen Prince},
  pages = {55--69},
  address = {Oxford},
  rtnote = {In RHT collection.  Cote.},
  topic = {anaphora-resolution;discourse;pragmatics;centering;}
  }

@article{ couch:2009a,
  author = {Mark Couch},
  title = {Functional Explanation in Context},
  journal = {Philosophy of Science},
  year = {2009},
  volume = {76},
  number = {2},
  pages = {253--269},
  topic = {functionalism;}
  }

@book{ coulthard_m:1977a,
  author = {Malcolm Coulthard},
  title = {An Introduction to Discourse Analysis},
  publisher = {Longman},
  year = {1977},
  address = {London},
  rtnote = {Hillman P302 C68 1985},
  topic = {discourse-analysis;text-linguistics;discourse;pragmatics;}
}

@incollection{ coulthard_m:1994a,
  author = {Malcolm Coulthard},
  title = {Analysing and Evaluating Written Text},
  booktitle = {Advances in Written Text Analysis},
  publisher = {Routledge},
  year = {1994},
  editor = {Malcolm Coulthard},
  pages = {1--11},
  address = {New York},
  topic = {writing;}
}

@incollection{ coulthard_m-brazil:1979a,
  author = {Malcolm Coulthard and D. Brazil},
  title = {Exchange Structure},
  booktitle = {Studies in Discourse Analysis},
  publisher = {Routledge and Kegan Paul},
  year = {1981},
  editor = {Malcolm Coulthard and Martin Montgomery},
  pages = {82--106},
  address = {London},
  missinginfo = {A's 1st name.},
  topic = {discourse-analysis;speech-acts;pragmatics;}
  }

@book{ coulthard_m-montgomery_m:1981a,
  editor = {Malcolm Coulthard and Martin Montgomery},
  title = {Studies in Discourse Analysis},
  publisher = {Routledge and Kegan Paul},
  year = {1981},
  address = {London},
  rtnote = {Hillman P302 .S78 1981},
  topic = {pragmatics;text-linguistics;discourse-analysis;discourse;}
}

@article{ counihan:2008a,
  author = {Marian Counihan},
  title = {`If $p$ then $q$' and All That: Logical Elements in
  		Reasoning and Discourse},
  journal = {Journal of Logic, Language, and Information},
  year = {2008},
  volume = {17},
  number = {4},
  pages = {391--415},
  topic = {psychology-of-reasoning;cognitive-science;quantifiers;}
  }

@book{ couperkuhlen-selting:1996a,
  editor = {Elizabeth Couper-Kuhlen},
  title = {Prosody in Conversation},
  publisher = {Cambridge University Press},
  year = {1996},
  address = {Cambridge, England},
  topic = {intonation;prosody;discourse;pragmatics;}
 }

@article{ coupley-fouquere:1997a,
  author = {Pascal Coupley and Christophe Fouquer\'e},
  title = {Extending Conceptual Definitions with Default Knowledge},
  journal = {Computational Intelligence},
  year = {1997},
  volume = {13},
  number = {2},
  pages = {258--299},
  topic = {extensions-of-kl1;nonmonotonic-reasoning;nonmonotonic-logic;}
  }

@incollection{ cousot:1990a,
  author = {P. Cousot},
  title = {Methods and Logics for Proving Programs},
  booktitle = {Handbook of Theoretical Computer Science, Vol. B:
		Algorithms and Complexity},
  publisher = {Elsevier},
  year = {1990},
  editor = {Jan {van Leeuven}},
  pages = {841--993},
  address = {Amsterdam},
  missinginfo = {A's 1st name.},
  topic = {program-verification;}
  }

@article{ coventry-etal:1994a,
  author = {Kenny R. Coventry and Richard Carmichael and Simon E.
  	Garrod},
  title = {Spatial Prepositions, Object-Specific Function, and Task
  	Requirements},
  journal = {Journal of Semantics},
  year = {1994},
  volume = {11},
  number = {3},
  pages = {289--309},
  topic = {nl-semantics;semantic-processing;spatial-language;}
  }

@book{ cover-olearyhawthorne:1999a,
  author = {J.A. Cover and John O'Leary-Hawthorne},
  title = {Substance and Individuation in {L}eibniz},
  publisher = {Cambridge University Press},
  year = {1999},
  address = {Cambridge, England},
  xref = {Review: nelson_a:2004a.},
  topic = {Leibniz;substance;individuation;}
 }

@incollection{ covington:1986a,
  author = {Michael A. Covington},
  title = {Grammatical Theory in the Middle Ages},
  booktitle = {Studies in the History of Western Linguistics},
  publisher = {Cambridge University Press},
  year = {1986},
  editor = {F.R. Palmer},
  pages = {23--42},
  address = {Cambridge, England},
  topic = {history-of-linguistics;}
  }

@techreport{ covington:1989a,
  author = {Michael A. Covington},
  title = {An Extension of {P}rolog for Unification-Based Grammar},
  institution = {Advanced Computational Research Center, University
  	of Georgia},
  number = {AI--1989--01},
  year = {1988},
  address = {Athens, Georgia},
  rtnote = {In RHT collection.},
  topic = {Prolog;unification-grammars;}
  }

@book{ covington:1994a,
  author = {Michael A. Covington},
  title = {Natural Language Processing for {P}rolog
   Programmers},
  publisher = {Prentice-Hall},
  year = {1994},
  address = {Englewood Cliffs, New Jersey},
  ISBN = {0-13-629213-5},
  topic = {nlp-programming;nlp-intro;}
 }

@inproceedings{ covington:1998a,
  author = {Michael A. Covington},
  title = {Alignment of Multiple Languages for Historical
  	Comparison},
  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 = {275--280},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {computational-historical-linguistics;}
}

@techreport{ covington-etal:1988a,
  author = {Michael A. Covington and Donald Nute and Nora Schmitz
  	and David Goodman},
  title = {From {E}nglish to {P}rolog via Discourse Representation
  	Theory},
  institution = {Advanced Computational Research Center, University
  	of Georgia},
  number = {01--0024},
  year = {1988},
  address = {Athens, Georgia},
  rtnote = {In RHT collection.},
  topic = {discourse-representation-theory;nl-interpretation;}
  }

@book{ cowie:1998a,
  editor = {A.P. Cowie},
  title = {Phraseology : Theory, Analysis, and Applications},
  publisher = {Oxford University Press},
  year = {1998},
  address = {Oxford},
  ISBN = {0198294255},
  rtnote = {UMich Graduate Library, P 326.5 .P45 P481 1998.},
  topic = {collocations;corpus-linguistics;}
 }

@incollection{ cowles:1994a,
  author = {David Cowles},
  title = {On {V}an {I}nwagen's Defense of Vague Identity},
  booktitle = {Philosophical Perspectives, Volume 8:
  	Logic and Language},
  publisher = {Blackwell Publishers},
  year = {1994},
  editor = {James E. Tomberlin},
  pages = {137--158},
  address = {Oxford},
  note = {Also available at http://www.jstor.org/journals/.},
  topic = {vagueness;identity;}
  }

@article{ cox_ij-leonard_jj:1994a,
  author = {Ingemar J. Cox and John J. Leonard},
  title = {Modeling a Dynamic Environment Using a {B}ayesian Multiple
  	Hypothesis Approach},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {66},
  number = {2},
  pages = {311--344},
  acontentnote = {Abstract:
     Dynamic world modeling requires the integration of multiple
     sensor observations obtained from multiple vehicle locations at
     different times. A crucial problem in this interpretation task
     is the presence of uncertainty in the origins of measurements
     (data association or correspondence uncertainty) as well as in
     the values of measurements (noise uncertainty).  Almost all
     previous work in robotics has not distinguished between these
     two very different forms of uncertainty. In this paper we
     propose to model the uncertainty due to noise, e.g. the error in
     an object's position, by conventional covariance matrices. To
     represent the data association uncertainty, an hypothesis tree
     is constructed, the branches at any node representing different
     possible assignments of measurements to features. A rigorous
     Bayesian data association framework is then introduced that
     allows the probability of each hypothesis to be calculated.
     These probabilities can be used to guide an intelligent pruning
     strategy.  The multiple hypothesis tree allows decisions
     concerning the assignment of measurements to be postponed.
     Instead, many different hypotheses are considered.  Expected
     observations are predicted for each hypothesis and these are
     compared with actual measurements.  Hypotheses that have their
     predictions supported by measurements increase in probability
     compared with hypotheses whose predictions are unsupported. By
     ``looking ahead'' two or three time steps and examining the
     probabilities at the leaves of the tree, very accurate
     assignment decisions can be made. For dynamic world modeling,
     the approach results in multiple world models at a given time
     step, each one representing a possible interpretation of all
     past and current measurements and each having an associated
     probability. In addition, each geometric feature has an
     associated covariance that models the uncertainty due to noise.
     This framework is independent of the sensing modality, being
     applicable to most temporal data association problems. It is
     therefore appropriate for the broad class of vision, acoustic
     and range sensors currently used on existing mobile robots.
     Preliminary results using ultrasonic range data demonstrate the
     feasibility of the approach.  },
  topic = {robotics;dynamic-systems;reasoning-about-noisy-sensors;}
  }

@article{ cox_jwr:1963a,
  author = {J.W. Roxbee Cox},
  title = {Can {I} Know Beforehand What {I} Am Going to Decide?},
  journal = {The Philosophical Review},
  year = {1963},
  volume = {72},
  pages = {88--92},
  missinginfo = {number},
  xref = {Discussion of ginet:1962a.},
  rtnote = {In RHT collection.  Filed with ginet:1962a.},
  topic = {freedom;causality;}
  }

@article{ cox_mt:2005a,
  author = {Michael T. Cox},
  title = {Metacognition in Computation: A Selected Research Review},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {169},
  number = {2},
  pages = {104--141},
  topic = {metacognition;}
  }

@article{ cox_mt:2007a,
  author = {Michael T. Cox},
  title = {Perpetual Self-Aware Cognitive Agents},
  journal = {The {AI} Magazine},
  year = {2007},
  volume = {28},
  number = {1},
  pages = {42--45},
  topic = {metacognition;}
  }

@article{ cox_mt-ram:1999a,
  author = {Michael T. Cox and Ashwin Ram},
  title = {Introspective Multistrategy Learning: On the Construction
  	of Learning Strategies},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {112},
  number = {1--2},
  pages = {1--55},
  acontentnote = {Abstract:
     A central problem in multistrategy learning systems is the
     selection and sequencing of machine learning algorithms for
     particular situations. This is typically done by the system
     designer who analyzes the learning task and implements the
     appropriate algorithm or sequence of algorithms for that task.
     We propose a solution to this problem which enables an AI system
     with a library of machine learning algorithms to select and
     sequence appropriate algorithms autonomously. Furthermore,
     instead of relying on the system designer or user to provide a
     learning goal or target concept to the learning system, our
     method enables the system to determine its learning goals based
     on analysis of its successes and failures at the performance
     task.  The method involves three steps: Given a performance
     failure, the learner examines a trace of its reasoning prior to
     the failure to diagnose what went wrong (blame assignment);
     given the resultant explanation of the reasoning failure, the
     learner posts explicitly represented learning goals to change
     its background knowledge (deciding what to learn); and given a
     set of learning goals, the learner uses nonlinear planning
     techniques to assemble a sequence of machine learning
     algorithms, represented as planning operators, to achieve the
     learning goals (learning-strategy construction).  In support of
     these operations, we define the types of reasoning failures, a
     taxonomy of failure causes, a second-order formalism to
     represent reasoning traces, a taxonomy of learning goals that
     specify desired change to the background knowledge of a system,
     and a declarative task-formalism representation of learning
     algorithms. We present the Meta-AQUA system, an implemented
     multistrategy learner that operates in the domain of story
     understanding. Extensive empirical evaluations of Meta-AQUA show
     that it performs significantly better in a deliberative, planful
     mode than in a reflexive mode in which learning goals are
     ablated and, furthermore, that the arbitrary ordering of
     learning algorithms can lead to worse performance than no
     learning at all. We conclude that explicit representation and
     sequencing of learning goals is necessary for avoiding negative
     interactions between learning algorithms that can lead to less
     effective learning.  },
  topic = {machine-learning;metareasoning;case-based-reasoning;}
  }

@article{ cox_mt-zhang_c:2007a,
  author = {Michael T. Cox and Chen Zhang},
  title = {Mixed-Initiative Goal Manipulation},
  journal = {The {AI} Magazine},
  year = {2007},
  volume = {28},
  number = {2},
  pages = {62--73},
  topic = {mixed-initiative-systems;collaboration;reasoning-about-goals;
  	group-planning;}
  }

@inproceedings{ cox_pt-pietrzykowski:1986a,
  author = {P. T. Cox and T. Pietrzykowski},
  title = {Causes for Events:  Their Computation and Applications},
  booktitle = {Proceedings, Eighth International Conference on
  	Automated Deduction (CADE-8)},
  year = {1986},
  editor = {Jorg Siekmann},
  pages = {608--621},
  publisher = {Springer-Verlag},
  address = {Berlin},
  missinginfo = {A's 1st name, E's 1st name},
  contentnote = {This is what Stickel calls "most specific abduction".},
  topic = {causality;events;abduction;}
  }

@inproceedings{ cox_pt-pietrzykowski:1987a,
  author = {P.T. Cox and T. Pietrzykowski},
  title = {General Diagnosis for Abductive Inference},
  booktitle = {Proceedings of the 1987 Symposium on Logic
  	Programming},
  year = {1987},
  pages = {183--189},
  contentnote = {This is what Stickel calls "most specific abduction".},
  missinginfo = {A's 1st name, organization, publisher},
  topic = {theorem-proving;abduction;}
  }

@book{ coyne:1988a,
  author = {Richard Coyne},
  title = {Logic Models of Design},
  publisher = {Pitman},
  year = {1988},
  address = {London},
  ISBN = {0 273 08797 5},
  rtnote = {UMich Media Union QA 76 .C85 1988},
  topic = {logic-programming;planning;macro-formalization;logic-in-cs;
  	CAD;spatial-arrangement-tasks;}
 }

@article{ cozman:2000a,
  author = {Fabio G. Cozman},
  title = {Credal Networks},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {120},
  number = {2},
  pages = {199--233},
  acontentnote = {Abstract:
     This paper presents a complete theory of credal networks,
     structures that associate convex sets of probability measures
     with directed acyclic graphs.  Credal networks are graphical
     models for precise/imprecise beliefs. The main contribution of
     this work is a theory of credal networks that displays as much
     flexibility and representational power as the theory of standard
     Bayesian networks.  Results in this paper show how to express
     judgements of irrelevance and independence, and how to compute
     inferences in credal networks. A credal network admits several
     extensions---several sets of probability measures comply with
     the constraints represented by a network.  Two types of
     extensions are investigated. The properties of strong extensions
     are clarified through a new generalization of d-separation, and
     exact and approximate inference methods are described for strong
     extensions.  Novel results are presented for natural extensions,
     and linear fractional programming methods are described for
     natural extensions.  The paper also investigates credal networks
     that are defined globally through perturbations of a single
     network.},
  topic = {graph-based-reasoning;credal-networks;
  	reasoning-about-uncertainty;bayesian-networks;}
  }

@article{ crabbe:2000a,
  author = {Marcel Crabb\'e},
  title = {The Rise and Fall of Typed Sentences},
  journal = {Journal of Symbolic Logic},
  year = {2000},
  volume = {65},
  number = {4},
  pages = {1858--1862},
  contentnote = {This has to do with New Foundations.},
  topic = {type-theory;set-theory;}
  }

@article{ craggs-wood_mm:2005a,
  author = {Edward Craggs and Mary McGee Wood},
  title = {Evaluating Discourse and Dialogue Encoding Schemes},
  journal = {Computational Linguistics},
  year = {2005},
  volume = {31},
  number = {3},
  pages = {289--294},
  topic = {discourse-tagging;intercoder-agreement;}
  }

@incollection{ craig-tracey:1983b,
  author = {Robert T. Craig and Karen Tracey},
  title = {Introduction},
  booktitle = {Conversational Coherence:  Form, Structure and Strategy},
  publisher = {Sage Publications},
  year = {1983},
  editor = {Robert T. Craig and Karen Tracey},
  address = {London},
  missinginfo = {pages},
  rtnote = {pages = {10--}},
  topic = {discourse-coherence;discourse-analysis;pragmatics;}
  }

@book{ craig-tracy:1983a,
  editor = {Robert T. Craig and Karen Tracey},
  title = {Conversational Coherence:  Form, Structure and Strategy},
  publisher = {Sage Publications},
  year = {1983},
  address = {London},
  topic = {discourse-coherence;discourse-analysis;pragmatics;}
 }

@unpublished{ crain-fodor_jd:1980a,
  author = {Stephen Crain and Janet D. Fodor},
  title = {How Can Grammers Help Parsers?},
  year = {1980},
  note = {Unpublished manuscript, University of Connecticut},
  rtnote = {In RHT collection.},
  missinginfo = {Year is a wild guess.},
  topic = {parsing-psychology;}
  }

@article{ crain-pietroski:2001a,
  author = {Stephen Crain and Paul Pietroski},
  title = {Nature, Nurture, and Universal Grammar},
  journal = {Linguistics and Philosophy},
  year = {2001},
  volume = {24},
  number = {2},
  pages = {139--186},
  topic = {L1-acquisition;universal-grammar;}
  }

@incollection{ crain-steedman:1985a,
  author = {Stephen Crain and Mark Steedman},
  title = {On Not Being Led Up the Garden Path: The Use of Context by
  	the Psychological Parser},
  booktitle = {Natural Language Parsing: Psychological, Computational
  	and Theoretical Perspectives},
  publisher = {Cambridge University Press},
  year = {1985},
  editor = {David Dowty and Lauri Karttunen and Arnold Zwicky},
  address = {Cambridge, England},
  rtnote = {In RHT collection.},
  missinginfo = {pages},
  topic = {parsing-psychology;context;}
  }

@book{ crain-thornton:1998a,
  author = {Stephen Crain and Rosalind Thornton},
  title = {Investigations in Universal Grammar: A Guide to
		Experiments on the Acquisition of Syntax and Semantics},
  publisher = {The {MIT} Press},
  year = {1998},
  address = {Cambridge, Massachusetts},
  xref = {Review: geurts:2000a},
  topic = {L1-acquisition;semantics-acquisition;}
 }

@incollection{ crampe-euzenat:1998a,
  author = {Isabelle Cramp\'e and J\'er\^ome Euzenat},
  title = {Object Knowledge Base Revision},
  booktitle = {{ECAI}98, Thirteenth European Conference on
  	Artificial Intelligence},
  publisher = {John Wiley and Sons},
  year = {1998},
  editor = {Henri Prade},
  pages = {3--7},
  address = {Chichester},
  topic = {knowledge-base-revision;}
  }

@book{ crane:1996a,
  editor = {Tim Crane},
  title = {Dispositions: A Debate},
  publisher = {Routledge},
  year = {1996},
  address = {London},
  ISBN = {0415144329},
  note = {A debate involving David M. Armstrong, C.B. Martin and
  	U.T. Place.},
  rtnote = {UMich Graduate Library, BD 374 .A751 1996.},
  topic = {dispositions;}
 }

@article{ crane:2000a,
  author = {Tim Crane},
  title = {Review of \emph{{T}he Paradox of Self-Consciousness}, by
  	{J}os\'e Luis Berm\'udez},
  journal = {The Philosophical Review},
  year = {2000},
  volume = {109},
  number = {4},
  pages = {624--627},
  xref = {Review of bermudez:1998a.},
  topic = {philosophy-of-mind;}
  }

@article{ craven-etal:2000a,
  author = {Mark Craven and Dan DiPasquo and Dayne Freitag and
  	Andrew McCallum and Tom Mitchell and Kamal Nigan
	and S\'ean Slattery},
  title = {Learning to Construct Knowledge Bases from the World Wide
  	Web},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {118},
  number = {1--2},
  pages = {69--113},
  acontentnote = {Abstract:
     The World Wide Web is a vast source of information accessible to
     computers, but understandable only to humans. The goal of the
     research described here is to automatically create a computer
     understandable knowledge base whose content mirrors that of the
     World Wide Web. Such a knowledge base would enable much more
     effective retrieval of Web information, and promote new uses of
     the Web to support knowledge-based inference and problem
     solving.  Our approach is to develop a trainable information
     extraction system that takes two inputs. The first is an
     ontology that defines the classes (e.g., company, person,
     employee, product) and relations (e.g., employed_by,
     produced_by) of interest when creating the knowledge base. The
     second is a set of training data consisting of labeled regions
     of hypertext that represent instances of these classes and
     relations.  Given these inputs, the system learns to extract
     information from other pages and hyperlinks on the Web.  This
     article describes our general approach, several machine learning
     algorithms for this task, and promising initial results with a
     prototype system that has created a knowledge base describing
     university people, courses, and research projects.},
  topic = {AI-and-the-internet;machine-learning;
  	computational-ontology;intelligent-information-retrieval;}
  }

@article{ craven-sergot:2005a,
  author = {Robert Craven and Mark Sergot},
  title = {Distant Causation in $C+$},
  journal = {Studia Logica},
  year = {2005},
  volume = {79},
  number = {1},
  pages = {73--96},
  topic = {action-formalisms;causality;ramification-problem;}
  }

@inproceedings{ cravo-etal:1999a,
  author = {Maria Cravo and Jo\~ao Cachopo and Ana Cachopo
		and Jo\~ao Martins},
  title = {Permissive Belief Revision (Preliminary Report)},
  booktitle = {Proceedings of the {IJCAI}-99 Workshop on
	Nonmonotonic Reasoning, Action and Change},
  year = {1999},
  editor = {Michael Thielscher},
  pages = {17--24},
  organization = {IJCAI},
  publisher = {International Joint Conference on Artificial Intelligence},
  address = {Murray Hill, New Jersey},
  topic = {belief-revision;}
  }

@article{ craw-etal:2006a,
  author = {Susan Craw and Nirmalie Wiratunga and Ray C. Rowe},
  title = {Learning Adaptation Knowledge to Improve Case-Based Reasoning},
  journal = {Artificial Intelligence},
  year = {2006},
  volume = {170},
  number = {16--17},
  pages = {1175--1192},
  topic = {case-based-reasoning;machine-learning;}
  }

@phdthesis{ crawford:1990a,
  author = {James M. Crawford},
  title = {Access-Limited Logic---A Language for Knowledge
  	Representation},
  school = {Department of Computer Science, University of Texas at
  	Austin},
  year = {1990},
  type = {Ph.{D}. Dissertation},
  address = {Austin, Texas},
  note = {Also Technical Report {AI}90--141, Artificial Intelligence
  	Laboratory, University of Texas at Austin.},
  rtnote = {In RHT collection.  See shelf.},
  topic = {knowledge-representation;semantic-networks;}
 }

@inproceedings{ crawford:1990b,
 author = {James M. Crawford and Adam Farquhar and Benjamin Kuipers},
 title = {{QPC}: a Compiler From Physical Models Into Qualitative
 	Differential Equations},
  booktitle = {Proceedings of the Eighth National Conference on
              Artificial Intelligence},
  year = {1990},
  pages = {365--372},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  missinginfo = {editor},
  rtnote = {In RHT collection.},
  topic = {qualitative-physics;}
 }

@techreport{ crawford:1990c,
  author = {James M. Crawford},
  title = {Towards a Formalization of Access-Limited Logic},
  institution = {Artificial Intelligence Laboratory, The University
  	of Texas at Austin},
  number = {A190--133},
  year = {1990},
  address = {Austin, Texas},
  rtnote = {In RHT collection.},
  topic = {knowledge-representation;semantic-networks;}
  }

@article{ crawford-anton:1996a,
  author = {James M. Crawford and L.D. Anton},
  title = {Experimental Results on the Crossover Point in Random
		3-{SAT}},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {81},
  number = {1--2},
  pages = {31--57},
  topic = {search;experiments-on-theorem-proving-algs;
  	computational-phase-transitions;}
  }

@inproceedings{ crawford-auton:1993a,
  author = {James M. Crawford and L.D. Anton},
  title = {Experimental Results on the Crossover Point in Satisfiability
  	Problems},
  booktitle = {Proceedings of the Eleventh National Conference on
              Artificial Intelligence},
  year = {1993},
  editor = {Richard Fikes and Wendy Lehnert},
  pages = {21--27},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  contentnote = {Efficient implementation of np-complete algs.},
  topic = {experiments-on-theorem-proving-algs;}
  }

@incollection{ crawford-etal:1996a,
  author = {James M. Crawford and Matthew L. Ginsberg and Eugene Luck and
  	Amitabha Roy},
  title = {Symmetry-Breaking Predicates for Search Problems},
  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 = {148--159},
  address = {San Francisco, California},
  topic = {kr;kr-course;complexity-in-AI;theorem-proving;planning;search;}
  }

@inproceedings{ crawford-etherington:1992a,
  author = {James M. Crawford and David W. Etherington},
  title = {Formalizing Reasoning about Change: a Qualitative
  	Reasoning Approach},
  booktitle = {Proceedings of the Tenth National Conference on
              Artificial Intelligence},
  year = {1992},
  editor = {Paul Rosenbloom and Peter Szolovits},
  pages = {577--583},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {kr;temporal-reasoning;kr-course;}
  }

@inproceedings{ crawford-etherington:1995a,
 author = {James M. Crawford and David W. Etherington},
 title = {Observations on Observations in Action Theories},
 booktitle = {Working Notes of the {AAAI} Spring Symposium on
 	Extending Theories of Action: Formal Theories and Applications},
 year = {1995},
 organization = {American Association for Artificial Intelligence},
 address = {Menlo Park, California},
 rtnote = {In RHT Collection.},
 missinginfo = {pages},
 topic = {action;planning-formalisms;foundations-of-planning;}
 }

@incollection{ crawford-kuipers_bj:1989a,
  author = {James M. Crawford and Benjamin Kuipers},
  title = {Towards a Theory of Access-Limited Logic for Knowledge
  	Representation},
  booktitle = {{KR}'89: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1989},
  editor = {Ronald J. Brachman and Hector J. Levesque and Raymond Reiter},
  pages = {67--78},
  address = {San Mateo, California},
  topic = {knowledge-representation;semantic-networks;}
  }

@inproceedings{ crawford-litman:1996a,
  author = {James M. Crawford and Diane Litman},
  title = {Path-Based Rules in Object-Oriented Programming},
  booktitle = {Proceedings of the Thirteenth National Conference on
              Artificial Intelligence and the Eighth Innovative
	      Applications of Artificial Intelligence  Conference,
	      Vol. 2},
  year = {1996},
  editor = {William J. Clancey and Dan Weld},
  pages = {490--497},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {kr;krcourse;object-oriented-systems;expert-systems;}
  }

@article{ creaney:1998a,
  author = {Norman Creaney},
  title = {Review of \emph{{S}urface Structure and Interpretation}, by
  	{M}ark {S}teedman},
  journal = {Computational Linguistics},
  year = {1998},
  volume = {24},
  number = {1},
  pages = {177--179},
  xref = {Review of steedman:1997a.},
  topic = {nl-semantics;categorial-grammar;}
  }

@inproceedings{ creary:1979a,
  author = {Lewis G. Creary},
  title = {Propositional Attitudes: {F}regean Representation and
  	Simulative Reasoning},
  booktitle = {Proceedings of the Seventh International Joint
  	Conference on Artificial Intelligence},
  year = {1979},
  editor = {Bruce Buchanan},
  pages = {176--181},
  publisher = {International Joint Conference on Artificial Intelligence},
  address = {Menlo Park, California},
  topic = {propositional-attitudes;}
 }

@unpublished{ creary-pollard:1985a,
  author = {Lewis G. Creary and Carl J. Pollard},
  title = {A Computational Semantics for Natural Language},
  year = {1985},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript.},
  missinginfo = {Date is a guess.  This is clearly a preprint but I do
  	not have the reference.},
  topic = {computational-semantics;HPSG;}
  }

@article{ creath:1977a,
  author = {Richard Creath},
  title = {The Root of the Problem},
  journal = {Linguistics and Philosophy},
  year = {1977},
  volume = {1},
  number = {2},
  pages = {273--275},
  xref = {Comment on root:1977a.},
  topic = {synonymy;philosophy-of-language;}
  }

@article{ cremers:1996a,
  author = {Anita Cremers},
  title = {Review of \emph{{D}eixis in {N}arrative: {A} {C}ognitive {S}cience
 	{P}erspective}, by {J}udith {F}. {D}uchan, {G}ail {A}. {B}ruder, and
	{L}ynne {E}. {H}ewitt},
  journal = {Computational Linguistics},
  year = {1996},
  volume = {22},
  number = {3},
  pages = {448--449},
  topic = {deixis;psycholinguistics;pragmatics;}
  }

@article{ cresswell_mj:1967a,
  author = {Max J. Cresswell},
  title = {Propositional Identity},
  journal = {Logique et Analyse, Nouvelle S\'erie},
  year = {1967},
  volume = {10},
  number = {39--40},
  pages = {283--292},
  rtnote = {In RHT collection.},
  topic = {propositions;higher-order-logic;modal-logic;}
  }

@article{ cresswell_mj:1968a,
  title = {The Representation of Intensional Logics},
  author = {Max J. Cresswell},
  journal = {Zeitschrift f\"ur Mathematische Logik und
  	Grundlagen der Mathematik},
  year = {1968},
  volume = {14},
  pages = {289--298},
  rtnote = {In RHT collection.},
  topic = {modal-logic;}
  }

@article{ cresswell_mj:1968b,
  author = {Max J. Cresswell},
  title = {Some Proofs of Relative Completeness in Modal Logic},
  journal = {Notre Dame Journal of Formal Logic},
  year = {1968},
  volume = {9},
  number = {1},
  pages = {62--65},
  rtnote = {In RHT collection.},
  contentnote = {Proves completeness of S7, S8 relative to S3.  Of
  	S6 relative to S2.  Of S2 relative to E2.},
  topic = {modal-logic;completeness-theorems;}
  }

@article{ cresswell_mj:1970a,
  author = {Max J. Cresswell},
  title = {Classical Intensional Logics},
  journal = {Theoria},
  year = {1970},
  volume = {36},
  pages = {347--372},
  missinginfo = {number},
  topic = {modal-logic;}
  }

@article{ cresswell_mj:1972a,
  author = {Max J. Cresswell},
  title = {Intensional Logics and Logical Truth},
  journal = {Journal of Philosophical Logic},
  year = {1972},
  volume = {1},
  pages = {2--15},
  topic = {modal-logics;intensional-logic;}
  }

@book{ cresswell_mj:1973a,
  author = {Max J. Cresswell},
  title = {Logics and Languages},
  publisher = {Methuen},
  year = {1973},
  address = {London},
  contentnote = {TC:
  		1.  Syn & Sem of Propositional Languages
		2.  Propositional Logics
		3.  The Metaphysics of Propositions
		4.  The Structure of Propositions
		5.  Pure Categorial Languages
		6.  Abstraction and \lambda-categorial languages
		7.  The Metaphysics of Categorial Languages
		8.  Pragmatics
		9.  Some Parts of Speech
		10. More Parts of Speech
		11. Context-Dependence in English
		12. Words and Morphemes
		13. Obtaining Natural Languages
		14. Meaning and Use
  },
  rtnote = {In RHT collection.  Query: Is title correct?},
  xref = {Review: guenthner_f:1977a.},
  topic = {nl-semantics;pragmatics;speech-acts;pragmatics;
  	categorial-grammar;}
 }

@article{ cresswell_mj:1973b,
  author = {Max J. Cresswell},
  title = {Physical Theories and Possible Worlds},
  journal = {Logique et Analyse, Nuuvelle S\'erie},
  year = {1973},
  volume = {16},
  number = {63--64},
  pages = {495--511},
  rtnote = {In RHT collection.},
  topic = {philosophy-of-possible-worlds;}
  }

@article{ cresswell_mj:1973c,
  author = {Max J. Cresswell},
  title = {Review of \emph{{P}hilosophical Problems in Logic: Some
  	Recent Developments}, edited by {K}arel {L}ambert},
  journal = {Synth\'ese},
  year = {1973},
  volume = {85},
  number = {1},
  pages = {158--164},
  xref = {Review of: lambert_k:1970a.},
  rtnote = {In RHT collection.},
  topic = {philosophical-logic;}
  }

@article{ cresswell_mj:1974a,
  author = {Max J. Cresswell},
  title = {A Semantics for a Logic of `Better'},
  journal = {Logique et Analyse, Nouvelle S\'erie},
  year = {1974},
  volume = {17},
  number = {65--66},
  missinginfo = {pages},
  topic = {deontic-logic;comparative-constructions;evaluative-terms;}
  }

@article{ cresswell_mj:1974b,
  author = {Max J. Cresswell},
  title = {Adverbs and Events},
  journal = {Synth\'ese},
  year = {1974},
  volume = {28},
  pages = {455--481},
  missinginfo = {number},
  topic = {adverbs;events;event-semantics;}
  }

@unpublished{ cresswell_mj:1974c,
  author = {Max J. Cresswell},
  title = {Hyperintensional Logic},
  year = {1974},
  note = {Unpublished manuscript, University of Wellington},
  rtnote = {In RHT collection.},
  topic = {hyperintensionality;}
  }

@unpublished{ cresswell_mj:1974d,
  author = {Max J. Cresswell},
  title = {Semantic Deviance},
  year = {1974},
  note = {Unpublished manuscript, University of Wellington},
  rtnote = {In RHT collection.},
  topic = {foundations-of-semantics;}
  }

@incollection{ cresswell_mj:1976a,
  author = {Max J. Cresswell},
  title = {The Semantics of Degree},
  booktitle = {Montague Grammar},
  publisher = {Academic Press},
  year = {1976},
  editor = {Barbara H. Partee},
  pages = {261--292},
  address = {New York},
  topic = {nl-semantics;Montague-grammar;comparative-constructions;
  	adjectives;vagueness;}
  }

@article{ cresswell_mj:1976b,
  author = {Max J. Cresswell},
  title = {Review of \emph{Formal Philosophy: Selected Papers of
  		{R}ichard {M}ontague}, edited by {R}ichmond {H}. {T}homason},
  journal = {Philosophia},
  year = {1976},
  volume = {6},
  number = {1},
  pages = {193--207},
  xref = {Review of: montague_r:1974a},
  topic = {nl-semantics;montague-grammar;}
  }

@unpublished{ cresswell_mj:1977a,
  author = {Max J. Cresswell},
  title = {Interval Semantics for Some Event Expressions},
  year = {1977},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript, Victoria University at Wellington.},
  rtnote = {In RHT collection.  Undoubtedly published somewhere or other.},
  topic = {events;nl-tense;}
  }

@unpublished{ cresswell_mj:1977b,
  author = {Max J. Cresswell},
  title = {Relative Identity},
  year = {1977},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript, Victoria University at Wellington.},
  rtnote = {In RHT collection.},
  topic = {identity;semantics-of-common-nouns;}
  }

@book{ cresswell_mj:1977c,
  author = {Max J. Cresswell},
  title = {Categorial Languages},
  publisher = {Indiana University Linguistics Club},
  year = {19

repository: sergiud/bibtex-spirit

repo_name: sergiud/bibtex-spirit