text:
. Brennan and Alain Giboin and David R. Traum},
  pages = {43--47},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  topic = {discourse;HCI;psychology-of-discourse;}
  }

@incollection{ clark_hh-brennan_se:1991a,
  author = {Herbert H. Clark and Susan E. Brennan},
  title = {Grounding in Communication},
  booktitle = {Perspectives on Socially Shared Cognition},
  publisher = {American Psychological Association},
  year = {1991},
  editor = {Lauren B. Resnick and John M. Levine and
  	Stephanie D. Teasley},
  pages = {127--149},
  address = {Washington, D.C.},
  topic = {social-psychology;shared-cognition;psychology-of-discourse;}
  }

@incollection{ clark_hh-carlson_tb:1982a,
  author = {Herbert H. Clark and Thomas B. Carlson},
  title = {Speech Acts and Hearer's Beliefs},
  booktitle = {Mutual Knowledge},
  publisher = {Academic Press},
  year = {1982},
  pages = {1--36},
  address = {London},
  xref = {Revised version in clark:1992a.},
  rtnote = {pragmatics-course;},
  topic = {discourse;mutual-belief;pragmatics;psychology-of-discourse;}
  }

@article{ clark_hh-carlson_tb:1982b,
  author = {Herbert H. Clark and Thomas B. Carlson},
  title = {Hearers and Speech Acts},
  journal = {Language},
  year = {1982},
  volume = {58},
  pages = {332--373},
  missinginfo = {number},
  xref = {Republished in clark_hh:1992a.},
  topic = {speech-acts;discourse;participant-roles;psychology-of-discourse;}
  }

@incollection{ clark_hh-carlson_tb:1992a,
  author = {Herbert Clark and Thomas B. Carlson},
  title = {Context for Comprehension},
  booktitle = {Attention and Performance {IX}},
  publisher = {Lawrence Erlbaum Associates},
  year = {1982},
  pages = {313--330},
  address = {Mahwah, New Jersey},
  xref = {Republished in clark:1992a.},
  topic = {discourse;context;pragmatics;psychology-of-discourse;}
  }

@book{ clark_hh-clark_e:1977a,
  author = {Herbert H. Clark and Eve Clark},
  title = {Psychology and Language, an Introduction to
  	Psycholinguistics},
  publisher = {Harcourt Brace Jovanovich},
  year = {1977},
  address = {New York},
  xref = {Review: dahl_o-linell:1980a.},
  topic = {psycholinguistics;}
 }

@article{ clark_hh-etal:1983a,
  author = {Herbert H. CLark and R. Schreuder and S. Buttrick},
  title = {Common Ground and the Understanding of Demonstrative
  	Utterance},
  journal = {Journal of Verbal Learning and Verbal Behavior},
  year = {1983},
  volume = {22},
  pages = {245--258},
  missinginfo = {A's 1st name, number},
  xref = {Republished in clark_hh:1992a.},
  rtnote = {pragmatics-course;},
  topic = {reference;discourse;mutual-belief;pragmatics;
  	deixis;demonstratives;conversational-record;psychology-of-discourse;}
  }

@article{ clark_hh-gerrig:1983a,
  author = {Herbert H. Clark and R.J. Gerrig},
  title = {Understanding Old Words with New Meanings},
  journal = {Journal of Verbal Learning and Verbal Behavior},
  year = {1983},
  volume = {22},
  pages = {591--608},
  missinginfo = {A's 1st name, number},
  topic = {nonce-sense;semantic-change;psychology-of-discourse;}
  }

@article{ clark_hh-gerrig:1984a,
  author = {Herbert H. Clark and R.J. Gerrig},
  title = {On the Pretense of Irony},
  journal = {Journal of Experimental Psychology: General},
  year = {1984},
  volume = {113},
  number = {1},
  pages = {121--126},
  topic = {irony;cognitive-psychology;psychology-of-discourse;}
  }

@article{ clark_hh-gerrig:1990a,
  author = {Herbert H. Clark and Richard J. Gerrig},
  title = {Quotations as Demonstrations},
  journal = {Language},
  year = {1990},
  volume = {66},
  number = {4},
  pages = {764--805},
  topic = {direct-discourse;}
  }

@incollection{ clark_hh-haviland_se:1974a,
  author = {Herbert H. Clark and Susan E. Haviland},
  title = {Psychological Processes as Linguistic Explanation},
  booktitle = {Explaining Linguistic Phenomena},
  publisher = {Hemisphere Publishing Corp.},
  year = {1974},
  editor = {David Cohen},
  pages = {91--124},
  address = {Washington, DC},
  topic = {philosophy-of-linguistics;linguistics-methodology;
  	explanation;given-new;}
  }

@incollection{ clark_hh-haviland_se:1974b,
  author = {Herbert H. Clark and Susan E. Haviland},
  title = {Comprehension and the Given-New Contract},
  booktitle = {Discourse Production and Comprehension},
  publisher = {Lawrence Erlbaum Associates},
  year = {1974},
  editor = {R. Freedle},
  pages = {1--40},
  address = {Mahwah, New Jersey},
  missinginfo = {A's 1st name},
  rtnote = {pragmatics-course;},
  topic = {given-new;discourse;pragmatics;psychology-of-discourse;}
  }

@article{ clark_hh-lucy:1975a,
  author = {Herbert H. Clark and P. Lucy},
  title = {Understanding What is Meant From What is Said: A Study in
  	Conversationally Conveyed Requests},
  journal = {Journal of Verbal Learning and Verbal Behavior},
  year = {1975},
  volume = {14},
  pages = {56--72},
  missinginfo = {A's 1st name, number},
  rtnote = {In RHT collection.},
  topic = {speech-acts;speaker-meaning;pragmatics;psychology-of-discourse;}
  }

@incollection{ clark_hh-marshall:1981a,
  author = {Herbert H. Clark and Catherine R. Marshall},
  title = {Definite Reference and Mutual Knowledge},
  booktitle = {Elements of Discourse Understanding},
  publisher = {Cambridge University Press},
  year = {1981},
  editor = {Arivind Joshi and Bonnie Webber and Ivan Sag},
  pages = {10--63},
  address = {Cambridge, England},
  xref = {Revised version in clark:1992a.},
  rtnote = {pragmatics-course;},
  topic = {reference;discourse;mutual-belief;pragmatics;
  	psychology-of-discourse;}
  }

@article{ clark_hh-schaefer:1987a,
  author = {Herbert H. Clark and Edward F. Schaefer},
  title = {Concealing One's Meaning from Overhearers},
  journal = {Journal of Memory and Language},
  year = {1987},
  volume = {26},
  pages = {209--225},
  missinginfo = {number},
  xref = {Republished in clark_hh:1992a.},
  topic = {discourse;collaboration;pragmatics;participant-roles;
  	psychology-of-discourse;}
  }

@article{ clark_hh-schaefer:1989a,
  author = {Herbert H. Clark and Edward F. Schaefer},
  title = {Contributing to Discourse},
  journal = {Cognitive Science},
  year = {1989},
  volume = {13},
  pages = {259--294},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  xref = {Republished in clark_hh:1992a.},
  topic = {discourse;collaboration;pragmatics;psychology-of-discourse;}
  }

@article{ clark_hh-schober:1989a,
  author = {Herbert H. Clark and Michael Schober},
  title = {Understanding by Addressees and Overhearers},
  journal = {Cognitive Psychology},
  year = {1989},
  volume = {21},
  pages = {211--232},
  missinginfo = {number},
  xref = {Republished in clark_hh:1992a.},
  topic = {discourse;collaboration;pragmatics;participant-roles;
  	psychology-of-discourse;}
  }

@article{ clark_hh-wilkesgibbs:1986a,
  author = {Herbert H. Clark and Deanna Wilkes-Gibbs},
  title = {Referring as a Collaborative Process},
  journal = {Cognition},
  year = {1986},
  volume = {22},
  pages = {1--39},
  number = {1},
  topic = {reference;collaboration;discourse;pragmatics;
  	psychology-of-discourse;}
  }

@incollection{ clark_kl:1978a1,
  author = {Keith L. Clark},
  title = {Negation as Failure},
  booktitle = {Logic and Data Bases},
  publisher = {Plenum Press},
  year = {1978},
  editor = {H. Gallaire and Jack Minker},
  pages = {293--322},
  address = {New York},
  missinginfo = {E's 1st name.},
  xref = {Republication: clark_kl:1978a1.},
  topic = {logic-programming;negation-as-failure;}
  }

@incollection{ clark_kl:1978a2,
  author = {Keith L. Clark},
  title = {Negation as Failure},
  booktitle = {Readings in Nonmonotonic Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1987},
  editor = {Matthew L. Ginsberg},
  pages = {311--325},
  address = {Los Altos, California},
  xref = {Original publication: clark_kl:1978a2.},
  topic = {logic-programming;negation-as-failure;}
  }

@book{ clark_kl-tarnlund:1982a,
  editor = {Keith L. Clark and Sten-{\AA}ke T{\aa}rnlund},
  title = {Logic Programming},
  publisher = {Academic Press},
  year = {1982},
  address = {New York},
  ISBN = {0121755207},
  rtnote = {UMich Media Union Library, QA76.6 .L5871 1982.},
  topic = {logic-programming;}
 }

@book{ clark_m:2002a,
  author = {Michael Clark},
  title = {Paradoxes from {A} to {Z}},
  publisher = {Routledge},
  year = {2002},
  address = {London},
  ISBN = {0 415 22809 3},
  topic = {paradoxes;}
 }

@article{ clark_m1:1980a,
  author = {Michael Clark},
  title = {The Equivalence of Tautological and `Strict' Entailment
  	Proof of an Amended Conjecture of {L}ewy's},
  journal = {Journal of Philosophical Logic},
  year = {1980},
  volume = {9},
  number = {1},
  pages = {9--15},
  topic = {relevance-logic;}
  }

@inproceedings{ clark_p-etal:2000a,
  author = {Peter Clark and John Thompson and Bruce Porter},
  title = {Knowledge Patterns},
  booktitle = {{KR}2000: Principles of Knowledge Representation and
  	Reasoning},
  year = {2000},
  editor = {Anthony G. Cohn and Fausto Giunchiglia and Bart Selman},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  pages = {591--600},
  topic = {knowledge-acquisition;knowledge-engineering;
  	macro-formalization;}
  }

@article{ clark_r1:1965a,
  author = {Romane Clark},
  title = {On What is Naturally Necessary},
  journal = {The Journal of Philosophy},
  year = {1965},
  volume = {62},
  number = {21},
  pages = {613--625},
  xref = {Commentary: buck_rc:1965a, achinstein:1965a.},
  topic = {ceteris-paribus-generalizations;natural-laws;causality;
  	nonmonotonic-reasoning;}
  }

@article{ clark_r1:1970a,
  author = {Romane Clark},
  title = {Concerning the Logic of Predicate Modifiers},
  journal = {No\^us},
  year = {1970},
  volume = {4},
  number = {4},
  pages = {311--335},
  topic = {adverbs;nl-semantics;}
  }

@incollection{ clark_r1:1973a,
  author = {Romane Clark},
  title = {Prima Facie Generalizations},
  booktitle = {Conceptual Change},
  publisher = {D. Reidel Publishing Co.},
  year = {1973},
  editor = {Glenn Pearce and Patrick Maynard},
  pages = {42--54},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {ceteris-paribus-generalizations;generics;}
  }

@unpublished{ clark_r1:1975a,
  author = {Romane Clark},
  title = {Old Foundations for a Logic of Perception},
  year = {1975},
  note = {Unpublished manuscript, Indiana University},
  rtnote = {In RHT collection.},
  topic = {logic-of-perception;}
  }

@unpublished{ clark_r1:1981a,
  author = {Romane Clark},
  title = {When Is a Fallacy Valid?  Reflections on Backward Reasoning},
  year = {1970},
  note = {Unpublished manuscript, Indiana University.},
  rtnote = {In RHT collection.},
  topic = {abduction;nonmonotonic-reasoning;}
  }

@article{ clark_r1:1986a,
  author = {Romane Clark},
  title = {Predication and Paronymous Modifiers},
  journal = {Notre Dame Journal of Formal Logic},
  year = {1986},
  volume = {27},
  number = {3},
  pages = {376--392},
  topic = {nl-semantics;adverbs;}
  }

@incollection{ clark_r2:1992a,
  author = {Ron Clark},
  title = {Reflection and Truth},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
  	Proceedings of the Fourth Conference ({TARK} 1992)},
  publisher = {Morgan Kaufmann},
  year = {1992},
  editor = {Yoram Moses},
  pages = {73--84},
  address = {San Francisco},
  topic = {epistemic-logic;semantic-reflection;}
  }

@incollection{ clark_r3-kurtonina:1999a,
  author = {Robin Clark and Natasha Kurtonina},
  title = {Consequences from {Q}uine},
  booktitle = {Proceedings of the Twelfth {A}msterdam Colloquium},
  publisher = {ILLC/Department of Philosophy, University
		of Amsterdam},
  year = {1999},
  editor = {Paul Dekker},
  pages = {91--95},
  address = {Amsterdam},
  topic = {combinatory-logic;switch-reference;}
  }

@article{ clark_r3-parikh_p:2007a,
  author = {Robin Clark and Prashant Parikh},
  title = {Game theory and Discourse Anaphora},
  journal = {Journal of Logic, Language, and Information},
  year = {2007},
  volume = {16},
  number = {3},
  pages = {265--282},
  topic = {game-theory;anaphora;discourse;}
  }

@article{ clarke_b:1981a,
  author = {Bowman L. Clarke},
  title = {A Calculus of Individuals Based on `Connection'\, },
  journal = {Notre {D}ame Journal of Formal Logic},
  year = {1981},
  volume = {22},
  number = {3},
  pages = {204--218},
  rtnote = {In RHT collection.},
  topic = {mereology;spatial-reasoning;}
  }

@article{ clarke_b:1985a,
  author = {Bowman L. Clarke},
  title = {Individuals and Points},
  journal = {Notre {D}ame Journal of Formal Logic},
  year = {1985},
  volume = {26},
  number = {1},
  pages = {61--75},
  topic = {mereology;spatial-reasoning;}
  }

@book{ clarke_dd:1983a,
  author = {David D. Clarke},
  title = {Language and Action: A Structural Model of Behaviour},
  publisher = {Pergamon Press},
  year = {1983},
  address = {New York},
  rtnote = {HILLMAN	P95.45 .C58},
  topic = {discourse-analysis;}
}

@book{ clarke_ds:1985a,
  author = {David S. {Clarke, Jr.}},
  title = {Practical Inferences},
  publisher = {Routledge \& Kegan Paul},
  year = {1996},
  address = {London},
  ISBN = {0710204159},
  rtnote = {UMich Graduate Library BC199.I47 C581 1985},
  topic = {practical-reason;}
 }

@article{ clarke_em-etal:1986a,
  author = {E.M. Clarke and E.A. Emerson and A.P. Sistla},
  title = {Automatic Verification of Finite-State Concurrent Systems
  	Using Temporal Logic Specifications},
  journal = {{ACM} Transactions on Programming Languages and Systems},
  year = {1986},
  volume = {8},
  number = {2},
  pages = {244--263},
  topic = {temporal-logic;program-verification;}
  }

@book{ clarke_em-etal:1999a,
  author = {Edmund M. Clarke and Orna Grumberg and Doron A. Peled},
  title = {Model Checking},
  publisher = {The {MIT} Press},
  year = {1999},
  address = {Cambridge, Massachusetts},
  ISBN = {0262032708},
  rtnote = {In RHT Collection.  CS General shelves.},
  topic = {model-checking;program-verification;}
 }

@book{ clarke_m2:2004a,
  author = {Murray Clarke},
  title = {Reconstructing Reason and Representation},
  publisher = {The {MIT} Press},
  year = {2004},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-03322-4},
  topic = {modularity;philosophy-of-mind;}
 }

@incollection{ clarke_n-wilson_w:1991a,
  author = {Mike Clarke and Nic Wilson},
  title = {Efficient Algorithms for Belief Functions Based on the
  	Relationship Between Belief and Probability},
  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 = {48--52},
  address = {Berlin},
  topic = {probabilistic-reasoning;}
  }

@incollection{ clarke_r:2000a,
  author = {Randolph Clarke},
  title = {Modest Libertarianism},
  booktitle = {Philosophical Perspectives 14: Action and Freedom},
  publisher = {Blackwell Publishers},
  year = {2000},
  editor = {James E. Tomberlin},
  pages = {21--45},
  address = {Oxford},
  topic = {freedom;volition;}
  }

@incollection{ clarke_r:2005a,
  author = {Randolph Clarke},
  title = {Incompatibilist (Nondeterministic) Theories of Free Will},
  booktitle = {The {S}tanford Encyclopedia of Philosophy},
  publisher = {Stanford University},
  editor = {Edward N. Zalta},
  url = {http://plato.stanford.edu/archives/fall2005/entries/incompatibilism-theories/},
  year = {2005},
  quarter = {Fall 2005},
  rtnote = {In RHT collection.},
  topic = {freedom;volition;(in)determinism;(in)compatibilism;}
}

@article{ clarke_r:2010a,
  author = {Randolph Clarke},
  title = {Intentional Omissions},
  journal = {No\^us},
  year = {2010},
  volume = {43},
  number = {1},
  pages = {158--177},
  topic = {intention;omissions;}
  }

@incollection{ classen_j-lakemeyer:2006a,
  author = {Jens Cla{\ss}en and Gerhard Lakemeyer},
  title = {Foundations for Knowledge-Based Programs Using ${\cal ES}$},
  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 = {318--328},
  address = {Menlo Park, California},
  topic = {GoLog;knowledge-based-programming;}
  }

@incollection{ classen_w:1992a,
  author = {Wim Classen},
  title = {Generating Referring Expressions in a Multimodal
  		Environment},
  booktitle = {Aspects of Automated Natural Language Generation: 6th
    International Workshop on Natural Language Generation, {T}rento,
    {I}taly, April 5--7, 1992},
  publisher = {Springer-Verlag},
  year = {1992},
  editor = {Robert Dale and Eduard Hovy and Dietmar R\"ossner and
  	Oliviero Stock},
  pages = {227--262},
  address = {Berlin},
  rtnote = {In RHT collection.},
  topic = {nl-generation;referring-expressions;multimedia-generation;}
  }

@article{ clausing:2002a,
  author = {Thorsten Clausing},
  title = {A Syntactic Framework with Probabilistic Beliefs and
  	Conditionals for the Analysis of Strategic Form Games},
  journal = {Journal of Logic, Language, and Information},
  year = {2002},
  volume = {11},
  number = {3},
  pages = {335--348},
  topic = {game-theory;conditionals;epistemic-logic;probability-semantics;}
  }

@book{ clavel:2000a,
  author = {Manuel Clavel},
  title = {Reflection in Rewriting Logic: Metalogical Foundations and
  	Metaprogramming Applications},
  publisher = {CSLI Publications},
  year = {2000},
  address = {Stanford, California},
  ISBN = {1575862379},
  rtnote = {UMich Media Union Library, QA 76 .S4251 1997.},
  topic = {metaprogramming;}
 }

@article{ claybrook:1976a,
  author = {Billy G. Claybrook},
  title = {A New Approach to the Symbolic Factorization of
  	Multivariate Polynomials},
  journal = {Artificial Intelligence},
  year = {1976},
  volume = {7},
  number = {3},
  pages = {203--241},
  acontentnote = {Abstract:
     A heuristic factorization scheme that uses learning and other
     heuristic programming techniques to improve the efficiency of
     determining the symbolic factorization of multivariate
     polynomials with integer coefficients and an arbitrary number of
     variables and terms is described.  The learning program,
     POLYFACT, in which the factorization scheme is implemented is
     also described.  POLYFACT uses learning through the dynamic
     construction and manipulation of first-order predicate calculus
     heuristics to reduce the amount of searching for the irreducible
     factors of a polynomial.
      Tables containing the results of factoring randomly generated
     multivariate polynomials are presented: (1) to demonstrate that
     learning does improve considerably the efficiency of factoring
     polynomials and (2) to show that POLYFACT does learn from
     previous experience.
      The factorization times of polynomials factored by both the
     scheme implemented in POLYFACT and Wang's implementation of
     Berlekamp's algorithm are given. The two algorithms are
     compared, and two situations where POLYFACT's algorithm can be
     used to improve the efficiency of Wang's algorithm are
     discussed.  },
  topic = {machine-learning;search;algebraic-computation;}
  }

@article{ clearwater-hogg:1996a,
  author = {Scott H. Clearwater and Tad Hogg},
  title = {Problem Structure Heuristics and Scaling Behavior for
		Generic Algorithms},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {81},
  number = {1--2},
  pages = {327--347},
  topic = {search;experiments-on-theorem-proving-algs;
  	computational-phase-transitions;}
  }

@book{ cleave:1991a,
  author = {John P. Cleave},
  title = {A Study of Logics},
  publisher = {Oxford University Press},
  year = {1991},
  address = {Oxford},
  topic = {philosophical-logic;}
}

@article{ clelan:2002a,
  author = {Carol E. Clelan},
  title = {Methodological and Epistemic Differences between Historical
  	Science and Experimental Science},
  journal = {Philosophy of Science},
  year = {2002},
  volume = {69},
  number = {3},
  pages = {474--496},
  topic = {philosophy-of-science;philosophy-of-history;}
  }

@article{ cleland:1991a,
  author = {Carol Cleland},
  title = {On the Individuation of Events},
  journal = {Synth\'ese},
  year = {1991},
  volume = {86},
  number = {2},
  pages = {229--254},
  topic = {events;individuation;event-individuation;}
  }

@book{ clemen:1995a,
  author = {Robert T. Clemen},
  title = {Making Hard Decisions: An Introduction to Decision
  	Analysis},
  publisher = {Duxbury Press},
  year = {1995},
  address = {Pacific Grove, California},
  rtnote = {In RHT collection.},
  topic = {decision-theoretic-reasoning;}
 }

@article{ clementini-etal:1997a,
  author = {Eliseo Clementini and Paolino Di Felice and Daniel
  	Hern\'andez},
  title = {Qualitative Representation of Positional Information},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {95},
  number = {2},
  pages = {317--356},
  topic = {qualitative-reasoning;spatial-reasoning;spatial-representation;}
  }

@incollection{ cleve:2002a,
  author = {James van Cleve},
  title = {Time, Idealism, and the Identity of Indiscernables},
  booktitle = {Philosophical Perspectives 16: Language and Mind, 2002},
  publisher = {Blackwell Publishers},
  year = {2002},
  editor = {James E. Tomberlin},
  pages = {379--393},
  address = {Oxford},
  topic = {metaphysics;philosophy-of-time;}
  }

@book{ cleveland:1997a,
  author = {Timothy Cleveland},
  title = {Trying without Willing: An Essay in the Philosophy of
  	Mind},
  publisher = {Ashgate Publishing},
  year = {19},
  address = {Aldershot},
  xref = {Review: roth:2000a.},
  topic = {volition;action;}
 }

@article{ climer-zhang_wx:2006a,
  author = {Sharlee Climer and Weixiong Zhang},
  title = {Cut-and-Solve:  An Iterative Search Strategy for Combinatorial
  		Optimization Problems},
  journal = {Artificial Intelligence},
  year = {2006},
  volume = {170},
  number = {8--9},
  pages = {714--738},
  topic = {search;AI-algorithms;anytime-algorithms;}
  }

@book{ clocksin-mellish:1987a,
  author = {William F. Clocksin and Christopher S. Mellish},
  title = {Programming in Prolog},
  edition = {3},
  publisher = {Springer-Verlag},
  year = {1987},
  address = {Berlin},
  topic = {Prolog;}
 }

@book{ clocksin-mellish:1994a,
  author = {William F. Clocksin and Christopher S. Mellish},
  title = {Programming in Prolog},
  edition = {4},
  publisher = {Springer-Verlag},
  year = {1994},
  address = {Berlin},
  topic = {Prolog;}
 }

@article{ clowes:1970a,
  author = {M.B. Clowes},
  title = {On Seeing Things},
  journal = {Artificial Intelligence},
  year = {1970},
  volume = {2},
  number = {1},
  pages = {79--116},
  topic = {computer-vision;}
  }

@book{ coates:1983a,
  author = {Jennifer Coates},
  title = {The Semantics of the Modal Auxiliaries},
  publisher = {Croom Helm},
  year = {1983},
  address = {London},
  rtnote = {In RHT Collection.  LLP single author shelves.},
  topic = {modals;nl-modality;lexical-semantics;}
 }

@article{ cobreros:2008a,
  author = {Pablo Cobreros},
  title = {Supervaluationism and Logical Consequence:  A Third Way},
  journal = {Studia Logica},
  year = {2008},
  volume = {90},
  number = {3},
  pages = {291--319},
  topic = {vagueness;supervaluations;logical-consequence;}
  }

@article{ cocchiarella:1971a,
  author = {Nino Cocchiarella},
  title = {A New Formulation of Predicative Second Order Logic},
  journal = {Logique et Analyse, Nouvelle S\'erie},
  year = {1971},
  volume = {17},
  number = {65--66},
  missinginfo = {pages},
  topic = {(im)predicativity;higher-order-logic;}
  }

@article{ cocchiarella:1975a,
  author = {Nino B. Cocchiarella},
  title = {On the Primary and Secondary Semantics for Logical Necessity},
  journal = {Journal of Philosophical Logic},
  year = {1975},
  volume = {4},
  number = {1},
  pages = {13--27},
  topic = {modal-logic;analyticity;}
  }

@article{ cocchiarella:1981a,
  author = {Nino Cocchiarella},
  title = {Review of \emph{{P}ragmatics, Truth, and Language}, by
  	{R}ichard {M}. {M}artin},
  journal = {Linguistics and Philosophy},
  year = {1981},
  volume = {4},
  number = {3},
  pages = {453--466},
  xref = {Review of martin_rm1:1979a.},
  topic = {nominalism;philosophy-of-language;}
  }

@article{ cocchiarella:1982a,
  author = {Nino Cocchiarella},
  title = {Meinong Reconstructed {\it Versus} Early {R}ussell
  	Reconstructed},
  journal = {Journal of Philosophical Logic},
  year = {1982},
  volume = {11},
  number = {2},
  pages = {183--214},
  note = {Review of \cite{parsons_t2:1980a}.},
  topic = {Russell;Meinong;(non)existence;}
  }

@unpublished{ cocchiarella:1984a,
  author = {Nino Cocchiarella},
  title = {Frege, {R}ussell and Logicism: A Logical Reconstruction},
  year = {1984},
  note = {Unpublished manuscript, Indiana University.},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  topic = {Frege;Russell;logicism;}
  }

@incollection{ cocchiarella:1984b,
  author = {Nino B. Cocchiarella},
  title = {Philosophical Perspectives on Quantification in Tense and
  	Modal Logic},
  booktitle = {Handbook of Philosophical Logic, Volume {II}:
  	Extensions of Classical Logic},
  publisher = {D. Reidel Publishing Co.},
  year = {1984},
  editor = {Dov Gabbay and Franz Guenther},
  pages = {309--353},
  address = {Dordrecht},
  topic = {quantifying-in-modality;first-order-modal-logic;
  		first-order-tense-logic;}
 }

@article{ cocchiarella:1985a,
  author = {Nino Cocchiarella},
  title = {Frege's Double Correlation Thesis and {Q}uine's Set
		Theories {NF} and {ML}},
  journal = {Journal of Philosophical Logic},
  year = {1985},
  volume = {14},
  number = {1},
  pages = {1--39},
  topic = {foundations-of-set-theory;}
  }

@article{ cocchiarella:1986a,
  author = {Nino B. Cocchiarella},
  title = {Conceptualism, Ramified Logic, and Nominalized Predicates},
  journal = {Topoi},
  year = {1986},
  volume = {5},
  pages = {75--87},
  rtnote = {In RHT collection.},
  topic = {predication;ramified-type-theory;nominalization;}
  }

@incollection{ cocchiarella:1986b,
  author = {Nino B. Cocchiarella},
  title = {Frege, {R}ussell, and Logicism:  A Logical Reconstruction},
  booktitle = {Frege Synthesized},
  publisher = {D. Reidel Publishing Co.},
  year = {1986},
  editor = {Leila Haaparanta and Jaakko Hintikka},
  pages = {197--252},
  address = {Dordrecht},
  topic = {Frege;Russell;logicism;}
  }

@article{ cocchiarella:1988a,
  author = {Nino B. Cocchiarella},
  title = {Predication Versus Membership in the Distinction
  	between Logic as Language and Logic as Calculus},
  journal = {Synth\'ese},
  year = {1988},
  volume = {77},
  number = {1},
  pages = {37--72},
  topic = {predication;foundations-of-logic;}
  }

@book{ cocchiarella:1990a,
  author = {Nino B. Cocchiarella},
  title = {Logical Investigations of Predication Theory and
  	the Problem of Universals},
  publisher = {Humanities Press},
  year = {1990},
  address = {Atlantic Highlands, New Jersey},
  xref = {Review: williamson_t:1990c.},
  topic = {metaphysics;philosophical-realism;}
 }

@article{ cocchiarella:2002a,
  author = {Nino Cocchiarella},
  title = {On the Logic of Classes as Many},
  journal = {Studia Logica},
  year = {2002},
  volume = {70},
  number = {2},
  pages = {303--338},
  topic = {pluralities;Russell;}
  }

@article{ cocchiarella:2005a,
  author = {Nino B. Cocchiarella},
  title = {Denoting Concepts, Reference, and the Logic of Names,
  	Classes as Many, Groups, and Plurals},
  journal = {Linguistics and Philosophy},
  year = {2005},
  volume = {28},
  number = {2},
  pages = {135--179},
  topic = {Russell;names;reference;plural;}
  }

@book{ cocchiarella-freund_ma:2008a,
  author = {Nino B. Cocchiarella and Max A. Freund},
  title = {Modal Logic:  An Introduction to Its Syntax and Semantics},
  publisher = {Oxford University Press},
  year = {2008},
  address = {Oxford},
  ISBN = {978-0-19-536657-0},
  topic = {modal-logic;}
 }

@unpublished{ code:1972a,
  author = {Alan Code},
  title = {Contingent Identity in {A}ristotle's {\em Metaphysics}},
  year = {1972},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a wild guess.},
  topic = {identity;individuation;Aristotle;metapysics;}
  }

@unpublished{ code:1972b,
  author = {Alan Code},
  title = {On the Application of {T}homason's Tense Logic to
  	{\em {D}e {I}nterpretatione} 9},
  year = {1972},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a wild guess.},
  topic = {future-contingent-propositions;Aristotle;branching-time;}
  }

@unpublished{ code:1975a,
  author = {Alan Code},
  title = {The Persistence of {A}ristotlian Matter},
  year = {1975},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.  Published in Phil Studies?},
  missinginfo = {Date is a guess.},
  topic = {identity;individuation;Aristotle;metapysics;}
  }

@unpublished{ code:1976a1,
  author = {Alan Code},
  title = {Aristotle's Response to {Q}uine's Objections to Modal Logic},
  year = {1977},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.},
  rtnote = {tmix-project;},
  xref = {Journal Publication: code:1976a2.},
  topic = {Aristotle;quantifying-in-modality;}
  }

@article{ code:1976a2,
  author = {Alan Code},
  title = {Aristotle's Response to {Q}uine's Objections to Modal Logic},
  journal = {Journal of Philosophical Logic},
  year = {1976},
  volume = {5},
  number = {2},
  pages = {159--186},
  xref = {Publication of: code:1976a1.},
  rtnote = {tmix-project;},
  topic = {Aristotle;quantifying-in-modality;}
  }

@unpublished{ code:1977a,
  author = {Alan Code},
  title = {Aristotle on Future Contingencies and Truth-Value Gaps},
  year = {1977},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.  Summer collection under FC Project.},
  rtnote = {tmix-project;},
  topic = {Aristotle;future-contingent-propositions;}
  }

@unpublished{ code:1980a,
  author = {Alan Code},
  title = {Aristotle on the Sameness of Each Thing with Its Essence},
  year = {1980},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.},
  topic = {Aristotle;metaphysics;}
  }

@unpublished{ code:1982a,
  author = {Alan Code},
  title = {On the Origin of some Aristotelian Theses about Predication},
  year = {1980},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.},
  topic = {Aristotle;metaphysics;predication;}
  }

@incollection{ code:1986a,
  author = {Alan Code},
  title = {Aristotle:  Essence and Accident},
  booktitle = {Philosophical Grounds of Rationality},
  publisher = {Oxford University Press},
  year = {1986},
  editor = {Richard E. Grandy and Richard Warner},
  pages = {410--439},
  address = {Oxford},
  topic = {Aristotle;essentialism;}
  }

@article{ coenen:1993a,
  author = {J. Coenen},
  title = {Top-Down Development of Layered Fault-Tolerant
	Systems and Its Problems---A Deoptic Perspective},
  journal = {Annalss of Mathematics and Artificial Intelligence},
  year = {1993},
  volume = {9},
  number = {1--2},
  pages = {133--150},
  missinginfo = {A's 1st name},
  topic = {deontic-logic;software-engineering;}
  }

@unpublished{ coetzee:2003a,
  author = {Andreas Coetzee},
  title = {A Rank-Ordering Model of {EVAL}},
  year = {2003},
  note = {Unpublished dissertation chapter.},
  rtnote = {In RHT collection.},
  topic = {optimality-theory;grammar-formalisms;}
  }

@book{ coffa:1991a,
  author = {J. Alberto Coffa},
  title = {The Semantic Tradition from {K}ant
  	to {C}arnap: to the {V}ienna Station},
  publisher = {Cambridge University Press},
  year = {1991},
  address = {Cambridge, England},
  xref = {Review: ryckman:1993a.},
  rtnote = {UMich: TANNER B840 .C58 1991},
  topic = {philosophy-of-language;logical-positivism;
  	history-of-semantics;}
 }

@book{ coffey-atkinson_p:1998a,
  author = {Amanda Coffey and Paul Atkinson},
  title = {Making Sense of Qualitative Data},
  publisher = {Sage Publications},
  year = {1996},
  address = {Thousand Oaks, California},
  topic = {qualitative-methods;}
 }

@phdthesis{ cohan:2000a,
  author = {Jocelyn Cohan},
  title = {The Realization and Function of Focus in Spoken
  	{E}nglish},
  school = {The University of Texas at Austin},
  year = {2000},
  type = {Ph.{D}. Dissertation},
  address = {Austin},
  topic = {sentence-focus;}
 }

@inproceedings{ cohan:2001a,
  author = {Jocelyn Cohan},
  title = {Consider the Alternatives:  Focus in Contrast
     		and Context},
  booktitle = {Modeling and Using Context: Third International and
  	Interdisciplinary Conference, Context 2001},
  publisher = {Springer-Verlag},
  year = {2001},
  editor = {Varol Akman and Paolo Bouquet and Richmond Thomason
  	and Roger A. Young},
  pages = {102--115},
  address = {Berlin},
  topic = {context;sentence-focus;alternatives;}
  }

@phdthesis{ cohen_a:1996a,
  author = {Ariel Cohen},
  title = {Think Generic!  The Meaning and Use of Generic Sentences},
  school = {Department of Philosophy, Carnegie Mellon University},
  year = {1996},
  type = {Ph.{D}. Dissertation},
  address = {Pittsburgh, Pennsylvania},
  rtnote = {In RHT collection.  Shelf.},
  topic = {generics;}
 }

@article{ cohen_a:1999a,
  author = {Ariel Cohen},
  title = {Generics, Frequency Adverbs, and Probability},
  journal = {Linguistics and Philosophy},
  year = {1999},
  volume = {22},
  number = {3},
  pages = {221--253},
  topic = {generics;nl-semantics;probability;}
  }

@article{ cohen_a:2000a,
  author = {Ariel Cohen},
  title = {The King of France Is, in Fact, Bald},
  journal = {Natural Language Semantics},
  year = {2000},
  volume = {8},
  number = {4},
  pages = {255--290},
  topic = {definite-descriptions;conditionals;}
  }

@article{ cohen_a:2001a,
  author = {Ariel Cohen},
  title = {Relative Bindings of `Many', `Often', and Generics},
  journal = {Natural Language Semantics},
  year = {2001},
  volume = {9},
  number = {1},
  pages = {41--67},
  topic = {nl-quantifier-scope;nl-quantifiers;}
  }

@article{ cohen_a:2004a,
  author = {Ariel Cohen},
  title = {Existential Generics},
  journal = {Linguistics and Philosophy},
  year = {2004},
  volume = {27},
  number = {2},
  pages = {137--168},
  topic = {generics;nl-semantics;}
  }

@article{ cohen_a:2008a,
  author = {Ariel Cohen},
  title = {Indiscriminability as Indiscernability by Default},
  journal = {Studia Logica},
  year = {2008},
  volume = {90},
  number = {3},
  pages = {369--383},
  topic = {vagueness;nonmonotonic-logic;default-logic;rough-sets;
  	sameness/difference;identity;}
  }

@article{ cohen_a-erteschikshir:2002a,
  author = {Ariel Cohen and Nomi Erteschik-Shir},
  title = {Topic, Focus, and the Interpretation of Bare Plurals},
  journal = {Natural Language Semantics},
  year = {2001},
  volume = {10},
  number = {2},
  pages = {125--165},
  topic = {plural;nl-semantics;sentence-focus;generics;}
  }

@article{ cohen_a-etal:2008a,
  author = {Ariel Cohen and Michael Kaminski and Johann A. Makowsky},
  title = {Notions of Sameness by Default and Their Application to
  		Anaphora, Vagueness, and Uncertain Reasoning},
  journal = {Journal of Logic, Language, and Information},
  year = {2008},
  volume = {17},
  number = {3},
  pages = {285--306},
  topic = {nonmonotonic-logic;default-logic;sameness/difference;identity;}
  }

@article{ cohen_b:1977a,
  author = {Brian L. Cohen},
  title = {The Mechanical Discovery of Certain Problem Symmetries},
  journal = {Artificial Intelligence},
  year = {1977},
  volume = {8},
  number = {1},
  pages = {119--131},
  acontentnote = {Abstract:
     This paper presents several methods for analysing finite state
     problems to discover certain types of symmetry. The methods are
     based on techniques used in Sequential Machine Theory,
     especially the use of partitions that have the Substitution
     Property.  Amarel's investigations of a type of time-reverse
     symmetry have also been extended to a wider class of problems.
     All the symmetries discussed enable substantial savings in
     search effort to be obtained by effectively reducing the size of
     the search space.},
  topic = {search;symmetry;}
  }

@article{ cohen_bl:1977b,
  author = {Brian L. Cohen},
  title = {A Powerful and Efficient Structural Pattern Recognition
  	System},
  journal = {Artificial Intelligence},
  year = {1977},
  volume = {9},
  number = {3},
  pages = {223--255},
  topic = {pattern-matching;}
  }

@book{ cohen_d:1974a,
  editor = {David Cohen},
  title = {Explaining Linguistic Phenomena},
  publisher = {Hemisphere Publishing Corp.},
  year = {1974},
  address = {Washington, DC},
  contentnote = {TC:
  	1. Gerald A. Sanders, "Introduction: Issues of Explanation in
		Linguistics", pp. 1--41
  	2. Fred I. Dretske, "Explanation in Linguistics", pp. 21--41
  	3. Larry Hutchinson, "Grammar as Theory", pp. 43--73
  	4. Harry A. Whitaker, "Is the Grammar in the Brain?", pp. 75--89
  	5. Herbert H. Clark and Susan E. Haviland, "Psychological
		Processes as Linguistic Explanation", pp. 91--124
  	6. Ray C. Dougherty, "What Explanation Is and Isn't", pp. 125--151
  	7. Emmon Bach, "Explanatory Adequacy", pp. 153--171
        8. Thomas G. Bever, "The Ascent of the Specious, or, There's
		a Lot We Don't Know about Mirrors", pp. 173--200  },
  rtnote = {In RHT Collection.  LLP edited shelves.},
  topic = {philosophy-of-linguistics;linguistics-methodology;}
 }

@book{ cohen_d-worth:1977a,
  editor = {David Cohen and Jessica Worth},
  title = {Testing Linguistic Hypotheses},
  publisher = {John Wiley and Sons},
  year = {1977},
  address = {New York},
  contentnote = {TC:
  	1. Jon D. Ringen, "Linguistic Facts: A Study of the Empirical
		Scientific Status of Transformational Generative
		Grammars"
  	2. Victoria A. Fromkin, "When Does a Test Count as a
		Hypothesis, or, What Counts as Evidence?"
  	3. Donald J. Foss and David Fay, "Linguistic Theory
		and Performance Models"
  	4. Stephen P. Stich, "Competence and Indeterminacy"
  	5. D. Terence Langendoen, "Acceptable Conclusions from
		Unacceptable Ambiguity"
  	6. Arnold Zwicky, "Settling on an Underlying Form: The
		{E}nglish Inflectional Endings"
  	7. Paul Kiparsky, "What Are Phonological Theories about?"
  	8. Jessica R. Wirth, "Logical Considerations in the Testing
		of Linguistic Hypotheses"
  },
  topic = {philosophy-of-linguistics;}
 }

@article{ cohen_da-etal:2006a,
  author = {David A. Cohen and Martin C. Cooper and Peter G. Jeavons
  		and Andrei A. Krokhin},
  title = {The Complexity of Soft Constraint Satisfaction},
  journal = {Artificial Intelligence},
  year = {2006},
  volume = {170},
  number = {11},
  pages = {983--1016},
  topic = {constraint-satisfaction;complexity-in-AI;}
  }

@article{ cohen_dh:1991a,
  author = {Daniel H. Cohen},
  title = {Conditionals, Quantification, and Strong Mathematical Induction},
  journal = {Journal of Philosophical Logic},
  year = {1991},
  volume = {20},
  number = {3},
  pages = {315--326},
  topic = {relevance-logic;mathematical-induction;}
  }

@article{ cohen_e:1994a,
  author = {Edward Cohen},
  title = {Computational Theory for Interpreting Handwritten Text in
  	Constrained Domains},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {68},
  number = {1},
  pages = {1--31},
  acontentnote = {Abstract:
     This paper describes a computational theory for automatic
     interpretation of off-line handwritten text that is constrained
     in content and structure.  Interpreting text is regarded as
     converting the textual content into a predefined symbolic
     representation.  Content constraints are lexicons associated
     with syntactic categories, and known relationships (e.g.,
     semantics, world knowledge) between phrases in different
     syntactic categories.  Structural constraints describe the
     text's two-dimensional phrase layout (e.g., the phrase's
     position in a text line). Writing style is assumed to be
     unconstrained (i.e., what is normally encountered in practice).
      Handwritten interpretation problems in this class include
     determining delivery point codes from addresses, amounts from
     bank checks, and drug and dosage from drug prescriptions. In
     this paper, a computational theory, including algorithm and
     implementation examples, describes the problem class and a
     solution.},
  topic = {computational-reading;}
  }

@book{ cohen_j1-stewart_i:1994a,
  author = {Jack Cohen and Ian Stewart},
  title = {The Collapse of Chaos: Discovering Simplicity in a Complex
    World},
  publisher = {Viking},
  year = {1994},
  address = {New York},
  ISBN = {0670849839},
  rtnote = {UMich Science, Q 175 .C613 1994.},
  topic = {chaos-theory;}
 }

@article{ cohen_lj:1955a,
  author = {L. Jonathan Cohen},
  title = {Can There Be Artificial Minds?},
  journal = {Analysis},
  year = {1955},
  volume = {16},
  pages = {36--41},
  missinginfo = {number},
  rtnote = {In RHT collection.  M&M files.},
  rtnote = {Reading notes on file.  M&M files.},
  topic = {foundations-of-AI;philosophy-of-mind;machine-intelligence;}
  }

@book{ cohen_lj:1962a,
  author = {L. Jonathan Cohen},
  title = {The Diversity of Meaning},
  publisher = {Methuen},
  year = {1962},
  address = {London},
  rtnote = {UMich Graduate Library B 840 .C68},
  xref = {Review: katz_jj:1964a.},
  topic = {foundations-of-semantics;}
 }

@article{ cohen_lj:1964a1,
  author = {{L. Jonathan} Cohen},
  title = {Do Illocutionary Forces Exist?},
  journal = {Philosophical Quarterly},
  year = {1964},
  volume = {14},
  missinginfo = {number, pages},
  xref = {Reprinted in fann:1969a; see cohen_lj:1964a2},
  rtnote = {In RHT collection.},
  topic = {JL-Austin;speech-acts;pragmatics;}
  }

@incollection{ cohen_lj:1964a2,
  author = {{L. Jonathan} Cohen},
  title = {Do Illocutionary Forces Exist?},
  booktitle = {Symposium on J.L. Austin},
  publisher = {Routledge and Kegan Paul},
  year = {1969},
  editor = {K.T. Fann},
  pages = {420--444},
  address = {London},
  missinginfo = {E's 1st name.},
  topic = {JL-Austin;speech-acts;pragmatics;}
  }

@incollection{ cohen_lj:1971a,
  author = {L. Jonathan Cohen},
  title = {Some Remarks on {G}rice's Views about the Logical
  	Particles of Natural Language},
  booktitle = {Pragmatics of Natural Language},
  publisher = {D. Reidel Publishing Co.},
  year = {1971},
  editor = {Yehoshua Bar-Hillel},
  pages = {50--68},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {philosophy-of-logic;pragmatics;Grice;}
  }

@incollection{ cohen_lj:1976a,
  author = {L. Jonathan Cohen},
  title = {How Empirical is Contemporary Logical Empiricism?},
  booktitle = {Language in Focus},
  publisher = {D. Reidel Publishing Co.},
  year = {1976},
  editor = {Asa Kasher},
  pages = {359--376},
  address = {Dordrecht},
  topic = {logical-empiricism;}
  }

@incollection{ cohen_lj:1979a,
  author = {L. Jonathan Cohen},
  title = {The Semantics of Metaphor},
  booktitle = {Metaphor and Thought},
  publisher = {Cambridge University Press},
  year = {1979},
  editor = {Andrew Ortony},
  pages = {64--77},
  address = {Cambridge, England},
  topic = {metaphor;pragmatics;}
  }

@unpublished{ cohen_lj:1980a,
  author = {L. Jonathan Cohen},
  title = {Some Paradoxes about Ambiguity in Truth-Theoretical
  		Semantics},
  year = {1980},
  note = {Unpublished manuscript, },
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  topic = {ambiguity;nl-semantics;}
  }

@book{ cohen_lj:1982a,
  editor = {L. Jonathan Cohen},
  title = {Logic, Methodology, and Philosophy of Science {VI}:
  	Proceedings of the Sixth International Congress of Logic,
	Methodology, and Philosophy of Science, {H}annover, 1979},
  publisher = {North-Holland Publishing Co.},
  year = {1982},
  address = {Amsterdam},
  ISBN = {0444854231 (Elsevier North-Holland)},
  rtnote = {UMich GRADUATE LIBRARY, QA 9 .A1 I571 1979.},
  topic = {philosophy-of-science;}
 }

@book{ cohen_lj:1995a,
  author = {L. Jonathan Cohen},
  title = {An Essay on Belief and Acceptance},
  publisher = {Oxford University Press},
  year = {1995},
  address = {Oxford},
  topic = {belief;}
 }

@incollection{ cohen_lj:1996a,
  author = {L. Jonathan Cohen},
  title = {Does Belief Exist?},
  booktitle = {Connectionism, Concepts, and Folk Psychology: The Legacy
  		of {A}lan {T}uring: Volume {II}},
  publisher = {Oxford University Press},
  year = {1996},
  editor = {Peter J.R. Millican and Andy Clark},
  pages = {265--276},
  address = {Oxford},
  xref = {Commentary on: stich:1983a.},
  rtnote = {In RHT collection.},
  topic = {belief;folk-psychology;}
  }

@book{ cohen_lj-hesse:1980a,
  editor = {L. Jonathan Cohen and Mary Hesse},
  title = {Applications Of Inductive Logic: Proceedings Of a
  	Conference at the Queen's College, Oxford, 21--24 August 1978},
  publisher = {Oxford University Press},
  year = {1980},
  address = {Oxford},
  ISBN = {019824584X},
  rtnote = {Umich Graduate Library, BC91 .A661.},
  topic = {inductive-logic;}
 }

@incollection{ cohen_lj-margalit:1972a,
  author = {L. Jonathan Cohen and Avishai Margalit},
  title = {The Role of Inductive Reasoning in the Interpretation of
  	Metaphor},
  booktitle = {Semantics of Natural Language},
  publisher = {D. Reidel Publishing Co.},
  year = {1972},
  editor = {Donald Davidson and Gilbert H. Harman},
  pages = {722--740},
  address = {Dordrecht},
  topic = {metaphor;philosophy-of-language;}
  }

@article{ cohen_md-etal:1972a,
  author = {M.D. Cohen and J.G. March and J.P. Olsen},
  title = {A Garbage Can Model of Organizational Choice},
  journal = {Administrative Science Quarterly},
  year = {1972},
  volume = {17},
  pages = {1--25},
  missinginfo = {A's 1st name, number},
  rtnote = {pragmatics-course;},
  topic = {decision-making;management-science;}
  }

@incollection{ cohen_nh-etal:2005a,
  author = {Norman H. Cohen and Paul Castro and Archan Misra},
  title = {Descriptive Naming of Context Data Providers},
  booktitle = {Modeling and Using Context: 5th International and
  	Interdisciplinary Conference},
  publisher = {Springer-Verlag},
  year = {2005},
  editor = {Anind Dey and Boicho Kokinov and David Leake and Roy Turner},
  pages = {112--125},
  address = {Berlin},
  topic = {context;}
  }

@article{ cohen_pr:2005a,
  author = {Paul R. Cohen},
  title = {If Not {T}uring's Test, Then What?},
  journal = {The {AI} Magazine},
  year = {2005},
  volume = {26},
  number = {4},
  pages = {61--67},
  contentnote = {One interesting feature of this piece: reflections
  		on what makes a challenge problem good.},
  topic = {foundations-of-AI;AI-editorial;foundations-of-AI;}
  }

@article{ cohen_pr1:1984a,
  author = {Philip R. Cohen},
  title = {The Pragmatics of Referring and the Modality of Communication},
  journal = {Computational Linguistics},
  year = {1984},
  volume = {10},
  number = {2},
  pages = {97--125},
  rtnote = {In RHT collection.},
  topic = {discourse-planning;referring-expressions;plan-recognition;
  	pragmatics;}
  }

@inproceedings{ cohen_pr1-etal:1981a,
  author = {Philip R. Cohen and C. Raymond Perrault and James
	F. Allen},
  title = {Beyond Question Answering},
  booktitle = {Strategies for Natural Language Processing},
  editor = {Wendy Lehnert and M. Ringle},
  pages = {245--274},
  publisher = {Lawrence Erlbaum Associates},
  year = {1981},
  address = {Mahwah, New Jersey},
  missinginfo = {E's 1st name.},
  topic = {pragmatics;nl-interpretation;}
 }

@book{ cohen_pr1-etal:1990a,
  editor = {Philip R. Cohen and Jerry Morgan and Martha Pollack},
  title = {Intentions in Communication},
  address = {Cambridge, Massachusetts},
  publisher = {The {MIT} Press},
  year = {1990},
  xref = {Review: oberlander:1993a.},
  topic = {pragmatics;nl-understanding;}
 }

@inproceedings{ cohen_pr1-levesque:1980a,
  author = {Philip R. Cohen and Hector J. Levesque},
  title = {Speech Acts and the Recognition of Shared Plans},
  booktitle = {Proceedings of the 1980 Meeting of the
  	Canadian Society for Computational Studies of Intelligence},
  year = {1980},
  pages = {263--271},
  organization = {Canadian Society for Computational Studies of Intelligence},
  missinginfo = {editor, publisher},
  rtnote = {In RHT collection.},
  rtnote = {pragmatics-course;},
  topic = {speech-acts;pragmatics;plan-recognition;}
 }

@inproceedings{ cohen_pr1-levesque:1985a,
  author = {Philip R. Cohen and Hector J. Levesque},
  title = {Speech Acts and Rationality},
  booktitle = {Proceedings of the Twenty-Third Meeting of the
  	Association for Computational Linguistics},
  year = {1985},
  editor = {William Mann},
  pages = {49--59},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Morristown, New Jersey},
  rtnote = {In RHT collection.},
  rtnote = {pragmatics-course;},
  topic = {speech-acts;pragmatics;}
 }

@incollection{ cohen_pr1-levesque:1986a1,
  author = {Philip R. Cohen and Hector J. Levesque},
  title = {Persistence, Intention, and Commitment},
  booktitle = {Reasoning about Actions and Plans},
  publisher = {Morgan Kaufmann},
  year = {1986},
  editor = {Michael P. Georgeff and Amy Lansky},
  pages = {297--340},
  address = {Los Altos, California},
  xref = {Republished. See cohen_p-levesque:1986a2.},
  topic = {intention;practical-reasoning;foundations-of-planning;
  		  commitment;}
  }

@incollection{ cohen_pr1-levesque:1986a2,
  author = {Philip R. Cohen and Hector J. Levesque},
  title = {Persistence, Intention, and Commitment},
  booktitle = {Intentions in Communication},
  publisher = {MIT Press},
  year = {1990},
  editor = {Philip R. Cohen and Jerry Morgan and Martha Pollack},
  pages = {33--69},
  address = {Cambridge, Massachusetts},
  xref = {Previously published in cohen-levesque:1986a1.},
  topic = {intention;practical-reasoning;foundations-of-planning;
  		commitment;}
  }

@article{ cohen_pr1-levesque:1990a,
  author = {Philip R. Cohen and Hector J. Levesque},
  title = {Intention Is Choice With Commitment},
  journal = {Artificial Intelligence},
  year = {1990},
  volume = {42},
  number = {3},
  pages = {213--261},
  rtnote = {In RHT collection.},
  topic = {intention;practical-reasoning;foundations-of-planning;
  		commitment;}
 }

@incollection{ cohen_pr1-levesque:1990b,
  author = {Philip R. Cohen and Hector J. Levesque},
  title = {Rational Interaction as the Basis for Communication},
  booktitle = {Intentions in Communication},
  publisher = {MIT Press},
  year = {1990},
  editor = {Philip Cohen and Jerry Morgan and Martha Pollack},
  pages = {221--255},
  address = {Cambridge, Massachusetts},
  topic = {discourse;foundations-of-pragmatics;speech-acts;pragmatics;}
  }

@article{ cohen_pr1-perrault:1979a1,
  author = {Philip R. Cohen and C. Raymond Perrault},
  title = {Elements of a Plan-Based Theory of Speech Acts},
  journal = {Cognitive Science},
  year = {1979},
  volume = {3},
  pages = {177--212},
  rtnote = {Check this for },
  xref = {Reprinted in webber_b-nilsson_nj:1981a, grosz-etal:1986a},
  rtnote = {pragmatics-course;},
  topic = {speech-acts;planning;discourse;speech-acts;
  	pragmatics;}
  }

@incollection{ cohen_pr1-perrault:1979a2,
  author = {Philip Cohen and C. Raymond Perrault},
  title = {Elements of a Plan-Based
          Theory of Speech Acts},
  booktitle = {Readings in Artificial Intelligence},
  publisher = {Morgan Kaufmann},
  year = {1981},
  editor = {Bonnie Webber and Nils J. Nilsson},
  pages = {478--495},
  address = {Los Altos, California},
  xref = {Journal Publication: cohen_pr1-perrault:1979a1.},
  rtnote = {pragmatics-course;},
  topic = {speech-acts;planning;discourse;speech-acts;
  	pragmatics;}
  }

@book{ cohen_pr2:1995a,
  author = {Paul R. Cohen},
  title = {Empirical Methods for Artificial Intelligence},
  publisher = {The {MIT} Press},
  year = {1995},
  address = {Cambridge, Massachusetts},
  xref = {Reviews: kibler:1999a, gent-walsh_t:1999a.},
  topic = {experimental-AI;}
 }

@inproceedings{ cohen_pr2-etal:2002a,
  author = {Paul R. Cohen and Tim Oates and Carole R. Beal and Niall Adams},
  title = {Contentful Mental States for Robot Baby},
  booktitle = {Proceedings of the Eighteenth National Conference on
              Artificial Intelligence},
  year = {2002},
  editor = {Rina Dechter and Michael Kearns and Richard S. Sutton},
  pages = {126--131},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {automated-language-acquisition;}
  }

@article{ cohen_r1:1987a,
  author = {Robin Cohen},
  title = {Analyzing the Structure of Argumentative Discourse},
  journal = {Computational Linguistics},
  year = {1987},
  volume = {13},
  number = {1--2},
  pages = {11--24},
  rtnote = {In RHT collection.  Pragmatics files.},
  topic = {argumentation;discourse-structure;pragmatics;}
  }

@incollection{ cohen_r1-jones_m:1989a,
  author = {Robin Cohen and Marlene Jones},
  title = {Incorporating User Models into Expert Systems for
	Educational Diagnosis},
  booktitle = {User Models in Dialog Systems},
  publisher = {Springer-Verlag},
  year = {1989},
  editor = {Alfred Kobsa and Wolfgang Wahlster},
  pages = {313--333},
  address = {Berlin},
  topic = {user-modeling;intelligent-tutoting;}
 }

@incollection{ cohen_r2-etal:1979a,
  author = {Rudolf Cohen and Stephanie Kelter and Gerhild Woll},
  title = {Conceptual Impairment in Aphasia},
  booktitle = {Semantics from Different Points of View},
  year = {1979},
  editor = {Rainer B\"auerle and Urs Egli and Arnim {von Stechow}},
  publisher = {Springer-Verlag},
  address = {Berlin},
  pages = {353--363},
  topic = {aphasia;}
  }

@article{ cohen_s:1964a,
  author = {Stewart Cohen},
  title = {Knowledge and Context},
  journal = {The Journal of Philosophy},
  year = {1986},
  volume = {83},
  number = {10},
  pages = {574--583},
  topic = {propositional-attitudes;knowledge;context;skepticism;}
  }

@article{ cohen_s:1986a,
  author = {Stewart Cohen},
  title = {On Knowledge and Context},
  journal = {The Journal of Philosophy},
  year = {1986},
  volume = {83},
  number = {10},
  pages = {574--583},
  topic = {knowledge;propositional-attitudes;context;}
  }

@incollection{ cohen_s:2004a,
  author = {Stewart Cohen},
  title = {Knowledge, Assertion, and Practical Reasoning},
  booktitle = {Epistemology},
  publisher = {Blackwell Publishers},
  year = {2004},
  editor = {Ernest Sosa and Enrique Villanueva},
  pages = {482--491},
  address = {Oxford},
  xref = {Commentary on: hawthorne_j2:2004a},
  topic = {knowledge;epistemology;factivity;context;epistemic-modals;}
  }

@article{ cohen_sm:2002a,
  author = {S. Marc Cohen},
  title = {Review of \emph{{S}ubstantial Knowledge: {A}ristotle's
  	Metaphysics}, by {C}.{D}.{C}. {R}eeve},
  journal = {The Philosophical Review},
  year = {2002},
  volume = {111},
  number = {3},
  pages = {452--456},
  xref = {Review of: reeve:2000a},
  topic = {Aristotle;metaphysics;}
  }

@article{ cohen_ww:1994a,
  author = {William W. Cohen},
  title = {Grammatically Biased Learning: Learning Logic Programs
	 Using an Explicit Antecedent Description Language},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {68},
  number = {2},
  pages = {303--366},
  acontentnote = {Abstract:
     Every concept learning system produces hypotheses that are
     written in some sort of constrained language called the concept
     description language, and for most learning systems, the concept
     description language is fixed.  This paper describes a learning
     system that makes a large part of the concept description
     language an explicit input, and discusses some of the possible
     applications of providing this additional input.  In particular,
     we discuss a technique for learning a logic program such that
     the antecedent of each clause in the program can be generated by
     a special antecedent description language; it is shown that this
     technique can be used to make use of many different types of
     background knowledge, including constraints on how predicates
     can be used, programming clichés, overgeneral theories,
     incomplete theories, and theories syntactically close to the
     target theory.  The approach thus unifies many of the problems
     previously studied in the field of knowledge-based learning.},
  topic = {concept-learning;Horn-clause-abduction;}
  }

@article{ cohen_ww:1995a,
  author = {William W. Cohen},
  title = {Pac-Learning Non-Recursive {P}rolog Clauses},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {79},
  number = {1},
  pages = {1--38},
  acontentnote = {Abstract:
     Recently there has been an increasing amount of research on
     learning concepts expressed in subsets of Prolog; the term
     inductive logic programming (ILP) has been used to describe this
     growing body of research.  This paper seeks to expand the
     theoretical foundations of ILP by investigating the
     pac-learnability of logic programs. We focus on programs
     consisting of a single function-free non-recursive clause, and
     focus on generalizations of a language known to be
     pac-learnable: namely, the language of determinate function-free
     clauses of constant depth.  We demonstrate that a number of
     syntactic generalizations of this language are hard to learn,
     but that the language can be generalized to clauses of constant
     locality while still allowing pac-learnability. More
     specifically, we first show that determinate clauses of log
     depth are not pac-learnable, regardless of the language used to
     represent hypotheses. We then investigate the effect of allowing
     indeterminacy in a clause, and show that clauses with k
     indeterminate variables are as hard to learn as DNF. We next
     show that a more restricted language of clauses with bounded
     indeterminacy is learnable using k-CNF to represent hypotheses,
     and that restricting the ``locality'' of a clause to a constant
     allows pac-learnability even if an arbitrary amount of
     indeterminacy is allowed. This last result is also shown to be a
     strict generalization of the previous result for determinate
     function-free clauses of constant depth. Finally, we present
     some extensions of these results to logic programs with multiple
     clauses.},
  topic = {concept-learning;Horn-clause-abduction;PAC-learning;}
  }

@article{ cohen_ww:2000a,
  author = {William W. Cohen},
  title = {{WHIRL}: A Word-Based Information Representation Language},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {118},
  number = {1--2},
  pages = {163--196},
  acontentnote = {Abstract:
     We describe WHIRL, an ``information representation language'' that
     synergistically combines properties of logic-based and
     text-based representation systems.  WHIRL is a subset of Datalog
     that has been extended by introducing an atomic type for textual
     entities, an atomic operation for computing textual similarity,
     and a ``soft'' semantics; that is, inferences in WHIRL are
     associated with numeric scores, and presented to the user in
     decreasing order by score.  This paper briefly describes WHIRL,
     and then surveys a number of applications.  We show that WHIRL
     strictly generalizes both ranked retrieval of documents, and
     logical deduction; that nontrivial queries about large databases
     can be answered efficiently; that WHIRL can be used to
     accurately integrate data from heterogeneous information
     sources, such as those found on the Web; that WHIRL can be used
     effectively for inductive classification of text; and finally,
     that WHIRL can be used to semi-automatically generate extraction
     programs for structured documents.},
  topic = {kr;information-retrieval;information-integration;}
  }

@inproceedings{ cohen_ww-etal:1992a,
  author = {William W. Cohen and Alex Borgida and Haym Hirsh},
  title = {Computing Least Common Subsumers in Description Logics},
  booktitle = {Proceedings of the Tenth National Conference on
             Artificial Intelligence},
  year = {1993},
  editor = {Paul Rosenbloom and Peter Szolovits},
  pages = {754--761},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {kr;classifier-algorithms;description-logics;kr-course;}
 }

@incollection{ cohen_ww-hirsh_h:1994a,
  author = {William W. Cohen and Haym Hirsh},
  title = {Learning the Classical Description Logic: Theoretical
  	and Experimental Results},
  booktitle = {{KR}'94: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
  pages = {121--133},
  address = {San Francisco, California},
  topic = {kr;description-logics;machine-learning;kr-course;}
  }

@article{ cohn_ac-varzi:2003a,
  author = {Anthony C. Cohn and Achille C. Varzi},
  title = {Mereotopological Connection},
  journal = {Journal of Philosophical Logic},
  year = {2003},
  volume = {32},
  number = {4},
  pages = {357--390},
  topic = {spatial-reasoning;}
  }

@article{ cohn_ag:1987a,
  author = {Anthony G. Cohn},
  title = {A More Expressive Form of Many Sorted Logic},
  journal = {Journal of Automated Reasoning},
  year = {1987},
  volume = {3},
  pages = {113--200},
  missinginfo = {number},
  topic = {many-sorted-logic;}
  }

@incollection{ cohn_ag:1989a,
  author = {Anthony G. Cohn},
  title = {On the Appearance of Sortal Literals: A Non Substitutional
  	Framework for Hybrid Reasoning},
  booktitle = {{KR}'89: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1989},
  editor = {Ronald J. Brachman and Hector J. Levesque and Raymond Reiter},
  pages = {55--66},
  address = {San Mateo, California},
  missinginfo = {A's 1st name, number},
  topic = {kr;theorem-proving;hybrid-kr-architectures;sort-hierarchies;
  	kr-course;}
  }

@incollection{ cohn_ag:1992a,
  author = {Anthony G. Cohn},
  title = {Completing Sort Hierarchies},
  booktitle = {Semantic Networks in Artificial Intelligence},
  publisher = {Pergamon Press},
  year = {1992},
  editor = {Fritz Lehmann},
  pages = {477--491},
  address = {Oxford},
  topic = {theorem-proving;taxonomic-reasoning;kr;semantic-networks;
  	kr-course;}
  }

@incollection{ cohn_ag:1996a,
  author = {Anthony G. Cohn},
  title = {Calculi for Qualitative Spatial Reasoning},
  booktitle = {Artificial Intelligence and Symbolic Mathematical
  	Computation},
  publisher = {Springer-Verlag},
  year = {1996},
  editor = {Jacques Calmet and J. Campbell and J. Pfalzgraf},
  pages = {124--143},
  address = {Berlin},
  missinginfo = {E's 1st name.},
  topic = {spatial-reasoning;}
  }

@incollection{ cohn_ag:1997a,
  author = {Anthony G. Cohn},
  title = {Qualitative Spatial Representation and Reasoning
  	Techniques},
  booktitle = {{KI}-97, Advances in Artificial Intelligence},
  publisher = {Springer-Verlag},
  year = {1997},
  editor = {Gerhard Brewka and Christopher Habel and Bernhard Nebel},
  pages = {1--30},
  address = {Berlin},
  topic = {spatial-reasoning;}
  }

@incollection{ cohn_ag-etal:1997a,
  author = {Anthony G. Cohn and Brandon Bennett and John Gooday and
         Nicholas M. Gotts},
  title = {Representing and Reasoning with
         Qualitative Spatial Relations},
  booktitle = {Spatial and Temporal Reasoning},
  publisher = {Kluwer Academic Publishers},
  year = {1997},
  editor = {Oliviero Stock},
  pages = {97--134},
  address = {Dordrecht},
  rtnote = {In RHT collection.  Files.  Bib is in "bibs".},
  topic = {spatial-reasoning;spatial-representation;
  	qualitative-reasoning;}
  }

@book{ cohn_ag-etal:1998a,
  editor = {Anthony G. Cohn and Lenhart Schubert and Stuart C.
		Shapiro},
  title = {{KR}'98: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1998},
  address = {San Francisco},
  topic = {kr;}
 }

@book{ cohn_ag-etal:2000a,
  editor = {Anthony G. Cohn and Fausto Giunchiglia and Bart Selman},
  title = {{KR}2000: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {2000},
  address = {San Francisco},
  topic = {kr;}
 }

@incollection{ cohn_ag-gotts:1996a,
  author = {Anthony G. Cohn and Nicholas Mark Gotts},
  title = {Representing Spatial Vagueness: A Mereological Approach},
  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 = {230--241},
  address = {San Francisco, California},
  topic = {kr;spatial-reasoning;mereology;vagueness;kr-course;}
  }

@article{ cohn_d:1966a,
  author = {D. Cohn},
  title = {Narrated Monologue},
  journal = {Comparative Literature},
  year = {1966},
  volume = {2},
  pages = {97--112},
  missinginfo = {A's 1st name, number},
  rtnote = {Cited by Fillmore.  Use for   Is it about
  	deixis?},
  topic = {discourse;deixis;pragmatics;}
  }

@inproceedings{ cohn_t-etal:2005a,
  author = {Trevor Cohn and Andrew Smith and Miles Osborne},
  title = {Scaling Conditional Random Fields Using Error-Correcting Codes},
  booktitle = {Proceedings of the 43rd Annual Meeting of the
  		Association for Computational Linguistics (ACL'05)},
  month = {June},
  year = {2005},
  address = {Ann Arbor, Michigan},
  publisher = {Association for Computational Linguistics},
  pages = {10--17},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1002},
  topic = {machine-learning;named-entity-tagging;part-of-speech-tagging;}
  }

@article{ cohon:2000a,
  author = {Rachel Cohon},
  title = {The Roots of Reasons},
  journal = {The Philosophical Review},
  year = {2000},
  volume = {109},
  number = {1},
  pages = {63--85},
  topic = {reasons-for-action;practical-reason;}
  }

@book{ coiffet:1983a,
  author = {Philippe Coiffet},
  title = {Robot Technology, Volume 1: Modelling and Control},
  publisher = {Prentice-Hall},
  year = {1983},
  address = {New York},
  ISBN = {0137820941 (v. 1)},
  rtnote = {UMich Media Union Library, TJ211 .C673.},
  xref = {Review: rock:1987a.},
  topic = {robotics;}
 }

@book{ coiffet:1983b,
  author = {Philippe Coiffet},
  title = {Robot Technology, Volume 2: Interaction with the
  	Environment},
  publisher = {Prentice-Hall},
  year = {1983},
  address = {New York},
  rtnote = {UMich Media Union Library TJ211 .C673},
  xref = {Review: rock:1987a.},
  topic = {robotics;}
 }

@book{ coiffet-chirouze:1983a,
  author = {Philippe Coiffet and Michel Chirouze},
  title = {An Introduction to Robot Technology},
  publisher = {McGraw-Hill},
  year = {1983},
  address = {New York},
  miscnote = {Translated by Meg Tombs.},
  ISBN = {0070106894},
  rtnote = {UMich Media Union Library, TJ211 .C61311 1983.},
  topic = {robotics;}
 }

@techreport{ colban:1988a,
  author = {Erik A. Colban},
  title = {Simplified Unification Based Grammar Formalisms},
  institution = {Department of Mathematics, University of Oslo},
  number = {{COSMOS}-Report No.~05},
  year = {1988},
  address = {P.O. Box 1053, Blindern, 0316 Oslo 3, Norway},
  rtnote = {In RHT collection.},
  topic = {unification-of-FSs;grammar-formalisms;}
  }

@techreport{ colban:1990a,
  author = {Erik A. Colban},
  title = {Unification Algorithms},
  institution = {Department of Mathematics, University of Oslo},
  number = {{COSMOS}-Report No.~16},
  year = {1990},
  address = {P.O. Box 1053, Blindern, 0316 Oslo 3, Norway},
  rtnote = {In RHT collection.},
  topic = {unification-of-FSs;}
  }

@techreport{ colban:1991a,
  author = {Erik A. Colban},
  title = {Generalized Quantifiers in Sequent Calculus},
  institution = {Department of Mathematics, University of Oslo},
  number = {{COSMOS} Report No. 18},
  year = {1991},
  address = {P.O. Box 1053, Blindern, 0316 Oslo 3, Norway},
  rtnote = {In RHT collection.},
  missinginfo = {number},
  topic = {generalized-quantifiers;}
  }

@article{ colby-etal:1970a,
  author = {Kenneth Mark Colby and Sylvia Weber and Franklin Dennis
  	Hilf},
  title = {Artificial Paranoia},
  journal = {Artificial Intelligence},
  year = {1970},
  volume = {2},
  number = {1},
  pages = {1--25},
  acontentnote = {Abstract:
     A case of artificial paranoia has been synthesized in the form
     of a computer simulation model. The model and its embodied
     theory are briefly described. Several excerpts from interviews
     with the model are presented to illustrate its paranoid
     input-output behavior.  Evaluation of the success of the
     simulation will depend upon indistinguishability tests.  },
  topic = {simulation-of-human-like-behavior;}
  }

@article{ colby-etal:1972a,
  author = {Kenneth Mark Colby and Franklin Dennis Hilf and Sylvia
  	Weber and Helena C. Kraemer},
  title = {Turing-Like Indistinguishability Tests for the Validation
  		of a Computer Simulation of Paranoid Processes},
  journal = {Artificial Intelligence},
  year = {1972},
  volume = {3},
  number = {1--3},
  pages = {199--221},
  acontentnote = {Abstract:
     A computer simulation of paranoid processes in the form of a
     dialogue algorithm was subjected to a validation study using
     indistinguishability tests.  Judges rated degrees of paranoia
     present in initial psychiatric interviews of both paranoid
     patients and of versions of the paranoid model.  Judges also
     attempted to distinguish teletyped interviews with real patients
     from interviews with the simulation model.  The statistical
     results indicate a satisfactory degree of resemblance between
     the two groups of interviews.  It is concluded that the model
     provides a successful simulation of naturally occurring paranoid
     processes as measured by these tests.       },
  topic = {Turing-test;simulation-of-human-like-behavior;}
  }

@incollection{ cole_dc:2004a,
  author = {David Cole},
  title = {The {C}hinese Room Argument},
  booktitle = {The {S}tanford Encyclopedia of Philosophy},
  publisher = {Stanford University},
  editor = {Edward N. Zalta},
  url = {http://plato.stanford.edu/archives/fall2004/entries/chinese-room/},
  year = {Fall 2004},
  rtnote = {In RHT collection.},
  topic = {philosophy-ai;philosophy-of-mind;intentionality;}
  }

@incollection{ cole_m:1991a,
  author = {Michael Cole},
  title = {Conclusion},
  booktitle = {Perspectives on Socially Shared Cognition},
  publisher = {American Psychological Association},
  year = {1991},
  editor = {Lauren B. Resnick and John M. Levine and
  	Stephanie D. Teasley},
  pages = {398--417},
  address = {Washington, D.C.},
  rtnote = {In RHT collection.},
  topic = {social-psychology;group-attitudes;}
  }

@incollection{ cole_p:1975a,
  author = {Peter Cole},
  title = {The Synchronic and Diachronic Status of Conversational
  	Implicature},
  booktitle = {Syntax and Semantics 3: Speech Acts},
  year = {1975},
  editor = {Peter Cole and Jerry Morgan},
  pages = {257--288},
  publisher = {Academic Press},
  address = {New York},
  rtnote = {pragmatics-course;},
  topic = {implicature;}
  }

@incollection{ cole_p:1978a,
  author = {Peter Cole},
  title = {On the Origins of Referential Opacity},
  booktitle = {Syntax and Semantics 9: Pragmatics},
  publisher = {Academic Press},
  year = {1975},
  editor = {Peter Cole},
  pages = {1--22},
  address = {New York},
  topic = {referential-opacity;}
  }

@book{ cole_p:1981a,
  editor = {Peter Cole},
  title = {Radical Pragmatics},
  publisher = {Academic Press},
  year = {1981},
  address = {New York},
  contentnote = {TC:
     1. Jay D. Atlas and Stephen C. Levinson, "It-Clefts,
     		Informativeness and Logical Form: Radical Pragmatics
		(Revised Standard Version)", pp. 1--61
     2. Emmon Bach, "On Time, Tense, and Aspect: An Essay In English
  		Metaphysics", pp. 63--81
     3. Charles E. Caton, "Stalnaker on Pragmatic
     		Presupposition", pp. 83--100
     4. Alice Davison, "Syntactic and Semantic Indeterminacy Resolved:
     		A Mostly Pragmatic Analysis of the {H}indi Conjunctive
		Participle", pp. 101--128
     5. Keith Donnellan, "Intuitions and Presuppositions", pp. 129--142
     6. Charles J. Fillmore, "Pragmatics and the Description of
     		Discourse", pp. 143--166
     7. Georgia M. Green and Jerry L. Morgan, "Pragmatics, Grammar,
     		and Discourse", pp. 167--182
     8. Grice, H.P. "Presupposition and Conversational
     		Implicature", pp. 183--198
     9. Geoffrey Nunberg, "Validating Pragmatic
     		Explanations", pp. 199--222
    10. Ellen F. Prince, "Towards a Taxonomy of Given-New
    		Information", pp. 223--256
    11. Jerrold L. Sadock, "Almost", pp. 257-272
    12. Ivan A. Sag, "Formal Semantics and Extralinguistic
    		Context", pp. 273--294
    13. Dan Sperber and Deirdre Wilson, "Irony and the Use-Mention
    		Distinction", pp. 295--318
  	},
  ISBN = {0121796604},
  rtnote = {UMich Graduate Library, P99.4.P72 R31},
  rtnote = {pragmatics-course;},
  topic = {pragmatics;}
 }

@article{ cole_p:1985a,
  author = {Peter Cole},
  title = {Quantifier Scope and the {ECP}},
  journal = {Linguistics and Philosophy},
  year = {1985},
  volume = {8},
  number = {2},
  pages = {283--289},
  topic = {nl-quantifier-scope;}
  }

@book{ cole_p-morgan_jl:1975a,
  editor = {Peter Cole and Jerry Morgan},
  title = {Syntax and Semantics 3: Speech Acts},
  publisher = {Academic Press},
  year = {1975},
  address = {New York},
  rtnote = {Hillman P291 S8 1971 v.3},
  topic = {speech-acts;pragmatics;}
 }

@article{ coleman_j-local:1991a,
  author = {John Coleman and John Local},
  title = {The `No Crossing Constraint' in Autosegmental
  	Phonology},
  journal = {Linguistics and Philosophy},
  year = {1991},
  volume = {14},
  number = {3},
  pages = {295--338},
  topic = {autosegmental-phonology;}
  }

@book{ coleman_js-etal:1960a,
  author = {James S. Coleman and Ernest W. Adams and Herbert Solomon},
  title = {Mathematical Thinking in the Measurement of Behavior},
  publisher = {The Free Press},
  year = {1960},
  address = {Glencoe, Illinois},
  rtnote = {In RHT collection.  Three Parts:
  	Coleman: The Mathematical Theory of Small Groups
	Adams: A Survey of Bernoullian Utility Theory
	Solomon: A Survey of Mathematical Models in Factor Analysis
  },
  topic = {math-in-behavioral-science;utility-theory;}
 }

@article{ coles-etal:2009a,
  author = {Andrew Coles and Maria Fox and Keith Halsey and
  		Derek Long and Amanda Smith},
  title = {Managing Concurrency in Temporal Planning Using
  		Planner-Scheduler Interaction},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {173},
  number = {1},
  pages = {1--44},
  topic = {planning;scheduling;}
  }

@incollection{ coletti-etal:1991a,
  author = {G. Coletti and A. Gilio and R. Scozzafava},
  title = {Assessment of Qualitative Judgements for Conditional
  	Events in Expert Systems},
  booktitle = {Symbolic and Quantitative Approaches for Uncertainty:
  	Proceedings of the {E}uropean Conference {ECSQAU}, Marseille,
	France, October 1991},
  publisher = {Springer-Verlag},
  year = {1991},
  editor = {Rudolf Kruse and Pierre Siegel},
  pages = {135--140},
  address = {Berlin},
  topic = {reasoning-about-uncertainty;}
  }

@article{ coliva:2003a,
  author = {Annalisa Coliva},
  title = {The First Person: Error through Misidentification, the Split
  	between Speaker's and Semantic Reference, and the Real Guarantee},
  journal = {The Journal of Philosophy},
  year = {2003},
  volume = {100},
  number = {8},
  pages = {416--431},
  topic = {first-person;}
  }

@inproceedings{ collier:1998a,
  author = {Nigel Collier and Hideki Hirakawa and Akira Kumano},
  title = {Machine Translation vs. Dictionary Term Translation---A
  	Comparison for {E}nglish-{J}apanese News Article Alignment},
  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 = {263--267},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {text-alignment;}
}

@inproceedings{ collier-etal:1998a,
  author = {Nigel Collier and Kenji Ono and Hideki Hirakawa},
  title = {An Experiment in Hybrid Dictionary and Statistical
  	Sentence Alignment},
  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 = {268--274},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {text-alignment;}
}

@book{ collins_a1-etal:1995a,
  editor = {Alan F. Collins and Susan E. Gathercole and Martin A. Conway
  	and Peter E. Morris},
  title = {Theories of Memory},
  Publisher = {Laurence Erlbaum Associates},
  year = {1995},
  address = {Nahwah, New Jersey},
  topic = {memory-models;}
 }

@incollection{ collins_a2:1984a,
  author = {Arthur Collins},
  title = {Action, Causality and Teleological Explanation},
  booktitle = {Causation and Causal Theories},
  publisher = {University of Minnesota Press},
  year = {1984},
  editor = {Peter A. French and Theodore E. Uehling, Jr. and Howard
  	K. Wettstein},
  pages = {345--369},
  address = {Minneapolis},
  topic = {action;causality;teleology;explanation;}
  }

@book{ collins_c:1997a,
  author = {Chris Collins},
  title = {Local Economy},
  publisher = {The {MIT} Press},
  year = {1997},
  address = {Cambridge, Massachusetts},
  topic = {syntactic-minimalism;nl-syntax;}
 }

@incollection{ collins_c:2002a,
  author = {Chris Collins},
  title = {Eliminating Labels},
  booktitle = {Derivation and Explanation in the Minimalist Program},
  publisher = {Blackwell Publishing},
  year = {2002},
  editor = {Samuel David Epstein and T. Daniel Seeley},
  pages = {42--64},
  address = {Oxford},
  topic = {minimalist-syntax;X-bar-theory;}
  }

@inproceedings{ collins_g-etal:1989a,
  author = {Gregg Collins and Lawrence Birnbaum and Bruce Krulwich},
  title = {An Adaptive Model of Decision-Making in Planning},
  booktitle = {Proceedings of the Eleventh International Joint
  	Conference on Artificial Intelligence},
  year = {1989},
  editor = {N.S. Sridharan},
  pages = {511--516},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  missinginfo = {Check A's 1st name},
  topic = {planning;}
  }

@book{ collins_hm:1990a,
  author = {H.M. Collins},
  title = {Artificial Experts: Social Knowledge and
  	Intelligent Machines},
  publisher = {The {MIT} Press},
  year = {1990},
  address = {Cambridge, Massachusetts},
  topic = {philosophy-AI;}
 }

@article{ collins_hm:1996a,
  author = {H.M. Collins},
  title = {Embedded or Embodied?  A Review of
  	{\it What Computers Still Can't Do}, by {H}ubert {L}. {D}reyfus},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {80},
  number = {1},
  pages = {99--117},
  xref = {Review of dreyfus_hl:1992a.},
  topic = {philosophy-AI;}
  }

@phdthesis{ collins_j:1991a,
  author = {John Collins},
  title = {Belief Revision},
  school = {Princeton University},
  year = {1991},
  type = {Ph.{D}. Dissertation},
  address = {Philosophy Department, Princeton University},
  topic = {belief-revision;}
 }

@article{ collins_j:2000a,
  author = {John Collins},
  title = {Preemptive Prevention},
  journal = {The Journal of Philosophy},
  year = {2000},
  volume = {97},
  number = {4},
  pages = {223--234},
  topic = {causality;prevention;}
  }

@article{ collins_j:2008a,
  author = {John Collins},
  title = {Review of \emph{{I}nsensitive Semantics: A Defense of
  		Semantic Minimalism and Speech Act Pluralism},
		by {H}erman {C}appelen and {E}rnest {L}epore},
  journal = {The Philosophical Review},
  year = {2008},
  volume = {117},
  number = {1},
  pages = {126--130},
  xref = {Review of: cappelen-lepore:2005a},
  topic = {philosophy-of-language;foundations-of-semantics;context;}
  }

@book{ collins_j-etal:2004a,
  editor = {John Collins and Ned Hall and L.A. Paul},
  title = {Causation and Counterfactuals},
  publisher = {The {MIT} Press},
  year = {2004},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-},
  topic = {conditionals;causality;}
 }

@inproceedings{ collins_jw-forbus:1987a1,
  author = {John W. Collins and Kenneth D. Forbus},
  title = {Reasoning about Fluids via Molecular Collections},
  booktitle = {Proceedings of the Sixth National Conference on
              Artificial Intelligence},
  year = {1987},
  editor = {Kenneth Forbus and Howard Shrobe},
  pages = {590--595},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, CA},
  xref = {Republication: collins_jw-forbus:1987a2.},
  topic = {qualitative-physics;qualitative-reasoning;}
  }

@incollection{ collins_jw-forbus:1987a2,
  author = {John W. Collins and Kenneth D. Forbus},
  title = {Reasoning about Fluids
    		via Molecular Collections},
  booktitle = {Qualitative Reasoning about Physical Systems},
  publisher = {Morgan Kaufmann},
  year = {1990},
  editor = {Daniel S. Weld and Johan de Kleer},
  pages = {503--507},
  address = {San Mateo, California},
  xref = {Republication of: collins_jw-forbus:1987a1},
  topic = {qualitative-physics;qualitative-reasoning;}
  }

@inproceedings{ collins_m:1996a,
  author = {Michael John Collins},
  title = {A New Statistical Parser Based on Bigram Lexical
  	Dependencies},
  booktitle = {Proceedings of the Thirty-Fourth Annual Meeting of the
  	Association for Computational Linguistics},
  year = {1996},
  editor = {Arivind Joshi and Martha Palmer},
  pages = {184--191},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco},
  topic = {parsing-algorithms;statistical-nlp;}
 }

@inproceedings{ collins_m:1997a,
  author = {Michael Collins},
  title = {Three Generative, Lexicalized Models for Statistical
		Parsing},
  booktitle = {Proceedings of the Thirty-Fifth Annual Meeting of the
		{A}ssociation for {C}omputational {L}inguistics and Eighth
		Conference of the {E}uropean Chapter of the {A}ssociation
		for {C}omputational {L}inguistics},
  year = {1997},
  editor = {Philip R. Cohen and Wolfgang Wahlster},
  pages = {16--23},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  topic = {parsing-algorithms;statistical-nlp;}
 }

@article{ collins_m:1999a,
  author = {Michael Collins},
  title = {Review of \emph{{B}eyond Grammar:  An Experience-Based
		Theory of Language}, by {R}ens {B}od},
  journal = {Computational Linguistics},
  year = {1998},
  volume = {25},
  number = {3},
  pages = {440--444},
  xref = {Review of bod:1998a.},
  topic = {statistical-parsing;TAG-grammar;nlp-algorithms;}
  }

@article{ collins_m:2003a,
  author = {Michael Collins},
  title = {Head-Driven Statistical Techniques for Natural-Language
  	Parsing},
  journal = {Computational Linguistics},
  year = {2003},
  volume = {29},
  number = {4},
  pages = {589--654},
  topic = {parsing-algorithms;statistical-parsing;}
  }

@inproceedings{ collins_m-brooks_j:1995a,
  author = {Michael Collins and James Brooks},
  title = {Prepositional Attachment through a Backed-off Model},
  booktitle = {Proceedings of the Third Workshop on Very
		Large Corpora},
  year = {1995},
  editor = {David Yarovsky and Kenneth Church},
  pages = {27--38},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  rtnote = {In RHT collection.},
  topic = {corpus-linguistics;ambiguity-resolution;corpus-statistics;
		machine-learning;prepositional-attachment;}
 }

@inproceedings{ collins_m-etal:2005a,
  author = {Michael Collins and Brian Roark and Murat Saraclar},
  title = {Discriminative Syntactic Language Modeling for Speech
  		Recognition},
  booktitle = {Proceedings of the 43rd Annual Meeting of the
  		Association for Computational Linguistics (ACL'05)},
  month = {June},
  year = {2005},
  address = {Ann Arbor, Michigan},
  publisher = {Association for Computational Linguistics},
  pages = {507--514},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1063},
  topic = {acoustic-modeling;speech-recognition;}
  }

@inproceedings{ collins_m-etal:2005b,
  author = {Michael Collins and Philipp Koehn and Ivona Kucerova},
  title = {Clause Restructuring for Statistical Machine Translation},
  booktitle = {Proceedings of the 43rd Annual Meeting of the
  		Association for Computational Linguistics (ACL'05)},
  month = {June},
  year = {2005},
  address = {Ann Arbor, Michigan},
  publisher = {Association for Computational Linguistics},
  pages = {531--540},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1066},
  topic = {statistical-nlp;machine-translation;}
  }

@inproceedings{ collins_m-singer_y:1999a,
  author = {Michael Collins and Yoram Singer},
  title = {Unsupervised Models for Named Entity Classification},
  booktitle = {Proceedings of the Joint {SIGDAT} Conference on
  		Empirical Methods in Natural Language Processing and
		Very Large Corpora},
  year = {1999},
  editor = {Pascale Fung and Joe Zhou},
  pages = {189--196},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, NJ},
  missinginfo = {A's 1st name},
  rtnote = {In RHT collection.},
  topic = {named-entity-tagging;machine-learning;}
  }

@book{ collins_nl-michie:1967a,
  editor = {N.L. Collins and Donald Michie},
  title = {Machine intelligence {I}},
  publisher = {Oliver and Boyd},
  year = {1967},
  address = {Edinburgh},
  topic = {AI-survey;}
 }

@book{ colodny:1965a,
  editor = {Robert G. Colodny},
  title = {Beyond the Edge of Certainty: Essays in Contemporary
       Science and Philosophy},
  publisher = {Prentice-Hall, Inc.},
  address = {Englewood Cliffs, New Jersey},
  year = {1965},
  rtnote = {In RHT collection.},
  topic = {philosophy-of-science;}
 }

@book{ colodny:1972a,
  editor = {Robert G. Colodny},
  title = {Paradigms and Paradoxes: The Philosophical Challenge of
  	The Quantum Domain},
  publisher = {University of Pittsburgh Press},
  year = {1972},
  address = {Pittsburgh, Pennsylvania},
  rtnote = {UMich  Science: QC 174.1 .C72},
  topic = {philosophy-of-science;philosophy-of-physics;
  	foundations-of-quantum-mechanics;}
 }

@article{ colomb:1999a,
  author = {Robert M. Colomb},
  title = {Representation of Propositional Expert Systems as
		Partial Functions},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {109},
  number = {1--2},
  topic = {expert-systems;decision-trees;},
  pages = {187--209},
  }

@article{ colombetti:1993a,
  author = {Marco Colombetti},
  title = {Formal Semantics for Mutual Belief},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {62},
  number = {2},
  pages = {341--353},
  topic = {mutual-belief;}
  }

@article{ colson-grigoroff:2001a,
  author = {Lo\"ic Colson and Serge Grigoroff},
  title = {Syntactical Truth Predicates for Second-Order Arithmetic},
  journal = {Journal of Symbolic Logic},
  year = {2001},
  volume = {66},
  number = {1},
  pages = {225--256},
  topic = {second-order-arithmetic;truth-definitions;}
  }

@article{ colston:1997a,
  author = {H.L. Colston},
  title = {\,`I've Never Seen Anything Like It': Overstatement,
  	Understatement, and Irony},
  journal = {Metaphor and Symbol},
  year = {1997},
  volume = {12},
  pages = {43--58},
  missinginfo = {A's 1st name, number},
  topic = {irony;cognitive-psychology;}
  }

@article{ colston:1998a,
  author = {H.L. Colston},
  title = {You'll Never Believe This: Irony and Hyperbole in
  	Expressing Surprise},
  journal = {Journal of Psycholinguistic Research},
  year = {1998},
  volume = {27},
  pages = {499--513},
  missinginfo = {A's 1st name, number},
  topic = {irony;cognitive-psychology;}
  }

@article{ colton-etal:2009a,
  author = {Simon Colton and Ramon L\'opez de M\'antaras Badia and
  		Oliverio Stock},
  title = {Computational Creativity: Coming of Age},
  journal = {The {AI} Magazine},
  year = {2009},
  volume = {30},
  number = {3},
  pages = {11--22},
  topic = {AI-editorial;computational-creativity;}
  }

@article{ colyvan:2001a,
  author = {Mark Colyvan},
  title = {Review of \emph{{A} Subject With No Object: Strategies for
	Nominalistic Interpretation of Mathematics}, by
	{J}ohn {B}urgess and {G}ideon {R}osen},
  journal = {Studia Logica},
  year = {2001},
  volume = {67},
  number = {1},
  pages = {146--150},
  xref = {Review of burgess_jp-rosen_g:1997a.},
  topic = {nominalism;nominalistic-semantics;philosophy-of-mathematics;}
  }

@article{ colyvan:2004a,
  author = {Mark Colyvan},
  title = {Review of \emph{{T}he Search for Certainty:  A Philosophical
  		Account of Foundations of Mathematics}, by {M}arcus
		{G}iaquinto},
  journal = {The Bulletin of Symbolic Logic},
  year = {2004},
  volume = {10},
  number = {2},
  pages = {214--216},
  xref = {Review of: giaquinto:2002a.},
  topic = {foundations-of-mathematics;foundations-of-set-theory;}
  }

@article{ colyvan:2008a,
  author = {Mark Colyvan},
  title = {Relative Expectation Theory},
  journal = {The Journal of Philosophy},
  year = {2008},
  volume = {105},
  number = {1},
  pages = {37--44},
  topic = {foundations-of-decision-theory;}
  }

@incollection{ comini-etal:1994a,
  author = {Marco Comini and Giorgio Levi and Giuliana Vitiello},
  title = {Abstract Debugging of Logic Program},
  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 = {440--450},
  address = {Berlin},
  topic = {metaprogramming;logic-programming;}
  }

@incollection{ comorovski:1985a,
  author = {Ileana Comorovski},
  title = {On Quantifier Strength and Partitive Noun Phrases},
  booktitle = {Quantification in Natural Languages, Vol. 1},
  publisher = {Kluwer Academic Publishers},
  year = {1995},
  editor = {Emmon Bach and Eloise Jelinek and Angelika Kratzer and
   	Barbara Partee},
  pages = {145--177},
  address = {Dordrecht},
  topic = {nl-semantics;nl-quantifiers;(in)definiteness;
  	existential-constructions;partitive-constructions;}
  }

@book{ comorovski:1996a,
  author = {Ileana Comorovski},
  title = {Interrogative Phrases and the Syntax-Semantics Interface},
  publisher = {Kluwer Academic Publishers},
  year = {1996},
  address = {Dordrecht},
  ISBN = {0792338049},
  topic = {interrogatives;}
 }

@incollection{ compiani:1996a,
  author = {Mario Compiani},
  title = {Remarks on the Paradigms of Connectionism},
  booktitle = {Connectionism, Concepts, and Folk Psychology: The Legacy
  		of {A}lan {T}uring: Volume {II}},
  publisher = {Oxford University Press},
  year = {1996},
  editor = {Peter J.R. Millican and Andy Clark},
  pages = {45--66},
  address = {Oxford},
  topic = {connectionism;}
  }

@book{ comrie:1985a,
  author = {Bernard Comrie},
  title = {Aspect: An Introduction to the Study of Verbal Aspect and
  	Related Problems},
  publisher = {Cambridge University Press},
  year = {1985},
  address = {Cambridge, England},
  topic = {nl-tense;universal-grammar;}
 }

@incollection{ comrie:1986a,
  author = {Bernard Comrie},
  title = {Conditionals: A Typology},
  booktitle = {On Conditionals},
  publisher = {Cambridge University Press},
  year = {1986},
  editor = {Elizabeth Traugott and Alice {ter Meulen} and Judy Reilly},
  pages = {77--101},
  address = {Cambridge, England},
  topic = {conditionals;typology;}
  }

@book{ conant:1981a,
  editor = {Roger Conant},
  title = {Mechanisms Of Intelligence : Ashby'S Writings On Cybernetics},
  publisher = {Intersystems Publications},
  year = {1981},
  address = {Seaside, California},
  topic = {AI-classics;}
 }

@inproceedings{ condon-etal:1997a,
  author = {Sherri L. Condon and Claude G. Cech and William R. Edwards},
  title = {DIscourse Routines in Decision-Making Interactions},
  booktitle = {Working Notes: {AAAI} Fall Symposium on Communicative
		Action in Humans and Machines},
  year = {1997},
  pages = {20--27},
  organization = {{AAAI}},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  editor = {David R. Traum},
  rtnote = {In RHT collection.},
  topic = {speech-acts;corpus-statistics;pragmatics;}
  }

@inproceedings{ condotta:2000a,
  author = {Jean-Fran\c{c}ois Condotta},
  title = {The Augmented Interval and and Rectangle Networks},
  booktitle = {{KR}2000: Principles of Knowledge Representation and
  	Reasoning},
  year = {2000},
  editor = {Anthony G. Cohn and Fausto Giunchiglia and Bart Selman},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  pages = {571--579},
  topic = {temporal-reasoning;}
  }

@incollection{ condotta-ligozat:2004a,
  author = {Jean Fran\c{c}ois Condotta and G\'erard Ligozat},
  title = {Axiomatizing the Cyclic Interval Calculus},
  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 = {95--104},
  address = {Menlo Park, California},
  topic = {qualitative-reasoning;temporal-reasoning;}
  }

@article{ conee:1983a,
  author = {Earl Conee},
  title = {Review of \emph{{U}tilitarianism and Co-operation},
  	by {D}onald {R}egan},
  journal = {Journal of Philosophy},
  volume = {80},
  year = {1983},
  pages = {415--424},
  xref = {Review of: regan:1980a.},
  topic = {utilitarianism;}
    }

@inproceedings{ conitzer-sandholm:2002a,
  author = {Vincent Conitzer and Tuomas Sandholm},
  title = {Vote Elicitation: Complexity and Strategy-Proofness},
  booktitle = {Proceedings of the Eighteenth National Conference on
              Artificial Intelligence},
  year = {2002},
  editor = {Rina Dechter and Michael Kearns and Richard S. Sutton},
  pages = {392--397},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {voting-procedures;complexity-in-AI;strategic-voting;}
  }

@article{ conitzer-sandholm:2006a,
  author = {Vincent Conitzer and Tuomas W. Sandholm},
  title = {Complexity of Constructing Solutions in the Core Based
  		on Synergies among Coalitions},
  journal = {Artificial Intelligence},
  year = {2006},
  volume = {170},
  number = {6--7},
  pages = {607--619},
  topic = {coalition-formation;complexity-in-AI;}
  }

@article{ conklin_hc:1955a,
  author = {Harold C. Conklin},
  title = {Hanun\'oo Color Categories},
  journal = {Southwestern Journal of Anthropology},
  year = {1955},
  volume = {11},
  pages = {339--344},
  missinginfo = {number},
  topic = {linguistic-relativity;color-terms

license: MIT

license_type: permissive

branch_name: refs/heads/master

gha_license_id: MIT

extension: bib