text:
996, Proceedings},
  publisher = {Springer-Verlag},
  year = {1996},
  address = {Berlin},
  ISBN = {3540617329},
  rtnote = {UMich Media Union Library, Q 334 .A7661 1996.},
  topic = {logic-programming;theorem-proving;}
 }

@book{ calmet-plaza:1998a,
  editor = {Jacques Calmet and Jan Plaza},
  title = {Artificial Intelligence and Symbolic Computation:
	Proceedings of {AISC'98}},
  publisher = {Springer Verlag},
  year = {1998},
  address = {Berlin},
  contentnote = {TC:
  	1. Luc De Raedt, "An Inductive Logic Programming Query
		Language for Database Mining (Extended Abstract)"
  	2. Melvin Fitting, "Bertrand {R}ussell, {H}erbrand's
		Theorem, and the Assignment Statement"
  	3. Richmond H. Thomason, "Representing and Reasoning with
		Context"
  	4. Alessandro Armado and Silvio Ranise, "From Integrated
		Reasoning Specialists to `Plug and Play' Reasoning
		Components"
  	5. Clemens Ballarin and Lawrence C. Paulson, "Reasoning
		about Coding Theory: The Benefits We Get From
		Computer Algebra"
  	6. Michael Beeson, "Automatic Generation of Epsilon-Delta
		Proofs of Continuity"
  	7. Belaid Benhamou and Laurent Heocque, "Finite Model Search
		for Equational Theories (FMSET)"
  	8. P.G. Bertoli nd J. Calmet and Fausto Giunchiglia and
		K. Homann, "Specification and Integration of
		Theorem Provers and Computer Algebra Systems"
  	9. Carlos Castro, "{COLLETTE}, Prototyping {CSP} Problem Solvers
		Using a Rule-Based Language"
       10. Martin Damsbo and Peder Thusgaard Ruboff, "An Evolutionary
       		Algorithm for Welding Task Sequence Ordering"
       11. Uwe Egli and Stephen Schmitt, "Intuitionistic
       		Proof Transformations and Their Application to
		Constructive Program Synthesis"
       12. St\'ephane F\'evre and Dongming Wang, "Combining Algebraic
       		Computing and Term-Rewriting for Geometry Theorem
		Proving"
       13. Dirk Fuchs, "Cooperation between Top-Down and Bottom-Up
       		Theorem Provers by Subgoal Clause Transfer"
       14. Ken-etzu Fujita, "Polymorphic Call-by-Value Calculus Based
       		on Classical Proofs"
       15. L.M. Laita and E. Roanes-Lozano and Y. Maojo, "Inference
       		and Verification in Medical Appropriateness Criteria
		Using {G}r\"obner Bases"
       16. Christopher Lynch, "The Unification Problem for One
       		Relation {T}hue Systems"
       17. Christopher Lynch and Christelle Scharff, "Basic
       		Completion with E-Cycle Simplification"
       18. Eric Monfroy and Christophe Ringeissen, "Sole{X}: A
       		Domain Independent Scheme for Constraint Solver
		Extension"
       19. Ian Horrocks and Peter F. Patel-Schneider, "Optimising
       		Propositional Modal Satisfiability for Description
		Logic Subsumption"
       20. Brigitte Pientka and Christoph Kreitz, "Instantiation of
       		Existentially Quantified Variables in Induction
		Specification Proofs"
       21. Zbigniew Ra\'s and Jiyun Zheng, "Knowledge Discovery
       		Objects and Queries in Distributed Knowledge
		Systems"
       22. Fritz Schwartz, "{ALLTYPES}: An Algebraic Language and
       		{TYPE} System"
       23. J. Rafael Sendra and Franz Winkler, "Real Parametrization
       		of Algebraic Curves"
       24. Zbigniew Stachniak, "Non-Clausal Reasoning with
       		Propositional Theories"
  	},
  topic = {logic-programming;theorem-proving;}
 }

@incollection{ calude:2000a,
  author = {Cristian S. Calude},
  title = {A Glimpse into Algorithmic Information Theory},
  booktitle = {Logic, Language, and Computation, Volume 3},
  publisher = {CSLI Publications},
  year = {2000},
  editor = {Lawrence Cavedon and Patrick Blackburn and Nick Braisby
  	and Atushi Shimojina},
  pages = {67--83},
  address = {Stanford, California},
  topic = {algorithmic-information-theory;randomness;}
  }

@incollection{ calvanese_d:1996a,
  author = {Diego Calvanese},
  title = {Finite Model Reasoning in Description Logics},
  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 = {292--303},
  address = {San Francisco, California},
  contentnote = {Considers eg how to add lists and trees to KL1.},
  topic = {kr;description-logics;extensions-of-kl1;finite-models;kr-course;}
  }

@incollection{ calvanese_d-degiacomo:2003a,
  author = {Diego Calvanese and Giuseppe de Giacomo},
  title = {Expressive Description Logics},
  booktitle = {The Description Logic Handbook:  Theory, Implementation
  		and Applications},
  publisher = {Cambridge University Press},
  year = {2003},
  editor = {Franz Baader and Diego Calvanese and Deborah L. McGuinness
  		and Daniele Nardi and Peter Patel-Schneider},
  pages = {178--218},
  address = {Cambridge, England},
  topic = {description-logics;kr-systems;extensions-of-kl1;}
  }

@article{ calvanese_d-degiacomo:2005a,
  author = {Diego Calvanese and Giuseppe De Giacomo},
  title = {Data Integration:  A Logic-Based Perspective},
  journal = {The {AI} Magazine},
  year = {2005},
  volume = {26},
  number = {1},
  pages = {59--70},
  topic = {data-integration;}
  }

@incollection{ calvanese_d-etal:1998a,
  author = {Diego Calvanese and Giuseppe de Giacomo and Maurizio
		Lenzarini and Daniele Nardi and Ricardo Rosati},
  title = {Description Logic Framework for Knowledge Integration},
  booktitle = {{KR}'98: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1998},
  editor = {Anthony G. Cohn and Lenhart Schubert and Stuart C.
		Shapiro},
  pages = {2--13},
  address = {San Francisco, California},
  topic = {kr;knowledge-integration;taxonomic-logics
		;kr-course;}
  }

@inproceedings{ calvanese_d-etal:2000a,
  author = {Diego Calvanese and Giuseppe De Giacomo and Maurizio
        Lenzerini and Moshe Y. Vardi},
  title = {Containment of Conjunctive Regular Path Queries with
  	Inverse},
  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 = {176--185},
  topic = {reasoning-with-queries;}
  }

@incollection{ calvanese_d-etal:2002a,
  author = {Diego Calvanese and Giuseppe De Giacomo and Moshe Y.
  	Vardi},
  title = {Reasoning about Action and Planning in {LTL} Action
  	Theories},
  booktitle = {{KR2002}: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {2002},
  editor = {Dieter Fensel and Fausto Giunchiglia and Deborah
  	L. McGuinness and Mary-Anne Williams},
  pages = {593--602},
  address = {San Francisco, California},
  topic = {kr;planning-formalisms;reasoning-about-actions;}
  }

@incollection{ calvanese_d-etal:2004a,
  author = {Diego Calvanese and Giuseppe De Giacomo and Domenico
  		Lembo and Maurizio Lenzerini and Riccardo Rosati},
  title = {What to Ask to a Peer:  Ontology-Based Query Reformulation},
  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 = {469--478},
  address = {Menlo Park, California},
  topic = {computational-ontology;ontological-query-processing;}
  }

@incollection{ calvanese_d-etal:2006a,
  author = {Diego Calvanese and Giuseppe De Giacomo and Dominico
    		Lembo and Maurizio Lenzerini and Ricardo
		Rosati},
  title = {Data Complexity of Query Answering
		in Description Logics},
  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 = {260--270},
  address = {Menlo Park, California},
  topic = {description-logics;complexity-in-AI;}
  }

@incollection{ calvanese_m-etal:1994a,
  author = {Marco Calvanese and Maurizio Lenzerini and Daniele Nardi},
  title = {A Unified Framework for Class-Based Representation Formalisms},
  booktitle = {{KR}'94: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
  pages = {109--120},
  address = {San Francisco, California},
  topic = {kr;description-logics;frames;kr-course;}
  }

@article{ calvert-knight_jf:2006a,
  author = {Wesley Calvert and Julia F. Knight},
  title = {Classification from a Computable Viewpoint},
  journal = {The Bulletin of Symbolic Logic},
  year = {2006},
  volume = {12},
  number = {2},
  pages = {191--218},
  topic = {classification-theory;computability;isomorphisms;}
  }

@incollection{ calzolari:1994a,
  author = {Nicoletta Calzolari},
  title = {Issues for Lexicon Building},
  booktitle = {Current Issues in Computational Linguistics: Essays in
  	Honour of {D}on {W}alker},
  publisher = {Giardini Editori e Stampatori and Kluwer Academic
  	Publishers},
  year = {1994},
  editor = {Antonio Zampolli and Nicoletta Calzolari and Martha Palmer},
  pages = {267--281},
  address = {Pisa and Dordrecht},
  topic = {computational-lexicography;}
  }

@book{ cameron_d-rosenblatt:1991a,
  author = {Debra Cameron and Bill Rosenblatt},
  title = {Learning Gnu Emacs},
  publisher = {O'Reilly},
  year = {1991},
  address = {Sebastopol, California},
  rtnote = {In RHT collection.  Computer Manuals Shelf.},
  topic = {emacs-manual;}
 }

@article{ cameron_jr:2000a,
  author = {J.R. Cameron},
  title = {Numbers as Types},
  journal = {The Journal of Philosophy},
  year = {2000},
  volume = {97},
  number = {10},
  pages = {529--563},
  topic = {philosophy-of-mathematics;}
  }

@book{ cameron_pj:1994a,
  author = {Peter J. Cameron},
  title = {Combinatorics: Topics, Techniques, Algorithms},
  publisher = {Cambridge University Press},
  year = {1994},
  address = {Cambridge, England},
  rtnote = {In RHT collection.  Mathematics Shelves.},
  topic = {combinatorics;}
 }

@article{ caminada-amgoud:2007a,
  author = {Martin Caminada and Leila Amgoud},
  title = {On the Evaluation of Argumentation Formalisms},
  journal = {Artificial Intelligence},
  year = {2007},
  volume = {171},
  number = {5--6},
  pages = {286--310},
  topic = {argument-systems;AI-system-evaluation;}
  }

@article{ caminada-gabbay:2009a,
  author = {Martin Caminada and Dov M. Gabbay},
  title = {A Logical Account of Formal Argumentation},
  journal = {Studia Logica},
  year = {2009},
  volume = {93},
  number = {2--3},
  pages = {109--145},
  topic = {argumentation-theory;modal-logic;}
  }

@article{ camp_e:2005a,
  author = {Elisabeth Camp},
  title = {Josef {S}tern, \emph{{M}etaphor in Context}},
  journal = {No\^us},
  year = {2005},
  volume = {39},
  number = {4},
  pages = {715--731},
  xref = {Review of: stern_j:2000a.},
  topic = {metaphor;}
  }

@incollection{ camp_e:2007a,
  author = {Elisabeth Camp},
  title = {Thinking With Maps},
  booktitle = {Philosophy of Mind},
  publisher = {Blackwell Publishers},
  year = {2007},
  editor = {John Hawthorne},
  pages = {145--182},
  address = {Oxford},
  topic = {language-of-thought;philosophy-of-mind;visual-reasoning;}
  }

@incollection{ camp_e-hawthorne_j2:2008a,
  author = {Elizabeth Camp and John Hawthorne},
  title = {Sarcastic `Like':  A Case
     		Study in the Interface of Syntax and Semantics},
  booktitle = {Philosophical Perspectives 22, 2008: Philosophy of
  		Language},
  publisher = {Blackwell Publishers},
  year = {2008},
  editor = {John Hawthorne},
  pages = {1--21},
  address = {Oxford},
  topic = {sarcasm;speech-acts;}
  }

@incollection{ campbell_a-shapiro_sc:1998a,
  author = {Alistair Campell and Stuart C. Shapiro},
  title = {Algorithms for Ontological Mediation},
  booktitle = {Use of {W}ord{N}et in Natural Language Processing
  	Systems:  Proceedings of the Conference},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Sanda Harabagiu},
  pages = {102--107},
  address = {Somerset, New Jersey},
  topic = {nl-processing;WordNet;computational-ontology;}
  }

@incollection{ campbell_j-lifschitz:2003a,
  author = {Jonathan Campbell and Vladimir Lifschitz},
  title = {Reinforcing a Claim in Commonsense Reasoning},
  booktitle = {Working Papers of the 2003 {AAAI} Spring Symposium on
  	Logical Formalization of Commonsense Reasoning},
  publisher = {AAAI Press},
  year = {2003},
  editor = {Patrick Doherty and John McCarthy and Mary-Anne Williams},
  pages = {51--56},
  address = {Menlo Park, California},
  topic = {common-sense-reasoning;common-sense-psychology;
  	argumentation;}
  }

@article{ campbell_ja-hearn:1970a,
  author = {J.A. Campbell and Anthony C. Hearn},
  title = {Symbolic Analysis of {F}eynman Diagrams by Computer},
  journal = {Journal of Computational Physics},
  year = {1970},
  volume = {5},
  pages = {280--327},
  missinginfo = {A's 1st name, number},
  topic = {computer-assisted-physics;computer-assisted-science;}
  }

@article{ campbell_k:1965a,
  author = {Keith Campbell},
  title = {Family Resemblance Predicates},
  journal = {American Philosophical Quarterly},
  year = {1965},
  volume = {2},
  pages = {238--244},
  missinginfo = {number},
  topic = {vagueness;cluster-concepts;}
  }

@article{ campbell_k:1974a,
  author = {Keith Campbell},
  title = {The Sorites Paradox},
  journal = {Philosophical Studies},
  year = {1974},
  volume = {26},
  pages = {175--191},
  missinginfo = {number},
  topic = {vagueness;sorites-paradox;}
  }

@article{ campbell_ks:1989a,
  author = {Kim Sydow Campbell},
  title = {Book Review: A Linguistic Study of American
		  Punctuation},
  journal = {College Composition and Communication},
  year = {1989},
  volume = {40},
  number = {2},
  pages = {242--243},
  topic = {punctuation;}
}

@article{ campbell_m-etal:2002a,
  author = {Murray Campbell and A. Joseph {Hoane, Jr.} and
  	Feng-Hsiung Hsu},
  title = {Deep Blue},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {134},
  number = {1--2},
  pages = {57--83},
  topic = {computer-chess;game-trees;search;}
  }

@article{ campbell_ms-marsland:1983a,
  author = {Murray S. Campbell and T.A. Marsland},
  title = {A Comparison of Minimax Tree Search Algorithms},
  journal = {Artificial Intelligence},
  year = {1983},
  volume = {20},
  number = {4},
  pages = {347--367},
  topic = {search;AI-algorithms-analysis;}
  }

@article{ campbell_r1:1964a,
  author = {Richard Campbell},
  title = {Modality {\it de dicto} and {\it de re}},
  journal = {Australasian Journal of Philosophy},
  year = {1964},
  volume = {42},
  pages = {345--359},
  missinginfo = {A's 1st name, number},
  topic = {modality;quantifying-in-modality;singular-propositions;}
  }

@article{ campbell_r1:1974a,
  author = {Richard Campbell},
  title = {Real Predicates and `Exists'\,},
  journal = {Mind, New Series},
  year = {1974},
  volume = {83},
  number = {329},
  pages = {95--99},
  topic = {(non)existence;Kant;}
  }

@article{ campbell_r2:1974a,
  author = {Richmond Campbell},
  title = {The Sorites Paradox},
  journal = {Philosophical Studies},
  year = {1974},
  volume = {26},
  pages = {175--191},
  topic = {vagueness;}
  }

@incollection{ campbell_r2:1985a,
  author = {Richmond Campbell},
  title = {Background for the Uninitiated},
  booktitle = {Paradoxes of Rationality and Cooperation},
  publisher = {The University of British Columbia Press},
  year = {1985},
  pages = {3--41},
  address = {Vancouver},
   rtnote = {In RHT collection.},
  topic = {rationality;foundations-of-decision-theory;}
  }

@book{ campbell_r2-sowdon:1985a,
  editor = {Richmond Campbell and Lanning Sowden},
  title = {Paradoxes of Rationality and Cooperation: Prisoner's
  	Dilemma and {N}ewcomb's Problem},
  publisher = {The University of British Columbia Press},
  year = {1985},
  address = {Vancouver},
  rtnote = {Hillman BC185 .P37 1985},
  topic = {foundations-of-decision-theory;rationality;cooperation;
  	Newcomb-problem;prisoner's-dilemma;}
 }

@book{ campe:1994a,
  author = {Petra Campe},
  title = {Case, Semantic Roles, and Grammatical Relations: A
  	Comprehensive Bibliography},
  publisher = {John Benjamins Publishing Company},
  year = {1994},
  address = {Amsterdam},
  topic = {grammatival-relations;}
 }

@incollection{ cancedda-samuelson_c:2000a,
  author = {Nicola Cancedda and Christer Samuelson},
  title = {Corpus-Based Grammar Specialization},
  booktitle = {Proceedings of the Fourth Conference on Computational
  	Natural Language Learning and of the Second Learning Language
	in Logic Workshop, {L}isbon, 2000},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  editor = {Claire Cardie and Walter Daelemans and Claire N\'edellec
  	and Erik Tjong Kim Sang},
  pages = {7--12},
  address = {Somerset, New Jersey},
  topic = {machine-language-learning;disambiguation;
  	grammar-specialization;}
  }

@inproceedings{ candito:1996a,
  author = {Marie-H\'el\'ene Candito},
  title = {Generating an {LTAG} out of a Principle-Based Hierarchical
  	Representation},
  booktitle = {Proceedings of the Thirty-Fourth Annual Meeting of the
  	Association for Computational Linguistics},
  year = {1996},
  editor = {Arivind Joshi and Martha Palmer},
  pages = {342--344},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco},
  topic = {TAG-grammar;computational-lexicography;}
 }

@inproceedings{ candito:1998a,
  author = {Marie-H\'el\`en Candito},
  title = {Building Parallel Lexicalized Tree Adjoining Grammars for
  	{I}talian and {F}rench},
  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 = {211--218},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {TAG-grammar;Italian-language;French-language;}
}

@book{ cann:1993a,
  author = {Ronnie Cann},
  title = {Formal Semantics: An Introduction},
  publisher = {Cambridge University Press},
  year = {1993},
  address = {Cambridge, England},
  ISBN = {0 521 37610 6 (pbk)},
  rtnote = {In RHT Collection.  LLP single author shelves. (2 copies)},
  topic = {nl-semantics;}
 }

@article{ canning:1992a,
  author = {S. Canning},
  title = {Rationality, Computability and {N}ash Equilibrium},
  journal = {Econometirca},
  year = {1992},
  volume = {60},
  pages = {877--888},
  missinginfo = {A's 1st name, number},
  topic = {game-theory;}
  }

@article{ canny:1988a,
  author = {John Canny},
  title = {Constructing Roadmaps of Semi-Algebraic Sets {I}:
  	Completeness},
  journal = {Artificial Intelligence},
  year = {1988},
  volume = {37},
  number = {1--3},
  pages = {203--222},
  acontentnote = {Abstract:
     This paper describes preliminary work on an algorithm for
     planning collision-free motions for a robot manipulator in the
     presence of obstacles. The physical obstacles lead to forbidden
     regions in the robots configuration space, and for
     collision-free motion we need paths through configuration space
     which avoid these regions. Our method is to construct a certain
     one-dimensional subset or ``roadmap'' of the space of allowable
     configurations. If S denotes the set of allowable
     configurations, the roadmap has the property that any connected
     component of S contains a single connected component of the
     roadmap.  It is also possible, starting from an arbitrary point
     p S to rapidly construct a path from p to a point on the
     roadmap.  Thus given any two points in S we can rapidly
     determine whether they lie in the same connected component of S,
     and if they do, we can return a candidate path between them. We
     do not give a complete description of the algorithm here, but we
     define the roadmap geometrically, and verify that it has the
     necessary connectivity.  },
  topic = {robotics;motion-planning;collision-avoidance;}
  }

@incollection{ cano-etal:1991a,
  author = {Jos\'e Cano and Miguel Delgado and Seraf\'in Moral},
  title = {Propagation of Uncertainty in Dependance Graphs},
  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 = {42--47},
  address = {Berlin},
  topic = {reasoning-about-uncertainty;dependency-graphs;}
  }

@incollection{ cantini:2007a,
  author = {Andrea Cantini},
  title = {Paradoxes and Contemporary Logic},
  booktitle = {The {S}tanford Encyclopedia of Philosophy},
  publisher = {Stanford University},
  year = {Winter 2007},
  editor = {Edward N. Zalta},
  url =	{http://plato.stanford.edu/archives/win2007/entries/paradoxes-contemporary-logic/},
  topic = {paradoxes;semantic-paradoxes;Russell-paradox;}
  }

@article{ cantwell:1998a,
  author = {John Cantwell},
  title = {Resolving Conflicting Information},
  journal = {Journal of Logic, Language, and Information},
  year = {1998},
  volume = {7},
  number = {2},
  pages = {191--220},
  topic = {belief-revision;coherence;}
  }

@article{ cantwell:1999a,
  author = {John Cantwell},
  title = {Some Logics of Iterated Belief Change},
  journal = {Studia Logica},
  year = {1999},
  volume = {63},
  number = {1},
  pages = {49--84},
  topic = {belief-revision;}
  }

@article{ cantwell:2000a,
  author = {John Cantwell},
  title = {Logics of Belief Change without Linearity},
  journal = {Journal of Symbolic Logic},
  year = {2000},
  volume = {65},
  number = {4},
  pages = {1556--1575},
  topic = {belief-revision;}
  }

@article{ cantwell:2003a,
  author = {John Cantwell},
  title = {On the Foundations of Pragmatic Arguments},
  journal = {The Journal of Philosophy},
  year = {2003},
  volume = {100},
  number = {8},
  pages = {383--402},
  topic = {rationality;Dutch-book-argument;}
  }

@article{ cantwell:2003b,
  author = {John Cantwell},
  title = {Eligible Contraction},
  journal = {Studia Logica},
  year = {2003},
  volume = {75},
  number = {2},
  pages = {167--182},
  topic = {belief-revision;}
  }

@article{ cantwell:2005a,
  author = {John Cantwell},
  title = {A Formal Model of Multi-Agent Belief-Interaction},
  journal = {Journal of Logic, Language, and Information},
  year = {2005},
  volume = {14},
  number = {4},
  pages = {397--422},
  topic = {belief-revision;multimodal-logic;}
  }

@article{ cantwell:2006a,
  author = {John Cantwell},
  title = {A Formal Model of Multi-Agent Belief-Interaction},
  journal = {Journal of Logic, Language, and Information},
  year = {2006},
  volume = {15},
  number = {4},
  pages = {303--329},
  topic = {epistemic-logic;multiagent-systems;belief-revision;}
  }

@article{ cantwell:2006b,
  author = {John Cantwell},
  title = {The Logic of Dominance Reasoning},
  journal = {Journal of Philosophical Logic},
  year = {2006},
  volume = {35},
  number = {1},
  pages = {41--63},
  topic = {dominance;conditionals;qualitative-utility;}
  }

@article{ cantwell:2008a,
  author = {John Cantwell},
  title = {Indicative Conditionals:  Factual or Epistemic?},
  journal = {Studia Logica},
  year = {2008},
  volume = {88},
  number = {1},
  pages = {157--194},
  rtnote = {Cantwell adopts an intermediate position:  Indicative
  		conditionals are true/false, but "gappy", and
		require "filling in with epsitemic conditions."},
  topic = {indicative-conditionals;conditionals;}
  }

@book{ cao_ty:1999a,
  editor = {Tian Yu Cao},
  title = {Conceptual Foundations of Quantum Field Theory},
  publisher = {Cambridge University Press},
  year = {1999},
  address = {Cambridge, England},
  ISBN = {052163152-1},
  topic = {philosophy-of-physics;quantum-field-theory;}
 }

@incollection{ capazzi-roncaglia:2009a,
  author = {Mirella Capazzi and Gino Roncaglia},
  title = {Logic and Philosophy of Logic from Humanism to Kant},
  booktitle = {The Development of Modern Logic},
  publisher = {Oxford University Press},
  year = {2009},
  editor = {Leila Haaparanta},
  pages = {78--158},
  address = {Oxford},
  topic = {history-of-logic;Leibniz;Kant;}
  }

@article{ capellen-dever:2001a,
  author = {Herman Capellen and Josh Dever},
  title = {Believing in Words},
  journal = {Synth\'ese},
  year = {2001},
  volume = {127},
  pages = {279--301},
  missinginfo = {number},
  topic = {propositional-attitudes;syntactic-attitudes;}
  }

@book{ capitan-merrill_dd:1967a,
  editor = {William H. Capitan and Daniel D. Merrill},
  title = {Art, Mind, and Religion},
  publisher = {University of Pittsburgh Press},
  year = {1967},
  address = {Pittsburgh},
  rtnote = {UMich Graduate Library B 20.012 1965.},
  topic = {analytic-philosophy;philosophy-of-mind;}
 }

@article{ caplan:2003a,
  author = {Ben Caplan},
  title = {Putting Things in Contexts},
  journal = {The Philosophical Review},
  year = {2003},
  volume = {112},
  number = {2},
  pages = {191--214},
  topic = {indexicals;contexts;demonstratives;philosophy-of-language;}
  }

@article{ cappelen:1999a,
  author = {Herman Cappelen},
  title = {Intentions in Words},
  journal = {No\^us},
  year = {1999},
  volume = {33},
  number = {3},
  pages = {92--102},
  topic = {philosophy-of-language;referring-expressions;reference;}
  }

@incollection{ cappelen:2008a,
  author = {Herman Cappelen},
  title = {The Creative Interpreter:  Content Relativism
     		and Assertion},
  booktitle = {Philosophical Perspectives 22, 2008: Philosophy of
  		Language},
  publisher = {Blackwell Publishers},
  year = {2008},
  editor = {John Hawthorne},
  pages = {23--46},
  address = {Oxford},
  topic = {assertion;context;}
  }

@article{ cappelen-lepore:1997a,
  author = {Herman Cappelen and Ernest Lepore},
  title = {The Varieties of Quotation},
  journal = {Mind, New Series},
  year = {1997},
  volume = {106},
  pages = {429--450},
  missinginfo = {number},
  topic = {direct-discourse;}
  }

@incollection{ cappelen-lepore:2003a,
  author = {Herman Cappelen and Ernie Lepore},
  title = {Context Shifting Arguments},
  booktitle = {Philosophical Perspectives 17: Language and Philosophical
  	Linguistics, 2003},
  publisher = {Blackwell Publishers},
  year = {2003},
  editor = {John Hawthorne and Dean Zimmerman},
  pages = {25--50},
  address = {Oxford},
  topic = {nl-semantics;context-sensitivity;indexicals;}
  }

@book{ cappelen-lepore:2005a,
  author = {Herman Cappelen and Ernest Lepore},
  title = {Insensitive Semantics: A Defense of
          Semantic Minimalism and Speech Act Pluralism},
  publisher = {Blackwell Publishers},
  year = {2005},
  address = {Oxford},
  xref = {Reviews: montminy:2006a, collins_j:2008a},
  topic = {context;foundations-of-semantics;}
 }

@incollection{ cappelen-lepore:2006a,
  author = {Herman Cappelen and Ernie Lepore},
  title = {Quotation, Context Sensitivity, Signs and Expressions},
  booktitle = {Philosophy of Language},
  publisher = {Blackwell Publishers},
  year = {2006},
  editor = {Ernest Sosa and Enrique Villanueva},
  pages = {43--64},
  address = {Oxford},
  topic = {direct-discourse;context;}
  }

@incollection{ cappellen-lepore:2005b,
  author = {Herman Cappellen and Ernest Lepore},
  title = {A Tall Tale: In Defense of Semantic Minimalism and Speech
  		Act Pluralism},
  booktitle = {Contextualism in Philosophy: Knowledge, Meaning, and Truth},
  publisher = {Oxford University Press},
  year = {2005},
  editor = {Gerhard Preyer and Georg Peter},
  pages = {197--219},
  address = {Oxford},
  topic = {context;philosophy-of-language;speech-acts;}
  }

@incollection{ carabello-charniak:1996a,
  author = {Sharon A. Carabello and Eugene Charniak},
  title = {Figures of Merit for
			Best-First Probabilistic Chart Parsing},
  booktitle = {Proceedings of the Conference on Empirical
		Methods in Natural Language Processing},
  publisher = {Association for Computational Linguistics},
  year = {1996},
  editor = {Eric Brill and Kenneth Church},
  pages = {127--132},
  address = {Somerset, New Jersey},
  topic = {parsing-algorithms;corpus-statistics;}
  }

@article{ carabello-charniak:1998a,
  author = {Sharon A. Carabello and Eugene Charniak},
  title = {New Figures of Merit for Best-First Probabilistic
  	Chart Parsing},
  journal = {Computational Linguistics},
  year = {1998},
  volume = {24},
  number = {2},
  pages = {275--298},
  topic = {probabilistic-parsers;}
  }

@book{ carberry_ms-etal:1979a,
  author = {M.S. Carberry and H.M. Khalil and J.F. Leathrum and
  	L.S. Levy},
  title = {Foundations of Computer Science},
  publisher = {Computer Science Press, Inc.},
  year = {1979},
  address = {Potomac, Maryland},
  ISBN = {0-914894-18-8},
  contentnote = {TC:
      1. Computer Science: Scientific and Historical Perspectives
      2. Problem Solving on Computers
      3. Programming Methodology
      4. Computer Systems -- An Overview
      5. Semiotics: Syntax, Semantics, and Pragmatics
      6. Control Structures
      7. Data Structures
      8. Numerical Applications
      9. Nonnumerical Applications
     10. Social Issues in Computing
     11. Artificial Intelligence
     12. Computer Software
     13. Interactive Computation
     14. Mathematical Models of Machines
     15. Programming a Pocket Calculator },
  topic = {cs-intro;}
}

@inproceedings{ carberry_s:1985a,
  author = {Sandra Carberry},
  title = {A Pragmatics Based Approach to Understanding Intersentential
  	Ellipsis},
  booktitle = {Proceedings of the 23rd Annual Meeting of the Association
  	for Computational Linguistics},
  address = {Chicago, Illinois},
  pages = {188--197},
  year = {1985},
  topic = {pragmatics;ellipsis;}
 }

@inproceedings{ carberry_s:1986a,
  author = {Sandra Carberry},
  title = {{TRACK:} Toward a Robust Natural Language Interface},
  booktitle = {Proceedings of the Sixth Canadian Conference on
  	Artificial Intelligence},
  address = {Montreal, Canada},
  pages = {84--88},
  year = {1986},
  topic = {nl-interpretation;nl-interfaces;}
 }

@inproceedings{ carberry_s:1986b,
  author = {Sandra Carberry},
  title = {User Models: The Problem of Disparity},
  booktitle = {Proceedings of the 11th International Conference on
  	Computational Linguistics},
  pages = {29--34},
  address = {Bonn, West Germany},
  year = {1986},
  topic = {nl-interpretation;user-modeling;}
 }

@techreport{ carberry_s:1989a,
  author = {Sandra Carberry},
  title = {A New Look at Plan Recognition in Natural Language Dialogue},
  institution = {Department of Computer Science, University of Delaware},
  address = {Newark, Delaware},
  year = {1989},
  number = {90--08},
  topic = {nl-interpretation;plan-recognition;}
 }

@article{ carberry_s:1989b,
  author = {Sandra Carberry},
  title = {A Pragmatics-Based Approach to Ellipsis Resolution},
  journal = {Computational Linguistics},
  volume = {15},
  number = {2},
  pages = {75--96},
  year = {1989},
  topic = {pragmatics;ellipsis;}
 }

@incollection{ carberry_s:1989c,
  author = {Sandra Carberry},
  title = {Plan Recognition and Its Use in
		Understanding Dialog},
  booktitle = {User Models in Dialog Systems},
  publisher = {Springer-Verlag},
  year = {1989},
  editor = {Alfred Kobsa and Wolfgang Wahlster},
  pages = {133--162},
  address = {Berlin},
  topic = {user-modeling;plan-recognition;discourse-interpretation;}
 }

@inproceedings{ carberry_s:1990a,
  author = {Sandra Carberry},
  title = {Incorporating Default Inferences Into Plan Recognition},
  booktitle = {Proceedings of the Eighth National Conference on
              Artificial Intelligence},
  year = {1990},
  editor = {Thomas Dietterich and William Swartout},
  pages = {472--479},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  rtnote = {pragmatics-course;},
  topic = {plan-recognition;pragmatics;nm-ling;}
  }

@inproceedings{ carberry_s:1990b,
  author = {Sandra Carberry},
  title = {A Model of Plan Recognition that Facilitates Default Inferences},
  booktitle = {Proceedings of the Second International Workshop
  	on User Modeling},
  address = {Honolulu, Hawaii},
  year = {1990},
  topic = {plan-recognition;nonmonotonic-reasoning;nm-ling;}
 }

@book{ carberry_s:1990c,
  author = {Sandra Carberry},
  title = {Plan Recognition in Natural Language Dialogue},
  publisher = {The {MIT} Press},
  year = {1990},
  address = {Cambridge, Massachusetts},
  rtnote = {Chapter 2 In RHT collection.  CL Course files.},
  rtnote = {Reading notes on file.},
  rtnote = {pragmatics-course;},
  topic = {plan-recognition;discourse;nl-interpretation;
  	pragmatics;}
 }

@article{ carberry_s-lambert_k:1999a,
  author = {Sandra Carberry and Lynn Lambert},
  title = {A Process Model for Recognizing Communicative
  	Acts and Modeling Negotiation Subdialogues},
  journal = {Computational Linguistics},
  year = {1999},
  volume = {25},
  number = {1},
  pages = {1--53},
  topic = {discourse-modeling;speech-act-recognition;
  	negotiation-subdialogs;computational-dialogue;}
  }

@article{ carbonell:1980a,
  author = {Jaime Carbonell},
  title = {Default Reasoning and Inheritance Mechanisms of Type Hierarchies},
  journal = {Communications of the {ACM}},
  pages = {107--109},
  year = {1980},
  missinginfo = {volume, number  Check this reference.},
  rtnote = {In RHT collection.},
  topic = {inheritance-theory;}
 }

@article{ carbonell:1980b,
  author = {Jaime G. Carbonell},
  title = {Towards a Process Model of Human Personality Traits},
  journal = {Artificial Intelligence},
  year = {1980},
  volume = {15},
  number = {1--2},
  pages = {49--74},
  acontentnote = {Abstract:
     A goal-based analysis of human personality traits is presented
     with the objective of developing a comprehensive simulation
     model. It is shown that understanding trait attributions is an
     integral part of story comprehension and therefore much of
     natural language processing. The model of personality traits is
     derived from the goal trees in the POLITICS system, the notion
     of social prototypes, and planning/counterplanning strategies.
     It is argued that the goal-expectation setting, created from an
     analysis of personality traits attributed to actors in a story,
     establishes a best-first evaluation criterion that makes more
     tractable the search problem inherent in story understanding.
  },
  topic = {personality-simulation;}
  }

@article{ carbonell:1981a,
  author = {Jaime G. Carbonell},
  title = {Counterplanning: A Strategy-Based Model of Adversary
  	Planning in Real-World Situations},
  journal = {Artificial Intelligence},
  year = {1981},
  volume = {16},
  number = {3},
  pages = {295--329},
  topic = {strategic-planning;}
  }

@techreport{ carbonell:1981b,
  author = {Jaime G. Carbonell},
  title = {Metaphor Comprehension},
  institution = {Department of Computer Science, Carnegie-Mellon
  	University},
  number = {CMU--CS--81--115},
  year = {1981},
  address = {Pittsburgh},
  rtnote = {In RHT collection.},
  rtnote = {In RHT collection.},
  topic = {metaphor;}
  }

@inproceedings{ carbonell:1983a,
  author = {Jaime Carbonell},
  title = {Derivational Analogy in Problem Solving and Knowledge
  	Acquisition},
  booktitle = {Proceedings of the International Machine Learning
  	Workshop},
  year = {83},
  pages = {12--18},
  missinginfo = {editor, publisher, address},
  topic = {analogy;analogical-reasoning;}
  }

@incollection{ carbonell:1983b,
  author = {Jaime Carbonell},
  title = {Learning by Analogy.  Formulating and Generalizing
  	Plans from Past Experience},
  booktitle = {Machine Learning, a Artificial Intelligence Approach},
  publisher = {Tioga Press},
  year = {1983},
  editor = {R. Michalski and J. Carbonell and T. Mitchell},
  address = {Palo Alto, California},
  missinginfo = {E's 1st name, pages},
  topic = {analogy;machine-learning;}
  }

@article{ carbonell:1989a,
  author = {Jaime G. Carbonell},
  title = {Introduction: Paradigms for Machine Learning},
  journal = {Artificial Intelligence},
  year = {1989},
  volume = {40},
  number = {1--3},
  pages = {1--9},
  topic = {machine-learning;}
  }

@book{ carbonell:1989b,
  editor = {Jaime G. Carbonell},
  title = {Machine Learning: Paradigms and Methods},
  publisher = {The {MIT} Press},
  year = {1989},
  address = {Cambridge, Massachusetts},
  topic = {machine-learning;}
 }

@techreport{ carbonell-minton:1983a,
  author = {Jaime G. Carbonell and Steven Minton},
  title = {Metaphor and Common-Sense Reasoning},
  institution = {Carnegie-Mellon University},
  number = {CMU--CS--83--110},
  year = {1983},
  address = {Pittsburgh},
  rtnote = {In RHT collection.},
  topic = {metaphor;common-sense-reasoning;}
  }

@book{ card-etal:1983a,
  author = {Stuart K. Card and Thomas P. Moran and Allen Newell},
  title = {The Psychology of Human-Computer Interaction},
  publisher = {Lawrence Erlbaum Associates},
  year = {1983},
  address = {Hillsdale, New Jersey},
  ISBN = {0898592437},
  rtnote = {UMich Media Union Library, QA76.9.I58 C371 1983.},
  topic = {HCI;cognitive-psychology;}
 }

@article{ carden:1970a,
  author = {Guy Carden},
  title = {A Note on Confliction Idiolects},
  journal = {Linguistic Inquiry},
  year = {1970},
  volume = {1},
  number = {3},
  pages = {281--290},
  topic = {nl-quantifier-scope;empirical-methods-in-linguistics;}
  }

@article{ carden:1977a,
  author = {Guy Carden},
  title = {Comparatives and Factives},
  journal = {Linguistic Inquiry},
  year = {1977},
  volume = {8},
  number = {3},
  pages = {586--590},
  topic = {(counter)factive-constructions;indirect-discourse;}
  }

@book{ carden-dieterich:1976a,
  author = {Guy Carden and Thomas G. Dieterich},
  title = {Coreference Evidence for a Transformationalist Analysis
  	of Nominals},
  publisher = {Indiana University Linguistics Club},
  year = {1976},
  address = {310 Lindley Hall, Bloomington, Indiana},
  rtnote = {In RHT collection.},
  topic = {transformational-grammar;nominalization;}
 }

@incollection{ cardie:1996a,
  author = {Claire Cardie},
  title = {Automating Feature Set Selection for Case-Based
			Learning of Linguistic Knowledge},
  booktitle = {Proceedings of the Conference on Empirical
		Methods in Natural Language Processing},
  publisher = {Association for Computational Linguistics},
  year = {1996},
  editor = {Eric Brill and Kenneth Church},
  pages = {113--126},
  address = {Somerset, New Jersey},
  topic = {machine-language-learning;}
  }

@article{ cardie:1998a,
  author = {Claire Cardie},
  title = {Empirical Methods in Information Extraction},
  journal = {The {AI} Magazine},
  year = {1998},
  volume = {18},
  number = {4},
  pages = {65--79},
  topic = {machine-learning;intelligent-information-retrieval;
		computational-linguistics;}
  }

@book{ cardie-etal:2000a,
  editor = {Claire Cardie and Walter Daelemans and Claire N\'edellec
  	and Erik Tjong Kim Sang},
  title = {Proceedings of the Fourth Conference on Computational
  	Natural Language Learning and of the Second Learning Language
	in Logic Workshop, {L}isbon, 2000},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  address = {Somerset, New Jersey},
  rtnote = {In RHT collection.  ACL Shelves.},
  contentnote = {TC:
     1. Dan Roth, "Learning in Natural Language: Theory and
     	     Algorithmic Approaches", pp. 1--6
     2. Nicola Cancedda and Christer Samuelson, "Corpus-Based
     	     Grammar Specialization", pp. 7--12
     3. R.I. Damper and Y. Marchand, "Pronunciation by Analogy in
     	     Normal and Impaired Readers", pp. 13--18
     4. Guy de Pauw and Walter Daelemans, "The Role of Algorithm
             Bias vs. Information Source in Learning Algorithms
	     for Morphosyntactic Disambiguation", pp. 19--24
     5. John Elliott and Eric Antwell and Bill Whyte, "Increasing
     	     our Ignorance of Language: Identifying Language
	     Structure in an Unknown `Signal'\,", pp. 25--30
     6. Gerard Escudero and LLu\'is M\`arquez and German Rigau, "A
     	     Comparison between Supervised Learning Algorithms
	     for Word Sense Disambiguation", pp. 31--36
     7. George Foster, "Incorporating Position Information into a
     	     Maximum Entropy/Minimum Divergence Translation
	     Model", pp. 37--42
     8. Guido Minnen and Francis Bond and Ann Copestake, "Memory-Based
     	    Learning for Article Generation", pp. 43--48
     9. Tony Mullen and Miles Osborne, "Overfitting Avoidance for
	    Stochastic Modeling of Attribute-Value Grammars", pp. 49--54
    10. Stephen Raaijmakers, "Learning Distributed Linguistic
            Classes", pp. 55--60
    11. William Gregory Sakas, "Modeling the Effect of Cross-Language
    	    Ambiguity on Human Syntax Acquisition", pp. 61--66
    12. Patrick Schone and Daniel Jurafsky, "Knowledge-Free Induction
            of Morphology Using Latent Semantic Analysis", pp. 67--72
    13. Antal van den Bosch, "Using Induced Rules as Complex Features
            in Memory-Based Language Learning", pp. 73--78
    14. F. Amaya and J.M. Bened\'i, "Using Perfect Sampling in Parameter
            Estimation of a Whole Sentence Maximum Entropy Language
	    Model", pp. 79--82
    15. Konstantin Biatov, "Experiments on Unsupervised Learning for
            Extracting Relevant Fragments from Spoken Dialog
            Corpus", pp. 83--86
    16. Laurent Blin and Laurent Miclet, "Generating Synthetic Speech
            Prosody with Lazy Learning in Tree Structures", pp. 87--90
    17. Alexander Clark, "Inducing Syntactic Categories by Context
            Distribution Clustering", pp. 91--94
    18. Herv\'e D\'ejean, "{ALLiS}: A Symbolic Learning System for
            Natural Language Learning", pp. 95--98
    19. Jos\'e M. G\'omez Hidalgo and Enrique Puertas Sanz, "Combining
    	    Text and Heuristics for Cost-Sensitive Spam
            Filtering", pp. 99--102
    20. Anne Kool and Walter Daelemans and Jakub Zavrel, "Genetic
            Algorithms for Feature Relevance Assignment in Memory-Based
	    Language Processing", pp. 103--106
    21. Vasin Punyakanok and Dan Roth, "Shallow Parsing by Inferencing
    	    with Classifiers", pp. 107--110
    22. Patrick Ruch and Robert Baud and Pierette Bouillon and Gilbert
    	    Robert, "Minimal Commitment and Full Lexical Disambiguation:
	    Balancing Rules and Hidden {M}arkov Models", pp. 111--114
    23. J. Turmo and H. Rodr\'iguez, "Learning {IE} Rules for a Set
    	    of Related Concepts", pp. 115--118
    24. Hans van Halterin, "A Default First Order Family Weight
    	    Determination Procedure for {WPDV} Models", pp. 119--122
    25. Jose Luis Verd\'u-Mas and Jorge Calera-Rubio and Rafael
            C. Carrasco, "A Comparison of {PCFG} Models", pp. 123--125
    26. Erik Tjong Kim Sang and Sabine Buchholz, "Introduction to
            the {CoNLL-200} Shared Task: Chunking", pp. 127--132
    27. Herv\'e D\'ejean, "Learning Syntactic Structures with
    	    {XML}", pp. 133--135
    28. Christer Johansson, "A Context Sensitive Maximum Likelihood
    	    Approach to Chunking", 136--138
    29. Rob Koeling, "Chunking with Maximum Entropy Models", pp. 139--141
    30. Taku Kodeh and Yuji Matsumoto, "Use of Support Vector
    	    Learning for Chunk Identification", pp. 142--144
    31. Miles Osborne, "Shallow Parsing as Part-of-Speech
    	    Tagging", pp. 145--147
    32. Ferran Pla and Antonio Molina and Natividad Prieto, "Improving
            Chunking by Means of Lexical-Contextual Information in
	    Statistical Language Models", pp. 148--150
    33. Erik Tjong Kim Sang, "Text Chunking by System
    	    Combination", pp. 151--153
    34. Hans van Halterin, "Chunking with {WPDV} Models", pp. 154--156
    35. Jorn Veenstra and Antel van den Bosch, "Single-Classifier
            Memory-Based Phrase Chunking", pp. 157--159
    36. Marc Vilain and David Day, "Phrase Parsing with Rule Sequence
            Processors: An Application to the Shared
            {CoNLL} Task", pp. 160--162
    37. GuoDong Zhou and Jian Su and TongGuan Tey, "Hybrid Text
    	    Chunking", pp. 163--165
    38. J\"org-Uwe Kietz and Raphael Volz and Alexander
            Maedche, "Extracting a Domain-Specific Ontology from
	    a Corporate Intranet", pp. 167--175
    39. Pieter Adriaans and Erik de Haas, "Learning from a
    	    Substructural Perspective", pp. 176--183
    40. James Cussens and Stephen Pulman, "Incorporating Linguistics
    	    Constraints into Inductive Logic Programming", pp. 184--193
    41. F. Esposito and S. Ferelli and N. Fanizzi and G.
    	    Semeraro, "Learning from Parsed Sentences with
	    {INTHELEX}", pp. 194--198
    42. Pascale S\'ebillot and Pierette Bouillon and C\'ecile
    	    Fabre, "Inductive Logic Programming for Corpus-Based
            Acquisition of Semantic Lexicons", pp. 199--208
    43. Aline Villavicencio, "The Acquisition of Word Order by a
    	    Computational Learning System", pp. 209--218
    44. Eva \v{Z}a\v{c}kov\'a and Lobo\v{s} Popelinsk\'y and
            Milo\v{s} Nepil, "Recognition and Tagging of Compound
	    Verb Groups in {C}zech", pp. 219--225
 },
  topic = {language-learning;grammar-learning;machine-language-learning;}
 }

@inproceedings{ cardie-pierce_d:1998a,
  author = {Claire Cardie and David Pierce},
  title = {Error-Driven Pruning of Treebank Grammars for Base Noun
  	Phrase Identification},
  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 = {218--224},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {corpus-tagging;information-extraction;}
}

@book{ cardie-weischedel:1997a,
  editor = {Claire Cardie and Ralph Weischedel},
  title = {Proceedings of the Second Conference on Empirical
		Methods in Natural Language Processing},
  publisher = {Association for Computational Linguistics},
  year = {1997},
  address = {Somerset, New Jersey},
  rtnote = {In RHT collection.},
  contentnote = {TC:
     1. Adwait Ratnaparkhi, "A Linear Observed Time Statistical Parser
	      Based on Maximal Entropy Models"
     2. Joshua Goodman, "Global Thresholding and Multiple-Pass
	      Parsing"
     3. Carolyn Penstein Ros\'e and Alon Lavie, "An Efficient
              Distribution of Labor in a Two Stage Robust
              Interpretation Process"
     4. Doug Beeferman and Adam Berger and John Lafferty, "Text
              Segmentation Using Exponential Models"
     5. Korin Richmond and Andrew Smith and Einat Amitay, "Detecting
              Subject Boundaries within Text: A Language Independent
              Statistical Approach"
     6. Ido Dagan and Yale Kerov and Dan Roth, "Mistake-Driven
              Learning in Text Categorization"
     7. Thorstein Brants and Wojciech Skut and Brigitte Krenn,
             "Tagging Grammatical Functions"
     8. Jo Calder, "On Aligning Trees"
     9. Lawrence Saul and Fernando Pereira, "Aggregate and Mixed-Order
             {M}arkov Models for Statistical Language Processing"
    10. Erika F. de Lima, "Assigning Grammatical Relations with a
             Back-Off Model"
    11. I. Dan Melamed, "Automatic Discovery of Non-Compositional
             Compounds in Parallel Data"
    12. Scott W. Bennett and Chinatsu Aone and Craig Lovell, "
             Learning to Tag Multilingual Texts through Observation"
    14. Ellen Riloff and Jessica Shepherd, "A Corpus-Based Approach
	     for Building Semantic Lexicons"
    15. Roberto Basili and Gianluca de Rossi and Maria Teresa
             Pazienza, "Inducing Terminology for Lexical Acquisition"
    16. Paul Thompson and Christopher C. Dozier, "Name Searching
             and Information Retrieval"
    17. K.L. Kwock, "Lexicon Effects on {C}hinese Information
	     Retrieval"
    18. Paola Merlo and Matthew W. Crocker and Cathy Berthouzoz,
             "Attaching Multiple Prepositional Phrases: Generalized
             Back-Off Estimation"
    19. Eric V. Siegel, "Learning Methods for Combining Linguistic
             Indicators to Classify Verbs"
    20. Andrew Kehler, "Probabilistic Coreference in Information
             Extraction"
    21. Janyce Wiebe and Tom O'Hara and Kenneth McKeever and
             Thorsten \"Ohrstr\"m-Sandgren, "An Empirical Approach
             to Temporal Reference Resolution"
    22. Ji Donghong and Huang Changning, "Word Sense Disambiguation
             Based on Structured Semantic Space"
    23. Ted Pedersen and Rebecca Bruce, "Distinguishing Word Senses
             in Untagged Text"
    24. Hwee Tou Ng, "Exemplar-Based Word Sense Disambiguation: Some
             Recent Improvements"
    },
  topic = {empirical-methods-in-nlp;}
 }

@incollection{ cardona-etal:1991a,
  author = {L. Cardona and J. Kohlas and P.A. Monney},
  title = {The Reliability of Reasoning with Unreliable Rules
  	and Propositions},
  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 = {125--129},
  address = {Berlin},
  topic = {Dempster-Shafer-theory;reasoning-about-uncertainty;}
  }

@article{ cardoso-etal:2009a,
  author = {Amilcar Cardoso and Tony Veale and Geraint A. Wiggins},
  title = {Converging on the Divergent:  {T}he History (and Future)
  		of the International Joint Workshops in Computational
		Creativity},
  journal = {The {AI} Magazine},
  year = {2009},
  volume = {30},
  number = {3},
  pages = {15--22},
  topic = {computational-creativity;}
  }

@book{ care-landesman:1968a,
  editor = {Norman S. Care and Charles Landesman},
  title = {Readings in the Theory of Action},
  publisher = {Indiana University Press},
  year = {1968},
  address = {Bloomington, Indiana},
  rtnote = {HILLMAN BD450 .C28},
  topic = {philosophy-of-action;}
 }

@inproceedings{ carenini-moore_jd:1998a,
  author = {Giuseppe Carenini and Johanna D. Moore},
  title = {Multimedia Explanations in {IDEA} Decision Support System},
  booktitle = {Working Notes of the {AAAI} Spring Symposium on
 	Interactive and Mixed-Initiative Decision Theoretic Systems},
  year = {1998},
  organization = {American Association for Artificial Intelligence},
  publication = {American Association for Artificial Intelligence},
  address = {Menlo Park, CA},
  editor = {Peter Haddawy and Steve Hanks},
  pages = {16--22},
  rtnote = {In RHT Collection.},
  missinginfo = {pages},
  topic = {preference-modeling;explanation;mixed-initiative-systems;}
 }

@article{ carenini-moore_jd:2006a,
  author = {Giuseppe Carenini and Johanna D. Moore},
  title = {Generating and Evaluating Evaluative Arguments},
  journal = {Artificial Intelligence},
  year = {2006},
  volume = {170},
  number = {11},
  pages = {925--952},
  topic = {n;-generation;argumentation;preferences;}
  }

@incollection{ carenini-poole:2002a,
  author = {Giuseppe Carenini and David Poole},
  title = {Constructed Preferences and Value-Focussed Thinking:
  	Implications for AI Research on Preference Elicitation},
  booktitle = {Preferences in {AI} and {CP}: Symbolic Approaches},
  publisher = {AAAI Press},
  year = {2002},
  editor = {Ulrich Junker},
  pages = {9--15},
  address = {Menlo Park, California},
  topic = {qualitative-utility;preference-elicitation;}
  }

@book{ carey_jm:1995a,
  editor = {Jane M. Carey},
  title = {Human Factors In Information Systems: Emerging Theoretical
  		Bases},
  publisher = {Ablex Pub. Corp.},
  year = {1995},
  address = {Norwood, New Jersey},
  ISBN = {0893919403 (cl)},
  rtnote = {UMich Graduate Library, QA 76.9 .H85 H8671 1995.},
  topic = {HCI;}
 }

@incollection{ carey_s:1978a,
  author = {Susan Carey},
  title = {The Child as Word Learner},
  booktitle = {Linguistic Theory and Psychological Reality},
  publisher = {The {MIT} Press},
  year = {1978},
  editor = {Morris Halle and Joan Bresnan and George A. Miller},
  pages = {264--293},
  address = {Cambridge, Massachusetts},
  topic = {lexical-acquistion;}
  }

@book{ carey_s:1985a,
  author = {Susan Carey},
  title = {Conceptual Change in Childhood},
  publisher = {The {MIT} Press},
  year = {1985},
  address = {Cambridge, Massachusetts},
  ISBN = {0262031108},
  rtnote = {UMich Graduate Library, BF723.C5 C3651 1985.},
  topic = {developmental-psychology;concept-formation;}
 }

@article{ carey_s:2009a,
  author = {Susan Carey},
  title = {Where Our Number Concepts Come From},
  journal = {The Journal of Philosophy},
  year = {2009},
  volume = {106},
  number = {4},
  pages = {220--254},
  topic = {psychology-of-mathematics;developmental-psychology;}
  }

@book{ carey_s-gelman:1991a,
  editor = {Susan Carey and Rochel Gelman},
  title = {The Epigenesis of Mind: Essays on Biology and Cognition},
  publisher = {Lawrence Erlbaum Associates},
  year = {1991},
  address = {Hillsdale, New Jersey},
  ISBN = {0805804382},
  contentnote = {TC:
     1. C.R. Gallistel, Ann L. Brown, Susan Carey, Rochel Gelman, and
     		Frank C. Keil, "Biological contributions to
		cognition--Lessons from animal learning for the study
		of cognitive development"
     2. Peter Marler, "The instinct to learn"
     3. Adele Diamond, "Neuropsychological insights into the meaning
     		of object concept development"
     4. Elissa L.  Newport, "Contrasting concepts of the critical
     		period for language"
     5. Elizabeth S. Spelke, "Innate knowledge and beyond. Physical
     		knowledge in infancy: reflections on Piaget's
		theory"
     6.  Annette Karmiloff-Smith, "Beyond modularity : innate
     		constraints and developmental change"
     7. Kurt W. Fischer and Thomas Bidell, "Constraining nativist
     		inferences about cognitive capacities"
     8. Frank C. Keil, "The emergence of theoretical beliefs as
     		constraints on concepts"
     9. Susan Carey, "Knowledge acquisition : enrichment or
     		conceptual change?"
    10. Rochel Gelman., "Epigenetic foundations of knowledge
    		structures : initial and transcendent constructions"
  },
  rtnote = {UMich Graduate Library, BF 311 .E5851 1991.},
  topic = {developmental-psychology;biopsychology;}
 }

@article{ cargile:1967a,
  author = {James Cargile},
  title = {The Surprise Test Paradox},
  journal = {The Journal of Philosophy},
  year = {1967},
  volume = {64},
  number = {21},
  pages = {550--563},
  topic = {surprise-examination-paradox;}
  }

@article{ cargile:1969a1,
  author = {James Cargile},
  title = {The Sorites Paradox},
  journal = {British Journal for the Philosophy of Science},
  year = {1969},
  volume = {20},
  pages = {193--202},
  missinginfo = {number},
  xref = {Republication: cargile:1969a1.},
  topic = {vagueness;sorites-paradox;}
  }

@incollection{ cargile:1969a2,
  author = {James Cargile},
  title = {The Sorites Paradox},
  booktitle = {Vagueness: A Reader},
  publisher = {The {MIT} Press},
  year = {1997},
  editor = {Rosanna Keefe and Peter Smith},
  pages = {89--98},
  address = {Cambridge, Massachusetts},
  xref = {Republication of cargile:1969a1.},
  topic = {vagueness;sorites-paradox;}
  }

@incollection{ carl_m:1998a,
  author = {Michael Carl},
  title = {A Constructivist Approach to Machine Translation},
  booktitle = {Proceedings of the Joint Conference on New Methods in
  	Language Processing and Computational Language Learning},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {David M.W. Powers},
  pages = {247--256},
  address = {Somerset, New Jersey},
  topic = {machine-translation;}
  }

@incollection{ carl_m-schmidtwigger:1998a,
  author = {Michael Carl and Antje Schmidt-Wigger},
  title = {Shallow Post Morphological Processing with {KURD}},
  booktitle = {Proceedings of the Joint Conference on New Methods in
  	Language Processing and Computational Language Learning},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Jill C. Burstein and Claudia Leacock},
  pages = {257--265},
  address = {Somerset, New Jersey},
  topic = {computational-morphology;}
  }

@incollection{ carl_m-schmidtwiggerw:1998a,
  author = {Michael Carl and Antje Schmidt-Wigger},
  title = {Shallow Post Morphological Processing with {KURD}},
  booktitle = {New Methods in Language Processing and Computational
  		Language Learning},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {David M.W. Powers},
  pages = {257--265},
  address = {Somerset, New Jersey},
  topic = {computational-morphology;}
  }

@book{ carl_m-way:2003a,
  editor = {Michael Carl and Andy Way},
  title = {Recent Advances in Example-Based Machine Translation},
  publisher = {Kluwer Academic Publishers},
  year = {2003},
  address = {Dordrecht},
  ISBN = {1-4020-1400-7},
  xref = {Review: daelemans:2004a.},
  topic = {machine-translation;}
 }

@book{ carl_w:1994a,
  author = {Wolfgang Carl},
  title = {Frege's Theory of Sense and Reference: Its Origin and
  	Scope},
  publisher = {Cambridge University Press},
  year = {1994},
  address = {Cambridge, England},
  topic = {Frege;intensionality;}
 }

@article{ carleton:1984a,
  author = {Lawrence R. Carleton},
  title = {Programs, Language Understanding, and {S}earle},
  journal = {Synth\'ese},
  year = {1984},
  volume = {59},
  number = {2},
  pages = {219--230},
  topic = {philosophy-AI;foundations-of-cognition;}
  }

@article{ carletta:1996a,
  author = {Jean Carletta},
  title = {Assessing Agreement on Classification Tasks: The Kappa
  	Statistic},
  journal = {Computational Linguistics},
  year = {1996},
  volume = {22},
  number = {2},
  pages = {249--255},
  topic = {corpus-tagging;}
  }

@article{ carletta-etal:1997a,
  author = {Jean Carletta and Amy Isard and Stephen Isard and
  	Jacqueline C. Kowtko and Gwynewth Doherty-Sneddon and Anne H.
	Anderson},
  title = {The Reliability of a Dialogue Structure Coding Scheme},
  journal = {Computational Linguistics},
  year = {1997},
  volume = {23},
  number = {1},
  pages = {13--31},
  topic = {discourse-structure;corpus-tagging;corpus-linguistics;
  	pragmatics;}
  }

@incollection{ carletta-isard:1999a,
  author = {Jean Carletta and Amy Isard},
  title = {The {MATE} Annotation Workbench: User Requirements},
  booktitle = {Towards Standards and Tools for Discourse Tagging:
  	Proceedings of the Workshop},
  publisher = {Association for Computational Linguistics},
  year = {1999},
  editor = {Marilyn Walker},
  pages = {11--17},
  address = {Somerset, New Jersey},
  topic = {discourse-tagging;computational-dialogue;}
  }

@book{ carlson_e:1995a,
  author = {Erik Carlson},
  title = {Consequentialism Reconsidered},
  publisher = {Kluwer Academic Publishers},
  year = {1995},
  series = {Theory and Decision Library, Series A:
              Philosophy and Methodology of the Social
              Sciences},
  volume = {20},
  topic = {consequentialism;ethics;}
    }

@inproceedings{ carlson_g-pelletier:2000a,
  author = {Greg Carlson and F. Jeffrey Pelletier},
  title = {Average Noun Phrases},
  booktitle = {Proceedings from Semantics and Linguistic Theory {X}},
  publisher = {Cornell University},
  year = {2000},
  editor = {Brendan Jackson and Tanya Matthews},
  pages = {17--26},
  address = {Ithaca, New York},
  topic = {nl-semantics;reference-gaps;}
  }

@article{ carlson_gn:1977a,
  author = {Greg N. Carlson},
  title = {A Unified Analysis of the {E}nglish Bare Plural},
  journal = {Linguistics and Philosophy},
  year = {1977},
  volume = {1},
  number = {3},
  pages = {413--456},
  topic = {generics;i-level/s-level;}
 }

@phdthesis{ carlson_gn:1977b,
  author = {Gregory N. Carlson},
  title = {Reference to Kinds in {E}nglish},
  school = {Linguistics Department, University of Massachusetts},
  year = {1977},
  address = {Amherst, Massachusetts},
  xref = {Book publication: carlson_gn:1980a.},
  topic = {generics;nl-semantics;}
  }

@article{ carlson_gn:1979a,
  author = {Greg N. Carlson},
  title = {Generics and Atemporal {\em When}},
  journal = {Linguistics and Philosophy},
  year = {1979},
  volume = {3},
  number = {1},
  pages = {49--98},
  topic = {nl-semantics;generics;conditionals;}
  }

@book{ carlson_gn:1980a,
  author = {Greg N. Carlson},
  title = {Reference to Kinds in {E}nglish},
  publisher = {Garland Publishing Company},
  year = {1980},
  address = {New York},
  xref = {Ph.{D}. thesis: carlson_gn:1977b.},
  topic = {generics;nl-semantics;}
 }

@article{ carlson_gn:1982a,
  author = {Greg N. Carlson},
  title = {Generic Terms and Generic Sentences},
  journal = {Journal of Philosophical Logic},
  year = {1982},
  volume = {11},
  number = {2},
  pages = {145--182},
  topic = {generics;}
 }

@article{ carlson_gn:1983a,
  author = {Greg N. Carlson},
  title = {Logical Form: Types of Evidence},
  journal = {Linguistics and Philosophy},
  year = {1983},
  volume = {6},
  number = {3},
  pages = {295--317},
  topic = {logical-form;foundations-of-semantics;
  	linguistics-methodology;}
  }

@article{ carlson_gn:1984a,
  author = {Greg N. Carlson},
  title = {On the Role of Thematic Roles in Linguistic Theory},
  journal = {Linguistics},
  year = {1984},
  volume = {22},
  pages = {259--279},
  missinginfo = {number},
  rtnote = {semantics-course;},
  topic = {thematic-roles;}
  }

@article{ carlson_gn:1984b,
  author = {Greg N. Carlson},
  title = {Thematic Roles and Their Role in Semantic Interpretation},
  journal = {Linguistics},
  year = {1984},
  volume = {22},
  missinginfo = {number, pages, date?  Cld be 85},
  rtnote = {semantics-course;},
  topic = {nl-semantics;thematic-roles;}
  }

@article{ carlson_gn:1985a,
   author = {Greg N. Carlson},
   title = {Review of \emph{{S}emantics and Cognition}, by {R}ay
   	{J}ackendoff},
   journal = {Linguistics and Philosophy},
   year = {1985},
   volume = {8},
   number = {4},
   pages = {505--519},
   xref = {Review of jackendoff:1983a.},
   topic = {cognitive-semantics;}
  }

@article{ carlson_gn:1987a,
  author = {Greg N. Carlson},
  title = {Same and Different: Some Consequences for Syntax and
  	Semantics},
  journal = {Linguistics and Philosophy},
  year = {1987},
  volume = {10},
  number = {4},
  pages = {531--565},
  topic = {events;nl-semantics;sameness/difference;}
  }

@incollection{ carlson_gn:1988a,
  author = {Greg N. Carlson},
  title = {On the Semantic Composition of {E}nglish Generic Sentences},
  booktitle = {Properties, Types and Meaning, Vol. 2},
  year = {1988},
  editor = {Gennaro Chierchia and Barbara Partee and Raymond Turner},
  publisher = {Kluwer Academic Publishers},
  pages = {167--193},
  address = {Dordrecht},
  topic = {nl-semantics;generics;}
  }

@article{ carlson_gn:1991a,
  author = {Greg N. Carlson},
  title = {Review of \emph{{M}eaning and Grammar: An Introduction to
  	Semantics}, by {G}ennaro {C}hierchia and {S}ally
	{M}c{C}onnell-{G}inet},
  journal = {Language},
  year = {1991},
  volume = {67},
  number = {4},
  pages = {805--813},
  rtnote = {semantics-course;},
  topic = {nl-semantics;}
  }

@incollection{ carlson_gn:1995a,
  author = {Gregory N. Carlson},
  title = {Truth Conditions of Generic Sentences: Two Contrasting
		Views},
  booktitle = {The Generic Book},
  publisher = {Chicago University Press},
  year = {1995},
  editor = {Gregory Carlson and Francis Jeffry Pelletier},
  pages = {224--237},
  address = {Chicago, IL},
  topic = {generics;}
  }

@book{ carlson_gn-pelletier:1995a,
  editor = {Greg N. Carlson and Francis Jeffry Pelletier},
  title = {The Generic Book},
  publisher = {Chicago University Press},
  year = {1995},
  address = {Chicago, IL},
  contentnote = {TC:
  	1.  Manfred Krifka and Francis Jeffry Pelletier and Gregory
		N. Carlson and Alice ter Meulen and Gennaro Chierchia
		and Godehard Link, "Genericity: An
		Introduction", pp.  1--124
	2.  Angelika Kratzer, "Stage-Level and Individual-Level
		Predicates", pp. 125--175
	3.  Gennaro Chierchia, "Individual-Level Predicates as Inherent
		Generics", pp.176--223
	4.  Gregorn N. Carlson, "Truth Conditions of Generic
		Sentences: Two Contrasting Views", pp. 224--237
	5.  Manfred Krifka, "Focus and the Interpretation of Generic
		Sentences", pp.238--264
	6.  Mats Rooth, "Indefinites, Adverbs of Quantification, and Focus
		Semantics", pp. 265--299
	7.  Nicholas Asher and Michael Morreau, "What Some Generic
		Sentences Mean", pp. 300--338
	8.  Alice ter Meulen, "Semantic Constraints on Type-Shifting
		Anaphora", pp. 339--357
	9.  Godehard Link, "Generic Information and Dependent
		Generics", pp. 358--397
	10. Karina Wilkinson, "The Semantics of the Common Noun
		`Kind'\,", pp. 383--397
	11. Manfred Krifka, "Common Nouns: A Contrastive Analysis of
		{E}nglish and {C}hinese", pp. 398--411
	12. \"Osten Dahl, "The Marking of the Episodic/Generic Distinction in
		Tense-Aspect Systems", pp. 412--425
   },
  topic = {generics;}
 }

@article{ carlson_gn-spejewski:1997a,
  author = {Greg N. Carlson and Beverly Spejewski},
  title = {Generic Passages},
  journal = {Natural Language Semantics},
  year = {1997},
  volume = {5},
  number = {2},
  pages = {101--165},
  topic = {generics;discourse;pragmatics;}
  }

@incollection{ carlson_l:1994a,
  author = {Lauri Carlson},
  title = {Plural Quantifiers and Informational Independence},
  booktitle = {Intensional Logic:  Theory and Applications},
  publisher = {The Philosophical Society of Finland},
  year = {1994},
  editor = {Ilkka Niiniluoto and Esa Saarinen},
  pages = {163--174},
  address = {Helsinki},
  topic = {plural;}
  }

@incollection{ carlson_l-termeulen:1979a,
  author = {Lauri Carlson and Alice ter Meulen},
  title = {Informational Independence in Intensional Context},
  booktitle = {Essays in Honor of {J}aakko {H}intikka},
  publisher = {D. Reidel Publishing Co.},
  year = {1979},
  editor = {Esa Saarinen and Risto Hilpinen and Ilkka Niiniluoto and
  	Merrill Province Hintikka},
  pages = {61--72},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {branching-quantifiers;}
  }

@article{ carlsson-vandamme:1993a,
  author = {H. Carlsson and E. {van Damme}},
  title = {Global Games and Equilibrium Selection},
  journal = {Econometrica},
  year = {1993},
  volume = {61},
  pages = {989--1018},
  missinginfo = {A's 1st name, number},
  topic = {game-theory;mutual-belief;Nash-equilibria;}
  }

@article{ carlstrom:1975a,
  author = {Ian F. Carlstrom},
  title = {Truth and Entailment for a Vague Quantifier},
  journal = {Synth\'ese},
  year = {1975},
  volume = {30},
  pages = {461--495},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {vagueness;}
  }

@article{ carlstrom:1990a,
  author = {Ian F. Carlstrom},
  title = {A Truth-Functional Logic for Near-Universal Generalizations},
  journal = {Journal of Philosophical Logic},
  year = {1990},
  volume = {19},
  number = {4},
  pages = {379--405},
  topic = {generalized-quantifiers;exception-constructions;}
  }

@article{ carlstrom-hill_cs:1978a,
  author = {Ian F. Carlstrom and Christopher S. Hill},
  title = {Review of \emph{{T}he Logic of Conditionals}, by {E}rnest
		{S}osa},
  journal = {Philosophy of Science},
  year = {1978},
  volume = {45},
  number = {1},
  pages = {155--158},
  topic = {conditionals;}
  }

@article{ carlstron-hill_c:1978a,
  author = {Ian F. Carlstrom and Christopher S. Hill},
  title = {Review of \emph{{T}he Logic of Conditionals}, by {E}rnest
		{S}osa},
  journal = {Philosophy of Science},
  year = {1978},
  volume = {45},
  number = {1},
  pages = {155--158},
  topic = {conditionals;}
  }

@inproceedings{ carmel-markovich:1996a,
  author = {David Carmel and Shaul Markovich},
  title = {Learning Models of Intelligent Agents},
  booktitle = {Proceedings of the Thirteenth National Conference on
              Artificial Intelligence and the Eighth Innovative
	      Applications of Artificial Intelligence  Conference,
	      Vol. 2},
  year = {1996},
  editor = {William J. Clancey and Dan Weld},
  pages = {62--67},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address =  {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {machine-learning;finite-automata;}
  }

@article{ carmel-markovich:1998a,
  author = {David Carmel and Shaul Markovich},
  title = {Pruning Algorithms for Multi-Modal Adversary
  	Search},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {99},
  number = {2},
  pages = {325--355},
  topic = {search;}
  }

@article{ carmo-jones_aji:1996a,
  author = {Jos\'e Carmo and Andrew J.I. Jones},
  title = {Deontic Database Constraints, Violation and Recovery},
  journal = {Studia Logica},
  year = {1996},
  volume = {57},
  number = {1},
  pages = {139--165},
  topic = {deontic-logic;data-base-integrity;}
  }

@book{ carnap:1928a,
  author = {Rudolph Carnap},
  title = {{D}er {l}ogische {A}ufbau {d}er {W}elt},
  publisher = {Weltkreis-Verlag},
  year = {1928},
  address = {Berlin-Schlactensee},
  topic = {phenomenalism;}
 }

@book{ carnap:1934a,
  author = {Rudolph Carnap},
  title = {Logische {S}yntax der {S}prache {S}chriften zur
  	wissenschaftlichen {W}eltauffassung},
  publisher = {Verlag von Julius Springer},
  year = {1934},
  address = {Vienna},
  xref = {Revised English Translation: carnap:1937b.},
  topic = {logical-syntax;}
 }

@article{ carnap:1937a,
  author = {Rudolph Carnap},
  title = {Testability and Meaning},
  journal = {Philosophy of Science},
  year = {1936--1937},
  volume = {3 and 4},
  pages = {419--471 and 1--40},
  missinginfo = {number},
  topic = {dispositions;}
  }

@book{ carnap:1937b,
  author = {Rudolph Carnap},
  title = {The Logical Syntax of Language},
  publisher = {Kegan Paul Trench, Trubner \&{} Co},
  year = {1937},
  note = {Translated by Amethe Smeaton, Countess von Zeppelin},
  address = {London},
  xref = {Revision and translation of: carnap:1934a.},
  topic = {logical-syntax;}
 }

@book{ carnap:1950a,
 author = {Rudolph Carnap},
 title = {Logical Foundations of Probability},
 publisher = {University of Chicago Press},
 year = {1950},
 address = {Chicago},
 topic = {foundations-of-probability;}
 }

@article{ carnap:1950b,
  author = {Rudolph Carnap},
  title = {Empiricism, Semantics, and Ontology},
  journal = {Revue Internationale de Philosophie},
  year = {1950},
  volume = {4},
  pages = {20--40},
  topic = {logical-positivism;philosophical-ontology;
  	foundations-of-semantics;metaphilosophy;}
  }

@article{ carnap:1955a,
  author = {Rudolph Carnap},
  title = {Meaning and Synonymy in Natural Languages},
  journal = {Philosophical Studies},
  year = {1955},
  volume = {7},
  pages = {33--47},
  missinginfo = {number},
  note = {Reprinted in  \cite{carnap:1956a}, pp.~233--247.},
  rtnote = {In RHT collection.},
  topic = {intensionality;philosophy-of-language;}
  }

@article{ carnap:1955b,
  author = {Rudolph Carnap},
  title = {On Some Concepts of Pragmatics},
  journal = {Philosophical Studies},
  year = {1955},
  volume = {6},
  pages = {89--91},
  missinginfo = {number},
  topic = {pragmatics;}
  }

@book{ carnap:1956a,
  author = {Rudolph Carnap},
  title = {Meaning and Necessity},
  publisher = {Chicago University Press},
  year = {1956},
  address = {Chicago},
  edition = {2},
  note = {(First edition published in 1947.)},
  rtnote = {tmix-project;},
  rtnote = {Reading notes on file for some pp.},
  topic = {modal-logic;}
 }

@incollection{ carnap:1962a,
  author = {Rudolph Carnap},
  title = {The Aim of Inductive Logic},
  booktitle = {Logic, Methodology, and Philosophy of Science},
  publisher = {Stanford University Press},
  year = {1962},
  editor = {Patrick Suppes and and Alfred Tarski},
  pages = {303--318},
  address = {Stanford},
  rtnote = {In RHT collection.},
  topic = {foundations-of-induction;confirmation-theory;}
  }

@incollection{ carnap:1963a,
  author = {Rudolph Carnap},
  title = {My Philosophical Development},
  booktitle = {The Philosophy of {R}udolph {C}arnap},
  publisher = {Open Court Publishing Company},
  year = {1963},
  editor = {Paul A. Schilpp},
  pages = {3--84},
  address = {LaSalle, Illinois},
  topic = {Carnap;logical-empiricism;}
  }

@book{ carnap-jeffrey:1971a,
  editor = {Rudolf Carnap and Richard C. Jeffrey},
  title = {Studies in Inductive Logic and Probability},
  publisher = {University of California Press},
  year = {1971},
  address = {Berkeley, California},
  rtnote = {UMich Graduate Library  QA273.4 .C28},
  topic = {induction;confirmation-theory;}
 }

@book{ carnielli-etal:2002a,
  editor = {Walter A. Carnielli and Marcelo E. Coniglio and
  	Italia M. Loffredo D'Ottaviano},
  title = {Paraconsistency: The Logical Way to the Inconsistent},
  publisher = {Marcel Dekker},
  year = {2002},
  address = {New York},
  xref = {Review: mcguiness_cn:2003a.},
  topic = {paraconsistency;}
 }

@incollection{ carol:1996a,
  author = {Stuart K. Carol},
  title = {The Human, the Computer, the Task, and Their
  	Interaction---Analytic Models and Use-Centered Design},
  booktitle = {Mind Matters: A Tribute to {A}llen {N}ewell},
  publisher = {Lawrence Erlbaum Associates, Inc.},
  year = {1996},
  editor = {David M. Steier and Tom M. Mitchell},
  address = {Mahwah, New Jersey},
  pages = {259--312},
  topic = {HCI;}
  }

@incollection{ caroll-briscoe:1996a,
  author = {John Carroll and Ted Briscoe},
  title = {Apportioning Development Effort in a
		Probabilistic {LR} Parsing System through
		Evaluation},
  booktitle = {Proceedings of the Conference on Empirical
		Methods in Natural Language Processing},
  publisher = {Association for Computational Linguistics},
  year = {1996},
  editor = {Eric Brill and Kenneth Church},
  pages = {92--100},
  address = {Somerset, New Jersey},
  contentnote = {The algorithm described gets about 80% of
		sentences right in general text.},
  topic = {parsing-algorithms;punctuation;clcourse;}
  }

@incollection{ carpenter:1993a,
  author = {Bob Carpenter},
  title = {Skeptical and Credulous Default Unification with
  	Applications to Templates and Inheritance},
  booktitle = {Inheritance, defaults, and the lexicon},
  publisher = {Cambridge University Press},
  year = {1993},
  editor = {Ted Briscoe and Valeria de Paiva and Ann Copestake},
  pages = {13--37},
  address = {Cambridge, England},
  rtnote = {Reading notes on file.},
  topic = {default-unification;nm-ling;}
  }

@unpublished{ carpenter:1993b,
  author = {Bob Carpenter},
  title = {Two-Level Finite State Morpho-Phonology:
  	A Rational Reconstruction of {KIMMO}},
  year = {1993},
  note = {Unpublished manuscript, Philosophy Department,
  	Carnegie Mellon University},
  rtnote = {In RHT collection.},
  topic = {finite-state-phonology;computational-morphology;
  	computational-phonology;}
  }

@book{ carpenter:1998a,
  author = {Bob Carpenter},
  title = {Type-Logical Semantics},
  publisher = {The {MIT} Press},
  year = {1998},
  address = {Cambridge, Massachusetts},
  xref = {Review: pulman_s:1999a, pentus:1999a.},
  topic = {categorial-grammar;nl-semantics;}
 }

@unpublished{ carpenter-pollard:1989a,
  author = {Bob Carpenter and Carl Pollard},
  title = {Solving Feature Structure Constraints},
  year = {1989},
  note = {Unpublished manuscript, Carnegie Mellon University},
  rtnote = {In RHT collection.},
  topic = {feature-structures;logic-programming;}
  }

@incollection{ carpenter-thomason_rh:1990a,
  author = {Bob Carpenter and Richmond Thomason},
  title = {Inheritance Theory and Path-Based Reasoning:
  	an Introduction},
  booktitle = {Knowledge Representation and Defeasible Reasoning},
  publisher = {Kluwer Academic Publishers},
  year = {1990},
  editor = {Henry Kyburg and Ronald Loui and Greg N. Carlson},
  pages = {309--343},
  address = {Dordrecht},
  topic = {inheritance-theory;}
  }

@inproceedings{ carpuat-wu_dk:2005a,
  author = {Marine Carpuat and Dekai Wu},
  title = {Word Sense Disambiguation vs. 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 = {387--394},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1048},
  topic = {lexical-disambiguation;statistical-nlp;machine-translation;}
  }

@article{ carr_c:2001a,
  author = {Catherine Carr},
  title = {Review of \emph{{T}he {MIT} Encyclopedia of the Cognitive
  	Sciences,} edited by {R}obert {A}. {W}ilson and {F}rank {C}. {K}eil},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {130},
  number = {2},
  pages = {183--184},
  xref = {Review of: wilson_ra-keil:1999a.},
  topic = {cognitive-science-general;cognitive-science-survey;}
  }

@article{ carr_d:1979a,
  author = {David Carr},
  title = {The Logic of Knowing How and Ability},
  journal = {Mind, New Series},
  year = {1979},
  volume = {88},
  number = {351},
  pages = {394--409},
  rtnote = {In RT collection, \my10},
  topic = {knowing-how;ability;}
  }

@book{ carr_d:1999a,
  author = {David Carr},
  title = {The Paradox of Subjectivity: The Self in the Transcendental
  	Tradition},
  publisher = {Oxford University Press},
  year = {1999},
  address = {Oxford},
  xref = {Review: blattner:2001a.},
  topic = {idealism;Kant;Husserl;Heidegger;}
 }

@article{ carrara-sacchi:2007a,
  author = {Massimiliano Carrara and Elisabetta Sacchi},
  title = {Cardinality and Identity},
  journal = {Journal of Philosophical Logic},
  year = {2007},
  volume = {36},
  number = {5},
  pages = {539--556},
  topic = {identity;}
  }

@incollection{ carrascal-korta:2000a,
  author = {Bego\~na Carrascal and Kepa Korta},
  title = {Towards a Logic of Communicative Intention},
  booktitle = {Three Papers on Logic (Communication, Natural Language
  	Connectives, Many-Valued Modalities)},
  publisher = {Institute for Logic, Cognition, Language, and
  	Information, University of the Basque Country},
  year = {2000},
  editor = {Xabier Arrozola and Bego\~na Carrascal and Kepa Korta
  	and Isabel G\'omez Txurruka},
  pages = {11--16},
  address = {Donostia},
  rtnote = {In RHT collection.  Filed under "Arrozola"},
  topic = {intention;communication;}
  }

@article{ carrasco-forcada:2002a,
  author = {Rafael C. Carrasco and Mikel L. Forcada},
  title = {Incremental Construction and Maintenance
  		of Minimal Finite-State Automata},
  journal = {Computational Linguistics},
  year = {2002},
  volume = {28},
  number = {2},
  pages = {207--216},
  xref = {Comments: },
  topic = {finite-state-automata;finite-state-nlp;}
  }

@incollection{ carrier-randall_j:1993a,
  author = {Jill Carrier and Janet Randall},
  title = {Lexical Mapping},
  booktitle = {Knowledge and Language: Volume {II}, Lexical and Conceptual
  	Structure},
  publisher = {Kluwer Academic Publishers},
  year = {1993},
  editor = {Eric Reuland and Werner Abraham},
  pages = {119--142},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {cognitive-semantics;argument-structure;lexical-semantics;}
  }

@book{ carroll_jm:1987a,
  editor = {John M. Carroll},
  title = {Interfacing Thought: Cognitive Aspects of Human-Computer
  	Interaction},
  publisher = {The {MIT} Press},
  year = {1987},
  address = {Cambridge, Massachusetts},
  ISBN = {0262031256},
  rtnote = {UMich Media Union Library, QA76.9.I58 I591 1987.},
  topic = {HCI;}
 }

@book{ carroll_jm:1991a,
  editor = {John M. Carroll},
  title = {Designing Interaction: Psychology at the Human-Computer
  	Interface},
  publisher = {Cambridge University Press},
  year = {1991},
  address = {Cambridge, England},
  ISBN = {0521400562},
  rtnote = {UMich Media Union Library, QA 76.9 .H85 D481 1991},
  topic = {HCI;}
 }

@article{ carroll_jm:2001a,
  author = {John M. Carroll},
  title = {Review of \emph{{R}obustness in Language and Speech Technology},
  	edited by {J}ean-{C}laude {J}unqua and {G}ertjan van {N}oord},
  journal = {Computational Linguistics},
  year = {2001},
  volume = {27},
  number = {4},
  pages = {596--597},
  topic = {nlp-technology;}
  }

@book{ carroll_jm-tanenhaus:1975a,
  author = {John M. Carroll and M.K. Tanenhaus},
  title = {Functional Clauses are the Primary Units of
		Sentence Segmentation},
  publisher = {Indiana University Linguistics Club},
  year = {1982},
  address = {310 Lindley Hall, Bloomington, Indiana},
  rtnote = {In RHT collection.},
  topic = {psycholinguistics;parsing-psychology;}
 }

@book{ carroll_jw:1994a,
  author = {John W. Carroll},
  title = {Laws of Nature},
  publisher = {Cambridge University Press},
  year = {1984},
  address = {Cambridge, England},
  xref = {Review; tooley:1997a.},
  topic = {causality;}
 }

@article{ carroll_jw:2001a,
  author = {John W. Carroll},
  title = {Review of \emph{{Dispositions},} by {S}tephen {M}umford},
  journal = {The Philosophical Review},
  year = {2001},
  volume = {110},
  number = {1},
  pages = {82--84},
  xref = {Review of mumford:1998a.},
  topic = {dispositions;}
  }

@book{ carroll_jw:2004a,
  editor = {John W. Carroll},
  title = {Readings on Laws of Nature},
  publisher = {University of Pittsburgh Press},
  year = {2004},
  address = {Pittsburgh},
  xref = {Review: bostock_d:2008a},
  topic = {philosophy-of-science;causality;natural-laws;}
 }

@book{ carruthers:1996a,
  author = {Peter Carruthers},
  title = {Language Thought and Consciousness:
  	An Essay in Philosophical Psychology},
  publisher = {Cambridge University Press},
  year = {1996},
  address = {Cambridge, England},
  xref = {Review of jarrett:1998a.},
  topic = {language-of-thought;foundations-of-semantics;}
 }

@article{ carruthers:2003a,
  author = {Peter Carruthers},
  title = {Review of \emph{{M}ind and Mechanism},
  	by {D}rew {M}c{D}ermott},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {151},
  number = {1--2},
  pages = {237--240},
  xref = {Review of mcdermott_d:2001a.},
  topic = {philosophy-AI;mind-body-problem;consciousness;}
  }

@book{ carruthers:2005a,
  author = {Peter Carruthers},
  title = {Consciousness:  Essays from a Higher-Order Perspective},
  publisher = {Oxford University Press},
  year = {2005},
  address = {Oxford},
  ISBN = {0-19-927735-4},
  topic = {consciousness;philosophy-of-mind;}
 }

@book{ carruthers-botherill:1999a,
  author = {Peter Carruthers and George Botherill},
  title = {The Philosophy of Psychology},
  publisher = {Cambridge University Press},
  year = {1999},
  address = {Cambridge, England},
  ISBN = {052155915-4 (Pbk)},
  topic = {philosophy-of-psychology;cogsci-intro;
  	foundations-of-cognitive-science;}
 }

@book{ carstairsmccarthy:1999a,
  author = {Andrew Carstairs-McCarthy},
  title = {The Origins of Complex Language.  An Inquiry
  	into the Evolutionary Beginnings of Sentences, Syllables, and
	Truth},
  publisher = {Oxford University Press},
  year = {1999},
  address = {Oxford},
  xref = {Review: hinzen:2003a},
  rtnote = {UMich Graduate Library, P 116 .C37 1999.},
  topic = {language-origins;}
 }

@article{ carston:1987a,
  author = {Robyn Carston},
  title = {Being Explicit},
  journal = {Behavioral and Brain Sciences},
  year = {1987},
  volume = {10},
  pages = {713--714},
  missinginfo = {number},
  topic = {implicature;}
  }

@incollection{ carston:1988a,
  author = {Robyn Carston},
  title = {Implicature, Explicature, and Truth-Theoretic Semantics},
  booktitle = {Mental Representations: The Interface Between Language and
  	Reality},
  publisher = {Cambridge University Press},
  year = {1988},
  editor = {Ruth Kempson},
  pages = {155--181},
  address = {Cambridge, England},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;implicature;pragmatics;}
  }

@incollection{ carston:1991a,
  author = {Robyn Carston},
  title = {Implicature, Explicature, and Truth-Theoretic
  	Semantics},
  booktitle = {Pragmatics: A Reader},
  publisher = {Oxford University Press},
  year = {1991},
  editor = {Steven Davis},
  pages = {33--51},
  address = {Oxford},
  topic = {implicature;philosophy-of-language;}
  }

@incollection{ carston:1998b,
  author = {Robyn Carston},
  title = {Informativeness, Relevance, and Scalar Implicature},
  booktitle = {Relevance Theory: Applications and Implications},
  publisher = {John Benjamins Publishing Co.},
  year = {1998},
  editor = {Robyn Carston and Seiji Uchida},
  pages = {179--236},
  address = {Amsterdam},
  rtnote = {In RHT collection.},
  topic = {relevance-theory;scalar-implicature;implicature;}
  }

@book{ carston-uchida:1997a,
  editor = {Robyn Carston and Seiji Uchida},
  title = {Relevance Theory: Applications and Implications},
  publisher = {John Benjamins Publishing Co.},
  year = {1997},
  address = {Amsterdam},
  rtnote = {UMich Grad P 99.4 .R44 R451 1997},
  contentnote = {TC:
		1.  Deirdre Wilson and Dan Sperber, "Pragmatics and Time"
		2.  Keiko Tanaka, "The {J}apanese Adverbial
			{\it yahiri} or {\it yappari}"
		3.  Reiko Itani, A Relevance-Based Analysis of Hearsay
			Particles: With Special Reference to {J}apanese
			Sentence-Final Particle {\it ne}"
		4.  Kunihiko Imai, "Intonation and Relevance"
		5.  Nam Sun Song, "Metaphor and Metonymy"
		6.  Akiko Yoshimura, "Procedural Semantics and
			Metalinguistic Negation"
		7.  Tomoko Matsui, "Assessing a Scenario-Based Account
			of Bridging Reference Assignment"
		8.  Seiji Uchida, "Text and Relevance"
		9.  Robyn Carston, "Informativeness, Relevance, and
			Scalar Implicature"
		10.  Ken-Ichi Seto, "On Non-Echoic Irony"
		11.  Hideki Hamamoto, "Irony from a Cognitive Perspective"
		12.  Masa-Aki Yamanashi, "Some Issues in the Treatment of
			Irony and Other Topics"
		13.  Dan Sperber and Deirdre Wilson, "Irony and Relevance:
			A Reply to {S}an,
	},
  topic = {relevance-theory;pragmatics;}
 }

@book{ carswell-rommetveit:1971a,
  editor = {E.A. Carswell Ragnar Rommetveit},
  title = {Social Contexts of Messages},
  publisher = {Academic Press},
  year = {1971},
  address = {New York},
  rtnote = {LANGLEY P106 .S58; SLIS P106 .S58},
  rtnote = {pragmatics-course;},
  topic = {psycholinguistics;pragmatics;}
 }

@article{ carter_i:2005a,
  author = {Ian Carter},
  title = {Review of \emph{{T}he Quality of Freedom}, by
  	{M}atthew {H}. {K}ramer},
  journal = {The Philosophical Review},
  year = {2005},
  volume = {114},
  number = {4},
  pages = {551--553},
  xref = {Review of: kramer_mh:2003a},
  topic = {freedom;volition;}
  }

@book{ carter_j-dechaine:1989a,
  editor = {J. Carter and R.-M. Dechaine},
  title = {{NELS 19}: Proceedings of the Nineteenth Conference of the
  	{N}orth {E}ast {L}inguistic {S}ociety},
  publisher = {GLSA Publications},
  year = {1989},
  address = {Amherst, Massachusetts},
  note = {URL FOR GLSA Publications:
  	http://www.umass.edu/linguist/glsa-pubs.html.},
  topic = {linguistics-proceedings;nl-syntax;nl-semantics;}
 }

@book{ carter_j-etal:1990a,
  editor = {J. Carter and R.-M. Dechaine and B. Philip and T. Sherer},
  title = {{NELS 20}: Proceedings of the Twentieth Conference of the
  	{N}orth {E}ast {L}inguistic {S}ociety},
  publisher = {GLSA Publications},
  year = {1990},
  address = {Amherst, Massachusetts},
  note = {URL FOR GLSA Publications:
  	http://www.umass.edu/linguist/glsa-pubs.html.},
  topic = {linguistics-proceedings;nl-syntax;nl-semantics;}
 }

@article{ cartwright_h:1975a,
  author = {Helen Morris Cartwright},
  title = {Truth and Mass Terms},
  journal = {No\^us},
  year = {1975},
  volume = {9},
  pages = {179--198},
  missinginfo = {number},
  missinginfo = {number},
  topic = {nl-semantics;mass-term-semantics;}
  }

@article{ cartwright_hm:1984a,
  author = {Helen Morris Cartwright},
  title = {Parts and Partitives: Notes on What Things Are
  	Made of},
  journal = {Synth\'ese},
  year = {1984},
  volume = {58},
  number = {2},
  pages = {251--277},
  topic = {mass-term-semantics;}
  }

@article{ cartwright_n:1979a,
  author = {Nancy Cartwright},
  title = {Causal Laws and Effective Strategies},
  journal = {No\^us},
  year = {1979},
  volume = {13},
  pages = {419--437},
  topic = {causality;probability;}
  }

@book{ cartwright_n:1986a,
  author = {Nancy Cartwright},
  title = {How the Laws of Physics Lie},
  publisher = {Oxford University Press},
  year = {1986},
  address = {Oxford},
  topic = {philosophy-of-physics;natural-laws;}
 }

@incollection{ cartwright_n:1986b,
  author = {Nancy Cartwright},
  title = {Fitting Facts to Equations},
  booktitle = {Philosophical Grounds of Rationality},
  publisher = {Oxford University Press},
  year = {1986},
  editor = {Richard E. Grandy and Richard Warner},
  pages = {441--453},
  address = {Oxford},
  topic = {foundations-of-physics;}
  }

@incollection{ cartwright_n:1995a,
  author = {Nancy Cartwright},
  title = {Causal Structures in Econometrics},
  booktitle = {On the Reliability of Economic Models},
  publisher = {Kluwer Academic Publishers},
  year = {1995},
  editor = {Daniel Little},
  address = {Dordrecht},
  missinginfo = {pages},
  topic = {causality;philosophy-of-economics;}
  }

@article{ cartwright_n:1995b,
  author = {Nancy Cartwright},
  title = {Probabilities and Experiments},
  journal = {Journal of Econometrics},
  year = {1995},
  volume = {67},
  pages = {47--59},
  missinginfo = {number},
  topic = {probabilities;philosophy-of-economics;}
  }

@book{ cartwright_n:1999a,
  author = {Nancy Cartwright},
  title = {The Dappled World: A Study in the Boundaries of Science},
  publisher = {Cambridge University Press},
  year = {1999},
  address = {Cambridge, England},
  xref = {Reviews: winsberg-etal:2000a,giere:2000a,teller:2002a.},
  rtnote = {In RHT collection.  Philsci Shelves.},
  topic = {philosophy-of-science;natural-laws;theory-reduction;}
 }

@article{ cartwright_n:2004a,
  author = {Nancy Cartwright},
  title = {Two Theorems on Invariance and Causality},
  journal = {Philosophy of Science},
  year = {2004},
  volume = {71},
  number = {1},
  pages = {203--224},
  topic = {causality;}
  }

@article{ cartwright_n:2004b,
  author = {Nancy Cartwright},
  title = {Causation: One Word, Many Things},
  journal = {Philosophy of Science},
  year = {2004},
  volume = {71},
  number = {5},
  pages = {805--819},
  note = {Philosophy of Science: Proceedings of the
  	2002 Biennial Meeting of the
	Philosophy of Science Association, Part 2: Symposia
	Papers.  Edited by Sandra D. Mitchell.},
  topic = {causality;}
  }

@article{ cartwright_n:2006a,
  author = {Nancy Cartwright},
  title = {Where is the Theory in Our `Theories' of Causality?},
  journal = {The Journal of Philosophy},
  year = {2006},
  volume = {103},
  number = {2},
  pages = {55--66},
  topic = {causality;}
  }

@incollection{ cartwright_r1:1962a,
  author = {Richard Cartwright},
  title = {Propositions},
  booktitle = {Analytical Philosophy, First Series},
  publisher = {Barnes and Noble},
  year = {1962},
  editor = {Ronald J. Butler},
  pages = {81--103},
  address = {New York},
  topic = {propositions;propositional-attitudes;}
  }

@incollection{ cartwright_r1:1979a,
  author = {Richard Cartwright},
  title = {Indiscernability Principles},
  booktitle = {Midwest Studies in Philosophy Volume {V}:
  	Studies in Metaphysics},
  publisher = {University of Minnesota Press},
  year = {1979},
  editor = {Peter A. French and Theodore E. {Uehling, Jr.} and Howard K.
  	Wettstein},
  pages = {293--306},
  address = {Minneapolis},
  topic = {identity;modality;}
  }

@incollection{ cartwright_r1:1987a,
  author = {Richard Cartwright},
  title = {On the Origins of {Russell's} Theory of Descriptions},
  booktitle = {Philosophical Essays},
  editor = {Richard Cartwright},
  pages = {95--133},
  publisher = {MIT Press},
  year = {1987},
  address = {Cambridge, Massachusetts},
  topic = {Russell;definite-descriptions;}
}

@incollection{ cartwright_r2:1991a,
  author = {Robert Cartwright},
  title = {Lambda: The Ultimate Combinator},
  booktitle = {Artificial Intelligence and Mathematical Theory of
  	Computation},
  publisher = {Academic Press},
  year = {1991},
  editor = {Vladimir Lifschitz},
  pages = {27--46},
  address = {San Diego},
  topic = {combinatory-logic;theory-of-programming-languages;}
  }

@book{ carus:2008a,
  author = {Andre W. Carus},
  title = {Carnap and Twentieth Century Thought},
  publisher = {Cambridge University Press},
  year = {2008},
  address = {Cambridge, England},
  ISBN = {978-0-521-86227},
  topic = {Carnap;}
 }

@inproceedings{ carver-etal:1988a,
  author = {Norman F. Carver and Victor R. Lesser and Daniel L.
  	McCue},
  title = {Focusing in Plan Recognition},
  booktitle = {Proceedings of the Seventh National Conference on
              Artificial Intelligence},
  year = {1988},
  pages = {42--48},
  organization = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  missinginfo = {publisher, editor.},
  rtnote = {Query: Was this 1988?},
  topic = {focus;plan-recognition;pragmatics;}
  }

@article{ casacuberta-vidal:2004a,
  author = {Francesco Casacuberta and Enrique Vidal},
  title = {Machine Translation with Inferred Stochastic Finite-State
  	Transducers},
  journal = {Computational Linguistics},
  year = {2004},
  volume = {30},
  number = {2},
  pages = {205--225},
  topic = {statistical-nlp;machine-translation;finite-state-nlp;}
  }

@article{ casadio:2007a,
  author = {Claudia Casadio},
  title = {Applying Pregroups to {I}talian Statements and Questions},
  journal = {Studia Logica},
  year = {2007},
  volume = {87},
  number = {2--3},
  pages = {253--268},
  topic = {pregroups;interrogatives;Italian-language;}
  }

@article{ casadio-lambek:2002a,
  author = {Claudio Casadio and Joachim Lambek},
  title = {A Tale of Four Grammars},
  journal = {Studia Logica},
  year = {2002},
  volume = {71},
  number = {3},
  pages = {315--329},
  topic = {Lambek-calculus;categorial-grammars;}
  }

@article{ casanovas:2007a,
  author = {Enrique Casanovas},
  title = {Logical Operations and Invariance},
  journal = {Journal of Philosophical Logic},
  year = {2007},
  volume = {36},
  number = {1},
  pages = {33--60},
  topic = {logical-constants;}
  }

@book{ casati-varzi:1996a,
  author = {Roberto Casati and Achille C. Varzi},
  title = {Holes and Other Superficialities},
  publisher = {The {MIT} Press},
  year = {1996},
  address = {Cambridge, Massachusetts},
  ISBN = {0262032112},
  rtnote = {Graduate Library Call No: BD 399 .C371 1994},
  xref = {Review: lewis_dk-lewis_s:1998a.},
  topic = {spatial-representation;philosophical-ontology;mereology;}
 }

@incollection{ casati-varzi:1997a,
  author = {Roberto Casati and Achille C. Varzi},
  title = {Spatial Entities},
  booktitle = {Spatial and Temporal Reasoning},
  publisher = {Kluwer Academic Publishers},
  year = {1997},
  editor = {Oliviero Stock},
  pages = {73--96},
  address = {Dordrecht},
  rtnote = {In RHT collection.  Files. Bib is in "bibs".},
  topic = {spatial-representation;computational-ontology;
  	mereology;}
  }

@book{ casati-varzi:1999a,
  author = {Roberto Casati and Achille C. Varzi},
  title = {Parts and Places: The Structures of Spatial Representation},
  publisher = {The {MIT} Press},
  year = {1999},
  address = {Cambridge, Massachusetts},
  ISBN = {026203266X (alk. paper)},
  rtnote = {UMich Graduate Library, BD 621 .C351 1999},
  xref = {Reviews: aiello_m:2

repository: sergiud/bibtex-spirit

repo_name: sergiud/bibtex-spirit