text:
the way the environment
     ``behaves''. Animate systems under real-time constraints can
     further reduce their computational burden by using environmental
     cues that are perspicuous in the local context. A third source
     of economy is introduced when behaviors are learned. Because
     errors are rarely fatal, systems using learning algorithms can
     amortize computational cost over extended periods.  Further
     economies can be achieved when the learning system uses
     indexical reference, which is a form of dynamic variable
     binding.  Animate vision is a natural way of implementing this
     dynamic binding.
 },
  topic = {gaze-control;computer-vision;}
  }

@incollection{ ballard_dh:1993a,
  author = {Dana H. Ballard},
  title = {Sub-Symbolic Modeling of Hand-Eye Coordination},
  booktitle = {The Simulation of Human Intelligence},
  publisher = {Blackwell Publishers},
  year = {1993},
  editor = {Donald Broadbent},
  pages = {71--102},
  address = {Oxford},
  topic = {cognitive-modeling;hand-eye-coordination;}
  }

@book{ ballard_dh:1997a,
  author = {Dana H. Ballard},
  title = {An Introduction To Natural Computation},
  publisher = {The {MIT} Press},
  year = {1997},
  address = {Cambridge, Massachusetts},
  ISBN = {0262024209 (hardcover : alk. paper)},
  rtnote = {UMich Media Union Library, QP 356 .B3451 1997.},
  topic = {neurocognition;}
 }

@book{ ballard_dh-brown_cm:1982a,
  author = {Dana H. Ballard and Christopher M. Brown},
  title = {Computer Vision},
  publisher = {Prentice-Hall},
  year = {1982},
  address = {Englewood Cliffs, New Jersey},
  ISBN = {0131653164},
  rtnote = {UMich Media Union Library Call No: TA1632 .B341 1982},
  topic = {computer-vision;}
 }

@techreport{ ballarin:1999a,
  author = {Clemens Ballarin},
  title = {Computer Algebra and Theorem Proving},
  institution = {Computer Laboratory, University of Cambridge},
  number = {473},
  year = {1999},
  address = {Cambridge},
  acontentnote = {Abstract:
    Is the use of computer algebra technology
    beneficial for mechanised reasoning in and about mathematical
    domains?  Usually it is assumed that it is.  Many works in this
    area, however, either have little reasoning content, or use symbolic
    computation only to simplify expressions.  In work that has achieved
    more, the used methods do not scale up.  They trust the computer
    algebra system either too much or too little.  Computer algebra
    systems are not as rigorous as many provers.  They are not logically
    sound reasoning systems, but collections of algorithms.  We classify
    soundness problems that occur in computer algebra systems.  While
    many algorithms and their implementations are perfectly trustworthy,
    the semantics of symbols is often unclear and leads to errors.  On
    the other hand, more robust approaches to interface external
    reasoners to provers are not always practical because the
    mathematical depth of proofs algorithms in computer algebra are
    based on can be enormous.  Our own approach takes both
    trustworthiness of the overall system and efficiency into account.
    It relies on using only reliable parts of a computer algebra system,
    which can be achieved by choosing a suitable library, and deriving
    specifications for these algorithms from their literature.  We
    design and implement an interface between the prover Isabelle and
    the computer algebra library Sumit [sic] and use it to prove
    non-trivial theorems from coding theory.  This is based on the
    mechanisation of the algebraic theories of rings and polynomials.
    Coding theory is an area where proofs do have a substantial amount
    of computational content.  Also, it is realistic to assume that the
    verification of an encoding or decoding device could be undertaken
    in, and indeed, be simplified by, such a system.  The reason why
    semantics of symbols is often unclear in current computer algebra
    systems is not mathematical difficulty, but the design of those
    systems.  For Gaussian elimination we show how the soundness problem
    can be fixed by a small extension, and without losing efficiency.
    This is a prerequisite for the efficient use of the algorithm in a
    prover. },
  topic = {theorem-proving;automated-algebra;}
  }

@article{ ballarin:2004a,
  author = {Roberta Ballarin},
  title = {The Interpretation of Necessity and the Necessity of
            Interpretation},
  journal = {The Journal of Philosophy},
  year = {2004},
  volume = {101},
  number = {12},
  pages = {609--638},
  topic = {foundations-of-modal-logic;}
  }

@article{ ballarin:2005a,
  author = {Roberta Ballarin},
  title = {Validity and Necessity},
  journal = {Journal of Philosophical Logic},
  year = {2004},
  volume = {34},
  number = {3},
  pages = {275--303},
  topic = {modality;philosophy-of-logic;logical-consequence;}
  }

@inproceedings{ ballarin-paulson:1998a,
  author = {Clemens Ballarin and Lawrence C. Paulson},
  title = {Reasoning about Coding Theory: The Benefits We Get From
		Computer Algebra},
  booktitle = {Artificial Intelligence and Symbolic Computation:
	Proceedings of {AISC'98}},
  year = {1998},
  editor = {Jacques Calmet and Jan Plaza},
  pages = {55--66},
  publisher = {Springer Verlag},
  address = {Berlin},
  topic = {combining-systems;automated-algebra;theorem-proving;}
  }

@book{ ballmer:1978a,
  author = {Thomas T. Ballmer},
  title = {Logical Grammar},
  publisher = {North-Holland},
  year = {1978},
  topic = {nl-semantics;speech-acts;pragmatics;}
 }

@incollection{ ballmer:1979a,
  author = {Thomas T. Ballmer},
  title = {Context Change, Truth, and Competence},
  booktitle = {Semantics from Different Points of View},
  year = {1979},
  editor = {Rainer B\"auerle and Urs Egli and Arnim {von Stechow}},
  publisher = {Springer-Verlag},
  address = {Berlin},
  pages = {21--31},
  topic = {context;}
  }

@incollection{ ballmer:1983a,
  author = {Thomas T. Ballmer},
  title = {Fuzzy Grammatical Categories},
  booktitle = {Approaching Vagueness},
  publisher = {North-Holland},
  year = {1983},
  editor = {Thomas T. Ballmer and Manfred Pinkal},
  pages = {261--292},
  address = {Amsterdam},
  topic = {vagueness;nl-syntax;}
  }

@book{ ballmer-brennenstuhl:1981a,
  author = {Thomas T. Ballmer and  Waltraud Brennenstuhl},
  title = {Speech Act Classification: A Study in the
  	Lexical Analysis of {E}nglish Speech Activity Verbs},
  publisher = {Springer-Verlag},
  year = {1981},
  address = {Berlin},
  xref = {Review: verschueren:1983a},
  rtnote= {Pitt Information Sciences   P95.55 .B34 1981},
  topic = {speech-acts;}
 }

@incollection{ ballmer-brennenstuhl:1981b,
  author = {Thomas T. Ballmer and Waltraud Brennenstuhl},
  title = {An Empirical Approach to Frametheory: Verb Thesausus
		Organization},
  booktitle = {Words, Worlds, and Contexts: New Approaches to Word
  	Semantics},
  publisher = {Walter de Gruyter},
  year = {1981},
  editor = {Hans-J\"urgen Eikmeyer and Hannes Rieser},
  pages = {297--319},
  address = {Berlin},
  topic = {lexical-semantics;frames;}
 }

@incollection{ ballmer-brennenstuhl:1981c,
  author = {Thomas T. Ballmer and Waltraud Brennenstuhl},
  title = {Lexical Analysis and Language Theory},
  booktitle = {Words, Worlds, and Contexts: New Approaches to Word
  	Semantics},
  publisher = {Walter de Gruyter},
  year = {1981},
  editor = {Hans-J\"urgen Eikmeyer and Hannes Rieser},
  pages = {414--461},
  address = {Berlin},
  topic = {lexical-semantics;}
 }

@book{ ballmer-pinkal:1983a,
  editor = {Thomas T. Ballmer and Manfred Pinkal},
  title = {Approaching Vagueness},
  publisher = {North-Holland},
  year = {1983},
  address = {Amsterdam},
  contentnote = {TD:
          1. Manfred Pinkal, "Towards a Semantics of Precization"
          2. Joachim Ballweg, "Vagueness or Context-Dependence?"
          3. Ulrich Blau, "Three-Valued Analysis of Precise, Vague,
	     and Presupposing Quantifiers"
          4. Hans-J\"urgen Eikmeyer and Hannes Rieser, "A Formal
             Theory of Context Dependence and Context Change"
          5. Peter Bosch, "`Vagueness' is Context-Dependence: A
	     Solution to the Sorites Paradox"
          6. G\"unter Todt, "Fuzzy Logic and Modal Logic"
          7. Thomas T. Ballmer, "Fuzzy Grammatical Categories"
          8. Waltrund Brennenstuhl, "A Door's Closing---A
             Contribution to the Vagueness Semantics of Tense and
             Aspect"
          9. Wolfgang Wildgen, "Modelling Vagueness in
             Catastrophe-Theoretic Semantics"
         10. Walther Kindt, "Two Approaches to Vagueness: Theory of
             Interaction and Topology"
         11. Hans-J\"urgen Eikmeyer and Hannes Rieser, "A Nominalistic
             Approach to Ambiguity and Vagueness Considered from a
             Mildly Platonistic Point of View"
   },
  topic = {vagueness;}
 }

@incollection{ ballweg:1981a,
  author = {Joachim Ballweg},
  title = {Simple Present Tense and Progressive
    		Periphrases in German},
  booktitle = {Words, Worlds, and Contexts: New Approaches to Word
  	Semantics},
  publisher = {Walter de Gruyter},
  year = {1981},
  editor = {Hans-J\"urgen Eikmeyer and Hannes Rieser},
  pages = {222--233},
  address = {Berlin},
  topic = {nl-tense-aspect;German-language;}
 }

@incollection{ ballweg:1983a,
  author = {Joachim Ballweg},
  title = {Vagueness or Context-Dependence?},
  booktitle = {Approaching Vagueness},
  publisher = {North-Holland},
  year = {1983},
  editor = {Thomas T. Ballmer and Manfred Pinkal},
  pages = {59--78},
  address = {Amsterdam},
  rtnote = {In RHT collection.},
  topic = {vagueness;context;}
  }

@incollection{ ballweg-frosch:1979a,
  author = {Joachim Ballweg and Helmuth Frosch},
  title = {Comparison and Gradual Change},
  booktitle = {Semantics from Different Points of View},
  year = {1979},
  editor = {Rainer B\"auerle and Urs Egli and Arnim {von Stechow}},
  publisher = {Springer-Verlag},
  address = {Berlin},
  pages = {75--89},
  topic = {lexical-semantics;verbs-of-change;}
  }

@incollection{ ballweg-frosh:1981a,
  author = {Joachim Ballweg and Helmut Frosh},
  title = {Formal Semantics for the Progressive of Stative and
  	Non-Stative Verbs},
  booktitle = {Words, Worlds, and Contexts: New Approaches to Word
  	Semantics},
  publisher = {Walter de Gruyter},
  year = {1981},
  editor = {Hans-J\"urgen Eikmeyer and Hannes Rieser},
  pages = {210--221},
  address = {Berlin},
  topic = {nl-tense-aspect;}
 }

@incollection{ ballwegschramm:1981a,
  author = {Angelika Ballweg-Schramm},
  title = {Some Comments on Lexical Fields and Their Use in
  	Lexicography},
  booktitle = {Words, Worlds, and Contexts: New Approaches to Word
  	Semantics},
  publisher = {Walter de Gruyter},
  year = {1981},
  editor = {Hans-J\"urgen Eikmeyer and Hannes Rieser},
  pages = {462--468},
  address = {Berlin},
  topic = {semantic-fields;}
 }

@inproceedings{ baltag-etal:1998a,
  author = {Alexandru Baltag and Lawrence S. Moss and Slawomir
		Solecki},
  title = {The Logic of Public Announcements and Common Knowledge
		for Distributed Applications (Extended Abstract)},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
    Proceedings of the Seventh Conference ({TARK} 1998)},
  year = {1998},
  editor = {Itzhak Gilboa},
  pages = {43--56},
  publisher = {Morgan Kaufmann},
  address = {San Francisco, California},
  topic = {reasoning-about-knowledge;mutual-belief;assertion;}
  }

@article{ baltag-moss_ls:2004a,
  author = {Alexandru Baltag and Lawrence S. Moss},
  title = {Logics for Epistemic Programs},
  journal = {Synth\'ese},
  year = {2004},
  volume = {139},
  pages = {165--224},
  topic = {dynamic-logic;epistemic-logic;}
  }

@article{ baluja-pomerleau:1997a,
  author = {Sumeet Baluja and Dean Pomerleau},
  title = {Dynamic Relevance:  Vision-Based Focus of Attention
		Using Artificial Neural Networks (Technical Note)},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {97},
  number = {1--2},
  pages = {381--395},
  topic = {relevance;computer-vision;connectionist-models;}
  }

@article{ bamber:2000a,
  author = {Donald Bamber},
  title = {Entailment with Near Surety of Scaled Assertions},
  journal = {Journal of Philosophical Logic},
  year = {2000},
  volume = {29},
  number = {1},
  pages = {1--74},
  topic = {probability;nonmonotonic-logic;conditionals;}
  }

@article{ banerji-strategy:1972a,
  author = {R.B. Banerji and G.W. Ernst},
  title = {Strategy Construction Using Homomorphisms between Games},
  journal = {Artificial Intelligence},
  year = {1972},
  volume = {3},
  number = {1--3},
  pages = {223--249},
  topic = {game-playing;game-strategy;}
  }

@book{ banieqbal-etal:1989a,
  editor = {B. Banieqbal and H. Barringer and Amir Pnueli},
  title = {Temporal Logic in Specification},
  publisher = {Springer-Verlag},
  year = {1989},
  address = {Berlin},
  missinginfo = {E's 1st name.},
  topic = {temporal-logic;program-verification;}
 }

@inproceedings{ bannard-callisonburch:2005a,
  author = {Colin Bannard and Chris Callison-Burch},
  title = {Paraphrasing with Bilingual Parallel Corpora},
  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 = {597--604},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1074},
  topic = {paraphrasing;}
  }

@unpublished{ baral:1990a,
  author = {Chitta Baral},
  title = {Relation between Flat Conditional Logics and Preferential
  	Models (Preliminary Draft)},
  year = {19},
  note = {Unpublished manuscript, Department of Computer Science,
  	University of Maryland},
  rtnote = {In RHT collection.},
  topic = {conditionals;nonmonotonic-logic;model-preference;}
  }

@incollection{ baral:1992a,
  author = {Chitta Baral},
  title = {Generalized Negation as Failure and Semantics of
  	Normal Logic Programs},
  booktitle = {Logical Foundations of Computer Science---Tver '92},
  publisher = {Springer-Verlag},
  year = {1992},
  editor = {Anil Nerode and M. Taitslin},
  pages = {309--319},
  address = {Berlin},
  topic = {negation-as-failure;logic-programming;}
  }

@inproceedings{ baral:1995a,
  author = {Chitta Baral},
  title = {Reasoning about Actions: Non-Deterministic Effects,
  	Constraints, and Qualification},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {2017--2023},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  rtnote = {In RHT collection.},
  topic = {planning-formalisms,actions;temporal-reasoning;}
  }

@article{ baral:1998a,
  author = {Chitta Baral},
  title = {Formalizing Narratives Using Nested Circumscription},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {104},
  number = {1--2},
  pages = {107--164},
  topic = {narrative-representation;narrative-understanding;
  	circumscription;}
  }

@article{ baral:2000a,
  author = {Chitta Baral},
  title = {Abductive Reasoning through Filtering},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {120},
  number = {1},
  pages = {1--28},
  acontentnote = {Abstract:
     Abduction is an inference mechanism where given a knowledge base
     and some observations, the reasoner tries to find hypotheses
     which together with the knowledge base explain the observations.
     A reasoning based on such an inference mechanism is referred to
     as abductive reasoning. Given a theory and some observations, by
     filtering the theory with the observations, we mean selecting
     only those models of the theory that entail the observations.
     Entailment with respect to these selected models is referred to
     as filter entailment. In this paper we give necessary and
     sufficient conditions when abductive reasoning with respect to a
     theory and some observations is equivalent to the corresponding
     filter entailment. We then give sufficiency conditions for
     particular knowledge representation formalisms that guarantee
     that abductive reasoning can indeed be done through filtering
     and present examples from the knowledge representation
     literature where abductive reasoning is done through filtering.
     We extend the notions of abductive reasoning and filter
     entailment to allow preferences among explanations and models
     respectively and give conditions when they are equivalent.
     Finally, we give a weaker notion of abduction and abductive
     reasoning and show the later to be equivalent to filter
     entailment under less restrictive conditions.
  },
  topic = {abduction;machine-learning;filtering;}
  }

@book{ baral:2003a,
  author = {Chitta Baral},
  title = {Knowledge Representation, Reasoning, and Declarative
  		Problem Solving},
  publisher = {Cambridge University Press},
  year = {2003},
  address = {Cambridge, England},
  ISBN = {0521818028},
  xref = {Review: morgenstern_l:2006a.},
  topic = {kr;}
 }

@incollection{ baral-eiter:2004a,
  author = {Chitta Baral and Thomas Eiter},
  title = {A Polynomial-Time Algorithm for Constructing $k$-Maintainable
  		Policies},
  booktitle = {{KR}2004: Principles of Knowledge Representation and
  		Reasoning},
  publisher = {AAAI Press},
  year = {2004},
  editor = {Didier Dubois and Christopher A. Welty and Mary-Anne Williams},
  pages = {720--729},
  address = {Menlo Park, California},
  topic = {planning-algorithms;SAT-based-planning;}
  }

@inproceedings{ baral-etal:1990a,
  author = {Chitta Baral and Jorge Lobo and Jack Minker},
  title = {Generalized Disjunctive Well-Founded Semantics
  	for Logic Programs: Declarative Semantics},
  booktitle = {Methodologies for Intelligent Systems:  Proceedings of
  	the Fifth International Symposium},
  year = {1990},
  editor = {Zbigniew Ras and M. Zemankova and M. Emrich},
  pages = {212--225},
  publisher = {North-Holland},
  address = {Amsterdam},
  topic = {well-founded-semantics;}
  }

@article{ baral-etal:1992a,
  author = {Chitta Baral and Sarit Kraus and Jack Minker and V.S.
  	Subramanian},
  title = {Combining Knowledge Bases Consisting of First Order Theories},
  journal = {Computational Intelligence},
  year = {1992},
  missinginfo = {volume, number, pages},
  topic = {knowledge-integration;}
  }

@inproceedings{ baral-etal:1995a,
 author = {Chitta Baral and Michael Gelfond and Alessandro Provetti},
 title = {Representing Actions {I} (Laws, Observations and
 	Hypotheses)},
 booktitle = {Working Notes of the {AAAI} Spring Symposium on
 	Extending Theories of Action: Formal Theories and Applications},
 year = {1995},
 organization = {American Association for Artificial Intelligence},
 address = {Menlo Park, California},
 rtnote = {In RHT Collection.},
 rtnote = {Discusses hypothetical situations in a situation
 	calculus framework.},
 missinginfo = {pages},
 topic = {action;planning-formalisms;foundations-of-planning;}
 }

@inproceedings{ baral-etal:1996a,
  author = {Chitta Baral and Alfredo Gabeldon and Alessandro Provetti},
  title = {Formalizing Narratives Using Nested Circumscription},
  booktitle = {Working Papers: Common Sense '96},
  year = {1996},
  editor = {Sa\v{s}a Buva\v{c} and Tom Costello},
  pages = {15--24},
  publisher = {Computer Science Department, Stanford University},
  address = {Stanford University},
  note = {Consult http://www-formal.Stanford.edu/tjc/96FCS.},
  topic = {kr;circumscription;narrative-representation;kr-course;}
  }

@incollection{ baral-etal:1996b1,
  author = {Chitta Baral and Alfredo Gabaldon and Alessandro Provetti},
  title = {Value Minimization in Circumscription},
  booktitle = {{KR}'96: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1996},
  editor = {Luigia Carlucci Aiello and Jon Doyle and Stuart Shapiro},
  pages = {474--481},
  address = {San Francisco, California},
  xref = {Journal Publication: baral-etal:1996b2.},
  topic = {nonmonotonic-reasoning;circumscription;}
  }

@article{ baral-etal:1996b2,
  author = {Chitta Baral and Alfredo Gabaldon and Alessandro Provetti},
  title = {Value Minimization in Circumscription},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {102},
  number = {2},
  pages = {163--186},
  xref = {Conference Publication: baral-etal:1996b1.},
  topic = {nonmonotonic-reasoning;circumscription;}
  }

@inproceedings{ baral-etal:1999a,
  author = {Chitta Baral and Michael Gelfond},
  title = {Reasoning Agents in Dynamic Domains},
  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 = {action-formalisms;concurrent-actions;}
  }

@inproceedings{ baral-etal:2000a,
  author = {Chitta Baral and Sheila McIlraith and Tran Cao San},
  title = {Formulating Diagnostic Reasoning Using an Action
         Language with Narratives and Sensing},
  booktitle = {{KR}2000: Principles of Knowledge Representation and
  	Reasoning},
  year = {2000},
  editor = {Anthony G. Cohn and Fausto Giunchiglia and Bart Selman},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  pages = {311--322},
  topic = {diagnosis;action-formalisms;sensing-actions;}
  }

@article{ baral-etal:2000b,
  author = {Chitta Baral and Vladik Kreinovich and Ra\'ul Trejo},
  title = {Computational Complexity of Planning and Approximate
  	Planning in the Presence of Incompleteness},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {122},
  number = {1--2},
  pages = {241--267},
  topic = {planning;complexity-in-AI;}
  }

@incollection{ baral-etal:2002a,
  author = {Chitta Baral and Tran Cao Son and Le-Chi Tuan},
  title = {A Transition Function Based Characterization of Actions
  	with Delayed and Continuous Effects},
  booktitle = {{KR2002}: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {2002},
  editor = {Dieter Fensel and Fausto Giunchiglia and Deborah
  	L. McGuinness and Mary-Anne Williams},
  pages = {291--302},
  address = {San Francisco, California},
  topic = {kr;reasoning-about-actions;temporal-reasoning;action-formalisms;}
  }

@inproceedings{ baral-etal:2002b,
  author = {Chitta Baral and Nam Tran and Le-Chi Tuan},
  title = {Reasoning about Actions in a Probabilistic Setting},
  booktitle = {Proceedings of the Eighteenth National Conference on
              Artificial Intelligence},
  year = {2002},
  editor = {Rina Dechter and Michael Kearns and Richard S. Sutton},
  pages = {507--512},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {probabilistic-reasoning;action-formalisms;}
  }

@incollection{ baral-etal:2003a,
  author = {Chitta Baral and Tran Cao Son and Le-Chi Tuan},
  title = {Golog$+${HTNT}t\raisebox{.5ex}{\scriptsize TM}:
		Adding Time and Intervals to Procedural and Hierarchical
		Control Knowledge},
  booktitle = {Working Papers of the 2003 {AAAI} Spring Symposium on
  	Logical Formalization of Commonsense Reasoning},
  publisher = {AAAI Press},
  year = {2003},
  editor = {Patrick Doherty and John McCarthy and Mary-Anne Williams},
  pages = {19--26},
  address = {Menlo Park, California},
  topic = {temporal-reasoning;cognitive-robotics;}
  }

@article{ baral-etal:2008a,
  author = {Chitta Baral and Thomas Eiter and Marcus Bj\"areland and
  	Mutsumi Nakamura},
  title = {Maintenance Goals of Agents in a Dynamic Environment:
  		Formulation and Policy Construction},
  journal = {Artificial Intelligence},
  year = {2008},
  volume = {172},
  number = {12--13},
  pages = {1429--1469},
  topic = {reasoning-about-goals;answer-sets;maintenance-goals;}
  }

@article{ baral-etal:forthcominga,
  author = {Chitta Baral and Michael Gelfond and Alessandro
  	Provetti},
  title = {Representing Actions:  Laws, Observations, and Hypotheses},
  journal = {Journal of Logic Programming},
  year = {1997},
  missinginfo = {volume,number,pages},
  topic = {actions;action-formalisms;causality;}
  }

@inproceedings{ baral-gelfond:1993a,
  author = {Chitta Baral and Michael Gelfond},
  title = {Representing Concurrent Actions in Extended Logic
  	Programming},
  booktitle = {Proceedings of the Thirteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1993},
  editor = {Ruzena Bajcsy},
  pages = {866--871},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  topic = {extended-logic-programming;planning-formalisms;
  	concurrent-actions;}
  }

@article{ baral-gelfond:1994a,
  author = {Chitta Baral and Michael Gelfond},
  title = {Logic Programming and Knowledge Representation},
  journal = {Journal of Logic-Programming},
  year = {1994},
  volume = {19--20},
  pages = {73--148},
  missinginfo = {number,check-topic},
  topic = {logic-programming;kr;}
  }

@article{ baral-gelfond:1997a,
  author = {Chitta Baral and Michael Gelfond},
  title = {Reasoning About Effects of Concurrent Actions},
  journal = {Journal of Logic Programming},
  year = {1997},
  volume = {31},
  pages = {85--118},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {logic-programming;action-formalisms;concurrency;}
  }

@incollection{ baral-gelfond:2000a,
  author = {Chitta Baral and Michael Gelfond},
  title = {Reasoning Agents in Dynamic Domains},
  booktitle = {Logic-Based Artificial Intelligence},
  publisher = {Kluwer Academic Publishers},
  year = {2000},
  editor = {Jack Minker},
  pages = {257--279},
  address = {Dordrecht},
  topic = {logic-in-AI;agent-architectures;logic-programming;
  	planning-formalisms;}
  }

@inproceedings{ baral-subramanian_vs:1991a,
  author = {Chitta Baral and V.S. Subramanian},
  title = {Dualities between Alternative Semantics for Logic Programming
		and Nonmonotonic Resoning},
  booktitle = {Proceedings of the First International Workshop on
		Logic Programming and Nonmonotonic Reasoning},
  year = {1991},
  pages = {69--85},
  publisher = {The {MIT} Press},
  address = {Cambridge, Massachusetts},
  topic = {logic-programming;nonmonotonic-logic;}
  }

@article{ baral-tran:2005a,
  author = {Chitta Baral and Nam Tran},
  title = {Representations and Reasoning about Evolutions of the World
  		in the Context of Reasoning about Actions},
  journal = {Studia Logica},
  year = {2005},
  volume = {79},
  number = {1},
  pages = {33--46},
  topic = {action-formalisms;reasoning-about-change;}
  }

@article{ baral-zhang_y:2005a,
  author = {Chitta Baral and Yan Zhang},
  title = {Knowledge Updates: Semantics and Complexity Issues},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {164},
  number = {1--2},
  pages = {209--243},
  topic = {belief-revision;complexity-in-AI;modal-logic;}
  }

@incollection{ baral-zhung:2002a,
  author = {Chitta Baral and Yan Zhung},
  title = {The Complexity of Model Checking for Knowledge Update},
  booktitle = {{KR2002}: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {2002},
  editor = {Dieter Fensel and Fausto Giunchiglia and Deborah
  	L. McGuinness and Mary-Anne Williams},
  pages = {82--93},
  address = {San Francisco, California},
  topic = {kr;complexity-in-AI;model-checking;belief-revision;}
  }

@incollection{ barandregt:1992a,
  author = {H.P. Barandregt},
  title = {Lambda Calculi with Types},
  booktitle = {Handbook of Logic in Computer Science},
  publisher = {Oxford University Press},
  year = {1992},
  editor = {Samson Abramsky and Dov Gabbay and T.S.F Maibaum},
  missinginfo = {pages},
  address = {Oxford, England},
  topic = {type-theory;}
  }

@book{ baraz:1992a,
  author = {Turhan Baraz},
  title = {Uygulamal{\i} Noktalama-Yaz{\i}m Kurallar{\i}},
  publisher = {Cem Yay{\i}nevi},
  year = {1992},
  address = {\.{I}stanbul},
  topic = {punctuation;}
}

@article{ barba:1993a,
  author = {Juan Barba},
  title = {A Modal Reduction for Partial Logic},
  journal = {Journal of Philosophical Logic},
  year = {1993},
  volume = {22},
  number = {4},
  pages = {429--434},
  topic = {bilattices;modal-logic;}
  }

@article{ barba:1998a,
  author = {Juan Barba},
  title = {Construction of Truth Predicates: Approximation Versus
  	Revision},
  journal = {The Bulletin of Symbolic Logic},
  year = {199},
  volume = {4},
  number = {4},
  pages = {399--417},
  topic = {truth;semantic-paradoxes;fixpoints;}
  }

@article{ barba:2007a,
  author = {Juan Barba},
  title = {Formal Semantics in the Age of Pragmatics},
  journal = {Linguistics and Philosophy},
  year = {2007},
  volume = {30},
  number = {6},
  pages = {637--668},
  topic = {foundations-of-senantics;pragmatics;vagueness;semantic-paradoxes;}
  }

@inproceedings{ barbeceanu:1998a,
  author = {Mihai Barbeceanu},
  title = {Coordinating Agents by Role Based Social Constraints
  	and Conversation Plans},
  booktitle = {Proceedings of the Fourteenth National Conference on
              Artificial Intelligence and the Ninth Innovative
	      Applications of Artificial Intelligence  Conference},
  year = {1998},
  editor = {Benjamin J. Kuipers and Bonnie Webber},
  pages = {16--21},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {coord-in-conversation;coordination;artificial-societies;}
  }

@incollection{ barbera:1983a,
  author = {Salvador Barber\'a},
  title = {Pivotal Voters: A Simple Proof of {A}rrow's Theorem},
  booktitle = {Social Choice and Welfare},
  publisher = {North-Holland Publishing Company},
  year = {1983},
  editor = {Prasanta K. Pattanaik and Maurice Salles},
  pages = {31--35},
  address = {Amsterdam},
  topic = {social-choice-theory;}
  }

@book{ barbosa_p:1998a,
  editor = {Pilar Barbosa},
  title = {Is The Best Good Enough?  Optimality and Competition in Syntax},
  publisher = {The {MIT} Press},
  year = {1998},
  address = {Cambridge, Massachusetts},
  contentnote = {TC:
     1. Peter Ackema and Ad Neeleman, "WHOT?"
     2. Eric Bakovic, "Optimality and inversion in {S}panish"
     3. Joan Bresnan, "Morphology Competes with Syntax:
     		Explaining Typological Variation in Weak Crossover
		Effects"
     4. Luigi Burzio, "Anaphora and Soft Constraints"
     5. Noam Chomsky, "Some Observations on Economy in Generative
     		Grammar"
     6. Danny Fox, "Locality in Variable Binding"
     7. Edward Gibson and Kevin Broihier, "Optimality Theory and
     		Human Sentence Processing"
     8. Jane Grimshaw and Vieri Samek-Lodovici, "Optimal Subjects
     		and Subject Universals"
     9. Yookyung Kim and Stanley Peters, "Semantic and Pragmatic
     		Context-Dependence: The Case of Reciprocals"
    10. G\'eraldine Legendre, Paul Smolensky, and Colin Wilson,
    		"When is Less More?  Faithfulness and Minimal Links
		in Wh-Chains"
    11. Masanori Nakamura, "Reference Set, Minimal Link Condition,
    		and Parameterization"
    12. Mark Newson, "On the Nature of Inputs and Outputs:
    		a Case Study of Negation"
    13.  David Pesetsky, "Some Optimality Principles of
    		Sentence Pronunciation"
    14.  Geoffrey Poole, "Constraints on Local Economy"
    15.  Douglas Pulleyblank and William J. Turkel, "The Logical
    		Problem of Language Acquisition in Optimality
		Theory"
    16.  Bruce B. Tesar, "Error-Driven Learning in
    		Optimality Theory Via the Efficient Computation of
		Optimal Forms"  },
  ISBN = {0262024489},
  rtnote = {UMich Graduate Library, P 291 .I82 1998.},
  topic = {optimality-theory;nl-syntax;}
 }

@book{ barbosa_p-etal:1998a,
  author = {Pilar Barbosa and Danny Fox and Paul Hagstrom and
		Martha McGinnis and David Pesetsky},
  title = {Is the Best Good Enough?  Optimality and Competition
		in Syntax},
  publisher = {The {MIT} Press},
  year = {1998},
  address = {Cambridge, Massachusetts},
  topic = {nm-syntax;optimality-theory;}
 }

@book{ barbosa_v:1996a,
  author = {Valmir Barbosa},
  title = {An Introduction to Distributed Algorithms},
  publisher = {The {MIT} Press},
  year = {1996},
  address = {Cambridge, Massachusetts},
  topic = {distributed-processing;}
 }

@incollection{ bard-etal:2002a,
  author = {Ellen Gurman Bard and Matthew P. Aylett and Robin J. Lickley},
  title = {Towards a Psycholinguistics of Dialogue: Defining Reaction
  	Time and Error Rate in a Dialogue Corpus},
  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 = {29--36},
  address = {Edinburgh},
  topic = {psychology-of-discourse;}
  }

@book{ bareiss:1989a,
  author = {Ray Bareiss},
  title = {Exemplar-Based Knowledge Acquisition: A Unified Approach
  	to Concept Representation, Classification, and Learning},
  publisher = {Academic Press},
  year = {1989},
  address = {San Diego, California},
  topic = {learning;kr;case-based-reasoning;}
 }

@article{ barelli:1997a,
  author = {Gilead Bar-Elli},
  title = {Frege's Context Principle},
  journal = {Philosophia},
  year = {1997},
  volume = {25},
  number = {1--4},
  pages = {99--129},
  topic = {Frege;semantic-compositionality;reference;philosophy-of-language;}
  }

@article{ barendregt:1997a,
  author = {Henk Barendregt},
  title = {The Impact of the Lambda Calculus in Logic and Computer
  	Science},
  journal = {The Bulletin of Symbolic Logic},
  year = {1997},
  volume = {3},
  number = {2},
  pages = {181--215},
  topic = {lambda-calculus;history-of-logic;}
  }

@book{ barense:1980a,
  author = {Diane D. Barense},
  title = {Tense Structure and Reference: A First Order Non-Modal
  	Approach},
  publisher = {Indiana University Linguistics Club},
  year = {1980},
  address = {310 Lindley Hall, Indiana University, Bloomington,
  	Indiana 46405},
  rtnote = {In RHT collection.},
  topic = {nl-tense;}
 }

@book{ barfield_l:1993a,
  author = {Lon Barfield},
  title = {The User Interface: Concepts and Design},
  publisher = {Addison-Wesley},
  year = {1993},
  address = {Reading, Massachusetts},
  ISBN = {0201544415},
  rtnote = {UMich Media Union Library, QA 76.9 .U83 B353 1993.},
  topic = {HCI;}
 }

@book{ barfield_w-furness:1995a,
  editor = {Woodrow Barfield and Tomas A. {Furness, III}},
  title = {Virtual Environments and Advanced Interface Design},
  publisher = {Oxford University Press},
  year = {1995},
  address = {Oxford},
  ISBN = {0195075552},
  rtnote = {UMich Media Union Library, QA 76.9 .H85 V541 1995.},
  topic = {virtual-reality;HCI;}
 }

@inproceedings{ barg-walther_m:1998a,
  author = {Petra Barg and Markus Walther},
  title = {Processing Unknown Words in {HPSG}},
  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 = {91--95},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {robust-parsing;HPSG;word-acquisition;}
 }

@article{ barhillel:1950a1,
  author = {Yehoshua Bar-Hillel},
  title = {Bolzano's Definition of `Analytic Proposition'\, },
  journal = {Theoria},
  year = {1950},
  volume = {16},
  pages = {91--117},
  missinginfo = {number},
  xref = {Reprinted in barhillel:1970a.  See barhillel:1950a2.},
  topic = {history-of-logic;Bolzano;analyticity;}
  }

@incollection{ barhillel:1950a2,
  author = {Yehoshua Bar-Hillel},
  title = {Bolzano's Definition of `Analytic Proposition'\, },
  booktitle = {Aspects of Language: Essays in Philosophy of Language,
  	Linguistic Philosophy, and Methodology of Linguistics},
  publisher = {North-Holland Publishing Company},
  year = {1972},
  pages = {3--24},
  address = {Amsterdam},
  xref = {Reprinted in barhillel:1970a.  See barhillel:1950a2.},
  topic = {history-of-logic;Bolzano;analyticity;}
  }

@article{ barhillel:1951a1,
  author = {Yehoshua Bar-Hillel},
  title = {Comments on Logical Form},
  journal = {Philosophical Studies},
  year = {1951},
  volume = {2},
  pages = {72--75},
  missinginfo = {number},
  xref = {Reprinted in barhillel:1970a.  See barhillel:1951a2.},
  topic = {logical-form;}
  }

@incollection{ barhillel:1951a2,
  author = {Yehoshua Bar-Hillel},
  title = {Comments on Logical Form},
  booktitle = {Aspects of Language: Essays in Philosophy of Language,
  	Linguistic Philosophy, and Methodology of Linguistics},
  publisher = {North-Holland Publishing Company},
  year = {1972},
  pages = {25--28},
  address = {Amsterdam},
  xref = {Reprinted in barhillel:1970a.  See barhillel:1951a2.},
  topic = {logical-form;}
  }

@article{ barhillel:1952a1,
  author = {Yehoshua Bar-Hillel},
  title = {Bolzano's Propositional Logic},
  journal = {Archiv f\"ur Mathematische Logik und
  	Grundlagenforschung},
  year = {1952},
  volume = {1},
  pages = {65--98},
  missinginfo = {number},
  xref = {Reprinted in bar-hillel:1970a.  See bar-hillel:1952a2.},
  topic = {history-of-logic;Bolzano;}
  }

@article{ barhillel:1952b1,
  author = {Yehoshua Bar-Hillel},
  title = {Mr. {G}each on Rigour in Semantics},
  journal = {Mind, New Series},
  year = {1952},
  volume = {61},
  pages = {261--264},
  missinginfo = {number},
  xref = {Reprinted in bar-hillel:1970a.  See bar-hillel:1952a2.},
  topic = {carnap;foundations-of-semantics;}
  }

@article{ barhillel:1954a1,
  author = {Yehoshua Bar-Hillel},
  title = {Indexical Expressions},
  journal = {Mind, New Series},
  year = {1954},
  volume = {63},
  pages = {359--379},
  missinginfo = {number},
  xref = {Reprinted in barhillel:1970a.  See barhillel:1954a2.},
  rtnote = {pragmatics-course;},
  topic = {indexicals;pragmatics;}
  }

@incollection{ barhillel:1954a2,
  author = {Yehoshua Bar-Hillel},
  title = {Indexical Expressions},
  booktitle = {Aspects of Language: Essays in Philosophy of Language,
  	Linguistic Philosophy, and Methodology of Linguistics},
  publisher = {North-Holland Publishing Company},
  year = {1972},
  pages = {69--88},
  address = {Amsterdam},
  xref = {Reprinted in barhillel:1970a.  See barhillel:1954a1.},
  rtnote = {pragmatics-course;},
  topic = {indexicals;pragmatics;}
  }

@article{ barhillel:1954a,
  author = {Yehoshua Bar-Hillel},
  title = {Logical Syntax and Semantics},
  journal = {Language},
  year = {1954},
  volume = {30},
  number = {2},
  pages = {230--237},
  xref = {Commentary: chomsky:1955a},
  topic = {natural-language/formal-language;
  	foundations-of-linguistics;logic-and-linguistics;}
  }

@book{ barhillel:1961a,
  editor = {Yehoshua Bar-Hillel},
  title = {Essays on the Foundations of Mathematics. Dedicated to
  	{A}.{A}.{F}raenkel on His Seventieth Anniversary},
  publisher = {Magnes Press},
  year = {1961},
  address = {Jerusalem},
  rtnote = {UMich Science QA9 .J451 1966},
  topic = {foundations-of-mathematics;set-theory;}
 }

@incollection{ barhillel:1962a,
  author = {Yehoshua Bar-Hillel},
  title = {Some Recent Results in Theoretical Linguistics},
  booktitle = {Logic, Methodology, and Philosophy of Science: Proceedings
  		of the 1960 International Congress},
  publisher = {Stanford University Press},
  year = {1962},
  editor = {Ernest Nagel and Patrick Suppes and Alfred Tarski},
  pages = {551--557},
  address = {Stanford, California},
  topic = {philosophy-of-linguistics;finite-state-automata;
  		formal-language-theory;}
  }

@article{ barhillel:1963a1,
  author = {Yehoshua Bar-Hillel},
  title = {Can Indexical Sentences Stand in Logical Relations?},
  journal = {Philosophical Studies},
  year = {1963},
  volume = {14},
  pages = {87--90},
  missinginfo = {number},
  xref = {Reprinted in bar-hillel:1970a.  See bar-hillel:1963a2.},
  topic = {indexicals;pragmatics;}
  }

@incollection{ barhillel:1963b1,
  author = {Yehoshua Bar-Hillel},
  title = {Remarks on {C}arnap's {\it Logical Syntax of Language}},
  booktitle = {The Philosophy of {R}udolph {C}arnap},
  publisher = {Open Court Publishing Company},
  year = {1963},
  editor = {Paul A. Schilpp},
  pages = {519--543},
  address = {LaSalle, Ilinois},
  xref = {Reprinted in bar-hillel:1970a.  See bar-hillel:19a2.},
  topic = {carnap;natural-language/formal-language;logic-and-linguistics;}
  }

@article{ barhillel:1966a,
  author = {Yehoshua Bar-Hillel},
  title = {Imperative inference},
  journal = {Analysis},
  year = {1966},
  volume = {26},
  number = {3},
  pages = {79--82},
  topic = {imperative-logic;imperatives;}
  }

@incollection{ barhillel:1969a,
  author = {Yehoshua Bar-Hillel},
  title = {Universal Semantics and the Philosophy of Language:
  	Quandaries and Prospects},
  booktitle = {Substance and Structure of Language},
  publisher = {University of California Press},
  year = {1969},
  editor = {Jaan Puhvel},
  pages = {1--21},
  address = {Berkeley and Los Angeles, California},
  rtnote = {In RHT Collection.},
  rtnote = {Much Katz criticism.},
  xref = {Republished, cf. barhillel:1970a.},
  topic = {foundations-of-semantics;}
  }

@book{ barhillel:1970a,
  author = {Yehoshua Bar-Hillel},
  title = {Aspects of Language: Essays in Philosophy of Language,
  	Linguistic Philosophy, and Methodology of Linguistics},
  publisher = {North-Holland Publishing Company},
  year = {1972},
  address = {Amsterdam},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {philosophy-of-language;nl-semantics;pragmatics;}
 }

@book{ barhillel:1971a,
  author = {Yehoshua Bar-Hillel},
  title = {Pragmatics of Natural Language},
  publisher = {D. Reidel Publishing Co.},
  year = {1971},
  address = {Dordrecht},
  tableofcontents = {Get this.},
  topic = {philosophy-of-language;pragmatics;}
 }

@article{ barhillel:1971b,
  author = {Yehoshua Bar-Hillel},
  title = {Out of the Pragmatic Wastebasket},
  journal = {Linguistic Inquiry},
  year = {1971},
  volume = {2},
  pages = {401--407},
  missinginfo = {number},
  topic = {pragmatics;philosophy-of-language;}
  }

@book{ barhillel:1972a,
  editor = {Yehoshua Bar-Hillel},
  title = {Pragmatics of Natural Languages},
  publisher = {D. Reidel Publishing Co.},
  year = {1972},
  address = {Dordrecht},
  ISBN = {0521207207},
  rtnote = {UMich Graduate Library, 800.31 M483
                  Graduate Library, 800 I598pr 1970},
  topic = {pragmatics;philosophy-of-language;}
 }

@article{ barhillel-etal:1961a,
  author = {Yehoshua Bar-Hillel and M. Perles and E. Shamir},
  title = {On Formal Properties of Simple Phrase Structure Grammars},
  journal = {Zeitschrift f\"ur Phonologie, Sprachwissenschaft und
  	Kommunikationsforschung},
  year = {1961},
  volume = {14},
  pages = {113--124},
  missinginfo = {A's 1st name, number},
  topic = {formal-language-theory;}
  }

@article{ barish-knoblock:2008a,
  author = {Greg Barish and Craig A. Knoblock},
  title = {Speculative Plan Execution for Information Gathering},
  journal = {Artificial Intelligence},
  year = {2008},
  volume = {172},
  number = {4--5},
  pages = {413--453},
  topic = {plan-execution;}
  }

@article{ barker_c:1992a,
  author = {Chris Barker},
  title = {Group Terms in {E}nglish Representing Terms as Atoms},
  journal = {Journal of Semantics},
  year = {1992},
  volume = {9},
  number = {1},
  pages = {69--91},
  topic = {nl-semantics;plural;pluralities;}
  }

@inproceedings{ barker_c:1993a,
  author =  {Chris Barker},
  title = {A Presuppositional Account of Proportional Ambiguity},
  booktitle = {Proceedings from Semantics and Linguistic Theory {III}},
  year = {1993},
  editor = {Utpal Lahiri and Zachary Wyner},
  pages = {1--18},
  publisher = {Cornell University},
  address = {Ithaca, New York},
  note = {Available from CLC Publications, Department of Linguistics,
  	Morrill Hall, Cornell University, Ithaca, NY 14853-4701.},
  topic = {nl-quantifier-scope;adverbs;conventional-implicature;pragmatics;}
  }

@inproceedings{ barker_c:1995a,
  author = {Chris Barker},
  title = {Episodic {\it -ee} in {E}nglish: Thematic Relations and
  	New Word Formation},
  booktitle = {Proceedings from Semantics and Linguistic Theory {V}},
  year = {1995},
  editor = {Mandy Simons and Teresa Galloway},
  pages = {1--18},
  publisher = {Cornell University},
  address = {Ithaca, New York},
  note = {Available from CLC Publications, Department of Linguistics,
  	Morrill Hall, Cornell University, Ithaca, NY 14853-4701.},
  contentnote = {Uses "-ee" suffix to study thematic relations.},
  topic = {thematic-roles;}
  }

@article{ barker_c:1996a,
  author = {Chris Barker},
  title = {Presuppositions for Proportional Quantifiers},
  journal = {Natural Language Semantics},
  year = {1996},
  volume = {4},
  number = {3},
  pages = {237--259},
  topic = {presupposition;pragmatics;donkey-anaphora;nl-quantifiers;}
  }

@article{ barker_c:1999a,
  author = {Chris Barker},
  title = {Individuation and Quantification},
  journal = {Linguistic Inquiry},
  year = {1999},
  volume = {30},
  number = {4},
  pages = {683--691},
  topic = {events;individuation;}
  }

@article{ barker_c:2000a,
  author = {Chris Barker},
  title = {Definite Possessives and Discouse Novelty},
  journal = {Theoretical Linguistics},
  year = {2000},
  volume = {26},
  number = {3},
  pages = {211--227},
  topic = {definiteness;possessives;old/new-information;}
  }

@inproceedings{ barker_c:2001a,
  author = {Chris Barker},
  title = {Introducing Continuation},
  booktitle = {Proceedings from Semantics and Linguistic Theory {XI}},
  publisher = {Cornell University},
  year = {2001},
  editor = {Rachel Hastings and Brendan Jackson and Zsofia Zvolenszky},
  pages = {20--35},
  address = {Ithaca, New York},
  topic = {nl-semantics;semantics-of-programming-languages;}
  }

@article{ barker_c:2002a,
  author = {Chris Barker},
  title = {The Dynamics of Vagueness},
  journal = {Linguistics and Philosophy},
  year = {2002},
  volume = {25},
  number = {1},
  pages = {1--36},
  topic = {vagueness;context;}
  }

@article{ barker_c:2005a,
  author = {Chris Barker},
  title = {Remark on {J}acobson 1999: Crossover as a Local Constraint},
  journal = {Linguistics and Philosophy},
  year = {2005},
  volume = {28},
  number = {4},
  pages = {447--472},
  topic = {categorial-grammar;combinatory-logic;variable-free-semantics;
  		crossover;}
  }

@article{ barker_c:2007a,
  author = {Chris Barker},
  title = {Parasitic Scope},
  journal = {Linguistics and Philosophy},
  year = {2007},
  volume = {30},
  number = {4},
  pages = {407--444},
  topic = {nl-quantifier-scope;nl-semantic-types;}
  }

@inproceedings{ barker_c-dowty:1993a,
  author = {Chris Barker and David Dowty},
  title = {Non-Verbal Thematic Proto-Roles},
  booktitle = {Proceedings of the Twenty-Third Meeting of the New
  	England Linguistic Society},
  year = {1993},
  missinginfo = {A's 1st name, editor, pages, organization, publisher,
  	address},
  topic = {thematic-roles;}
  }

@unpublished{ barker_c-dowty:1999a,
  author = {Chris Barker and David Dowty},
  title = {Nominal Thematic Proto-Roles},
  year = {1999},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.},
  missinginfo = {Year is a guess.},
  topic = {thematic-roles;}
  }

@article{ barker_c-pullum:1990a,
  author = {Chris Barker and Geoffrey K. Pullum},
  title = {A Theory of Command Relations},
  journal = {Linguistics and Philosophy},
  year = {1990},
  volume = {13},
  number = {1},
  pages = {1--34},
  topic = {syntactic-command;foundations-of-syntax;}
  }

@article{ barker_c-shan_cc:2006a,
  author = {Chris Barker and Chung-Chieh Shan},
  title = {Types as Graphs:  Continuations in Type Logical Grammar},
  journal = {Journal of Logic, Language, and Information},
  year = {2006},
  volume = {15},
  number = {4},
  pages = {331--370},
  topic = {nl-quantifiers;type-theory;}
  }

@techreport{ barker_ja:1973a,
  author = {John A. Barker},
  title = {A Formal Analysis of Conditionals},
  institution = {Southern Illinois University},
  number = {Humanities Series / Number 3},
  year = {1973},
  address = {Carbondale, Illinois},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {conditionals;}
  }

@article{ barker_ja:1973b,
  author = {John A. Barker},
  title = {Hypotheticals, Conditionals and Theticals},
  journal = {The Philosophical Quarterly},
  year = {1973},
  volume = {23},
  number = {93},
  pages = {335--345},
  rtnote = {In RHT collection.},
  topic = {conditionals;}
  }

@phdthesis{ barker_k:1998a,
  author = {Ken Barker},
  title = {Semi-Automatic Recognition of Semantic Relationships in
  	{E}nglish Technical Texts},
  school = {University of Ottowa},
  year = {1998},
  type = {Ph.D. Dissertation},
  address = {Ottawa},
  topic = {compound-nouns;machine-language-learning;
  	computational-semantics;}
 }

@inproceedings{ barker_k-szpakowicz:1998a,
  author = {Ken Barker and Stan Szpakowicz},
  title = {Semi-Automatic Recognition of Noun Modifier
  	Relationships},
  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 = {96--102},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {compound-nouns;machine-language-learning;
  	computational-semantics;}
 }

@book{ barker_r:1990a,
  author = {Richard Barker},
  title = {Case Method: Entity-Relationship Modelling},
  publisher = {Addison-Wesley},
  year = {1990},
  address = {Reading, Massachusetts},
  topic = {entity-relationship-modeling;}
 }

@article{ barker_s:1991a,
  author = {Stephen Barker},
  title = {`{E}ven', `Still' and Counterfactuals},
  journal = {Linguistics and Philosophy},
  year = {1991},
  volume = {14},
  number = {1},
  pages = {1--38},
  topic = {`even';sentence-focus;pragmatics;}
  }

@article{ barker_s:2000a,
  author = {Stephen Barker},
  journal = {Analysis},
  pages = {268--279},
  title = {Is Value Content a Component of Conventional Implicature?},
  volume = {60},
  year = {2000},
  topic = {expressivism;implicature;}
  }

@article{ barker_s:2002a,
  author = {Stephen Barker},
  title = {Counterfactual Analyses of Causation: The Problem
  	of Effects and Epiphenomena Revisited},
  journal = {No\^us},
  year = {2002},
  volume = {36},
  number = {1},
  pages = {133--150},
  topic = {causality;conditionals;}
  }

@article{ barker_sf-achenstein:1960a,
  author = {S.F. Barker and Peter Achenstein},
  title = {On the New Riddle of Induction},
  journal = {The Philosophical Review},
  year = {1960},
  volume = {69},
  number = {4},
  pages = {511--522},
  rtnote = {In RHT collection.},
  topic = {induction;(un)natural-predicates;}
  }

@article{ barker_sj:1997a,
  author = {S.J. Barker},
  title = {E-Type Pronouns, {DRT}, Dynamic Semantics and the
  	Quantifier-Variable Binding Model},
  journal = {Linguistics and Philosophy},
  year = {1997},
  volume = {20},
  number = {2},
  pages = {195--228},
  topic = {anaphora;pronouns;discourse-representation-theory;}
  }

@incollection{ barkerplummer:2005a,
  author = {David Barker-Plummer},
  title = {Turing Machines},
  booktitle = {The {S}tanford Encyclopedia of Philosophy},
  publisher = {Stanford University},
  editor = {Edward N. Zalta},
  url = {http://plato.stanford.edu/archives/spr2005/entries/turing-machine/},
  year = {Spring 2005},
  rtnote = {In RHT collection.},
  topic = {Turing-machines;}
  }

@inproceedings{ barkhuus:2003a,
  author = {Louise Barkhuus},
  title = {How to Define the Communication Situation: Determining
  	Context Cues in Mobile Telephony},
  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 = {411--418},
  address = {Berlin},
  topic = {context;communication;context-aware-computing;}
  }

@incollection{ barklund-etal:1994a,
  author = {Jonas Barklund and Katrin Boberg and Pierangelo Dell'Acqua},
  title = {A Basis for a Multi-Level Meta-Logic Programming Language},
  booktitle = {Logic Programming Synthesis and Transformation,
  	Meta-Programming in Logic: Fourth International Workshops,
	{LOBSTR}'94 and	{META}'94, Pisa, Italy},
  publisher = {Springer-Verlag},
  year = {1994},
  editor = {Laurent Fribourg and Franco Turini},
  pages = {262--275},
  address = {Berlin},
  topic = {metaprogramming;}
  }

@book{ barlow-etal:1982a,
  editor = {Michael Barlow and Daniel P. FLickinger and Ivan A. Sag},
  title = {Developments in Generalized Phrase Structure Grammar},
  publisher = {Indiana University Linguistics Club},
  year = {1982},
  address = {310 Lindley Hall, Bloomington, Indiana},
  ISBN = {1575862190},
  rtnote = {UMich Undergraduate, P 128 .M6 U81 2000.},
  rtnote = {In RHT collection.  Shelf},
  topic = {GPSG;}
 }

@book{ barlow-ferguson_ca:1988a,
  editor = {Michael Barlow and Charles A. Ferguson},
  title = {Agreement in Natural Language: Approaches, Theories,
    Descriptions},
  publisher = {Center for the Study of Language and Information},
  year = {1988},
  address = {Stanford, California},
  ISBN = {0937073024},
  rtnote = {UMich Graduate Library, P 299 .A35 A351 1988.},
  topic = {agreement;}
 }

@book{ barlow-kemmer:2000a,
  editor = {Michael Barlow and Suzanne Kemmer},
  title = {Usage-Based Models of Language},
  publisher = {CSLI Publications},
  year = {2000},
  address = {Stanford, California},
  ISBN = {1575862190},
  contentnote = {TC:
     1. Suzanne Kemmer and Michael Barlow, "A usage-based conception
     		of language"
     2. Ronald W. Langacker, "A dynamic usage-based model"
     3. Joan L. Bybee, "The phonology of the lexicon"
     4. Sydney Lamb, "Bidirectional processing in language and
     		related cognitive systems"
     5. Brian MacWhinney, "Connectionism and language learning"
     6.  Connie Dickinson and T. Giv\'on, "The effect of the
     		interlocutor on episodic recall, an experimental
		study "
     7.  Mira Ariel, "The development of person agreement markers,
     		from pronoun to higher accessibility markers "
     8. Arie Verhagen, "Interpreting usage, construing the history of
     		Dutch causal verbs"
     9. Douglas Biber, "Investigating language use through
     		corpus-based analyses of association patterns"
    10. Michael Barlow, "Usage, blends and grammar"
  },
  rtnote = {UMich Undergraduate, P 128 .M6 U81 2000.},
  topic = {sociolinguistics;corpus-linguistics;}
 }

@article{ barnard_k-johnson_m3:2005a,
  author = {Kobus Barnard and Matthew Johnson},
  title = {Word Sense Disambiguation with Pictures},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {167},
  number = {1--2},
  pages = {13--30},
  topic = {lexical-disambiguation;visual-reasoning;situated-nlp;}
  }

@article{ barnard_st:1983a,
  author = {Stephen T. Barnard},
  title = {Interpreting Perspective Images},
  journal = {Artificial Intelligence},
  year = {1983},
  volume = {21},
  number = {4},
  pages = {435--462},
  acontentnote = {Abstract:
     A fundamental problem in computer vision is how to determine the
     3-D spatial orientation of curves and surfaces appearing in an
     image.  The problem is generally underconstrained, and is
     complicated by the fact that metric properties, such as
     orientation and length, are not invariant under projection.
     Under perspective projection (the correct model for most real
     images) the transform is nonlinear, and therefore hard to
     invert. Two constructive methods are presented. The first finds
     the orientation of parallel lines and planes by locating
     vanishing points and vanishing lines.  The second determines the
     orientation of planes by `backprojection' of two intrinsic
     properties of contours: angle magnitude and curvature.},
  topic = {computer-vision;three-D-reconstruction;
  	reasoning-about-perspective;}
  }

@book{ barnbrook:1996a,
  author = {Geoff Barnbrook},
  title = {Language and Computers: A Practical Introduction to the
  	Computer Analysis of Language},
  publisher = {Edinburgh University Press},
  year = {1996},
  address = {Edinburgh},
  ISBN = {0-7486-0785-4},
  xref = {Review: kirk_jm:1998a},
  topic = {corpus-linguistics;}
 }

@article{ barnden:1986a,
  author = {John A. Barnden},
  title = {Imputations and Explications: Representational Problems in
  	Treatments of Propositional Attitudes},
  journal = {Cognitive Science},
  year = {1986},
  volume = {10},
  number = {3},
  pages = {319--364},
  topic = {propositional-attitudes;}
  }

@incollection{ barnden:1989a,
  author = {John A. Barnden},
  title = {Belief, Metaphorically Speaking},
  booktitle = {{KR}'89: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1989},
  editor = {Ronald J. Brachman and Hector J. Levesque and Raymond Reiter},
  pages = {21--32},
  address = {San Mateo, California},
  rtnote = {Attempts to develop a "commonsense" theory of attitudes.
  	Really, it turns out to be an account of belief as context.  But
	metaphors of mind are also broadly used to influence how reasoning
	about belief is carried out.},
  topic = {propositional-attitudes;belief;context;}
  }

@incollection{ barnden:1995a,
  author = {John A. Barnden},
  title = {Simulative Reasoning, Common-Sense
		Psychology, and Artificial Intelligence},
  booktitle = {Mental Simulation: Evaluations and Applications},
  publisher = {Blackwell Publishers},
  year = {1995},
  editor = {Martin Davies and Tony Stone},
  pages = {247--273},
  address = {Oxford},
  topic = {folk-psychology;theory-theory-of-folk-psychology;
  	mental-simulation;propositional-attitude-ascription;}
  }

@inproceedings{ barnden:2001a,
  author = {John A. Barnden},
  title = {Uncertainty and Conflict Handling in the
     		{ATT}-Meta Context-Based System for Metaphorical
		Reasoning},
  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 = {15--29},
  address = {Berlin},
  topic = {context;metaphor;nl-interpretation;reasoning-about-attitudes;
		mental-simulation;}
  }

@incollection{ barnden-etal:1994a,
  author = {John A. Barnden and Stephen Helmreich and Eric Iverson
  	and Gees C. Stein},
  title = {An Integrated Implementation of Simulative, Uncertain,
  	and Metaphorical Reasoning about Mental States},
  booktitle = {{KR}'94: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
  pages = {27--38},
  address = {San Francisco, California},
  topic = {kr;reasoning-about-mental-states;metaphor;kr-course;}
  }

@incollection{ barnden-lee_mg:1999a,
  author = {John A. Barnden and Mark G. Lee},
  title = {An Implemented Context
            System that	Combines Belief Reasoning, Metaphor-Based
            Reasoning and Uncertainty Handling},
  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 = {28--41},
  address = {Berlin},
  topic = {context;metaphor;reasoning-about-attitudes;
		mental-simulation;}
  }

@book{ barnden-pollack_jb:1991a,
  editor = {John A. Barnden and Jordan B. Pollack},
  title = {Advances in Connectionist and Neural
  	Computation Theory, Volume 1: High-Level Connectionist
	Models},
  publisher = {Ablex Publishing Corp.},
  year = {1991},
  address = {Norwood< New Jersey},
  ISBN = {0893916870},
  rtnote = {UMich Media Union Library, QA 76.5 .H48151 1991.},
  xref = {Review: rose:1993a.},
  topic = {connectionism;connectionist-models;}
 }

@book{ barnes_a:1997a,
  editor = {Annette Barnes},
  title = {Seeing through Self-Deception},
  publisher = {Cambridge University Press},
  year = {1997},
  address = {Cambridge, England},
  topic = {self-deception;}
 }

@article{ barnes_g:1971a,
  author = {Gerald Barnes},
  title = {Utilitarianisms},
  journal = {Ethics},
  volume = {82},
  year = {1971},
  pages = {56--64},
  topic = {utilitarianism;}
    }

@book{ barnes_j-etal:1975a,
  editor = {Jonathan Barnes and Malcolm Schofield and Richard Sorabji},
  title = {Articles on Aristotle, Volume 1 (Science)},
  publisher = {Duckworth},
  year = {1975},
  address = {London},
  ISBN = {0715607626},
  rtnote = {UMich Graduate Library, B485 .A79.},
  topic = {Aristotle;ancient-physics;ancient-science;}
 }

@book{ barnes_j-etal:1977b,
  editor = {Jonathan Barnes and Malcolm Schofield and Richard Sorabji},
  title = {Articles on Aristotle: Volume 2 (Ethics and Politics)},
  publisher = {Duckworth},
  year = {1977},
  address = {London},
  rtnote = {UMich Graduate Library, B485 .A79.},
  topic = {Aristotle;ethics;}
 }

@book{ barnes_j-etal:1979a,
  editor = {Jonathan Barnes and Malcolm Schofield and Richard Sorabji},
  title = {Articles on Aristotle: Volume 3 (Metaphysics)},
  publisher = {Duckworth},
  year = {1979},
  address = {London},
  rtnote = {UMich Graduate Library, B485 .A79.},
  topic = {Aristotle;metaphysics;}
 }

@book{ barnes_j-etal:1979b,
  editor = {Jonathan Barnes and Malcolm Schofield and Richard Sorabji},
  title = {Articles on Aristotle: Volume 4 (Psychology and Aesthetics)},
  publisher = {Duckworth},
  year = {1979},
  address = {London},
  rtnote = {UMich Graduate Library, B485 .A79.},
  topic = {Aristotle;}
 }

@article{ barnes_rf:1981a,
  author = {Robert F. Barnes},
  title = {Interval Temporal Logic: A Note},
  journal = {Journal of Philosophical Logic},
  year = {1981},
  volume = {10},
  number = {4},
  pages = {395--397},
  topic = {temporal-logic;interval-logic;}
  }

@incollection{ barnett_d:2000a,
  author = {David Barnett},
  title = {Vagueness-Related Attitudes},
  booktitle = {Skepticism},
  publisher = {Blackwell Publishers},
  year = {2000},
  editor = {Ernest Sosa and Enrique Villanueva},
  pages = {302--320},
  address = {Oxford},
  topic = {vagueness;sorites-paradox;}
  }

@unpublished{ barnett_d:2001a,
  author = {David Barnett},
  title = {Vagueness as Roughness},
  year = {2001},
  note = {Unpublished manuscript, New York University},
  rtnote = {In RHT collection.},
  topic = {vagueness;}
  }

@article{ barnett_d:2004a,
  author = {David Barnett},
  title = {Some Stuffs Are Not Sums of Stuff},
  journal = {The Philosophical Review},
  year = {2004},
  volume = {113},
  number = {1},
  pages = {89--100},
  topic = {mereology;}
  }

@article{ barnett_ja:1984a,
  author = {Jeffrey A.  Barnett},
  title = {How Much Is Control Knowledge Worth?  A Primitive Example},
  journal = {Artificial Intelligence},
  year = {1984},
  volume = {22},
  number = {1},
  pages = {77--89},
  topic = {procedural-control;}
  }

@article{ barney:1992a,
  author = {Rachel Barney},
  title = {Appearances and Impressions},
  journal = {Phronesis},
  year = {1992},
  volume = {37},
  pages = {283--},
  missinginfo = {number},
  topic = {Sextus-Empiricus;ancient-philosophy;epistemology;}
  }

@article{ baron_d:2004a,
  author = {Dorit Bar-On},
  title = {Externalism and Self-Knowledge: Content, Use, and Expression},
  journal = {No\^us},
  year = {2004},
  volume = {38},
  number = {3},
  pages = {430--455},
  topic = {introspection;epistemology;internalism/externalism;}
  }

@book{ baron_de:1982a,
  author = {Dennis E. Baron},
  title = {Grammar and Good Taste: Reforming the {A}merican
  	Language},
  publisher = {Yale University Press},
  year = {1982},
  address = {New Haven},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {language-reform;prescriptive-linguistics;}
 }

@book{ baron_j:1993a,
  editor = {Jonathan Baron},
  title = {Morality and Rational Choice},
  publisher = {Kluwer Academic Publishers},
  year = {1993},
  number = {18},
  series = {Theory and Decision Library},
  address = {Dordrecht},
  contentnote = {Chapters:
  	1.  Introduction
  	2.  Morality and decision-making
  	3.  The nature of goals
  	4.  Expected utility theory
  	5.  Decisions for others
  	6.  Self-other conflict
  	7.  Acts and omissions
  	8.  Utilitarian education
  	9.  Decision analysis and public policy
  	10. Equity in social policy and liability
  	11. The risk analysis debate
  	12. Social decisions
  	},
  rtnote = {UMich BF 448 .B371 1993},
  topic = {practical-reasoning;rationality;goals;
  	foundations-of-utility;policy-making;}
 }

@book{ baron_s-etal:1990a,
  editor = {Sheldon Baron and Dana S. Kruser and Beverly Messick Huey},
  title = {Quantitative Modeling of Human Performance in Complex,
  	Dynamic Systems},
  publisher = {National Academy Press},
  year = {1990},
  address = {Washington, D.C.},
  ISBN = {030904135X},
  rtnote = {UMich Graduate Library, QA 76.9 .H85 Q22 1990.},
  topic = {HCI;}
 }

@article{ baroni-etal:1999a,
  author = {P. Baroni and G. Lamperti and P. Pogliano and M. Zanella},
  title = {Diagnosis of Large Active Systems},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {110},
  number = {1},
  pages = {135--183},
  acontentnote = {Abstract:
     This paper presents a modular technique, amenable to parallel
     implementation, for the diagnosis of large-scale, distributed,
     asynchronous event-driven (namely, active) systems.  An active
     system is an abstraction of a physical system that can be
     modeled as a network of communicating automata.  Due to the
     distributed nature of the class of systems considered, and
     unlike other approaches based on synchronous composition of
     automata, exchanged events are buffered within communication
     links and dealt with asynchronously. The main goal of the
     diagnostic technique is the reconstruction of the behavior of
     the active system starting from a set of observable events. The
     diagnostic process involves three steps: interpretation,
     merging, and diagnosis generation.  Interpretation generates a
     representation of the behavior of a part of the active system
     based on observable events.  Merging combines the result of
     several interpretations into a new, broader interpretation.  The
     eventual diagnostic information is generated on the basis of
     fault events possibly incorporated within the reconstructed
     behavior.  In contrast with other approaches, the proposed
     technique does not require the generation of the, possibly huge,
     model of the entire system, typically, in order to yield a
     global diagnoser, but rather, it allows a modular and parallel
     exploitation of the reconstruction process.  This property, to a
     large extent, makes effective the diagnosis of real active
     systems, for which the reconstruction of the global behavior is
     often unnecessary, if not impossible.  },
  missinginfo = {A's 1st names.},
  topic = {diagnosis;model-based-reasoning;
  	reasoning-about-distributed-systems;}
  }

@article{ baroni-etal:2000a,
  author = {P. Baroni and M. Giacomin and G. Guida},
  title = {Extending Abstract Argumentation Systems Theory},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {120},
  number = {2},
  pages = {251--270},
  acontentnote = {Abstract:
     In this paper, we extend the theory of abstract argumentation
     systems proposed by Vreeswijk (1997). This framework stands at a
     high abstraction level and provides a general model for
     argumentation activity. However, the theory reveals an inherent
     limitation in that the premises of the argumentation process are
     assumed to be indefeasible, and this introduces the need of an
     implicit constraint on the strength of the arguments, in order
     to preserve correctness.  In many application contexts the
     information available to start reasoning is not guaranteed to be
     completely reliable, therefore it is natural to assume that
     premises can be discarded during the argumentation process. We
     extend the theory by admitting that premises can be defeated and
     relaxing the implicit assumption about their strength.
      Besides fixing the technical problems related to this hidden
     assumption (e.g., ensuring that warranted arguments are
     compatible), our proposal provides an integrated model for
     belief revision and defeasible reasoning, confirming the
     suitability of argumentation as a general model for the activity
     of intelligent reasoning in presence of various kinds of
     uncertainty.
  },
  topic = {argument-based-defeasible-reasoning;
  	belief-revision;nonmonotonic-reasoning;}
  }

@article{ baroni-etal:2005a,
  author = {Pietro Baroni and Massimiliano Giacomin and Giovanni Guida},
  title = {{SCC}-Recursiveness:  A General Schema for Argumentation
  		Semantics},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {168},
  number = {1--2},
  pages = {162--210},
  topic = {argumentation-theory;}
  }

@article{ baroni-etal:2005b,
  author = {Pietro Baroni and Massimiliano Giacomin and Giovanni Guida},
  title = {Self-Stabilizing Defeat Status Computation:  Dealing with
  		Conflict Management in Multi-Agent Systems},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {165},
  number = {2},
  pages = {187--259},
  topic = {argumenation;multi-agent-systems;conflict-resolution;}
  }

@article{ baroni-giacomin:2007a,
  author = {Pietro Baroni and Massimiliano Giacomin},
  title = {On Principle-Based Evaluation of Extension-Based
  	Argumentation Semantics},
  journal = {Artificial Intelligence},
  year = {2007},
  volume = {171},
  number = {10--15},
  pages = {675--700},
  topic = {argumentation-theory;semantics-evaluation;}
  }

@incollection{ barr-davidson_j:1981a,
  author = {Avron Barr and James E. Davidson},
  title = {Representation of Knowledge},
  booktitle = {The Handbook of {AI}, Vol. 1},
  publisher = {Heuris{T}ech Press},
  year = {1981},
  editor = {Avron Barr and Edward A. Feigenbaum},
  pages = {141--222},
  address = {Stanford, California},
  note = {Co-authors: Robert Filman, Douglas Appelt, Anne Gardiner,
  	and James Bennett.},
  topic = {kr-survey;}
  }

@book{ barr-feigenbaum:1981a,
  editor = {Avron Barr and Edward A. Feigenbaum},
  title = {The Handbook of {AI}, Vol. 1},
  publisher = {Heuris{T}ech Press},
  year = {1981},
  address = {Stanford, California},
  rtnote = {In RHT collection.  AI Shelf.},
  topic = {AI-survey;}
 }

@incollection{ barrett_a:2004a,
  author = {Anthony Barrett},
  title = {From Hybrid Systems to Universal Plans Via Domain
  		Compilation},
  booktitle = {{KR}2004: Principles of Knowledge Representation and
  		Reasoning},
  publisher = {AAAI Press},
  year = {2004},
  editor = {Didier Dubois and Christopher A. Welty and Mary-Anne Williams},
  pages = {654--661},
  address = {Menlo Park, California},
  topic = {planning;control-theory;}
  }

@techreport{ barrett_a-etal:1994a,
  author = {Anthony Barrett and Keith Golden and Scott Pemberthy and
  	Daniel Weld},
  title = {{\sc ucpop} User's Manual},
  institution = {Department of Computer Science and Engineering,
  	University of Washington},
  number = {93--09--06},
  year = {1991},
  address = {Seattle, WA 98105},
  rtnote = {In RHT collection.},
  topic = {planning-systems;}
  }

@article{ barrett_a-weld:1994a,
  author = {Anthony Barrett and Daniel S. Weld},
  title = {Partial-Order Planning: Evaluating Possible Efficiency
  	Gains},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {67},
  number = {1},
  pages = {71--112},
  topic = {partial-order-planning;}
  }

@book{ barrett_e:1988a,
  editor = {Edward Barrett},
  title = {Text, Con{T}ext, and Hyper{T}ext: Writing with and for
  	the Computer},
  publisher = {The {MIT} Press},
  year = {1988},
  address = {Cambridge, Massachusetts},
  rtnote = {In RHT Collection.  CS General shelves.},
  topic = {document-design;internet-technology;}
 }

@book{ barrett_ja:1999a,
  author = {Jeffrey Alan Barrett},
  title = {The Quantum Mechanics of Minds and Worlds},
  publisher = {Oxford University Press},
  year = {1999},
  address = {Oxford},
  xref = {Reviews: becker_l:2001a, myrvold:2002a.},
  topic = {foundations-of-quantum-mechanics;branching-time;}
 }

@article{ barrett_ja:2009a,
  author = {Jeffrey A. Barrett},
  title = {Review of \emph{Scientific Representation: Paradoxes of
  		Perspective}},
  journal = {The Journal of Philosophy},
  year = {2009},
  volume = {106},
  number = {11},
  pages = {634--639},
  xref = {Review of: vanfraassen:2008a},
  topic = {philosophy-of-science;empiricism;quantum-mechanics;}
  }

@book{ barrett_ja-alexander_jm:2000a,
  editor = {Jeffrey Alan Barrett and J. McKenzie Alexander},
  title = {Philosophy of Science: Proceedings of the
  	2000 Biennial Meeting of the
	Philosophy of Science Association, Part 1: Contributed
	Papers},
  publisher = {University of Chicago Press},
  year = {2000},
  address = {Chicago, Illinois},
  rtnote = {In RHT collection.  Philsci Shelves.},
  topic = {philosophy-of-science;}
 }

@article{ barrett_rh-stenner:1971a,
  author = {Robert H. Barrett and Alfred J Stenner},
  title = {The Myth of the Exclusive `Or'\,},
  journal = {Mind, New Series},
  year = {1971},
  volume = {80},
  number = {317},
  pages = {116--121},
  topic = {disjunction;}
  }

@inproceedings{ barriere:1998a,
  author = {Caroline Barri\'ere},
  title = {Redundancy: Helping Semantic Disambiguation},
  booktitle = {Proceedings of the Thirty-Sixth Annual Meeting of the
		{A}ssociation for {C}omputational {L}inguistics and
		Seventeenth International Conference on
		Computational Linguistics},
  year = {1998},
  editor = {Christian Boitet and Pete Whitelock},
  pages = {103--109},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco, California},
  topic = {disambiguation;}
 }

@book{ barringer:1996a,
  author = {Howard Barringer and M. Fisher and D. Gabbay and R. Owens
  	and M. Reynolds},
  title = {The Imperative Future: Principles of
  	Executable Temporal Logic},
  publisher = {John Wiley and Sons},
  year = {1996},
  address = {Chichester, England},
  missinginfo = {A's 1st name.},
  topic = {temporal-logic;temporal-reasoning;software-engineering;}
 }

@incollection{ barringer-etal:1991a,
  author = {Howard Barringer and Michael Fisher and Dov Gabbay and
  	Anthony Hunter},
  title = {Meta-Reasoning in Executable Temporal Logic},
  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 = {40--49},
  address = {San Mateo, California},
  topic = {kr;temporal-logics;imperative-logic;programming-systems;
  	kr-course;}
  }

@incollection{ barroncohen-cross_p:1995a,
  author = {Simon Baron-Cohen and Pippa Cross},
  title = {Reading the Eyes:
		Evidence for the Role of Perception in the
		Development of a Theory of Mind},
  booktitle = {Mental Simulation: Evaluations and Applications},
  publisher = {Blackwell Publishers},
  year = {1995},
  editor = {Martin Davies and Tony Stone},
  pages = {259--273},
  address = {Oxford},
  topic = {developmental-psychology;mental-simulation;
  	propositional-attitude-ascription;}
  }

@article{ barrow_hg:1984a,
  author = {Harry G. Barrow},
  title = {{VERIFY}: A Program for Proving Correctness of Digital
  	Hardware Designs},
  journal = {Artificial Intelligence},
  year = {1984},
  volume = {24},
  number = {1--3},
  pages = {437--491},
  topic = {design-verification;}
  }

@article{ barrow_hg-tenenbaum:1981a,
  author = {Harry G. Barrow and J.M.  Tenenbaum},
  title = {Interpreting Line Drawings as Three-Dimensional Surfaces},
  journal = {Artificial Intelligence},
  year = {1981},
  volume = {17},
  number = {1--3},
  pages = {75--116},
  topic = {three-D-reconstruction;}
  }

@article{ barrow_hg-tennenbaum:1993a,
  author = {Harry G. Barrow and J.M. Tennenbaum},
  title = {Retrospective on `Interpreting Line Drawings
  	as Three-Dimensional Surfaces'},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {59},
  number = {1--2},
  pages = {71--80},
  topic = {computer-vision;three-D-reconstruction;}
  }

@book{ barrow_jd:1998a,
  author = {John D. Barrow},
  title = {Impossibility},
  publisher = {Oxford University Press},
  year = {1998},
  address = {Oxford},
  topic = {goedels-first-theorem;goedels-second-theorem;
		popular-logic;popular-physics;popular-science;
		paradoxes;}
 }

@article{ barry-etal:1988a,
  author = {Michele Barry and David Cyrluk and Deepak Kapur and
  	Joseph Mundy and Van-Duc Nguyen},
  title = {A Multi-Level Geometric Reasoning System for Vision},
  journal = {Artificial Intelligence},
  year = {1988},
  volume = {37},
  number = {1--3},
  pages = {291--332},
  topic = {computer-vision;geometrical-reasoning;spatial-reasoning;}
  }

@article{ barstow:1979a1,
  author = {David R. Barstow},
  title = {An Experiment in Knowledge-Based Automatic Programming},
  journal = {Artificial Intelligence},
  year = {1979},
  volume = {12},
  number = {2},
  pages = {73--119},
  xref = {Republication: barstow:1979a2.},
  topic = {program-synthesis;}
  }

@incollection{ barstow:1979a2,
  author = {David Barstow},
  title = {An Experiment in Knowledge-Based Automatic
          Programming},
  booktitle = {Readings in Artificial Intelligence},
  publisher = {Morgan Kaufmann},
  year = {1981},
  editor = {Bonnie Webber and Nils J. Nilsson},
  pages = {289--312},
  address = {Los Altos, California},
  xref = {Journal Publication: barstow:1979a2.},
  topic = {program-synthesis;}
  }

@article{ bartak:2005a,
  author = {Ronan Bart\'ak},
  title = {Review of \emph{Constraint Processing}, by {R}ina {D}echter},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {169},
  number = {2},
  pages = {142--145},
  topic = {constraint-satisfaction;}
  }

@book{ bartal:1990a,
  author = {Daniel Bar-Tal},
  title = {Group Beliefs: A Conception for Analyzing Group Structure,
    Processes, and Behavior},
  publisher = {Springer-Verlag},
  year = {1990},
  address = {Berlin},
  ISBN = {0387970851},
  rtnote = {UMich Undergraduate, Hm 131 .B281 1990.},
  topic = {social-psychology;group-attitudes;}
 }

@book{ bartal:2000a,
  author = {Daniel Bar-Tal},
  title = {Shared Beliefs in a Society: Social Psychological Analysis},
  publisher = {Sage Publications},
  year = {2000},
  address = {Thousand Oaks, California},
  ISBN = {0-7629-0658-4 (cloth)},
  rtnote = {UMich Undergraduate Library HM 1041 .B371 2000},
  topic = {social-psychology;group-attitudes;}
 }

@book{ bartal-kruglanski:1988a,
  editor = {Daniel Bar-Tal and Arie W. Kruglanski},
  title = {The Social Psychology of Knowledge},
  publisher = {Editions de la Maison des Sciences de l'Homme},
  year = {1988},
  address = {Cambridge, England},
  ISBN = {052132114X},
  rtnote = {UMich Graduate Library, BD 175 .S6251 1988.},
  topic = {social-psychology;}
 }

@incollection{ bartal-kruglanski:1988b,
  author = {Daniel Bar-Tal and Arie W. Kruglanski},
  title = {The Social Psychology of Knowledge: Its Scope and Meaning},
  booktitle = {The Social Psychology of Knowledge},
  publisher = {Editions de la Maison des Sciences de l'Homme},
  year = {1988},
  editor = {Daniel Bar-Tal and Arie W. Kruglanski},
  pages = {1--14},
  address = {Cambridge, England},
  rtnote = {In RHT collection.},
  topic = {social-psychology;group-attitudes;}
  }

@article{ bartha:1993a,
  author = {Paul Bartha},
  title = {Conditional Obligation, Deontic Paradoxes,
        and the Logic of Agency},
  journal = {Annals of Mathematics and Artificial Intelligence},
  year = {forthcoming},
  topic = {deontic-logic;agency;}
    }

@incollection{ bartha:1998a,
  author = {Paul Bartha},
  title = {Moral Preference, Contrary-to-Duty Obligation
			and Defeasible Oughts},
  booktitle = {Norms, Logics and Information Systems.  New Studies in
		Deontic Logic and Computer Science},
  publisher = {IOS Press},
  year = {1998},
  editor = {Henry Prakken and Paul McNamara},
  pages = {93--108},
  address = {Amsterdam},
  topic = {deontic-logic;prima-facie-obligation;}
  }

@inproceedings{ bartha-hitchcock:1998a,
  author = {Paul Bartha and Christopher Hitchcock},
  title = {No One Knows the Date or the Hour: An Unorthodox
  	Application of Rev. Bayes's Theorem},
  booktitle = {{PSA}98: Proceedings of the Biennial Meeting of the
	Philosophy of Science Association, Part 1: Contributed
	Papers},
  year = {1998},
  editor = {Don A. Howard},
  pages = {339--353},
  organization = {Philosophy of Science Association},
  publisher = {University of Chicago Press},
  address = {Chicago, Illinois},
  topic = {foundations-of-statistics;}
  }

@article{ barto-etal:1995a,
  author = {Andrew G. Barto and Steven J. Bradtke and Satinder P. Singh},
  title = {Learning to Act Using Real-Time Dynamic Programming},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {72},
  number = {1--2},
  pages = {81--138},
  acontentnote = {Abstract:
     Learning methods based on dynamic programming (DP) are receiving
     increasing attention in artificial intelligence. Researchers
     have argued that DP provides the appropriate basis for compiling
     planning results into reactive strategies for real-time control,
     as well as for learning such strategies when the system being
     controlled is incompletely known. We introduce an algorithm
     based on DP, which we call Real-Time DP (RTDP), by which an
     embedded system can improve its performance with experience.
     RTDP generalizes Korf's Learning-Real-Time-A* algorithm to
     problems involving uncertainty. We invoke results from the
     theory of asynchronous DP to prove that RTDP achieves optimal
     behavior in several different classes of problems.  We also use
     the theory of asynchronous DP to illuminate aspects of other
     DP-based reinforcement learning methods such as Watkins'
     Q-Learning algorithm.  A secondary aim of this article is to
     provide a bridge between AI research on real-time planning and
     learning and relevant concepts and algorithms from control
     theory.},
  topic = {reinforcement-learning;machine-learning;dynamic-programming;}
  }

@unpublished{ bartsch:1972a,
  author = {Renate Bartsch},
  title = {Relative Adjectives and Comparison in a {M}ontague
  	Grammar},
  year = {1972},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript, Freie Universit\"at, Berlin.},
  topic = {semantics-of-adjectives;comparative-constructions;}
  }

@incollection{ bartsch:1972b,
  author = {Renate Bartsch},
  title = {The Proper Treatment of Number and
     		Numbers in a {M}ontague Grammar},
  booktitle = {Papers in {M}ontague Grammar},
  publisher = {Linguistics Department, UCLA},
  year = {1972},
  editor = {Robert Rodman},
  pages = {66--79},
  address = {Los Angeles, California},
  note = {ULCA Occasional Papers in Linguistics, No. 2},
  topic = {Montague-grammar;nl-semantics;plural;}
  }

@incollection{ bartsch:1976a,
  author = {Renate Bartsch},
  title = {The Role of Categorial Syntax in Grammatical Theory},
  booktitle = {Language in Focus},
  publisher = {D. Reidel Publishing Co.},
  year = {1976},
  editor = {Asa Kasher},
  pages = {503--539},
  address = {Dordrecht},
  topic = {categorial-grammar;}
  }

@incollection{ bartsch:1984a,
  author = {Renate Bartsch},
  title = {The Structure of Word Meanings: Polysemy,
     	  Metaphor, Metonymy},
  booktitle = {Varieties of Formal Semantics},
  publisher = {Foris Publications},
  year = {1984},
  editor = {Fred Landman and Frank Veltman},
  pages = {25--54},
  address = {Dordrecht},
  topic = {lexical-semantics;context;nl-polysemy;metaphor;metonymy;}
  }

@techreport{ bartsch:1987a,
  author = {Renate Bartsch},
  title = {The Construction of Properties Under Perspectives},
  institution = {Institute for Language, Logic and Information, University
  	of Amsterdam},
  number = {87--08},
  year = {1987},
  address = {Faculty of Mathematics and Computer Science, Roeterssraat 15,
  	1018WB Amsterdam, Holland },
  rtnote = {In RHT collection.},
  topic = {nl-semantics;adjectives;measures;}
  }

@techreport{ bartsch:1987b,
  author = {Renate Bartsch},
  title = {Frame Representations and Discourse Representations},
  institution = {Institute for Language, Logic and Information, University
  	of Amsterdam},
  number = {87--08},
  year = {1992},
  address = {Faculty of Mathematics and Computer Science, Roeterssraat 15,
  	1018WB Amsterdam, Holland },
  rtnote = {In RHT collection.},
  topic = {nl-semantics;frames;discourse-representation-theory;
  	pragmatics;}
  }

@article{ bartsch:1987c,
  author = {Renate Bartsch},
  title = {Frame Representations and Discourse Representations},
  journal = {Theoretical Linguistics},
  year = {1987},
  volume = {14},
  number = {1},
  pages = {65--117},
  topic = {discourse-representation-theory;frames;lexical-semantics;
  	pragmatics;}
  }

@book{ bartsch:1987d,
  author = {Renate Bartsch},
  title = {Norms of Language: Theoretical and Practical Aspects},
  publisher = {Longman},
  year = {1987},
  address = {London},
  ISBN = {0582014751},
  rtnote = {UMich Graduate Library, P368 .B293 1987.},
  topic = {foundations-of-linguistics;linguistics-methodology;}
}

@article{ bartsch:1988a,
  author = {Renate Bartsch},
  title = {Tenses and Aspects in Discourse},
  journal = {Theoretical Linguistics},
  year = {1987},
  volume = {15},
  number = {1/2},
  pages = {133--194},
  rtnote = {semantics-course;},
  topic = {nl-semantics;tense-aspect;discourse;
  	pragmatics;}
  }

@techreport{ bartsch:1988b,
  author = {Renate Bartsch},
  title = {Tenses, Aspects, and Their Scopes in Discourse},
  institution = {Institute for Language, Logic and Information, University
  	of Amsterdam},
  number = {LP--88--07},
  year = {1990},
  address = {Faculty of Mathematics and Computer Science, Roeterssraat 15,
  	1018WB Amsterdam, Holland},
  rtnote = {In RHT collection.},
  topic = {tense-aspect;discourse;pragmatics;}
  }

@techreport{ bartsch:1990a,
  author = {Renate Bartsch},
  title = {Concept Formation and Concept Composition},
  institution = {Institute for Language, Logic and Information, University
  	of Amsterdam},
  number = {LP--90--03},
  year = {1990},
  address = {Faculty of Mathematics and Computer Science, Roeterssraat 15,
  	1018WB Amsterdam, Holland},
  rtnote = {In RHT collection.},
  topic = {metaphor;polysemy;pragmatics;}
  }

@book{ bartsch:1998a,
  author = {Renate Bartsch},
  title = {Dynamic Conceptual Semantics: A Logico-Philosophical
  	Investigation into Concept Formation and Understanding},
  publisher = {{CSLI} Publications},
  year = {1998},
  address = {Stanford},
  ISBN = {1575861259 (hardcover},
  rtnote = {UMich Graduate Library, P 325 .B3731 1998.},
  topic = {nl-semantics;}
 }

@book{ bartsch-etal:1989a,
  editor = {Renate Bartsch and Johan van Benthem and P. van Emde
  	Boas},
  title = {Semantics and Contextual Expression},
  publisher = {Foris Publications},
  year = {1989},
  address = {Dordrecht},
  ISBN = {9067654434},
  rtnote = {UMich Graduate Library, P 325 .S3541 1989.},
  note = {Articles based on papers chosen from those presented at the 6th
    Amsterdam Colloquium on April 1987.},
  topic = {semantics;context;}
}

@book{ bartsch-vennemann:1973a,
  author = {Renate Bartsch and Theo Vennemann},
  title = {Semantic Structures: A Study in the Relation between
  	Semantics and Syntax},
  publisher = {Athen\"aum Verlag},
  year = {1973},
  address = {Frankfurt},
  ISBN = {3761017091},
  rtnote = {UMich Graduate Library, 800.31 B295se 1973.},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {syntax-semantics-interface;}
}

@book{ barwise:1975a,
  author = {K. Jon Barwise},
  title = {Admissible Sets and Structures},
  publisher = {Springer-Verlag},
  year = {1975},
  address = {Berlin},
  topic = {mathematical-logic;admissible-sets;model-theory;}
 }

@book{ barwise:1977a,
  author = {K. Jon Barwise},
  title = {Handbook of Mathematical Logic},
  publisher = {North-Holland},
  year = {1977},
  address = {Amsterdam},
  topic = {mathematical-logic;}
 }

@article{ barwise:1978a,
  author = {K. Jon Barwise},
  title = {On Branching Quantifiers in {E}nglish},
  journal = {Journal of Philosophical Logic},
  year = {1978},
  volume = {8},
  number = {1},
  pages = {47--80},
  topic = {branching-quantifiers;nl-semantics;}
  }

@article{ barwise:1981a1,
  author = {K. Jon Barwise},
  title = {Scenes and Other Situations},
  journal = {Journal of Philosophy},
  year = {1981},
  volume = {78},
  number = {7},
  pages = {369--397},
  rtnote = {In RHT collection.},
  xref = {Republication: barwise:1981a2.},
  topic = {situation-theory;logic-of-perception;}
  }

@incollection{ barwise:1981a2,
  author = {K. Jon Barwise},
  title = {Scenes and Other Situations},
  booktitle = {The Situation in Logic},
  publisher = {CSLI Publications},
  year = {1989},
  editor = {K. Jon Barwise},
  pages = {5--33},
  address = {Stanford, California},
  xref = {Republication of: barwise:1981a1.},
  topic = {situation-theory;logic-of-perception;}
  }

@unpublished{ barwise:1982a,
  author = {Jon Barwise},
  title = {Information and Semantics: Comments on Dretske's {\it
  	Knowledge and the Flow of Information}},
  year = {1982},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript, University of Wisconsin.},
  topic = {situation-semantics;information-flow-theory;
  		theories-of-information;}
  }

@article{ barwise:1983a,
  author = {Jon Barwise},
  title = {Information and Semantics},
  journal = {The Behavioral and Brain Sciences},
  year = {1983},
  volume = {6},
  rtnote = {Get this.},
  missinginfo = {number, pages.},
  topic = {nl-semantics;theories-of-information;foundations-of-semantics;}
  }

@incollection{ barwise:1983c,
  author = {K. Jon Barwise},
  title = {Introduction},
  booktitle = {The Situation in Logic},
  publisher = {CSLI Publications},
  year = {1983},
  editor = {K. Jon Barwise},
  pages = {xiii--xvi},
  address = {Stanford, California},
  topic = {situation-theory;logic-of-percception;}
  }

@incollection{ barwise:1983d,
  author = {K. Jon Barwise},
  title = {Appendix: Reply to {L}akoff},
  booktitle = {The Situation in Logic},
  publisher = {CSLI Publications},
  year = {1983},
  editor = {K. Jon Barwise},
  pages = {34--36},
  address = {Stanford, California},
  topic = {situation-theory;logic-of-perception;}
  }

@incollection{ barwise:1985a,
  author = {Jon Barwise},
  title = {Model-Theoretic Logics: Background and Aims},
  booktitle = {Model-Theoretic Logics},
  publisher = {Springer-Verlag},
  year = {1985},
  editor = {Jon Barwise and Solomon Feferman},
  pages = {3--23},
  address = {Berlin},
  topic = {model-theory;}
 }

@techreport{ barwise:1985b1,
  author = {K. Jon Barwise},
  title = {The Situation in Logic {II}:
  	Conditionals and Conditional Information},
  institution = {Center for the Study of Language and Information},
  number = {CSLI--85--21},
  year = {1985},
  address = {Stanford University, Stanford California.},
  rtnote = {In RHT collection.},
  xref = {Published version: barwise:1986a2.},
  topic = {conditionals;situation-theory;information-flow-theory;}
  }

@incollection{ barwise:1985b2,
  author = {K. Jon Barwise},
  title = {Conditionals and Conditional Information},
  booktitle = {On Conditionals},
  publisher = {Cambridge University Press},
  year = {1986},
  editor = {Elizabeth Traugott and Alice {ter Meulen} and Judy Reilly
  	and Charles Ferguson},
  pages = {21--54},
  address = {Cambridge, England},
  xref = {Tech Report version: barwise:1986a1.},
  topic = {conditionals;situation-theory;}
  }

@incollection{ barwise:1986a1,
  author = {K. Jon Barwise},
  title = {Conditionals and Conditional Information},
  booktitle = {On Conditionals},
  publisher = {Cambridge University Press},
  year = {1986},
  editor = {Elizabeth Traugott and Alice {ter Meulen} and Judy Reilly},
  pages = {21--54},
  address = {Cambridge, England},
  xref = {Republication: barwise:1986a2.},
  topic = {conditionals;situation-semantics;}
  }

@incollection{ barwise:1986a2,
  author = {K. Jon Barwise},
  title = {Conditionals and Conditional Information},
  booktitle = {The Situation in Logic},
  publisher = {CSLI Publications},
  year = {1989},
  editor = {K. Jon Barwise},
  pages = {97--135},
  address = {Stanford, California},
  xref = {Republication: barwise:1986a2.},
  topic = {conditionals;situation-semantics;}
  }

@article{ barwise:1986a,
  author = {Jon K. Barwise},
  title = {Review of \emph{{I}nquiry}, by {R}obert {C}. {S}talnaker},
  journal = {The Philosophical Review},
  year = {1986},
  volume = {95},
  number = {3},
  pages = {429--434},
  xref = {Review of stalnaker:1984a.},
  topic = {foundations-of-modality;propositional-attitudes;belief-revision;
		pragmatics;agent-attitudes;belief;}
  }

@incollection{ barwise:1986b2,
  author = {K. Jon Barwise},
  title = {Logic and Information},
  booktitle = {The Situation in Logic},
  publisher = {CSLI Publications},
  year = {1989},
  editor = {K. Jon Barwise},
  pages = {37--57},
  address = {Stanford, California},
  xref = {Republication of barwise:1986b1.},
  topic = {foundations-of-logic;situation-theory;}
  }

@inproceedings{ barwise:1988a,
 author = {K. Jon Barwise},
 title = {Three Views of Common Knowledge},
 booktitle = {Proceedings of the Second Conference on
		Theoretical Aspects of Reasoning about Knowledge},
 year = {1988},
 editor = {Moshe Y. Vardi},
 pages = {365--379},
 publisher = {Morgan Kaufmann},
 address = {Los Altos, California},
 topic = {mutual-belief;}
 }

@book{ barwise:1989a,
  editor = {K. Jon Barwise},
  title = {The Situation in Logic},
  publisher = {CSLI Publications},
  year = {1989},
  address = {Stanford, California},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  contentnote = {TC:
     1. K. Jon Barwise, "Introduction", pp. xiii--xvi
     2. K. Jon Barwise, "Scenes and Other Situations", pp. 5--33
     3. K. Jon Barwise, "Appendix: Reply to {L}akoff", pp. 34--36
     4. K. Jon Barwise, "Logic and Information", pp. 37--57
     5. K. Jon Barwise, "On the Circumstantial Relation between
     		Meaning and Content", pp. 59--77
     6. K. Jon Barwise, "Situations and Small Worlds", pp. 79--96
     7. K. Jon Barwise, "Conditionals and Conditional
     		Information", pp. 97--135
     8. K. Jon Barwise, "Information and Circumstance", pp. 137--154
     9. K. Jon Barwise, "Unburdening the Language of Thought", pp. 155--176
    10. K. Jon Barwise, "Situations, Sets and the Axiom of
     		Foundation", pp. 177--200
    11. K. Jon Barwise, "On the Model Theory of Common
    		Knowledge", pp. 201--220
    12. K. Jon Barwise, "Situations, Facts, and True
    		Propositions", pp. 221--254
    13. K. Jon Barwise, "Notes on the Branch Points in Situation
    		Theory", pp. 255--276
    14. K. Jon Barwise, "{AFA} and the Unification of
    		Information", pp. 277--283
    15. K. Jon Barwise, "Mixed Fixed Points", pp. 285--287
    16. K. Jon Barwise, "Situated Set Theory", pp. 289--292
    17. K. Jon Barwise, "Epilogue: Toward a Mathematical Theory
    		of Meaning", pp. 293--297
  },
  topic = {situation-theory;logic-of-perception;theories-of-information;}
 }

@incollection{ barwise:1989b,
  author = {K. Jon Barwise},
  title = {On the Circumstantial Relation between Meaning and
  	Content},
  booktitle = {The Situation in Logic},
  publisher = {CSLI Publications},
  year = {1989},
  editor = {K. Jon Barwise},
  pages = {59--77},
  address = {Stanford, California},
  topic = {foundations-of-semantics;situation-theory;}
  }

@incollection{ barwise:1989c,
  author = {K. Jon Barwise},
  title = {Situations and Small Worlds},
  booktitle = {The Situation in Logic},
  publisher = {CSLI Publications},
  year = {1989},
  editor = {K. Jon Barwise},
  pages = {79--96},
  address = {Stanford, California},
  topic = {foundations-of-semantics;situation-semantics;
  	possible-worlds-semantics;}
  }

@incollection{ barwise:1989d,
  author = {K. Jon Barwise},
  title = {Information and Circumstance},
  booktitle = {The Situation in Logic},
  publisher = {CSLI Publications},
  year = {1989},
  editor = {K. Jon Barwise},
  pages = {137--154},
  address = {Stanford, California},
  topic = {foundations-of-cognition;situation-theory;}
  }

@incollection{ barwise:1989e,
  author = {K. Jon Barwise},
  title = {Unburdening the Language of Thought},
  booktitle = {The Situation in Logic},
  publisher = {CSLI Publications},
  year = {1989},
  editor = {K. Jon Barwise},
  pages = {155--176},
  address = {Stanford, California},
  topic = {foundations-of-cognition;situation-theory;}
  }

@incollection{ barwise:1989f,
  author = {K. Jon Barwise},
  title

license: MIT

license_type: permissive

branch_name: refs/heads/master

gha_license_id: MIT

extension: bib