text:
a Lexical
    		Knowledge Base for Natural Language Translation},
  booktitle = {Current Issues in Computational Linguistics: Essays in
  	Honour of {D}on {W}alker},
  publisher = {Giardini Editori e Stampatori and Kluwer Academic
  	Publishers},
  year = {1994},
  editor = {Antonio Zampolli and Nicoletta Calzolari and Martha Palmer},
  pages = {155--175},
  address = {Pisa and Dordrecht},
  topic = {computational-lexicography;machine-translation;}
  }

@incollection{ amsterdam:1991a,
  author = {Jonathan  Amsterdam},
  title = {Temporal Reasoning and Narrative Conventions},
  booktitle = {{KR}'91: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1991},
  editor = {James F. Allen and Richard Fikes and Erik Sandewall},
  pages = {15--21},
  address = {San Mateo, California},
  topic = {kr;kr-course;narrative-representation;narrative-understanding;}
  }

@inproceedings{ amtrup-weber_v:1998a,
  author = {Jan W. Amtrup and Volker Weber},
  title = {Time Mapping with Hypergraphs},
  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 = {55--61},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {parsing-algorithms;}
 }

@article{ anagnostopoulou:1999a,
  author = {Elena Anagnostopoulou},
  title = {Toward a More Complete Typology of Anaphoric
  	Expressions},
  journal = {Linguistic Inquiry},
  year = {1999},
  volume = {30},
  number = {1},
  pages = {97--119},
  topic = {anaphora;}
  }

@book{ anand:1993a,
  author = {Paul Anand},
  title = {Foundations of Rational Choice under Risk},
  publisher = {Oxford University Press},
  year = {1993},
  address = {Oxford},
  ISBN = {0-19-823303-5},
  rtnote = {In RHT collection.  ESP Shelves.},
  topic = {foundations-of-decision-theory;foundations-of-utility;}
 }

@book{ ananiadou-mcnaught:2006a,
  editor = {Sophia Ananiadou and John McNaught},
  title = {Text Mining for Biology and Biomedicine},
  publisher = {Artech House},
  year = {2006},
  address = {Boston},
  ISBN = {1-58053-984-X},
  xref = {Review: karamanis:2007a},
  topic = {data-mining;bioinformatics;}
 }

@article{ anantharaman-etal:1990a,
  author = {Thomas Anantharaman and Murray S. Campbell and Feng-hsiung Hsu},
  title = {Singular Extensions: Adding Selectivity to Brute-Force
  	Searching},
  journal = {Artificial Intelligence},
  year = {1990},
  volume = {43},
  number = {1},
  pages = {99--109},
  topic = {search;}
  }

@article{ andersen_sk:1991a,
  author = {Stig K{\ae}r Andersen},
  title = {Review of \emph{{P}robabilistic Reasoning in Intelligent
  	Systems: Networks of Plausible Inference}, by {J}udea
	{P}earl},
  journal = {Artificial Intelligence},
  year = {1991},
  volume = {48},
  number = {1},
  pages = {117--124},
  xref = {Review of pearl:1988a.},
  topic = {Bayesian-networks;reasoning-about-uncertainty;
  	uncertainty-in-AI;probabilistic-reasoning;}
  }

@inproceedings{ anderson_ah:1999a,
  author = {A.H. Anderson and J. Mullin and E. Katsavras and R. McEwan
			and E. Grattan and P. Brundell},
  title = {Understanding Multiparty Multimedia Interactions},
  booktitle = {Working Papers of the {AAAI} Fall Symposium on
  	Psychological Models of Communication in Collaborative
	Systems},
  year = {1999},
  editor = {Susan E. Brennan and Alain Giboin and David R. Traum},
  pages = {9--16},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  topic = {discourse;multimodal-communication;collaboration;}
  }

@incollection{ anderson_ah-howarth:2002a,
  author = {Anne H. Anderson and Barbara Howarth},
  title = {Referential Form and Word Duration in Video-Mediated and
  	Face-to-Face Dialogues},
  booktitle = {{EDILOG} 2002: Proceedings of the Sixth Workshop on the
  	Semantics and Pragmatics of Dialogue},
  publisher = {Cognitive Science Centre, University of Edinburgh},
  year = {2002},
  editor = {Johan Bos and Mary Ellen Foster and Colin Mathesin},
  pages = {13--28},
  address = {Edinburgh},
  topic = {psychology-of-discourse;}
  }

@article{ anderson_ar:1951a,
  author = {Alan R. Anderson},
  title = {A Note on Subjunctive and Counterfactual Conditionals},
  journal = {Analysis},
  year = {1951},
  volume = {12},
  pages = {35--38},
  missinginfo = {number},
  topic = {conditionals;subjunctive-mood;}
  }

@article{ anderson_ar:1954a,
  author = {Alan Ross Anderson},
  title = {Review of `Recent Discussions on Subjunctive Conditionals',
  	by {E}rna {S}chneider},
  journal = {Journal of Symbolic Logic},
  year = {1954},
  volume = {19},
  number = {1},
  pages = {68},
  xref = {Review of: schneider_e:1953a.},
  topic = {conditionals;}
  }

@article{ anderson_ar:1954b,
  author = {Alan Ross Anderson},
  title = {Review of `Counterfactual Conditionals',
  	by {B}.{J}. {D}iggs},
  journal = {Journal of Symbolic Logic},
  year = {1954},
  volume = {19},
  number = {1},
  pages = {68},
  xref = {Review of: diggs:1952a.},
  topic = {conditionals;}
  }

@article{ anderson_ar:1954c,
  author = {Alan Ross Anderson},
  title = {Review of `Contrary-to-Fact Conditionals',
  	by {J}ulius {R}. {W}einberg},
  journal = {Journal of Symbolic Logic},
  year = {1954},
  volume = {19},
  number = {1},
  pages = {69--70},
  xref = {Review of: weinberg_jr:1964a.},
  topic = {conditionals;}
  }

@article{ anderson_ar:1954d,
  author = {Alan Ross Anderson},
  title = {Review of `{C}ounterfactual Conditionals' and `{H}ypothetical
  	Statements and Phenomenalism',
  	by {R}obert {B}rown and {J}ohn {W}atling},
  journal = {Journal of Symbolic Logic},
  year = {1954},
  volume = {19},
  number = {1},
  pages = {70--71},
  xref = {Review of: .},
  topic = {conditionals;}
  }

@article{ anderson_ar:1958a,
  author = {Alan R. Anderson},
  title = {A Reduction of Deontic Logic to Alethic Modal
		Logic},
  journal = {Mind, New Series},
  year = {1958},
  volume = {67},
  pages = {100--103},
  missinginfo = {number},
  topic = {deontic-logic;}
  }

@article{ anderson_ar:1958b,
  author = {Alan R. Anderson},
  title = {The Logic of Norms},
  journal = {Logique et Analyse},
  year = {1958},
  volume = {1},
  pages = {84--91},
  rtnote = {In RHT collection.},
  topic = {deontic-logic;}
  }

@article{ anderson_ar:1959a,
  author = {Alan R. Anderson},
  title = {Church on Ontological Commitment},
  journal = {The Journal of Philosophy},
  year = {1959},
  volume = {56},
  number = {10},
  pages = {448--452},
  rtnote = {In RHT collection.},
  topic = {ontological-commitment;}
  }

@article{ anderson_ar:1959b,
  author = {Alan R. Anderson},
  title = {On the Logic of Commitment},
  journal = {Philosophical Studies},
  year = {1959},
  volume = {10},
  pages = {23--27},
  topic = {deontic-logic;commitment;conditional-obligation;}
  }

@article{ anderson_ar:1962a,
  author = {Alan R. Anderson},
  title = {Logic, Norms, and Roles},
  journal = {Ratio},
  volume = {4},
  year = {1962},
  pages = {32--49},
  rtnote = {In RHT collection.},
  topic = {deontic-logic;Hohfeld;}
    }

@article{ anderson_ar:1962b,
  author = {Alan R. Anderson},
  title = {Reply to {M}r. {R}escher},
  journal = {Philosophical Studies},
  year = {1962},
  volume = {13},
  number = {1--2},
  pages = {6--8},
  xref = {Reply to: rescher:1962a},
  rtnote = {In RHT collection.},
  topic = {conditional-obligation;deontic-logic;}
  }

@book{ anderson_ar:1964a,
  editor = {Alan Ross Anderson},
  title = {Minds and Machines},
  publisher = {Prentice-Hall},
  year = {1964},
  address = {Englewood Cliffs, New Jersey},
  rtnote = {UMich Graduate Library:  Q 335.5 A545.},
  rtnote = {In RHT Collection.  Cogsci shelf.},
  topic = {foundations-of-AI;philosophy-of-mind;}
 }

@article{ anderson_ar:1967a,
  author = {Alan R. Anderson},
  title = {Some Nasty Problems in the Formal Logic of Ethics},
  journal = {No\^us},
  year = {1967},
  volume = {33},
  number = {1},
  pages = {345--360},
  rtnote = {In RHT collection.},
  topic = {deontic-logic;relevance-logic;}
  }

@article{ anderson_ar:1970a,
  author = {Alan R. Anderson},
  title = {The Logic of {H}ofeldian Propositions},
  journal = {Logique et Analyse},
  year = {1970},
  volume = {12},
  missinginfo = {pages, number},
  topic = {logic-and-law;deontic-logic;}
  }

@article{ anderson_ar:1971a,
  author = {Alan R. Anderson},
  title = {The Logic of {H}ohfeldian Propositons},
  journal = {University of Pittsburgh Law Review},
  year = {1971},
  volume = {33},
  pages = {29--38},
  rtnote = {In RHT collection.},
  topic = {deontic-logic;Hohfeld;}
  }

@article{ anderson_ar:1977a,
  author = {Alan R. Anderson},
  title = {Ought, Time, and Deontic Paradoxes},
  journal = {The Journal of Philosophy},
  year = {1977},
  volume = {74},
  number = {12},
  pages = {775--791},
  rtnote = {In RHT collection.},
  topic = {deontic-logic;}
  }

@article{ anderson_ar-belnap:1962b,
  author = {Alan R. Anderson and Nuel D. {Belnap, Jr.}},
  title = {Tautological Entailments},
  journal = {Philosophical Studies},
  volume = {1--2},
  year = {1962},
  pages = {9--49},
  topic = {relevance-logic;}
    }

@book{ anderson_ar-belnap:1975a,
  author = {Alan R. Anderson and Nuel D. {Belnap, Jr.}},
  title = {Entailment: The Logic of Relevance and Necessity},
  publisher = {Princeton University Press},
  year = {1975},
  volume = {1},
  address = {Princeton, New Jersey},
  rtnote = {In RHT collection.},
  topic = {relevance-logic;}
 }

@book{ anderson_ar-etal:1992a,
  author = {Alan R. Anderson and Nuel Belnap and J. Michael Dunn},
  title = {Entailment: The Logic of Relevance and Necessity},
  publisher = {Princeton University Press},
  address = {Princeton, New Jersey},
  volume = {2},
  year = {1992},
  rtnote = {In RHT Collection.  LL single author shelves.},
  topic = {relevance-logic;}
    }

@phdthesis{ anderson_ca:1977a,
  author = {C. Anthony Anderson},
  title = {Some Models for the Logic of Sense and Denotation with
  	an Application to Alternative (0)},
  school = {Philosophy Department, UCLA},
  year = {1977},
  type = {Ph.D. Dissertation},
  address = {Los Angeles},
  rtnote = {In RHT collection.  On load to D. Tucker.},
  topic = {Frege;intensional-logic;}
 }

@article{ anderson_ca:1980a,
  author = {C. Anthony Anderson},
  title = {Some New Axioms for the Logic of Sense and Denotation:
  	Alternative (0)},
  journal = {No\^us},
  year = {1980},
  volume = {14},
  number = {2},
  pages = {217--234},
  rtnote = {In RHT collection.},
  topic = {Frege;intensional-logic;}
  }

@article{ anderson_ca:1980b,
  author = {C. Anthony Anderson},
  title = {Some Difficulties Concerning {R}ussellian Intensional Logic},
  journal = {No\^us},
  year = {1980},
  volume = {14},
  number = {1},
  pages = {35--43},
  rtnote = {In RHT collection.},
  topic = {Russell;intensionality;}
  }

@unpublished{ anderson_ca:1981a,
  author = {C. Anthony Anderson},
  title = {Synonymous Isomorphism and the Logic of Sense and
  	Denotation},
  year = {1981},
  note = {Unpublished manuscript, University of Minnesota.},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  topic = {logic-of-sense-and-denotation;hyperintensionality;}
  }

@article{ anderson_ca:1984a,
  author = {C. Anthony Anderson},
  title = {The Paradox of the Knower},
  journal = {The Journal of Philosophy},
  year = {1984},
  volume = {80},
  pages = {338--355},
  number = {6},
  rtnote = {In RHT collection.},
  topic = {syntactic-attitudes;}
  }

@incollection{ anderson_ca:1984b,
  author = {C. Anthony Anderson},
  title = {General Intensional Logic},
  booktitle = {Handbook of Philosophical Logic, Volume {II}:
  	Extensions of Classical Logic},
  publisher = {D. Reidel Publishing Co.},
  year = {1984},
  editor = {Dov Gabbay and Franz Guenther},
  pages = {355--385},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {modal-logic;higher-order-logic;intensional-logic;}
 }

@article{ anderson_ca:1984c,
  author = {C. Anthony Anderson},
  title = {Divine Omnipotence and Impossible Tasks:  An Intensional
  	Analysis},
  journal = {International Journal of Philosophy and Religion},
  year = {1984},
  volume = {15},
  pages = {109--124},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {omnipotence;paradoxes;}
  }

@article{ anderson_ca:1986a,
  author = {C. Anthony Anderson},
  title = {Some Difficulties Concerning {R}ussellian Intensional
  	Logic},
  journal = {No\^us},
  year = {1986},
  volume = {20},
  number = {1},
  pages = {35--43},
  rtnote = {In RHT collection.},
  topic = {Russell;intensionality;}
  }

@article{ anderson_ca:1987a,
  author = {C. Anthony Anderson},
  title = {Bealer's {\it Quality and Concept}},
  journal = {Journal of Philosophical Logic},
  year = {1987},
  volume = {16},
  number = {2},
  pages = {115--164},
  topic = {intensionality;hyperintensionality;epistemic-logic;
  	property-theory;propositional-attitudes;}
  }

@article{ anderson_ca:1987b,
  author = {C. Anthony Anderson},
  title = {Semantical Antinomies in the Logic of Sense and Denotation},
  journal = {Notre Dame Journal of Formal Logic},
  year = {1987},
  volume = {28},
  number = {1},
  pages = {99--114},
  topic = {logic-of-sense-and-denotation;semantic-paradoxes;
  	intensional-paradoxes}
  }

@incollection{ anderson_ca:1989a,
  author = {C. Anthony Anderson},
  title = {Russell on Order in Time},
  booktitle = {Reading {R}ussell: Essays on {B}ertrand {R}ussell's
  	Metaphysics and Epistemology},
  publisher = {University of Minnesota Press},
  year = {1989},
  editor = {C. Wade Savage and C. Anthony Anderson},
  pages = {249--263},
  address = {Minneapolis},
  rtnote = {In RHT collection.},
  topic = {events;philosophy-of-time;temporal-ontology;}
  }

@incollection{ anderson_ca:1989b,
  author = {C. Anthony Anderson},
  title = {Russellian Intensional Logic},
  booktitle = {Themes from {K}aplan},
  publisher = {Oxford University Press},
  year = {1989},
  editor = {Joseph Almog and John Perry and Howard Wettstein},
  pages = {67--103},
  address = {Oxford},
  rtnote = {In RHT collection.},
  topic = {intensionality;type-theory;Russell;}
  }

@article{ anderson_ca:1990a,
  author = {C. Anthony Anderson},
  title = {Some Emendations of {G}\"odel's Ontological Proof},
  journal = {Faith and Philosophy},
  volume = {7},
  year = {1990},
  rtnote = {In RHT collection.},
  topic = {ontological-argument;Goedel;}
  }

@incollection{ anderson_ca:1991a,
  author = {C. Anthony Anderson},
  title = {Alonzo Church},
  booktitle = {Handbook of Metaphysics and Ontology},
  publisher = {Philosophia Verlag},
  year = {1991},
  editor = {H. Burkhardt and B. Smith},
  address = {Munich},
  missinginfo = {pages.},
  rtnote = {In RHT collection.},
  topic = {Church;history-of-logic;}
  }

@article{ anderson_ca:1993a,
  author = {C. Anthony Anderson},
  title = {Toward a Logic of A Priori Knowledge},
  journal = {Philosophical Topics},
  year = {1994},
  volume = {21},
  number = {2},
  pages = {1--20},
  topic = {a-priori;epistemic-logic;}
  }

@article{ anderson_ca:1998a,
  author = {C. Anthony Anderson},
  title = {Alonzo {C}hurch's Contributions to Philosophy and
  	Intensional Logic},
  journal = {The Bulletin of Symbolic Logic},
  year = {1998},
  volume = {4},
  number = {2},
  pages = {129--171},
  topic = {intensionality;Church;history-of-logic;}
  }

@book{ anderson_ca-owens_j2:1990a,
  editor = {C. Anthony Anderson and Joseph Owens},
  title = {Propositional Attitudes: The Role of Content in Logic,
  	Language, and Mind},
  publisher = {Center for the Study of Language and Information},
  year = {1990},
  address = {Stanford, California},
  contentnote = {TC:
  	1. Kit Fine, "Quine on Quantifying In", pp. 1--25
	2. Hans Kamp, "Prolegomena to a Structural Theory of Belief
		and other Attitudes", pp. 27--90
	3. Ernest LePore and Barry Loewer, "A Study in Comparative
			Semantics", pp. 91--111
	4. Tyler Burge, "Wherein is Language Social?", pp. 113--130
	5. Robert Stalnaker, "Narrow Content", pp. 131--145
	6. Joseph Owens, "Cognitive Access and Semantic Puzzles", pp. 147--173
	7. John Wallace and H.E. Mason, "On some Thought Experiments
		about Mind and Meaning", pp. 175--199
       10. Keith S. Donnellan, "Belief and the Identity of
       		Reference", pp. 201--214
       11. Nathan Salmon, "A {M}illian Heir Rejects the Wages of
       		{S}inn", pp. 215--247
       12. Stephen Schiffer, "The Mode-of-Presentation Problem", pp. 249--268
       13. John R. Searle, "Consciousness, Unconsciousness and
       		Intentionality", pp. 269--284
       14. Keith Gunderson, "Consciousness and Intentionality:
       		Robots with and without the Right Stuff", pp. 285--324
   },
  ISBN = {0937073512},
  rtnote = {UMich Graduate Library, BC 57 .P761 1990.},
  rtnote = {In RHT Collection.  LLP edited shelves.},
  topic = {propositional-attitudes;}
 }

@article{ anderson_dj-zalta:2004a,
  author = {David J. Anderson and Edward M. Zalta},
  title = {Frege, {B}oolos, and Logical Objects},
  journal = {Journal of Philosophical Logic},
  year = {2004},
  volume = {33},
  number = {1},
  pages = {1--26},
  topic = {Frege;philosophical-ontology;foundations-of-mathematics;
  	foundations-of-logic;}
  }

@book{ anderson_dr:1987a,
  author = {Douglas R. Anderson},
  title = {Creativity and the Philosophy of {C}.{S}. {P}eirce},
  publisher = {Reidel},
  year = {1987},
  address = {Dordrecht},
  topic = {Peirce;creativity;}
 }

@book{ anderson_e:1993a,
  author = {Elizabeth Anderson},
  title = {Value in Ethics and Economics},
  publisher = {Harvard University Press},
  year = {1993},
  address = {Cambridge, Massachusetts},
  rtnote = {UMich Grad BD 232 .A481 1993},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {foundations-of-utility;rationality;}
 }

@article{ anderson_j1:1938a,
  author = {John Anderson},
  title = {The Problem of Causation},
  journal = {Australasian Journal of Philosophy},
  year = {1938},
  volume = {16},
  pages = {127--142},
  missinginfo = {number},
  topic = {causality;}
  }

@book{ anderson_j1:1971a,
  author = {John Anderson},
  title = {The Grammar of Case: Towards a Localistic Theory},
  publisher = {Cambridge University Press},
  year = {1971},
  address = {Cambridge, England},
  topic = {case-grammar;thematic-roles;}
 }

@book{ anderson_j1:1979a,
  author = {John Anderson},
  title = {On Being without a Subject},
  publisher = {Indiana University Linguistics Club},
  year = {1979},
  address = {310 Lindley Hall, Bloomington, Indiana},
  rtnote = {In RHT collection.},
  topic = {case-grammar;grammatical-relations;}
 }

@book{ anderson_ja-rosenfeld:1998a,
  editor = {James A. Anderson and Edward Rosenfeld},
  title = {Talking Nets: An Oral History of Neural Networks},
  publisher = {The {MIT} Press},
  year = {1998},
  address = {Cambridge, Massachusetts},
  ISBN = {0262011670},
  rtnote = {UMich Media Union Library, QA 76.87 .T371 1998.},
  xref = {Reviews: sharkey:2000a, wurtz:2000a.},
  topic = {history-of-AI;connectionism;}
 }

@book{ anderson_jr:1983a,
  author = {John R. Anderson},
  title = {The Architecture of Cognition},
  publisher = {Harvard University Press},
  year = {1983},
  address = {Cambridge, Massachusetts},
  ISBN = {0674044258},
  rtnote = {UMich Graduate Library, BF311 .A58941 1983.},
  xref = {Review: vanlehn:1986a.},
  topic = {cognitive-architectures;foundations-of-cognitive-science;
  	cognitive-psychology;}
 }

@article{ anderson_jr:1989a,
  author = {John R. Anderson},
  title = {A Theory of the Origins of Human Knowledge},
  journal = {Artificial Intelligence},
  year = {1989},
  volume = {40},
  number = {1--3},
  pages = {313--351},
  acontentnote = {Abstract:
     The PUPS theory and its ACT* predecessor are computational
     embodiments of psychology's effort to develop a theory of the
     origins of knowledge. The theories contain proposals for
     extraction of knowledge from the environment, a strength-based
     prioritization of knowledge, knowledge compilation mechanisms
     for forming use-specific versions of knowledge, and induction
     mechanisms for extending knowledge. PUPS differs from ACT*
     basically in its principles of induction which include
     analogy-based generalization, a discrimination mechanism, and
     principles of making causal inferences.  The knowledge in these
     theories can be classified into the knowledge level, algorithm
     level, and implementation level.  Knowledge at the knowledge
     level consists of information acquired from the environment and
     innate principles of induction and problem solving. Knowledge at
     the algorithm level consists of internal deductions, inductions,
     and compilation.  Knowledge at the implementation level takes
     the form of setting strengths for the encoding of specific
     pieces of information.
  },
  topic = {cognitive-architecture;machine-learning;induction;}
  }

@book{ anderson_jr:1990a,
  author = {John R. Anderson},
  title = {Cognitive Psychology and Its Implications},
  edition = {3},
  publisher = {W.H. Freeman},
  year = {1990},
  address = {New York},
  ISBN = {071672085X},
  rtnote = {UMich Undergraduate, Bf 311 .A58951 1990.},
  topic = {cognitive-psychology;}
 }

@book{ anderson_jr:1995a,
  author = {John R. Anderson},
  title = {Cognitive Psychology and Its Implications},
  edition = {4},
  publisher = {W.H. Freeman},
  year = {1995},
  address = {New York},
  ISBN = {0716723859},
  rtnote = {UMich Undergraduate, Bf 311 .A58951 1995},
  topic = {cognitive-psychology;}
 }

@book{ anderson_jr:2000a,
  author = {John R. Anderson},
  title = {Learning and Memory: An Integrated Approach},
  edition = {2},
  publisher = {Wiley},
  year = {2000},
  address = {New York},
  ISBN = {0471249254},
  rtnote = {UMich Graduate BF 318 .A531 2000},
  topic = {cognitive-architectures;cognitive-psychology;}
 }

@book{ anderson_jr:2007a,
  author = {John R. Anderson},
  title = {How Can the Human Mind Occur in the Physical Universe?},
  publisher = {Oxford University Press},
  year = {2007},
  address = {Oxford},
  ISBN = {978-0-19-53245-9},
  rtnote = {In RHT collection.},
  topic = {cognitive-psychology;cognitive-architectures;}
 }

@book{ anderson_jr-bower:1973a,
  author = {John R. Anderson and Gordon H. Bower},
  title = {Human Associative Memory},
  publisher = {V.H. Winston},
  year = {1973},
  address = {Washington, DC},
  topic = {memory;memory-models;cognitive-psychology;}
 }

@article{ anderson_jr-etal:1990a,
  author = {John R. Anderson and C. Franklin Boyle and Albert T. Corbett
  	and Matthew W. Lewis},
  title = {Cognitive Modeling and Intelligent Tutoring},
  journal = {Artificial Intelligence},
  year = {1990},
  volume = {42},
  number = {1},
  pages = {7--49},
  topic = {cognitive-modelling;intelligent-tutoring;}
  }

@article{ anderson_jr-etal:2004a,
  author = {John R. Anderson and Daniel Bothell and Michael D. Byrne},
  title = {An Integrated Theory of the Mind},
  journal = {Psychological Review},
  year = {2004},
  volume = {111},
  number = {4},
  pages = {1036--1060},
  url = {http://act-r.psy.cmu.edu/papers/403/IntegratedTheory.pdf},
  rtnote = {In RHT collection.  File drawers.},
  topic = {cognitive-psychology;cognitive-architectures;
  	cognitive-modeling;ACT-R;}
  }

@book{ anderson_jr-lebiere:1998a,
  author = {John R. Anderson and Christian J. Lebiere},
  title = {The Atomic Components of Thought},
  publisher = {Lawrence Earlbaum},
  year = {1998},
  address = {Mahwah, New Jersey},
  topic = {cognitive-architectures;cognitive-psychology;}
 }

@article{ anderson_l-etal:2008a,
  author = {Michael L. Anderson and Walid Gomaa and John Grant and
  		Don Perlis},
  title = {Active Logic Semantics for A Single Agent in a Static World},
  journal = {Artificial Intelligence},
  year = {2008},
  volume = {172},
  number = {8--9},
  pages = {1045--1063},
  topic = {active-logic;nonmonotonic-logic;}
  }

@article{ anderson_lv:1985a,
  author = {Lyle V. Anderson},
  title = {Moral Dilemmas, Deliberation, and Choice},
  journal = {The Journal of Philosophy},
  year = {1985},
  volume = {82},
  number = {3},
  pages = {139--162},
  topic = {practical-reason;}
  }

@article{ anderson_m-anderson_sl:2007a,
  author = {Michael Anderson and Susan Leigh Anderson},
  title = {Machine Ethics:  Creating an Ethical Intelligent Agent},
  journal = {The {AI} Magazine},
  year = {2007},
  volume = {28},
  number = {4},
  pages = {15--26},
  topic = {computational-ethics;}
  }

@article{ anderson_m-mccartney:2003a,
  author = {Michael Anderson and Robert McCartney},
  title = {Diagram Processing: Computing with Diagrams},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {145},
  number = {1--2},
  pages = {181--226},
  topic = {reasoning-with-diagrams;}
  }

@article{ anderson_ml:2003a,
  author = {Michael L. Anderson},
  title = {Representations, Symbols, and Embodiment},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {149},
  number = {1},
  pages = {151--156},
  xref = {Response to: chrisley:2003a.},
  topic = {embodiment;foundations-of-cognition;}
  }

@article{ anderson_ml:2005a,
  author = {Michael L. Anderson},
  title = {Why is {AI} So Scary?},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {169},
  number = {2},
  pages = {201--208},
  xref = {Review of: foerst:2004a, helmreich_s:2000a, georges_tm:2004a},
  topic = {AI-and-culture;cultural-anthropology;AI-and-religion;}
  }

@article{ anderson_ml:2006a,
  author = {Michael L. Anderson},
  title = {Strike While the Iron Is: a Review of \emph{{R}econstructing
  		the Cognitive World}, by {M}ichael {W}heeler},
  journal = {Artificial Intelligence},
  year = {2006},
  volume = {170},
  number = {18},
  pages = {1213--1217},
  xref = {Review of: wheeler_m:2005a},
  topic = {Heidegger;Descartes;foundations-of-AI;embedded-cognition;
  	philosophy-of-mind;}
  }

@article{ anderson_ml:2009a,
  author = {Michael L. Anderson},
  title = {Review of \emph{{H}ow the Body Shapes the Way We Think:
  		{A} New View of Intelligence}, by {R}olf {P}feifer and
		{J}osh {B}ongard},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {174},
  number = {2},
  pages = {152--154},
  xref = {Review of: pfeifer-bongard:2007a},
  topic = {embodiment;robotics;}
  }

@incollection{ anderson_ml-etal:2002a,
  author = {Michael L. Anderson and Yoshi A. Okamoto and Darsana Josyula
     		and Don Perlis},
  title = {The Use-Mention Distinction and its Importance to {HCI}},
  booktitle = {{EDILOG} 2002: Proceedings of the Sixth Workshop on the
  	Semantics and Pragmatics of Dialogue},
  publisher = {Cognitive Science Centre, University of Edinburgh},
  year = {2002},
  editor = {Johan Bos and Mary Ellen Foster and Colin Mathesin},
  pages = {21--28},
  address = {Edinburgh},
  rtnote = {The idea is that in order to explain "Move the Chicago train
  	to Baltimore" [System moves train from Chicago to Baltimore]
        "No---move the _Chicago_ train to Baltimore"  [System moves
	train to Chicago to Baltimore] you need metalinguistic
	reasoning. },
  topic = {HCI;}
  }

@article{ anderson_ml-oates:2007a,
  author = {Michael L. Anderson and Tim Oates},
  title = {A Review of Recent Research in Metareasoning and
  		Metalearning},
  journal = {The {AI} Magazine},
  year = {2007},
  volume = {28},
  number = {1},
  pages = {12--16},
  topic = {metacognition;}
  }

@article{ anderson_rc-etal:1977a,
  author = {R.C. Anderson and R.E. Reynolds and D.L. Schallert and
  	E.T. Goetz},
  title = {Frameworks for Comprehending Discourse},
  journal = {American Educational Research Journal},
  year = {1977},
  volume = {14},
  pages = {367--381},
  missinginfo = {A's 1st name, number},
  topic = {discourse-analysis;pragmatics;}
  }

@article{ anderson_rc-ortony:1975a,
  author = {R.C. Anderson and Andrew Ortony},
  title = {On Putting Apples into Bottles: A Problem of Polysemy},
  journal = {Cognitive Psychology},
  year = {1975},
  volume = {7},
  pages = {167--180},
  missinginfo = {A's 1st name, number},
  topic = {polysemy;}
  }

@book{ anderson_sr:1971a,
  author = {Steven R. Anderson},
  title = {On the Linguistic Status of the Performative/Constative
  	Distinction},
  publisher = {Indiana University Linguistics Club},
  year = {1971},
  address = {310 Lindley Hall, Bloomington, Indiana},
  rtnote = {In RHT collection.},
  topic = {speech-acts;}
  }

@article{ anderson_sr:1972a,
  author = {Steven R. Anderson},
  title = {How to Get `Even'},
  journal = {Language},
  year = {1972},
  volume = {48},
  pages = {893--906},
  missinginfo = {A's 1st name, number},
  topic = {sentence-focus;`even';pragmatics;}
  }

@book{ anderson_sr:1972b,
  author = {Steven R. Anderson},
  title = {Pro-Sentential Forms and Their Implications for {E}nglish
  	Sentence Structure},
  publisher = {Indiana University Linguistics Club},
  year = {1972},
  address = {310 Lindley Hall, Bloomington, Indiana},
  rtnote = {In RHT collection.},
  topic = {pro-forms;}
  }

@incollection{ anderson_sr:1981a,
  author = {Stephen R. Anderson},
  title = {Topicalization in Breton},
  booktitle = {Proceedings of the Seventh Annual Meeting of the
  	Berkeley Linguistics Society},
  publisher = {Berkeley Linguistics Society},
  year = {1981},
  address = {University of California at Berkeley, Berkeley,
  	California},
  missinginfo = {pages},
  topic = {s-topic;Breton-language;}
  }

@book{ anderson_sr:1985a,
  author = {Stephen R. Anderson},
  title = {Phonology in the Twentieth Century},
  publisher = {University of Chicago Press},
  year = {1985},
  address = {Chicago},
  topic = {phonology;history-of-phonology;}
 }

@book{ anderson_sr-kiparsky_p:1973a,
  editor = {Stephen R. Anderson and Paul Kiparsky},
  title = {A {F}estschrift for {M}orris {H}alle},
  publisher = {Holt, Rinehart and Winston, Inc.},
  year = {1973},
  address = {New York},
  topic = {linguistics-general;}
 }

@book{ anderson_wt:1990a,
  author = {Walter Truett Anderson},
  title = {Reality Isn't What it Used to Be},
  publisher = {Harper San Francisco},
  year = {1990},
  address = {San Francisco},
  topic = {popular-culture;postmodernism;philosophical-realism;}
 }

@techreport{ andersson_ab:1974b,
  author = {Aners-B\"orje Andersson},
  title = {The {NP} Status of {\em that\/}-Clauses and Infinitives},
  institution = {Department of Linguistics, University of {G}\"oteborg},
  number = {1},
  year = {1974},
  address = {G\"oteborg},
  rtnote = {In RHT collection.},
  note = {Logical Grammar Reports},
  topic = {complementation;}
  }

@techreport{ andersson_lg:1973a,
  author = {Lars-Gunnar Andersson},
  title = {{\"an vad som}---A Note on Comparative Clauses in {S}wedish},
  institution = {Department of Linguistics, University of G\"oteborg},
  number = {22},
  year = {1973},
  address = {G\"oteborg},
  rtnote = {In RHT collection.},
  note = {Logical Grammar Reports},
  topic = {comparative-constructions;Swedish-language;}
  }

@techreport{ andersson_lg:1973b,
  author = {Lars-Gunnar Andersson},
  title = {A Note on Comparative Clauses in {S}wedish},
  institution = {Gothenburg Papers in Theoretical Linguistics, Dept.
  	of Linguistics, Univ. of G\"oteborg},
  year = {1973},
  address = {G\"oteborg},
  rtnote = {In RHT collection.},
  missinginfo = {A's 1st name},
  topic = {comparative-constructions;Swedish-language;}
  }

@techreport{ andersson_lg:1973c,
  author = {Lars-Gunnar Andersson},
  title = {On the Comp-{S} Analysis},
  institution = {Gothenburg Papers in Theoretical Linguistics, Dept.
  	of Linguistics, Univ. of G\"oteborg},
  year = {1973},
  address = {G\"oteborg},
  rtnote = {In RHT collection.},
  missinginfo = {A's 1st name},
  topic = {nl-syntax;complementation;}
  }

@techreport{ andersson_lg:1974a,
  author = {Lars-Gunnar Andersson},
  title = {Questions and Other Open Structures},
  institution = {Department of Linguistics, University of G\"oteborg},
  number = {9},
  year = {1974},
  address = {G\"oteborg},
  rtnote = {In RHT collection.},
  note = {Logical Grammar Reports},
  topic = {interrogatives;}
  }

@article{ andler:1993a,
  author = {Daniel Andler},
  title = {Is Context a Problem?},
  journal = {Proceedings of the {A}ristotelian Society},
  year = {1993},
  volume = {93},
  note = {Supplementary Series.},
  missinginfo = {pages},
  topic = {context;}
 }

@inproceedings{ ando-zhang_t:2005a,
  author = {Rie Ando and Tong Zhang},
  title = {A High-Performance Semi-Supervised Learning Method for
  	Text Chunking},
  booktitle = {Proceedings of the 43rd Annual Meeting of the
  		Association for Computational Linguistics (ACL'05)},
  month = {June},
  year = {2005},
  address = {Ann Arbor, Michigan},
  publisher = {Association for Computational Linguistics},
  pages = {1--9},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1001},
  topic = {text-chunking;machine-learning;}
  }

@article{ andre-etal:2000a,
  author = {Elizabeth Andr\'e and Kim Binsted and Kumito Tanaka-Ishii
  	and Sean Luke and Gerd Herzog and Thomas Rist},
  title = {Three {R}obo{C}up Simulation League Commentator Systems},
  journal = {The {AI} Magazine},
  year = {2000},
  volume = {21},
  number = {1},
  pages = {57--65},
  topic = {nl-generation;animation;embodied-nlp;}
  }

@techreport{ andre-rist:1991a,
  author = {Elisabeth Andr\'e and Thomas Rist},
  title = {Synthesizing Illustrated Documents: a Plan-Based
  	Approach},
  institution = {DFKI --- German Research Center for Artificial
  	Intelligence, Saarbruecken, Germany},
  year = {1991},
  number = {DFKI-RR-91-06},
  topic = {nl-generation;multimedia-generation;}
}

@incollection{ andreasen:2000a,
  author = {Robin O. Andreasen},
  title = {Race: Biological Reality or Social Construct?},
  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 = {S653--S666},
  address = {Newark, Delaware},
  topic = {natural-kinds;philosophy-of-social-science;racial-stereotypes;}
  }

@article{ andreka-etal:1982a,
  author = {Hajnal Andr\'eka and I. N\'emeti and L. Sain},
  title = {A Complete Logic for Reasoning about Programs Via
  	Nonstandard Model Theory {I}},
  journal = {Theoretical Computer Science},
  year = {1982},
  volume = {17},
  pages = {192--212},
  missinginfo = {A's 1st name, number},
  rtnote = {In RHT collection.},
  topic = {dynamic-logic;nonstandard-models;}
  }

@incollection{ andreka-etal:1996a,
  author = {Hajnal Andr\'eka and \'Agnes Kurucz and Istv\'an N\'emeti
		Ildik\'o Sain and Andr\'as Simon},
  title = {Investigations in Arrow Logic},
  booktitle = {Arrow Logic and Multimodal Logic},
  publisher = {{CLSI} Publications},
  year = {1996},
  editor = {Maarten Marx and L\'azl\'o P\'olos and Michael Masuch},
  pages = {63--99},
  address = {Stanford, California},
  topic = {arrow-logic;}
  }

@article{ andreka-etal:1998a,
  author = {Hajnal Andr\'eka and Istv\'an N\'emeti and
  	Johan {van Benthem}},
  title = {Modal Logic and Bounded Fragments of Predicate Logic},
  journal = {Journal of Philosophical Logic},
  year = {1998},
  volume = {27},
  number = {3},
  pages = {217--274},
  topic = {modal-logic;model-theory;}
  }

@article{ andreka-mikulas:1994a,
  author = {Hajnal Andr\'eka and Szabolcs Mikul\'as},
  title = {Lambek calculus and its Relational Semantics: Completeness
  	and Incompleteness},
  journal = {Journal of Logic, Language, and Information},
  year = {1994},
  volume = {3},
  number = {1},
  pages = {1--37},
  topic = {Lambek-calculus;}
  }

@article{ andrews_jh:2007a,
  author = {James H. Andrews},
  title = {Review of \emph{Logicism Renewed}, by {P}aul {C}. {G}ilmore},
  journal = {The Bulletin of Symbolic Logic},
  year = {2007},
  volume = {13},
  number = {1},
  pages = {104--106},
  xref = {Review of: gilmore_pc:2005a},
  topic = {logicism;formalizations-of-nominalism;nominalism;}
  }

@book{ andrews_pb:2002a,
  author = {Peter B. Andrews},
  title = {An Introduction to Mathematical Logic
  	and Type Theory},
  edition = {2nd},
  publisher = {Kluwer Academic Publishers},
  year = {2002},
  address = {Dordrecht},
  xref = {Review: yasuhara:2003a.},
  topic = {logic-intro;type-theory;}
 }

@incollection{ angelini:1998a,
  author = {Bianca Angelini and Daliele Falavigna and Maurizio Onologi
		and Renato de Mori},
  title = {Basic Speech Sounds, their Analysis and Features},
  booktitle = {Spoken Dialogues with Computers},
  publisher = {Academic Press},
  year = {1998},
  editor = {Renato de Mori},
  pages = {69--121},
  address = {New York},
  topic = {phonetics;speech-recognition;}
  }

@article{ angelov-etal:2010a,
  author = {Krasimir Angelov and Bj\"orn Bringert and Aarne Ranra},
  title = {PGF:  A Portable Run-Time Format for Type-Theoretical
  		Grammars},
  journal = {Journal of Logic, Language, and Information},
  year = {2010},
  volume = {19},
  number = {2},
  pages = {201--228},
  topic = {categorial-grammar;grammar-formalisms;}
  }

@article{ angiulli-etal:2008a,
  author = {Fabrizio Angiulli and Rachel Ben-Eliyahu Zohary and
  		Luigi Palopoli},
  title = {Outlier Detection Using Default Reasoning},
  journal = {Artificial Intelligence},
  year = {2008},
  volume = {172},
  number = {16--17},
  pages = {1837--1872},
  topic = {default-logic;data-mining;}
  }

@article{ anglberger:2008a,
  author = {Albert J.J. Anglberger},
  title = {Dynamic Deontic Logic and its Paradoxes},
  journal = {Studia Logica},
  year = {2008},
  volume = {89},
  number = {3},
  pages = {427--435},
  topic = {deontic-logic;dynamic-logic;}
  }

@book{ ankersmit-mooij:1993a,
  editor = {F.R. Ankersmit and J.J.A. Mooij},
  title = {Knowledge and Language: Volume {III}, Metaphor and
  	Knowledge},
  publisher = {Kluwer Academic Publishers},
  year = {1993},
  address = {Dordrecht},
  topic = {metaphor;pragmatics;}
 }

@incollection{ ankersmit-mooij:1993b,
  author = {F.R. Ankersmit and J.J.A. Mooij},
  title = {Introduction},
  booktitle = {Knowledge and Language: Volume {III}, Metaphor and
  	Knowledge},
  publisher = {Kluwer Academic Publishers},
  year = {1993},
  editor = {F.R. Ankersmit and J.J.A. Mooij},
  pages = {1--17},
  address = {Dordrecht},
  topic = {metaphor;pragmatics;}
  }

@book{ annas-barnes_j:2000a,
  editor = {Julia Annas and Jonathan Barnes},
  title = {Sextus {E}mpiricus: Outlines of Scepticism},
  edition = {2},
  publisher = {Cambridge University Press},
  year = {2000},
  address = {Cambridge, England},
  ISBN = {052177139-0},
  topic = {Hellenistic-philosophy;skepticism;Sextus-Empiricus;}
 }

@book{ anonymous:1978a,
  title = {{NELS 8}: Proceedings of the Eighth Conference of the
  	{N}orth {E}ast {L}inguistic {S}ociety},
  publisher = {GLSA Publications},
  year = {1978},
  address = {Amherst, Massachusetts},
  note = {URL FOR GLSA Publications:
  	http://www.umass.edu/linguist/glsa-pubs.html.},
  topic = {linguistics-proceedings;nl-syntax;nl-semantics;}
 }

@book{ anonymous:1981a,
  title = {{NELS 11}: Proceedings of the Eleventh Conference of the
  	{N}orth {E}ast {L}inguistic {S}ociety},
  publisher = {GLSA Publications},
  year = {1981},
  address = {Amherst, Massachusetts},
  note = {URL FOR GLSA Publications:
  	http://www.umass.edu/linguist/glsa-pubs.html.},
  topic = {linguistics-proceedings;nl-syntax;nl-semantics;}
 }

@book{ anonymous:1984a,
  noneditor = {Anonymous},
  title = {Non-Monotonic Reasoning Workshop: October 17--19, 1984, Mohonk
    Mountain House, New Paltz, New York},
  publisher = {American Association for Artificial Intelligence},
  year = {1984},
  address = {Menlo Park, California},
  missinginfo = {editor},
  rtnote = {Umich Media Union Library Call No: Q334 .N82x 1984},
  rtnote = {In RHT Collection.  CS MS shelves.},
  topic = {nonmonotonic-logic;}
 }

@book{ anonymous:1991a,
  title = {Logic Programming and Non-Monotonic Reasoning:
  	Proceedings of the International Workshop},
  publisher = {The {MIT} Press},
  year = {1991},
  address = {Cambridge, Massachusetts},
  missinginfo = {editor},
  rtnote = {Media Union Library Call No: QA 76.63 .L632},
  topic = {nonmonotonic-reasoning;nonmonotonic-logic;}
 }

@corpus{ anonymous:1995a,
  author = {Anonymous},
  title = {The Penn Treebank Project, Release 2},
  publisher = {Linguistic Data Consortium},
  year = {1995},
  address = {Philadelphia},
  media = {1 computer laser optical disc, 4 3/4 in.},
  contentnote = {Description: Contains 1 million words of 1989 Wall
  	Street Journal material annotated in Treebank II style, which
	is designed to allow the extraction of simple
	predicate/argument structure, plus more.},
  topic = {corpus;}
 }

@book{ anonymous:1996b,
  editor = {Anonymous},
  title = {Frontiers of Combining Systems 1},
  publisher = {Research Studies Press},
  year = {1996},
  address = {Berlin},
  rtnote = {UMich Science QA 9 .A1 F761},
  topic = {combining-logics;combining-systems;}
 }

@book{ anonymous:1997a,
  noneditor = {Anonymous},
  title = {Fourteenth International Conference on Automated Deduction
  	{CADE}92},
  publisher = {Springer-Verlag},
  year = {1997},
  address = {Berlin},
  series = {Lecture Notes in Computer Science},
  rtnote = {UMich Media Union Library, QA 76.9 .A96 A851 2000},
  topic = {theorem-proving;}
 }

@book{ anonymous:1997b,
  noneditor = {Anonymous},
  title = {Dialogue Processing in Spoken Language Systems:
    {ECAI'96} Workshop, {B}udapest, {H}ungary, {A}ugust 13, 1996},
  publisher = {Springer-Verlag},
  year = {1997},
  address = {Berlin},
  ISBN = {3540631755},
  rtnote = {UMich Media Union Library, QA 76.9 .N38 D51 1997.},
  topic = {AI-general;}
 }

@book{ anonymous:1998a,
  noneditor = {Anonymous},
  title = {Fifteenth International Conference on Automated Deduction
  	{CADE}92},
  publisher = {Springer-Verlag},
  year = {1998},
  address = {Berlin},
  series = {Lecture Notes in Computer Science},
  rtnote = {UMich Media Union Library, QA 76.9 .A96 A851 2000},
  topic = {theorem-proving;}
 }

@book{ anonymous:1998b,
  title = {International Workshop on Automated Deduction in Geometry},
  publisher = {Springer-Verlag},
  year = {1998},
  address = {Berlin},
  rtnote = {UMich Media Union Library  QA 448 .D38 I5771},
  topic = {theorem-proving;geometrical-reasoning;}
 }

@book{ anonymous:1999a,
  noneditor = {Anonymous},
  title = {Sixteenth International Conference on Automated Deduction
  	{CADE}92},
  publisher = {Springer-Verlag},
  year = {1999},
  address = {Berlin},
  series = {Lecture Notes in Computer Science},
  rtnote = {UMich Media Union Library, QA 76.9 .A96 A851 2000},
  topic = {theorem-proving;}
 }

@corpus{ anonymous:1999b,
  author = {Anonymous},
  title = {The Penn Treebank Project, Release 3},
  publisher = {Linguistic Data Consortium},
  year = {1999},
  address = {Philadelphia},
  media = {1 computer laser optical disc, 4 3/4 in.},
  ISBN = {1585631639},
  contentnote = {Description: The corpus consists of 1 million
  	words of 1989 Wall Street Journal material annotated in
	Treebank II style, a small sample of ATIS-3 material
	annotated in Treebank II style, a fully tagged version of the
	Brown corpus.},
  rtnote = {UMich Graduate Library, 820 C738.},
  topic = {corpus;}
 }

@book{ anonymous:2000a,
  author = {Seventeenth International Conference on Automated Deduction
  	{CADE}2000},
  publisher = {Springer-Verlag},
  year = {2000},
  address = {Berlin},
  series = {Lecture Notes in Computer Science},
  rtnote = {UMich Media Union Library, QA 76.9 .A96 A851 2000},
  topic = {theorem-proving;}
 }

@incollection{ ansari-hirst_g:1998a,
  author = {Daniel Ansari and Graeme Hirst},
  title = {Generating Warning Instructions by Planning Accidents and
  	Injuries},
  booktitle = {Proceedings of the Ninth International Workshop
  	on Natural Language Generation},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Eduard Hovy},
  pages = {118--127},
  address = {New Brunswick, New Jersey},
  topic = {nl-generation;nl-instructions;}
  }

@article{ anscombe:1953a,
  author = {G.E.M. Anscombe},
  title = {The Principle of Individuation},
  journal = {Proceedings of the {A}ristotelian Society, Supplementary
  	Volume},
  year = {1953},
  volume = {27},
  pages = {83--96},
  rtnote = {In RHT collection.},
  topic = {Aristotle;individuation;}
  }

@book{ anscombe:1958a,
  author = {G.E.M. Anscombe},
  title = {Intention},
  publisher = {Blackwell Publishers},
  year = {1958},
  address = {Oxford},
  rtnote = {In RHT collection.  LLP authored shelves.},
  topic = {intention;action;}
 }

@article{ anscombe:1964a,
  author = {Elizabeth Anscombe},
  title = {Before and After},
  journal = {The Philosophical Review},
  year = {1964},
  volume = {74},
  pages = {3--24},
  missinginfo = {number},
  topic = {temporal-adverbials;}
  }

@incollection{ anscombe:1965a,
  author = {G.E.M. Anscombe},
  title = {The Intentionality of Sensation: A Grammatical Feature},
  booktitle = {Analytical Philosophy, Second Series},
  publisher = {Basil Blackwell},
  year = {1965},
  editor = {Ronald J. Butler},
  pages = {158--180},
  address = {Oxford},
  topic = {intensionality;logic-of-perception;}
  }

@book{ anscombe:1971a,
  author = {G.E.M. Anscombe},
  title = {Causality and Determination},
  publisher = {Oxford University Press},
  year = {1971},
  address = {Oxford},
  topic = {causality;(in)determinism;}
 }

@incollection{ anscombe:1978a,
  author = {G.E.M. Anscombe},
  title = {On Practical Reasoning},
  booktitle = {Practical Reasoning},
  publisher = {Oxford University Press},
  year = {1978},
  editor = {Joseph Raz},
  pages = {46--62},
  address = {Oxford},
  topic = {practical-reasoning;}
  }

@article{ anshelevich:2002a,
  author = {Vadim V. Anshelevich},
  title = {A Hierarchical Approach to Computer Hex},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {134},
  number = {1--2},
  pages = {101--120},
  topic = {theorem-proving;game-playing;}
  }

@book{ antaki:1994a,
  author = {Charles Antaki},
  title = {Explaining and Arguing: The Social Organization of Accounts},
  publisher = {Sage Publications},
  year = {1994},
  address = {Thousand Oaks, California},
  topic = {argumentation;explanation;}
 }

@book{ anthony-bartlett:1999a,
  author = {Martin Anthony and Peter L. Bartlett},
  title = {Neural Network Learning: Theoretical Foundations},
  publisher = {Cambridge University Press},
  year = {1999},
  address = {Cambridge, England},
  ISBN = {0-521-57353-X},
  topic = {connectionist-models;}
 }

@book{ anthony-briggs_n:1992a,
  author = {Martin Anthony and Norman Biggs},
  title = {Computational Learning Theory: An Introduction},
  publisher = {Cambridge University Press},
  year = {1992},
  address = {Cambridge, England},
  topic = {learning-theory;}
 }

@unpublished{ antonelli:1991a,
  author = {Gian Aldo Antonelli},
  title = {Pure Well-Founded Symmetric Models of Set Theory: The
  	Independence of the Axiom of Choice Without Forcing},
  year = {1991},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript, Department of Philosophy,
  	University of Pittsburgh.},
  topic = {axiom-of-choice;independence-proofs;}
  }

@phdthesis{ antonelli:1992a,
  author = {Gian Aldo Antonelli},
  title = {Revision Rules: An Investigation into Non-Monotonic
  	Inductive Definitions},
  school = {Philosophy Department, University of Pittsburgh},
  year = {1992},
  type = {Ph.{D}. Dissertation},
  address = {Pittsburgh},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {nonmonotonic-logic;fixpoints;}
 }

@article{ antonelli:1994a,
  author = {Gian Aldo Antonelli},
  title = {Non-Well-Founded Sets Via Revision Rules},
  journal = {Journal of Philosophical Logic},
  year = {1994},
  volume = {23},
  number = {6},
  pages = {633--679},
  topic = {nonwellfounded-sets;}
  }

@unpublished{ antonelli:1996a,
  author = {Gian Aldo Antonelli},
  title = {General Extensions for Default Logic},
  year = {1996},
  note = {Unpublished manuscript, Yale University, 1996.},
  rtnote = {In RHT collection.},
  topic = {default-logic;}
  }

@unpublished{ antonelli:1996b,
  author = {Gian Aldo Antonelli},
  title = {Defeasible Reasoning as a Cognitive Model},
  year = {1996},
  note = {Unpublished manuscript, Stanford University, 1996.},
  rtnote = {In RHT collection.},
  topic = {common-sense-reasoning;nonmonotonic-reasoning;}
  }

@unpublished{ antonelli:1996c,
  author = {Gian Aldo Antonelli},
  title = {Existensional Quotients for Type Theory and the Consistency
  	Problem for {NF}},
  year = {1996},
  note = {Unpublished manuscript, 1996.},
  rtnote = {In RHT collection. Forthcoming, JSL.},
  missinginfo = {Date is a guess.},
  rtnote = {In RHT collection.},
  topic = {set-theory;higher-order-logic;}
  }

@unpublished{ antonelli:1996d,
  author = {Gian Aldo Antonelli},
  title = {On Extensions for Default Logic},
  year = {1996},
  note = {Unpublished manuscript, 1996.},
  rtnote = {In RHT collection.},
  topic = {default-logic;}
  }

@unpublished{ antonelli:1997a,
  author = {Gian Aldo Antonelli},
  title = {A Theory of Cautious Consequence for Default Logic: Via
  	the Notion of General Extension},
  year = {1997},
  note = {Unpublished manuscript, 1997.},
  rtnote = {In RHT collection.},
  topic = {default-logic;}
  }

@unpublished{ antonelli:1997b,
  author = {Gian Aldo Antonelli},
  title = {Free Set Algebras Satisfying Systems of Equations},
  year = {1997},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript, Department of Philosophy,
  	Stanford University.},
  topic = {nonwellfounded-sets;}
  }

@article{ antonelli:1997c,
  author = {Gian Aldo Antonelli},
  title = {Defeasible Inheritance on Cyclic Networks},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {92},
  number = {1--2},
  pages = {1--23},
  topic = {inheritance-theory;}
  }

@article{ antonelli:1998a,
  author = {Gian Aldo Antonelli},
  title = {Existential Quotients for Type Theoey and The
  	Consistency Problem for {NF}},
  journal = {Journal of Symbolic Logic},
  year = {1998},
  volume = {63},
  number = {1},
  pages = {247--261},
  contentnote = {Proves the consistency of Quine's NF set theory.},
  topic = {set-theory;consistency-proofs;}
  }

@article{ antonelli:1999a,
  author = {Gian Aldo Antonelli},
  title = {A Directly Cautious Theory of Defeasible
		Consequence for Default Logic Via the Notion of
		General Extension},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {109},
  number = {1--2},
  pages = {71--109},
  topic = {nonmonotonic-logic;default-logic;}
  }

@article{ antonelli:2000a,
  author = {G. Aldo Antonelli},
  title = {Proto-Semantics for Positive Free Logic},
  journal = {Journal of Philosophical Logic},
  year = {2000},
  volume = {29},
  number = {3},
  pages = {277--294},
  topic = {reference-gaps;}
  }

@article{ antonelli:2000b,
  author = {G. Aldo Antonelli},
  title = {Review of \emph{{H}andbook of Logic in Artificial
  	Intelligence and Logic Programming, Volume 3:
	Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning},
        edited by {D}ov {G}abbay, {C}hristopher {H}ogger, and
	{J}.{A}. {R}obinson},
  journal = {The Bulletin of Symbolic Logic},
  year = {2000},
  volume = {6},
  number = {4},
  pages = {480--484},
  xref = {Review of gabbay-etal:1994a.},
  topic = {nonmonotonic-logic;}
  }

@article{ antonelli:2001a,
  author = {Aldo Antonelli},
  title = {Review of \emph{{I}n the Light of Logic}, by
  	{S}olomon {F}eferman},
  journal = {The Bulletin of Symbolic Logic},
  year = {2001},
  volume = {7},
  number = {2},
  pages = {270--277},
  topic = {philosophy-of-mathematics;proof-theory;}
  }

@book{ antonelli:2005a,
  author = {Aldo Antonelli},
  title = {Grounded Consequence for Defeasible Logic},
  publisher = {Cambridge University Press},
  year = {2005},
  address = {Cambridge, England},
  ISBN = {0521842050},
  topic = {nonmonotonic-logic;inheritance-theory;default-logic;}
 }

@incollection{ antonelli-bicchieri:1994a,
  author = {Gian Aldo Antonelli and Cristina Bicchieri},
  title = {Backwards-Forward Induction},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
  	Proceedings of the Fifth Conference ({TARK} 1994)},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Ronald Fagin},
  pages = {24--43},
  address = {San Francisco},
  topic = {game-theory;backward-induction;}
  }

@article{ antonelli-thomason_rh:2002a,
  author = {G. Aldo Antonelli and Richmond H. Thomason},
  title = {Representability in Second-Order Propositional Poly-Modal
  	Logic},
  journal = {Journal of Symbolic Logic},
  year = {2002},
  volume = {67},
  number = {3},
  pages = {1039--1054},
  topic = {modal-logic;(in)completeness;propositional-quantifiers;}
  }

@incollection{ antoniol-etal:1998a,
  author = {Giuliano Antoniol and Roberto Fiutem and Gianni
       		Lazzari and Renato de Mori},
  title = {System Architectures and Applications},
  booktitle = {Spoken Dialogues with Computers},
  publisher = {Academic Press},
  year = {1998},
  editor = {Renato de Mori},
  pages = {583--609},
  address = {New York},
  topic = {spoken-dialogue-systems;}
  }

@book{ antoniou:1997a,
  author = {Grigoris Antoniou},
  title = {Nonmonotonic Reasoning},
  publisher = {The {MIT} Press},
  year = {1997},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-011157-3},
  xref = {Reviews: parsons_s:1999a, vanderhoek:2000b,suchenek:2000a},
  rtnote = {2 copies. In RHT collection.  AI Shelves.},
  topic = {default-logic;autoepistemic-logic;circumscription;
  	nonmonotonic-reasoning;nonmonotonic-logic;}
 }

@article{ antoniou:1999a,
  author = {Grigoris Antoniou},
  title = {Splitting Finite Default Theories:  A Comparison
  	of Two Approaches},
  journal = {Journal of Logic, Language, and Information},
  year = {1999},
  volume = {8},
  number = {2},
  pages = {205--216},
  topic = {nonmonotonic-logic;default-logic;}
  }

@incollection{ antoniou-etal:1996a,
  author = {Grigoris Antoniou and Allen P. Courtney and J\"org Ernst and
    	  Mary-Anne Williams},
  title = {A System for Computing Constrained
	  Default Logic Extensions},
  booktitle = {Logics in Artificial Intelligence: European Workshop,
  	{Jelia}'96, Ivora, Portugal, September 30 - October 3,
	1996.},
  publisher = {Springer-Verlag},
  year = {1996},
  editor = {Jos\'e J\'ulio Alferes and Lu\'is Moniz Pereira and Ewa Orlowska},
  pages = {237--250},
  address = {Berlin},
  topic = {default-logic;nonmonotonic-reasoning;
  	nonmonotonic-reasoning-algorithms;}
  }

@book{ antoniou-vanharmelen:2004a,
  author = {Grigoris Antoniou and Frank van Harmelen},
  title = {A Semantic Web Primer},
  publisher = {The {MIT} Press},
  year = {2004},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-021210-3},
  rtnote = {In RHT Collection.  CS General shelves.},
  xref = {Review: patelschneider:2007a.},
  topic = {semantic-web;}
 }

@incollection{ antony:2003a,
  author = {Louise M. Antony},
  title = {Who's Afraid of Disjunctive Properties?},
  booktitle = {Philosophy of Mind},
  publisher = {Blackwell Publishers},
  year = {2003},
  editor = {Ernest Sosa and Enrique Villanueva},
  pages = {1--21},
  address = {Oxford},
  topic = {disjunctive-properties;}
  }

@incollection{ antony-levine_j2:1997a,
  author = {Louise M. Antony and Joseph Levine},
  title = {Reduction with Autonomy},
  booktitle = {Philosophical Perspectives 11: Mind, Causation, and World},
  publisher = {Blackwell Publishers},
  year = {1997},
  editor = {James E. Tomberlin},
  pages = {83--105},
  address = {Oxford},
  rtnote = {In RHT collection.},
  topic = {philosophy-of-mind;philosophy-of-psychology;}
  }

@incollection{ anttila:1994a,
  author = {Arto Anttila},
  title = {How to Recognize Subjects in {E}nglish},
  editor = {Fred Karlsson et al.},
  booktitle = {Constraint Grammar: A Language-Independent System for Parsing
		  Unrestricted Text},
  publisher = {Mouton de Gruyter},
  year = {1994},
  missinginfo = {editors, other authors},
  pages = {315--358},
  topic = {grammatical-relations;corpus-linguistics;}
}

@book{ antworth:1990a,
  author = {Evan L. Antworth},
  title = {{PC}-{K}immo:  A Two-Level Processor for Morphological
  		Analysis},
  publisher = {Summer Institute of Linguistics},
  year = {1990},
  address = {Dallas},
  ISBN = {0-88312-639-7},
  rtnote = {In RHT collection.  AI Shelves.},
  topic = {computational-morphology;finite-state-morpology;}
 }

@incollection{ antworth-valentyne:1998a,
  author = {Evan L. Antworth and J. Randolph Valentine},
  title = {Software for Doing Field Linguistics},
  booktitle = {Using Computers in Linguistics: A Practical Guide},
  publisher = {Routledge},
  year = {1998},
  editor = {John Lawler and Aristar Dry},
  pages = {170--196},
  address = {London},
  rtnote = {In RHT collection.},
  topic = {computational-field-linguistics;}
  }

@inproceedings{ aone-etal:1998a,
  author = {Chinatsu Aone and Mary Ellen Okurowski and James Gorlinsky},
  title = {Trainable, Scalable Summarization Using Robust {NLP} and
  	Machine Learning},
  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 = {62--66},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {text-summary;machine-learning;}
 }

@incollection{ aone-maloney_j:1997a,
  author = {Chinatsu Aone and John Maloney},
  title = {Re-Use of a Proper Noun
     		Recognition System in Commercial and Operational
		{NLP} Applications},
  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 = {1--6},
  address = {Somerset, New Jersey},
  topic = {personal-name-recognition;}
  }

@article{ aoto:1999a,
  author = {Takahito Aoto},
  title = {Uniqueness of Normal Proofs in Implicational
  	Intuitionistic Logic},
  journal = {Journal of Logic, Language, and Information},
  year = {1999},
  volume = {8},
  number = {2},
  pages = {217--242},
  topic = {intuitionistic-logic;proof-theory;}
  }

@book{ aoun:1985a,
  author = {Joseph Aoun},
  title = {The Grammar of Anaphora},
  publisher = {The {MIT} Press},
  year = {1985},
  address = {Cambridge, Massachusetts},
  ISBN = {026201075-2},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {anaphora;government-binding-theory;}
 }

@article{ aoun-etal:1981a,
  author = {Joseph Aoun and Norbert Hornstein and D. Sportliche},
  title = {Some Aspects of Wide Scope Quantification},
  journal = {Journal of Linguistic Research},
  year = {1981},
  volume = {1},
  pages = {69--95},
  missinginfo = {number},
  topic = {nl-quantification;nl-quantifier-scope;}
  }

@book{ aoun-li_yh:1993a,
  author = {Joseph Aoun and Yen-Hui A. Li},
  title = {Syntax of Scope},
  publisher = {The {MIT} Press},
  year = {1995},
  address = {Cambridge, Massachusetts},
  topic = {nl-quantifier-scope;}
 }

@book{ apel:1967a,
  author = {Karl-Otto Apel},
  title = {Der {D}enkweg des {C}harles {S}anders {P}eirce},
  publisher = {Suhrkamp},
  year = {1967},
  address = {Frankfurt},
  topic = {Peirce;}
  }

@incollection{ apostel:1971a,
  author = {Leo Apostel},
  title = {Further Remarks on the Pragmatics of Natural Language},
  booktitle = {Pragmatics of Natural Language},
  publisher = {D. Reidel Publishing Co.},
  year = {1971},
  editor = {Yehoshua Bar-Hillel},
  pages = {1--34},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {pragmatics;}
  }

@article{ apostel:1972a,
  author = {Leo Apostel},
  title = {Illocutionary Forces and the Logic of Change},
  journal = {Mind, New Series},
  year = {1972},
  volume = {81},
  number = {322},
  pages = {208--224},
  topic = {speech-acts;}
  }

@article{ apostoli:1997a,
  author = {Peter Apostoli},
  title = {On the Completeness of First Degree Weakly Aggregative
  	Modal Logics},
  journal = {Journal of Philosophical Logic},
  year = {1997},
  volume = {26},
  number = {2},
  pages = {169--180},
  topic = {modal-logic;completeness-theorems;}
  }

@article{ apostoli:2000a,
  author = {Peter Apostoli},
  title = {The Analytic Conception of Truth and the Foundations of
  	Arithmetic},
  journal = {Journal of Symbolic Logic},
  year = {2000},
  volume = {65},
  number = {1},
  pages = {33--102},
  topic = {foundations-of-mathematics;analyticity;logicism;Frege;}
  }

@article{ apostoli-brown_b:1995a,
  author = {Peter Apostoli and Bryson Brown},
  title = {A Solution to the Completeness Problem for Weakly
  	Aggretive Modal Logic},
  journal = {The Journal of Symbolic Logic},
  year = {1995},
  volume = {60},
  number = {3},
  pages = {832},
  topic = {modal-logic;}
  }

@inproceedings{ appelt:1983a,
  author = {Douglas Appelt},
  title = {Telegram: A Grammar Formalism for Language Planning},
  booktitle = {Eighth International Joint Conference on Artificial
  	Intelligence},
  year = {1983},
  pages = {595--599},
  missinginfo = {Editor},
  topic = {nl-generation;}
}

@article{ appelt:1985a,
  author = {Douglas Appelt},
  title = {Planning {E}nglish Referring Expressions},
  journal = {Artificial Intelligence},
  year = {1985},
  volume = {26},
  number = {1},
  pages = {1--33},
  rtnote = {In RHT collection.},
  xref = {Also in {\em Readings in Natural Language Processing}, Grosz,
    Sparck Jones and Webber  eds., Morgan-Kaufmann, 1986},
  topic = {nl-generation;referring-expressions;}
}

@book{ appelt:1985b,
  author = {Douglas Appelt},
  title = {Planning {E}nglish Sentences},
  publisher = {Cambridge University Press},
  year = {1985},
  series = {Studies in Natural Language Processing},
  address = {Cambridge, England},
  topic = {nl-generation;}
 }

@article{ appelt:1985c,
  author = {Douglas Appelt},
  title = {Planning {E}nglish Sentences},
  journal = {Artificial Intelligence},
  year = {1985},
  volume = {26},
  number = {1},
  pages = {1--33},
  rtnote = {In RHT collection.},
  topic = {nl-generation;referring-expressions;}
  }

@inproceedings{ appelt:1990a,
  author = {Douglas Appelt},
  title = {A Theory of Abduction Based on Model Preference},
  booktitle = {Working Notes, {AAAI} Spring Symposium on Automated
  	Deduction},
  year = {1990},
  editor = {P. O'Rorke},
  pages = {67--71},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  topic = {abduction;}
  }

@unpublished{ appelt-israel_dj:1999a,
  author = {Douglas E. Appelt and David J. Israel},
  title = {Introduction to Information Extraction Technology:
  	A Tutorial Prepared for {IJCAI}-99},
  year = {1999},
  note = {Available at http://www.ai.sri.com/\user{}appelt/ie-tutorial/},
  rtnote = {In RHT collection.},
  topic = {information-extraction;finite-state-parsing;}
  }

@inproceedings{ appelt-konolige:1988a,
  author = {Douglas Appelt and Kurt Konolige},
  title = {A Practical Nonmonotonic Theory For Reasoning about Speech
  	Acts},
  booktitle = {Proceedings of the 26th Meeting of the Association for
  	Computational Linguistics},
  year = {1988},
  pages = {170--178},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  missinginfo = {editor},
  rtnote = {In RHT collection.  Reprint Files and Prags Course
    Files.},
  topic = {nonmonotonic-reasoning;speech-acts;pragmatics;}
 }

@inproceedings{ appelt-kronfeld:1987a,
  author = {Douglas Appelt and Amichai Kronfeld},
  title = {A Computational Model of Referring},
  booktitle = {Proceedings of the Tenth International Joint
  	Conference on Artificial Intelligence},
  year = {1987},
  editor = {John McDermott},
  pages = {640--647},
  publisher = {Morgan Kaufmann},
  address = {Los Altos, California},
  topic = {referring-expressions;}
  }

@techreport{ appelt-kronfeld:1988a,
  author = {Douglas Appelt and Amichai Kronfeld},
  year = {1988},
  title = {A Descriptive Model of Reference Using Defaults},
  institution = {SRI International},
  number = {440},
  topic = {nm-ling;referring-expressions;nl-generation;}
}

@techreport{ appelt-pollack_me:1990a1,
  author = {Douglas E. Appelt and Martha E. Pollack},
  title = {Weighted Abduction for Plan Ascription},
  institution = {SRI International},
  number = {491},
  year = {1990},
  address = {Menlo Park, California},
  xref = {Published as article; see appelt-pollack_me:1990a2.},
  topic = {abduction;}
  }

@article{ appelt-pollack_me:1991a2,
  author = {Douglas Appelt and Martha Pollack},
  title = {Weighted Abduction for Plan Ascription},
  journal = {User Modeling and User-Adapted Interaction},
  year = {1991},
  volume = {1},
  number = {4},
  missinginfo = {pages},
  xref = {See appelt-pollack_me:1990a1 for tech report.},
  topic = {abduction;plan-recognition;}
  }

@article{ appiah:1984a,
  author = {Anthony Appiah},
  title = {Generalizing the Probabilistic Semantics of Conditionals},
  journal = {Journal of Philosophical Logic},
  year = {1984},
  volume = {13},
  number = {4},
  pages = {351--372},
  topic = {probability-semantics;conditionals;}
  }

@book{ appiah:1986a,
  author = {Anthony Appiah},
  title = {For Truth in Semantics},
  publisher = {Blackwell Publishers},
  year = {1986},
  address = {Oxford},
  xref = {Review: williamson_t:1990b.},
  topic = {foundations-of-semantics;philosophical-realism;truth;}
 }

@incollection{ appiah:1993a,
  author = {K. Anthony Appiah},
  title = {'Only-Ifs'},
  booktitle = {Philosophical Perspectives, Volume 7:
  	Language and Logic},
  publisher = {Blackwell Publishers},
  year = {1993},
  editor = {James E. Tomberlin},
  pages = {397--410},
  address = {Oxford},
  note = {Also available at http://www.jstor.org/journals/.},
  topic = {conditionals;`only-if';`only';}
  }

@techreport{ apt:1987a,
  author = {Krzysztof R. Apt},
  title = {Introduction to Logic Programming},
  institution = {Department of Computer Science, University of
  	Texas at Austin},
  number = {TR-87-35},
  year = {1987},
  address = {Austin, Texas},
  rtnote = {In RHT collection.},
  topic = {logic-programming;}
  }

@incollection{ apt:1990a,
  author = {Krzysztof R. Apt},
  title = {Logic Programming},
  booktitle = {Handbook of Theoretical Computer Science, Vol. B},
  publisher = {Elsevier  Science Publishers},
  year = {1990},
  pages = {493--574},
  address = {Amsterdam},
  missinginfo = {Editor.},
  topic = {logic-programming;}
  }

@book{ apt:1991a,
  author = {Krzysztof R. Apt},
  title = {Verification of Sequential and Concurrent Programs},
  publisher = {Springer-Verlag},
  year = {1991},
  address = {Berlin},
  ISBN = {0387975322},
  rtnote = {UMich Media Union Library, QA 76.76 .V47 A671 1991.},
  topic = {program-verification;}
 }

@book{ apt:1992a,
  editor = {Krzysztof Apt},
  title = {Logic Programming : Proceedings of the Joint International
  	Conference and Symposium on Logic Programming},
  publisher = {The {MIT} Press},
  year = {1992},
  address = {Cambridge, Massachusetts},
  ISBN = {0262510642},
  rtnote = {UMich Media Union Library, QA 76.63 .J65 1992.},
  topic = {logic-programming;}
 }

@inproceedings{ apt:1999a,
  author = {Krzysztof R. Apt},
  title = {Formulas as Programs:  A Computational Interpretation
  		of First-Order Logic},
  booktitle = {Workshop on Logic-Based Artificial Intelligence,
	       Washington, DC, June 14--16, 1999},
  year = {1999},
  editor = {Jack Minker},
  publisher = {Computer Science Department, University of Maryland},
  address = {College Park, Maryland},
  topic = {procedural-semantics;}
  }

@book{ apt:2003a,
  author = {Krzysztof Apt},
  title = {Principles of Constraint Programming},
  publisher = {Cambridge University Press},
  year = {2003},
  address = {Cambridge, England},
  xref = {Review: chen_h:2006a.},
  topic = {constraint-programming;}
 }

@article{ apt-blair_a:1990a,
  author = {Krzysztof R. Apt and A. Blair},
  title = {Arithmetic Classification of Perfect Models of Stratified
  	Logic Programs},
  journal = {Fundamenta Informaticae},
  year = {1990},
  volume = {13},
  pages = {1--17},
  note = {Addenda in Vol. 14, pp. 339--441, 1991.},
  missinginfo = {A's 1st name, number},
  topic = {stratified-logic-programs;}
  }

@incollection{ apt-etal:1988a,
  author = {Krzysztof R. Apt and A. Blair and A. Walker},
  title = {Towards a Theory of Declarative Knowledge},
  booktitle = {Foundations of Deductive Databases and Logic
      Programming},
  publisher = {Morgan Kaufmann},
  year = {1987},
  editor = {Jack Minker},
  address = {Los Altos, California},
  pages = {89--148},
  topic = {logic-programming;}
  }

@book{ apt-etal:1999a,
  editor = {Krysztof R. Apt and Victor W. Marek and Marek Truszczy\'nski
  	and David S. Warren},
  title = {The Logic Programming Paradigm: A Twenty-Five Year Perspective},
  publisher = {Springer-Verlag},
  year = {1999},
  address = {Berlin},
  ISBN = {3-540-65463-1},
  xref = {Review: reynolds_m:2002a},
  topic = {logic-programming;}
 }

@article{ apt-pedreschi:1993a,
  author = {Krzysztof R. Apt and D. Pedreschi},
  title = {Reasoning about Termination of Pure Prolog Programs},
  journal = {Information and Computation},
  year = {1993},
  volume = {106},
  number = {1},
  pages = {109--157},
  topic = {logic-programs;program-termination;}
  }

@techreport{ apt-pugin:1987a,
  author = {Krzysztof R. Apt and Jean-Marc Pugin},
  title = {Management of Stratified Data Bases},
  institution = {Department of Computer Science, University of
  	Texas at Austin},
  number = {TR-87-41},
  year = {1987},
  address = {Austin, Texas},
  rtnote = {In RHT collection.},
  topic = {logic-programming;databases;}
  }

@book{ apt-turini:1995a,
  editor = {Krzysztof R. Apt and Franco Turini},
  title = {Meta-Logics and Logic Programming},
  publisher = {The {MIT} Press},
  year = {1995},
  address = {Cambridge, Massachusetts},
  ISBN = {0262011522 (hc)},
  rtnote = {UMich Media Union Library QA 76.63 .M461 1995},
  topic = {metareasoning;logic-programming;}
 }

@article{ aqvist:1964a,
  author = {Lennart {\AA}qvist},
  title = {Interpretations of Deontic Logic},
  journal = {Mind},
  pages = {246--253},
  volume = {73},
  year = {1964},
  topic = {deontic-logic;}
	}

@article{ aqvist:1967a,
  author = {Lennart {\AA}qvist},
  title = {Good {S}amaritans, Contrary-to-Duty Imperatives, and
  	Epistemic Obligations},
  journal = {N\^{o}us},
  year = {1967},
  volume = {1},
  pages = {361--379},
  missinginfo = {number},
  rtnote = {tmix-project;},
  topic = {deontic-logic;prima-facie-obligation;}
  }

@article{ aqvist:1969a,
  author = {Lennart {\AA}qvist},
  title = {Improved Formulations of Act-Utilitarianism},
  journal = {No\^us},
  volume = {3},
  year = {1969},
  pages = {299--323},
  topic = {utilitarianism;}
    }

@techreport{ aqvist:1971a,
  author = {Lennart {\AA}qvist},
  title = {Modal Logic with Subjunctive Conditionals and Dispositional
		Predicates},
  institution = {Filosofiska Institutionen, Uppsala Universitet},
  number = {12},
  year = {1971},
  address = {Uppsala},
  rtnote = {In RHT collection.  LLP authored shelves.},
  topic = {modal-logic;conditionals;dispositions;}
  }

@incollection{ aqvist:1971b,
  author = {Lennart {\AA}qvist},
  title = {Causation by Agents: The Set-Theoretic Analysis of Music
  	as the Basis of the Logic of Agency},
  booktitle = {Festschrift till {S}tig {S}tr\"omholm},
  year = {1971},
  editor = {{\AA}ke Fr\"andberg and U. G\"oransen and T. H{\aa}sted},
  pages = {867--882},
  missinginfo = {publisher, address},
  rtnote = {In RHT collection.},
  topic = {stit;branching-time;}
  }

@article{ aqvist:1973a,
  author = {Lennart {\AA}qvist},
  title = {Modal Logic with Subjunctive Conditionals and
  	Dispositional Predicates},
  journal = {Journal of Philosophical Logic},
  year = {1973},
  volume = {2},
  number = {1},
  pages = {1--76},
  topic = {modal-logic;conditionals;dispositions;}
  }

@incollection{ aqvist:1978a,
  author = {Lennart {\AA}qvist},
  title = {A System of Chronological Tense Logic},
  booktitle = {Formal Semantics and Pragmatics for Natural Languages},
  publisher = {D. Reidel Publishing Co.},
  year = {1978},
  editor = {Franz Guenthner and S.J. Schmidt},
  pages = {223--254},
  address = {Dordrecht},
  topic = {nl-semantics;temporal-logic;}
  }

@article{ aqvist:1978b,
  author = {Lennart {\AA}qvist},
  title = {A Conjectured Axiomatization of Two-Dimensional
  	{R}eichenbachian Tense Logic},
  journal = {Journal of Philosophical Logic},
  year = {1978},
  volume = {8},
  number = {1},
  pages = {1--45},
  topic = {temporal-logic;}
  }

@article{ aqvist:1981a,
  author = {Lennart {\AA}qvist},
  title = {Predicate Calculi with Adjectives and Nouns},
  journal = {Journal of Philosophical Logic},
  year = {1981},
  volume = {10},
  number = {1},
  pages = {1--26},
  topic = {semantics-of-adjectives;}
  }

@incollection{ aqvist:1984a,
  author = {Lennart {\AA}qvist},
  title = {Deontic Logic},
  booktitle = {Handbook of Philosophical Logic, Volume {II}:
  	Extensions of Classical Logic},
  publisher = {D. Reidel Publishing Co.},
  year = {1984},
  editor = {Dov Gabbay and Franz Guenther},
  pages = {605--714},
  address = {Dordrecht},
  topic = {deontic-logic;}
 }

@incollection{ aqvist:1985a,
  author = {Lennart {\AA}qvist},
  title = {The {P}rotagoras Case: An Exercise in Elementary Logic for
  	Lawyers},
  booktitle = {Time, Law, and Society},
  publisher = {Franz Steiner Verlag},
  year = {1985},
  address = {Stuttgart},
  missinginfo = {editor, pages},
  topic = {Protagoras-vs-Euathlus-paradox;deontic-logic;}
  }

@incollection{ aqvist:1991a,
  author = {Lennart {\AA}qvist},
  title = {Systematic Frame Constraints in Defeasible Deontic Logic},
  booktitle = {Essays in Defeasible Deontic Logic},
  publisher = {Kluwer Academic Publishers},
  year = {1995},
  editor = {Donald Nute},
  address = {Dordrecht},
  missinginfo = {pages},
  rtnote = {In RHT collection.},
  topic = {deontic-logic;nonmonotonic-logic;}
  }

@unpublished{ aqvist:1992a,
  author = {Lennart {\AA}qvist},
  title = {Prima Facie Obligations in Deontic Logic: A
    	     {C}hisholmian Analysis Based on Normative Preference
	     Structures},
  year = {1992},
  note = {Manuscript, Department of Law, Uppsala University,
            Sweden},
  topic = {prima-facie-obligation;deontic-logic;}
    }

@article{ aqvist:1996a,
  author = {Lennart {\AA}qvist},
  title = {Discrete Tense Logic with Infinitary Inference Rules and
  	Systematic Frame Constraints:  A {H}ilbert-style Axiomatization},
  journal = {Journal of Philosophical Logic},
  year = {1996},
  volume = {25},
  number = {1},
  pages = {45--100},
  topic = {temporal-logic;}
  }

@unpublished{ aqvist:1996b,
  author = {Lennart {\AA}qvist},
  title = {Equivalence of Two Approaches to the Study of Historical
  	Necessity},
  year = {1996},
  note = {Unpublished manuscript, Department of Law, Uppsala University.},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  rtnote = {In RHT collection.},
  rtnote = {tmix-project;},
  topic = {branching-time;}
  }

@incollection{ aqvist:1997a,
  author = {Lennart {\AA}qvist},
  title = {Branching Time in Deontic Logic: Remarks on an Example
  	by Alchourr\'on and Bulygin},
  booktitle = {Normative Systems in Legal and Moral Theory},
  publisher = {Duncker \&{} Humboldt},
  year = {1977},
  editor = {Ernesto Garz\'on Vald\'es and Werner Krawietz and
  	Georg Henrik von Wright and Ruth Zimmerling},
  pages = {439--447},
  address = {Berlin},
  rtnote = {In RHT collection.},
  topic = {deontic-logic;branching-time;}
  }

@incollection{ aqvist:1997b,
  author = {Lennart {\AA}qvist},
  title = {On Certain Extensions of von {K}utshera's Preference-Based
  	Dyadic Deontic Logic},
  booktitle = {Das weite {S}pektrum der analytischen {P}hilosophie},
  publisher = {Walter de Gruyter},
  year = {1971},
  editor = {Wolfgang Lenzen},
  pages = {8--23},
  address = {Berlin},
  rtnote = {In RHT collection.},
  topic = {deontic-logic;preferences;}
  }

@article{ aqvist:1999a,
  author = {Lennart {\AA}qvist},
  title = {The Logic of Historical Necessity as Founded on
  	Two-Dimensional Modal Tense Logic},
  journal = {Journal of Philosophical Logic},
  year = {1999},
  volume = {28},
  number = {4},
  pages = {329--369},
  Note = {Erratum in {\it JPL} 25:5, 2000, pp. 541--542.},
  topic = {branching-time;temporal-logic;modal-logic;tmix-project;}
  }

@article{ aqvist:2003a,
  author = {Lennart  {\AA}qvist},
  title = {Future Contingents and Determinism in {A}ristotle's
       \emph{De Interpretatione} IX:  Some Logical Aspects of the
       So-Called Second Oldest Interpretation},
  journal = {Logique et Analyse},
  year = {2003},
  volume = {181},
  pages = {13--48},
  rtnote = {In RHT collection.},
  topic = {Aristotle;branching-time;future-contingent-propositions;}
  }

@article{ aqvist:2005a,
  author = {Lennart {\AA}qvist},
  title = {Combinations of Tense and Modality:  On the $R_t$
  		Approach to Temporal Logic with Tense and
		Conditional Obligation},
  journal = {Journal of Applied Logic},
  year = {2005},
  volume = {3},
  pages = {421--460},
  rtnote = {In RHT collection.},
  topic = {branching-time;deontic-logic;conditional-obligation;
  	tmix-project;}
  }

@unpublished{ aqvist-guenthner_f:1976a,
  author = {Lennart {\AA}qvist and Franz Gunthner},
  title = {Fundamentals of a Theory of Verb Aspect and Events
  	within the Setting of an Improved Tense-Logic},
  year = {1976},
  note = {Unpublished manuscript, University of Stuttgart},
  rtnote = {In RHT collection.},
  topic = {tense-logic;tense-aspect;}
  }

@incollection{ aqvist-guenthner_f:1978a,
  author = {Lennart {\AA}qvist and Franz Guenthner},
  title = {Fundamentals of a Theory of Verb Aspect and Events
  	within the Setting of an Improved Tense-Logic},
  booktitle = {Studies in Formal Semantics},
  publisher = {North-Holland Publishing Company},
  year = {1978},
  editor = {Franz Guenthner and Christian Rohrer},
  pages = {167--199},
  address = {Amsterdam},
  rtnote = {In RHT collection.},
  topic = {nl-tense-aspect;tense-logic;}
  }

@incollection{ aqvist-hoepelman:1981a,
  author = {Lennart {\AA}qvist and Jaap Hoepelman},
  title = {Some Theorems about a Tree System of Deontic
             Tense Logic},
  booktitle = {New Studies in Deontic Logic},
  publisher = {D. Reidel Publishing Company},
  year = {1981},
  editor = {Risto Hilpinen},
  pages = {187--221},
  rtnote = {tmix-project;},
  topic = {deontic-logic;temporal-logic;}
    }

@article{ arai:2000a,
  author = {Toshiyasu Arai},
  title = {Review of \emph{{H}andbook of Proof Theory}, by
  	{S}amuel {R}. {B}uss},
  journal = {The Bulletin of Symbolic Logic},
  year = {2000},
  volume = {6},
  number = {4},
  pages = {463--477},
  xref = {Review of: buss_s1:1998a.},
  topic = {proof-theory;}
  }

@article{ arai:2000b,
  author = {Toshiyasu Arai},
  title = {Review of \emph{{A}n Introduction to Proof Theory}, by
  	{S}amuel {R}. {B}uss},
  journal = {The Bulletin of Symbolic Logic},
  year = {2000},
  volume = {6},
  number = {4},
  pages = {464--465},
  xref = {Review of: buss_s1:1998b.},
  topic = {proof-theory;}
 }

@article{ arai:2000c,
  author = {Toshiyasu Arai},
  title = {Review of \emph{{F}irst-Order Proof Theory of Arithmetic}, by
  	{S}amuel {R}. {B}uss},
  journal = {The Bulletin of Symbolic Logic},
  year = {2000},
  volume = {6},
  number = {4},
  pages = {465--466},
  xref = {Review of: buss_s1:1998c.},
  topic = {proof-theory;formalizations-of-arithmetic;}
 }

@article{ arai:2000d,
  author = {Toshiyasu Arai},
  title = {Review of \emph{{H}ierarchies of Provably Recursive
  	Functions}, by Matt Fairtlough and Stanley S. {W}ainer},
  journal = {The Bulletin of Symbolic Logic},
  year = {2000},
  volume = {6},
  number = {4},
  pages = {466--467},
  xref = {Review of: fairtlough-wainer_ss:1998a.},
  topic = {proof-theory;recursion-theory;}
 }

@article{ arai:2000e,
  author = {Toshiyasu Arai},
  title = {Review of \emph{{S}ubsystems of Set Theory and Second-Order
  	Number Theory}, by {W}olfram {P}ohlers},
  journal = {The Bulletin of Symbolic Logic},
  year = {2000},
  volume = {6},
  number = {4},
  pages = {467--469},
  xref = {Review of: pohlers:1998a.},
  topic = {proof-theory;set-theory;formalizations-of-arithmetic;}
 }

@article{ arai:2000f,
  author = {Toshiyasu Arai},
  title = {Review of \emph{{G}\"odel's Functional (`Dialectica')
  	Interpretation}, by {J}eremy {A}vigad and {S}olomon
	{F}eferman},
  journal = {The Bulletin of Symbolic Logic},
  year = {2000},
  volume = {6},
  number = {4},
  pages = {469--471},
  xref = {Review of: avigad-feferman_s:1998a.},
  topic = {proof-theory;intuitionistic-logic;recursion-theory;}
 }

@article{ arai:2000g,
  author = {Toshiyasu Arai},
  title = {Review of \emph{{R}ealizability}, by A.S. {T}roelstra},
  journal = {The Bulletin of Symbolic Logic},
  year = {2000},
  volume = {6},
  number = {4},
  pages = {470--471},
  xref = {Review of: troelstra:1998a.},
  topic = {proof-theory;realizability;}
 }

@article{ arai:2000h,
  author = {Toshiyasu Arai},
  title = {Review of \emph{{T}he Logic of Provability}, by
  	Giorgi Japaridze and Dick de {J}ongh},
  journal = {The Bulletin of Symbolic Logic},
  year = {2000},
  volume = {6},
  number = {4},
  pages = {472--473},
  xref = {Review of: japaridze-dejongh_d:1998a.},
  topic = {provability-logic;modal-logic;}
 }

@article{ arai:2000i,
  author = {Toshiyasu Arai},
  title = {Review of \emph{{T}he Length of Proofs}, by
  	Pavel Pudl\'{a}k},
  journal = {The Bulletin of Symbolic Logic},
  year = {2000},
  volume = {6},
  number = {4},
  pages = {473--475},
  xref = {Review of: padlak:1998a.},
  topic = {proof-complexity;}
 }

@article{ arai:2000j,
  author = {Toshiyasu Arai},
  title = {Review of \emph{{A} Proof-Theoretic
    		Framework for Logic Programming}, by
  	Gerhard J\"ager and Robert F. St\"{a}rk},
  journal = {The Bulletin of Symbolic Logic},
  year = {2000},
  volume = {6},
  number = {4},
  pages = {475--476},
  xref = {Review of: jager-stark_rf:1998a.},
  topic = {proof-theory;logic-programming;}
 }

@article{ arai:2000k,
  author = {Toshiyasu Arai},
  title = {Review of \emph{{T}ypes in Logic, Mathematics, and
    		Programming}, by {R}.{L}. {C}onstable},
  journal = {The Bulletin of Symbolic Logic},
  year = {2000},
  volume = {6},
  number = {4},
  pages = {476--477},
  xref = {Review of: constable:1998a.},
  topic = {proof-theory;type-theory;}
 }

@inproceedings{ araki-etal:1999a,
  author = {Masahiro Araki and Kazunoru Komatani and Taishi Hirata
  		and Shuji Doshita},
  title = {A Dialogue Library for Task-Oriented Spoken Dialogue
  		Systems},
  booktitle = {Proceedings of the {IJCAI}-99 Workshop on
  	Knowledge and Reasoning in Practical Dialogue Systems},
  year = {1999},
  editor = {Jan Alexandersson},
  pages = {1--7},
  organization = {IJCAI},
  publisher = {International Joint Conference on Artificial Intelligence},
  address = {Murray Hill, New Jersey},
  topic = {computational-dialogue;}
  }

@incollection{ aravindan:1996a,
  author = {Chandrabose Aravindan},
  title = {An Abductive Framework for Negation in
    	  Disjunctive Logic Programming},
  booktitle = {Logics in Artificial Intelligence: European Workshop,
  	{Jelia}'96, Ivora, Portugal, September 30 - October 3,
	1996.},
  publisher = {Springer-Verlag},
  year = {1996},
  editor = {Jos\'e J\'ulio Alferes and Lu\'is Moniz Pereira and Ewa Orlowska},
  pages = {252--267},
  address = {Berlin},
  topic = {abduction;negation;disjunctive-logic-programming;}
  }

@proceedings{ aravindin:1996a,
  author = {Chandrabrose Aravindan},
  title = {An Abductive Framework for Negation in Disjunctive
        Logic Programming},
  booktitle = {{JELIA}'96},
  year = {1996},
  editor = {Jos\'e J\'ulio Alferes and Lu\'is Moniz Pereira and and
  	Eva Orlowska},
  publisher = {Springer-Verlag},
  address = {Berlin},
  missinginfo = {pages},
  topic = {abduction;negation;disjunctive-logic-programming;}
  }

@incollection{ aravindin-dung_pm:1994a,
  author = {Chandrabrose Aravindan and Phan Minh Dung},
  title = {Belief Dynamics, Abduction, and Databases},
  booktitle = {Logics in Artificial Intelligence},
  publisher = {Springer-Verlag},
  year = {1994},
  editor = {Craig Mac{N}ish and Lu\'is Moniz Pereira and David Pearce},
  pages = {66--85},
  address = {Berlin},
  topic = {belief-revision;abduction;}
  }

@article{ aravindin-dung_pm:1994b,
  author = {Chandrabrose Aravindan and Phan Minh Dung},
  title = {Partial Deduction of Logic Programs wrt Well-Founded
  	Semantics},
  journal = {New Generation Computing},
  year = {1994},
  volume = {13},
  pages = {45--74},
  missinginfo = {number},
  topic = {logic-programming;well-founded-semantics;}
  }

@article{ aravindin-dung_pm:1995a,
  author = {Chandrabrose Aravindan and Phan Minh Dung},
  title = {On the Correctness of the Fold/Unford Transformations
        of Normal and Extended Logic Programs},
  journal = {Journal of Logic Programming},
  year = {1995},
  volume = {24},
  number = {3},
  pages = {201--218},
  topic = {logic-programming;extended-logic-programming;}
  }

@book{ arbib:1964a,
  author = {Michael A. Arbib},
  title = {Brains, Machines, and Mathematics},
  publisher = {McGraw-Hill},
  year = {1964},
  address = {New York},
  rtnote = {In RHT collection.  Cogsci Shelves.},
  topic = {foundations-of-cognition;automata-theory;
  	connectionist-models;information-theory;goedels-first-theorem;}
 }

@incollection{ arbib:1988a,
  author = {Michael A. Arbib},
  title = {From Universal {T}uring Machines
		to Self-Reproduction},
  booktitle = {The Universal {T}uring Machine: A Half-Century
  	Survey},
  publisher = {Oxford University Press},
  year = {1988},
  editor = {Rolf Herkin},
  pages = {177--189},
  address = {Oxford},
  topic = {Turing;history-of-theory-of-computation;
  	self-reproducing-automata;}
  }

@article{ arbib:1992a,
  author = {Michael A. Arbib},
  title = {Review of \emph{{T}he Cognitive Structure of Emotions}, by
  	{G}erald {L}. {C}lore and {A}llan {C}ollins},
  journal = {Artificial Intelligence},
  year = {1992},
  volume = {54},
  number = {1--2},
  pages = {229--240},
  xref = {Review of ortony-etal:1988a.},
  topic = {emotion;cognitive-psychology;}
  }

@article{ arbib:1993a,
  author = {Michael A. Arbib},
  title = {Book Review of `Unified Theories of Cognition'
  	({A}llen {N}ewell)},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {59},
  number = {1--2},
  pages = {265--265},
  xref = {Review of newell:1992a.},
  topic = {SOAR;cognitive-architectures;}
  }

@article{ arbib:2003a,
  author = {Michael A. Arbib},
  title = {Review of \emph{{L}inguistic Evolution through Language
  	Acquisition: Formal and Computational Models}, edited
	by {T}ed {B}riscoe},
  journal = {Computational Linguistics},
  year = {2003},
  volume = {28},
  number = {3},
  pages = {503--506},
  xref = {Review of: briscoe:2002a},
  topic = {language-learning;language-and-evolution;}
  }

@article{ arbib-liaw:1995a,
  author = {Michael A. Arbib and Jim-Shih Liaw},
  title = {Sensorimotor Transformations in the Worlds of Frogs and
  	Robots},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {72},
  number = {1--2},
  pages = {53--79},
  acontentnote = {Abstract:
     The paper develops a multilevel approach to the design and
     analysis of systems with "action-oriented perception", situating
     various robot and animal ``designs'' in an evolutionary
     perspective. We present a set of biological design principles
     within a broader perspective that shows their relevance for
     robot design. We introduce schemas to provide a coarse-grain
     analysis of ``cooperative computation'' in the brains of animals
     and the ``brains'' of robots, starting with an analysis of
     approach, avoidance, detour behavior, and path planning in
     frogs. An explicit account of neural mechanism of avoidance
     behavior in the frog illustrates how schemas may be implemented
     in neural networks.  The focus of the rest of the article is on
     the relation of instinctive to reflective behavior. We
     generalize an analysis of the interaction of perceptual schemas
     in the VISIONS system for computer vision to a view of the
     interaction of perceptual and motor schemas in distributed
     planning which, we argue, has great promise for integrating
     mechanisms for action and perception in both animal and robot.
     We conclude with general observations on the lessons on relating
     structure and function which can be carried from biology to
     technology.  },
  topic = {computer-vision;active-perception;neural-computation;}
  }

@article{ arbin:1973a,
  author = {Ronald Arbin},
  title = {On Explanations of Linguistic Competence},
  journal = {Philosophia},
  year = {1973},
  volume = {3},
  number = {1},
  pages = {59--83},
  topic = {competence;philosophy-of-linguistics;}
  }

@book{ arcais-jarvella:1983a,
  editor = {G.B. Flores d'Arcais and R.J. Jarvella},
  title = {The Process of Language Understanding},
  publisher = {John Wiley and Sons},
  year = {1983},
  address = {New York},
  ISBN = {0471901296},
  rtnote = {UMich Graduate Library, P37 .P731 1983.},
  topic = {psycholinguistics;nl-comprehension-psychology;}
 }

@article{ archangeli:1988a,
  author = {Diana Archangeli},
  title = {Aspects of Underspecification Theory},
  journal = {Phonology},
  year = {1988},
  volume = {5},
  pages = {183--207},
  missinginfo = {number},
  topic = {phonology;underspecification-theory;}
  }

@book{ ard:1977a,
  author = {William Josh Ard},
  title = {Methodological Problems in The Use of Typologies in
		Diachronic Syntax},
  publisher = {Indiana University Linguistics Club},
  year = {1982},
  address = {310 Lindley Hall, Bloomington, Indiana},
  rtnote = {In RHT collection.},
  topic = {historical-linguistics;linguistic-typology;}
 }

@article{ ardeshir:1999a,
  author = {Mohammed Ardeshir},
  title = {A Translation of Intuitionistic Predicate Logic into
  		Basic Predicate Logic},
  journal = {Studia Logica},
  year = {1999},
  volume = {62},
  number = {2},
  pages = {331--352},
  topic = {intuitionistic-logic;}
  }

@article{ areces-bernardi_r:2004a,
  author = {Carlos Areces and Raffaella Bernardi},
  title = {Analyzing the Core of Categorical Grammar},
  journal = {Journal of Logic, Language, and Information},
  year = {2004},
  volume = {13},
  number = {2},
  pages = {121--137},
  topic = {proof-theory;Lambek-calculus;categorial-grammar;}
  }

@incollection{ areces-etal:2000a,
  author = {Carlos Areces and Ver\'onica Becher and Sebastian Ferro},
  title = {Characterization Results for d-{H}orn Formulas, or
  	on Form

repository: sergiud/bibtex-spirit

repo_name: sergiud/bibtex-spirit