text:
000a, mason_f:2001a.},
  topic = {spatial-representation;philosophical-ontology;mereology;}
 }

@incollection{ casati-varzi:2006a,
  author = {Roberto Casati and Achille Varzi},
  title = {Events},
  booktitle = {The {S}tanford Encyclopedia of Philosophy},
  publisher = {Stanford University},
  editor = {Edward N. Zalta},
  url = {http://plato.stanford.edu/archives/sum2006/entries/events/},
  year = {Summer 2006},
  topic = {events;metaphysics;}
}

@book{ cass-shell:1976a,
  author = {David Cass and Karl Shell},
  title = {The {H}amiltonian Approach To Dynamic Economics},
  publisher = {Academic Press},
  year = {1976},
  address = {New York},
  ISBN = {012163650X},
  rtnote = {UMich Graduate Library, HB135 .H351.},
  topic = {mathematical-economics;}
 }

@article{ cassell:2000a,
  author = {Justine Cassell},
  title = {Embodied Conversational Interface Agents},
  journal = {Communications of the {ACM}},
  year = {2000},
  volume = {43},
  number = {4},
  pages = {70--78},
  topic = {embodiment;discourse;}
  }

@inproceedings{ cassell-etal:1994a,
  author= {Justine Cassell and Catherine Pelachaud and Norm
  		Badler and Mark Steedman and Brett Achorn and Tripp
  		Becket and Brett Douville and Scott Prevost and
  		Matthew Stone},
  title = {Animated Conversation: Rule-based generation of
  		facial expression, gesture and spoken intonation for
  		multiple conversational agents},
  booktitle = {SIGGRAPH},
  year = {1994},
  rtnote = {In RHT collection.},
  topic = {animation;gestures;intonation;pragmatics;}
  }

@book{ cassell-etal:2000a,
  editor = {Justine Cassell and Joseph Sullivan and Scott Prevost
  	and Elizabeth Chirchill},
  title = {Embodied Conversational Agents},
  publisher = {The {MIT} Press},
  year = {2000},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-02378-3},
  topic = {embodiment;discourse;}
 }

@inproceedings{ cassell-stone_m:1999a,
  author = {Justine Cassell and Matthew Stone},
  title = {Living Hand to Mouth: Psychological Theories about Speech
			and Gesture in Interactive Dialogue Systems},
  booktitle = {Working Papers of the {AAAI} Fall Symposium on
  	Psychological Models of Communication in Collaborative
	Systems},
  year = {1999},
  editor = {Susan E. Brennan and Alain Giboin and David R. Traum},
  pages = {34--42},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  topic = {discourse;multimodal-communication;gestures;}
  }

@article{ cassimatis:2006a,
  author = {Nicholas L. Cassimatis},
  title = {A Cognitive Substrate for Achieving Human-Level Intelligence},
  journal = {The {AI} Magazine},
  year = {2006},
  volume = {27},
  number = {2},
  pages = {45--55},
  topic = {large-kr-systems;cognitive-architectures;}
  }

@article{ cassimatis-etal:2006a,
  author = {Nicholas Cassimatis and Erik T. Mueller and
  	Patrick Henry Winston},
  title = {Achieving Human-Level Intelligence through Integrated
  		Systems and Research:  Introduction to this Special
		Issue},
  journal = {The {AI} Magazine},
  year = {2006},
  volume = {27},
  number = {2},
  pages = {12--14},
  topic = {AI-editorial;cognitive-science;large-kr-systems;}
  }

@book{ cassirer:1955a,
  author = {Ernst Cassirer},
  title = {The Philosophy of Symbolic Forms},
  publisher = {Yale University Press},
  year = {1955},
  volume = {1--3},
  address = {New Haven},
  note = {(These works were first published (in German) in 1923--29.)},
  rtnote = {In RHT collection.  LLP authored shelves.},
  topic = {philosophy-of-language;}
 }

@article{ casson:1988a,
  author = {Lionel Casson},
  title = {How and Why Punctuation Ever Came to be Invented},
  journal = {Smithsonian},
  year = {1988},
  volume = {1988},
  number = {7},
  pages = {216},
  topic = {punctuation;}
}

@article{ castaenda:1967a,
  author = {Hector-Neri Casta\~neda},
  title = {Indicators and Quasi-Indicators},
  journal = {American Philosohical Quarterly},
  year = {1967},
  volume = {4},
  number = {2},
  missinginfo = {pages},
  topic = {indexicals;}
  }

@book{ castaenda:1982a,
  author = {Hector-Neri Casta\~neda},
  title = {Thinking and Doing: The Philosophical Foundations of
  	Institutions},
  publisher = {D. Reidel Publishing Co.},
  year = {1982},
  address = {Dordrecht},
  ISBN = {9027706107},
  rtnote = {UMich GRADUATE LIBRARY, BF455 .C37 1982.},
  topic = {practical-reasoning;deontic-logic;}
 }

@incollection{ castagneto-ferrari_g:2003a,
  author = {Marina Castagneto and Giacomo Ferrari},
  title = {Influence of Regional Features on Map Task Dialogues},
  booktitle = {Diabruck 2003: Proceedings of the 7th Workshop on the
  	Semantics and Pragmatics of Dialogue},
  publisher = {Universit\"at des Saarlandes},
  year = {2003},
  editor = {Ivana Kruijff-Korbayov\'a and Claudia Kosny},
  pages = {21--26},
  address = {Saarbr\"ucken},
  topic = {discourse;dialectology;dialogue-corpora;}
  }

@incollection{ castaing:1991a,
  author = {Jacqueline Castaing},
  title = {A New Formalisation of Subsumption in Frame-Based
  	Representation Systems},
  booktitle = {{KR}'91: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1991},
  editor = {James F. Allen and Richard Fikes and Erik Sandewall},
  pages = {78--87},
  address = {San Mateo, California},
  topic = {kr;proof-theory;inheritance-theory;frames;kr-course;}
  }

@article{ castaneda:1958a,
  author = {{Hector-Neri} Casta\~{n}eda},
  title = {Imperatives and Deontic Logic},
  journal = {Analysis},
  year = {1958},
  volume = {19},
  number = {2},
  pages = {42--48},
  url = {http://www.jstor.org/stable/3326749},
  topic = {imperative-logic;imperatives;deontic-logic;}
  }

@article{ castaneda:1960a,
  author = {{Hector-Neri} Casta\~{n}eda},
  title = {Imperative Reasonings},
  journal = {Philosophy and Phenomenological Research},
  year = {1960},
  volume = {21},
  number = {1},
  pages = {21--49},
  topic = {imperative-logic;imperatives;deontic-logic;}
  }

@unpublished{ castaneda:1965a,
  author = {{Hector-Neri} Casta\~{n}eda},
  title = {Acts, the Logic of Obligation, and Deontic Calculi},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript, Wayne State University.},
  missinginfo = {Date is a guess.},
  topic = {deontic-logic;}
  }

@article{ castaneda:1965b,
  author = {{Hector-Neri} Casta\~{n}eda},
  title = {The Logic of Change, Action, and Norms},
  journal = {The Journal of Philosophy},
  year = {1965},
  volume = {62},
  number = {13},
  pages = {333--344},
  xref = {Critical study of: vonwright:1963a.},
  xref = {Commentary: sidorsky:1965a.},
  topic = {deontic-logic;action;}
  }

@article{ castaneda:1966a,
  author = {{Hector-Neri} Casta\~{n}eda},
  title = {\,`He': A Study in Self-Consciousness},
  journal = {Ratio},
  volume = {8},
  year = {1966},
  pages = {187--203},
  rtnote = {In RHT collection.},
  topic = {indexicals;knowing-who;}
  }

@book{ castaneda:1967a,
  editor = {Hector-Neri Casta\~neda},
  title = {Intentionality, Minds, and Perception; Discussions on Contemporary
  	Philosophy, A Symposium},
  publisher = {Wayne State University Press},
  year = {1967},
  address = {Detroit},
  rtnote = {UMich Graduate Library B 20 .W36 1962},
  topic = {philosophy-of-mind;epistemology;analytic-philosophy;}
 }

@article{ castaneda:1967b,
  author = {{Hector-Neri} Casta\~{n}eda},
  title = {Ethics and Logic: {S}tevensonianism Revisited},
  journal = {Journal of Philosophy},
  volume = {64},
  year = {1967},
  topic = {ethics;emotivism;}
  }

@article{ castaneda:1968a,
  author = {{Hector-Neri} Casta\~{n}eda},
  title = {A Problem for Utilitarianism},
  journal = {Analysis},
  volume = {28},
  year = {1968},
  pages = {141--142},
  topic = {utilitarianism;}
    }

@article{ castaneda:1969a,
  author = {{Hector-Neri} Casta\~{n}eda},
  title = {Ought, Value, and Utilitarianism},
  journal = {American Philosophical Quarterly},
  volume = {8},
  year = {1969},
  missinginfo = {number, pages},
  topic = {utilitarianism;`ought';}
    }

@article{ castaneda:1970a,
  author = {{Hector-Neri} Casta\~{n}eda},
  title = {On Knowing (or Believing) that One Knows (or Believes)},
  journal = {Synth\'ese},
  year = {1970},
  volume = {21},
  pages = {187--203},
  missinginfo = {number},
  topic = {indexicals;knowing-who;}
  }

@incollection{ castaneda:1970b,
  author = {Hector-Neri Casta\~neda},
  title = {The Twofold Structure and the Unity of Practical Thinking},
  booktitle = {The Nature of Human Action},
  publisher = {Scott, Foresman and Company},
  year = {1970},
  editor = {Myles Brand},
  pages = {105--130},
  address = {Glenview, California},
  rtnote = {In RHT collection.},
  topic = {deontic-logic;practical-reasoning;}
  }

@article{ castaneda:1971a,
  author = {{Hector-Neri} Casta\~{n}eda},
  title = {There Are Command Sh-Inferences},
  journal = {Analysis},
  year = {1971},
  volume = {32},
  number = {1},
  pages = {13--19},
  topic = {imperative-logic;imperatives;}
  }

@incollection{ castaneda:1970a2,
  author = {Hector-Neri Casta\~neda},
  title = {On the Semantics of the Ought-to-Do},
  booktitle = {Semantics of Natural Language},
  publisher = {D. Reidel Publishing Co.},
  year = {1972},
  editor = {Donald Davidson and Gilbert H. Harman},
  pages = {675--694},
  address = {Dordrecht},
  xref = {Republication of: castaneda:1970a1},
  topic = {deontic-logic;`ought';}
  }

@book{ castaneda:1975a,
  editor = {Hector-Neri Casta\~neda},
  title = {Action, Knowledge, and Reality: Critical Studies in Honor
  	of {W}ilfrid {S}ellars},
  publisher = {Bobbs-Merrill},
  year = {1975},
  address = {Indianapolis},
  ISBN = {0672612135},
  rtnote = {UMich Graduate Library, B945.S494 A19.},
  topic = {analytic-philosophy;}
 }

@article{ castaneda:1977a,
  author = {{Hector-Neri} Casta\~{n}eda},
  title = {Ought, Time, and Deontic Paradoxes},
  journal = {Journal of Philosophy},
  volume = {74},
  year = {1977},
  pages = {775--791},
  topic = {deontic-logic;temporal-logic;`ought';}
    }

@incollection{ castaneda:1978a,
  author = {Hector-Neri Casta\~neda},
  title = {On the Philosophical Foundations
     	of the Theory of Communication},
  booktitle = {Contemporary Perspectives in the Philosophy of Language},
  publisher = {University of Minnesota Press},
  year = {1978},
  editor = {Peter A. French and Theodore E. {Uehling, Jr.} and Howard
  	K. Wettstein},
  pages = {125--146},
  address = {Minneapolis},
  topic = {nl-semantics;referential-opacity;intensionality;}
  }

@incollection{ castaneda:1978b,
  author = {Hector-Neri Casta\~neda},
  title = {The Causal and Epistemic Roles
    	of Proper Names in Our Thinking of Particulars},
  booktitle = {Contemporary Perspectives in the Philosophy of Language},
  publisher = {University of Minnesota Press},
  year = {1978},
  editor = {Peter A. French and Theodore E. {Uehling, Jr.} and Howard
  	K. Wettstein},
  pages = {151--158},
  address = {Minneapolis},
  topic = {reference;proper-names;metaphysics;}
  }

@incollection{ castaneda:1981a,
  author = {{Hector-Neri} Casta\~neda},
  title = {The Paradoxes of Deontic Logic: The Simplest Solution to
  	All of Them in One Fell Swoop},
  booktitle = {New Studies in Deontic Logic},
  publisher = {D. Reidel Publishing Company},
  year = {1981},
  editor = {Risto Hilpinen},
  pages = {37--85},
  address = {Dordrecht},
  topic = {deontic-logic;prima-facie-obligation;Ross'-paradox;}
  }

@article{ castaneda:1981b,
  author = {Hector-Neri Casta\~neda},
  title = {The Semantical Profile of Indexical (Experimential)
  	Reference},
  journal = {Synth\'ese},
  year = {1981},
  volume = {49},
  number = {2},
  pages = {275--316},
  topic = {reference;indexicals;propositional-attitudes;}
  }

@incollection{ castaneda:1984a,
  author = {{Hector-Neri} Casta\~neda},
  title = {Causes, Causality, and Energy},
  booktitle = {Causation and Causal Theories},
  publisher = {University of Minnesota Press},
  year = {1984},
  editor = {Peter A. French and Theodore E. Uehling, Jr. and Howard
  	K. Wettstein},
  pages = {17--27},
  address = {Minneapolis},
  topic = {causality;}
  }

@book{ castaneda-nakhnikian:1963a,
  editor = {Hector-Neri Casta\~neda and George Nakhnikian},
  title = {Morality and the Language of Conduct},
  publisher = {Wayne State University Press},
  year = {1963},
  address = {Detroit},
  rtnote = {UMich Graduate Library, BJ 21 .C35},
  topic = {ethics;analytic-philosophy;}
 }

@article{ castel:2002a,
  author = {Felipe Castel},
  title = {Viewpoint: Ontological Computing},
  journal = {Communications of the {ACM}},
  year = {2002},
  volume = {45},
  number = {2},
  pages = {29--30},
  rtnote = {In RHT collection.},
  topic = {computational-ontology;human-computer-interaction;}
 }

@article{ castelfrianchi:1998a,
  author = {Cristiano Castelfrianchi},
  title = {Modeling Social Action for {AI} Agents},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {103},
  number = {1--2},
  pages = {157--182},
  topic = {cooperation;distributed-systems;artificial-societies;}
  }

@inproceedings{ castelfrianchi-falcone:1998a,
  author = {Cristiano Castelfrianchi and R. Falcone},
  title = {Principles of Trust for {MAS}: Cognitive
		Anatomy, Social Importance, and Quantification},
  booktitle = {Proceedings of the Third International Conference
		on Multi-Agent Systems ({ICMAS}'98)},
  year = {1998},
  editor = {Y. Demazeau},
  pages = {72--79},
  publisher = {IEEE},
  address = {Los Alamitos, CA},
  missinginfo = {A's 1st name, E's 1st name},
  topic = {cooperation;distributed-systems;artificial-societies;}
  }

@article{ castellini-etal:2003a,
  author = {Claudio Castellini and Enrico Giunchiglia and Armando
  	Tacchella},
  title = {{SAT}-Based Planning in Complex Domains: Concurrency
  	Constraints and Nondeterminism},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {147},
  number = {1--2},
  pages = {85--117},
  topic = {planning-algorithms;sat-based-planning;
  	reasoning-about-uncertainty;}
  }

@article{ castilho_m-etal:1999a,
  author = {Marcus A. Castilho and Olivier Gasquet and Andreas Herzig},
  title = {Formalizing Action and Change in Modal Logic {I}: The Frame
  	Problem},
  journal = {Journal of Logic and Computation},
  year = {1999},
  volume = {9},
  number = {5},
  pages = {701--735},
  url = {citeseer.ist.psu.edu/castilho99formalizing.html},
  rtnote = {In RHT collection.  Summer, 2008.},
  topic = {frame-problem;action;formalisms;modal-logic;causality;}
  }

@article{ castillo_e-etal:1997a,
  author = {Enrique Castillo and Cristina Solares and Patricia G\'omez},
  title = {Tail Uncertainty Analysis in Complex Systems},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {96},
  number = {2},
  pages = {395--419},
  acontentnote = {Abstract:
     The paper presents an efficient computational method for
     estimating the tails of a target variable Z which is related to
     other set of bounded variables
     $\stackrel{\ESM{\longrightarrow}}{X}=(X1,...,Xn)$ by an
     increasing (decreasing) relation $Z=h(X1,...,Xn)$.  To this aim,
     variables $Xi, i=1,...,n$ are sequentially simulated in such a
     manner that $Z=h(x1,...,xi-1,Xi,...,Xn)$ is guaranteed to be in
     the tail of $Z$.  The method is shown to be very useful to perform
     an uncertainty analysis of Bayesian networks, when very large
     confidence intervals for the marginal/conditional probabilities
     are required, as in reliability or risk analysis. The method is
     shown to behave best when all scores coincide and is illustrated
     with several examples, including two examples of application to
     real cases.  A comparison with the fast probability integration
     method, the best known method to date for solving this problem,
     shows that it gives better approximations.},
  topic = {Bayesian-networks;uncertainty-analysis;}
  }

@article{ caston:1998a,
  author = {Victor Caston},
  title = {Epiphenomenalisms, Ancient and Modern},
  journal = {The Philosophical Review},
  year = {1998},
  volume = {106},
  number = {3},
  pages = {309--363},
  topic = {epiphenomenalism;}
  }

@article{ caston:1998b,
  author = {Victor Caston},
  title = {Aristotle and the Problem of Intentionality},
  journal = {Philosophy and Phenomenological Research},
  year = {1998},
  volume = {58},
  number = {3},
  pages = {249--297},
  rtnote = {In RHT collection.},
  topic = {Atistotle;intentionality;}
  }

@inproceedings{ castro:1998a,
  author = {Carlos Castro},
  title = {{COLLETTE}, Prototyping {CSP} Problem Solvers
		Using a Rule-Based Language},
  booktitle = {Artificial Intelligence and Symbolic Computation:
	Proceedings of {AISC'98}},
  year = {1998},
  editor = {Jacques Calmet and Jan Plaza},
  pages = {107--119},
  publisher = {Springer Verlag},
  address = {Berlin},
  topic = {constraint-satisfaction;}
  }

@article{ catford:1969a,
  author = {John Catford},
  title = {Learning a Language in the Field: Problems of Linguistic
  	Relativity},
  journal = {Modern Language Journal},
  year = {1969},
  volume = {53},
  number = {5},
  missinginfo = {pages},
  topic = {linguistic-relativity;field-linguistics;}
  }

@article{ cath:2009a,
  author = {Yuri Cath},
  title = {The Ability Hypothesis and the New Knowledge-How},
  journal = {No\^us},
  year = {2009},
  volume = {43},
  number = {1},
  pages = {137--156},
  topic = {knowing-how;consciousness;philosophy-of-mind;}
  }

@unpublished{ catizone-etal:2002a,
  author = {Roberta Catizone and Andrea Setzer and Yorick Wilks},
  title = {State of the Art in Dialogue Management},
  year = {2002},
  url ={www.hcrc.ed.ac.uk/comic/documents/deliverables/D5-1Final.pdf},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript, University of Edinburgh.},
  topic = {computational-dialogue;}
  }

@incollection{ caton:1971a,
  author = {Charles E. Caton},
  title = {Overview},
  booktitle = {Semantics: An Interdisciplinary Reader in Philosophy,
  	Linguistics, and Psychology},
  publisher = {Cambridge University Press},
  year = {1971},
  editor = {Danny D. Steinberg and Leon A. Jacobovits},
  pages = {3--13},
  address = {Cambridge, England},
  topic = {philosophy-of-language;}
  }

@incollection{ caton:1981a,
  author = {Charles E. Caton},
  title = {Stalnaker on Pragmatic Presupposition},
  booktitle = {Radical Pragmatics},
  publisher = {Academic Press},
  year = {1981},
  editor = {Peter Cole},
  pages = {83--100},
  address = {New York},
  rtnote = {In RHT collection.},
  rtnote = {pragmatics-course;},
  topic = {presupposition;pragmatics;}
  }

@inproceedings{ catton:1998a,
  author = {Philip Catton},
  title = {Problems with the Deductivist Image of Scientific
  	Reasoning},
  booktitle = {{PSA}98: Proceedings of the Biennial Meeting of the
	Philosophy of Science Association, Part 1: Contributed
	Papers},
  year = {1998},
  editor = {Don A. Howard},
  pages = {452--473},
  organization = {Philosophy of Science Association},
  publisher = {University of Chicago Press},
  address = {Chicago, Illinois},
  topic = {scientific-reasoning;}
  }

@book{ cauman:1998a,
  author = {Leigh S. Cauman},
  title = {First-Order Logic},
  publisher = {Walter de Gruyter},
  year = {1998},
  address = {Berlin},
  topic = {logic-intro;}
 }

@book{ cauman-etal:1983a,
  editor = {Leigh S. Cauman, Isaac Levi, Charles Parsons and Robert
  	Schwartz},
  title = {How Many Questions? Essays in Honor of {S}idney
  	{M}orgenbesser},
  publisher = {Hackett},
  year = {1983},
  address = {Indianapolis},
  topic = {philosophy-general;}
 }

@techreport{ causey:1990a,
  author = {Robert L. Causey},
  title = {{EVID}: A System for Interactive Defeasible Reasoning},
  institution = {Aritificial Intelligence Laboraroty, The University
  	of Texas at Austin},
  number = {A190--119},
  year = {1990},
  address = {Austin, Texas},
  rtnote = {In RHT collection.},
  topic = {nonmonotonic-reasoning;}
  }

@incollection{ cavazza-zweigenbaum:1995a,
  author = {Marc Cavazza and Pierre Zweigenbaum},
  title = {Lexical Semantics: Dictionary or Encyclopedia?},
  booktitle = {Computational Lexical Semantics},
  publisher = {Cambridge University Press},
  year = {1995},
  editor = {Patrick Saint-Dizier and Evelyne Viegas},
  pages = {336--347},
  address = {Cambridge, England},
  topic = {nl-kr;computational-lexical-semantics;}
  }

@article{ cave:1983a,
  author = {J. Cave},
  title = {Learning to Agree},
  journal = {Economics Letters},
  year = {1983},
  volume = {12},
  pages = {147--152},
  missinginfo = {A's 1st name, number},
  topic = {agreeing-to-disagree;mutual-belief;mutual-agreement;}
  }

@book{ cavedon-etal:2000a,
  editor = {Lawrence Cavedon and Patrick Blackburn and Nick Braisby
  	and Atushi Shimojina},
  title = {Logic, Language, and Computation, Volume 3},
  publisher = {CSLI Publications},
  year = {2000},
  address = {Stanford, California},
  ISBN = {1-57586-268-9},
  rtnote = {In RHT Collection.  LLP edited shelves.},
  contentnote = {TC:
     1. Janet Aisbett and Greg Carlson, "Epistemic Utility in
     		Commonsense Reasoning", pp. 1--21
     2. Maria Aloni, "Conceptual Covers in Dynamic Semantics", pp. 23--45
     3. Carlos Areces and Ver\'onica Becher and Sebastian
     		 Ferro, "Characterization
     		 Results for d-{H}orn Formulas", pp. 49--66
     4. Cristian S. Calude, "A Glimpse into Algorithmic
     		Information Theory", pp. 67--83
     5. Robin Cooper, "Information States, Attitudes, and Dependent
     		Record Types", pp. 85--127
     6. Paul Dekker, "The Semantics of Dynamic Conjunction", pp. 107--127
     7. Peter G\"ardenfors, "Concept Combination: A Geometrical
     		Model", pp. 129--146
     8. Jelle Gerbrandy, "Identity in Epistemic Semantics", pp. 147--159
     9. Yasuhiro Katagiri, "An Implicit Argument Analysis of {J}apanese
     		Zeros", pp. 161--178
    10. Yookyung Kim, "A Situation Semantic Account of Topic vs.
    		Nominative Marking", pp. 179--199
    11. Hisashi Komatsu, "Belief and the Epistemic Channel", pp. 201--216
    12. Gregory R. Mulhauser, "Functions, Representations, and
    		Zombies", pp. 217--240
    13. Satoshi Tojo, "Aspect Analysis in Arrow Logic", pp. 241--264
    14. Michael van Lambalgen, "Logical Constructions Suggested by
    		Vision", pp. 265--293
    15. Kees Vermeulen, "Information in Discourse: A Game for Many
    		Agents", pp. 295--318
    16. Cees Witteveen and Wiebe van der Hoek, "How to Recover from
    		(Non)Monotonic Inconsistencies", pp. 319--340},
 topic = {situation-semantics;nonmonotonic-logic;dynamic-logic;}
  }

@article{ cavell:1958a,
  author = {Stanley Cavell},
  title = {Must We Mean What We Say?},
  journal = {Inquiry},
  year = {1958},
  volume = {1},
  pages = {152--212},
  missinginfo = {number},
  topic = {speaker-meaning;JL-Austin;pragmatics;}
  }

@incollection{ cavell:1969a,
  author = {Stanley Cavell},
  title = {Austin at Criticism},
  booktitle = {Symposium on J.L. Austin},
  publisher = {Routledge and Kegan Paul},
  year = {1969},
  editor = {K.T. Fann},
  pages = {59--75},
  address = {London},
  missinginfo = {E's 1st name.},
  topic = {JL-Austin;ordinary-language-philosophy;}
  }

@book{ cavell:1979a,
  author = {Stanley Cavell},
  title = {The Claim of Reason},
  publisher = {Oxford University Press},
  year = {1979},
  address = {Oxford},
  ISBN = {0-19-502571-7},
  rtnote = {In RHT collection.  Contemporary Philosophy shelves.},
  topic = {skepticism;epistemology;}
 }

@book{ cavinesse-boyle:1990a,
  editor = {B.F. Cavinesse and F. Boyle},
  title = {Future Directions for Research in Symbolic
  	Computation},
  publisher = {Society for Industrial and Applied Mathematics},
  year = {1990},
  address = {Philadelphia},
  topic = {symbolic-computation;computer-assisted-science;}
 }

@incollection{ cawsey:1990a,
  author = {Alison Cawsey},
  title = {Generating Explanatory Discourse},
  booktitle = {Current Research in Natural Language Generation},
  year = {1990},
  editor = {Robert Dale and Chris Mellish and Michael Zock},
  publisher = {Academic Press},
  address = {London},
  pages = {75--101},
  topic = {explanation;discourse;discourse-planning;nl-generation;
  	pragmatics;}
}

@book{ cawsey:1992a,
  author = {Alison Cawsey},
  title = {Explanation and Interaction: The Computer Generation of
		  Explanatory Dialogues},
  publisher = {MIT Press},
  address = {Cambridge, Massachusetts},
  year = {1992},
  ISBN = {0262032023},
  rtnote = {UMich Media Union Library, QA 76.9 .H85 C381 1992.},
  topic = {explanation;discourse;discourse-planning;nl-generation;
  	pragmatics;computational-dialogue;}
 }

@article{ cawsey:1993a,
  author = {Alison Cawsey},
  title = {Planning Interactive Explanations},
  journal = {International Journal of Man-Machine Studies},
  year = {1993},
  volume = {38},
  number = {2},
  topic = {explanation;discourse;discourse-planning;nl-generation;
  	pragmatics;}
}

@inproceedings{ cayrol:1995a,
  author = {Claudette Cayrol},
  title = {On the Relation Between Argumentation and Non-Monotonic
  	Coherence-Based Entailment},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {1443--1448},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  rtnote = {In RHT collection.},
  topic = {nonmonotonic-reasoning;belief-revision;argument-systems;}
  }

@article{ cayrol-etal:2001a,
  author = {Michel Cayrol and Pierre R\'egnier and Vincent Vidal},
  title = {Least Commitment in Graphplan},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {130},
  number = {1},
  pages = {85--118},
  topic = {planning-algorithms;graph-based-reasoning;}
  }

@inproceedings{ centineo:1995a,
  author = {Giulia Centineo},
  title = {The Distribution of {\em si} in {I}talian
		Transitive/Inchoative Pairs},
  booktitle = {Proceedings from Semantics and Linguistic Theory {V}},
  year = {1995},
  editor = {Mandy Simons and Teresa Galloway},
  pages = {54--71},
  publisher = {Cornell University},
  address = {Ithaca, New York},
  note = {Available from CLC Publications, Department of Linguistics,
  	Morrill Hall, Cornell University, Ithaca, NY 14853-4701.},
  topic = {nl-semantics;argument-structure;Italian-language;
		reflexive-constructions;inchoatives;}
  }

@article{ cenzer-remmel:2006a,
  author = {Douglas Cenzer and Jeffrey B. Remmel},
  title = {Complexity, Decidability, and Completeness},
  journal = {Journal of Symbolic Logic},
  year = {2006},
  volume = {71},
  number = {2},
  pages = {399--424},
  topic = {complexity-theory;completeness-theorems;}
  }

@book{ cercone:1987a,
  editor = {Nick Cercone and Gordon McCalla},
  title = {The Knowledge Frontier},
  publisher = {Springer-Verlag},
  year = {1987},
  address = {Berlin},
  rtnote = {Was intended as a review of field of KR.  Rather uneven.
 	Contains an intro by McCalla and Cercone.  Chapters by Woods,
	Webber "Logic and NL", Zadeh, W.Marek, E.Elcock, J.Doyle, L.Schubert,
	S.Shapiro, Poole, McDermott.},
  topic = {kr;kr-course;}
 }

@incollection{ cercone-etal:1992a,
  author = {Nick Cercone and Randy Goebel and John de Haan and
  	Stephanie Schaeffer},
  title = {The {ECO} Family},
  booktitle = {Semantic Networks in Artificial Intelligence},
  publisher = {Pergamon Press},
  year = {1992},
  editor = {Fritz Lehmann},
  pages = {95--131},
  address = {Oxford},
  contentnote = {ECO is another way of translating logic into graph-based
  	notation, with extensions to handle features of NL not
	commonly dealt with in FOL.  Quantifiers, descriptions, time,
	adverbs, intensional constructions.  The description of the
	associated reasoning procedures is pretty vague.  Apparently
	there is a general theorem prover and there are various
	specialized reasoners.  Len Schubert seems to have played a
	role in it early on; it looks as if he has dropped out.
  },
  topic = {kr;semantic-networks;kr-course;}
  }

@article{ cerf:1966a1,
  author = {Walter Cerf},
  title = {Critical Notice of {\it How to Do Things With Words}},
  journal = {Mind, New Series},
  year = {1975},
  volume = {66},
  pages = {262--285},
  missinginfo = {number},
  xref = {Reprinted in fann:1969a; see cerf:1966a2},
  topic = {JL-Austin;speech-acts;pragmatics;ordinary-language-philosophy;}
  }

@incollection{ cerf:1966a2,
  author = {Walter Cerf},
  title = {Critical Review of \emph{{H}ow to Do Things With Words}, by
  	{J}ohn {L}. {A}ustin},
  booktitle = {Symposium on J.L. Austin},
  publisher = {Routledge and Kegan Paul},
  year = {1969},
  editor = {K.T. Fann},
  pages = {351--379},
  address = {London},
  missinginfo = {E's 1st name.},
  xref = {Reprinted; see cerf:1966a1},
  topic = {JL-Austin;speech-acts;pragmatics;ordinary-language-philosophy;}
  }

@article{ cerkaz:2002a,
  author = {Paul S. Cerkaz},
  title = {{TALPS}: The {T-AVB} Automated Load-Planning System},
  journal = {The {AI} Magazine},
  year = {2002},
  volume = {23},
  number = {2},
  pages = {77--87},
  topic = {planning-applications;autonomous-agents;}
  }

@incollection{ cervesato-etal:1998a,
  author = {Iliano Cervesato and Massimo Franceschet and Angelo
		Montanari},
  title = {The Complexity of Model Checking in Modal Event Calculi
		with Quantifiers},
  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 = {368--379},
  address = {San Francisco, California},
  topic = {kr;complexity-in-AI;event-calculus;kr-course;}
  }

@article{ ceslinski:2007a,
  author = {Cezary Ce\'sli\'nski},
  title = {Deflationism, Conservatism, and Maximality},
  journal = {Journal of Philosophical Logic},
  year = {2007},
  volume = {36},
  number = {6},
  pages = {695--705},
  abstract = {We discuss two desirable properties of deflationary
    truth theories: conservativeness and maximality. Joining them
    together, we obtain a notion of a maximal conservative truth
    theory - a theory which is conservative over its base, but can't
    be enlarged any further without losing its conservative
    character.  There are indeed such theories; we show however that
    none of them is axiomatizable, and moreover, that there will be
    in fact continuum many theories of this sort. It turns out in
    effect that the deflationist still needs some additional
    principles, which would permit him to construct his preferred
    theory of truth},
  topic = {deflationary-analyses;truth;}
  }

@incollection{ cettolo-etal:1998a,
  author = {Mauro Cettolo and Roberto Gretter and Renato de
       		Mori},
  title = {Knowledge Integration},
  booktitle = {Spoken Dialogues with Computers},
  publisher = {Academic Press},
  year = {1998},
  editor = {Renato de Mori},
  pages = {231--256},
  address = {New York},
  contentnote = {I.e., integrating speech with lexical models.},
  topic = {speech-recognition;acoustic-modeling;}
  }

@incollection{ cettolo-etal:1998b,
  author = {Mauro Cettolo and Roberto Gretter and Renato de
       		Mori},
  title = {Search and Generation of Word Hypotheses},
  booktitle = {Spoken Dialogues with Computers},
  publisher = {Academic Press},
  year = {1998},
  editor = {Renato de Mori},
  pages = {257--309},
  address = {New York},
  topic = {speech-recognition;word-hypotheses;}
  }

@article{ chabert-jaulin:2009a,
  author = {Gilles Chabert and Luc Jaulin},
  title = {Contractor Programming},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {173},
  number = {11},
  pages = {1079--1100},
  topic = {constraint-programming;}
  }

@incollection{ chafe:1976a,
  author = {Wallace Chafe},
  title = {Givenness, Contrastiveness, Definiteness, Subjects, Topics, and
  	Points of View},
  booktitle = {Subject and Topic},
  publisher = {Academic Press},
  year = {1976},
  editor = {C.N. Li},
  pages = {25--55},
  address = {New York},
  missinginfo = {E's 1st name},
  rtnote = {In RHT collection.},
  topic = {s-topic;d-topic;pragmatics;}
  }

@article{ chafe:1988a,
  author = {Wallace Chafe},
  title = {Punctuation and the Prosody of Written Language},
  journal = {Written Communication},
  volume = {5},
  number = {4},
  pages = {395--426},
  year = {1988},
  topic = {punctuation;}
}

@book{ chagrov-zakharyaschev:1996a,
  author = {Akexander Chagrov and Michael Zakharyaschev},
  title = {Modal Logic},
  publisher = {Oxford University Press},
  year = {1996},
  address = {Oxford},
  rtnote = {In RHT collection.},
  topic = {modal-logic;}
 }

@book{ chagrov-zakharyaschev:1997a,
  author = {Alexander Chagrov and Michael Zakharyaschev},
  title = {Modal Logic},
  publisher = {Oxford University Press},
  year = {1997},
  xref = {Reviews: goranko:1999a, venema:2000a.},
  rtnote = {In RHT Collection.  Logic shelves.},
  ISBN = {0 19 853779 4},
  topic = {modal-logic;}
 }

@article{ chagrova:1991a,
  author = {Lilia A. Chagrova},
  title = {An Undecidable Problem in Correspondence Theory},
  journal = {Journal of Symbolic Logic},
  year = {1991},
  volume = {56},
  number = {4},
  pages = {1261--1272},
  contentnote = {Shows that the set of formulas of intuitionistic
  	logic whose validity conditions are first-order definable
	is reducable to an undecidable problem involving "Minsky
	Machines".},
  topic = {modal-logic;(un)decidability;}
  }

@incollection{ chagrova:1998a,
  author = {Lilia A. Chagrova},
  title = {On the Degree of Neighborhood Incompleteness
     		of Normal Modal Logics},
  booktitle = {Advances in Modal Logic, Volume 1},
  publisher = {{CSLI} Publications},
  year = {1998},
  editor = {Marcus Kracht and Maarten de Rijke and Heinrich Wansing},
  pages = {63--72},
  address = {Stanford, California},
  topic = {modal-logic;}
  }

@article{ chai_j-etal:2002a,
  author = {Joyce Chai and Veronika Horvath and Nicolas Nicolov
  	and Margo Stys and Nanda Kambhatla and Wlodek Zadrozny
	and Orem Melville},
  title = {Natural Language Assistant: A Dialog System for Online
  	Product Recommendation},
  journal = {The {AI} Magazine},
  year = {2002},
  volume = {23},
  number = {2},
  pages = {63--75},
  topic = {computational-dialogue;}
  }

@incollection{ chai_jy-bierman:1997a,
  author = {Joyce Yue Chai and Alan W. Bierman},
  title = {The Use of Lexical Semantics in Information Extraction},
  booktitle = {Automatic Information Extraction and Building of
  	Lexical Semantic Resources for {NLP} Applications},
  publisher = {Association for Computational Linguistics},
  year = {1997},
  editor = {Piek Vossen and Geert Adriaens and Nicoletta Calzolari
  	and Antonio Sanfilippo and Yorick Wilks},
  pages = {61--70},
  address = {New Brunswick, New Jersey},
  topic = {lexical-semantics;information-retrieval;}
  }

@book{ chai_l:1998a,
  author = {Leon Chai},
  title = {Jonathan {E}dwards and the Limits of Enlightenment
  	Philosophy},
  publisher = {Oxford University Press},
  year = {1998},
  address = {Oxford},
  topic = {Jonathan_Edwards;}
 }

@book{ chaitin:1987a,
  author = {Gregory J. Chaitin},
  title = {Algorithmic Information Theory},
  publisher = {Cambridge University Press},
  address = {Cambridge},
  year = {1987},
  ISBN = {0521343062},
  rtnote = {UMich MEDIA UNION LIBRARY, QA267 .C481 1987.},
  topic = {algorithmic-complexity;}
 }

@incollection{ chaitin:1988a,
  author = {Gregory J. Chaitin},
  title = {An Algebraic Equation for the Halting
       		Probability},
  booktitle = {The Universal {T}uring Machine: A Half-Century
  	Survey},
  publisher = {Oxford University Press},
  year = {1988},
  editor = {Rolf Herkin},
  pages = {279--283},
  address = {Oxford},
  topic = {foundations-of-computation;theory-of-computation;}
  }

@book{ chaitin:1998a,
  author = {Gregory J. Chaitin},
  title = {The Limits of Mathematics: A Course on Information
  	Theory and the Limits of Reasoning},
  publisher = {Springer-Verlag},
  year = {1998},
  address = {Berlin},
  ISBN = {981308359X},
  rtnote = {UMich Media Union Library: QA 76.9 .M35 C481 1998},
  xref = {Review: djukic:2001a.},
  topic = {algorithmic-information-theory;algorithmic-complexity;}
 }

@book{ chaitin:1999a,
  author = {Gregory J. Chaitin},
  title = {The Unknowable},
  publisher = {Springer-Verlag},
  year = {1999},
  address = {Berlin},
  ISBN = {9814021725 (hardcover)},
  rtnote = {UMich SCIENCE, QA 276 .C4371 1999.},
  topic = {complexity-theory;goedels-first-theorem;}
 }

@book{ chaitin:2001a,
  author = {Gregory J. Chaitin},
  title = {Exploring Randomness},
  publisher = {Springer-Verlag},
  year = {2001},
  address = {Berlin},
  ISBN = {1852334177 (acid-free paper)},
  rtnote = {UMich SCIENCE, QA 267 .C4851 2001.},
  topic = {complexity-theory;randomness;}
 }

@inproceedings{ chajewska-etal:1998a,
  author = {Urszula Chajewska and L. Getoor and J. Norman and Y. Shahar},
  title = {Utility Elicitation as a Classification Problem},
  booktitle = {Uncertainty in Artificial Intelligence.  Proceedings of
  	the Fourteenth Conference (1998)},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco},
  year = {1998},
  pages = {79--88},
  rtnote = {In RHT collection.},
  topic = {preference-elicitation;}
	}

@article{ chakrabarti:1994a,
  author = {P.P. Chakrabarti},
  title = {Algorithms for Searching Explicit {AND/OR} Graphs and Their
  	Applications to Problem Reduction Search},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {65},
  number = {2},
  pages = {329--345},
  topic = {search;and/or-graphs;}
  }

@article{ chakrabarti-etal:1986a,
  author = {P.P.  Chakrabarti and S. Ghose and S.C. DeSarkar},
  title = {Heuristic Search through Islands},
  journal = {Artificial Intelligence},
  year = {1986},
  volume = {29},
  number = {3},
  pages = {339--347},
  topic = {search;}
  }

@article{ chakrabarti-etal:1987a,
  author = {P.P. Chakrabarti and S. Ghose and S.C. DeSarkar},
  title = {Admissibility of {AO}* when Heuristics Overestimate},
  journal = {Artificial Intelligence},
  year = {1987},
  volume = {34},
  number = {1},
  pages = {97--113},
  topic = {AI-algorithms-analysis;}
  }

@article{ chakrabarti-etal:1989a,
  author = {P.P. Chakrabarti and S. Ghose and A. Acharya and S.C.
  	de Sarkar},
  title = {Heuristic Search in Restricted Memory},
  journal = {Artificial Intelligence},
  year = {1989},
  volume = {41},
  number = {2},
  pages = {197--221},
  topic = {search;heuristics;}
  }

@incollection{ chalasani-etal:1991a,
  author = {Prasad Chalasani and Oren Etzioni and John Mount},
  title = {Integrating Efficient Model-Learning and Problem-Solving
  	Algorithms in Permutation Environments},
  booktitle = {{KR}'91: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1991},
  editor = {James F. Allen and Richard Fikes and Erik Sandewall},
  pages = {89--98},
  address = {San Mateo, California},
  topic = {machine-learning;complexity-in-AI;}
  }

@inproceedings{ chalmers_c:1994a,
  author = {Chris Chalmers},
  title = {Analysing and Generating {E}nglish Compound Structures for
  	Machine Translation},
  booktitle = {Proceedings of the Workshop on Compound Nouns:
  	Multilingual Aspects of Nominal Composition},
  year = {1994},
  editor = {Dominique Bouillon and Pierre Bouillon},
  pages = {125--134},
  organization = {ISSCO},
  publisher = {ISSCO},
  address = {Geneva},
  topic = {compound-nominals;}
  }

@article{ chalmers_dj:1995a,
  author = {David J. Chalmers},
  title = {Minds, Machines, and Mathematics:  A Review of
  	\emph{Shadows of the Mind}, by {R}oger {P}enrose},
  journal = {Psyche},
  year = {1995},
  volume = {2},
  url = {http://psyche.cs.monash.edu.au},
  missinginfo = {A's 1st name, number},
  xref = {Review of: penrose:1994a},
  topic = {foundations-of-cognition;goedels-first-theorem;
  	foundations-of-computation;goedels-second-theorem;}
  }

@book{ chalmers_dj:1996a,
  author = {David J. Chalmers},
  title = {The Conscious Mind: In Search of a Fundamental Theory},
  publisher = {Oxford University Press},
  year = {1996},
  address = {Oxford},
  ISBN = {0195105532},
  rtnote = {UMich Graduate Library, BD 418.3 .C431 1996.},
  topic = {philosophy-of-mind;consciousness;}
 }

@incollection{ chalmers_dj:2002a,
  author = {David J. Chalmers},
  title = {On Sense and Intention},
  booktitle = {Philosophical Perspectives 16: Language and Mind, 2002},
  publisher = {Blackwell Publishers},
  year = {2002},
  editor = {James E. Tomberlin},
  pages = {135--182},
  address = {Oxford},
  topic = {intensionality;philosophy-of-language;}
  }

@incollection{ chalmers_dj:2003a,
  author = {David J. Chalmers},
  title = {The Nature of Narrow Content},
  booktitle = {Philosophy of Mind},
  publisher = {Blackwell Publishers},
  year = {2003},
  editor = {Ernest Sosa and Enrique Villanueva},
  pages = {46--61},
  address = {Oxford},
  topic = {broad/narrow-content;}
  }

@article{ chalmers_dj-jackson_f:2001a,
  author = {David J. Chalmers and Frank Jackson},
  title = {Conceptual Analysis and Reductive Explanation},
  journal = {The Philosophical Review},
  year = {2000},
  volume = {110},
  number = {3},
  pages = {315--360},
  topic = {reduction;a-priori;metaphysics;}
  }

@article{ chalmers_dj-jackson_fc:2001a,
  author = {David J. Chalmers and Frank C. Jackson},
  title = {Conceptual Analysis and Reductive Explanation},
  journal = {The Philosophical Review},
  year = {2000},
  volume = {110},
  number = {3},
  pages = {315--360},
  topic = {reduction;a-priori;metaphysics;}
  }

@inproceedings{ chalupsky:2000a,
  author = {Hans Chalupsky},
  title = {Onto{M}orph: A Translation System for Symbolic Logic},
  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 = {471--482},
  topic = {knowledge-integration;}
  }

@article{ chalupsky-etal:2002a,
  author = {Hans Chalupsky and Yolinda Gil and Craig A. Knoblock and
  	Kristina Lerman and Jean Oh and David V. Pynadath and Milind
	Tambe},
  title = {Electronic Elves: Agent Technology for Supporting Human
  	Organizations},
  journal = {The {AI} Magazine},
  year = {2002},
  volume = {23},
  number = {2},
  pages = {11--24},
  topic = {CSCW;autonomous-agents;}
  }

@incollection{ champagne-etal:1999a,
  author = {Maud Champagne and Jacques Virbel and Jean-Luc
			Nespoulous},
  title = {The Differential (?) Processing of Literal and
			Non-Literal Speech Acts:  A Psycholinguistic Approach},
  booktitle = {Modeling and Using Contexts: Proceedings of
	the Second International and Interdisciplinary
	Conference, {CONTEXT}'99},
  publisher = {Springer-Verlag},
  year = {1999},
  editor = {Paolo Bouquet and Luigi Serafini and Patrick
	Br\'ezillon	and Massimo Benerecetti and Francesca
	Castellani},
  pages = {451--454},
  address = {Berlin},
  topic = {context;speech-acts;psycholinguistics;}
  }

@inproceedings{ chan_h-darwiche:2002a,
  author = {Hai Chan and Adnan Darwiche},
  title = {A Distance Measure for Bounding Probabilistic Belief Change},
  booktitle = {Proceedings of the Eighteenth National Conference on
              Artificial Intelligence},
  year = {2002},
  editor = {Rina Dechter and Michael Kearns and Richard S. Sutton},
  pages = {539--545},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {probability-kinematics;}
  }

@incollection{ chan_h-darwiche:2003a,
  author = {Hei Chan and Adnan Darwiche},
  title = {Revisiting the Problem of Belief Revision with Uncertain
  	Evidence},
  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 = {57--63},
  address = {Menlo Park, California},
  topic = {belief-revision;reasoning-about-uncertainty;}
  }

@article{ chan_tyt:2002a,
  author = {Tony Y.T. Chan},
  title = {Unifying Metric Approach to the Triple Parity},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {141},
  number = {1--2},
  pages = {123--135},
  topic = {connectionist-models;machine-learning;}
  }

@article{ chandler_h:1967a,
  author = {Hugh Chandler},
  title = {Excluded Middle},
  journal = {The Journal of Philosophy},
  year = {1967},
  volume = {64},
  number = {24},
  pages = {807--814},
  topic = {truth-value-gaps;negation;vagueness;}
  }

@article{ chandler_m:1988a,
  author = {Marthe Chandler},
  title = {Models of Voting Behavior in Survey Research},
  journal = {Synth\'ese},
  year = {1988},
  volume = {76},
  number = {1},
  pages = {25--48},
  topic = {voting-behavior;philosophy-of-social-science;}
  }

@incollection{ chandrasekaran-etal:1995a,
  author = {B. Chandrasekaran and Janice Glasgow and N. Hari Narayanan},
  title = {Introduction},
  booktitle = {Diagrammatic Reasoning},
  publisher = {The {MIT} Press},
  year = {1995},
  editor =  {Janice Glasgow and N. Hari Narayanan and B.
		Chandrasekaran},
  pages = {xv--xxvii},
  address = {Cambridge, Massachusetts},
  topic = {diagrams;reasoning-with-diagrams;
  	cognitive-psychology;visual-reasoning;}
  }

@book{ chandy-misra:1988a,
  author = {K. Chandy and J. Misra},
  title = {Parallel Program Design: A Foundation},
  publisher = {Addison-Wesley},
  year = {1988},
  address = {Reading, Massachusetts},
  missinginfo = {A's 1st name, number},
  topic = {distributed-systems;}
 }

@article{ chang_cc:1964a,
  author = {Chen-Chung Chang},
  title = {Some New Results in Definability},
  journal = {Bulletin of the {A}merican Mathematical Society},
  year = {1964},
  volume = {70},
  pages = {808--813},
  missinginfo = {number},
  topic = {Beth's-theorem;}
  }

@article{ chang_cl:1970a,
  author = {C.L.  Chang},
  title = {Renamable Paramodulation for Automatic Theorem Proving
  	with Equality},
  journal = {Artificial Intelligence},
  year = {1970},
  volume = {1},
  number = {3--4},
  pages = {247--256},
  topic = {theorem-proving;}
  }

@article{ chang_cl-slagle:1970a,
  author = {C.L. Chang and J.R. Slagle},
  title = {An Admissible and Optimal Algorithm for
  	Searching {AND/OR} graphs},
  journal = {Artificial Intelligence},
  year = {1970},
  volume = {2},
  number = {2},
  pages = {117--128},
  topic = {search;graph-based-reasoning;}
  }

@article{ chang_cl-slagle:1979a1,
  author = {C.L. Chang and James R.  Slagle},
  title = {Using Rewriting Rules for Connection Graphs to Prove
  	Theorems},
  journal = {Artificial Intelligence},
  year = {1979},
  volume = {12},
  number = {2},
  pages = {159--178},
  xref = {Republication: chang-slagle:1979a2.},
  topic = {theorem-proving;graph-based-reasoning;}
  }

@incollection{ chang_cl-slagle:1979a2,
  author = {C.L. Chang and James R. Slagle},
  title = {Using Rewriting Rules for Connection Graphs to Prove
  	Theorems},
  booktitle = {Readings in Artificial Intelligence},
  publisher = {Morgan Kaufmann},
  year = {1981},
  editor = {Bonnie Webber and Nils J. Nilsson},
  pages = {109--118},
  address = {Los Altos, California},
  xref = {Journal Publication: chang-slagle:1979a1.},
  topic = {theorem-proving;graph-based-reasoning;}
  }

@incollection{ chang_js-etal:1995a,
  author = {Jing-Shin Chang et al.},
  title = {Automatic Construction of a {C}hinese Electronic
  		Dictionary},
  booktitle = {Proceedings of the Third Workshop on Very
		Large Corpora},
  publisher = {Association for Computational Linguistics},
  year = {1995},
  editor = {David Yarowsky and Kenneth W. Church},
  pages = {107--120},
  address = {Somerset, New Jersey},
  topic = {computational-lexicography;Chinese-language;machine-learning;}
  }

@inproceedings{ chang_js1-chen_mh:1997a,
  author = {Jason S. Chang and Mathis H. Chen},
  title = {An Alignment Method for Noisy Parallel Corpora
  	Based on Image Processing Techniques},
  booktitle = {Proceedings of the Thirty-Fifth Annual Meeting of the
		{A}ssociation for {C}omputational {L}inguistics and Eighth
		Conference of the {E}uropean Chapter of the {A}ssociation
		for {C}omputational {L}inguistics},
  year = {1997},
  editor = {Philip R. Cohen and Wolfgang Wahlster},
  pages = {297--304},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  topic = {text-alignment;}
 }

@inproceedings{ chang_js2-etal:1995a,
  author = {Jing-Shin Chang et al.},
  title = {Automatic Construction of a {C}hinese Electronic
  	Dictionary},
  booktitle = {Proceedings of the Third Workshop on Very
		Large Corpora},
  year = {1995},
  editor = {David Yarovsky and Kenneth Church},
  pages = {107--120},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  rtnote = {In RHT collection.},
  missinginfo = {Other aus.},
  topic = {corpus-linguistics;machine-learning;dictionary-construction;
  	machine-readable-dictionaries;}
  }

@unpublished{ chang_o:2002a,
  author = {Otfried Chang},
  title = {The Hyperlatex Markup Language},
  year = {2002},
  note = {Unpublished manuscript, Utrecht University},
  rtnote = {In RHT collection.  Manuals.},
  topic = {TeX/LaTeX-manual;}
  }

@book{ chang_r:1997a,
  editor = {Ruth Chang},
  title = {Incommensurability, Incomparability, and Practical Reasoning},
  publisher = {Harvard University Press},
  year = {1997},
  address = {Cambridge, Massachusetts},
  ISBN = {0674447557},
  contentnote = {TC:
  	1. Ruth Chang, "Introduction"
	2. James Griffin, "Incommensurability: What's the
		Problem?"
        3. David Wiggins, "Incommensurability: Four Proposals"
	4. John Broome, "Is Incommensurability Vagueness?"
	5. Elizabeth Anderson, "Practical Reason and Incommensurable
                 Goods"
	6. Joseph Raz, "Incommensurability and agency"
	7. Donald Regan, "Value, Comparability, and Choice"
	8. Elijah Millgram, "Incommensurability and Practical
                 Reasoning"
        9. Charles Taylor, "Leading a life"
       10. Steven Lukes, "Comparing the Incomparable: Trade-Offs and
       		Sacrifices"
       11. Michael Stocker, "Abstract and Concrete Value: Plurality,
                Conflict, and Maximization"
       12. John Finnis, "Commensuration and Public Reason"
   },
  rtnote = {UMich Graduate Library, BD 236 .I531 1997.},
  topic = {incommensurability-in-ethics;}
 }

@book{ chang_r:1998a,
  editor = {Ruth Chang},
  title = {Incommensurability, Incomparability, and Practical
  	Reasoning},
  publisher = {Harvard University Press},
  year = {1998},
  address = {Cambridge, Massachusetts},
  topic = {practical-reasoning;foundations-of-utility;}
 }

@article{ chang_yh:2007a,
  author = {Yu-Han Chang},
  title = {No Regrets about No-Regret},
  journal = {Artificial Intelligence},
  year = {2007},
  volume = {171},
  number = {7},
  pages = {434--439},
  topic = {multiagent-learning;game-theory;}
  }

@incollection{ chao_yr:1962a,
  author = {Yuen Ren Chao},
  title = {Models in Linguistics and Models in General},
  booktitle = {Logic, Methodology, and Philosophy of Science: Proceedings
  		of the 1960 International Congress},
  publisher = {Stanford University Press},
  year = {1962},
  editor = {Ernest Nagel and Patrick Suppes and Alfred Tarski},
  pages = {558--566},
  address = {Stanford, California},
  topic = {philosophy-of-linguistics;philosophy-of-science;}
  }

@article{ chapman_d:1985a,
  author = {David Chapman},
  title = {Planning for Conjunctive Goals},
  journal = {Artificial Intelligence},
  year = {1985},
  volume = {32},
  number = {3},
  pages = {333--377},
  topic = {planning;}
  }

@book{ chapman_s:2000a,
  author = {Siobhan Chapman},
  title = {Philosophy for Linguists},
  publisher = {Routledge},
  year = {2000},
  address = {New York},
  ISBN = {041520659-6 (paperback)},
  topic = {philosophy-and-linguistics;philosophy-of-language;}
 }

@book{ chapman_s:2005a,
  author = {Siobhan Chapman},
  title = {Paul {G}rice, Philosopher and Linguist},
  publisher = {Palgrave, Macmillan},
  year = {2005},
  address = {New York},
  ISBN = {1-4039-0297-6},
  rtnote = {In RHT collection.  Out for Reading Dec 08},
  topic = {Grice;philosophy-of-language;}
 }

@article{ chapman_t:1972a,
  author = {Tobias Chapman},
  title = {On a New Escape from Logical Determinism},
  journal = {Mind, New Series},
  year = {1972},
  volume = {81},
  number = {324},
  pages = {597--599},
  xref = {Criticism of: cahn_sm:1967a.},
  xref = {Reply: cahn_sm:1974a.},
  topic = {future-contingent-propositions;}
  }

@book{ chapman_t:1982a,
  author = {T. Chapman},
  title = {Time: A Philosophical Analysis},
  publisher = {D. Reidel Publishing Co.},
  year = {1982},
  address = {Dordrecht},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {philosophy-of-time;(in)determinism;causality;temporal-logic;}
 }

@article{ chapuis:1996a,
  author = {Andr\'e Chapuis},
  title = {Alternative Revision Theories of Truth},
  journal = {Journal of Philosophical Logic},
  year = {1996},
  volume = {25},
  number = {4},
  pages = {399--423},
  topic = {truth;}
  }

@book{ chapuis-gupta_a1:2000a,
  editor = {Andr\'e Chapuis and Anil Gupta},
  title = {Circularity, Definition, and Truth},
  publisher = {Indian Council of Philosophical Research},
  year = {2000},
  address = {New Delhi},
  xref = {Review: glanzberg:2002a},
  topic = {definitions;truth;semantic-paradoxes;}
 }

@article{ charland:2001a,
  author = {Louis C. Charland},
  title = {Review of \emph{{S}trong Feelings: Emotion, Addiction, and
  	Human Behavior}, by {J}on {E}lster},
  journal = {The Philosophical Review},
  year = {2001},
  volume = {110},
  number = {1},
  pages = {108--110},
  xref = {Review of elster:1999b.},
  topic = {emotion;addiction;}
  }

@book{ charles_d:1984a,
  author = {David Charles},
  title = {Aristotle's Philosophy of Action},
  publisher = {Duckworth},
  year = {1984},
  address = {London},
  rtnote = {HILLMAN B491.A27 C43 1984b},
  topic = {philosophy-of-action;}
 }

@book{ charles_d:2002a,
  author = {David Charles},
  title = {Aristotle on Meaning and Essence},
  publisher = {Oxford University Press},
  year = {2002},
  address = {Oxford},
  xref = {Review: butler_t:2002a},
  topic = {Aristotle;metaphysics;}
 }

@unpublished{ charlow_n:2008a,
  author = {Nate Charlow},
  title = {Imperative Statics and Dynamics},
  year = {2009},
  note = {University of Michigan},
  url = {http://www-personal.umich.edu/~ncharlo/work/imperative_statics_and_dynamics.pdf},
  topic = {imperative-logic;imperatives;},
	}

@unpublished{ charlow_n:2009a,
  author = {Nate Charlow},
  title = {Restricting and Embedding Imperatives},
  note = {Proceedings of the Seventeenth {A}msterdam Colloquium,
  	forthcoming},
  note = {University of Michigan},
  url = {http://www-personal.umich.edu/~ncharlo/work/restricting\_embedding\_imperatives\_DRAFT.pdf},
  topic = {imperatives;}
	}

@article{ charniak:1978a,
  author = {Eugene Charniak},
  title = {On the Use of Framed Knowledge in Language Comprehension},
  journal = {Artificial Intelligence},
  year = {1978},
  volume = {11},
  number = {3},
  pages = {225--265},
  acontentnote = {Abstract:
     Notions like ``frames'', ``scripts'' etc. are now being used in
     programs to uderstand connected discourse. We will describe a
     program in this vein which understands simple stories about
     painting.  (Jack was painting a chair. He dipped a brush into
     some paint. Q: Why?) In particular, problems of matching, read
     time inference, and undoing false conclusions will be stressed.
     The program makes heavy use of real world knowledge, and there
     is an extensive discussion of various issues in knowledge
     representation and how they affect frame representations:
     modularity, the need for problem solving, wordly vs control
     knowledge, and cleanliness. The paper concludes with an
     extensive discussion of the program's shortcomings.  },
  topic = {frames;nl-processing;}
  }

@article{ charniak:1981a,
  author = {Eugene Charniak},
  title = {A Common Representation for Problem-Solving and
  	Language-Comprehension Information},
  journal = {Artificial Intelligence},
  year = {1981},
  volume = {16},
  number = {3},
  pages = {225--255},
  acontentnote = {Abstract:
     Many in Artificial Intelligence have noted the common concerns
     of problem-solving and language-comprehension research. Both
     must represent large bodies of real world knowledge, and both
     must use such knowledge to infer new facts from old. Despite
     this the two subdisciplines have, with minor exceptions, kept
     arm's length.  So, for example, many in language comprehension
     have adopted some form of `frame' representation, while
     problem-solving people have tended to use predicate calculus.
      In this paper I will first show that this is not merely
     idiosyncratic behavior, but rather stems from the different
     issues stressed by the two areas, problem solvers being
     primarily concerned with deep inferences in narrow domains,
     while language comprehenders being more concerned with shallow
     inference in broader areas. I will then suggest a compromise
     position which will use both frames and predicate calculus, and
     then show how this representation has features desired by both
     camps.},
  topic = {kr;frames;natural-language-undersrtanding;problem-solving;}
  }

@article{ charniak:1983a,
  author = {Eugene Charniak},
  title = {Passing Markers: A Theory of Contextual Influence in
  	Language Comprehension},
  journal = {Cognitive Science},
  year = {1983},
  volume = {7},
  pages = {171--190},
  missinginfo = {number},
  topic = {context;nl-comprehension-psychology;}
  }

@inproceedings{ charniak:1986b1,
  author = {Eugene Charniak},
  title = {Jack and {J}anet in Search of a Theory of Knowledge},
  booktitle = {Proceedings of the Seventh International Joint
  	Conference on Artificial Intelligence},
  year = {1973},
  editor = {Max B. Clowes},
  pages = {337--343},
  publisher = {International Joint Conference on Artificial Intelligence},
  address = {Menlo Park, California},
  xref = {Republished in grosz-etal:1986a; see charniak:1986b2.},
  topic = {nl-understanding;}
 }

@incollection{ charniak:1986b2,
  author = {Eugene Charniak},
  title = {Jack and {J}anet in Search of a Theory of Knowledge},
  booktitle = {Readings in Natural Language Processing},
  publisher = {Morgan Kaufmann},
  year = {1986},
  editor = {Barbara G. Grosz and Karen Sparck Jones and Bonnie L. Webber},
  pages = {331--338},
  address = {Los Altos, California},
  missinginfo = {Original publication: charniak:1986b1.},
  topic = {nl-understanding;}
  }

@article{ charniak:1987a,
  author = {Eugene Charniak},
  title = {Logic and Explanation},
  journal = {Computational Intelligence},
  year = {1987},
  volume = {3},
  issue = {3},
  pages = {172--174},
  xref = {kr;foundations-of-kr;logic-in-AI;}
  }

@article{ charniak:1988a,
  author = {Eugene Charniak},
  title = {Motivation Analysis, Abductive Unification, and
  	Nonmonotonic Equality},
  journal = {Artificial Intelligence},
  year = {1988},
  volume = {34},
  number = {3},
  pages = {275--295},
  acontentnote = {Abstract:
     Motivation analysis in story comprehension requires matching an
     action mentioned in the story against actions which might be
     predicted by possible explanatory motivations. This requires
     matching constants from the story against Skolem functions in
     the possible motivations (assuming a normal first-order
     representation of stories, plans, etc.). We will show that
     extending unification to allow for unifying two things if they
     are nonmonotonically equal does exactly what is needed in such
     cases.  We also show that such a procedure allows for a clean
     method of noun-phrase reference determination. The work
     described here has all been implemented.  },
  rtnote = {In RHT collection.},
  topic = {abduction;story-understanding;reasoning-about-attitudes;
  	nl-interpretation;}
  }

@book{ charniak:1993a,
  author = {Eugene Charniak},
  title = {Statistical Language Learning},
  publisher = {MIT Press},
  year = {1993},
  address = {Cambridge, Massachusetts},
  topic = {corpus-statistics;computational-linguistics;
  	statistical-nlp;}
 }

@article{ charniak:1998a,
  author = {Eugene Charniak},
  title = {Statistical Techniques for Natural Language Parsing},
  journal = {The {AI} Magazine},
  year = {1998},
  volume = {18},
  number = {4},
  pages = {33--43},
  topic = {corpus-statistics;computational-linguistics;
  	statistical-nlp;}
  }

@book{ charniak-etal:1980a,
 author = {Eugene Charniak and Christopher K. Riesbeck and Drew
 	McDermott},
 title = {Artificial Intelligence Programming},
 publisher = {Lawrence Erlbaum Associates},
 year = {1980},
  address = {Hillsdale, New Jersey},
  ISBN = {0898590043},
  rtnote = {UMich Graduate Library, Q336 .C481.},
  xref = {Review: london:1980a.},
  topic = {AI-programming;AI-intro;AI-text;}
 }

@inproceedings{ charniak-etal:1986a,
  author = {Eugene Charniak},
  title = {A Neat Theory of Marker Passing},
  booktitle = {Proceedings of the Fifth National Conference on
              Artificial Intelligence},
  year = {1986},
  editor = {Tom Kehler and Stan Rosenschein},
  pages = {584--588},
  organization = {American Association for Artificial Intelligence},
  publisher = {Morgan Kaufmann},
  address = {Los Altos, California},
  topic = {parallel-processing;marker-passing;}
  }

@book{ charniak-etal:1987a,
  author = {Eugene Charniak and Christopher K. Riesbeck and Drew V.
  	McDermott},
  title = {Artificial Intelligence Programming},
  edition = {2},
  publisher = {Lawrence Erlbaum Associates},
  year = {1987},
  address = {Hillsdale, New Jersey},
  ISBN = {0898596092},
  rtnote = {UMich Media Union Library Call No: Q336 .C481 1987},
  topic = {AI-programming;AI-intro;AI-text;}
 }

@article{ charniak-etal:1996a,
  author = {Eugene Charniak and Gelnn Carroll and John Adcock and
  	Anthony Cassandra and Yoshihiko Gotoh and Jeremy Katz
	and Michael Litman and John McCann},
  title = {Taggers for Parsers},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {85},
  number = {1--2},
  pages = {45--57},
  topic = {part-of-speech-tagging;probabilistic-parsers;nl-processing;}
  }

@inproceedings{ charniak-goldman_rp:1988a,
  author = {Eugene Charniak and Robert P. Goldman},
  title = {A Logic for Semantic Interpretation},
  booktitle = {Proceedings of the Twenty-Sixth Annual Meeting of the
  	Association for Computational Linguistics},
  year = {1988},
  pages = {87--94},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  missinginfo = {editor},
  topic = {computational-semantics;}
  }

@inproceedings{ charniak-goldman_rp:1989a,
  author = {Eugene Charniak and Robert P. Goldman},
  title = {A Semantics for Probabilistic Quantifier-Free First-Order
  	Languages, with Particular Application to Story Understanding},
  booktitle = {Proceedings of the Eleventh International Joint
  	Conference on Artificial Intelligence},
  year = {1989},
  editor = {N.S. Sridharan},
  pages = {1074--1079},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  topic = {computational-semantics;nl-interpretation;}
  }

@article{ charniak-goldman_rp:1993a,
  author = {Eugene Charniak and Robert P. Goldman},
  title = {A {B}ayesian Model of Plan Recognition},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {64},
  number = {1},
  pages = {53--79},
  acontentnote = {Abstract:
     We argue that the problem of plan recognition, inferring an
     agent's plan from observations, is largely a problem of
     inference under conditions of uncertainty. We present an
     approach to the plan recognition problem that is based on
     Bayesian probability theory. In attempting to solve a plan
     recognition problem we first retrieve candidate explanations.
     These explanations (sometimes only the most promising ones) are
     assembled into a plan recognition Bayesian network, which is a
     representation of a probability distribution over the set of
     possible explanations.  We perform Bayesian updating to choose
     the most likely interpretation for the set of observed actions.
     This approach has been implemented in the Wimp3 system for
     natural language story understanding.
  },
  topic = {plan-recognition;nl-understanding;Bayesian-reasoning;}
  }

@inproceedings{ charniak-johnson_m:2005a,
  author = {Eugene Charniak and Mark Johnson},
  title = {Coarse-to-Fine N-Best Parsing and MaxEnt Discriminative Reranking},
  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 = {173--180},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1022},
  topic = {syntactic-disambiguation;maximum-entropy;}
  }

@book{ charniak-mcdermott_d:1985a,
  author = {Eugene Charniak and Drew McDermott},
  title = {Introduction to Artificial Intelligence},
  publisher = {Addison-Wesley Publishing Co.},
  year = {1985},
  address = {Reading, Massachusetts},
  ISBN = {0201119455},
  rtnote = {Media Union Library Call No: Q335 .C4831 1985
  	    Graduate Library Call No: Q335 .C4831 1985},
  xref = {Review: furbach:2003a.},
  topic = {AI-intro;AI-text;}
 }

@techreport{ charniak-shimony:1990a,
  author = {Eugene Charniak and Solomon E. Shimony},
  title = {Probabilistic Semantics for Cost Based Abduction},
  institution = {Department of Computer Science, Brown University},
  number = {CS-90-02},
  year = {1990},
  address = {Providence, Rhode Island},
  topic = {abduction;}
  }

@article{ charniak-shimony:1994a,
  author = {Eugene Charniak and Solomon Eyal Shimony},
  title = {Cost-Based Abduction and {MAP} Explanation},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {66},
  number = {2},
  pages = {345--374},
  acontentnote = {Abstract:
     Cost-based abduction attempts to find the best explanation for a
     set of facts by finding a minimal cost proof for the facts. The
     costs are computed by summing the costs of the assumptions
     necessary for the proof plus the cost of the rules. We examine
     existing methods for constructing explanations (proofs), as a
     minimization problem on a DAG (directed acyclic graph). We then
     define a probabilistic semantics for the costs, and prove the
     equivalence of the cost minimization problem to the Bayesian
     network MAP (maximum a posteriori probability) solution of the
     system. A simple best-first algorithm for finding least-cost
     proofs is presented, and possible improvements are suggested.
     The semantics of cost-based abduction for complete models are
     then generalized to handle negation. This, in turn, allows us to
     apply the best-first search algorithm as a novel way of
     computing MAP assignments to belief networks that can enumerate
     assignments in order of decreasing probability. An important
     point is that improvement results for the best-first search
     algorithm carry over to the computation of MAPs.
  },
  topic = {abduction;search;probabilistic-reasoning;}
  }

@book{ charniak-wilks:1976a,
  editor = {Eugene Charniak and Yorick A. Wilks},
  title = {Computational Semantics: an Introduction to Artificial
  	Intelligence and Natural Language Comprehension},
  publisher = {North-Holland},
  year = {1976},
  address = {Amsterdam},
  ISBN = {0444111107},
  rtnote = {UMich Media Union Library Call No: P325 .C561},
  topic = {nlp-survey;computational-semantics;}
 }

@incollection{ chastain:1975a,
  author = {Charles Chastain},
  title = {Reference and Context},
  booktitle = {Language, Mind, and Knowledge.  {M}innesota Studies in
  	the Philosophy of Science, Vol. 7},
  publisher = {University of Minnesota Press},
  year = {1975},
  editor = {Keith Gunderson},
  pages = {194--269},
  address = {Minneapolis, Minnesota},
  topic = {reference;indexicals;context;}
  }

@incollection{ chatalic:1994a,
  author = {Philippe Chatalic},
  title = {Viewing Hypothesis Theories as Constrained Graded Theories},
  booktitle = {Logics in Artificial Intelligence},
  publisher = {Springer-Verlag},
  year = {1994},
  editor = {Craig Mac{N}ish and Lu\'is Moniz Pereira and David Pearce},
  pages = {261--278},
  address = {Berlin},
  topic = {modal-logic;qualitative-probability;}
  }

@incollection{ chateauneuf-etal:1991a,
  author = {A. Chateauneuf and R. Kast and A. Lapied},
  title = {Uncertainty of the Valuation of Risky Assets},
  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 = {130--134},
  address = {Berlin},
  topic = {reasoning-about-uncertainty;market-modeling;}
  }

@incollection{ chaudhri-etal:1992a,
  author = {Vinay K. Chaudhri and Vassos Hadzilacos and John Mylopoulos},
  title = {Concurrency Control for Knowledge Bases},
  booktitle = {{KR}'92. Principles of Knowledge Representation and
  	Reasoning: Proceedings of the Third International Conference},
  publisher = {Morgan Kaufmann},
  year = {1992},
  editor = {Bernhard Nebel and Charles Rich and William Swartout},
  pages = {762--773},
  address = {San Mateo, California},
  topic = {kr;concurrency-control;knowledge-base-integrity;}
  }

@inproceedings{ chaudri-mylopoulos:1995a,
  author = {Vinay Chaudri and John Mylopoulos},
  title = {Efficient Algorithms and Performance Results for Multi-User
  		Knowledge Bases},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {759--766},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  rtnote = {Alg for kb implementation, access.  Read for KR?},
  topic = {kr;large-kr-systems;kr-course;}
 }

@article{ chaves:2008a,
  author = {Rui P. Chaves},
  title = {Linearization-Based Word Ellipsis},
  journal = {Linguistics and Philosophy},
  year = {2008},
  volume = {31},
  number = {3},
  pages = {261--307},
  topic = {ellipsis;HPSG;}
  }

@inproceedings{ chavez-cooper_gf:1990a,
  author = {R. Martin Chavez and Gregory F. Cooper},
  title = {An Empirical Evaluation of a Randomized Algorithm for
 	Probabilistic Inference},
  booktitle = {Uncertainty in Artificial Intelligence 5},
  year = {1990},
  pages = {60--70},
  publisher = {Elsevier Science Publishers B.V.},
  address = {North Holland},
  editor = {M. Henrion and R.D. Shachter and L.N. Kanal and J.F. Lemmer},
  topic = {probabilistic-reasoning;empirical-methods-in-AI;}
 }

@article{ chavira-darwiche:2008a,
  author = {Mark Chavira and Adnan Darwiche},
  title = {On Probabilistic Inference by Weighted Model Counting},
  journal = {Artificial Intelligence},
  year = {2008},
  volume = {172},
  number = {6--7},
  pages = {772--799},
  topic = {Bayesian-networks;probabilistic-reasoning;}
  }

@techreport{ cheeseman:1983a,
  author = {Peter Cheeseman},
  title = {A Representation of Time for Planning},
  institution = {SRI Artificial Intelligence Center},
  number = {278},
  year = {1983},
  topic = {planning;temporal-reasoning;}
  }

@inproceedings{ cheeseman:1985a,
  author = {Peter Cheeseman},
  title = {In Defense of Probability},
  booktitle = {Proceedings of the Ninth International Joint
  	Conference on Artificial Intelligence},
  year = {1985},
  editor = {Arivind Joshi},
  pages = {1002--1009},
  publisher = {Morgan Kaufmann},
  address = {Los Altos, California},
  rtnote = {Check spelling A's name.},
  topic = {common-sense-reasoning;Bayesian-networks;
  	reasoning-about-uncertainty;}
  }

@article{ cheeseman:1988a,
  author = {Peter Cheeseman},
  title = {An Inquiry Into Computer Understanding},
  journal = {Computational Intelligence},
  year = {1988},
  volume = {4},
  number = {1},
  pages = {58--66},
  rtnote = {In RHT collection.},
  missinginfo = {number, Check Spelling A Name},
  topic = {common-sense-reasoning;Bayesian-networks;
  	reasoning-about-uncertainty;}
  }

@phdthesis{ cheikes:1994a,
  author= {Brant A. Cheikes},
  title= {Planning Responses from High-Level Goals: Adopting the Respondent's
       Perspective in Cooperative Response Generation},
  school= {University of Pennsylvania},
  address= {Philadelphia},
  year= {1991},
  topic = {nl-generation;cooperation;}
  }

@book{ chein_m-mugnier:2009a,
  author = {Michel Chein and Marie-Laure Mugnier},
  title = {Graph-Based Knowledge Representation},
  publisher = {Springer-Verlag},
  year = {2009},
  address = {Berlin},
  ISBN = {9781848002852 (print)},
  xref = {Review: rothberghofer:2009a},
  topic = {kr-text;conceptual-graphs;}
 }

@inproceedings{ chelba:1997a,
  author = {Ciprian Chelba},
  title = {A Structured Language Model},
  booktitle = {Proceedings of the Thirty-Fifth Annual Meeting of the
		{A}ssociation for {C}omputational {L}inguistics and Eighth
		Conference of the {E}uropean Chapter of the {A}ssociation
		for {C}omputational {L}inguistics},
  year = {1997},
  editor = {Philip R. Cohen and Wolfgang Wahlster},
  pages = {498--503},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  topic = {statistical-nlp;}
 }

@inproceedings{ chelba-acero:2005a,
  author = {Ciprian Chelba and Alex Acero},
  title = {Position Specific Posterior Lattices for Indexing Speech},
  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 = {443--450},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1055},
  topic = {speech-recognition;}
  }

@inproceedings{ chelba-jelinek_f:1998a,
  author = {Ciprian Chelba and Frederick Jelinek},
  title = {Exploiting Syntactic Structure for Language Modeling},
  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 = {225--231},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {statistical-nlp;word-sequence-probabilities;}
}

@article{ chella-etal:1997a,
  author = {A. Chella and Marcello Frixione and S. Gaglio},
  title = {A Cognitive Architecture for Artificial Vision},
  journal = {Artificial Intelligence},
  year = {1989},
  volume = {89},
  number = {1--2},
  pages = {73--111},
  topic = {cognitive-robotics;computer-vision;cognitive-architectures;
  	vision;}
  }

@article{ chella-etal:2000a,
  author = {A. Chella and M. Frixione and S. Gaglio},
  title = {Understanding Dynamic Scenes},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {123},
  number = {1--2},
  pages = {89--132},
  topic = {computer-vision;process-recognition;}
  }

@book{ chellas:1969a,
  author = {Brian Chellas},
  title = {The Logical Form of Imperatives},
  publisher = {Perry Lane Press},
  year = {1969},
  address = {Stanford, California},
  rtnote = {tmix-project},
  rtnote = {In RHT Collection.  LLP single author shelves.},
  topic = {modal-logic;deontic-logic;}
 }

@article{ chellas:1971a,
  author = {Brian Chellas},
  title = {Imperatives},
  journal = {Theoria},
  year = {1971},
  volume = {37},
  number = {2},
  pages = {114--229},
  rtnote = {tmix-project;},
  rtnote = {In RHT collection.},
  topic = {conditionals;deontic-logic;}
 }

@incollection{ chellas:1974a,
  author = {Brian Chellas},
  title = {Conditional Obligation},
  booktitle = {Logical Theory and Semantic Analysis},
  editor = {S{\o}ren Stenlund},
  publisher = {D. Reidel Publishing Company},
  year = {1974},
  pages = {23--33},
  rtnote = {In RHT collection.},
  topic = {deontic-logic;conditional-obligation;}
 }

@article{ chellas:1975a,
  author = {Brian Chellas},
  title = {Basic Conditional Logic},
  journal = {Journal of Philosophical Logic},
  year = {1975},
  volume = {4},
  number = {2},
  pages = {133--154},
  topic = {conditionals;}
 }

@book{ chellas:1980a,
  author = {Brian F. Chellas},
  title = {Modal Logic: An Introduction},
  publisher = {Cambridge University Press},
  year = {1980},
  address = {Cambridge, England},
  rtnote = {In RHT Collection.  Logic shelves.},
  topic = {modal-logic;}
 }

@article{ chellas:1983a,
  author = {Brian F. Chellas},
  title = {$KG^{k,l,m,n}$ and the {EMFP}},
  journal = {Logique et Analyse},
  year = {1983},
  volume = {26},
  number = {103--104},
  pages = {255--262},
  topic = {modal-logic;}
  }

@article{ chellas:1992a,
  author = {Brian Chellas},
  title = {Time and Modality in the Logic of Agency},
  journal = {Studia Logica},
  year = {1992},
  volume = {51},
  pages = {485--517},
  missinginfo = {number},
  rtnote = {MS copy in RHT collection.},
  topic = {action;}
}

@article{ chellas:1995a,
  author = {Brian Chellas},
  title = {On Bringing It about},
  journal = {Journal of Philosophical Logic},
  year = {1995},
  volume = {24},
  number = {6},
  pages = {563--571},
  topic = {agency;}
 }

@unpublished{ chellas-mckinney:1974a,
  author = {Brian Chellas and Audrey McKinney},
  title = {The Completeness of Monotonic Modal Logics},
  year = {1974},
  note = {Unpublished manuscript, University of Pennsylvania},
  rtnote = {In RHT collection.},
  topic = {modal-logic;}
  }

@article{ chellas-segerberg:1994a,
  author = {Brian F. Chellas and Krister Segerberg},
  title = {Modal Logics with the {M}ac{I}ntosh Rule},
  journal = {Journal of Philosophical Logic},
  year = {1994},
  volume = {23},
  number = {1},
  pages = {67--86},
  contentnote = {The MacIntosh rule is <>A --> []A/ []A --> <>A.},
  topic = {modal-logic;}
  }

@article{ chemero-silberstein:2008a,
  author = {Anthony Chemero and Michael Silberstein},
  title = {After the Philosophy of Mind:  Replacing Scholasticism with
  		Science},
  journal = {Philosophy of Science},
  year = {2008},
  volume = {75},
  number = {1},
  pages = {1--27},
  topic = {philosophy-of-mind;philosophy-of-cogsci;}
  }

@article{ chen_ck:2008a,
  author = {Cheryl K. Chen},
  title = {On Having a Point of View:  Belief, Action, and EgoCentric
  		States},
  journal = {The Journal of Philosophy},
  year = {2008},
  volume = {105},
  number = {5},
  pages = {240--258},
  topic = {belief;indexicals;}
  }

@article{ chen_h:2006a,
  author = {Hubie Chen},
  title = {Review of \emph{{P}rinciples of Constraint Programming},
  	by {K}rzysztof {A}pt},
  journal = {The Bulletin of Symbolic Logic},
  year = {2006},
  volume = {12},
  number = {1},
  pages = {128--131},
  xref = {Review of: apt:2003a.},
  topic = {constraint-programming;}
  }

@inproceedings{ chen_hh:1998a,
  author = {Hsin-Hsi Chen and Sheng-Jie Huang and Yung-Wei Ding and
  	Shih-Chung Tsai},
  title = {Proper Name Translation in Cross-Language Information
  	Retrieval},
  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 = {232--236},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {proper-names;machine-translation;}
}

@inproceedings{ chen_hh-lee_ys:1995a,
  author = {Hsin-Hsi Chen and Yue-Shi Lee},
  title = {Development of a Partially Bracketed
				Corpus with Part-Of-Speech Information Only},
  booktitle = {Proceedings of the Third Workshop on Very
		Large Corpora},
  year = {1995},
  editor = {David Yarovsky and Kenneth Church},
  pages = {162--172},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  rtnote = {In RHT collection.},
  topic = {corpus-linguistics;corpus-statistics;text-chunking;
		part-of-speech-tagging;machine-learning;corpus-tagging;}
  }

@article{ chen_jh-chang_js:1998a,
  author = {Jen Hen Chen and Jason S. Chang},
  title = {Topical Clustering of {MRD} Senses Based on Information
  	Retrieval Techniques},
  journal = {Computational Linguistics},
  year = {1998},
  volume = {24},
  number = {1},
  pages = {61--95},
  topic = {lexical-disambiguation;computational-lexicography;}
  }

@inproceedings{ chen_jn-chang_js:1998a,
  author = {Jen-Nan Chen and Jason S. Chang},
  title = {A Concept-based Adaptive Approach to Word Sense
  	Disambiguation},
  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 = {237--243},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {lexical-disambiguation;}
}

@inproceedings{ chen_kj-etal:1998a,
  author = {Keh-Jiann Chen and Wen Tsuei and Lee-Feng Chien},
  title = {{PAT}-Trees with the Deletion Function as the Learning
  	Device for Linguistic Patterns},
  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 = {244--250},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {machine-language-learning;PAT-trees;}
}

@incollection{ chen_l1-tokuda_n:2003a,
  author = {Lang Chen and Naoyuki Tokuda},
  title = {A New Buggy Rule and Template-Template Based Tutorial
  	Dialogue System},
  booktitle = {Working Papers of the 2003 {AAAI} Spring Symposium on
  	Natural Language Generation in Spoken and Written
	Dialogue},
  publisher = {AAAI Press},
  year = {2003},
  editor = {Reva Freedman and Charles Callaway},
  pages = {12--14},
  address = {Menlo Park, California},
  topic = {nl-generation;computational-dialogue;intelligent-tutoring;}
  }

@article{ chen_la-tokuda_n:2003a,
  author = {Liang Chen and Naoyuki Tokuda},
  title = {Robustness of Regional Matching Scheme over Global
  		Matching Scheme},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {144},
  number = {2},
  pages = {213--232},
  topic = {voting-procedures;}
  }

@inproceedings{ chen_sf-goodman_j:1996a,
  author = {Stanley F. Chen and Joshua Goodman},
  title = {An Empirical Study of Smoothing Techniques for Language
  	Modeling},
  booktitle = {Proceedings of the Thirty-Fourth Annual Meeting of the
  	Association for Computational Linguistics},
  year = {1996},
  editor = {Arivind Joshi and Martha Palmer},
  pages = {310--318},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco},
  topic = {corpus-statistics;smoothing;}
 }

@techreport{ chen_sf-goodman_j:1998a,
  author = {Stanley F. Chen and Joshua Goodman},
  title = {An Empirical Study of Smoothing Techniques for Language
  	Modeling},
  institution = {Center for Research in Computing Technology,
  	Harvard University},
  number = {TR-10-98},
  year = {1998},
  address = {Cambridge, Massachusetts},
  topic = {corpus-statistics;frequency-estimation;smoothing;}
  }

@book{ chen_ss1:1990a,
  editor = {Su-Shing Chen},
  title = {Advances in Spatial Reasoning, Volume 1},
  publisher = {Ablex Publishing Co.},
  year = {1990},
  address = {Norwood, New Jersey},
  ISBN = {0893915726},
  rtnote = {UMich Media Union Library Call No: Q 335 .A391 1990},
  topic = {spatial-reasoning;}
 }

@book{ chen_ss1:1990b,
  editor = {Su-Shing Chen},
  title = {Advances in Spatial Reasoning, Volume 2},
  publisher = {Ablex Publishing Co.},
  year = {1990},
  address = {Norwood, New Jersey},
  ISBN = {0893915734},
  rtnote = {UMich Media Union Library Call No: Q 335 .A391 1990},
  topic = {spatial-reasoning;}
 }

@article{ chen_ss2-etal:1990a,
  author = {Susan S. Chen and James M. Keller and Richard M. Crownover},
  title = {Shape from Fractal Geometry},
  journal = {Artificial Intelligence},
  year = {1990},
  volume = {43},
  number = {2},
  pages = {199--218},
  acontentnote = {Abstract:
     A novel method for the recovery of a planar surface orientation
     from its image using fractal measures is presented. A
     fractal-related feature, the average Holder constant, is defined
     in the two-dimensional topological space. It is proven that the
     average Holder constant is scale-sensitive and the distance
     ratio from any two points on the fractal surface to the viewer
     can be calculated from their average Holder constants. By
     incorporating the distance ratio into the surface-vanishing line
     formula in the geometric model, a method for inferring
     planar surface shape is derived. The novelty of this method is
     that the fractal-related feature is used as a direct input in
     the shape recovery process.  Experimental results showing the
     validity of applying this method to artificially rotated
     textured images and images of naturally textured surfaces are
     presented.
  },
  topic = {fractals;texture;distance-metrics;}
  }

@article{ chen_w-warren_ds:1993a,
  author = {W. Chen and D.S. Warren},
  title = {A Goal-Oriented Approach to Computing the Well-Founded
		Semantics},
  journal = {Journal of Logic Programming},
  year = {1993},
  volume = {17},
  pages = {279--300},
  missinginfo = {A's 1st name, number},
  topic = {logic-programming;}
  }

@article{ chen_xj-degiacomo:1999a,
  author = {Xiao Jun Chen and Giuseppe De Degiacomo},
  title = {Reasoning about Nondeterministic and Concurrent
  	Actions:  A Process Algebra Approach},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {107},
  number = {1},
  pages = {63--98},
  topic = {concurrency;concurrent-actions;process-algebras;}
  }

@incollection{ chen_y-etal:2006a,
  author = {Yan Chen and Fangzhen Lin and Yisong Wang and Mingyi Zhang},
  title = {First-Order Loop Formulas for Normal Logic Programs},
  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 = {298--307},
  address = {Menlo Park, California},
  topic = {logic-programming;}
  }

@article{ chen_yx-etal:2009a,
  author = {Yixin Chen and Ruoyun Huang and Zhao Xing and Weixiong Zhang},
  title = {Long-distance mutual exclusion for planning},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {173},
  number = {2},
  pages = {365--391},
  topic = {planning-algorithms;constraint-propagation;model-checking;}
  }

@article{ cheng_j-etal:2002a,
  author = {Jie Cheng and Russell Greiner and Jonathan Kelly and David
  	Bell and Weiru Liu},
  title = {Learning {B}ayesian Networks from Data: An Information-Theory
  	Based Approach},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {137},
  number = {1--2},
  pages = {43--90},
  topic = {Bayesian-networks;machine-learning;}
  }

@article{ cheng_ls-huang_ct:1996a,
  author = {Lisa L.-S. Cheng and C.-T James Huang},
  title = {Two Types of Donkey Sentences},
  journal = {Natural Language Semantics},
  year = {1996},
  volume = {4},
  number = {2},
  pages = {121--163},
  topic = {anaphora;donkey-anaphora;}
  }

@book{ cherniak:1986a,
  author = {Christopher Cherniak},
  title = {Minimal Rationality},
  publisher = {The {MIT} Press},
  year = {1986},
  address = {Cambridge},
  xref = {Review: spector-hendler:1987a.},
  topic = {limited-rationality;}
 }

@article{ cherniavsky:1972a,
  author = {A.L. Cherniavsky},
  title = {A Program for Timetable Compilation by a Look-Ahead
  	Method},
  journal = {Artificial Intelligence},
  year = {1972},
  volume = {3},
  number = {1--3},
  pages = {61--76},
  acontentnote = {Abstract:
     The problem of timetable compilation for a single-track railway
     is a job-shop scheduling problem but with differences that
     handicap the generation of feasible solutions. The paper states
     the problem and describes the algorithm and the experimental
     results.  The idea of the algorithm is that a feasible solution
     is obtained by successice resolving of ``conflicts'' between
     trains, this process being interpreted as the generation of some
     tree T. The way to resolve a conflict is selected by a
     look-ahead method which enables us to obtain good enough
     solutions by using a very rough estimate function.  One specific
     feature of the algorithm is that the look-ahead tree T´ is not a
     subtree of T; the other is the culs-de-sac on trees T and T´.
     When it reaches a cul-de-sac, the algorithm augments the tree
     with additional nodes.  },
  topic = {scheduling;AI-algorithms;experimental-AI;}
  }

@article{ cherniss:1951a,
  author = {Harold Cherniss},
  title = {The Characteristics and Effects of Presocratic Philosophy},
  journal = {Journal of the History of Ideas},
  year = {1951},
  volume = {12},
  number = {3},
  pages = {319--345},
  rtnote = {In RHT collection.},
  topic = {ancient-philosophy;presocratic-philosophy;}
  }

@article{ chester:1976a,
  author = {David Chester},
  title = {The Translation of Formal Proofs into {E}nglish},
  journal = {Artificial Intelligence},
  year = {1976},
  volume = {7},
  number = {3},
  pages = {261--278},
  rtnote = {In RHT collection.},
  topic = {proofs-as-discourse;}
  }

@incollection{ chevaleyre-etal:2006a,
  author = {Yann Chevaleyre and Ulle Endriss and J\'er\^ome Lang},
  title = {Expressive Power of Weighted Propositional
		Formulas for Cardinal Preference Modeling},
  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 = {145--152},
  address = {Menlo Park, California},
  topic = {preferences;qualitative-utility;}
  }

@article{ chevaleyre-etal:2008a,
  author = {Yann Chevaleyre and Ulle Endriss and Jer\^ome Lang and
  		Nicolas Maudet},
  title = {Preference Handling in Combinatorial Domains:  From
  		{AI} to Social Choice},
  journal = {The {AI} Magazine},
  year = {2008},
  volume = {29},
  number = {4},
  pages = {37--46},
  topic = {reasoning-about-preferences;social-choice-theory;
  		multiattribute-utility;qualitative-utility;}
  }

@inproceedings{ chevalier-martinex:2001a,
  author = {Aline Chevalier and Laure Martinex},
  title = {The Role of Context in the Acquisition and in the
   	Organization of Knowledge: Studies from Adults and from
	Children},
  booktitle = {Modeling and Using Context: Third International and
  	Interdisciplinary Conference, Context 2001},
  publisher = {Springer-Verlag},
  year = {2001},
  editor = {Varol Akman and Paolo Bouquet and Richmond Thomason
  	and Roger A. Young},
  pages = {425--428},
  address = {Berlin},
  topic = {context;cognitive-psychology;}
  }

@inproceedings{ chi_eh-etal:2001a,
  author = {Ed H. Chi and Peter Pirolli and Kim Chen and James Pitkow},
  title = {Using Information Scent to Model User Information Needs
  	and Actions on the Web},
  booktitle = {Proceedings of {ACM} {CHI} 2001 Conference on Human Factors in
  	Computing Systems},
  year = {2001},
  pages = {490--497},
  organization = {ACM},
  publisher = {ACM Press},
  topic = {information-retrieval;}
  }

@techreport{ chi_mth:1983a,
  author = {Micheline T.H. Chi},
  title = {A Learning Framework for Development},
  institution = {Learning Research and Development Center},
  number = {1983/18},
  year = {1983},
  address = {University of Pittsburgh, Pittsburgh, Pennsylvania},
  rtnote = {In RHT collection.},
  topic = {developmental-psychology;expertise;}
  }

@article{ chi_mth-etal:1981a,
  author = {Micheline T.H. Chi and Paul J. Feltovich and Robert Glaser},
  title = {Categorization and Representation of Physics Problems
  		by Experts and Novices},
  journal = {Cognitive Science},
  year = {1981},
  volume = {5},
  pages = {121--152},
  missinginfo = {number},
  URL = {http://cognitrn.psych.indiana.edu/rgoldsto/cogsci/Chi.pdf},
  rtnote = {In RHT collection.},
  topic = {cognitive-psychology;psychology-of-learning;physics-learning;}
  }

@techreport{ chi_mth-etal:1983a,
  author = {Micheline T.H. Chi and Robert Glaser and Ernest Rees},
  title = {Expertise in Problem Solving},
  institution = {Learning Research and Development Center},
  number = {1981/3},
  year = {1981},
  address = {University of Pittsburgh, Pittsburgh, Pennsylvania},
  rtnote = {In RHT collection.},
  topic = {expertise;}
  }

@article{ chi_zy:1999a,
  author = {Zhiyi Chi},
  title = {Statistical Properties of Probabilistic Context-Free
  	Grammars},
  journal = {Computational Linguistics},
  year = {1999},
  volume = {25},
  number = {1},
  pages = {131--160},
  topic = {probabilistic-grammars;}
  }

@article{ chi_zy-geman:1998a,
  author = {Zhiyi Chi and Stuart Geman},
  title = {Estimation of Probabilistic Context-Free Grammars},
  journal = {Computational Linguistics},
  year = {1998},
  volume = {24},
  number = {2},
  pages = {299--305},
  topic = {probabilistic-parsers;}
  }

@inproceedings{ chiang_d:2005a,
  author = {David Chiang},
  title = {A Hierarchical Phrase-Based Model for Statistical Machine
  		Translation},
  booktitle = {Proceedings of the 43rd Annual Meeting of the
  		Association for Computational Linguistics (ACL'05)},
  month = {June},
  year = {2005},
  address = {Ann Arbor, Michigan},
  publisher = {Association for Computational Linguistics},
  pages = {263--270},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1033},
  topic = {machine-translation;statistical-nlp;}
  }

@incollection{ chiarcos-stede:2004a,
  author = {Christian Chiarcos and Manfred Stede},
  title = {Salience-Driven Text Planning},
  booktitle = {Natural Language Generation: Third International
	Conference, INLG 2004},
  publisher = {Springer-Verlag},
  year = {2004},
  editor = {Anja Belz and Roger Evans and Paul Piwek},
  pages = {21--30},
  address = {Berlin},
  topic = {document-planning;nl-generation;}
  }

@article{ chichilinsky:1982a,
  author = {Graciela Chichilinsky},
  title = {Social Aggregation Rules and Continuity},
  journal = {Quarterly Journal of Economics},
  year = {1982},
  volume = {96},
  pages = {337--352},
  missinginfo = {number},
  topic = {welfare-economics;social-choice-theory;}
  }

@incollection{ chichilinsky:1983a,
  author = {Graciela Chichilinsky},
  title = {Social Choice Theory and Game Theory: Recent
	Results with a Topological Approach},
  booktitle = {Social Choice and Welfare},
  publisher = {North-Holland Publishing Company},
  year = {1983},
  editor = {Prasanta K. Pattanaik and Maurice Salles},
  pages = {79--102},
  address = {Amsterdam},
  topic = {social-choice-theory;game-theory;}
  }

@article{ chichilnisky-heal:1983a,
  author = {Graciela Chichilnisky and G. Heal},
  title = {Necessary and Sufficient
	Conditions for a Resolution of the Social Choice Paradox},
  journal = {Journal of Economic Theory},
  year = {1983},

license: MIT

license_type: permissive

branch_name: refs/heads/master

gha_license_id: MIT

extension: bib