text:
%               Bibliography of Work in Philosophy of Language,
%               Semantics, Artificial Intelligence, and Assorted
%               Related Topics.
%
%               Author: R.H. Thomason
%               Date of this version: August 19, 2010
%
%               Send additions, corrections, and comments to
%               rthomaso@umich.edu
%
%               Note: I am always interested in BibTeX formated
%               bibligraphies on related topics.
%
%               Thanks to the following people for material: Jon Doyle,
%               Jeff Horty, Matthew Stone.
%
% Notes:
% 1. The following LaTeX macro appears in some references.
%      \newcommand{\user}{\raisebox{-.3ex}{{\~{}}}}
% 2. The following package is needed for \rotatebox command, used
%    in one title: \usepackage{graphicx}
%

@book{ aaker:1981a,
  author = {David A. Aaker},
  title = {Multivariate Analysis in Marketing},
  edition = {2},
  publisher = {The Scientific Press},
  year = {1981},
  address = {Palo Alto},
  topic = {multivariate-statistics;market-research;}
 }

@incollection{ abb-etal:1996a,
  author = {Bernd Abb and Carsten G\"unther and Michael Herweg and Kai
    		Lebeth and Claudia Maienborn and Andrea Schopp},
  title = {Incremental Grammatical Encoding---An Outline of the
		Synphonics Formulator},
  booktitle = {Trends in Natural Language Generation, An Artificial
  		Intelligence Perspective, Fourth {E}uropean Workshop,
		{EWNLG} '93, Pisa, Italy, April 28-30, 1993, Selected
		Papers},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  volume = {1036},
  year = {1996},
  editor = {Giovanni Adorni and Michael Zock},
  pages = {277--299},
  address = {New York},
  topic = {nl-generation;nl-realization;}
  }

@inproceedings{ abbate-thiel:2003a,
  author = {Marcello L'Abbate and Ulrich Thiel},
  title = {The Use of Contextual Information in a Proactivity Model
  		for Conversational Agents},
  booktitle = {Modeling and Using Context: Fourth International and
  	Interdisciplinary Conference, Context 2003},
  publisher = {Springer-Verlag},
  year = {2003},
  editor = {Patrick Blackburn and Chiara Ghidini and Roy M. Turner
  	and Fausto Giunchiglia},
  pages = {459--466},
  address = {Berlin},
  topic = {context;HCI;}
  }

@unpublished{ abbott_b:1974a,
  author = {Barbara Abbott},
  title = {Some Problems in Giving an Adequate Model-Theoretical
  	Account of {CAUSE}},
  year = {1974},
  rtnote = {In RHT collection.  Judging from a note attached, it may
  	have been published in BLS 3, 1975.  Check this out.},
  note = {Unpublished manuscript.},
  topic = {causality;}
  }

@unpublished{ abbott_b:1974b,
  author = {Barbara Abbott},
  title = {Some Remarks Concerning {H}intikka's Theory of Propositional
  	Attitudes},
  year = {1974},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript.},
  topic = {propositional-attitudes;}
  }

@unpublished{ abbott_b:1975a,
  author = {Barbara Abbott},
  title = {Remarks on `Belief-Contexts'\,},
  year = {1975},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript.},
  topic = {propositional-attitudes;}
  }

@phdthesis{ abbott_b:1976a,
  author = {Barbara Abbott},
  title = {A Study of Referential Opacity},
  school = {Linguistics Department, University of California at Berkeley},
  year = {1976},
  type = {Ph.{D}. Dissertation},
  address = {Berkeley, California},
  rtnote = {In RHT collection.  LLP authored shelves.},
  missinginfo = {Date is a guess},
  topic = {intensionality;}
 }

@article{ abbott_b:1989a,
  author = {Barbara Abbott},
  title = {Nondescriptionality and Natural Kind Terms},
  journal = {Linguistics and Philosophy},
  year = {1989},
  volume = {12},
  number = {3},
  pages = {269--291},
  topic = {natural-kinds;sense-reference;common-nouns;}
  }

@article{ abbott_b:1997a,
  author = {Barbara Abbott},
  title = {Models, Truth, and Semantics},
  journal = {Linguistics and Philosophy},
  year = {1997},
  volume = {20},
  number = {2},
  pages = {117--138},
  topic = {foundations-of-semantics;nl-semantics-and-cognition;}
  }

@inproceedings{ abbott_b:1999a,
  author = {Barbara Abbott},
  title = {Support for a Unique Theory of Definites},
  booktitle = {Proceedings from Semantics and Linguistic Theory {IX}},
  publisher = {Cornell University},
  year = {1999},
  editor = {Tanya Matthews and Devon Strolovitch},
  pages = {1--15},
  address = {Ithaca, New York},
  topic = {nl-semantics;definiteness;}
  }

@article{ abbott_b:2000a,
  author = {Barbara Abbott},
  title = {Fodor and {L}epore on Meaning Similarity and
  	{C}ompositionality},
  journal = {The Journal of Philosophy},
  year = {2000},
  volume = {97},
  number = {8},
  pages = {454--455},
  xref = {Comment on fodor_ja-lepore:1996c.},
  topic = {foundations-of-semantics;synonymy;
		cognitive-semantics;state-space-semantics;
		conceptual-role-semantics;}
  }

@article{ abbott_b:2002a,
  author = {Barbara Abbott},
  title = {Donkey Demonstratives},
  journal = {Natural Language Semantics},
  year = {2001},
  volume = {10},
  number = {4},
  pages = {285--298},
  topic = {nl-semantics;pronouns;donkey-anaphora;}
  }

@article{ abbott_b:2003a,
  author = {Barbara Abbott},
  title = {Some Notes on Quotation},
  journal = {Belgian Journal of Linguistics},
  year = {2003},
  volume = {17},
  pages = {13--26},
  missinginfo = {number},
  url = {http://www.msu.edu/user/abbottb/notequot.pdf},
  topic = {direct-discourse;}
  }

@unpublished{ abbott_b:2007a,
  author = {Barbara Abbott},
  title = {Support for Individual Concepts},
  year = {2007},
  note = {Unpublished manuscript, Michigan State University},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;individual-concepts;}
  }

@article{ abbott_b:2008a,
  author = {Barbara Abbott},
  title = {Presuppositions and Common Ground},
  journal = {Linguistics and Philosophy},
  year = {2008},
  volume = {31},
  number = {5},
  pages = {523--538},
  topic = {presupposition;accommodation;conversational-record;}
  }

@article{ abbott_b-hudson_g:1981a,
  author = {Barbara Abbott and Grover Hudson},
  title = {Review of \emph{{M}aking Sense}, by {G}eoffrey {S}ampson},
  journal = {Linguistics and Philosophy},
  year = {1981},
  volume = {4},
  number = {3},
  pages = {437--451},
  xref = {Review of sampson_g:1980a.},
  topic = {foundations-of-semantics;foundations-of-linguistics;
  	language-universals;philosophy-of-linguistics;}
  }

@unpublished{ abbott_cc:1979a,
  author = {Carolyn C. Abbott},
  title = {Problems of Rule Ordering in Transformational
		Generative Syntax},
  year = {1979},
  note = {Unpublished manuscript, Linguistics Department, University
		of Pittsburgh},
  rtnote = {In RHT collection.},
  topic = {transformational-grammar;rule-ordering;}
  }

@article{ abdelbar:1998a,
  author = {Ashraf M. Abdelbar},
  title = {An Algorithm for Finding {MAPS} for Belief Networks
  	through Cost-Based Abduction},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {104},
  number = {1--2},
  pages = {331--338},
  topic = {abduction;probabilistic-reasoning;}
  }

@article{ abdelbar:2004a,
  author = {Ashraf M. Abdelbar},
  title = {Approximating Cost-Based Abduction is {NP}-Hard},
  journal = {Artificial Intelligence},
  year = {2004},
  volume = {159},
  number = {1--2},
  pages = {231--239},
  topic = {abduction;complexity-in-AI;}
  }

@article{ abdelbar-etal:2000a,
  author = {Ashraf M. Abdelbar and Stephen T. Hedetniemi
  		and Sandra M. Hedetniemi},
  title = {The Complexity of Approximating {MAP}s for
  		Belief Networks with Bounded Probabilities},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {124},
  number = {2},
  pages = {283--288},
  topic = {Bayesian-networks;complexity-in-AI;}
  }

@article{ abdelbar-hedetniemi:1998a,
  author = {Ashraf M. Abdelbar and Sandra M. Hedetniemi},
  title = {Approximating {MAP}s for Belief Networks is {NP}-Hard
  	and Other Theorems},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {102},
  number = {1},
  pages = {21--38},
  topic = {Bayesian-networks;complexity-in-AI;}
  }

@book{ abdelhafiz-basili:1996a,
  author = {Salwa K. Abd-El-Hafiz and Victor R. Basili},
  title = {Process-Centered Requirements Engineering},
  publisher = {John Wiley and Sons},
  year = {1996},
  address = {New York},
  ISBN = {0863801935 (Research Studies Press)},
  rtnote = {UMich Media Union Library, QA 76.76 .D47 P581 1996.},
  topic = {software-engineering;}
 }

@techreport{ abdullah:1991a,
  author = {Areski Nait Abdullah},
  title = {Kernel Knowledge Versus Belt Knowledge in Default
  	Reasoning: a Logical Approach},
  institution = {Department of Computer Science, University of
  	Western Ontario},
  number = {292},
  year = {1991},
  address = {London, Ontario},
  rtnote = {In RHT collection.},
  missinginfo = {number},
  topic = {nonmonotonic-reasoning;nonmonotonic-prioritization;}
  }

@book{ abdullah:1995a,
  author = {Areski Nait Abdullah},
  title = {The Logic of Partial Information},
  publisher = {Springer-Verlag},
  year = {1995},
  address = {Berlin},
  contentnote = {TC:
  	1.  Introduction
	2.  Partial Propositional Logic
	3.  Syntax of the Language with Partial Information Ions
	4.  Reasoning with Partial Information Ions
	5.  Semantics of Partial Information of Rank 1
	6.  Semantics of Partial Information of Infinite Rank
	7.  Algebraic Properties
	8.  Beth Tableaux
	9.  Applications; the statics of logic systems
	10. Naive Axiomatics and proof theory of propositional partial
		information ionic logic
	11. Soundness
	12. Formal axiomatics
	13. Extension and justification closure approach
	14. Partial first order logic
	15. Syntax and semantics of first-order partial information ions
	16. Beth Tableaux
	17. Axiomatics and proof theory of first-order partial information
		ionic logic
	18. Partial information ionic logic programming
	19. Syntactic and semantic paths; applications to defeasible
		inheritance
	20. The frame problem; the dynamics of logic systems
	21. Reasoning about actions: projection problem
	22. Reasoning about actions: explanation problem
		},
  topic = {nonmonotonic-logic;partial-logic;theories-of-information;}
 }

@inproceedings{ abe_n-li_h:1996a,
  author = {Naoki Abe and Hang Li},
  title = {Learning Word Association Norms Using Tree Cut
		Pair Models},
  booktitle = {Proceedings of the 13th International Conference on
		Machine Learning},
  year = {1996},
  url = {http://xxx.lanl.gov/abs/cmp-lg/9605029},
  missinginfo = {publisher, editor, pages},
  topic = {machine-language-learning;semantic-similarity;
		wordnet;}
  }

@incollection{ abels:2003a,
  author = {Klaus Abels},
  title = {Who Gives a Damn about Minimizers in Questions?},
  booktitle = {Proceedings from Semantics and Linguistic Theory {XIII}},
  publisher = {Cornell University},
  year = {2003},
  editor = {Robert B. Young and Yuping Zhou},
  pages = {1--18},
  address = {Ithaca, New York},
  topic = {interrogatives;nl-semantics;polarity;}
  }

@article{ abelson_h-etal:1989a1,
  author = {Harold Abelson and Michael Eisenberg and Matthew Halfant
    		and Jacob Katzenelson and Elisha Sachs and
		Gerald J. Sussman and Jack Wisdom and
		Kenneth Yip},
  title = {Intelligence in Scientific Computing},
  journal = {Communications of the {ACM}},
  year = {1989},
  volume = {32},
  pages = {546--562},
  missinginfo = {number},
  xref = {Republication: abelson_h-etal:1989a2.},
  topic = {computer-assisted-science;qualitative-reasoning;}
  }

@incollection{ abelson_h-etal:1989a2,
  author = {Harold Abelson and Michael Eisenberg and Matthew Halfant
    		and Jacob Katzenelson and Elisha Sachs and
		Gerald J. Sussman and Jack Wisdom and
		Kenneth Yip},
  title = {Intelligence in Scientific Computing},
  booktitle = {Qualitative Reasoning about Physical Systems},
  publisher = {Morgan Kaufmann},
  year = {1990},
  editor = {Daniel S. Weld and Johan de Kleer},
  pages = {453--469},
  address = {San Mateo, California},
  xref = {Republication of: abelson_h-etal:1989a1.},
  topic = {computer-assisted-science;qualitative-reasoning;}
  }

@inproceedings{ aberdeen_j-etal:1999a,
  author = {John Aberdeen and Samuel Bayer and Sasha Caskey and Laurie
  		Damianos and Alan Goldschen and Lynette Hirschman and
		Dan Loehr and Hugo Trapper},
  title = {Implementing Practical Dialogue Systems with the
  		{DARPA} Communicator Architecture},
  booktitle = {Proceedings of the {IJCAI}-99 Workshop on
  	Knowledge and Reasoning in Practical Dialogue Systems},
  year = {1999},
  editor = {Jan Alexandersson},
  pages = {81--86},
  organization = {IJCAI},
  publisher = {International Joint Conference on Artificial Intelligence},
  address = {Murray Hill, New Jersey},
  topic = {computational-dialogue;spoken-dialogue-systems;}
  }

@incollection{ aberdein-read:2009a,
  author = {Andrew Aberdein and Stephen Read},
  title = {The Philosophy of Alternative Logics},
  booktitle = {The Development of Modern Logic},
  publisher = {Oxford University Press},
  year = {2009},
  editor = {Leila Haaparanta},
  pages = {613--723},
  address = {Oxford},
  topic = {history-of-logic;intuitionistic-logic;quantum-logic;
  		relevance-logic;paraconsistent-logic;}
  }

@book{ aberth:2001a,
  author = {Oliver Aberth},
  title = {Computable Calculus},
  publisher = {Academic Press},
  year = {2001},
  address = {San Diego},
  note = {CR_ROM included.},
  xref = {Review: bridges:2002a.},
  topic = {constructive-mathematics;automated-algebra;}
 }

@incollection{ abiteboul:1988a,
  author = {Serge Abiteboul},
  title = {Updates: A New Frontier},
  booktitle = {Proceedings of the Second Conference on Database
  	Theory},
  publisher = {Springer-Verlag},
  year = {1988},
  pages = {1--18},
  address = {Berlin},
  missinginfo = {A's 1st name, editor.},
  topic = {databases;database-update;}
  }

@book{ abiteboul-etal:1995a,
  author = {Serge Abiteboul and Richard Hull and Victor Vianu},
  title = {Foundations of Databases},
  publisher = {Addison-Wesley Publishing Co.},
  year = {1995},
  address = {Reading, Massachusetts},
  ISBN = {0201537710},
  rtnote = {Umich Media Union Library QA 76.9 .D3 A18 1995},
  topic = {databases;}
 }

@techreport{ abiteboul-kanekkakis:1989a,
  author = {Sergei Abiteboul and Paris Kanekkakis},
  title = {Object Identity as a Query Language Primitive},
  institution = {Institute National de Recherche en Informatique et en
  	Automatique},
  number = {1022},
  year = {1991},
  address = {78153 Le Chesnay Cedex, France},
  rtnote = {In RHT collection.},
  topic = {object-oriented-databases;}
  }

@phdthesis{ abney:1987a,
  author = {Steven Abney},
  title = {The {E}nglish Noun Phrase in Its Sentential Aspect},
  school = {Department of Linguistics, MIT},
  year = {1987},
  type = {Ph.{D}. Dissertation},
  address = {Cambridge, Massachusetts},
  topic = {government-binding-theory;noun-phrases;}
 }

@incollection{ abney:1996a,
  author = {Steven Abney},
  title = {Statistical Methods and Linguistics},
  booktitle = {The Balancing Act:  Combining Symbolic and Statistical
  	Approaches to Language},
  publisher = {The {MIT} Press},
  year = {1996},
  editor = {Judith Klavans and Philip Resnik},
  pages = {1--26},
  address = {Cambridge, Massachusetts},
  rtnote = {In RHT collection.},
  topic = {corpus-linguistics;corpus-statistics;statistical-nlp;}
  }

@article{ abney:2002a,
  author = {Steven Abney},
  title = {Review of \emph{{E}mpirical Linguistics}, by {G}eoffrey {S}ampson},
  journal = {Computational Linguistics},
  year = {2002},
  volume = {28},
  number = {4},
  pages = {570--575},
  xref = {Review of: sampson_g:2001a.},
  topic = {corpus-linguistics;}
  }

@incollection{ abney:2002b,
  author = {Steven Abney},
  title = {Bootstrapping},
  booktitle = {Proceedings of the Fortieth Annual Meeting of the
  	{A}ssociation for {C}omputational {L}inguistics},
  publisher = {Morgan Kaufmann Publishers},
  year = {2002},
  editor = {Eugene Charniak and Dekang Lin},
  pages = {360--367},
  address = {San Francisco},
  rtnote = {In RHT collection.},
  topic = {machine-learning;}
  }

@article{ abney:2004a,
  author = {Steven Abney},
  title = {Understanding the {Y}arowsky Algorithm},
  journal = {Computational Linguistics},
  year = {2004},
  volume = {30},
  number = {3},
  pages = {365--395},
  topic = {machine-learning;bootstrapping;}
  }

@incollection{ abney-etal:1999a,
  author = {Steven Abney and Robert E. Schapire and Yoram Singer},
  title = {Boosting Applied to Tagging and {PP} Attachment},
  booktitle = {Proceedings of the 1999 Joint {SIGDAT} Conference
  	on Empirical Methods in Natural Language Processing},
  publisher = {Association for Computational Linguistics},
  year = {1999},
  editor = {Pascale Fung and Joe Zhou},
  pages = {38--45},
  address = {Somerset, New Jersey},
  topic = {machine-learning;corpus-tagging;prepositional-attachment;}
  }

@book{ abraham:1991a,
  editor = {Werner Abraham},
  title = {Discourse Particles: Descriptive and Theoretical
  	Investigations on the Logical, Syntactic and Pragmatic
	Properties of Discourse Particles in {G}erman},
  publisher = {J. Benjamins Publishing Co.},
  year = {1991},
  address = {Amsterdam},
  topic = {discourse-cue-words;pragmatics;German-language;}
 }

@unpublished{ abrams-frisch_am:1991a,
  author = {Charlene Bloch Abrams and Alan M. Frisch},
  title = {An Examination of the Efficiency of Sorted Deduction},
  year = {1991},
  note = {Unpublished manuscript, Department of Computer Science,
  	University of Illinois},
  rtnote = {In RHT collection.},
  topic = {theorem-proving;taxonomic-reasoning;knowledge-retrieval;}
  }

@book{ abramsky:1988a,
  author = {Samson Abramsky},
  title = {Domain Theory in Logical Form},
  publisher = {University of London},
  year = {1988]},
  address = {London},
  ISBN = {0-7923-6350-7 hardcover.},
  rtnote = {UMich Graduate Library, P106 .M3541 1987.},
  topic = {higher-order-logic;}
 }

@book{ abramsky-etal:1992a,
  editor = {Samson Abramsky and Dov M. Gabbay and and T.S.E. Maibaum},
  title = {Handbook of Logic in Computer Science},
  publisher = {Oxford University Press},
  year = {1992},
  address = {Oxford},
  ISBN = {0198537611 (v. 2) :},
  rtnote = {UMich MEDIA UNION LIBRARY, QA 76 .H27851 1992.},
  topic = {logic-and-computer-science;}
 }

@book{ abramsky-hankin:1987a,
  editor = {Samson Abramsky and Chris Hankin},
  title = {Abstract Interpretation of Declarative Languages},
  publisher = {Ellis Horwood},
  year = {1987},
  address = {Chichester},
  ISBN = {0745801099},
  rtnote = {UMich Media Union Library, QA76.7 .A21 1987.},
  topic = {abstract-model-theory;}
 }

@book{ abramsky-ong:1992a,
  author = {Samson Abramsky and C.-H. Luke Ong},
  title = {Full Abstraction In The Lazy Lambda Calculus},
  publisher = {University of Cambridge, Computer Laboratory},
  year = {1992},
  address = {Cambridge, England},
  topic = {lambda-calculus;}
 }

@book{ abramsky-vickers:1990a,
  author = {Samson Abramsky and Steven Vickers},
  title = {Quantales, Observational Logic, and Process Semantics},
  publisher = {University of London, Imperial College of Science
    and  Technology, Dept. of Computing},
  year = {1990},
  address = {London},
  topic = {logic-programming;}
 }

@book{ abramsky-vickers:1992a,
  editor = {Samson Abramsky and Steven Vickers},
  title = {Proceedings of {JELIA}: Logics in {AI}},
  publisher = {Springer-Verlag},
  year = {1992},
  address = {Berlin},
  rtnote = {UMich Media Union Library Q 334 .E9851},
  topic = {logic-programming;logic-in-AI;}
 }

@book{ abramson-rogers_mh:1989a,
  editor = {Harvey Abramson and  M.H. Rogers},
  title = {Meta-Programming in Logic Programming: Proceedings of
  	{META}--88, Bristol, 1988},
  publisher = {The {MIT} Press},
  year = {1989},
  address = {Cambridge, Massachusetts},
  ISBN = {0262510472},
  rtnote = {UMich Media Union Library, QA 76.63 .M471 1989.},
  topic = {metaprogramming;logic-programming;}
 }

@article{ abrusci:2002a,
  author = {V. Michele Abrusci},
  title = {Classical Conservative Extensions of {L}ambek Calculus},
  journal = {Studia Logica},
  year = {2002},
  volume = {71},
  number = {3},
  pages = {277--324},
  topic = {Lambek-calculus;linear-logic;}
  }

@incollection{ abrusci-etal:1997a,
  author = {V. Michele Abrusci and Christophe Fouquer\'e
		   and Jacqueline Vauzeilles},
  title = {Tree Adjoining Grammars in Non-Commutative Linear Logic},
  booktitle = {{LACL}'96: First International Conference on
      Logical Aspects of Computational Linguistics},
  publisher = {Springer-Verlag},
  year = {1997},
  editor = {Christian Retor/'e},
  pages = {96--117},
  address = {Berlin},
  topic = {logic-and-computational-linguistics;linear-logic;
		TAG-grammar;}
  }

@article{ abrusci-etal:1999a,
  author = {V. Michele Abrusci and Christophe FOuquer\'e and
		Jacqueline Vauzeilles},
  title = {Tree Adjoining Grammars in a Fragment of
		the {L}ambek Calculus},
  journal = {Computational Linguistics},
  year = {1998},
  volume = {25},
  number = {2},
  pages = {209--2236},
  topic = {TAG-grammar;Lambek-calculus;}
  }

@article{ abrusci-maringelli:1998a,
  author = {V. Michele Abrusci and Elena Maringelli},
  title = {A New Correctness Criterion for Cyclic Proof
		Nets},
  journal = {Journal of Logic, Language, and Information},
  year = {1998},
  volume = {7},
  number = {4},
  pages = {449--502},
  topic = {proof-nets;}
  }

@phdthesis{ abusch:1985a,
  author = {Dorit Abusch},
  title = {On Verbs and Time},
  school = {Linguistics Department, University of Massachusetts},
  year = {1985},
  type = {Ph.{D}. Dissertation},
  address = {Amherst, Massachusetts},
  topic = {causality;tense-aspect;lexical-semantics;}
 }

@techreport{ abusch:1986a,
  author = {Dorit Abusch},
  title = {Verbs of Change, Causation, and Time},
  institution = {Center for the Study of Language and Information,
  	Stanford University},
  number = {CSLI--86--50},
  year = {1986},
  address = {Stanford, California},
  rtnote = {In RHT collection.},
  topic = {causality;tense-aspect;lexical-semantics;}
  }

@article{ abusch:1992a,
  author = {Dorit Abusch},
  title = {The Scope of Indefinites},
  journal = {Natural Language Semantics},
  year = {1993--1994},
  volume = {2},
  number = {2},
  pages = {83--135},
  topic = {nl-quantifer-scope;indefiniteness;nl-semantics;}
  }

@article{ abusch:1994a,
  author = {Dorit Abusch},
  title = {The Scope of Indefinites},
  journal = {Natural Language Semantics},
  year = {1994},
  volume = {2},
  number = {2},
  pages = {83--136},
  topic = {nl-quantifier-scope;indefiniteness;}
  }

@article{ abusch:1997a,
  author = {Dorit Abusch},
  title = {Sequence of Tense and Temporal {\em De Re}},
  journal = {Linguistics and Philosophy},
  year = {1997},
  volume = {20},
  number = {1},
  pages = {1--50},
  topic = {nl-tense;}
  }

@article{ abusch:1997b,
  author = {Dorit Abusch},
  title = {Remarks on the State Formulation of {\it de re} Present Tense},
  journal = {Natural Language Semantics},
  year = {1997},
  volume = {5},
  number = {3},
  pages = {303--313},
  topic = {nl-tense;}
  }

@inproceedings{ abusch:2002a,
  author = {Dorit Abusch},
  title = {Lexical Alternatives as a Source of Pragmatic
  		Presuppositions},
  booktitle = {Proceedings from Semantics and Linguistic Theory {XII}},
  publisher = {Cornell University},
  year = {2002},
  editor = {Brendan Jackson},
  pages = {1--19},
  address = {Ithaca, New York},
  topic = {nl-semantics;presupposition;pragmatics;}
  }

@unpublished{ abusch:2005a,
  author = {Dorit Abusch},
  title = {Triggering from Alternative Sets and Projection of
  		Pragmatic Presuppositions},
  year = {2005},
  note = {Unpublished manuscript, Cornell University.  Available at
  	http://semanticsarchive.net/Archive/jJkYjM3O/Abusch-Triggering.pdf},
  rtnote = {In RHT collection.},
  topic = {presupposition;}
  }

@inproceedings{ abusch-rooth:1997a,
  author = {Dorit Abusch and Mats Rooth},
  title = {Epistemic {NP} Modifiers},
  booktitle = {Proceedings from Semantics and Linguistic Theory {VII}},
  publisher = {Cornell University},
  year = {1997},
  editor = {Aaron Lawson},
  pages = {1--18},
  address = {Ithaca, New York},
  topic = {nl-semantics;adjectives;}
  }

@article{ achenstein:1964a,
  author = {Peter Achenstein},
  title = {Models, Analogies, and Theories},
  journal = {Philosophy of Science},
  year = {1964},
  volume = {41},
  number = {4},
  pages = {328--350},
  rtnote = {In RHT collection.},
  topic = {philosophy-of-science;}
  }

@article{ achinstein:1964a,
  author = {Peter Achinstein},
  title = {On the Meaning of Scientific Terms},
  journal = {The Journal of Philosophy},
  year = {1964},
  volume = {62},
  number = {20},
  pages = {497--509},
  rtnote = {In RHT collection.},
  topic = {foundations-of-semantics;philosophy-of-science;holism;}
  }

@article{ achinstein:1965a,
  author = {Peter Achinstein},
  title = {\,`Defeasible' Problems},
  journal = {The Journal of Philosophy},
  year = {1965},
  volume = {62},
  number = {21},
  pages = {629--633},
  xref = {Commentary on: clark_r1:1965a.},
  topic = {ceteris-paribus-generalizations;natural-laws;causality;
  	nonmonotonic-reasoning;}
  }

@book{ achinstein:1971a,
  author = {Peter Achinstein},
  title = {Law and Explanation: An Essay in the Philosophy of Science},
  publisher = {Oxford University Press},
  year = {1971},
  address = {Oxford},
  ISBN = {0198582080},
  rtnote = {UMich Graduate Library Q 175 .A1794},
  topic = {philosophy-of-science;explanation;natural-laws;}
 }

@incollection{ achinstein:1979a,
  author = {Peter Achinstein},
  title = {The Causal Relation},
  booktitle = {Midwest Studies in Philosophy Volume {V}:
  	Studies in Metaphysics},
  publisher = {University of Minnesota Press},
  year = {1979},
  editor = {Peter A. French and Theodore E. {Uehling, Jr.} and Howard K.
  	Wettstein},
  pages = {369--386},
  address = {Minneapolis},
  topic = {causality;focus;}
  }

@book{ achinstein:1982a,
  author = {Peter Achinstein},
  title = {The Nature Of Explanation},
  publisher = {Oxford University Press},
  year = {1982},
  address = {New York},
  ISBN = {0195032152},
  rtnote = {UMich Graduate Library, BD237 .A251 1983.},
  topic = {explanation;}
 }

@book{ achinstein:1983a,
  editor = {Peter Achinstein},
  title = {The Concept of Evidence},
  publisher = {Oxford University Press},
  year = {1983},
  address = {Oxford},
  ISBN = {0198750625 (pbk.)},
  contentnote = {TC:
     1. Carl A. Hempel, "Studies in the Logic of Confirmation"
     2. Richard B. Braithwaite, " The Structure of a Scientific System"
     3. Norwood Russell Hanson, "The logic of Discovery "
     4. Nelson Goodman, "Prospects for a Theory of Projection"
     5. Rudolf Carnap, "The Concept of Confirming Evidence"
     6. Wesley C. Salmon, "Confirmation and Relevance", pp.
     7. Clark Glymour, "Relevant Evidence"
     8. Peter Achinstein, "Concepts of Evidence"
  },
  rtnote = {UMich Graduate Library, BC 173 .C661 1983.},
  topic = {evidence;philosophy-of-science;confirmation-theory;}
 }

@incollection{ achinstein:1984a,
  author = {Peter Achinstein},
  title = {A Type of Non-Causal Explanation},
  booktitle = {Causation and Causal Theories},
  publisher = {University of Minnesota Press},
  year = {1984},
  editor = {Peter A. French and Theodore E. Uehling, Jr. and Howard
  	K. Wettstein},
  pages = {221--243},
  address = {Minneapolis},
  topic = {philosophy-of-science;explanation;}
  }

@incollection{ achinstein:2000a,
  author = {Peter Achinstein},
  title = {Why Philosophical Theories of Evidence Are (and
  	Ought to Be) Ignored by Scientists},
  booktitle = {{PSA}'1998: Proceedings of the 1998 Biennial Meetings
  	of the Philosophy of Science Association, Part {II}:
	Symposium Papers},
  publisher = {Philosophy of Science Association},
  year = {2000},
  editor = {Don A. Howard},
  pages = {S180--S192},
  address = {Newark, Delaware},
  topic = {philosophy-of-science;evidence;}
  }

@book{ achinstein-barker_sf:1969a,
  editor = {Peter Achinstein and Stephen F. Barker},
  title = {The Legacy of Logical Positivism: Studies in the
  	Philosophy of Science},
  publisher = {Johns Hopkins Press},
  year = {1969},
  address = {Baltimore},
  rtnote = {Graduate Library B 824.6 .L49},
  topic = {logical-positivism;analytic-philosophy;}
 }

@book{ achinstein-snyder:1994a,
  editor = {Peter Achinstein and Laura J. Snyder},
  title = {Scientific Methods: Conceptual and Historical Problems},
  publisher = {Krieger Pub. Co.},
  year = {1994},
  address = {Malabar, Florida},
  ISBN = {0894648225},
  rtnote = {UMich Graduate Library, Q 174.8 .S361 1994.},
  topic = {philosophy-of-science;scientific-reasoning;}
 }

@incollection{ acid-etal:1991a,
  author = {S. Acid and L.M. de Campos and A. Gonz\'alez and R. Molina
  	and N. P\'erez de la Blanca},
  title = {Learning with {CASTLE}},
  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 = {99--106},
  address = {Berlin},
  topic = {machine-learning;causality;}
  }

@article{ ackerman_f1-moore_j2:1999a,
  author = {Farrell Ackerman and John Moore},
  title = {Syntagmatic and Paradigmatic Dimensions of Causee
  	Encodings},
  journal = {Linguistics and Philosophy},
  year = {1999},
  volume = {22},
  number = {1},
  pages = {1--44},
  topic = {causatives;thematic-roles;}
  }

@incollection{ ackerman_f2:1994a,
  author = {Felicia Ackerman},
  title = {Roots and Consequences of Vagueness},
  booktitle = {Philosophical Perspectives, Volume 8:
  	Logic and Language},
  publisher = {Blackwell Publishers},
  year = {1994},
  editor = {James E. Tomberlin},
  pages = {129--136},
  address = {Oxford},
  note = {Also available at http://www.jstor.org/journals/.},
  topic = {vagueness;}
  }

@article{ ackrill:1964a,
  author = {J.L. Ackrill},
  title = {Comments},
  journal = {The Journal of Philosophy},
  year = {1964},
  volume = {62},
  number = {20},
  pages = {610--613},
  xref = {Comments on; demos:1964a},
  topic = {Plato;philosophy-of-language;}
  }

@article{ acock-jackson_hg:1976a,
  author = {M. Acock and H.G. Jackson},
  title = {Seems},
  journal = {Revue Internationale de Philosophie},
  year = {1976},
  volume = {30},
  pages = {304--330},
  missinginfo = {A's 1st name, number},
  rtnote = {In RHT collection.},
  topic = {intensional-logic;logic-of-perception;}
  }

@incollection{ aczel:1977a,
  author = {Peter Aczel},
  title = {An Introduction to Inductive Definitions},
  booktitle = {Handbook of Mathematical Logic},
  publisher = {North-Holland},
  year = {1977},
  editor = {K. Jon Barwise},
  pages = {739--782},
  address = {Amsterdam},
  topic = {inductive-definitions;}
  }

@incollection{ aczel:1980a,
  author = {Peter Aczel},
  title = {Frege Structures and the Notion of Proposition, Truth
  	and Set},
  booktitle = {The {K}leene Symposium},
  publisher = {North-Holland Publishing Company},
  year = {1980},
  editor = {K. Jon Barwise and H.J. Keisler and K. Kunen},
  pages = {31--59},
  address = {Amsterdam},
  missinginfo = {E's 1st name.},
  topic = {Frege-structures;propositions;truth;foudnations-of-set-theory;}
  }

@book{ aczel:1983a,
  author = {Peter Aczel},
  title = {Non-Well-Founded Sets},
  publisher = {Center for the Study of Language and Information},
  year = {1983},
  address = {Stanford, California},
  rtnote = {In RHT Collection.  Logic Shelves.},
  topic = {set-theory;nonwellfounded-sets;}
 }

@article{ adali-subrahmanian_vs:1996a,
  author = {Sibel Adali and V.S. Subrahmanian},
  title = {Amalgamating Knowledge Bases {III}: Algorithms, Data
  	Structures, and Query Processing},
  journal = {Journal of Logic Programming},
  year = {1996},
  volume = {28},
  number = {1},
  pages = {45--88},
  missinginfo = {A's 1st name},
  topic = {knowledge-integration;}
  }

@article{ adam-laurent:1980a,
  author = {Anne Adam and Jean-Pierre Laurent},
  title = {{LAURA}, A System to Debug Student Programs},
  journal = {Artificial Intelligence},
  year = {1980},
  volume = {15},
  number = {1--2},
  pages = {75--122},
  acontentnote = {Abstract:
     An effort to automate the debugging of real programs is
     presented. We discuss possible choices in conceiving a debugging
     system. In order to detect all the semantic errors, it must have
     a knowledge of what the program is intended to achieve.
     Strategies and results are very dependent on the way of giving
     this knowledge.  In the LAURA system that we have designed, the
     program's task is given by means of a `program model'.
     Automatic debugging is then viewed as a comparison of programs.
     The main characteristics of LAURA are the representation of
     programs by graphs, which gets rid of many syntactical
     variations, the use of program transformations, realized on the
     graphs, and its heuristic strategy to identify step by step the
     elements of the graphs. It has been tested with about a hundred
     programs writen by students to solve eight different problems in
     various fields. It is able to recognize correct programs even if
     their structures are very different from the structure of the
     program model. It is also able to express exact diagnostics of
     errors, or at least to localize them. It could be an effective
     tool for students programmers.
  },
  topic = {program-transformations;automatic-debugging;
  	software-engineering;graph-based-reasoning;diagnosis;}
  }

@book{ adami:1998a,
  author = {Christoph Adami},
  title = {Introduction to Artificial Life},
  publisher = {Springer-Verlag},
  year = {1998},
  address = {Berlin},
  ISBN = {0-387-94646-2},
  xref = {Review: taylor_t:2001a.},
  topic = {artificial-life;}
 }

@article{ adamowicz-bigorajska:2001a,
  author = {Zofia Adamowicz and Teresa Bigorajska},
  title = {Existentially Closed Structures and {G}\"odel's
  	Second Incompleteness Theorem},
  journal = {Journal of Symbolic Logic},
  year = {2001},
  volume = {66},
  number = {1},
  pages = {349--356},
  topic = {model-theory;goedels-second-theorem;}
  }

@article{ adams_ew:1965a,
  author = {Ernest Adams},
  title = {The Logic of Conditionals},
  journal = {Inquiry},
  year = {1965},
  volume = {8},
  pages = {166--197},
  rtnote = {In RHT collection.},
  topic = {conditionals;}
  }

@article{ adams_ew:1970a,
  author = {Ernest Adams},
  title = {Subjunctive and Indicative Conditionals},
  journal = {Foundations of Language},
  year = {1970},
  volume = {6},
  pages = {89--94},
  number = {1},
  topic = {conditionals;nl-mood;subjunctive-mood;}
  }

@article{ adams_ew:1974a,
  author = {Ernest Adams},
  title = {The Logic of `Almost All'\, },
  journal = {Journal of Philosophical Logic},
  year = {1974},
  volume = {3},
  number = {1--2},
  pages = {3--17},
  topic = {generalized-quantifiers;exception-constructions;}
  }

@book{ adams_ew:1975a,
  author = {Ernest W. Adams},
  title = {The Logic of Conditionals},
  publisher = {D. Reidel Publishing Co.},
  year = {1975},
  address = {Dordrecht},
  rtnote = {In RHT Collection. LLP authored shelves.},
  topic = {conditionals;probability-semantics;}
 }

@article{ adams_ew:1978a,
  author = {Ernest W. Adams},
  title = {A Note on Comparing Probabilistic and Modal Semantics for
  	Conditionals},
  journal = {Theoria},
  year = {1978},
  volume = {43},
  pages = {186--194},
  missinginfo = {number},
  topic = {conditionals;probability-semantics;}
  }

@article{ adams_ew:1981a,
  author = {Ernest W. Adams},
  title = {Transmissible Improbabilities and Marginal Essentialness
  	of Premises in Inferences Involving Indicative Condtionals},
  journal = {Journal of Philosophical Logic},
  year = {1981},
  volume = {10},
  number = {2},
  pages = {149--177},
  topic = {conditionals;probability-semantics;}
  }

@article{ adams_ew:1981b,
  author = {Ernest W. Adams},
  title = {Truth, Proof, and Conditionals},
  journal = {Pacific Philosophical Quarterly},
  year = {1981},
  volume = {62},
  pages = {323--339},
  missinginfo = {number},
  topic = {conditionals;causality;}
  }

@unpublished{ adams_ew:1983a,
  author = {Ernest W. Adams},
  title = {Continuity and Idealizability},
  year = {1983},
  note = {Unpublished manuscript, Philosophy Department, University
  	of California at Berkeley},
  rtnote = {In RHT collection.},
  missinginfo = {Year is a guess.},
  topic = {fractional-quantifiers;}
  }

@article{ adams_ew:1983b,
  author = {Ernest W. Adams},
  title = {Probabilistic Enthymemes},
  journal = {Journal of Pragmatics},
  year = {1983},
  volume = {7},
  pages = {283--295},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {probability-semantics;}
  }

@incollection{ adams_ew:1986a,
  author = {Ernest W. Adams},
  title = {Remarks on the Semantics and Pragmatics of Conditionals},
  booktitle = {On Conditionals},
  publisher = {Cambridge University Press},
  year = {1986},
  editor = {Elizabeth Traugott and Alice {ter Meulen} and Judy Reilly},
  pages = {169--179},
  address = {Cambridge, England},
  topic = {conditionals;}
  }

@article{ adams_ew:1987a,
  author = {Ernest Adams},
  title = {On the Meaning of the Conditional},
  journal = {Philosophical Topics},
  year = {1987},
  volume = {15},
  number = {1},
  pages = {5--45},
  topic = {conditionals;indicative-conditionals;pragmatics;}
  }

@incollection{ adams_ew:1988a,
  author = {Ernest W. Adams},
  title = {Consistency and Decision: Variations on {R}amseyan Themes},
  booktitle = {Causation in Decision, Belief Change, and Statistics,
  	Vol. 2},
  publisher = {Kluwer Academic Publishers},
  year = {1988},
  editor = {William L. Harper and Brian Skyrms},
  pages = {49--69},
  address = {Dordrecht},
  topic = {foundations-of-decision-theory;}
  }

@article{ adams_ew:1989a,
  author = {Ernest W. Adams},
  title = {On the Logic of High Probability},
  journal = {Journal of Philosophical Logic},
  year = {1989},
  volume = {15},
  number = {3},
  pages = {255--279},
  topic = {probability-semantics;}
  }

@article{ adams_ew:1995a,
  author = {Ernest W. Adams},
  title = {Remarks on a Theorem of {M}c{G}ee},
  journal = {Journal of Philosophical Logic},
  year = {1995},
  volume = {24},
  number = {4},
  pages = {343--348},
  topic = {conditionals;finite-matrix-property;}
  }

@article{ adams_ew:1996a,
  author = {Ernest W. Adams},
  title = {Four Probability Preserving Properties of Inferences},
  journal = {Journal of Philosophical Logic},
  year = {1996},
  volume = {25},
  number = {1},
  pages = {1--24},
  topic = {conditionals;probabilities;}
  }

@book{ adams_ew:1997a,
  author = {Ernest W. Adams},
  title = {A Primer of Probability Logic},
  publisher = {Cambridge University Press},
  year = {1997},
  address = {Cambridge, England},
  topic = {probability-semantics;conditionals;}
 }

@article{ adams_ew:1998a,
  author = {Ernest W. Adams},
  title = {Review of \emph{{T}he Geneology of Disjunction}, by
  	{R}.{E}. {J}ennings},
  journal = {The Philosophical Review},
  year = {1998},
  volume = {105},
  number = {1},
  pages = {87--88},
  xref = {Review of jennings_re1:1994a.},
  topic = {disjunction;disjunction-in-nl;}
  }

@article{ adams_ew-carlstrom:1979a,
  author = {Ernest W. Adams and Ian F. Carlstrom},
  title = {Representing Approximate Ordering and Equivalence
  		Relations},
  journal = {Journal of Mathematical Psychology},
  year = {1979},
  volume = {1979},
  number = {2},
  pages = {182--207},
  rtnote = {In RHT collection.},
  topic = {approximate-truth;}
  }

@article{ adams_ew-levine_hp:1975b,
  author = {Ernest Adams and Howard P. Levine},
  title = {On the Uncertainties Transmitted from Premisses
  	to Conclusions in Deductive Inferences},
  journal = {Synth\'ese},
  year = {1975},
  volume = {30},
  pages = {429--460},
  rtnote = {In RHT collection.},
  topic = {probability-semantics;}
  }

@article{ adams_f:1986a,
  author = {Frederik Adams},
  title = {Intention and Intentional Action:  The Simple View},
  journal = {Mind and Language},
  year = {1986},
  volume = {1},
  number = {4},
  pages = {281--301},
  topic = {intention;action;}
  }

@incollection{ adams_g-resnik_p:1997a,
  author = {Gary Adams and Philip Resnik},
  title = {A Language Identification Application Built on the {J}ava
  	Client-Server Platform},
  booktitle = {From Research to Commercial Applications: Making
  	{NLP} Work in Practice},
  publisher = {Association for Computational Linguistics},
  year = {1997},
  editor = {Jill C. Burstein and Claudia Leacock},
  pages = {43--47},
  address = {Somerset, New Jersey},
  topic = {language-identification;}
  }

@article{ adams_ja:2001a,
  author = {Julie A. Adams},
  title = {Review of \emph{{M}ultiagent Systems: A Modern Approach to
  	Distributed Artificial Intelligence}, by {M}ichael {J}.
	{W}ooldridge},
  journal = {The {AI} Magazine},
  year = {2000},
  volume = {22},
  number = {2},
  pages = {105--108},
  xref = {Review of: wooldridge:1999a.},
  topic = {distributed-AI;distributed-systems;}
  }

@article{ adams_rm:1981a,
  author = {Robert Merrihew. Adams},
  title = {Actualism and Thisness},
  journal = {Synth\'ese},
  year = {1981},
  volume = {49},
  number = {1},
  pages = {3--41},
  topic = {actuality;haecceity;}
  }

@inproceedings{ adams_wa:2001a,
  author = {William A. Adams},
  title = {The Motivational Context},
  booktitle = {Modeling and Using Context: Third International and
  	Interdisciplinary Conference, Context 2001},
  publisher = {Springer-Verlag},
  year = {2001},
  editor = {Varol Akman and Paolo Bouquet and Richmond Thomason
  	and Roger A. Young},
  pages = {409--412},
  address = {Berlin},
  topic = {context;contextual-reasoning;}
  }

@inproceedings{ addanki-etal:1989a1,
  author = {Sanjaya Addanki and Roberto Cremonini and J. Scott
    		Pemberthy},
  title = {Reasoning about Assumptions in Graphs of Models},
  booktitle = {Proceedings of the Eleventh International Joint
  	Conference on Artificial Intelligence},
  year = {1989},
  editor = {N.S. Sridharan},
  pages = {1432--1438},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, CA},
  xref = {Republication: addanki-etal:1989a2.},
  topic = {qualitative-physics;qualitative-reasoning;model-based-reasoning;}
  }

@incollection{ addanki-etal:1989a2,
  author = {Sanjaya Addanki and Roberto Cremonini and J. Scott
    		Pemberthy},
  title = {Reasoning about Assumptions in Graphs of Models},
  booktitle = {Qualitative Reasoning about Physical Systems},
  publisher = {Morgan Kaufmann},
  year = {1990},
  editor = {Daniel S. Weld and Johan de Kleer},
  pages = {546--552},
  address = {San Mateo, California},
  xref = {Republication of: addanki-etal:1989a1.},
  topic = {qualitative-physics;qualitative-reasoning;model-based-reasoning;}
  }

@article{ addanki-etal:1991a,
  author = {Sanjaya Addanki and Roberto Cremonini and J. Scott
  	Penberthy},
  title = {Graphs of Models},
  journal = {Artificial Intelligence},
  year = {1991},
  volume = {51},
  number = {1--3},
  pages = {145--177},
  acontentnote = {Abstract:
     Solving analysis problems in physical worlds requires the
     representation of large amounts of knowledge. Recently, there
     has been much interest in using multiple models, in the
     engineering sense of the word, to capture the complex and
     diverse knowledge required during analysis. In this paper we
     represent physical domains as graphs of models, where the nodes
     of the graph are models and the edges are the assumptions that
     have to be changed in going from one model to the other. We
     introduce new, qualitative methods that automatically select and
     switch models during analysis.  Our approach has been
     successfully used for three implementations in the fields of
     mechanics, thermodynamics, and fluid dynamics.
  },
  topic = {model-based-reasoning;kr;qualitative-physics;thermodynamics;}
  }

@incollection{ addis:1984a,
  author = {Laird Addis},
  title = {Parallelism, Interaction, and Causation},
  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 = {329--344},
  address = {Minneapolis},
  topic = {causality;philosophy-of-mind;}
  }

@book{ adelman-riedel:1997a,
  author = {Leonard Adelman and Sharon Riedel},
  title = {Handbook for Evaluating Knowledge-Based Systems},
  publisher = {Kluwer Academic Publishers},
  year = {1997},
  address = {Dordrecht},
  topic = {AI-system-evaluation;knowledge-base-verification;
  	knowledge-engineering;}
 }

@article{ adelsonvelskiy-etal:1975a,
  author = {G.M.  Adelson-Velskiy and V.L.  Arlazarov and M.V. Donskoy},
  title = {Some Methods of Controlling the Tree Search in Chess
  	Programs},
  journal = {Artificial Intelligence},
  year = {1975},
  volume = {6},
  number = {4},
  pages = {361--371},
  topic = {computer-chess;search;}
  }

@article{ ades-steedman:1982a,
  author = {Anthony F. Ades and Mark J. Steedman},
  title = {On the Order of Words},
  journal = {Linguistics and Philosophy},
  year = {1982},
  volume = {4},
  number = {4},
  pages = {517--558},
  topic = {categorial-grammar;word-order;nl-syntax;}
  }

@article{ adger:2003a,
  author = {David Adger},
  title = {Predicaton and Equation},
  journal = {Linguistic Inquiry},
  year = {2003},
  volume = {33},
  number = {3},
  pages = {325--359},
  topic = {predication;Gaelic-language;}
  }

@incollection{ adiba-lopez:1987a,
  author = {Michel Adiba and Mauricio Lopez},
  title = {Data Bases and Office Automation},
  booktitle = {Databases},
  publisher = {Academic Press},
  year = {1987},
  editor = {J. Paradaens},
  pages = {1--44},
  address = {New York},
  rtnote = {In RHT collection.  Filed with hull:1987a.},
  topic = {databases;}
  }

@book{ adler-rips:2008a,
  editor = {Jonathan E. Adler and Lance J. Rips},
  title = {Reasoning:  Studies in Human Inference and Its Foundations},
  publisher = {Cambridge University Press},
  year = {2008},
  address = {Cambridge, England},
  ISBN = {978-0-521-61274-6 (pbk)},
  rtnote = {In RHT collection.  Out for reading.},
  contentnote = {TC:
     1. Jonathan E. Adler, "Philosophical Foundations", pp. 1--34
     2. Gilbert Harman, "Change in View: Principles of
     		Reasoning", pp. 35--46
     3. Bas C. van Fraassen, "Belief and the Will", pp. 47--59
     4. Bernard Williams, "Internal and External Reasons", pp. 60--66
     5. R.M. Sainsbury, "Paradoxes", pp. 67--93
     6. Jon Elster, "When Rationality Fails", pp. 94--113
     7. Amos Tversky and Daniel Kahneman, "Extensional Versus
          Intuitive Reasoning: The Conjunction Fallacy in Probability
          Judgment", pp. 114--135
     8. L. Jonathan Cohen, "Can Human Irrationality Be Experimentally
          Demonstrated?", pp. 136--155
     9. George Ainslie, "Breakdown of Will", pp. 156--186
    10. Lance J. Rips, Logical Approaches to Human Deductive
          Reasoning", pp. 187--205
    11. Philip N. Johnson-Laird, "Mental Models and Deductive
          Reasoning", pp. 206--222
    12. Keith Stenning and Michiel van Lambargen, "Interpretation,
          Representation, and Deductive Reasoning", pp. 223--248
    13. Bart Geurts, "Reasoning with Quantifiers", pp. 249--268
    14. Robert C. Stalnaker, "The Problem of Deduction", pp. 269--281
    15. Achille C. Varzi, "Patterns, Rules, and Inferences", pp. 282--290
    16. Henry E. Kyburg, Jr., "Inductive Logic and Inductive
        Reasoning", pp. 291--301
    17. Peter G\"ardenfors, "Reasoning in Conceptual Spaces", pp. 302--320
    18. Daniel N. Osherson, Edward E. Smith, Ormond Wilkie, Alejandro Lopez,
          and Eldar Shafir, "Category-Based Induction", pp. 321--342
    19. Steven A. Sloman, "18 When Explanations Compete: The Role of
          Explanatory Coherence on Judgments of Likelihood", pp. 343--352
    20. Evan Heit, "Properties of Inductive Reasoning", pp. 353--382
    21. Mike Oaksford, Nick Chater, and Ulrike Hahn, "Human Reasoning
          and Argumentation: The Probabilistic Approach", pp. 383--413
    22. Keith E. Stanovich, "Distinction in Cognitive Science", pp. 414--436
    23. Jonathan St. B. T. Evans, David E. Over, and Ken I.
          Manktelow, "Reasoning, Decision Making, and Rationality",
          pp. 437--450
    24. John L. Pollock, "Defeasible Reasoning", pp. 451--470
    25. Paul Thagard, "Explanatory Coherence", pp. 471--513
    26. Hans Rott, "Belief Revision", pp. 514--534
    27. Isaac Levi, "Belief, Doubt, and Evidentialism", pp. 535--547
    28. Jamin Halberstadt and Timothy D. Wilson, "Reflections on
          Conscious Reflection: Mechanisms of Impairment by Reasons
          Analysis", pp. 548--565
    29. Renee Elio and Francis Jeffry Pelletier, "Belief Change as
         Propositional Update", pp. 566--596
    30. Lance J. Rips, "Causal Thinking", pp. 597--631
    31. David K. Lewis, "Causation", pp. 632--638
    32. Daniel Kahneman and Carol A. Varey, "Propensities and
         Counterfactuals: The Loser That Almost Won", pp. 639--651
    33. Stephen Edelston Toulmin, "The Layout of Arguments", pp. 652--677
    34. Deanna Kuhn, "The Skills of Argument", pp. 678--693
    35. Lance J. Rips, "Reasoning and Conversation", pp. 694--730
    36. Elijah Millgram "Specificationism", pp. 731--747
    37. Jonathan E. Adler, "Presupposition, Attention, and
         Why-Questions", pp. 748--764
    38. H. Paul Grice, "Further Notes on Logic and Conversation", pp. 765--773
    39. Denis J. Hilton, "The Social Context of Reasoning:
         Conversational Inference and Rational Judgment", pp. 774--806
    40. Susan Carey and Elizabeth Spelke, "Domain-Specific Knowledge
         and Conceptual Change", pp. 807--826
    41. Patricia W. Cheng and Keith J. Holyoak, "Pragmatic Reasoning
         Schemas", pp. 827--842
    42. Leda Cosmides and John Tooby, "Beyond Intuition and Instinct
         Blindness: Toward an Evolutionarily Rigorous Cognitive
         Science", pp. 843--865
    43. Dan Sperber and Vittorio Girotto, "Use or Misuse of the
        Selection Task? Rejoinder to Fiddick, Cosmides, and
        Tooby", pp. 866--874
    44. Jerry A. Fodor, "Why We Are So Good at Catching
        Cheaters", pp. 875--877
    45. Jerry A. Fodor, "The Modularity of Mind: An Essay on Faculty
         Psychology", pp. 878--914
    46. Brian Skyrms, "Commitment", pp. 915--826
    47. Brian Skyrms, "Evolution of Inference", pp. 927--933
    48. Russell C. Burnett and Douglas L. Medin, Reasoning across
         Cultures"", pp. 934--955
    49. Richard E. Nisbett, Kaiping Peng, Incheol Choi, and Ara
        Norenzayan, "Culture and Systems of Thought: Holistic versus
        Analytic Cognition", pp. 956--985
    50. Donald Davidson, "On the Very Idea of a Conceptual
        Scheme", pp. 986--994
    51. Bernard Williams, "The Truth in Relativism", pp. 995--1001
    52. Ronald de Sousa, "Logic and Biology: Emotional Inference and
         Emotions in Reasoning", pp. 1002--1015
    53. Daniel N. Osherson, Daniela Perani, Stefano Cappa, Tatiana
         Schnur, Franco Grassi, and Ferruccio Fazio, "Distinct Brain
         Loci in Deductive versus Probabilistic Reasoning", pp. 1016--1023
    54. Jonathan Haidt, "The Emotional Dog and Its Rational Tail: A
         Social Intuitionist Approach to Moral Judgment", pp. 1024--1052
  },
  topic = {reasoning;}
 }

@article{ adler_je:1987a,
  author = {Jonathan E. Adler},
  title = {Comparisons with {G}rice},
  journal = {Behavioral and Brain Sciences},
  year = {1987},
  volume = {10},
  pages = {710--711},
  topic = {implicature;pragmatics;}
  }

@article{ adler_je:1997a,
  author = {Jonathan E. Adler},
  title = {Lying, Deceiving, or Falsely Implicating},
  journal = {The Journal of Philosophy},
  year = {1997},
  volume = {94},
  number = {9},
  pages = {435--452},
  topic = {deception;implicature;pragmatics;}
  }

@article{ adler_je:2009a,
  author = {Jonathan E. Adler},
  title = {Resisting the Force of Argument},
  journal = {The Journal of Philosophy},
  year = {2009},
  volume = {106},
  number = {6},
  pages = {339--364},
  contentnote = {This article is about the persuasiveness of
  	(defeasible?) argument, but the author doesn't know
	about NM reasoning.},
  topic = {belief;rationality;argument;}
  }

@book{ adler_sl:2004a,
  author = {Stephen L. Adler},
  title = {Quantum Theory as an Emergent Phenomenon: The
  		Statistical Mechanics of Matrix Models as the
		Precursor of Quantum Field Theory},
  publisher = {Cambridge University Press},
  year = {2004},
  address = {Cambridge, England},
  xref = {Review: ghirardi:2005a.},
  topic = {foundations-of-quantum-mechanics;}
 }

@book{ adorni-zock:1993a,
  editor = {Giovanni Adorni and Michael Zock},
  title = {Trends in Natural Language Generation, An Artificial Intelligence
               Perspective, Fourth {E}uropean Workshop, {EWNLG} '93,
	       Pisa, Italy, April 28-30, 1993, Selected Papers},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  volume = {1036},
  year = {1996},
  ISBN = {3-540-60800-1},
  contentnote = {TC:
     1. Michael Zock and Giovanni Adorni, "Introduction", pp. 1--16
     2. Koenraad De Smedt and Helmut Horacek and Michael
     		Zock, "Architectures for Natural Language Generation:
		Problems and Perspectives", pp. 17--46
     3. Alistair Knott and Robert Dale, "Choosing a Set of Coherence
     		Relations for Text Generation: A Data-Driven
		Approach", pp. 47--67
     4. Elisabeth Maier, "Textual Relations as Part of Multiple Links
     		Between Text Segments", pp. 68--87
     5. Hercules Dalianis and Eduard H. Hovy, "Aggregation in Natural
     		Language Generation", pp. 88--105
     6. Thanasis Daradoumis, "Towards a Representation of the
     		Rhetorical Structure of Interrupted
		Exchanges", pp. 106--124
     7. Stephen J. Green and Chrysanne DiMarco, "Stylistic
     		Decision-Making in Natural Language
		Generation", pp. 125--143
     8. Susan M. Haller and Stuart C. Shapiro, "{IDP}---An Interactive
     		Discourse Planner", pp. 144--167
     9. Kristiina Jokinen, "Reasoning about Coherent and Cooperative
     		System Responses", pp. 168--187
    10. Jens-Uwe Moeller, "Domain Related Focus-Shifting Constraints
    		in Dialogues with Knowledge Based Systems", pp. 188--204
    11. Elsa Pascual, "Integrating Text Formatting and Text
    		Generation", pp. 205--221
    12. Manfred Stede, "Lexical Options in Multilingual Generation
    		from a Knowledge Base", pp. 222--237
    13. Michel Gagnon and Guy Lapalme, "Pr\`etexte: A Generator for the
    		Expression of Temporal Information", pp. 238--259
    14. Leila Kosseim and Agn\`es Tutin and Richard I. Kittredge and
    		Guy Lapalme, "Generating Grammatical and Lexical
		Anaphora in Assembly Instructional Texts", pp. 260--276
    15. Bernd Abb and Carsten G\"unther and Michael Herweg and Kai
    		Lebeth and Claudia Maienborn and Andrea Schopp,
		"Incremental Grammatical Encoding---An Outline of the
		Synphonics Formulator", pp. 277--299
    16. Masahiko Haruno and Yasuharu Den and Yuji Matsumoto, "A Chart-Based
    		Semantic Head Driven Generation Algorithm", pp. 300--313
    17. Simon C. Dik and Peter Kahrel, "Generating Sentences Using
    		ProfGlot", pp. 314--330
    18. Elke Teich and Liesbeth Degand and John A. Bateman, "Multilingual
    		Textuality: Some Experiences from Multilingual Text
		Generation", pp.331--349
    19. Liesbeth Degand, "A {D}utch Component for a Multilingual
    		Systemic Text Generation System", pp. 350--367
    20. Chris Mellish and Ehud Reiter and John Levine, "Natural Language
    		Generation Applications to Technical Documentation: A
		View Through IDAS", pp. 368--382},
 topic = {nl-generation;}
  }

@article{ adorno:1990a,
  author = {Theodor W. Adorno},
  title = {Punctuation Marks},
  journal = {Antioch Review},
  year = {1990},
  volume = {48},
  number = {3},
  pages = {300--305},
  topic = {punctuation;}
}

@incollection{ adriaans-haas:2000a,
  author = {Pieter Adriaans and Erik de Haas},
  title = {Learning from a Substructural Perspective},
  booktitle = {Proceedings of the Fourth Conference on Computational
  	Natural Language Learning and of the Second Learning Language
	in Logic Workshop, {L}isbon, 2000},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  editor = {Claire Cardie and Walter Daelemans and Claire N\'edellec
  	and Erik Tjong Kim Sang},
  pages = {176--183},
  address = {Somerset, New Jersey},
  topic = {machine-language-learning;substructural-logics;}
  }

@book{ adriaans-zantinge:1996a,
  author = {Pieter Adriaans and Dolf Zantinge},
  title = {Data Mining},
  publisher = {Addison-Wesley},
  year = {1996},
  address = {Reading, Massachusetts},
  xref = {Review: flach:2001a.},
  topic = {data-mining;machine-learning;}
 }

@book{ adriaens-hahn_u1:1994a,
  editor = {Geert Adriaens and Udo Hahn},
  title = {Parallel Natural Language Processing},
  publisher = {Ablex Publishing Corp.},
  year = {1994},
  address = {Norwood, New Jersey},
  ISBN = {0893918695},
  rtnote = {UMich Media Union Library, QA 76.9 .N38 P371 1994.},
  topic = {nl-processing;parallel-processing;}
 }

@article{ afrati-etal:1988a,
  author = {F. Afrati and C.H. Papadimitriou and G. Papageorgiou},
  title = {The Synthesis of Communication Protocols},
  journal = {Algorithmica},
  year = {1988},
  volume = {3},
  number = {3},
  pages = {451--472},
  missinginfo = {A's 1st name},
  topic = {communication-protocols;}
  }

@incollection{ agarwal:1997a,
  author = {Rajeev Agarwal},
  title = {Towards a {PURE} System for Information Access},
  booktitle = {Interactive Spoken Dialog Systems:  Bridging
  	Speech and {NLP} Together in Real Applications},
  publisher = {Association for Computational Linguistics},
  year = {1997},
  editor = {Julia Hirschberg and Candace Kamm and Marilyn Walker},
  pages = {90--97},
  address = {New Brunswick, New Jersey},
  topic = {computational-dialogue;information-retrieval;}
  }

@incollection{ agassi:1976a,
  author = {Joseph Agassi},
  title = {Can Adults Become Genuinely Bilingual?},
  booktitle = {Language in Focus},
  publisher = {D. Reidel Publishing Co.},
  year = {1976},
  editor = {Asa Kasher},
  pages = {473--484},
  address = {Dordrecht},
  topic = {L2-language-learning;}
  }

@incollection{ agerri-korta:2001a,
  author = {Rodrigo Agerri and Kepa Korta},
  title = {Pragmatically Determined Aspects of Meaning: Explicature,
  	Impliciture or Implicature},
  booktitle = {Meaning and Logic: Disjunction/Implicatures},
  publisher = {Institute for Logic, Cognition, Language, and
  	Information, University of the Basque Country},
  year = {2001},
  editor = {Isabel G\'omez Txurruka and Rodrigo Agerri and Kepa Korta},
  pages = {13--21},
  address = {Donostia},
  rtnote = {In RHT collection.  Filed under "Txurruka"},
  topic = {pragmatics;implicature;}
  }

@article{ aghael-ardeshir:2001a,
  author = {Mojtaba Aghael and Mohammed Ardeshir},
  title = {Gentzen-Style Axiomatizations of Some Conservative
  	Extensions of Basic Propositional Logic},
  journal = {Studia Logica},
  year = {2001},
  volume = {68},
  number = {1},
  pages = {263--285},
  topic = {proof-theory;modal-logic;}
  }

@book{ agirre-edmonds_p:2006a,
  editor = {Eneko Agirre and Philip Edmonds},
  title = {Word Sense Disambiguation:  Algorithms and Applications},
  publisher = {Springer-Verlag},
  year = {2006},
  address = {Berlin},
  ISBN = {1-4020-4804-4},
  xref = {Review: mccarthy_d1:2007a},
  topic = {lexical-disambiguation;}
 }

@inproceedings{ agirre-etal:1998a,
  author = {Eneko Agirre and Koldo Gojenola and Kepa Sarasola
  	and Atro Voutilainen},
  title = {Towards a Single Proposal in Spelling Correction},
  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 = {22--28},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {spelling-correction;}
 }

@inproceedings{ agirre-etal:2000a,
  author = {Eneko Agirre and Olatz Ansa and Eduard Hovy and David
  	Martinez},
  title = {Enriching Very Large Ontologies Using the {WWW}},
  booktitle = {Proceedings of the Ontology Learning {ECAI} 2000 Workshop},
  year = {2000},
  editor = {Steffen Staab and Alexander Maedche and Claire Nedellec
  		and Peter Wiemer-Hastings},
  organization = {ECAI},
  address = {Berlin},
  url = {http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.68.7695&rep=rep1&type=pdf},
  abstract = {This paper explores the possibility to exploit text on
    the world wide web in order to enrich the concepts in existing
    ontologies. First, a method to retrieve documents from the WWW
    related to a concept is described. These document collections are
    used 1) to construct topic signatures (lists of topically related
    words) for each concept in WordNet, and 2) to build hierarchical
    clusters of the concepts (the word senses) that lexicalize a
    given word. The overall goal is to overcome two shortcomings of
    WordNet: the lack of topical links among concepts, and the
    proliferation of senses. Topic signatures are validated on a word
    sense disambiguation task with good results, which are improved
    when the hierarchical clusters are used.},
  topic = {computational-ontology;machine-learning;}
  }

@inproceedings{ agirre-etal:2001a,
  author = {Eneko Agirre and Olatz Ansa and Eduard Hovy and David
  	Martinez},
  title = {Enriching {W}ord{N}et Concepts with Topic Signatures},
  booktitle = {Proceedings of the {NAACL} Workshop on {W}ord{N}et and
  	Other Lexical Resources: Applications, Extensions and
	Customizations},
  year = {2001},
  organization = {ACL},
  publisher = {ACL},
  topic = {WordNet;}
  }

@inproceedings{ agirre-rigau:1996a,
  author = {Eneko Agirre and German Rigau},
  title = {A Proposal for Word Sense Disambiguation
		Using Conceptual Distance},
  booktitle = {Proceedings of the 1st International
		Conference on Recent Advances in Natural Language Processing},
  year = {1996},
  missinginfo = {publisher, editor, pages},
  url = {http://xxx.lanl.gov/abs/cmp-lg/9510003},
  topic = {wordnet;lexical-disambiguation;distance-metrics;}
  }

@inproceedings{ agirre-rigau:1996b,
  author = {Eneko Agirre and German Rigau},
  title = {Word Sense Disambiguation Using Conceptual Density},
  booktitle = {Proceedings of the 16th International Conference
		on Computational Linguistics},
  year = {1996},
  missinginfo = {publisher, editor, pages},
  url = {http://xxx.lanl.gov/abs/cmp-lg/9606007},
  topic = {lexical-disambiguation;wordnet;}
  }

@incollection{ agotnes-alechina:2006a,
  author = {Thomas {\AA}gotnes and Natasha Alechina},
  title = {Semantics for Dynamic Syntactic Epistemic Logics},
  booktitle = {{KR}2006: Proceedings, Tenth International Conference on
      Principles of  Knowledge Representation and Reasoning},
  publisher = {AAAI Press},
  year = {2006},
  editor = {Patrick Doherty and John Mylopoulos and Christopher A. Welty},
  pages = {411--419},
  address = {Menlo Park, California},
  topic = {limited-rationality;epistemic-logic;hyperintensionality;}
  }

@article{ agotnes-etal:2009a,
  author = {Thomas {\AA}gotnes and Wiebe van der Hoek and Michael Wooldridge},
  title = {Reasoning about Coalitional Games},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {173},
  number = {1},
  pages = {45--79},
  topic = {modal-logic;coalitional-games;}
  }

@article{ agotnes-etal:2009b,
  author = {Thomas {\AA}gotnes and Wiebe van der Hoek and Juan A.
       Rodr\'iguez-Aguilar, Carles Sierra, Michael Wooldridge},
  title = {Multi-Modal {CTL}: Completeness, Complexity, and an
  		Application},
  journal = {Studia Logica},
  year = {2009},
  volume = {92},
  number = {1},
  pages = {1--26},
  topic = {computation-tree-logic;branching-time;}
  }

@unpublished{ agrawal-etal:2000a,
  author = {Marindra Agrawal and Neeraj Kayal and Nitin Saxena},
  title = {{\sc primes} Is in {P}},
  year = {2000},
  note = {Unpublished manuscript, Indian Institute of Technology Kampur},
  rtnote = {In RHT collection.},
  topic = {algorithmic-complexity;number-theory;}
  }

@article{ agre:1993a,
  author = {Philip E. Agre},
  title = {Interview with {A}llen {N}ewell},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {59},
  number = {1--2},
  pages = {415--449},
  topic = {SOAR;cognitive-architectures;history-of-AI;}
  }

@article{ agre:1995a,
  author = {Philip E. Agre},
  title = {Computational Research on Interaction and Agency},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {72},
  number = {1--2},
  pages = {1--52},
  acontentnote = {Abstract:
     Recent research in artificial intelligence has developed
     computational theories of agents' involvements in their
     environments.  Although inspired by a great diversity of
     formalisms and architectures, these research projects are
     unified by a common concern: using principled characterizations
     of agents' interactions with their environments to guide
     analysis of living agents and design of artificial ones. This
     article offers a conceptual framework for such theories, surveys
     several other fields of research that hold the potential for
     dialogue with these new computational projects, and summarizes
     the principal contributions of the articles in this special
     double volume. It also briefly describes a case study in these
     ideas--a computer program called Toast that acts as a short-order
     breakfast cook. Because its designers have discovered useful
     structures in the world it inhabits, Toast can employ an
     extremely simple mechanism to decide what to do next.
  },
  topic = {agent-architectures;agent-environment-interaction;}
  }

@book{ agre:1997a,
  author = {Phillip Agre},
  title = {Computation and Human Experience},
  publisher = {Cambridge University Press},
  year = {1997},
  address = {Cambridge, England},
  ISBN = {0-521-38432-X},
  rtnote = {UMich Undergraduate Library, Q336.A37zde.},
  topic = {foundations-of-AI;philosophy-AI;philosophy-of-mind;
  		consciousness;}
 }

@inproceedings{ agre-chapman_d:1987a,
  author = {Philip E. Agre and David Chapman},
  title = {{PENGI}: An Implementation of a Theory of Activity},
  booktitle = {Proceedings of the Sixth National Conference on
              Artificial Intelligence},
  year = {1987},
  editor = {Kenneth Forbus and Howard Shrobe},
  pages = {268--272},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, CA},
  topic = {planning;action;}
  }

@book{ agre-rosenschein_sj:1996a,
  editor = {Philip E. Agre and Stanley J. Rosenschein},
  title = {Computational Theories of Interaction and Agency},
  publisher = {The {MIT} Press},
  year = {1996},
  address = {Cambridge, Massachusetts},
  topic = {agency;communication-protocols;distributed-systems;}
 }

@article{ aguzzoli-ciabattoni:2000a,
  author = {Stefano Aguzzoli and Agata Ciabattoni},
  title = {Finiteness in Infinite-Valued {\L}ukasiewicz Logic},
  journal = {Journal of Logic, Language, and Information},
  year = {2000},
  volume = {9},
  number = {1},
  pages = {5--29},
  topic = {reasoning-about-uncertainty;multivalued-logic;}
  }

@article{ ahmed:2005a,
  author = {Tarek Sayed Ahmed},
  title = {Algebraic Logic:  Where Does it Stand Today?},
  journal = {The Bulletin of Symbolic Logic},
  year = {2005},
  volume = {11},
  number = {4},
  pages = {465--516},
  topic = {algebraic-logic;}
  }

@inproceedings{ ahn_d:2003a,
  author = {David Ahn},
  title = {Presupposition Incorporation in Adverbial Quantification},
  booktitle = {Modeling and Using Context: Fourth International and
  	Interdisciplinary Conference, Context 2003},
  publisher = {Springer-Verlag},
  year = {2003},
  editor = {Patrick Blackburn and Chiara Ghidini and Roy M. Turner
  	and Fausto Giunchiglia},
  pages = {1--14},
  address = {Berlin},
  topic = {presupposition;nl-semantics;context;adverbs;nl-quantifiers;}
  }

@incollection{ ahn_rmc:1994a,
  author = {Reni M.C. Ahn},
  title = {Communication Contexts: A Pragmatic Approach to Information
  	Exchange},
  booktitle = {Types for Proofs and Programs: International Workshop
  	{TYPES}'94, {B}estad, {S}weden, June 6--10},
  publisher = {Springer-Verlag},
  year = {1994},
  editor = {Peter Dybjer and Bengt Nordstr\"om and Jan Smith},
  pages = {1--13},
  address = {Berlin},
  topic = {context;communication;}
  }

@article{ ahn_rmc-etal:1994a,
  author = {R. Ahn and R.J. Beun and T. Borghuis and Harry C. Bunt and
  	C. van Overveld},
  title = {The {DenK} Architecture: A Fundamental Approach to User
  	Interfaces},
  journal = {Artificial Intelligence Review},
  year = {1994},
  volume = {8},
  pages = {431--445},
  missinginfo = {A's 1st names, number},
  topic = {computational-dialogue;HCI;}
  }

@inproceedings{ aho_av-etal:1979a,
  author = {A.V. Aho and J.D. Ullman and A.D. Wyner and M.
  	Yannakakis},
  title = {Modeling Communication Protocols by Automata},
  booktitle = {Proceedings of the Twentieth {IEEE} Symposium on
  	Foundations of Computer Science},
  year = {1979},
  pages = {267--273},
  organization = {IEEE},
  missinginfo = {A's 1st names.},
  topic = {communication-protocols;}
  }

@article{ aho_av-etal:1982a,
  author = {A.V. Aho and J.D. Ullman and A.D. Wyner and M. Yannakakis},
  title = {Bounds on the Size and Transmission Rate of Communication
  	Protocols},
  journal = {Computers and Mathematics with Applications},
  year = {1982},
  volume = {8},
  number = {3},
  pages = {205--214},
  xref = {Later version of aho-etal:1979a.},
  missinginfo = {A's 1st names.},
  topic = {communication-protocols;}
  }

@book{ aho_t:1994a,
  author = {Tuomo Aho},
  title = {On the Philosophy of Attitude Logic},
  publisher = {The Philosophical Society of Finland},
  year = {1994},
  series = {Acta Philosophica {F}ennica},
  address = {Helsinki},
  rtnote = {In RHT collection.},
  topic = {epistemic-logic;agent-attitudes;propositional-attitudes;}
 }

@incollection{ aho_t-yronsuuri:2009a,
  author = {Tuomo Aho and Mikko Yr\"onsuuri},
  title = {Late Medieval Logic},
  booktitle = {The Development of Modern Logic},
  publisher = {Oxford University Press},
  year = {2009},
  editor = {Leila Haaparanta},
  pages = {11--77},
  address = {Oxford},
  topic = {history-of-logic;medieval-logic;}
  }

@inproceedings{ ahrenberg-etal:1998a,
  author = {Lars Ahrenberg and Mikael Andersson and Magnus Merkel},
  title = {A Simple Hybrid Aligner for Generating Lexical
  	Correspondences in Parallel Texts},
  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 = {29--35},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {text-alignment;}
 }

@incollection{ ahrendt-al:1998a,
  author = {W. Ahrendt et al.},
  title = {Integrating Automated and Interactive Theorem Proving},
  booktitle = {Automated Deduction: A Basis for Applications.
  	Volume {II}, Systems and Implementation Techniques},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {Wolfgang Bibel and Peter H. Schmidt},
  address = {Dordrecht},
  missinginfo = {A's 1st name, other authors, pages},
  topic = {theorem-proving;applied-logic;}
  }

@article{ ahuja-horaud:1995a,
  author = {Narendra Ahuja and Radu Horaud},
  title = {Introduction to the Special Volume on Computer Vision},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {78},
  number = {1--2},
  pages = {1--3},
  topic = {computer-vision;}
  }

@book{ aiello_lc-etal:1996a,
  editor = {Luigia Carlucci Aiello and Jon Doyle and Stuart Shapiro},
  title = {{KR}'96: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1996},
  address = {San Francisco},
  topic = {kr;}
 }

@article{ aiello_m:2000a,
  author = {Marco Aiello},
  title = {Review of \emph{{P}arts and Places: The Structures of Spatial
  	Representation}, by {R}oberto {C}asati and {A}chille
	{V}arzi},
  journal = {Journal of Logic, Language, and Information},
  year = {2000},
  volume = {10},
  number = {2},
  pages = {269--272},
  xref = {Review of: casati-varzi:1999a.},
  topic = {spatial-representation;philosophical-ontology;mereology;}
  }

@book{ aiello_m-etal:2007a,
  editor = {Marco Aiello and Ian Pratt-Hartmenn and Johan van Benthem},
  title = {Handbook of Spatial Logics},
  publisher = {Springer-Verlag},
  year = {2007},
  address = {Berlin},
  topic = {spatial-logic;}
 }

@article{ aikins:1983a,
  author = {Janice S. Aikins},
  title = {Prototypical Knowledge for Expert Systems},
  journal = {Artificial Intelligence},
  year = {1983},
  volume = {20},
  number = {2},
  pages = {163--210},
  acontentnote = {Abstract:
     Knowledge of situations typically encountered in performing a
     task is an important and useful source of information for
     solving that task. This paper presents a system that uses a
     representation of prototypical knowledge to guide computer
     consultations, and to focus the application of production rules
     used to represent inferential knowledge in the domain. The
     explicit representation of control knowledge for each
     prototypical situation is also emphasized.
  },
  topic = {expert-systems;procedural-control;rule-based-reasoning;
  	prototypical-knowledge;}
  }

@article{ aikins:1993a,
  author = {Jan S. Aikins},
  title = {Prototypical Knowledge for Expert Systems:
  	A Retrospective Analysis},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {59},
  number = {1--2},
  pages = {205--211},
  xref = {Retrospective commentary on aikins:1983a.},
  topic = {expert-systems;procedural-control;rule-based-reasoning;
  	prototypical-knowledge;}
  }

@book{ ainslie:1992a,
  author = {George Ainslie},
  title = {Picoeconomics: The Strategic Interaction of Successive
  		Motivational States within the Person},
  publisher = {Cambridge University Press},
  year = {1992},
  address = {Cambridge, England},
  ISBN = {0521260930},
  rtnote = {UMich Hatcher Graduate BF 503 .A461 1992},
  topic = {cognitive-psychology;practical-reasoning;}
 }

@book{ ainslie:2001a,
  author = {George Ainslie},
  title = {Breakdown of Will},
  publisher = {Cambridge University Press},
  year = {2001},
  address = {Cambridge, England},
  ISBN = {052159300X (hbk.), 0521596947 (pbk.)},
  rtnote = {UMich Hatcher Graduate BF 611 .A2951 2001},
  topic = {self-defeating-behavior;cognitive-psychology;}
 }

@article{ aiolli-sperduti:2002a,
  author = {Fabio Aiolli and Alessandro Sperduti},
  title = {A Re-Weighting Strategy for Improving Margins},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {137},
  number = {1--2},
  pages = {197--216},
  topic = {machine-learning;}
  }

@article{ aisbet-gibbon_g:2001a,
  author = {Janet Aisbet and Greg Gibbon},
  title = {A General Formulation of Conceptual Spaces as a Meso Level
  	Representation},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {133},
  number = {1--2},
  pages = {189--232},
  topic = {conceptual-spaces;}
  }

@incollection{ aisbett-carlson_g:2000a,
  author = {Janet Aisbett and Greg Carlson},
  title = {Epistemic Utility in Commonsense Reasoning},
  booktitle = {Logic, Language, and Computation, Volume 3},
  publisher = {CSLI Publications},
  year = {2000},
  editor = {Lawrence Cavedon and Patrick Blackburn and Nick Braisby
  	and Atushi Shimojina},
  pages = {1--21},
  address = {Stanford, California},
  topic = {limited-rationality;}
  }

@article{ aisbett-gibbon_g:1994a,
  author = {Janet Aisbett and Greg Gibbon},
  title = {A Tunable Distance Measure for Coloured Solid Models},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {65},
  number = {1},
  pages = {143--164},
  acontentnote = {Abstract:
     People are willing to rank simple objects of different shape and
     colour on the basis of "similarity". If machines are to reason
     about structure, this comparison process must be formalized.  That
     is, a distance measure between formal object representations
     must be defined. If the machine is reasoning with information to
     be presented to a human, the distance measure needs to accord
     with human notions of object similarity.  Since our perception of
     similarity is subjective and strongly influenced by situation,
     the measure should be tunable to particular users and contexts.
     This paper describes a distance measure between solid models
     which incorporates heuristics of the mental mappings humans use
     to compare objects. The first step is to formally represent
     objects in a way that reflects human visual segmentations. We
     use a modified boundary representation scheme in colour+physical
     space. The next step is to define a family of maps between these
     representations, motivated by considerations of how humans match
     shapes. The distance between two objects is essentially the cost
     of the lowest-cost map between them. The cost of a map
     incorporates a geometric measure of the smooth deformation
     required of edges and faces, a feature measure based on visually
     significant singular points, and a topological measure based on
     correspondence of visually significant vertices, edges and
     faces.  Tunable features of the match are: the relative cost of
     ignoring parts of objects; the treatment of colour; and whether
     or not the distance measure is required to be rotation
     invariant.
     An important application for such distance measures is to the
     development of user-friendly query of CAD and image databases.
     Query-by-example depends on implementation of a concept of
     likeness between object models in the database which, to be
     useful, must reflect the user's concepts. Another important
     application for distance measures is in automatic recognition of
     objects into classes whose members are not identical, so that
     the concept that ``this object is like object X'' is required. In
     the common situation that classes are based on human perceptions
     of visual similarity, the distance measure between the class
     prototype and the object to be classified should reflect those
     human perceptions.
  },
  topic = {visual-similarity;visual-reasoning;context;CAD;distance-metrics;}
  }

@inproceedings{ aist-mostow:1997a,
  author = {Gregory Aist and Jack Mostow},
  title = {A Time to Be Silent and a Time to Speak: Time-Sensitive
  	Communicative Actions in a Reading Tutor that Listens},
  booktitle = {Working Notes: {AAAI} Fall Symposium on Communicative
		Action in Humans and Machines},
  year = {1997},
  pages = {1--5},
  organization = {{AAAI}},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  editor = {David R. Traum},
  rtnote = {In RHT collection.},
  topic = {speech-acts;nl-generation;intelligent-tutoring;pragmatics;}
  }

@article{ ait-kaci:1986a,
  author = {Hassan A\"it-Kaci},
  title = {An Algebraic Semantics Approach to the Effective
  	Resolution of Type Equations},
  journal = {Theoretical Computer Science},
  year = {1986},
  volume = {45},
  number = {3},
  pages = {293--351},
  rtnote = {In RHT collection.},
  topic = {kr;description-logics;kr-course;}
  }

@book{ aitchenson:1987a,
  author = {J. Aitchenson},
  title = {Words in the Mind.  An Introduction to the Mental
  	Lexicon},
  publisher = {Blackwell Publishers},
  year = {1987},
  address = {Oxford},
  topic = {cognitive-semantics;lexical-semantics;semantic-primitives;}
 }

@article{ aitken-barrett_ja:2004a,
  author = {Wayne Aitken and Jeffrey A. Barrett},
  title = {Computer Implication and the {C}urry Paradox},
  journal = {Journal of Philosophical Logic},
  year = {2004},
  volume = {33},
  number = {6},
  pages = {631--637},
  topic = {Curry-paradox;computability;natural-deduction;}
  }

@article{ aitken-barrett_ja:2007a,
  author = {Wayne Aitken and Jeffrey A. Barrett},
  title = {Stability and Paradox in Algorithmic Logic},
  journal = {Journal of Philosophical Logic},
  year = {2007},
  volume = {36},
  number = {1},
  pages = {61--95},
  topic = {Curry-paradox;type-free-theories;algorithmic-logic;}
  }

@article{ aitken-barrett_ja:2008a,
  author = {Wayne Aitken and Jeffrey A. Barrett},
  title = {Abstraction in Algorithmic Logic},
  journal = {Journal of Philosophical Logic},
  year = {2008},
  volume = {37},
  number = {1},
  pages = {23--43},
  topic = {algorithmic-logic;lambda-calculus;Curry-paradox;}
  }

@incollection{ aitmokhtar-chanod:1997a,
  author = {Salah A\"it-Mokhtar and Jean-Pierre Chanod},
  title = {Subject and Object Dependency Extraction Using
  	Finite-State Transducers},
  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 = {71--77},
  address = {New Brunswick, New Jersey},
  topic = {finite-state-nlp;part-of-speech-tagging;grammatical-relations;}
  }

@article{ akama:1988a,
  author = {Seiki Akama},
  title = {On the Proof Method for Constructive Falsity},
  journal = {Zeitschrift f\"ur Mathematische Logik und
  	Grundlagen der Mathematik},
  year = {1988},
  volume = {34},
  pages = {385--392},
  topic = {constructive-falsity;}
  }

@article{ akama:1990a,
  author = {Seiki Akama},
  title = {Subformula Semantics for Strong Negation Systems},
  journal = {Journal of Philosophical Logic},
  year = {1990},
  volume = {19},
  number = {2},
  pages = {217--226},
  topic = {constructive-falsity;}
  }

@article{ akama:1996a,
  author = {Seiki Akama},
  title = {Curry's Paradox in Contractionless Constructive Logic},
  journal = {Journal of Philosophical Logic},
  year = {1996},
  volume = {25},
  number = {2},
  pages = {135--150},
  topic = {paradoxes;foundations-of-mathematics;Curry-paradox;}
  }

@book{ akama:1997a,
  editor = {Seiki Akama},
  title = {Logic, Language, and Computation},
  publisher = {Kluwer Academic Publishers},
  year = {1997},
  address = {Dordrecht},
  ISBN = {079234376X},
  rtnote = {UMich Graduate Library, PK 1933 .D391 1996.},
  contentnote = {TC:
     1. Seiki Akama, "Recent Issues in Logic, Language and Computation"
     2. Max J. Cresswell, "Restricted Quantification"
     3. B.H. Slater, "The Epsilon Calculus' Problematic"
     4. Klaus Von Heusinger, "Definite Descriptions and Choice
     		Functions"
     5. Nicholas Asher, "Spatio-Temporal Structure in Text"
     6. Y. Nakayama, "DRT and Many-Valued Logics"
     7. Heinrich Wansing, "Displaying as Temporalizing: Sequent Systems
     		for Subintuitionistic Logic
     8. Luis Far~\nias del Cerro and V. Lugardon, "Quantification and
     		Dependence Logics"
     9. Richard Sylvan, "Relevant Conditionals, and Relevant
     		Application Thereof"
  },
  ISBN = {0792360559},
  topic = {philosophical-logic;}
 }

@article{ akama-etal:2008a,
  author = {Seiki Akama and Yasunori Nagata and Chikatoshi Yamada},
  title = {Three-Valued Temporal Logic $Q_t$ and Future Contingents},
  journal = {Studia Logica},
  year = {2008},
  volume = {88},
  number = {2},
  pages = {215--231},
  topic = {future-contingent-propositions;multivalued-logic;}
  }

@inproceedings{ akbar-caelen:1998a,
  author = {Mohammed Akbar and Jean Caelen},
  title = {Parole er Traduction Automatique: Le Module de
  	Reconaissance {RAPHAEL}},
  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 = {36--40},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {speech-to-speech-machine-translation;}
 }

@article{ akers-etal:2001a,
  author = {Robert L. Akers and Ion Bica and Elaine Kant and Curt
  	Randall and Robert L. Young},
  title = {Sci{F}inance: A Program Synthesis Tool for Financial
  	Modeling},
  journal = {The {AI} Magazine},
  year = {2000},
  volume = {22},
  number = {2},
  pages = {27--41},
  topic = {AI-and-economics;financial-modeling;}
  }

@article{ akiba:1998a,
  author = {Ken Akiba},
  title = {Nominalistic Metalogic},
  journal = {Journal of Philosophical Logic},
  year = {1998},
  volume = {27},
  number = {1},
  pages = {35--47},
  topic = {formalizations-of-nominalism;}
  }

@article{ akiba:2004a,
  author = {Ken Akiba},
  title = {Vagueness in the World},
  journal = {No\^us},
  year = {2004},
  volume = {38},
  number = {3},
  pages = {407--429},
  topic = {vagueness;metaphysics;}
  }

@book{ akins:1986a,
  editor = {Kathleen Akins},
  title = {Perception},
  publisher = {Oxford University Press},
  year = {1996},
  address = {Oxford},
  contentnote = {TC:
  	1. Kathleen A. Akins, "Introduction"
	2. Kirk Ludwig, "Explaining Why Things Look the Way They Do"
	3. Paul M. Churchland, "A Feedforward Network for Fast Stereo
		Vision with Movable Fusion Plane"
	4. John Grimes, "On the Failure to Detect Changes in Scenes
		across Saccades"
	5. Dana Ballard, "On the Function of Visual Representation"
	6. P.S. Churchland and V.S. Ramachandran, "Filling In: Why
		Dennett Is Wrong"
	7. Daniel C. Dennett, "Seeing Is Believing -- Or Is It?"
       10. Kathleen A. Akins and Steven Winger, "Ships in the Night:
       		Churchland and Ramachandran on Dennett's Theory of
		Consciousness"
       11. Brian P. McLaughlin, "Lewis on What Distinguishes
       		Perception from Hallucination"
       12. Frances Egan, "Intentionality and the Theory of Vision"
       13. Sarah Patterson, "Success-Orientation and Individualism in
       		Marr's Theory of Vision"
       14. John Haugeland, "Objective Perception"
       15. John M. Henderson, "Visual Attention and the
       		Attention-Action Interface"
       16. C. Randy Gallistel, "The Perception of Time"
   },
  ISBN = {0-19-508462-4 (paper), 0-19-508461-6 (cloth)},
  topic = {psychology-of-perception;}
 }

@book{ akkerman-etal:1985a,
  author = {Erik Akkerman and Pieter Masereeuw and Willem Meijs},
  title = {Designing a Computerized Lexicon For Linguistic Purposes},
  publisher = {Rodopi},
  year = {1985},
  address = {Amsterdam},
  ISBN = {9062037674 (pbk.)},
  rtnote = {UMich Graduate Library, 820.6 C842 n.s. v.51.},
  miscnote = {Distributed in the U.S.A. by Humanities Press.},
  topic = {computational-lexicography;}
 }

@book{ akmajian:1974a,
  author = {Adrian Akmajian},
  title = {Pronominalization, Relativization, and Thematization:
  	Interrelated Systems of Coreference in {E}nglish and {J}apanese},
  publisher = {Indiana University Linguistics Club},
  year = {1971},
  address = {310 Lindley Hall, Bloomington, Indiana},
  rtnote = {In RHT collection.},
  topic = {pronouns;anaphora;relative-clauses;Japanese-language;}
  }

@book{ akmajian:1979a,
  author = {Adrian Akmajian},
  title = {Aspects of the Grammar of Focus in {E}nglish},
  publisher = {Garland Publishing},
  year = {1979},
  address = {New York},
  ISBN = {0824096916},
  rtnote = {UMich Graduate Library, 820.5 A315as 1979.},
  topic = {s-focus;}
 }

@book{ akmajian-etal:1979a,
  author = {Adrian Akmajian and Richard Demers and Robert M. Harnish},
  title = {Linguistics: An Introduction to Language and Communication},
  edition = {1},
  publisher = {The {MIT} Press},
  year = {1979},
  address = {Cambridge, Massachusetts},
  rtnote = {In RHT collection.  LLP authored shelves.},
  topic = {linguistics-intro;}
 }

@book{ akmajian-etal:2001a,
  author = {Adrian Akmajian and Richard A. Demers and Ann K. Farmer
  	and Robert M. Harnish},
  title = {Linguistics: An Introduction to Language and Communication},
  edition = {5},
  publisher = {The {MIT} Press},
  year = {2001},
  address = {Cambridge, Massachusetts},
  ISBN = {0262011859},
  rtnote = {Umich Undergraduate, P 121 .A43841 2001.},
  topic = {linguistics-intro;}
 }

@book{ akmajian-heny:1975a,
  author = {Adrian Akmajian and Frank Heny},
  title = {An Introduction to the Principles of Transformational
  	Syntax},
  publisher = {The {MIT} Press},
  year = {1975},
  address = {Cambridge, Massachusetts},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {syntax-intro;}
 }

@article{ akmajian-wasow:1975a,
  author = {Adrian Akmajian and Tom Wasow},
  title = {The Constituent Structure of {VP} and {AUX} and the
  		Position of the Verb {BE}},
  journal = {Linguistic Analysis},
  year = {1975},
  volume = {1},
  number = {3},
  pages = {205--245},
  rtnote = {In RHT collection.},
  topic = {transformational-grammar;auxiliary-verbs;}
  }

@article{ akman:1995a,
  author = {Varol Akman},
  title = {Review of \emph{{F}ormalizing Common Sense: Papers by {J}ohn
  	{M}c{C}arthy}, edited by  {V}ladimir {L}ifschitz},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {77},
  number = {2},
  pages = {359--369},
  xref = {Review of: lifschitz:1990d.},
  topic = {J-McCarthy;common-sense;kr;}
  }

@article{ akman:1995b,
  author = {Varol Akman},
  title = {Review of \emph{{F}rom Discourse to Logic: Introduction to
  	Modeltheoretic Semantics in Natural Language, Formal Logic
	and Discourse Representation Theory, Vols. 1 and 2}, by
	{H}ans {K}amp and {U}we {R}eyle},
  journal = {Computational Linguistics},
  year = {1995},
  volume = {21},
  number = {2},
  pages = {265--268},
  xref = {Review of kamp-reyle:1993ai, kamp-reyle:1993aii.},
  topic = {nl-semantics;discourse-representation-theory;pragmatics;}
  }

@inproceedings{ akman:1997a,
  author = {Varol Akman},
  title = {Context as a Social Construct},
  booktitle = {Working Papers of the {AAAI} Fall Symposium on
  	Context in Knowledge Representation and Natural Language},
  year = {1997},
  editor = {Sa\v{s}a Buva\v{c} and {\L}ucia Iwa\'nska},
  pages = {1--6},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  topic = {context;contextual-reasoning;}
  }

@article{ akman:1999a,
  author = {Varol Akman},
  title = {Review of \emph{{S}urvey of the State of the Art in
  	Human Language Technology}, edited by {G}iovanni {B}attista
	{V}arile and {A}ntonio {Z}ampolli},
  journal = {Computational Linguistics},
  year = {1999},
  volume = {25},
  number = {1},
  pages = {161--164},
  xref = {Review of varile-zampolli:1997a.},
  topic = {nlp-technology;}
  }

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

@incollection{ akman:2007a,
  author = {Varol Akman},
  title = {On a Proposal of {S}trawson Concerning Context
     		vs. `What is Said'},
  booktitle = {Perspectives on Context},
  publisher = {CSLI Publications},
  year = {2007},
  editor = {Paolo Bouquet and Luciano Serafini and Richmond H. Thomason},
  pages = {79--94},
  address = {Stanford, California},
  topic = {context;assertion;}
  }

@incollection{ akman-alpaslan:1999a,
  author = {Varol Akman and Ferda Nur Alpaslan},
  title = {Strawson on Intended Meaning and Context},
  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 = {1--14},
  address = {Berlin},
  topic = {context;speaker-meaning;}
  }

@book{ akman-etal:2001a,
  editor = {Varol Akman and Paolo Bouquet and Richmond Thomason
  	and Roger A. Young},
  title = {Modeling and Using Context: Third International and
  	Interdisciplinary Conference, Context 2001},
  publisher = {Springer-Verlag},
  year = {2001},
  address = {Berlin},
  contentnote = {TC:
     1. Horacio Arlo-Costa, "Trade-Offs between Inductive Power
     		and Logical Omniscience in Modeling Context", pp. 1--14
     2. John A. Barnden, "Uncertainty and Conflict Handling in the
     		{ATT}-Meta Context-Based System for Metaphorical
		Reasoning", pp. 15--29
     3. Travis Bauer and David B. Leake, "{W}ord{S}eive: A Method for
     		Real-Time Context Extraction", pp. 30--44
     4. John Bell, "Pragmatic Reasoning: Pragmatic Semantics and
     		Semantic Pragmatics", pp. 45--58
     5. Massimo Beneceretti and Paolo Bouquet and Chiara Ghidini, "On
     		the Dimensions of Context Dependence: Partiality,
		Approximation, and Perspective", pp. 59--72
     6. Claudia Bianchi, "Context of Utterance and Intended
     		Context", pp. 73--66
     7. Paolo Bouquet and Luciano Serafini, "Two Formalizations of
     		Context: A Comparison", pp. 87--101
     8. Jocelyn Cohan, "Consider the Alternatives:  Focus in Contrast
     		and Context", pp. 102--115
     9. John H. Connolly, "Context in the Study of Human Languages
     		and Computer Programming Languages: A
		Comparison", pp. 116--128
    10. Mehdi Dastani and Bipin Indurkhya, "Modeling Context Effect
    		in Perceptual Domains", pp. 129--142
    11. Bruce Edmonds, "Learning Appropriate Contexts", pp. 143--155
    12. Hamid R. Ekbia and Ana G. Maguitman, "Context and Relevance:
    		A Pragmatic Approach", pp. 156--169
    13. Roberta Ferrario, "Counterfactual Reasoning", pp. 170--183
    14. Martin Romacker and Udo Hahn, "Context-Based Ambiguity
    		Management for Natural Language Processing", pp. 184--197
    15. Amy E. Henninger and Avelino J.Gonzalez and Michael
    		Georgiopoulos and Michael De{M}aro, "A
		Connectionist-Symbolic Approach to Modeling Agent
		Behavior: Neural Networks Grouped by Contexts", pp. 198--209
    16. Martin Juettner and Ingo Rentschler, "Context Dependency of
    		Pattern-Category Learning", pp. 210--220
    17. Boicho Kokinov and Maurice Grinberg, "Simulating Context
    		Effects in Problem Solving with {AMBR}", pp. 221--234
    18. David Langlois and Kamel Smaili and Jean-Paul Haton, "A New
    		Method Based on Context for Combining Statistical
		Language Models", pp. 235--247
    19. Tomoko Matsui, "Experimental Pragmatics: Towards Testing
    		Relevance-Based Predictions about Anaphoric Bridging
		Inferences", pp. 248--260
    20. Heiko Maus, "Workflow Context as a Means for Intelligent
    		Information Support", pp. 261--27

repository: sergiud/bibtex-spirit

repo_name: sergiud/bibtex-spirit