text:
F.M. Hunter},
  title = {Intending},
  publisher = {Dalhousie University Press},
  year = {1978},
  address = {Halifax},
  xref = {Review: davis_lh:1979a},
  topic = {intention;}
 }

@inproceedings{ hunter_l:1983a,
  author = {Lynne Hunter},
  title = {On Misapplying the Maxims:  A {G}ricean Look at Wit},
  booktitle = {Proceedings of the Nineteenth Regional Meeting of the
  	Chicago Linguistics Society},
  year = {1983},
  pages = {197--204},
  publisher = {Chicago Linguistics Society},
  address = {Chicago University, Chicago, Illinois},
  missinginfo = {editor},
  topic = {implicature;pragmatics;Grice;}
  }

@article{ huntley_k-long_jc:2005a,
  author = {Keith Huntley and Jeffrey C. Long},
  title = {Gene Flow across Linguistic Boundaries in native
  		{N}orth {A}merican Populations},
  journal = {Proceedings of the {N}ational {A}cademy of {S}ciences},
  year = {2005},
  volume = {102},
  number = {5},
  pages = {1312--1317},
  rtnote = {In RHT collection.},
  topic = {American-indian-populations;human-genetics;}
  }

@article{ huntley_m:1984a,
  author = {Martin Huntley},
  title = {The Semantics of {E}nglish Imperatives},
  journal = {Linguistics and Philosophy},
  year = {1984},
  volume = {7},
  number = {2},
  pages = {103--133},
  topic = {imperatives;nl-semantics;}
  }

@incollection{ hurewitz:1997a,
  author = {Felicia Hurewitz},
  title = {A Quantitative Look at Discourse Coherence"},
  booktitle = {Centering Theory in Discourse},
  publisher = {Oxford University Press},
  year = {1997},
  editor = {Marilyn A. Walker and Arivind K. Joshi and Ellen Prince},
  pages = {273--291},
  address = {Oxford},
  topic = {anaphora-resolution;discourse;pragmatics;
  	discourse-coherence;centering;}
  }

@article{ hurley:1991a,
  author = {Susan L. Hurley},
  title = {Newcomb's Problem, Prisoner's Dilemma, and Collective
  	Action},
  journal = {Synth\'ese},
  year = {1991},
  volume = {86},
  number = {2},
  pages = {173--196},
  topic = {Newcomb-problem;prisoner's-dilemma;}
  }

@article{ hurtig:2007a,
  author = {Kent Hurtig},
  title = {On \emph{Prima Facie} Obligations and Nonmonotonicity},
  journal = {Journal of Philosophical Logic},
  year = {2007},
  volume = {36},
  number = {5},
  pages = {599--604},
  topic = {deontic-logic;prima-facie-obligation;}
  }

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

@article{ hussak:2008a,
  author = {Walter Hussak},
  title = {Decidable Cases of First-order Temporal Logic with Functions},
  journal = {Studia Logica},
  year = {2008},
  volume = {88},
  number = {2},
  pages = {247--261},
  topic = {tense-logic;decidability;}
  }

@incollection{ hustadt:1995a,
  author = {Ullrich Hustadt},
  title = {Introducing Epistemic Operators into A Description Logic},
  booktitle = {Knowledge and Belief in Philosophy and Artificial
  	Intelligence},
  publisher = {Akedemie Verlag},
  year = {1995},
  editor = {Armin Laux and Heinrich Wansing},
  pages = {65--86},
  address = {Berlin},
  topic = {epistemic-logic;reasoning-about-knowledge;description-logics;
  	kr-course;}
  }

@article{ hustadt:2001a,
  author = {Ullrich Hustadt},
  title = {Review of \emph{{T}emporal Logic: Mathematical Foundations
  		and Computational Aspects, Volume 2}, by {D}ov {M}.
		Gabbay and {M}ark {A}. {R}eynolds and {M}arcelo {F}inger},
  journal = {Journal of Logic, Language, and Information},
  year = {2001},
  volume = {10},
  number = {3},
  pages = {406--410},
  xref = {Review of gabbay-etal:2000a.},
  topic = {temporal-logic;}
  }

@incollection{ hustadt-etal:2004a,
  author = {Ullrich Hustadt and Boris Motik and Ulrike Sattler},
  title = {Reducing ${\cal SHIQ}^-$ Description Logic to Disjunctive
  		Datalog Programs},
  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 = {152--162},
  address = {Menlo Park, California},
  topic = {description-logics;disjunctive-logic-programming;datalog;}
  }

@incollection{ hustadt-schmidt_ra:2002a,
  author = {Ullrich Hustadt and Renate A. Schmidt},
  title = {Scientific Benchmarking with Temporal Logic Decision
  	Procedures},
  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 = {533--544},
  address = {San Francisco, California},
  topic = {kr;temporal-logic;}
  }

@unpublished{ hutchens:1996a,
  author = {Jason L. Hutchens},
  title = {How to Pass the {T}uring Test by Cheating},
  year = {1996},
  note = {Available at http://clips.ee.uwa.edu.au/Papers/},
  rtnote = {In RHT collection.},
  topic = {Turing-test;}
  }

@incollection{ hutchens-alder:1998a,
  author = {Jason L. Hutchens and Michael D. Alder},
  title = {Finding Structure Via Compression},
  booktitle = {Proceedings of the Joint Conference on New Methods in
  	Language Processing and Computational Natural Language
	Learning: {NeMLaP3/CoNLL98}},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {David M.W. Powers},
  pages = {79--82},
  address = {Somerset, New Jersey},
  topic = {statistical-nlp;word-sequence-probabilities;machine-learning;
		n-gram-models;}
  }

@book{ hutcheon:1995a,
  author = {Linda Hutcheon},
  title = {Irony's Edge: The Theory and Politics of Irony},
  publisher = {Routledge},
  year = {1995},
  address = {London},
  rtnote = {UMich Graduate Library PN 56 .I65 H881 1994},
  topic = {irony;literary-=criticism;}
 }

@incollection{ hutchins_e:1991a,
  author = {Edwin Hutchins},
  title = {The Social Organization of Distributed Cognition},
  booktitle = {Perspectives on Socially Shared Cognition},
  publisher = {American Psychological Association},
  year = {1991},
  editor = {Lauren B. Resnick and John M. Levine and
  	Stephanie D. Teasley},
  pages = {283--207},
  address = {Washington, D.C.},
  topic = {social-psychology;shared-cognition;}
  }

@book{ hutchins_wj:2000a,
  editor = {W. John Hutchins},
  title = {Early Years in Machine Translation:
  	Memoirs and Biographies of Pioneers},
  publisher = {John Benjamins},
  year = {2000},
  address = {Amsterdam},
  ISBN = {1-58811-013-3},
  xref = {Review: plath:2002a.},
  topic = {machine-translation;history-of-AI;}
 }

@book{ hutchins_wj-somers_hl:1992a,
  author = {W. John Hutchins and Harold L. Somers},
  title = {An Introduction to Machine Translation},
  publisher = {Academic Press},
  year = {1992},
  address = {New York},
  ISBN = {0-123-62830-X},
  topic = {machine-translation;nlp-intro;}
 }

@book{ hutchinson_a:1994a,
  author = {Alan Hutchinson},
  title = {Algorithmic Learning},
  publisher = {Oxford University Press},
  year = {1994},
  address = {Oxford},
  ISBN = {0198538480 (pbk.)},
  rtnote = {UMich Media Union Library, Q 325.5 .H881 1994.},
  topic = {machine-learning;}
 }

@inproceedings{ hutchinson_b:2005a,
  author = {Ben Hutchinson},
  title = {Modelling the Substitutability of Discourse Connectives},
  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 = {149--156},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1019},
  topic = {discourse-connectives;corpus-statisticscorpus-linguistics;}
  }

@incollection{ hutchinson_l:1974a,
  author = {Larry Hutchinson},
  title = {Grammar as Theory},
  booktitle = {Explaining Linguistic Phenomena},
  publisher = {Hemisphere Publishing Corp.},
  year = {1974},
  editor = {David Cohen},
  pages = {43--73},
  address = {Washington, DC},
  topic = {philosophy-of-linguistics;psychological-reality;}
  }

@book{ huth-ryan:2000a,
  author = {Michael R.A. Huth and Mark D. Ryan},
  title = {Logic in Computer Science: Modelling and Reasoning about
  	Systems},
  publisher = {Cambridge University Press},
  year = {2000},
  address = {Cambridge, England},
  contentnote = {TC:
  	1.  Propositional logic
        2.  Predicate logic
        3.  Verification by model checking
        4.  Program verification
        5.  Modal logics and agents
        6.  Binary decision diagrams
   },
  ISBN = {Hardback:  ISBN 0521652006, Paperback: ISBN 0521656028.},
  contentnote = {"The book is intended as an undergraduate text book
    in logic applications in computer science."},
  rtnote = {UMich Media Union Library, QA 76.9 .L63 H881 2000.},
  rtnote = {In RHT Collection.  CS General shelves.},
  topic = {logic-in-CS;logic-in-CS-intro;}
 }

@book{ huth-ryan:2004a,
  editor = {Michael Huth and Mark Ryan},
  edition = {2},
  title = {Logic in Computer Science:  Modelling and Reasoning
  		about Systems},
  publisher = {Cambridge University Press},
  year = {2004},
  address = {Cambridge, England},
  ISBN = {0-521-54310-X},
  xref = {Review: goranko:2007a},
  topic = {logic-in-CS;program-verification;temporal-logic;}
 }

@article{ huttemann:1998a,
  author = {Andreas H\"uttemann},
  title = {Laws and Dispositions},
  journal = {Philosophy of Science},
  year = {1998},
  volume = {65},
  number = {1},
  pages = {121--135},
  topic = {dispositions;philosophy-of-physics;conditionals;}
  }

@book{ hutter:2004a,
  author = {Marcus Hutter},
  title = {Universal Artificial Intelligence},
  publisher = {Springer-Verlag},
  year = {2004},
  address = {Berlin},
  xref = {Review: oates-chong_ww:2006a.},
  topic = {foundations-of-AI;machine-learning;}
 }

@article{ hutton:1976a,
  author = {Anthony Hutton},
  title = {This {G}\"odel is Killing Me},
  journal = {Philosophia},
  year = {1976},
  volume = {6},
  number = {1},
  pages = {135--144},
  xref = {Reply: lucas_jr:1976a},
  topic = {philosophy-of-computation;goedels-first-theorem;}
  }

@incollection{ hwa_r:2000a,
  author = {Rebecca Hwa},
  title = {Sample Selection for Statistical Grammar Induction},
  booktitle = {Proceedings of the 2000 Joint {SIGDAT} Conference
  	on Empirical Methods in Natural Language Processing},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  editor = {Hinrich Sch\"utze and Keh-Yih Su},
  pages = {45--53},
  address = {Somerset, New Jersey},
  topic = {grammar-learning;}
  }

@article{ hwa_r:2004a,
  author = {Rebecca Hwa},
  title = {Sample Selection for Statistical Parsing},
  journal = {Computational Linguistics},
  year = {2004},
  volume = {30},
  number = {3},
  pages = {253--277},
  topic = {grammar-learning;statistical-parsing;}
  }

@incollection{ hwang_ch-schubert:1993a,
   author = {Chung Hee Hwang and Lenhart Schubert},
   title = {Episodic Logic: A Situational Logic for Natural Language
   	Processing},
   booktitle = {Situation Theory and its Applications},
   publisher = {Center for the Study of Language and Information},
   year = {1993},
   editor = {Stanley Peters and David J. Israel and Peter Aczel and
 	Yasuhiro Katagiri},
   address = {Stanford, California},
   missinginfo = {pages},
   rtnote = {What is the volume???},
   topic = {events;nl-semantics;event-semantics;}
  }

@book{ hwang_sjj-merrifield:1992a,
  editor = {Shin Ja J. Hwang and William R. Merrifield},
  title = {Language in Context: {E}ssays for {R}obert {E}. {L}ongacre},
  publisher = {Summer Institute of Linguistics},
  year = {1992},
  address = {Dallas},
  ISBN = {0883121832},
  rtnote = {UMich Graduate Library, 805 O42Li no.107.},
  topic = {discourse-analysis;}
 }

@inproceedings{ hwang_ys-sasaki_y:2005a,
  author = {Young-Sook Hwang and Yutaka Sasaki},
  title = {Context-Dependent {SMT} Model using Bilingual Verb-Noun
  		Collocation},
  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 = {549--556},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1068},
  topic = {statistical-nlp;machine-translation;}
  }

@article{ hyde:1994a,
  author = {Dominic Hyde},
  title = {Why Higher-Order Vagueness is a Pseudo-Problem},
  journal = {Mind, New Series},
  year = {1994},
  volume = {103},
  number = {409},
  pages = {35--41},
  topic = {vagueness;}
  }

@article{ hyde:1997a,
  author = {Dominic Hyde},
  title = {From Heaps and Gaps to Heaps of Gluts},
  journal = {Mind, New Series},
  year = {1997},
  volume = {106},
  number = {424},
  pages = {641--660},
  topic = {vagueness;sorites-paradox;}
  }

@article{ hyde:2001a,
  author = {Dominic Hyde},
  title = {Review of \emph{{V}agueness: A Reader}, edited by
  	{R}osanna {K}eefe and {P}eter {S}mith},
  journal = {Studia Logica},
  year = {2001},
  volume = {67},
  number = {1},
  pages = {120--122},
  xref = {Review of keefe-smith_p:1997a.},
  topic = {vagueness;}
  }

@book{ hyde:2002a,
  author = {Dominic Hyde},
  title = {Being Coherently Vague},
  publisher = {Ashgate Publishing Co.},
  year = {2002},
  address = {Brookfield, Vermont},
  ISBN = {0 7546 1532 4},
  topic = {vagueness;}
 }

@book{ hylton:1990a,
  author = {Peter Hylton},
  title = {Russell, Idealism, and tbe Emergence of Analytic Philosophy},
  publisher = {Oxford University Press},
  year = {1990},
  address = {Oxford},
  topic = {Russell;analytic-philosophy;history-of-logic;
  	history-of-philosophy;}
 }

@book{ hymes:1974a,
  author = {Dale Hymes},
  title = {Foundations in Sociolinguistics: An Ethnographic Approach},
  publisher = {University of Pennsylvania Press},
  year = {1974},
  address = {Philadelphia},
  rtnote = {pragmatics-course;},
  topic = {sociolinguistics;pragmatics;}
 }

@article{ hyttinen-sandu:2000a,
  author = {Tapani Hyttinen and Gabriel Sandu},
  title = {Henkin Quantifiers and the Definability of Truth},
  journal = {Journal of Philosophical Logic},
  year = {2000},
  volume = {29},
  number = {5},
  pages = {507--527},
  topic = {game-theoretic-semantics;branching-quantifiers;}
  }

@article{ iatridou:1993a,
  author = {Sabine Iatridou},
  title = {On the Contribution of Conditional {\it Then\/}},
  journal = {Natural Language Semantics},
  year = {1993--1994},
  volume = {2},
  number = {3},
  pages = {171--199},
  topic = {nl-semantics;conditionals;}
  }

@article{ iatridou:1994a,
  author = {Sabine Iatridou},
  title = {On the Contribution of Conditional `Then'},
  journal = {Natural Language Semantics},
  year = {1994},
  volume = {2},
  number = {3},
  pages = {171--199},
  topic = {conditionals;nl-semantics;}
  }

@article{ iatridou:2000a,
  author = {Sabine Iatridou},
  title = {The Grammatical Ingredients of Counterfactuality},
  journal = {Linguistic Inquiry},
  year = {2000},
  volume = {31},
  number = {2},
  pages = {231--270},
  topic = {conditionals;nl-syntax;nl-mood;subjunctive-mood;}
  }

@article{ iatridou-varlokosta:1997a,
  author = {Sabine Iatridou and Spyridoula Varlokosta},
  title = {Pseudoclefts Crosslinguistically},
  journal = {Natural Language Semantics},
  year = {1997},
  volume = {6},
  number = {1},
  pages = {3--28},
  topic = {cleft-constructions;universal-grammar;}
  }

@article{ ibaraki:1986a,
  author = {Toshihide Ibaraki},
  title = {Generalization of Alpha-Beta and {SSS}* Search
  	Procedures},
  journal = {Artificial Intelligence},
  year = {1986},
  volume = {29},
  number = {1},
  pages = {73--117},
  topic = {search;}
  }

@article{ ibaraki-etal:1999a,
  author = {Toshihide Ibaraki and Alexander Kogan and Kazuhisa
  	Makino},
  title = {Functional Dependencies in {H}orn Theories},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {108},
  number = {1--2},
  pages = {1--30},
  topic = {Horn-theories;functional-dependencies;}
  }

@article{ ibaraki-etal:2001a,
  author = {Toshihide Ibaraki and Alexander Kogan and Kazuhisa
  	Makino},
  title = {On Functional Dependencies in Q-Horn Theories},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {131},
  number = {1--2},
  pages = {171--187},
  topic = {Horn-theories;complexity-in-AI;}
  }

@article{ ibens:2002a,
  author = {Ostrun Ibens},
  title = {Connection Tableau Calculi with Disjunctive Constraints},
  journal = {Studia Logica},
  year = {2002},
  volume = {70},
  number = {2},
  pages = {241--270},
  topic = {semantic-tableaux;theorem-proving;}
  }

@incollection{ ichikawa-etal:1999a,
  author = {A. Ichikawa and M. Araki and Y. Horiuchi and M. Ishizaki
     		and S. Itabashi and T. Itoh and H. Kashioka and
		K. Kato and H. Kikuchi and H. Koiso and T. Kumagai
		and A. Kurematsu and K. Maekawa and S. Nakazato and
		M. Tamoto and S. Tutiya and Y. Yamashita and
		T. Yoshimura},
  title = {Evaluation of Annotation Schemes for
		{J}apanese Discourse},
  booktitle = {Towards Standards and Tools for Discourse Tagging:
  	Proceedings of the Workshop},
  publisher = {Association for Computational Linguistics},
  year = {1999},
  editor = {Marilyn Walker},
  pages = {26--34},
  address = {Somerset, New Jersey},
  topic = {discourse-tagging;corpus-linguistics;Japanese-language;}
  }

@article{ ide:1998a,
  author = {Nancy Ide},
  title = {Review of \emph{{T}ext Databases: One Database Model
  	and Several Retrieval Languages}, by {C}rist-{J}an {D}oedens},
  journal = {Computational Linguistics},
  year = {1998},
  volume = {24},
  number = {2},
  pages = {319--321},
  topic = {textual-databases;}
  }

@incollection{ ide-etal:1994a,
  author = {Nancy Ide and Jacques Le Maitre and Jean V\'eronis},
  title = {Outline of a Model for Lexical Databases},
  booktitle = {Current Issues in Computational Linguistics: Essays in
  	Honour of {D}on {W}alker},
  publisher = {Giardini Editori e Stampatori and Kluwer Academic
  	Publishers},
  year = {1994},
  editor = {Antonio Zampolli and Nicoletta Calzolari and Martha Palmer},
  pages = {283--320},
  address = {Pisa and Dordrecht},
  topic = {computational-lexicography;}
  }

@article{ ide-veronis:1998a,
  author = {Nancy Ide and Jean Veronis},
  title = {Introduction to the Special Issue on Word Sense
  	Disambiguation: The State of the Art},
  journal = {Computational Linguistics},
  year = {1998},
  volume = {24},
  number = {1},
  pages = {1--40},
  topic = {lexical-disambiguation;}
  }

@article{ idsardi:2006a,
  author = {William J. Idsardi},
  title = {Three Books on Language:  Pro-{N}oam, Anti-{N}oam, Net-{N}oam},
  journal = {Artificial Intelligence},
  year = {2006},
  volume = {170},
  number = {18},
  pages = {1234--1236},
  xref = {Review of: smolensky-legendre:2006a, smolensky-legendre:2006b,
  	yang_c:2006a, feldman_ja:2006a},
  topic = {foundations-of-grammar;neural-computation;minimalist-syntax;
  	universal-grammar;optimality-theory;}
  }

@article{ idsardi:2007a,
  author = {William J. Idsardi},
  title = {A Simple Proof that Optimality Theory is Computationally
  		Intractible},
  journal = {Linguistic Inquiry},
  year = {2006},
  volume = {37},
  number = {2},
  pages = {271--274},
  topic = {optimality-theory;complexity-in-linguistics;}
  }

@article{ iemhoff:2001a,
  author = {Rosalie Iemhoff},
  title = {On the Admissible Rules of Intuitionistic Propositional
  	Logic},
  journal = {Journal of Symbolic Logic},
  year = {2001},
  volume = {66},
  number = {1},
  pages = {281--294},
  topic = {intuitionistic-logic;admissible-rules;}
  }

@article{ iemhoff:2002a,
  author = {Rosalie Iemhoff},
  title = {Review of \emph{{S}ubmodels of {K}ripke Models}, by {A}lbert
  	{V}isser},
  journal = {The Bulletin of Symbolic Logic},
  year = {2002},
  volume = {8},
  number = {3},
  pages = {440--441},
  xref = {Review of: visser_a:2001a},
  topic = {model-theory;intuitionistic-mathematics;}
  }

@article{ ihde:2004a,
  author = {Don Ihde},
  title = {Has the Philosophy of Technology Arrived?  A
  		State-of-the-Art Review},
  journal = {Philosophy of Science},
  year = {2004},
  volume = {71},
  number = {1},
  pages = {117--131},
  topic = {philosophy-of-technology;}
  }

@article{ ihrig:1965a,
  author = {A.H. Ihrig},
  title = {Remarks on Logical Necessity and Future Contingencies},
  journal = {Mind, New Series},
  year = {1965},
  volume = {75},
  pages = {215--228},
  acontentnote = {Abstract:
     The author states that the purpose of his paper is to examine
     the problems involved in the question: does the logical
     necessity of $p \vee \mboox{Not}p$ imply that future events are
     necessary?  Since the question seems to be derived, at least
     partially, from Chapter 9 of Aristotle's "De Interpretatione",
     he also examines how or when these problems appear in
     Aristotle's discussion and what his attitude seems to have been
     toward them.  The first part of the paper is devoted to the
     general problems with occasional reference to Aristotle and the
     last part more specifically looks at some of Aristotle's ideas
     in the light of the previous discussion.
  },
 topic = {Aristotle;future-contingent-propositions;}
  }

@article{ iida_h-etal:2002a,
  author = {Hioryuki Iida and Makoto Sakuta and Jeff Rollason},
  title = {Computer Shogi},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {134},
  number = {1--2},
  pages = {121--144},
  topic = {computer-games;search;}
  }

@incollection{ iida_m:1997a,
  author = {Masayo Iida},
  title = {Discourse Coherence and Shifting Centers in
		{J}apanese Texts},
  booktitle = {Centering Theory in Discourse},
  publisher = {Oxford University Press},
  year = {1997},
  editor = {Marilyn A. Walker and Arivind K. Joshi and Ellen Prince},
  pages = {161--180},
  address = {Oxford},
  topic = {anaphora-resolution;discourse;pragmatics;Japanese-language;
  	centering;}
  }

@article{ ikeuchi:1984a,
  author = {Katsushi Ikeuchi},
  title = {Shape from Regular Patterns},
  journal = {Artificial Intelligence},
  year = {1984},
  volume = {22},
  number = {1},
  pages = {49--75},
  topic = {shape-recognition;computer-vision;}
  }

@article{ ikeuchi:1993a,
  author = {Katsushi Ikeuchi},
  title = {Comment on `Numerical Shape from Shading and
  	Occluding Boundaries'},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {59},
  number = {1--2},
  pages = {89--94},
  topic = {computer-vision;}
  }

@article{ ikeuchi-horn_kp:1981a,
  author = {Katsushi Ikeuchi and Berthold K.P. Horn},
  title = {Numerical Shape from Shading and Occluding Boundaries},
  journal = {Artificial Intelligence},
  year = {1981},
  volume = {17},
  number = {1--3},
  pages = {141--184},
  acontentnote = {Abstract:
     An iterative method for computing shape from shading using
     occluding boundary information is proposed.  Some applications of
     this method are shown.
      We employ the stereographic plane to express the orientations
     of surface patches, rather than the more commonly used gradient
     space.  Use of the stereographic plane makes it possible to
     incorporate occluding boundary information, but forces us to
     employ a smoothness constraint different from the one previously
     proposed.  The new constraint follows directly from a particular
     definition of surface smoothness.
      We solve the set of equations arising from the smoothness
     constraints and the image-irradiance equation iteratively, using
     occluding boundary information to supply boundary conditions.
     Good initial values are found at certain points to help reduce
     the number of iterations required to reach a reasonable
     solution.  Numerical experiments show that the method is
     effective and robust.  Finally, we analyze scanning electron
     microscope (SEM) pictures using this method.  Other applications
     are also proposed.},
  topic = {shape-recognition;}
  }

@incollection{ imai-tanaka_h:1998a,
  author = {Hiroki Imai and Hozumi Tanaka},
  title = {A Method of Incorporating Bigram Constraints into an
  		{LR} Table and its Effectiveness in Natural Language
		Processing},
  booktitle = {Proceedings of the Joint Conference on New Methods in
  	Language Processing and Computational Language Learning},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {David M.W. Powers},
  pages = {225--233},
  address = {Somerset, New Jersey},
  topic = {n-gram-models;}
  }

@article{ imielinski:1987a,
  author = {Tomasz Imielinski},
  title = {Results on Translating Defaults to Circumscription},
  journal = {Artificial Intelligence},
  year = {1987},
  volume = {32},
  number = {1},
  pages = {131--146},
  topic = {nonmonotonic-logic;default-logic;circumscription;}
  }

@book{ ince:1992a,
  editor = {A. Nejat Ince},
  title = {Digital Speech Processing: Speech Coding,
   Synthesis, and Recognition},
  publisher = {Kluwer Academic Publishers},
  year = {1992},
  address = {Dordrecht},
  topic = {speech-recognition;speech-generation;}
 }

@article{ indrzejczak:2003a,
  author = {Andrzej Indrzejczak},
  title = {A Labelled Natural Deduction System for Liner Temporal Logic},
  journal = {Studia Logica},
  year = {2003},
  volume = {75},
  number = {3},
  pages = {345--376},
  topic = {proof-theory;temporal-logic;}
  }

@article{ infantelopez:2005a,
  author = {Gabriele Infante-Lopez},
  title = {Review of \emph{{H}andbook of Formal Languages, Volumes 1--3},
  		edited by {G}rzegorz {R}ozenberg and {A}rto {S}alomaa},
  journal = {Journal of Logic, Language, and Information},
  year = {2005},
  volume = {14},
  number = {4},
  pages = {457--465},
  xref = {Review of: rozenberg-salomaa:1997a, rozenberg-salomaa:1997b,
  	rozenberg-salomaa:1997c.},
  topic = {formal-language-theory;}
  }

@article{ infantelopez-derijke:2006a,
  author = {Gabriel Infante-Lopez and Maarten de Rijke},
  title = {A Note on the Expressive Power of Probabilistic Context-Free
  		Grammars},
  journal = {Journal of Logic, Language, and Information},
  year = {2006},
  volume = {15},
  number = {3},
  pages = {219--231},
  topic = {probabilistic-grammars;decidability;}
  }

@incollection{ ingria-george_l:1993a,
  author = {Robert Ingria and Leland George},
  title = {Adjectives, Nominals and the Status of Arguments},
  booktitle = {Semantics and the Lexicon},
  publisher = {Kluwer Academic Publishers},
  year = {1993},
  editor = {James Pustejovsky},
  pages = {107--125},
  address = {Dordrecht},
  topic = {argument-structure;computational-lexical-semantics;}
  }

@book{ ingve:1996a,
  author = {Victor Ingve},
  title = {From Grammar to Science: New Foundations for General
  	Linguistics},
  publisher = {John Benjamins Publishing Co.},
  year = {1996},
  address = {Amsterdam},
  xref = {Review: sampson_g:1998a.},
  topic = {empirical-methods-in-cogsci;foundations-of-linguistics;
  	philosophy-of-linguistics;}
 }

@article{ inkpen-hurst_g:2006a,
  author = {Diana Inkpen and Graeme Hurst},
  title = {Building and Using a Lexical Knowledge Base of Near-Synonym
  		Differences},
  journal = {Computational Linguistics},
  year = {2006},
  volume = {32},
  number = {2},
  pages = {223--262},
  topic = {computational-lexicography;computational-semantics;synonymy;}
  }

@article{ inoue_k1:1979a,
  author = {K. Inoue},
  title = {An Analysis of the {E}nglish Present	Perfect},
  journal = {Language},
  year = {1979},
  volume = {17},
  pages = {561--590},
  missinginfo = {number},
  contentnote = {This may be the original reference for the point
		about "present relevance" of English perfective
		aspect.  "I have lost my watch. #But I have found it."
		See steedman:1998a, p. 5.},
  rtnote = {Query: same Inoue as next entry?},
  topic = {tense-aspect;perfective-aspect;}
  }

@article{ inoue_k2:1992a,
  author = {Katsumi Inoue},
  title = {Linear Resolution for Consequence Finding},
  journal = {Artificial Intelligence},
  year = {1992},
  volume = {56},
  number = {2--3},
  pages = {301--353},
  acontentnote = {Abstract:
     In this paper, we re-evaluate the consequence finding problem
     within first-order logic.  Firstly, consequence finding is
     generalized to the problem in which only interesting clauses
     having a certain property (called characteristic clauses) should
     be found.  The use of characteristic clauses enables
     characterization of various reasoning problems of interest to
     AI, including abduction, nonmonotonic reasoning, prime
     implicates and truth maintenance systems.  Secondly, an extension
     of the Model Elimination theorem proving procedure
     (SOL-resolution) is presented, providing an effective mechanism
     complete for finding the characteristic clauses.  An important
     feature of SOL-resolution is that it constructs such a subset of
     consequences directly without testing each generated clause for
     the required property.  We also discuss efficient but incomplete
     variations of SOL-resolution and their properties, which address
     finding the most specific and the least specific abductive
     explanations.  },
  topic = {theorem-proving;resolution;nonmonotonic-reasoning;
  	truth-maintenance;}
  }

@inproceedings{ inoue_k2-sakama:1995a,
  author = {Katsumi Inoue and Chiaki Sakama},
  title = {Abductive Framework for Theory Change},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {204--210},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  rtnote = {In RHT collection.},
  topic = {abduction;belief-revision;}
 }

@incollection{ inoue_k2-sakama:1998a,
  author = {Katsumi Inoue and Chiaki Sakama},
  title = {Specifying Transactions for Extended Abduction},
  booktitle = {{KR}'98: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1998},
  editor = {Anthony G. Cohn and Lenhart Schubert and Stuart C.
		Shapiro},
  pages = {394--405},
  address = {San Francisco, California},
  topic = {kr;abduction;kr-course;}
  }

@incollection{ inoue_k3-sakama:1994a,
  author = {Kausumo Inoue and Chiaki Sakama},
  title = {On Positive Occurrences of Negation as Failure},
  booktitle = {{KR}'94: Principles of Knowledge Representation and
		Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
  pages = {293--304},
  address = {San Francisco, California},
  topic = {kr;negation-as-failure;kr-course;}
  }

@incollection{ inui_k-etal:1992a,
  author = {Kentaro Inui and Takenobu Tokunaga and Hozumi Tanaka},
  title = {Text Revision: A Model and its Implementation},
  booktitle = {Aspects of Automated Natural Language Generation: 6th
    International Workshop on Natural Language Generation, {T}rento,
    {I}taly, April 5--7, 1992},
  publisher = {Springer-Verlag},
  year = {1992},
  editor = {Robert Dale and Eduard Hovy and Dietmar R\"ossner and
  	Oliviero Stock},
  pages = {215--230},
  address = {Berlin},
  rtnote = {In RHT collection.},
  topic = {nl-generation;text-revision;}
  }

@incollection{ inui_n-etal:2003a,
  author = {Nobio Inui and Takuya Koiso and Junpei Nakamura and Yoshiyuki
    		Kotani},
  title = {Fully Corpus-Based Natural Language Dialogue System},
  booktitle = {Working Papers of the 2003 {AAAI} Spring Symposium on
  	Natural Language Generation in Spoken and Written
	Dialogue},
  publisher = {AAAI Press},
  year = {2003},
  editor = {Reva Freedman and Charles Callaway},
  pages = {58--64},
  address = {Menlo Park, California},
  topic = {nl-generation;computational-dialogue;}
  }

@article{ inwood:1994a,
  author = {Brad Inwood},
  title = {Review of \emph{{M}ind and Imagination in {A}ristotle}, by
  	{M}ichael {V}. {W}edin},
  journal = {No\^us},
  year = {1994},
  volume = {28},
  number = {1},
  xref = {Review of: wedin:1988a},
  pages = {414--416},
  topic = {Aristotle;philosophy-of-mind;}
  }

@article{ inza-etal:2000a,
  author = {I. Inza  and P. Larra\~naga and R. Etxeberria and B. Sierra},
  title = {Feature Subset Selection by {B}ayesian Network-Based
  	Optimization},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {123},
  number = {1--2},
  pages = {157--184},
  topic = {Bayesian-networks;}
  }

@inproceedings{ iocchi-etal:2000a,
  author = {Luca Iocchi and Daniele Nardi and Riccardo Rosati},
  title = {Planning with Sensing, Concurrency, and Exogenous
  	Events: Logical Framework and Implementation},
  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 = {678--689},
  topic = {planning-formalisms;sensing-actions;model-checking;}
  }

@article{ ionin:2006a,
  author = {Tania Ionin},
  title = {\emph{This} is Definitely Specific:  Specificity and
  		Definiteness in Article Systems},
  journal = {Natural Language Semantics},
  year = {2006},
  volume = {14},
  number = {2},
  pages = {175--234},
  topic = {nl-semantics;pragmatics;specificity;definiteness;}
  }

@incollection{ iordanskaja-etal:1991a,
  author = {Lidija Iordanskaja and Richard Kittredge and Alain
    		Polguere},
  title = {Lexical Selection and Paraphrase in a Meaning-Text
  		Generation Model},
  booktitle = {Natural Language Generation in Artificial Intelligence and
  	Computational Linguistics},
  publisher = {Kluwer Academic Publishers},
  address = {Dordrecht},
  year = {1991},
  editor = {C\'{e}cile L. Paris and William R. Swartout
  	and William C. Mann},
  pages = {293--312},
  topic = {nl-generation;paraphrasing;lexical-choice;}
  }

@phdthesis{ ioup:1975a,
  author = {Georgette L. Ioup},
  title = {The Treatment of Quantifier Scope in a Transformational
  	Grammar},
  school = {New York University},
  year = {1975},
  type = {Ph.{D}. Dissertation},
  address = {New York},
  missinginfo = {A's 1st name, Department},
  topic = {nl-quantifiers;nl-quantifier-scope;}
 }

@article{ ioup:1977a,
  author = {Georgette Ioup},
  title = {Specificity and the Interpretation of Quantifiers},
  journal = {Linguistics and Philosophy},
  year = {1977},
  volume = {1},
  number = {2},
  pages = {233--245},
  topic = {specificity;nl-quantifiers;}
  }

@inproceedings{ ippolito:1991a,
  author = {Michela Ippolito},
  title = {Remarks on Only},
  booktitle = {Proceedings from Semantics and Linguistic Theory {XVI}},
  year = {1991},
  editor = {Masayuki Gibson and Jonathan Howell},
  publisher = {CLC Publications},
  address = {Ithaca, New York},
  url = {http://research.nii.ac.jp/salt16/proceedings/Ippolito.pdf},
  topic = {`only';nl-semantics;presupposition;}
  }

@phdthesis{ ippolito:2002a,
  author = {Michaela Ippolito},
  title = {The Time of Possibilities. Truth and Felicity of Subjunctive
  		Conditionals},
  school = {Linguistics Department, MIT},
  year = {2002},
  type = {Ph.D. Dissertation},
  address = {Cambridge, Massachusetts},
  rtnote = {In RHT collection. LLP single author shelves.},
  topic = {conditionals;nl-tense;nl-mood;subjunctive-mood;}
 }

@article{ ippolito:2003a,
  author = {Michaela Ippolito},
  title = {Presuppositions and Implicatures in Counterfactuals},
  journal = {Natural Language Semantics},
  year = {2003},
  volume = {11},
  number = {2},
  pages = {145--186},
  rtnote = {In RHT collection.},
  topic = {presupposition;implicature;conditionals;}
  }

@unpublished{ ippolito:2005a,
  author = {Michela Ippolito},
  title = {The \emph{Only} Implicature},
  year = {2005},
  note = {Unpublished manuscript, Boston University},
  rtnote = {In RHT collection.},
  rtnote = {Presented at LPW.},
  topic = {`only';implicature;presupposition;pragmatics;}
  }

@article{ ippolito:2006a,
  author = {Michela Ippolito},
  title = {Semantic Composition and Presupposition Projection in
  		Subjunctive Conditionals},
  journal = {Linguistics and Philosophy},
  year = {2006},
  volume = {29},
  number = {6},
  pages = {631--672},
  topic = {conditionals;subjunctive-mood;presupposition;}
  }

@article{ ippolito:2007a,
  author = {Michela Ippolito},
  title = {On the Meaning of Some Focus-Related Particles},
  journal = {Natural Language Semantics},
  year = {2007},
  volume = {15},
  number = {1},
  pages = {1--34},
  topic = {focus;presupposition;`still';`already';}
  }

@article{ isaacs_t:2005a,
  author = {Tracy Isaacs},
  title = {Review of \emph{{A}ction and Its Explanation}, by
  		{D}avid-{H}illel {R}uben},
  journal = {The Philosophical Review},
  year = {2005},
  volume = {114},
  number = {1},
  pages = {128--130},
  xref = {Review of: ruben_dh:2003a},
  topic = {philosophy-of-action;explanation;}
  }

@article{ isac:2007a,
  author = {Daniela Isac},
  title = {In Defense of a Quantificational Account of Definite {DP}s},
  journal = {Linguistic Inquiry},
  year = {2006},
  volume = {37},
  number = {2},
  pages = {275--288},
  topic = {definiteness;nl-semantics;}
  }

@incollection{ isard:1975a,
  author = {Stephen Isard},
  title = {Changing the Context},
  booktitle = {Formal Semantics of Natural Language},
  publisher = {Cambridge University Press},
  year = {1975},
  editor = {Edward L. Keenan},
  pages = {287--296},
  address = {Cambridge, England},
  topic = {context;indexicals;}
  }

@article{ isasi-etal:2002a,
  author = {Ricardo Aler and Daniel Borrajo and Pedro Isasi},
  title = {Using Genetic Programming to Learn and Improve Knowledge},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {141},
  number = {1--2},
  pages = {29--56},
  topic = {genetic-programming;}
  }

@incollection{ ishida_y:1989a,
  author = {Yoshiteru Ishida},
  title = {A Framework for Dynamic Representation of Knowledge:  A
  	Minimum Principle in Organizing Knowledge Representation},
  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 = {170--179},
  address = {San Mateo, California},
  topic = {kr;kr-course;case-based-reasoning;memory-models;}
  }

@incollection{ ishiguro_h1:1979a,
  author = {Hid\'e Ishiguro},
  title = {Contingent Truths and Possible Worlds},
  booktitle = {Midwest Studies in Philosophy Volume {V}:
  	Studies in Metaphysics},
  publisher = {University of Minnesota Press},
  year = {1979},
  editor = {Peter A. French and Theodore E. {Uehling, Jr.} and Howard K.
  	Wettstein},
  pages = {357--367},
  address = {Minneapolis},
  topic = {Leibniz;philosophy-of-possible-worlds;}
  }

@inproceedings{ ishiguro_h2:1997a,
  author = {Hiroshi Ishiguro},
  title = {Distributed Vision System: A Perceptual Information
  		Information Structure for Robot Navigation},
  booktitle = {Proceedings of the Fifteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1997},
  editor = {Martha Pollack},
  pages = {36--41},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  rtnote = {In RHT collection.},
  topic = {robot-navigation;computer-vision;}
  }

@article{ ishikawa:1995a,
  author = {Masumi Ishikawa},
  title = {Learning of Modular Structured Networks},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {75},
  number = {1},
  pages = {51--62},
  acontentnote = {Abstract:
     Learning of large-scale neural networks suffers from
     computational cost and the local minima problem.  One solution to
     these difficulties is the use of modular structured networks.
     Proposed here is the learning of modular networks using
     structural learning with forgetting.  It enables the formation of
     modules.  It also enables automatic utilization of appropriate
     modules from among the previously learned ones.  This not only
     achieves efficient learning, but also makes the resulting
     network understandable due to its modular character.
      In the learning of a Boolean function, the present module
     acquires information from its subtask module without any
     supervision.  In the parity problem, a previously learned
     lower-order parity problem is automatically used.  The
     geometrical transformation of figures can be realized by a
     sequence of elementary transformations.  This sequence can also
     be discovered by the learning of multi-layer modular networks.
     These examples well demonstrate the effectiveness of modular
     structured networks constructed by structural learning with
     forgetting.},
  topic = {machine-learning;connectionist-models;}
  }

@article{ isli-cohn_ag:2000a,
  author = {Amar Isli and Anthony G. Cohn},
  title = {A New Approach to Cyclic Ordering of {2D} Orientations
  	Using Ternary Relation Algebras},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {122},
  number = {1--2},
  pages = {137--187},
  topic = {spatial-reasoning;qualitative-reasoning;
  	constraint-satisfaction;algebraic-logic;}
  }

@inproceedings{ isozaki-katsuno:1996a,
  author = {Hideki Isozaki and Hirofumi Katsuno},
  title = {A Semantic Characterization of an Algorithm for
  	Estimating Others' Beliefs from Observation},
  booktitle = {Proceedings of the Thirteenth National Conference on
              Artificial Intelligence and the Eighth Innovative
	      Applications of Artificial Intelligence  Conference,
	      Vol. 2},
  year = {1996},
  editor = {William J. Clancey and Dan Weld},
  pages = {543--549},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {propositional-attitude-ascription;}
  }

@inproceedings{ israel_dj:1980a1,
  author = {David J. Israel},
  title = {What's Wrong with Nonmonotonic Logic?},
  booktitle = {Proceedings of the First National Conference on
              Artificial Intelligence},
  year = {1980},
  pages = {99--101},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, CA},
  xref = {Republication: israel_dj:1980a2.},
  topic = {kr;foundations-of-nonmonotonic-logic;kr-course;}
  }

@incollection{ israel_dj:1980a2,
  author = {David J. Israel},
  title = {What's Wrong with Nonmonotonic Logic?},
  booktitle = {Readings in Nonmonotonic Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1987},
  editor = {Matthew L. Ginsberg},
  address = {Los Altos, California},
  pages = {53--55},
  xref = {Original Publication: israel_dj:1980a1.},
  topic = {kr;foundations-of-nonmonotonic-logic;kr-course;}
 }

@techreport{ israel_dj:1987a,
  author = {David J. Israel},
  title = {The Role of Propositional Objects of Belief in Action},
  institution = {Center for the Study of Language and Information,
  	Stanford University},
  number = {CSLI--87--72},
  year = {1991},
  address = {Stanford, California},
  rtnote = {In RHT collection.},
  topic = {action;propositional-attitudes;belief;}
  }

@incollection{ israel_dj:1989b,
  author = {David J. Israel},
  title = {Concepts of Information: Comparative Semantics},
  booktitle = {Philosophical Logic and Artificial Intelligence},
  editor = {Richmond H. Thomason},
  pages = {35--72},
  publisher = {Kluwer Academic Publishers},
  address = {Dordrecht},
  year = {1989},
  topic = {foundations-of-semantics;nl-semantics;information-flow-theory;}
}

@incollection{ israel_dj:1990a,
  author = {David J. Israel},
  title = {On Formal Versus Commonsense Semantics},
  booktitle = {Theoretical Issues in Natural Language Processing},
  editor = {Yorick Wilks},
  publisher = {Lawrence Erlbaum Associates},
  address = {Hillsdale, New Jersey},
  year = {1990},
  topic = {nl-semantics;common-sense-knowledge;}
}

@incollection{ israel_dj:1991a,
  author = {David J. Israel},
  title = {A Short Sketch of the Life and Career of John {M}c{C}arthy},
  booktitle = {Artificial Intelligence and Mathematical Theory of
  	Computation: Papers in Honor of {J}ohn {M}c{C}arthy},
  year = {1991},
  editor = {Vladimir Lifschitz},
  publisher = {Academic Press},
  address = {San Diego, California},
  xref= {An earlier version of this note was published in the Notices
  	of the American Mathematical Society, Volume 38, Number 4,
	April, 1991.},
  topic = {J-McCarthy;}
}

@article{ israel_dj:1991b,
  author = {David J. Israel},
  title = {Katz and {P}ostal on Realism},
  journal = {Linguistics and Philosophy},
  year = {1991},
  volume = {14},
  number = {5},
  pages = {567--574},
  xref = {Commentary on katz_jj-postal:1991a.},
  topic = {philosophy-of-linguistics;}
  }

@article{ israel_dj:1993a,
  author = {David J. Israel},
  title = {Review of Language in Action: Categories, Lambdas, and
  	Dynamic Logic, by {J}ohan van {B}enthem},
  journal = {Artificial Intelligence Journal},
  volume = {63},
  number = {1--2},
  year = {1993},
  pages = {503--510},
  xref = {Review of vanbenthem:1991a.},
  topic = {dynamic-logic;}
}

@inproceedings{ israel_dj:1993b,
  author = {David J. Israel},
  title = {The Very Idea of Dynamic Semantics},
  booktitle = {Proceedings of the Ninth {A}msterdam Colloquium},
  editor = {Paul Dekker and Martin Stokhof},
  address = {Amsterdam},
  year = {1993},
  publisher = {ILLC/Department of Philosophy, University of Amsterdam},
  missinginfo = {pages},
  rtnote = {In RHT collection.},
  topic = {dynamic-logic;}
}

@incollection{ israel_dj:1993c,
  author = {David J. Israel},
  title = {The Role(s) of Logic in Artificial Intelligence},
  booktitle = {The Handbook of Logic in Artificial Intelligence and
  	Logic Programming, Volume 1: Deductive
		 Methodologies},
  editor = {Dov Gabbay and Christopher Hogger and J.A. Robinson},
  publisher = {Oxford University Press},
  pages = {1--29},
  address = {Oxford},
  year = {1993},
  rtnote = {Use in course?  In RHT collection.},
  rtnote = {In RHT collection.},
  topic = {kr;logic-in-AI-survey;kr-course;}
}

@unpublished{ israel_dj:1996a,
  author = {David J. Israel},
  title = {Process Logics of Action},
  year = {1996},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript.  Available from
  	http://www.ai.sri.com/\user{}israel\_d.},
  topic = {action;dynamic-logic;}
  }

@incollection{ israel_dj-brachman:1984a,
  author = {David J. Israel and Ronald J. Brachman},
  title = {Some Remarks on the Semantics of Representation Languages},
  booktitle = {On Conceptual Modelling:  Perspectives from Artificial
  	Intelligence, Databases and Programming Languages},
  publisher = {Springer-Verlag},
  year = {1984},
  editor = {Michael L. Brodie and John Mylopoulos and Joachim W. Schmidt},
  pages = {119--145},
  address = {Berlin},
  rtnote = {In RHT collection.},
  topic = {kr;kr-course;foundations-of-kr;semantic-nets;}
  }

@inproceedings{ israel_dj-etal:1991a,
 author = {David J. Israel and John R. Perry and S. Tutiya},
 title = {Actions and Movements},
 booktitle = {Proceedings of IJCAI-91},
 address = {Sydney, Australia},
 year = {1991},
 topic = {action;}
}

@article{ israel_dj-etal:1993a,
 author = {David J. Israel and John R. Perry and Syun Tutiya},
 title = {Executions, Motivations, and Accomplishments},
 journal = {Philosophical Review},
 volume = {102},
 number = {4},
 year = {1993},
 topic = {action;practical-reasoning;}
}

@inproceedings{ israel_ho-shapiro_sc:2000a,
  author = {Haythem O. Israel and Stuart C. Shapiro},
  title = {Two Problems with Reasoning and Acting in Time},
  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 = {355--365},
  topic = {reasoning-in-time;}
  }

@article{ israel_m:1996a,
  author = {M. Israel},
  title = {Polarity Sensitivity as Lexical Semantics},
  journal = {Linguistics and Philosophy},
  year = {1996},
  volume = {19},
  number = {6},
  pages = {619--666},
  topic = {polarity-sensitivity;lexical-semantics;}
  }

@incollection{ itani:1998a,
  author = {Reiko Itani},
  title = {A Relevance-Based Analysis of Hearsay
			Particles: With Special Reference to {J}apanese
			Sentence-Final Particle {\it ne}},
  booktitle = {Relevance Theory: Applications and Implications},
  publisher = {John Benjamins Publishing Co.},
  year = {1998},
  editor = {Robyn Carston and Seiji Uchida},
  pages = {47--68},
  address = {Amsterdam},
  topic = {relevance-theory;Japanese-language;}
  }

@book{ itkonen:1975a,
  author = {Esa Itkonen},
  title = {Concerning the Relationship Between Linguistics and Logic},
  publisher = {Indiana University Linguistics Club},
  year = {1982},
  address = {310 Lindley Hall, Bloomington, Indiana},
  rtnote = {In RHT collection.},
  topic = {nl-and-logic;foundations-of-semantics;}
 }

@incollection{ itkonen:1975b,
  author = {Esa Itkonen},
  title = {Transformational Grammar and the Philosophy of Science},
  booktitle = {Current Issues in Linguistic Theory, Volume 1: The
  	Transformational-Generative Paradigm and Modern Linguistic
	Theory},
  publisher = {John Benjamins},
  year = {1975},
  editor = {E.F.U. Koerner},
  pages = {381--445},
  address = {Amsterdam},
  missinginfo = {Check editor's name.},
  rtnote = {In RHT collection.},
  topic = {philosophy-of-linguistics;}
  }

@techreport{ itkonen:1976a,
  author = {Esa Itkonen},
  title = {Linguistics and Empiricalness: Answers to Criticisms},
  institution = {Department of General Linguistics, University of
  	Helsinki},
  number = {4},
  year = {1976},
  address = {00170 Helsinki 17},
  rtnote = {In RHT collection.},
  topic = {philosophy-of-linguistics;}
  }

@incollection{ ito:1991a,
  author = {Takahashi Ito},
  title = {{LISP} and Parallelism},
  booktitle = {Artificial Intelligence and Mathematical Theory of
  	Computation},
  publisher = {Academic Press},
  year = {1991},
  editor = {Vladimir Lifschitz},
  pages = {187--206},
  address = {San Diego},
  topic = {LISP;parallel-processing;}
  }

@incollection{ itoh-etal:1997a,
  author = {Toshihiko Itoh and Akihiro Demda and Satorn Kogure and
                Seiichi Nakagawa},
  title = {A Robust Dialogue System with
                Spontaneous Speech Understanding and Cooperative
                Response},
  booktitle = {Interactive Spoken Dialog Systems:  Bridging
  	Speech and {NLP} Together in Real Applications},
  publisher = {Association for Computational Linguistics},
  year = {1997},
  editor = {Julia Hirschberg and Candace Kamm and Marilyn Walker},
  pages = {57--60},
  address = {New Brunswick, New Jersey},
  topic = {computational-dialogue;speech-recognition;}
  }

@article{ itoh-nakamura:2007a,
  author = {Hideaki Itoh and Kiyohiko Nakamura},
  title = {Partially Observable {M}arkov Decision Processes with
  		Imprecise Parameters},
  journal = {Artificial Intelligence},
  year = {2007},
  volume = {171},
  number = {8--9},
  pages = {453--490},
  topic = {Markov-decision-processes;}
  }

@incollection{ iwanska:1992a,
  author = {{\L}ucja Iwa\'nska},
  title = {A General Semantic Model of Negation in Natural Language:
  	Representation and Inference},
  booktitle = {{KR}'92. Principles of Knowledge Representation and
  	Reasoning: Proceedings of the Third International Conference},
  publisher = {Morgan Kaufmann},
  year = {1992},
  editor = {Bernhard Nebel and Charles Rich and William Swartout},
  pages = {357--368},
  address = {San Mateo, California},
  topic = {negation;}
  }

@article{ iwanska:1997a,
  author = {{\L}ucja Iwa\'nska},
  title = {Reasoning with Intensional Negative Adjectivals: Semantics,
  	Pragmatics, and Context},
  journal = {Computational Intelligence},
  year = {1997},
  volume = {13},
  number = {3},
  pages = {348--390},
  rtnote = {In RHT collection.},
  topic = {context;semantics;}
  }

@inproceedings{ iwanska:1997b,
  author = {{\L}ucja Iwa\'nska},
  title = {Toward a Computational Theory of General Context-Dependency
  	and Underspecificity of Natural Language},
  booktitle = {Working Papers of the {AAAI} Fall Symposium on
  	Context in Knowledge Representation and Natural Language},
  year = {1997},
  editor = {Sa\v{s}a Buva\v{c} and {\L}ucia Iwa\'nska},
  pages = {82--95},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  topic = {context;}
  }

@book{ iwanska-shapiro_sc:2000a,
  editor = {Lucja M. Iwa\'nska and Stuart C. Shapiro},
  title = {Natural Language Processing and Knowledge Representation:
    Language For Knowledge and Knowledge for Language},
  publisher = {The {MIT} Press},
  year = {2000},
  address = {Cambridge, Massachusetts},
  ISBN = {0262590212},
  rtnote = {UMich Graduate Library, QA 76.9 .N38 N38431 2000.},
  xref = {Review: mercer:2001a.},
  topic = {nl-kr;}
 }

@article{ iwanska-zadrozny:1997a,
  author = {{\L}ucja Iwa\'nska and Wlodek Zadrozny},
  title = {Introduction to the Special Issue on Context in
  	Natural Language Processing},
  journal = {Computational Intelligence},
  year = {1997},
  volume = {13},
  number = {3},
  pages = {301--308},
  topic = {context;contextual-reasoning;}
  }

@article{ iwanuma-oota:1996a,
  author = {Koji Iwanuma and Kazuhiko Oota},
  title = {An Extension of Pointwise Circumscription},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {86},
  number = {2},
  pages = {391--402},
  topic = {circumscrption;nonmonotonic-logic;}
  }

@incollection{ iwasaki:1995a,
  author = {Yumi Iwasaki},
  title = {Introduction (To Part {IV}: Problem Solving
			with Diagrams)},
  booktitle = {Diagrammatic Reasoning},
  publisher = {The {MIT} Press},
  year = {1995},
  editor =  {Janice Glasgow and N. Hari Narayanan and B.
		Chandrasekaran},
  pages = {657--667},
  address = {Cambridge, Massachusetts},
  topic = {diagrams;reasoning-with-diagrams;
  	cognitive-psychology;visual-reasoning;}
  }

@article{ iwasaki-simon_ha:1986a1,
  author = {Yumi Iwasaki and Herbert Simon},
  title = {Causality in Device Behavior},
  journal = {Artificial Intelligence},
  year = {1986},
  volume = {29},
  number = {1},
  pages = {3--32},
  rtnote = {In RHT collection.},
  xref = {Republication: iwasaki-simon_ha:1986a2.},
  topic = {causality;qualitative-reasoning;}
  }

@article{ iwasaki-simon_ha:1986b1,
  author = {Yumi Iwasaki and Herbert A. Simon},
  title = {Theories of Causal Ordering: Reply to de {K}leer and {B}rown},
  journal = {Artificial Intelligence},
  year = {1986},
  volume = {29},
  number = {1},
  pages = {63--72},
  xref = {Reply to dekleer-brown_js:1986a.},
  xref = {Republication: iwasaki-simon_ha:1986b2.},
  topic = {causality;qualitative-reasoning;}
  }

@incollection{ iwasaki-simon_ha:1986b2,
  author = {Yumi Iwasaki and Herbert A. Simon},
  title = {Theories of Causal Ordering: Reply to de {K}leer and
		{B}rown},
  booktitle = {Qualitative Reasoning about Physical Systems},
  publisher = {Morgan Kaufmann},
  year = {1990},
  editor = {Daniel S. Weld and Johan de Kleer},
  pages = {661--665},
  address = {San Mateo, California},
  xref = {Republication of: iwasaki-simon_ha:1986b1.},
  topic = {causality;qualitative-reasoning;}
  }

@incollection{ iwasaki-simon_ha:1990a,
  author = {Yumi Iwasaki and Herbert A. Simon},
  title = {Causality in Device Behavior},
  booktitle = {Qualitative Reasoning about Physical Systems},
  publisher = {Morgan Kaufmann},
  year = {1990},
  editor = {Daniel S. Weld and Johan de Kleer},
  pages = {631--645},
  address = {San Mateo, California},
  xref = {Republication of: iwasaki-simon_ha:1986a1.},
  topic = {causality;qualitative-reasoning;}
  }

@article{ iwasaki-simon_ha:1993a,
  author = {Yumi Iwasaki and Herbert A. Simon},
  title = {Retrospective on `Causality in Device Behavior'},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {59},
  number = {1--2},
  pages = {141--146},
  xref = {Retrospective commentary on iwasaki-simon_ha:1986a.},
  topic = {qualitative-physics;causality;}
  }

@article{ iwasaki-simon_ha:1994a,
  author = {Yumi Iwasaki and Herbert A. Simon},
  title = {Causality and Model Abstraction},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {67},
  number = {1},
  pages = {143--194},
  acontentnote = {Abstract:
     Much of science and engineering is concerned with characterizing
     processes by equations describing the relations that hold among
     parameters of objects and govern their behavior over time.  In
     formal descriptions of processes in terms of parameters and
     equations, the notion of causality is rarely made explicit.
     Formal treatments of the foundations of sciences have avoided
     discussions of causation and spoken only of functional relations
     among variables.
      Nevertheless, the notion of causality plays an important role
     in our understanding of phenomena.  Even when we describe the
     behavior of a system formally in terms of acausal, mathematical
     relations, we often give an informal, intuitive explanation of
     why the system behaves the way it does in terms of cause-effect
     relations.
      In this paper, we will present an operational definition of
     causal ordering.  The definition allows us to extract causal
     dependency relations among variables implicit in a model of a
     system, when a model is represented as a set of acausal,
     mathematical relations.  Our approach is based on the theory of
     causal ordering first presented by Simon [22].  The paper shows
     how to use the theory and its extension in reasoning about
     physical systems.  Further, the paper studies the relation of
     the theory to the problems of model aggregation.},
  topic = {causality;abstraction;reasoning-about-physical-systems;}
  }

@article{ iwata:2003a,
  author = {Seizi Iwata},
  title = {Echo Questions are Interrogatives?  Another Version
  	of a Metapresentational Analysis},
  journal = {Linguistics and Philosophy},
  year = {2003},
  volume = {26},
  number = {2},
  pages = {185--254},
  topic = {pragmatics;interrogatives;intonation;}
  }

@inproceedings{ izvorski:1997a,
  author = {Roumyana Izvorski},
  title = {The Present Perfect as an Epistemic Modal},
  booktitle = {Proceedings from Semantics and Linguistic Theory {VII}},
  publisher = {Cornell University},
  year = {1997},
  editor = {Aaron Lawson},
  pages = {222--239},
  address = {Ithaca, New York},
  topic = {nl-semantics;perfective-aspect;}
  }

@book{ jackendoff:1972a,
  author = {Ray Jackendoff},
  title = {Semantic Interpretation in Generative Grammar},
  publisher = {The {MIT} Press},
  year = {1972},
  address = {Cambridge, Massachusetts},
  topic = {cognitive-semantics;nl-semantics;}
  }

@article{ jackendoff:1976a,
  author = {Ray Jackendoff},
  title = {Toward an Explanatory Semantic Representation},
  journal = {Linguistic Inquiry},
  year = {1976},
  volume = {7},
  pages = {89--150},
  missinginfo = {number},
  topic = {nl-semantics;cognitive-semantics;}
  }

@incollection{ jackendoff:1978a,
  author = {Ray Jackendoff},
  title = {Grammar as Evidence for Conceptual Structure},
  booktitle = {Linguistic Theory and Psychological Reality},
  publisher = {The {MIT} Press},
  year = {1978},
  editor = {Morris Halle and Joan Bresnan and George A. Miller},
  pages = {201--228},
  address = {Cambridge, Massachusetts},
  topic = {cognitive-semantics;nl-semantics;}
  }

@unpublished{ jackendoff:1979a,
  author = {Ray Jackendoff},
  title = {On Keeping Ninety from Rising},
  year = {1979},
  note = {Unpublished manuscript, Brandeis University.},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;Montague-grammar;}
  }

@book{ jackendoff:1983a,
  author = {Ray Jackendoff},
  title = {Semantics and Cognition},
  publisher = {The {MIT} Press},
  year = {1983},
  address = {Cambridge, Massachusetts},
  xref = {Reviews: kleiman:1986a, carlson_gn:1985a.},
  topic = {cognitive-semantics;}
 }

@article{ jackendoff:1985a,
  author = {Ray Jackendoff},
  title = {Information is in the Mind of the Beholder},
  journal = {Linguistics and Philosophy},
  year = {1985},
  volume = {8},
  number = {1},
  pages = {23--33},
  topic = {situation-semantics;foundations-of-semantics;
  	theories-of-information;}
  }

@article{ jackendoff:1987a,
  author = {Ray Jackendoff},
  title = {The Status of Thematic Relations in Linguistic Theory},
  journal = {Linguistic Inquiry},
  year = {1987},
  volume = {18},
  pages = {369--411},
  missinginfo = {number},
  topic = {thematic-relations;}
  }

@book{ jackendoff:1992a,
  author = {Ray Jackendoff},
  title = {Languages of the Mind},
  publisher = {The {MIT} Press},
  year = {1992},
  address = {Cambridge, Massachusetts},
  contentnote = {TC:
	1. Languages of the Mind
	2. What Is a Concept, that a Person May Grasp It
	3. Word Meanings and What It Takes to Learn Them: Reflections
	     on the Piaget-Chomsky Debate
	4. Is There a Faculty of Social Cognition?
	5. Unconscious Information in Language and Psychodynamics
	6. Spatial Language and Spatial Cognition
	7. Musical Parsing and Musical Affect
	8. The Problem of Reality
    },
  rtnote= {HILLMAN BF444 J333 1992.  In RHT collection.},
  topic = {cognitive-semantics;foundations-of-linguistics;
  	foundations-of-cognition;concept-grasping;}
 }

@incollection{ jackendoff:1993a,
  author = {Ray Jackendoff},
  title = {X-Bar Semantics},
  booktitle = {Semantics and the Lexicon},
  year = {1993},
  editor = {James Pustejovsky},
  publisher = {Kluwer Academic Publishers},
  pages = {15--26},
  address = {Dordrecht},
  topic = {cognitive-semantics;X-bar-theory;}
  }

@incollection{ jackendoff:1993b,
  author = {Ray Jackendoff},
  title = {The Combinatorial Structure of Thought: The Family of
  	Causative Concepts},
  booktitle = {Knowledge and Language: Volume {II}, Lexical and Conceptual
  	Structure},
  publisher = {Kluwer Academic Publishers},
  year = {1993},
  editor = {Eric Reuland and Werner Abraham},
  pages = {31--49},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {causatives;cognitive-semantics;lexical-semantics;}
  }

@incollection{ jackendoff:1996a,
  author = {Ray Jackendoff},
  title = {Semantics and Cognition},
  booktitle = {The Handbook of Contemporary Semantic Theory},
  publisher = {Blackwell Publishers},
  year = {1996},
  address = {Oxford},
  editor = {Shalom Lappin},
  pages = {539--559},
  xref = {Review: kleiman:1986a.},
  topic = {cognitive-semantics;}
  }

@book{ jackendoff:1997a,
  author = {Ray Jackendoff},
  title = {The Architecture of the Language Faculty},
  publisher = {The {MIT} Press},
  year = {1997},
  address = {Cambridge, Massachusetts},
  xref = {Review of stevenson_s:1998a.},
  topic = {cognitive-semantics;foundations-of-linguistics;
  	cognitive-modularity;}
 }

@article{ jackendoff:1998a,
  author = {Ray Jackendoff},
  title = {Why a Conceptualist View of Reference?  A Reply
  	to {A}bbott},
  journal = {Linguistics and Philosophy},
  year = {1998},
  volume = {21},
  number = {2},
  pages = {211--219},
  topic = {reference;philosophy-of-language;}
  }

@book{ jackendoff-etal:1999a,
  editor = {Ray Jackendoff and Paul Bloom and Karen Wynn},
  title = {Language, Logic, and Concepts},
  publisher = {The {MIT} Press},
  year = {1999},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262- (hardcover), 0-262- (pbk)},
  topic = {concepts;philosophy-of-language;cognitive-psychology;}
 }

@book{ jackson_b:2002a,
  editor = {Brendan Jackson},
  title = {Proceedings from Semantics and Linguistic Theory {XII}},
  publisher = {Cornell University},
  year = {2002},
  address = {Ithaca, New York},
  note = {Available from CLC Publications, Department of Linguistics,
  	Morrill Hall, Cornell University, Ithaca, NY 14853-4701.},
  contentnote = {TC:
     1. Dorit Abusch, "Lexical Alternatives as a Source of Pragmatic
     		Presuppositions", pp. 1--19
     2. Maria Aloni and Robert van Rooy, "The Dynamics of Questions
     		and Focus", pp. 20--39
     3. David I. Beaver and Brady Z. Clark, "Monotonicity and Focus
     		Sensitivity", pp. 40--58
     4. Donka F. Farkas, "Varieties of Indefinites", pp. 59--83
     5. Anastasia Giannakidou, "UNTIL, Aspect, and Negation: A Novel
     		Argument for two Untils", pp. 84--103
     6. Yael Greenberg, "Two Types of Quantificational Modalized
     		Genericity, and the Interpretation of Bare Plural and
			Indefinite Singular {NP}s", pp. 104--123
     7. Christine Gunlogson, "Declarative Questions", pp. 124--143
     8. Pauline Jacobson, "Direct Compositionality and Variable-Free
     		Semantics: The Case of Binding into Heads", pp. 144--163
     9. Jacques Jayez and Lucia M. Tovena, "Determiners and
     		(Un)certainity", pp. 164--183
     10. Marcin Morzycki, "Wholes and Their Covers", pp. 184--203
     11. Maribel Romero and Chung-hye Han, "Verum Focus in Negative
     		Yes/No Questions and {L}add's p/-p Ambiguity", pp. 204--224
     12. Roger Swarzschild, "The Grammar of Measurement", pp. 225--245
     13. Chung-chieh Shan, "A Continuation Semantics of
     		Interrogatives That Accounts for {B}aker's
		Ambiguity", pp. 246--265
     14. Yael Sharvit, "Embedded Quantifiers in Which- and
     		Whether-Questions", pp. 266--285
     15. Judith Tonhauser, "A Dynamic Semantic Account of the
     		Temporal Interpretation of Noun Phrases", pp. 286--305
     16. Yoad Winter, "Functional Readings and Wide-Scope
     		Indefinites", pp. 306--321
     17. Malte Zimmerman, "A Compositional Analysis of
     		Anti-Quantifiers as Quantifiers", pp. 322--338
     18. Zs\'oacutefia Zvolensky, "Is a Possible-Worlds Semantics of
     		Modality Possible? A Problem for {K}ratzer's
		Semantics", pp. 339--358
    },
  rtnote = {In RHT Collection.  LLP edited shelves.},
  topic = {nl-semantics;}
 }

@book{ jackson_b-matthews_t:2000a,
  editor = {Brendan Jackson and Tanya Matthews},
  title = {Proceedings from Semantics and Linguistic Theory {X}},
  publisher = {Cornell University},
  year = {2000},
  address = {Ithaca, New York},
  note = {Available from CLC Publications, Department of Linguistics,
  	Morrill Hall, Cornell University, Ithaca, NY 14853-4701.},
  contentnote = {TC:
     1. Sigrid Beck, "Exception in Relational Plurals", pp. 1--16
     2. Greg Carlson and F. Jeffrey Pelletier, "Average Noun
     		Phrases", pp. 17--26
     3. Kai von Fintel, "Whatever", pp. 27--38
     4. Irene Heim, "Degree Operators and Scope", pp. 40--64
     5. Paulene Jacobson, "Paychecks, Stress, and Variable-Free
     		Semantics", pp. 65--82
     6. Peter Lasersohn, "Same, Models, and Representation", pp. 83--97
     7. Lisa Mathewson, "On Distributivity and
     		Pluractionality", pp. 98--114
     8. Toshiyuki Ogihara, "Counterfactuals, Temporal Adverbs, and
     		Association with Focus", pp. 115--131
     9. Liina Pylkkanen, "Representing Causatives", pp. 132--148
     10. Maribel Romero, "Reduced Conditionals and Focus", pp. 149--166
     11. Uli Sauerland, "The Content of Pronouns: Evidence from
     		Focus", pp. 167--184
     12. Yael Sharvit and Penka Stateva, "Against 'Long' Movement of
     		the Superlative Operator", pp. 185--202
     13. Gianluca Storto, "On the Structure of Indefinite
     		Possessives", pp. 203--220
     14. Veerle Van Geenhoven, "Pro Properties, Contra Generalized
     		Kinds", pp. 221--238
     15. Elisabeth Villalta, "Spanish Subjunctive Clauses Require
     		Ordered Alternatives", pp. 239--256
     16. Tom Werner, "Counting and Bare Plurals", pp. 257--272
     17. Rong Yang, "Chinese NPs: Quantification \&
     		Distributivity", pp. 273--289
     18. Malte Zimmerman, "The Occasional-Construction in {E}nglish
     		and {G}erman ", pp. 190--306
    },
  rtnote = {In RHT Collection.  LLP edited shelves.},
  topic = {nl-semantics;}
 }

@incollection{ jackson_d:2000a,
  author = {Daniel Jackson},
  title = {Enforcing Design Constraints with Object Logic},
  booktitle = {Proceedings of the Seventh Annual Static Analysis
  	Symposium, SAS 2000},
  publisher = {Springer-Verlag},
  year = {2000},
  editor = {Jens Palsberg},
  seriew = {LNCS 1824},
  pages = {1--21},
  address = {Berlin},
  contentnote = {TC:
     1. Daniel Jackson, "Enforcing Design Constraints with Object
     		Logic", pp. 1--21
     2. Andreas Podelski, "Model Checking as Constraint
     		Solving", pp. 22--37
     3. Gianluca Amato and Giorgio Levi, "Abstract Interpretation
     		Based Semantics of Sequent Calculi", pp. 38--57
     4. Saddek Bensalem and Marius Bozga and Jean--Claude Fernandez
     		and Lucian Ghirvu, Yassine Lakhnech, "A Transformational
		Approach for Generating Non-linear Invariants", pp. 58--74
     5. Wei-Ngan Chin and Siau-Cheng Khoo and Zhenjiang Hu and Masato
     		Takeichi, "Deriving Parallel Codes via Invariants", pp. 75--94
     6. David Clark and Chris Hankin and Sebastian Hunt, "Safety of
     		Strictness Analysis via Term Graph Rewriting", pp. 95--114
     7. Nurit Dor and Michael Rodeh and Shmuel Sagiv, "Checking
     		Cleanness in Linked Lists", pp. 115--134
     8. Jirtme Feret, "Confidentiality Analysis of Mobile
     		Systems", pp. 135--154
     9. Stephen J. Fink and Kathleen Knobe and Vivek Sarkar, "Unified
     		Analysis of Array and Object References in Strongly Typed
		Languages", pp. 155--174
    10. Jeffrey S. Foster and Manuel F\"ahndrich and Alexander
    		Aiken, "Polymorphic versus Monomorphic
		Flow-Insensitive Points-to Analysis for C", pp. 175--198
    11. Etienne Gagnon and Laurie J. Hendren and Guillaume
    		Marceau, "Efficient Inference of Static Types for
		Java Bytecode", pp. 199--219
    12. Thomas Henzinger and Rupak Majumdar and Freddy Y. C. Mang and
    		Jean-Frangois Raskin, "Abstract Interpretation of Game
		Properties", pp. 220--239
    13. Clara Jaramillo and Rajiv Gupta and Mary Lou Soffa, "FULLDOC: A
    		Full Reporting Debugger for Optimized Code", pp. 240--259
    14. Jens Knoop and Jean-Francois Collard and Roy Dz-Ching Ju, "Partial
    		Redundancy Elimination on Predicated Code", pp. 260--279
    15. Tal Lev-Ami, Shmuel Sagiv, "TVLA: A System for Implementing
    		Static Analyses", pp. 280--301
    16. Laurent Mauborgne, "Tree Schemata and Fair
    		Termination", pp. 302--321
    17. David Monniaux, "Abstract Interpretation of Probabilistic
    		Semantics", pp. 322--339
    18. Robert Muth and Scott A. Watterson, Saumya K. Debray, "Code
    		Specialization Based on Value Profiles", pp. 340--359
    19. James Riely and Jan Prins, "Flattening Is an
    		Improvement", pp. 360--376
    20. Hassen Saodi, "Model Checking Guided Abstraction and
    		Analysis", pp. 377--396
    21. Francesca Scozzari, "Abstract Domains for Sharing Analysis by
    		Optimal Semantics", pp. 397--412
    22. Cristian Ungureanu and Suresh Jagannathan, "Concurrency Analysis
    		for Java", pp. 413--432
  },
 topic = {software-engineering;}
 }

@techreport{ jackson_d-jackson_m:1995a,
  author = {Daniel Jackson and Michael Jackson},
  title = {Problem Decomposition for Reuse},
  institution = {Carnegie Mellon University},
  number = {CMU-CS-95-108},
  year = {1995},
  address = {Pittsburgh, Pennsylvania},
  rtnote = {In RHT collection.},
  topic = {software-engineering;logic-in-AI;}
  }

@inproceedings{ jackson_e:1995a,
  author = {Eric Jackson},
  title = {Negative Polarity and General Statements},
  booktitle = {Proceedings from Semantics and Linguistic Theory {V}},
  year = {1995},
  editor = {Mandy Simons and Teresa Galloway},
  pages = {130--147},
  publisher = {Cornell University},
  address = {Ithaca, New York},
  note = {Available from CLC Publications, Department of Linguistics,
  	Morrill Hall, Cornell University, Ithaca, NY 14853-4701.},
  topic = {nl-semantics;polarity;}
  }

@book{ jackson_f:1998b,
  author = {Frank C. Jackson},
  title = {Mind, Method, and Conditionals: Selected Essays},
  publisher = {Routledge},
  year = {1998},
  address = {London},
  ISBN = {0415165741 (hardcover)},
  rtnote = {UMich Graduate Library, BC 199 .C56 J341 1998},
  topic = {philosophy-of-mind;conditionals;}
 }

@incollection{ jackson_f:1998c,
  author = {Frank C. Jackson},
  title = {Reference and Description Revisited},
  booktitle = {Philosophical Perspectives 12: Language, Mind,
  	and Ontology},
  publisher = {Blackwell Publishers},
  year = {1998},
  editor = {James E. Tomberlin},
  pages = {201--218},
  address = {Oxford},
  topic = {reference;definite-descriptions;}
  }

@incollection{ jackson_f:2003a,
  author = {Frank Jackson},
  title = {Representation and Narrow Belief},
  booktitle = {Philosophy of Mind},
  publisher = {Blackwell Publishers},
  year = {2003},
  editor = {Ernest Sosa and Enrique Villanueva},
  pages = {99--112},
  address = {Oxford},
  topic = {representation;philosophy-of-mind;}
  }

@article{ jackson_f-pettit:1998a,
  author = {Frank Jackson and Philip Pettit},
  journal = {Analysis},
  pages = {239--51},
  title = {A problem for expressivism},
  volume = {58},
  year = {1998},
  doi = {10.1111/1467-8284.00128},
  topic = {expressivism;}
  }

@article{ jackson_fc:1977a,
  author = {Frank C. Jackson},
  title = {A Causal Theory of Counterfactuals},
  journal = {Australasian Journal of Philosophy},
  year = {1977},
  volume = {55},
  pages = {3--21},
  missinginfo = {number.},
  rtnote = {In RHT collection.},
  rtnote = {tmix-project;},
  topic = {conditionals;causality;}
  }

@book{ jackson_fc:1977b,
  author = {Frank C. Jackson},
  title = {Perception: a Representative Theory},
  publisher = {Cambridge University Press},
  year = {1977},
  address = {Cambridge},
  ISBN = {0521215501},
  rtnote = {UMich Graduate Library, BF311 .J231},
  topic = {philosophy-of-perception;epistemology;}
 }

@article{ jackson_fc:1979a,
  author = {Frank C. Jackson},
  title = {On Assertion and Indicative Conditionals},
  journal = {The Philosophical Review},
  year = {1979},
  volume = {88},
  number = {4},
  pages = {565--589},
  topic = {assertion;conditionals;}
  }

@article{ jackson_fc:1985a,
  author = {Frank C. Jackson},
  title = {On the Semantics and Logic of Obligation},
  journal = {Mind, New Series},
  year = {1985},
  volume = {94},
  pages = {177--195},
  contentnote = {Argues for a contextual presentation of alternatives
  	as the background to the deontic modality.},
  topic = {deontic-logic;}
  }

@book{ jackson_fc:1987a,
  author = {Frank C. Jackson},
  title = {Conditionals},
  publisher = {Basil Blackwell},
  year = {1987},
  address = {Oxford},
  ISBN = {0631146210},
  rtnote = {UMich Graduate Library, BC199.C56 J331 1987},
  rtnote = {In RHT collection.},
  topic = {conditionals;causality;}
 }

@book{ jackson_fc:1991a,
  editor = {Frank C. Jackson},
  title = {Conditionals},
  publisher = {Oxford University Press},
  year = {1991},
  address = {Oxford},
  ISBN = {019875096X,  0198750951 (pbk.)},
  rtnote = {UMich Location: Graduate Library BC 199 .C56 C651 1991},
  topic = {conditionals;}
 }

@book{ jackson_fc:1998a,
  editor = {Frank C. Jackson},
  title = {Consciousness},
  publisher = {Ashgate},
  year = {1998},
  address = {Aldershot},
  ISBN = {1855219522 (hardcover)},
  rtnote = {UMich Graduate Library, BF 311 .C64451 1998},
  topic = {consciousness;}
 }

@article{ jackson_fc:2000a,
  author = {Frank C. Jackson},
  title = {Review of \emph{{T}he Nature of Perception}, by {J}ohn {F}oster},
  journal = {The Journal of Philosophy},
  year = {2001},
  volume = {98},
  number = {12},
  pages = {653--657},
  xref = {Review of: foster_j:2000a.},
  topic = {epistemology;perception;}
  }

@article{ jackson_fc-pargetter:1983a,
  author = {Frank C. Jackson and Robert Pargetter},
  title = {Where the Tickle Defense Goes Wrong},
  journal = {Australasian Journal of Philosophy},
  year = {1983},
  volume = {61},
  pages = {295--299},
  missinginfo = {number},
  topic = {causal-decision-theory;}
  }

@article{ jackson_fc-pargetter:1986a,
  author = {Frank C. Jackson and Robert Pargetter},
  title = {Oughts, Options, and Actualism},
  journal = {The Philosophical Review},
  year = {1986},
  volume = {95},
  number = {2},
  pages = {233--255},
  topic = {predicted-behavior-and-obligation;alternatives-for-action;}
  }

@incollection{ jackson_fc-pettit:1993a,
  author = {Frank C. Jackson and Phillip Pettit},
  title = {Some Content is Narrow},
  booktitle = {Mental Causation},
  publisher = {Oxford University Press},
  year = {1993},
  editor = {John Heil and Alfred R. Mele},
  pages = {259--282},
  address = {Oxford},
  topic = {broad/narrow-content;internalism/externalism;}
  }

@incollection{ jackson_fc-pettit:1996a,
  author = {Frank C. Jackson and Phillip Pettit},
  title = {Causation in the Philosophy of Mind},
  booktitle = {Connectionism, Concepts, and Folk Psychology: The Legacy
  		of {A}lan {T}uring: Volume {II}},
  publisher = {Oxford University Press},
  year = {1996},
  editor = {Peter J.R. Millican and Andy Clark},
  pages = {75--99},
  address = {Oxford},
  topic = {causation;philosophy-of-mind;}
  }

@article{ jackson_p:2004a,
  author = {Peter Jackson},
  title = {Review of \emph{{T}he {O}xford Handbook of Computational
  		Linguistics}, edited by Ruslan Mitkov},
  journal = {Computational Linguistics},
  year = {2004},
  volume = {30},
  number = {1},
  pages = {103--106},
  xref = {Review of: mitkov:2003a.},
  topic = {nl-processing;}
  }

@article{ jackson_p-etal:2003a,
  author = {Peter Jackson and Khalid Al-Kofahi and Alex Tyrell and
  	Arun Vachter},
  title = {Information Extraction from Case Law and Retrieval of
  	Prior Cases},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {150},
  number = {1-2},
  pages = {239--290},
  topic = {AI-and-law;information-extraction;}
  }

@incollection{ jacob:1984a,
  author = {Pierre Jacob},
  title = {Remarks on the Language of Thought},
  booktitle = {The Mind and the Machine: Philosophical Aspects
  	of Artificial Intelligence},
  publisher = {Ellis Horwood, Ltd.},
  year = {1984},
  editor = {Steve B. Torrance},
  pages = {64--78},
  address = {Chichester},
  topic = {philosophy-and-AI;philosophy-of-AI;mental-representations;
  	mental-language;}
  }

@incollection{ jacob:2003a,
  author = {Pierre Jacob},
  title = {Intentionality},
  booktitle = {The {S}tanford Encyclopedia of Philosophy},
  publisher = {Stanford University},
  editor = {Edward N. Zalta},
  url = {http://plato.stanford.edu/archives/fall2003/entries/intentionality/},
  year = {2003},
  topic = {intensionality;intentionality;}
  }

@article{ jacobs_b:1989a,
  author = {Bart Jacobs},
  title = {The Inconsistency of Higher Order Extensions of
  	{M}artin-{L}\"of's Type Theory},
  journal = {Journal of Philosophical Logic},
  year = {1989},
  volume = {18},
  number = {4},
  pages = {399--422},
  topic = {higher-order-logic;constructive-logics;}
  }

@book{ jacobs_b:1999a,
  author = {Bart Jacobs},
  title = {Categorial Logic and Type Theory},
  publisher = {Elsevier},
  year = {1999},
  address = {Amsterdam},
  xref = {Review: seely:2000a.},
  topic = {higher-order-logic;proof-theory;}
 }

@article{ jacobs_j:1980a,
  author = {Joachim Jacobs},
  title = {Lexical Decomposition in {M}ontague Grammar},
  journal = {Theoretical Linguistics},
  year = {1980},
  volume = {7},
  number = {1/2},
  pages = {121--136},
  topic = {nl-semantics;montague-grammar;lexical-semantics;}
  }

@book{ jacobs_p:1992a,
  editor = {Paul S. Jacobs},
  title = {Text-Based Intelligent Systems},
  publisher = {Lawrence Erlbaum Associates},
  year = {1992},
  address = {Mahwah, New Jersey},
  xref = {Review: norvig:1994a.},
  topic = {nl-kr;}
 }

@article{ jacobs_ps-rau_ls:1993a,
  author = {Paul S. Jacobs and Lisa F. Rau},
  title = {Innovations in Text Interpretation},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {63},
  number = {1--2},
  pages = {143--191},
  acontentnote = {Abstract:
     The field of natural language processing is developing a new
     concentration on interpreting extended texts, with applications
     in information retrieval, text categorization, and data
     extraction.  The research that addresses these problems
     represents the first real task-driven focus since machine
     translation research in the 1960s.  Text interpretation
     applications have already produced good results in accuracy and
     throughput.  This new focus on task-driven text interpretation
     has been the driving force for a number of advances in the
     field, because earlier systems fell so far short of the coverage
     required to interpret bodies of text.  The innovations behind
     this scale-up include work in lexicon development and
     representation, weak methods of corpus analysis and text
     pre-processing, and flexible control architectures for parsing.
     Together, these methods provide coverage and accuracy in
     interpretation by extending the knowledge that a system can use
     and controlling how this knowledge is applied.  This paper
     explains the context in which this research is conducted, along
     with the general progress of the field and some of the details
     of how our own system realizes these advances.},
  topic = {text-understanding;information-extraction;nl-processing;}
  }

@incollection{ jacobs_s-jackson_s:1983a,
  author = {Scott Jacobs and Sally Jackson},
  title = {Speech Act Structure in Conversation: Rational Aspects of
  	Pragmatic Coherence},
  booktitle = {Conversational Coherence:  Form, Structure and Strategy},
  publisher = {Sage Publications},
  year = {1983},
  editor = {Robert T. Craig and Karen Tracey},
  pages = {47--66},
  address = {London},
  rtnote = {In RHT collection.},
  topic = {discourse-coherence;discourse-analysis;speech-acts;
  	pragmatics;}
  }

@book{ jacobsen-pullum:1982a,
  editor = {Pauline I. Jacobsen and Geoffrey K. Pullum},
  title = {The Nature of Syntactic Representation},
  publisher = {D. Reidel Publishing Co.},
  year = {1982},
  address = {Dordrecht},
  ISBN = {9027712905},
  xref = {UMich Graduate Library P291 .N31},
  topic = {nl-syntax;foundations-of-syntax;}
 }

@book{ jacobson_p:1979a,
  author = {Paulene Jacobson},
  title = {The Syntax of Crossing Coreference Sentences},
  publisher = {Indiana University Linguistics Club},
  year = {1979},
  address = {310 Lindley Hall, Bloomington, Indiana},
  rtnote = {In RHT collection (shelf).},
  topic = {Bach-Peters-sentences;anaphora;}
 }

@incollection{ jacobson_p:1985a,
  author = {Pauline Jacobson},
  title = {On the Quantificational Force of {E}nglish Free Relatives},
  booktitle = {Quantification in Natural Languages, Vol. 2},
  publisher = {Kluwer Academic Publishers},
  year = {1995},
  editor = {Emmon Bach and Eloise Jelinek and Angelika Kratzer and
   	Barbara Partee},
  pages = {451--486},
  address = {Dordrecht},
  topic = {nl-semantics;nl-quantifiers;relative-clauses;adjuncts;}
  }

@article{ jacobson_p:1987a,
  author = {Pauline Jacobson},
  title = {Review of \emph{{G}eneralized Phrase Structure Grammar}, by
  	Gerald Gazdar and Ewan Klein and Geoffrey Pullum and Ivan Sag},
  journal = {Linguistics and Philosophy},
  year = {1987},
  volume = {10},
  number = {3},
  pages = {389--426},
  xref = {Review of gazdar-etal:1985a.},
  xref = {Commentary: hukari-levine_rd:1990a.},
  topic = {GPSG;}
  }

@article{ jacobson_p:1990a,
   author = {Paulene Jacobson},
   title = {Raising as Functional Composition},
   journal = {Linguistics and Philosophy},
   year = {1990},
   volume = {13},
   number = {4},
   pages = {423--475},
   topic = {syntax-semantics-interface;}
  }

@inproceedings{ jacobson_p:1993a,
  author = {Pauline Jacobson},
  title = {I-within-i Effects in A Variable Free Semantics and
  		a Categorial Syntax},
  booktitle = {Proceedings of the Ninth {A}msterdam Colloquium},
  editor = {Paul Dekker and Martin Stokhof},
  address = {Amsterdam},
  year = {1993},
  publisher = {ILLC/Department of Philosophy, University of Amsterdam},
  pages = {349--369},
  rtnote = {In RHT collection.},
  topic = {nl-quantification;binding-theory;}
}

@inproceedings{ jacobson_p:1994a,
  author = {Paulene Jacobson},
  title = {Binding Connectivity in Copular Predicates},
  booktitle = {Proceedings from Semantics and Linguistic Theory {IV}},
  year = {1994},
  editor = {Mandy Harvey and Lynn Santelmann},
  pages = {161--178},
  publisher = {Cornell University},
  address = {Ithaca, New York},
  note = {Available from CLC Publications, Department of Linguistics,
  	Morrill Hall, Cornell University, Ithaca, NY 14853-4701.},
  topic = {nl-semantics;syntax-semantics-interface;predicate-nominals;}
  }

@incollection{ jacobson_p:1996a,
  author = {Paulene Jacobson},
  title = {The Syntax/Semantics Interface in Categorial Grammar},
  booktitle = {The Handbook of Contemporary Semantic Theory},
  publisher = {Blackwell Publishers},
  year = {1996},
  address = {Oxford},
  editor = {Shalom Lappin},
  pages = {89--116},
  topic = {syntax-semantics-interface;categorial-grammar;}
  }

@inproceedings{ jacobson_p:1996b,
  author = {Pauline Jacobson},
  title = {The Locality of Interpretation: The Case
     		of Binding and Coordination},
  booktitle = {Proceedings from Semantics and Linguistic Theory {VI}},
  publisher = {Cornell University},
  year = {1996},
  editor = {Teresa Galloway and Justin Spence},
  pages = {111--135},
  address = {Ithaca, New York},
  topic = {nl-semantics;syntax-semantics-interface;variable-free-semantics;}
  }

@inproceedings{ jacobson_p:1998a,
  author = {Pauline Jacobson},
  title = {Antecedent Contained Deletion and Pied-Piping: Evidence
  		for a Variable-Free Semantics},
  booktitle = {Proceedings from Semantics and Linguistic Theory {VIII}},
  publisher = {Cornell University},
  year = {1998},
  editor = {Devon Strolovitch and Aaron Lawson},
  pages = {74--91},
  address = {Ithaca, New York},
  topic = {nl-semantics;movement-rules;variable-free-semantics;}
  }

@article{ jacobson_p:1999a,
  author = {Pauline Jacobson},
  title = {Towards a Variable-Free Semantics},
  journal = {Linguistics and Philosophy},
  year = {1999},
  volume = {22},
  number = {2},
  pages = {117--185},
  topic = {categorial-grammar;combinatory-logic;variable-free-semantics;}
  }

@article{ jacobson_p:2000a,
  author = {Pauline Jacobson},
  title = {Paycheck Pronouns, {B}ach-{P}eters Sentences,
  	and Variable-Free Semantics},
  journal = {Natural Language Semantics},
  year = {2000},
  volume = {8},
  number = {2},
  pages = {77--155},
  topic = {anaphora;compositionality;Bach-Peters-sentences;
  	combinatory-logic;variable-free-semantics;}
  }

@inproceedings{ jacobson_p:2000b,
  author = {Paulene Jacobson},
  title = {Paychecks, Stress, and Variable-Free Semantics},
  booktitle = {Proceedings from Semantics and Linguistic Theory {X}},
  publisher = {Cornell University},
  year = {2000},
  editor = {Brendan Jackson and Tanya Matthews},
  pages = {65--82},
  address = {Ithaca, New York},
  topic = {nl-semantics;variable-free-semantics;anaphora;contrastive-stress;}
  }

@article{ jacobson_p:2002a,
  author = {Pauline Jacobson},
  title = {The (Dis)Organization of the Grammar: 25 Years},
  journal = {Linguistics and Philosophy},
  year = {2002},
  volume = {25},
  number = {5--6},
  pages = {601--626},
  topic = {nl-semantics;compositionality;syntax-semantics-interface;}
  }

@inproceedings{ jacobson_p:2002b,
  author = {Pauline Jacobson},
  title = {Direct Compositionality and Variable-Free
     		Semantics: The Case of Binding into Heads},
  booktitle = {Proceedings from Semantics and Linguistic Theory {XII}},
  publisher = {Cornell University},
  year = {2002},
  editor = {Brendan Jackson},
  pages = {144--163},
  address = {Ithaca, New York},
  topic = {nl-semantics;variable-free-semantics;compositionality;
  		syntactic-binding;}
  }

@incollection{ jacquemin-bush_c:2000a,
  author = {Christian Jacquemin and Caroline Bush},
  title = {Combining Lexical and Formatting Cues for Named Entity
  		Acquisition from the Web},
  booktitle = {Proceedings of the 2000 Joint {SIGDAT} Conference
  	on Empirical Methods in Natural Language Processing},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  editor = {Hinrich Sch\"utze and Keh-Yih Su},
  pages = {181--189},
  address = {Somerset, New Jersey},
  topic = {named-entity-tagging;}
  }

@inproceedings{ jacquemin-etal:1997a,
  author = {Christian Jacquemin and Judith L. Klavans and Evelyne
			Tzoukermann},
  title = {Expansion of Multi-Word Terms for Indexing and Retrieval
		Using Morphology and Syntax},
  booktitle = {Proceedings of the Thirty-Fifth Annual Meeting of the
		{A}ssociation for {C}omputational {L}inguistics and Eighth
		Conference of the {E}uropean Chapter of the {A}ssociation
		for {C}omputational {L}inguistics},
  year = {1997},
  editor = {Philip R. Cohen and Wolfgang Wahlster},
  pages = {24--31},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  topic = {information-retrieval;document-classification;}
 }

@article{ jacquette:1970a,
  author = {Dale Jacquette},
  title = {The Hidden Logic of the Slippery Slope Argument},
  journal = {Philosophy and Rhetoric},
  year = {1989},
  volume = {22},
  pages = {59--70},
  missinginfo = {number.},
  topic = {vagueness;}
  }

@book{ jacquette:1996a,
  author = {Dale Jaquette},
  title = {Meinongian Logic},
  publisher = {Walter de Gruyter},
  year = {1996},
  address = {Berlin},
  rtnote = {In RHT collection.},
  ISBN = {3-11-01485-X},
  xref = {Review: mares:1999a.},
  topic = {(non)existence;}
 }

@article{ jacquette:1999a,
  author = {Dale Jacquette},
  title = {Review of \emph{{T}he Logic of Intentional Objects: A
  	{M}einongian Version of Classical Logic}, by {J}acek
	{P}a\'sniczek},
  journal = {Journal of Symbolic Logic},
  year = {1999},
  volume = {64},
  number = {4},
  pages = {1847--1849},
  xref = {Review of: pasniczek:1998a.},
  topic = {Meinong;(non)existence;intensionality;}
  }

@book{ jacquette:2002a,
  editor = {Dale Jacquette},
  title = {A Companion to Philosophical Logic},
  publisher = {Blackwell Publishers},
  year = {2002},
  address = {Oxford},
  ISBN = {0-631-21-21671-5},
  xref = {Review: jepsen:2004a.},
  topic = {philosophical-logic;}
 }

@article{ jacquette:2006a,
  author = {Dale Jacquette},
  title = {Propositions, Sets, and Worlds},
  journal = {Studia Logica},
  year = {2006},
  volume = {82},
  number = {1},
  pages = {337--343},
  topic = {philosophy-of-possible-worlds;}
  }

@article{ jacquette:2006b,
  author = {Dale Jacquette},
  title = {Bochenski on Property Identity and the Refutation of Universals},
  journal = {Journal of Philosophical Logic},
  year = {2006},
  volume = {35},
  number = {3},
  pages = {293--316},
  topic = {properties;identity;}
  }

@book{ jaeger_l:1999a,
  author = {Leon Jaeger},
  title = {The Nature of Idioms},
  publisher = {Peter Lang},
  year = {1999},
  address = {Berlin},
  ISBN = {0-8204-4605-X (pbk)},
  topic = {idioms;}
 }

@article{ jaeger_m:1993a,
  author = {Manfred Jaeger},
  title = {Circumscription: Completeness Reviewed},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {60},
  number = {2},
  pages = {293--301},
  topic = {circumscription;nonmonotonic-logic;}
  }

@incollection{ jaeger_m:1994a,
  author = {Manfred Jaeger},
  title = {Probabilistic Reasoning in Terminological Logics},
  booktitle = {{KR}'94: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
  pages = {305--316},
  address = {San Francisco, California},
  topic = {kr;description-logics;probabilistic-reasoning;kr-course;}
  }

@incollection{ jaeger_m:1996a,
  author = {Manfred Jaeger},
  title = {Representation Independence of Nonmonotonic Inference
  	Relations},
  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 = {461--472},
  address = {San Francisco, California},
  topic = {kr;nonmonotonic-logic;kr-course;}
  }

@incollection{ jaeger_m:1998a,
  author = {Manfred Jaeger},
  title = {Reasoning about Infinite Random Structures with
		Relational {B}ayesian Networks},
  booktitle = {{KR}'98: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1998},
  editor = {Anthony G. Cohn and Lenhart Schubert and Stuart C.
		Shapiro},
  pages = {570--581},
  address = {San Francisco, California},
  topic = {kr;extensions-of-Bayesian-networks;kr-course;}
  }

@article{ jaeger_m:2000a,
  author = {Manfred Jaeger},
  title = {On the Complexity of Inference about Probabilistic
  	Relational Models},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {117},
  number = {2},
  pages = {297--308},
  acontentnote = {Abstract:
     We investigate the complexity of probabilistic inference from
     knowledge bases that encode probability distributions on finite
     domain relational structures.  Our interest here lies in the
     complexity in terms of the domain under consideration in a
     specific application instance.  We obtain the result that
     assuming NETIME/=ETIME this problem is not polynomial for
     reasonably expressive representation systems.  The main
     consequence of this result is that it is unlikely to find
     inference techniques with a better worst-case behavior than the
     commonly employed strategy of constructing standard Bayesian
     networks over ground atoms (knowledge based model construction).},
  topic = {bayesian-networks;complexity-in-AI;}
  }

@incollection{ jager_g:1991a,
  author = {Gerhard J\"ager},
  title = {Notions of Nonmonotonic Derivability},
  booktitle = {Nonmonotonic and Inductive Logics},
  publisher = {Springer-Verlag},
  year = {1991},
  editor = {J\"urgen Dix and Klaus P. Jantke and P.H. Schmidt},
  pages = {74--84},
  address = {Berlin},
  missinginfo = {E's 1st name.},
  rtnote = {In RHT collection.},
  topic = {nonmonotonic-logic;}
  }

@incollection{ jager_g:1999a,
  author = {Gerhard J\"ager},
  title = {Deconstruction {J}acobson's {\bf Z}},
  booktitle = {Proceedings of the Twelfth {A}msterdam Colloquium},
  publisher = {ILLC/Department of Philosophy, University
		of Amsterdam},
  year = {1999},
  editor = {Paul Dekker},
  pages = {133--138},
  address = {Amsterdam},
  topic = {categorial-grammar;nl-semantics;anaphora;}
  }

@article{ jager_g:2001a,
  author = {Gerhard J\"ager},
  title = {First Order Theories for Nonmonotonic Inductive Definitions:
  	Recursively Inaccessible and Mahlo},
  journal = {Journal of Symbolic Logic},
  year = {2001},
  volume = {66},
  number = {3},
  pages

license: MIT

license_type: permissive

branch_name: refs/heads/master

gha_license_id: MIT

extension: bib