text:
= {1073--1089},
  topic = {inductive-definitions;nomonotinic-reasoning;proof-theory;}
  }

@article{ jager_g:2002a,
  author = {Gerhard J\"ager},
  title = {Some Notes on the Formal Properties of Bidirectional
  	Optimality Theory},
  journal = {Journal of Logic, Language, and Information},
  year = {2002},
  volume = {11},
  number = {4},
  pages = {427--451},
  topic = {optimality-theory;finite-state-automata;}
  }

@article{ jager_g:2004a,
  author = {Gerhard J\"ager},
  title = {Residuation, Structural Rules and Context Freeness},
  journal = {Journal of Logic, Language, and Information},
  year = {2004},
  volume = {13},
  number = {1},
  pages = {47--59},
  topic = {categorial-grammar;}
  }

@article{ jager_g:2007a,
  author = {Gerhard J\"ager},
  title = {The Evolution of Convex Categories},
  journal = {Linguistics and Philosophy},
  year = {2007},
  volume = {30},
  number = {5},
  pages = {551--564},
  topic = {evolutionary-game-theory;language-origins;conceptual-spaces;}
  }

@incollection{ jager_g-stark_rf:1998a,
  author = {Gerhard J\"ager and Robert F. St\"ark},
  title = {A Proof-Theoretic Framework for Logic Programming},
  booktitle = {Handbook of Proof Theory},
  publisher = {Elsevier Science Publishers},
  year = {1998},
  editor = {Samuel R. Buss},
  pages = {639--682},
  address = {Amsterdam},
  xref = {Review: arai:1998a.},
  topic = {proof-theory;logic-programming;}
 }

@article{ jager_t:1982a,
  author = {Thomas Jager},
  title = {An Actualist Semantics for Quantified Modal Logic},
  journal = {Notre {D}ame Journal of Formal Logic},
  year = {1982},
  volume = {23},
  number = {3},
  pages = {335--349},
  rtnote = {In RHT collection.},
  topic = {quantifying-in-modality;possible-worlds-semantics;
  		first-order-modal-logic;}
  }

@book{ jahne-etal:1999a,
  editor = {Bernd J\"ahne and Horst Haussecker and Peter Geissler},
  title = {Handbook of Computer Vision and Applications:
  	Volume 1, Sensors and Imaging},
  publisher = {Academic Press},
  year = {1999},
  address = {New York},
  ISBN = {0123797705 (set), 0123797713 (v. 1)},
  rtnote = {UMich Media Union Library, TA 1634 .H361 1999},
  xref = {Reviews: rosenfeld:2000a.},
  topic = {computer-vision;}
 }

@book{ jahne-etal:1999b,
  editor = {Bernd J\"ahne and Horst Haussecker and Peter Geissler},
  title = {Handbook of Computer Vision and Applications,
  	Volume 2, Signal Processing and Pattern Recognition},
  publisher = {Academic Press},
  year = {1999},
  address = {New York},
  ISBN = {0123797705 (set) 0123797721 (v. 2)},
  rtnote = {UMich Media Union Library, TA 1634 .H361 1999},
  xref = {Reviews: rosenfeld:2000a.},
  topic = {computer-vision;}
 }

@book{ jahne-etal:1999c,
  editor = {Bernd J\"ahne and Horst Haussecker and Peter Geissler},
  title = {Handbook of Computer Vision and Applications,
  	Volume 3, Systems and Applications},
  publisher = {Academic Press},
  year = {1999},
  address = {New York},
  ISBN = {0123797705 (set),012379773X (v. 3)},
  rtnote = {UMich Media Union Library, TA 1634 .H361 1999},
  topic = {computer-vision;}
 }

@inproceedings{ jain_a-sharma:1990a,
  author = {Sanjay Jain and Arun Sharma},
  title = {Hypothesis Formation and Language Acquisition with an
  	Infinitely-Often Correct Teacher},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
    Proceedings of the Third Conference ({TARK} 1990)},
  year = {1990},
  editor = {Rohit Parikh},
  pages = {225--239},
  publisher = {Morgan Kaufmann},
  address = {Los Altos, California},
  topic = {learning-theory;language-learning;}
  }

@incollection{ jain_a-waibel:1981a,
  author = {Ajay N. Jain and Alex H. Waibel},
  title = {Parsing with Connectionist Networks},
  booktitle = {Current Issues in Parsing Technology},
  publisher = {Kluwer Academic Publishers},
  year = {1981},
  editor = {Masaru Tomita},
  pages = {243--260},
  address = {Dordrecht},
  topic = {parsing-algorithms;connectionist-models;}
  }

@book{ james_f:1986a,
  author = {Francis James},
  title = {Semantics of the {E}nglish Subjunctive},
  publisher = {University of British Columbia Press},
  year = {1986},
  address = {Vancouver},
  ISBN = {ISBN 0-7748-0255-3},
  topic = {nl-mood;}
 }

@incollection{ jameson:1989a,
  author = {Anthony Jameson},
  title = {But What Will the Listener Think?  Belief Ascription and
  	Image Maintenance in Dialog},
  booktitle = {User Models in Dialog Systems},
  publisher = {Springer-Verlag},
  year = {1989},
  editor = {Alfred Kobsa and Wolfgang Wahlster},
  pages = {255--312},
  address = {Berlin},
  topic = {user-modeling;}
 }

@incollection{ jameson:1995a,
  author = {Anthony Jameson},
  title = {Logic Is Not Enough: Why reasoning about Another
  	Person's Beliefs Is Reasoning Under Uncertainty},
  booktitle = {Knowledge and Belief in Philosophy and Artificial
  	Intelligence},
  publisher = {Akedemie Verlag},
  year = {1995},
  editor = {Armin Laux and Heinrich Wansing},
  address = {Berlin},
  missinginfo = {pages},
  topic = {reasoning-about-knowledge;belief;}
  }

@inproceedings{ jamil:2000a,
  author = {Hasan M. Jamil},
  title = {A Logic-Based Language for Parametric Inheritance},
  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 = {611--622},
  topic = {inheritance-theory;}
  }

@article{ jamnik-etal:1999a,
  author = {Mateja Jamnik and Alan Bundy and Ian Green},
  title = {On Automating Diagrammatic Proofs of Arithmetic
  	Arguments},
  journal = {Journal of Logic, Language, and Information},
  year = {1999},
  volume = {8},
  number = {3},
  pages = {297--321},
  topic = {reasoning-with-diagrams;}
  }

@article{ jamzad-etal:2000a,
  author = {Mansour Jamzad and Amirali Foroughnassiraei and Ehsan
  	Chiniforooshan and Reza Ghorbani and Moslem Kazemi and Hamidreza
	Chitsaz and Farid Mobasser and Sayyed Sadjad},
  title = {Arvand: A Soccer Player Robot},
  journal = {The {AI} Magazine},
  year = {2000},
  volume = {21},
  number = {3},
  pages = {47--51},
  topic = {RoboCup;robotics;}
  }

@inproceedings{ janda:1985a,
  author = {Richard Janda},
  title = {Echo Questions Are about What?},
  booktitle = {Proceedings of the Twenty-First Regional Meeting of the
  	Chicago Linguistics Society},
  year = {1985},
  publisher = {Chicago Linguistics Society},
  address = {Chicago University, Chicago, Illinois},
  missinginfo = {editor, pages},
  topic = {echo-questions;}
  }

@book{ janda-sandoval:1984a,
  author = {Richard Janda and Maria Sandoval},
  title = {`{E}lsewhere' in Morphology},
  publisher = {Indiana Linguistics Club},
  year = {1984},
  address = {Department of Linguistics, University of Indiana,
 	Bloomington, Indiana},
  rtnote = {In RHT collection.},
  topic = {morphology;nm-ling;}
 }

@article{ jane:2006a,
  author = {Ignacio Jane},
  title = {What is {T}arski's \emph{Common} Concept of Consequence?},
  journal = {The Bulletin of Symbolic Logic},
  year = {2006},
  volume = {12},
  number = {1},
  pages = {1--42},
  topic = {Tarski;logical-consequence;history-of-logic;}
  }

@article{ jane-uzquiano:2004a,
  author = {Ignacio Jan\'e and Gabriel Uzquiano},
  title = {Well- and Non-Well-Founded {F}regean Extensions},
  journal = {Journal of Philosophical Logic},
  year = {2004},
  volume = {33},
  number = {5},
  pages = {437--465},
  topic = {higher-order-logic;foundations-of-set-theory;nonwellfounded-sets;}
  }

@incollection{ jang:1992a,
  author = {Yeona Jang},
  title = {Knowledge Representation and Incorporation in a Hybrid
  	System with Feedback},
  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 = {477--488},
  address = {San Mateo, California},
  topic = {kr;diagnosis;hybrid-kr-architectures;}
  }

@inproceedings{ jang-woo:2003a,
  author = {Seiie Jang and Woontack Woo},
  title = {Ubi-{UCAM}: A Unified Context-Aware Application Model},
  booktitle = {Modeling and Using Context: Fourth International and
  	Interdisciplinary Conference, Context 2003},
  publisher = {Springer-Verlag},
  year = {2003},
  editor = {Patrick Blackburn and Chiara Ghidini and Roy M. Turner
  	and Fausto Giunchiglia},
  pages = {178--189},
  address = {Berlin},
  topic = {context;context-aware-computing;}
  }

@article{ janhunen:2003a,
  author = {Tomi Janhunen},
  title = {Evaluating the Effect of Semi-Normality on the
  		Expressiveness of Defaults},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {144},
  number = {2},
  pages = {233--250},
  topic = {nonmonotonic-logic;default-logic;}
  }

@inproceedings{ janhunen-etal:2000a,
  author = {Tomi Janhunen and Ilkka Niemel\"a and Patrick Simons
         and Jia-Huai You},
  title = {Unfolding Partiality and Disjunctions in Stable Model
  	Semantics},
  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 = {411--419},
  topic = {logic-programming;stable-models;}
  }

@incollection{ janlert:1987a,
  author = {Lars-Erik Janlert},
  title = {Modeling Change---the Frame Problem},
  booktitle = {The Robot's Dilemma: The Frame Problem
    		 in Artificial Intelligence},
  editor = {Zenon Pylyshyn},
  publisher = {Ablex Publishing Co.},
  address = {Norwood, New Jersey},
  year = {1987},
  pages = {1--40},
  topic = {frame-problem;temporal-reasoning;}
    }

@incollection{ janlert:1996a,
  author = {Lars-Erik Janlert},
  title = {The Frame Problem: Freedom or
         Stability?  With Pictures We Can Have Both},
  booktitle = {The Robot's Dilemma Revisited: The Frame Problem
             in Artificial Intelligence},
  publisher = {Ablex Publishing Co.},
  year = {1996},
  editor = {Kenneth M. Ford and Zenon Pylyshyn},
  pages = {35--48},
  address = {Norwood, New Jersey},
  topic = {frame-problem;}
  }

@article{ jansana:1995a,
  author = {Ramon Jansana},
  title = {Abstract Modal Logic},
  journal = {Studia Logica},
  year = {1995},
  volume = {55},
  number = {2},
  pages = {259--271},
  topic = {abstract-logic;modal-logic;}
  }

@article{ janssen_mcw-tan_yh:1991a,
  author = {M.C.W. Janssen and Y.-H. Tan},
  title = {Why {F}riedman's Non-Monotonic Reasoning Defies
  	{H}empel's Covering Law Model},
  journal = {Synth\'ese},
  year = {1991},
  volume = {86},
  number = {2},
  pages = {225--284},
  topic = {nonmonotonic-reasoning;explanation;}
  }

@incollection{ janssen_tmv:1984a,
  author = {Theo M.V. Janssen},
  title = {Individual Concepts are Useful},
  booktitle = {Varieties of Formal Semantics},
  publisher = {Foris Publications},
  year = {1984},
  editor = {Fred Landman and Frank Veltman},
  pages = {171--192},
  address = {Dordrecht},
  topic = {nl-semantics;individual-concepts;}
  }

@techreport{ janssen_tmv:1988a,
  author = {Theo M.V. Janssen},
  title = {A Mathematical Model of the Cat Framework of {E}urotra},
  institution = {Institute for Language, Logic and Information, University
  	of Amsterdam},
  number = {LP-88-09},
  year = {1988},
  address = {Faculty of Mathematics and Computer Science, Roeterssraat 15,
  	1018WB Amsterdam, Holland },
  rtnote = {In RHT collection.},
  topic = {machine-translation;categorial-grammar;}
  }

@incollection{ janssen_tmv:1996a,
  author = {Theo M.V. Janssen},
  title = {Compositionality},
  booktitle = {Handbook of Logic and Language},
  publisher = {Elsevier},
  year = {1996},
  editor = {Johan {van Benthem} and Alice {ter Meulen}},
  pages = {417--473},
  address = {Amsterdam},
  topic = {nl-semantics;compositionality;}
  }

@incollection{ janssen_tmv:1999a,
  author = {Theo M.V. Janssen},
  title = {{IF} Logic and Informational Independence},
  booktitle = {Proceedings of the Twelfth {A}msterdam Colloquium},
  publisher = {ILLC/Department of Philosophy, University
	of Amsterdam},
  year = {1999},
  editor = {Paul Dekker},
  pages = {139--144},
  address = {Amsterdam},
  note = {With an appendix by Barbara H. Partee},
  topic = {game-theoretic-semantics;}
  }

@article{ janssen_tmv:2001a,
  author = {Theo M.V. Janssen},
  title = {Frege, Contextuality and Compositionality},
  journal = {Journal of Logic, Language, and Information},
  year = {2001},
  volume = {10},
  number = {1},
  pages = {137--143},
  topic = {compositionality;Frege;foundations-of-semantics;}
  }

@article{ janssen_tmv:2002a,
  author = {Theo M.V. Janssen},
  title = {Independent Choices and the Interpretation of {IF} LOgic},
  journal = {Journal of Logic, Language, and Information},
  year = {2002},
  volume = {11},
  number = {3},
  pages = {367--387},
  topic = {game-theoretic-semantics;}
  }

@article{ janssen_tmv-etal:1977a,
  author = {Theo M.V. Janssen and Gerard Kok and Lambert Meertens},
  title = {On Restrictions on Transformational Grammars
  	Reducing the Generative Power},
  journal = {Linguistics and Philosophy},
  year = {1977},
  volume = {1},
  number = {1},
  pages = {111--118},
  topic = {transformational-grammar;formal-language-theory;}
  }

@incollection{ jantke:1991a,
  author = {Klaus P. Jantke},
  title = {Monotonic and Nonmonotonic Inductive Inference of Functions
  	and Patterns},
  booktitle = {Nonmonotonic and Inductive Logics},
  publisher = {Springer-Verlag},
  year = {1991},
  editor = {J\"urgen Dix and Klaus P. Jantke and P.H. Schmidt},
  pages = {161--177},
  address = {Berlin},
  missinginfo = {E's 1st name.},
  topic = {nonmonotonic-logic;}
  }

@article{ jantzen-danks:2008a,
  author = {Benjamin Jantzen and David Danks},
  title = {Biological Codes and Topological Causation},
  journal = {Philosophy of Science},
  year = {2008},
  volume = {75},
  number = {3},
  pages = {259--277},
  topic = {genetics;molecular-biology;causality;graph-based-representationsl;}
  }

@article{ janusz:2001a,
  author = {Mirek Janusz},
  title = {Review of \emph{{T}he Foundations of Causal Decision Theory},
  	by {J}ames {J}oyce},
  journal = {The Philosophical Review},
  year = {2001},
  volume = {110},
  number = {2},
  pages = {296--300},
  xref = {Review of: joyce:1999a.},
  topic = {causal-decision-theory;}
  }

@incollection{ japaridze-dejongh_d:1998a,
  author = {Giorgi Japaridze and Dick de Jongh},
  title = {The Logic of Provability},
  booktitle = {Handbook of Proof Theory},
  publisher = {Elsevier Science Publishers},
  year = {1998},
  editor = {Samuel R. Buss},
  pages = {475--536},
  address = {Amsterdam},
  xref = {Review: arai:1998a.},
  topic = {provability-logic;modal-logic;}
 }

@techreport{ jarborg:1973a,
  author = {Jerker J\"arborg},
  title = {On the Categories of Change in Natural Language},
  institution = {Logical Grammar Reports, Department of Linguistics,
  	University of G\"oteborg},
  year = {1973},
  address = {S--412 56 G\"oteborg, Sweden},
  rtnote = {In RHT collection.},
  topic = {tense-aspect;}
  }

@techreport{ jarborg:1974a,
  author = {Jerker J\"arborg},
  title = {On Interpreting Propositional Attitudes},
  institution = {Logical Grammar Reports, Department of Linguistics,
  	University of G\"oteborg},
  year = {1974},
  address = {S--412 56 G\"oteborg, Sweden},
  rtnote = {In RHT collection.},
  topic = {propositional-attitudes;belief;knowledge;}
  }

@article{ jarmuzek-pietruszczak:2009a,
  author = {Tomasz Jarmu\.zek and Andrzej Pietruszczak},
  title = {The Tense Logic for Master Argument in {P}rior's
  		Reconstruction},
  journal = {Studia Logica},
  year = {2009},
  volume = {92},
  number = {1},
  pages = {85--108},
  topic = {branching-time;future-contingent-propositions;Prior;}
  }

@article{ jarrah-halawani:2001a,
  author = {Omar Al-Jarrah and Alaa Halawani},
  title = {Recognition of Gestures in {A}rabic Sign Language Using
  	Neuro-Fuzzy Systems},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {133},
  number = {1--2},
  pages = {117--138},
  topic = {sign-language;gesture-recognition;Arabic-language;}
  }

@article{ jarrett:1998a,
  author = {Greg Jarrett},
  title = {Review of \emph{{L}anguage Thought and Consciousness:
  	An Essay in Philosophical Psychology}, by {P}eter {C}arruthers},
  journal = {The Philosophical Review},
  year = {1998},
  volume = {107},
  number = {2},
  pages = {315--317},
  xref = {Review of carruthers:1996a.},
  topic = {language-of-thought;foundations-of-semantics;}
  }

@book{ jarvella-klein_w:1982a,
  editor = {Robert J. Jarvella and Wolfgang Klein},
  title = {Speech, Place, and Action: Studies in Deixis and Related
  	Topics},
  publisher = {John Wiley and Sons},
  year = {1982},
  address = {New York},
  ISBN = {0471100455},
  rtnote = {UMich Graduate Library, P 299.D44 S641.},
  topic = {demonstratives;deixis;pragmatics;}
 }

@article{ jarvella-lundquist:1994a,
  author = {Robert J. Jarvella and Lita Lundquist},
  title = {Scales in the Interpretation of Words, Sentences, and Texts},
  journal = {Journal of Semantics},
  year = {1994},
  volume = {11},
  number = {2},
  pages = {171--198},
  topic = {semantic-processing;scalar-reasoning;}
  }

@article{ jarvie:2000a,
  author = {I.C. Jarvie},
  title = {Review of \emph{{C}ulture: The Anthropologist's Account}, by
  	{A}dam {K}uper},
  journal = {Philosophy of Science},
  year = {2000},
  volume = {67},
  number = {3},
  pages = {540--546},
  xref = {Review of: kuper:1999a.},
  topic = {cultural-anthropology;philosophy-of-social-science;}
  }

@article{ jary:2007a,
  author = {Mark Jary},
  title = {Are Explicit Performatives Assertions?},
  journal = {Linguistics and Philosophy},
  year = {2007},
  volume = {30},
  number = {2},
  pages = {207--234},
  topic = {speech-acts;assertion;}
  }

@incollection{ jaspars:1993a,
  author = {Jan O.M. Jaspars},
  title = {Logical Omniscience and Inconsistent Belief},
  booktitle = {Diamonds and Defaults},
  publisher = {Kluwer Academic Publishers},
  editor = {Maarten de Rijke},
  year = {1993},
  pages = {129--146},
  address = {Dordrecht},
  topic = {hyperintensionality;epistemic-logic;}
  }

@incollection{ jaspars-kameyama:1998a,
  author = {Jan Jaspars and Megumi Kameyama},
  title = {Discourse Preferences and Dynamic Logic},
  booktitle = {Computing Natural Language},
  publisher = {{CSLI} Publications},
  year = {1998},
  editor = {Atocha Aliseda and Rob {van Glabbeek} and Dag Westerst{\aa}hl},
  pages = {67--96},
  address = {Stanford, California},
  topic = {dynamic-logic;modal-logic;model-preference;
  	discourse-reasoning;anaphora;}
  }

@incollection{ jaspars-koller_d:1999a,
  author = {Jan Jaspars and Alexander Koller},
  title = {A Calculus for Direct Deduction with Dominance Effects},
  booktitle = {Proceedings of the Twelfth {A}msterdam Colloquium},
  publisher = {ILLC/Department of Philosophy, University
		of Amsterdam},
  year = {1999},
  editor = {Paul Dekker},
  pages = {145--150},
  address = {Amsterdam},
  topic = {semantic-underspecification;}
  }

@article{ jaszczolt:1998a,
  author = {Katarzyna M. Jaszczolt},
  title = {Discourse about Beliefs},
  journal = {Theoretical Linguistics},
  year = {1998},
  volume = {24},
  number = {1},
  pages = {1--28},
  topic = {belief;discourse-referents;discourse-representation-theory;}
  }

@book{ jaszczolt:1999a,
  author = {Katarzyna M. Jaszczolt},
  title = {Discourse: Beliefs and Intentions: Semantic Defaults
  	and Propositional Attitude Reports},
  publisher = {Elsevier},
  year = {1999},
  address = {Amsterdam},
  ISBN = {0-08-043060-0},
  topic = {pragmatics;propositional-attitudes;}
 }

@book{ jaszczolt:2000a,
  editor = {Katarzyna M. Jaszczolt},
  title = {The Pragmatics of Propositional Attitude Reports},
  publisher = {Elsevier},
  year = {2000},
  address = {Amsterdam},
  ISBN = {0080436358},
  contentnote = {TC:
     1. K.M. Jaszczolt, "Belief Reports and Pragmatic Theory: The
     		State of the Art"
     2. S. Schiffer, "Propositional Attitudes in Direct-Reference
     		Semantics"
     3. P. Ludlow, "Interpreted Logical Forms, Belief Attribution,
     		and The Dynamic Lexicon"
     4. L.  Clapp, "Beyond Sense and Reference: An Alternative
     		Response to the Problem of Opacity"
     5. M.J. Cresswell, "How Do We Know What {G}alileo Said?
     6. K. Bach, "A Puzzle about Belief Reports"
     7. K. Bach, "Do Belief Reports Report Beliefs?"
     8. A. Bezuidenhout, "Attitude Ascriptions, Context and
     		Interpretive resemblance"
     9. K.M. Jaszczolt, "The Default-Based Context-Dependence of
     		Belief Reports"
    10. D.W. Smith, "The Background of Propositional Attitudes and
    		Reports Thereof"
  },
  topic = {propositional-attitude-reports;}
 }

@incollection{ jauregui:2006a,
  author = {Victor Jauraegui},
  title = {Semantical Considerations for a Logic of Actions:
    		An Imperative Manifesto},
  booktitle = {{KR}2006: Proceedings, Tenth International Conference on
      Principles of  Knowledge Representation and Reasoning},
  publisher = {AAAI Press},
  year = {2006},
  editor = {Patrick Doherty and John Mylopoulos and Christopher A. Welty},
  pages = {371--376},
  address = {Menlo Park, California},
  topic = {action;imperative-logic;}
  }

@article{ jauregui-etal:2001a,
  author = {Victor Jauregui and Maurice Pagnucco and Norman Y. Foo},
  title = {A Trajectory Approach to Causality},
  journal = {Studia Logica},
  year = {2001},
  volume = {67},
  number = {3},
  pages = {385--401},
  topic = {action-formalisms;ramification-problem;causality;}
  }

@book{ jayez:1988a,
  author = {Jacques Jayez},
  title = {L'inference en Langue Naturel: Le Probl\'eme des Connecteurs;
	Repr/'esentation et Calcul},
  publisher = {Herm\'es},
  year = {1988},
  address = {Paris},
  rtnote = {Cited in hirst_g-ryan:1992a.},
  topic = {nl-as-kr;}
 }

@incollection{ jayez:1995a,
  author = {Jacques Jayez},
  title = {Introducing {L}ex{L}og},
  booktitle = {Computational Lexical Semantics},
  publisher = {Cambridge University Press},
  year = {1995},
  editor = {Patrick Saint-Dizier and Evelyne Viegas},
  pages = {399--425},
  address = {Cambridge, England},
  topic = {computational-lexical-semantics;}
  }

@inproceedings{ jayez:1999a,
  author = {Jacques Jayez},
  title = {Imperfectivity and Progressivity: The {F}rench Imparfait},
  booktitle = {Proceedings from Semantics and Linguistic Theory {IX}},
  publisher = {Cornell University},
  year = {1999},
  editor = {Tanya Matthews and Devon Strolovitch},
  pages = {145--162},
  address = {Ithaca, New York},
  topic = {nl-semantics;French-language;tense-aspect;}
  }

@incollection{ jayez-godard:1999a,
  author = {Jacques Jayez and Dani\'ele Godard},
  title = {True to Facts},
  booktitle = {Proceedings of the Twelfth {A}msterdam Colloquium},
  publisher = {ILLC/Department of Philosophy, University
		of Amsterdam},
  year = {1999},
  editor = {Paul Dekker},
  pages = {151--156},
  address = {Amsterdam},
  topic = {(counter)factive-constructions;}
  }

@incollection{ jayez-rossari:1998a,
  author = {Jacques Jayez and Corinne Rossari},
  title = {Discourse Relations Versus Discourse Marker Relations},
  booktitle = {Discourse Relations and Discourse Markers:  Proceedings
  	of the Conference},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Manfred Stede and Leo Wanner and Eduard Hovy},
  pages = {72--78},
  address = {Somerset, New Jersey},
  topic = {discourse-cue-words;discourse-structure;}
  }

@inproceedings{ jayez-tovena:2002a,
  author = {Jacques Jayez and Lucia M. Tovena},
  title = {Determiners and (Un)certainity},
  booktitle = {Proceedings from Semantics and Linguistic Theory {XII}},
  publisher = {Cornell University},
  year = {2002},
  editor = {Brendan Jackson},
  pages = {164--183},
  address = {Ithaca, New York},
  topic = {nl-semantics;expressions-of-uncertainty;}
  }

@article{ jayez-tovena:2005a,
  author = {Jacques Jayez and Lucia M. Tovena},
  title = {Free Choiceness and Non-Individuation},
  journal = {Linguistics and Philosophy},
  year = {2005},
  volume = {28},
  number = {1},
  pages = {1--71},
  topic = {free-choice-`any/or';French-language;}
  }

@article{ jeavons-cooper_mc:1996a,
  author = {Peter G. Jeavons and Martin C. Cooper},
  title = {Tractable Constraints on Ordered Domains},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {79},
  number = {2},
  pages = {327--339},
  acontentnote = {Abstract:
     Finding solutions to a constraint satisfaction problem is known
     to be an NP-complete problem in general, but may be tractable in
     cases where either the set of allowed constraints or the graph
     structure is restricted.  In this paper we identify a restricted
     set of contraints which gives rise to a class of tractable
     problems.  This class generalizes the notion of a Horn formula
     in propositional logic to larger domain sizes.  We give a
     polynomial time algorithm for solving such problems, and prove
     that the class of problems generated by any larger set of
     constraints is NP-complete.},
  topic = {constraint-satisfaction;complexity-in-AI;Horn-theories;}
  }

@article{ jeavons-etal:1998a,
  author = {Peter Jeavons and David Cohen and Martin C. Cooper},
  title = {Constraints, Consistency and Closure},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {101},
  number = {1--2},
  pages = {251--265},
  topic = {reasoning-about-consistency;}
  }

@incollection{ jefferson_g1:1972a,
  author = {G. Jefferson},
  title = {Side Sequences},
  booktitle = {Studies in Social Interaction},
  publisher = {The Free Press},
  year = {1972},
  editor = {D. Sudnow},
  pages = {294--338},
  address = {New York},
  missinginfo = {A's 1st name, E's 1st name.},
  topic = {conversation-analysis;}
  }

@article{ jefferson_g1:1974a,
  author = {G. Jefferson},
  title = {Error-Correction as an Interactional Resource},
  journal = {Language in Society},
  year = {1974},
  volume = {3},
  pages = {181--200},
  missinginfo = {A's 1st name, number},
  topic = {conversation-analysis;}
  }

@incollection{ jefferson_g1:1978a,
  author = {G. Jefferson},
  title = {Sequential Aspects of Story-Telling in Conversation},
  booktitle = {Studies in the Organization of Conversational
  	Interaction},
  publisher = {Academic Press},
  year = {1978},
  editor = {J. Schenkein},
  pages = {219--248},
  address = {New York},
  missinginfo = {A's 1st name.},
  topic = {conversation-analysis;}
  }

@incollection{ jefferson_g1:1984a,
  author = {G. Jefferson},
  title = {Stepwise Transitions out of Topic},
  booktitle = {Structures of Social Action},
  publisher = {Cambridge University Press},
  year = {1984},
  editor = {J.M. Atkinson and J. Heritage},
  address = {Cambridge},
  missinginfo = {A's 1st name, pages, date is a guess.},
  topic = {conversation-analysis;}
  }

@article{ jefferson_g2:1949a,
  author = {Geoffrey Jefferson},
  title = {The Mind of Mechanical Man},
  journal = {British Medical Journal},
  year = {1949},
  volume = {1},
  pages = {1105--1121},
  rtnote = {In RHT collection.},
  note = {The Lister Oration delivered at the Royal College of
  	Surgeons of England on June 9, 1949.},
  rtnote = {In RHT collection.},
  rtnote = {This is referred to in Turing 1950.},
  topic = {philosophy-of-mind;}
  }

@book{ jeffrey:1965a,
  author = {Richard C. Jeffrey},
  title = {The Logic of Decision},
  publisher = {McGraw-Hill},
  year = {1965},
  address = {New York},
  edition = {1},
  xref = {Later edition: jeffrey:1983a.},
  xref = {Review: schick:1967a.  Correction: jeffrey:1967a.},
  rtnote = {tmix-project;},
  topic = {decision-theory;}
 }

@article{ jeffrey:1967a,
  author = {Richard C. Jeffrey},
  title = {Solving the Problem of Measurement: A Correction},
  journal = {The Journal of Philosophy},
  year = {1967},
  volume = {64},
  number = {12},
  pages = {400--401},
  xref = {Correction to jeffrey:1965a.},
  topic = {decision-theory;}
  }

@incollection{ jeffrey:1970a,
  author = {Richard C. Jeffrey},
  title = {Dracula Meets Wolfman: Acceptance Vs. Partial Belief},
  booktitle = {Induction, Acceptance, and Rational Belief},
  publisher = {D. Reidel Publishing Co.},
  year = {1970},
  editor = {Marshall Swain},
  pages = {157--185},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {probability-kinematics;belief;}
  }

@article{ jeffrey:1977a,
  author = {Richard C. Jeffrey},
  title = {A Note on the Kinematics of Preference},
  journal = {Erkenntnis},
  year = {1977},
  volume = {11},
  pages = {135--141},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {decision-theory;preference-dynamics;}
  }

@incollection{ jeffrey:1977b,
  author = {Richard C. Jeffrey},
  title = {Coming True},
  booktitle = {Intention and Intentionality},
  publisher = {Harvester Press},
  year = {1979},
  editor = {Cora Diamond and Jenny Teichman},
  pages = {251--260},
  address = {Brighton, England},
  acontenttnote = {Abstract: A semantics for the modal operator "I"
          ("Ineluctably") in application to nonindexical statements p
          which can lack truth value until such time as they come
          true or come false, so that, e.g., if neither p nor -p has
          yet come true, pv-p has neither truth value, although
          i(pv-p) is true.  Conditionals, and Aristotle's sea battle,
          are considered.  },
  rtnote = {In RHT collection.},
  topic = {philosophy-of-time;future-contingent-propositions;}
  }

@unpublished{ jeffrey:1979a,
  author = {Richard L. Jeffrey},
  title = {Choice, Chance, and Credence},
  year = {1979},
  note = {Unpublished manuscript, Princeton University.},
  rtnote = {In RHT collection.},
  topic = {confirmation-theory;}
  }

@inproceedings{ jeffrey:1982a,
  author = {Richard Jeffrey},
  title = {The Sure Thing Principle},
  booktitle = {{PSA} 1982: Proceedings of the Biennial Meeting of the
	Philosophy of Science Association, Volume 2},
  year = {1982},
  editor = {Peter D. Asquith and Thomas Nickles},
  pages = {719--730},
  organization = {Philosophy of Science Association},
  publisher = {Philosophy of Science Association},
  address = {East Lansing, Michigan},
  rtnote = {In RHT collection.},
  topic = {decision-theory;dominance;}
  }

@book{ jeffrey:1983a,
  author = {Richard C. Jeffrey},
  title = {The Logic of Decision},
  publisher = {University of Chicago Press},
  year = {1983},
  address = {Chicago},
  edition = {2},
  topic = {decision-theory;}
 }

@article{ jeffrey:1991a,
  author = {Richard C. Jeffrey},
  title = {Matter of Fact Conditionals},
  journal = {Aristotelian {S}ociety, Supplementary Series},
  year = {1991},
  volume = {65},
  pages = {161--183},
  topic = {conditionals;}
  }

@book{ jeffrey:1992a,
  author = {Richard C. Jeffrey},
  title = {Probability and the Art of Judgment},
  publisher = {Cambridge University Press},
  year = {1992},
  address = {Cambridge, England},
  ISBN = {0521394597},
  rtnote = {UMich Graduate Library, BC 141 .J441 1992.},
  topic = {foundatiuons-of-probability;decision-theory;
  	foundations-of-statistics;}
 }

@incollection{ jeffrey:1992b,
  author = {Richard Jeffrey},
  title = {Probable Knowledge},
  booktitle = {Probability and the Art of Judgment},
  publisher = {Cambridge University Press},
  year = {1992},
  editor = {Richard Jeffrey},
  pages = {30--43},
  address = {Cambridge, England},
  topic = {knowledge;probability;}
  }

@incollection{ jeffrey:1992c,
  author = {Richard Jeffrey},
  title = {Valuation and Acceptance of Scientific Hypotheses},
  booktitle = {Probability and the Art of Judgment},
  publisher = {Cambridge University Press},
  year = {1992},
  editor = {Richard Jeffrey},
  pages = {14--29},
  address = {Cambridge, England},
  topic = {confirmation-theory;}
  }

@article{ jeffrey:1993a,
  author = {Richard Jeffrey},
  title = {Causality in the Logic of Decision},
  journal = {Philosophical Topics},
  year = {1994},
  volume = {21},
  number = {1},
  pages = {139--151},
  topic = {causal-decision-theory;Newcomb-problem;}
  }

@article{ jegou-terrioux:2003a,
  author = {Philippe J\'egou and Cyril Terrioux},
  title = {Hybrid Backtracking Bounded by Tree-Decomposition of
  	Constraint Networks},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {146},
  number = {1},
  pages = {43--75},
  topic = {constraint-networks;constraint-satisfaction;
  	empirical-methods-in-AI;}
  }

@article{ jelasity-dombi:1998a,
  author = {M\'ark Jelasity and J\'osef Dombi},
  title = {{GAS}, A Concept on Modeling Species in Genetic
		Algorithms},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {99},
  number = {1},
  pages = {1--19},
  topic = {genetic-algorithms;}
  }

@incollection{ jelinek_e:1985a,
  author = {Eloise Jelinek},
  title = {Quantification in {S}traits {S}alish},
  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 = {487--540},
  address = {Dordrecht},
  topic = {nl-semantics;nl-quantifiers;Salish-languages;}
  }

@book{ jelinek_f:1997a,
  author = {Frederick Jelinek},
  title = {Statistical Methods for Speech Recognition},
  publisher = {The {MIT} Press},
  year = {1997},
  address = {Cambridge, Massachusetts},
  xref = {Review: neufeld:1999a},
  rtnote = {In RHT collection.  CS Shelves.},
  topic = {speech-recognition;nl-statistics;hidden-Markov-models;}
 }

@book{ jenkins_l:1972a,
  author = {Lyle Jenkins},
  title = {Modality in {E}nglish Syntax},
  publisher = {Indiana University Linguistics Club},
  year = {1972},
  address = {310 Lindley Hall, Bloomington, Indiana},
  rtnote = {In RHT collection.},
  topic = {modals;}
 }

@article{ jenkins_l:1979a,
  author = {Lyle Jenkins},
  title = {The Genetics of Language},
  journal = {Linguistics and Philosophy},
  year = {1979},
  volume = {3},
  number = {1},
  pages = {105--119},
  topic = {foundations-of-syntax;foundations-of-universal-grammar;
  	language-universals;}
  }

@article{ jennings_nr:1995a,
  author = {Nicholas R. Jennings},
  title = {Controlling Cooperative Problem Solving in Industrial
  	Multi-Agent Systems Using Joint Intentions},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {75},
  number = {2},
  pages = {195--240},
  acontentnote = {Abstract:
     One reason why Distributed AI (DAI) technology has been deployed
     in relatively few real-size applications is that it lacks a
     clear and implementable model of cooperative problem solving
     which specifies how agents should operate and interact in
     complex, dynamic and unpredictable environments.  As a
     consequence of the experience gained whilst building a number of
     DAI systems for industrial applications, a new principled model
     of cooperation has been developed.  This model, called Joint
     Responsibility, has the notion of joint intentions at its core.
     It specifies pre-conditions which must be attained before
     collaboration can commence and prescribes how individuals should
     behave both when joint activity is progressing satisfactorily
     and also when it runs into difficulty.  The theoretical model has
     been used to guide the implementation of a general-purpose
     cooperation framework and the qualitative and quantitative
     benefits of this implementation have been assessed through a
     series of comparative experiments in the real-world domain of
     electricity transportation management.  Finally, the success of
     the approach of building a system with an explicit and grounded
     representation of cooperative problem solving is used to outline
     a proposal for the next generation of multi-agent systems.},
  topic = {task-allocation;multiagent-systems;distributed-computing;}
  }

@article{ jennings_nr:2000a,
  author = {Nicholas R. Jennings},
  title = {On Agent-Based Software Engineering},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {117},
  number = {2},
  pages = {277--296},
  acontentnote = {Abstract:
     Agent-based computing represents an exciting new synthesis both
     for Artificial Intelligence (AI) and, more generally, Computer
     Science.  It has the potential to significantly improve the
     theory and the practice of modeling, designing, and implementing
     computer systems.  Yet, to date, there has been little systematic
     analysis of what makes the agent-based approach such an
     appealing and powerful computational model.  Moreover, even less
     effort has been devoted to discussing the inherent disadvantages
     that stem from adopting an agent-oriented view.  Here both sets
     of issues are explored.  The standpoint of this analysis is the
     role of agent-based software in solving complex, real-world
     problems.  In particular, it will be argued that the development
     of robust and scalable software systems requires autonomous
     agents that can complete their objectives while situated in a
     dynamic and uncertain environment, that can engage in rich,
     high-level social interactions, and that can operate within
     flexible organisational structures. },
  topic = {multiagent-systems;distributed-systems;}
  }

@book{ jennings_nr-wooldridge:1998a,
  editor = {Nicholas R. Jennings and Michael J. Wooldridge},
  title = {Agent Technology: Foundations, Applications, and Markets},
  publisher = {Springer-Verlag},
  year = {1998},
  address = {Berlin},
  ISBN = {3540635912 (alk. paper)},
  rtnote = {UMich Media Union Library, QA 76.76 .I58 A351 1998.},
  topic = {multi-agent-systems;artificial-societies;}
 }

@article{ jennings_re1:1974a,
  author = {Raymond E. Jennings},
  title = {Utilitarian Semantics for Deontic Logic},
  journal = {Journal of Philosophical Logic},
  year = {1974},
  volume = {3},
  number = {4},
  pages = {445--456},
  contentnote = {Uses AE theory of set preference.},
  topic = {decision-theory;qualitative-utility;deontic-logic;preferences;}
  }

@article{ jennings_re1:1985a,
  author = {Raymond E. Jennings},
  title = {Can There be a Natural Deontic Logic},
  journal = {Synt\`hese},
  year = {1985},
  volume = {65},
  pages = {257--274},
  missinginfo = {number},
  topic = {decision-theory;qualitative-utility;}
  }

@book{ jennings_re1:1994a,
  author = {Raymond E. Jennings},
  title = {The Geneology of Disjunction},
  publisher = {Oxford University Press},
  year = {1994},
  address = {Oxford},
  xref = {Review: adams_ew:1998a.},
  topic = {disjunction;disjunction-in-nl;}
 }

@article{ jennings_re1-etal:1981a,
  author = {Raymond E. Jennings and Peter K. Schotch and D.K. Johnston},
  title = {The n-adic First-Order Undefinability of the{G}each Formula},
  journal = {Notre {D}ame Journal of Formal Logic},
  year = {1981},
  volume = {22},
  number = {4},
  pages = {375--378},
  rtnote = {In RHT collection.  The "Geach formula" is []p--><>p.},
  topic = {modal-logic;}
  }

@article{ jennings_re2:1981a,
  author = {Roy E. Jennings},
  title = {A Note of the Axiomatization of {B}rouwersche Modal Logic},
  journal = {Journal of Philosophical Logic},
  year = {1981},
  volume = {10},
  number = {2},
  pages = {341--343},
  topic = {modal-logic;completeness-theorems;}
  }

@book{ jensen:1996a,
  author = {Kurt Jensen},
  title = {Coloured {P}etri Nets: Basic Concepts, Analysis Methods,
  	and Practical Use, Volume 1},
  edition = {1},
  publisher = {Springer-Verlag},
  year = {1996},
  address = {Berlin},
  ISBN = {3540609431},
  rtnote = {UMich Media Library, QA 267 .J461 1996.},
  topic = {Petri-nets;colored-Petri-nets;}
 }

@book{ jensen_f-horvitz:1996a,
  editor = {Eric J. Horvitz and Finn Jensen},
  title = {Uncertainty in Artificial Intelligence.  Proceedings of
  	the Twelfth Conference (1996)},
  publisher = {Morgan Kaufmann Publishers},
  year = {1996},
  address = {San Francisco},
  topic = {reasoning-about-uncertainty;}
 }

@incollection{ jensen_hs:1991a,
  author = {Hans Siggard Jensen},
  title = {Extension and Intension in Anaphora Resolution},
  booktitle = {Working Papers in Computational Semantics, Dialogue and
  	Discourse},
  publisher = {Department of Mathematics, University of Oslo},
  year = {1991},
  editor = {Harold L. Somers},
  pages = {57--62},
  address = {P.O. Box 1053-Blindern, 0316 Oslo 3, Norway},
  topic = {anaphora;anaphora-resolution;intensionality;}
  }

@incollection{ jensen_hs:1991b,
  author = {Hans Sigurd Jensen},
  title = {Formal and Cognitive Semantics},
  booktitle = {Working Papers in Computational Semantics, Dialogue and
  	Discourse},
  publisher = {Department of Mathematics, University of Oslo},
  year = {1991},
  editor = {Harold L. Somers},
  pages = {116--120},
  address = {P.O. Box 1053-Blindern, 0316 Oslo 3, Norway},
  topic = {foundations-of-semantics;}
  }

@incollection{ jensen_k:1981a,
  author = {Karen Jensen},
  title = {A Broad-Coverage Natural Language Analysis System},
  booktitle = {Current Issues in Parsing Technology},
  publisher = {Kluwer Academic Publishers},
  year = {1981},
  editor = {Masaru Tomita},
  pages = {261--276},
  address = {Dordrecht},
  topic = {parsing-algorithms;}
  }

@book{ jensen_k:1995a,
  author = {Kurt Jensen},
  title = {Coloured Petri Nets: Basic Concepts, Analysis Methods and
  		Practical Use},
  publisher = {Springer-Verlag},
  year = {1995},
  address = {Berlin},
  ISBN = {3-540-58276-2},
  topic = {Petri-nets;colored-Petri-nets;}
 }

@book{ jensen_k-etal:1993a,
  author = {Karen Jensen and George E. Heidorn and Stephen D. Richardson},
  title = {Natural Language Processing: The {PLNLP} Approach},
  publisher = {Kluwer Academic Publishers},
  year = {1993},
  address = {Dordrecht},
  ISBN = {0792392795 (acid-free paper)},
  rtnote = {UMich GRADUATE LIBRARY, P 291 .B7261 2001.},
  contentnote = {TC:
     1. Alexis Manaster Ramer, "Towards transductive linguistics"
     2. Karen Jensen, "{PEG}: The {PLNLP} {E}nglish Grammar"
     3. Geogre Heidorn, "Experience with an Easily Computed
     		Metric for Ranking Alternative Parses"
     4. Karen Jensen et al., "Parse Fitting and Prose Fixing"
     5. Yael Ravin, "Grammar Errors and Style Weaknesses in a
     		Text-Critiquing System"
     6. Stephen Richardson and Lisa Braden-Harder, "The Experience of
     		Developing a Large-Scale Natural Language Processing
		System: Critique"
     7. Taijiro Tsutsumi, "A Prototype {E}nglish-{J}apanese Machine
     		Translation System"
     8.  Diana Santos, "Broad-Coverage Machine Translation"
     9.  Judith Klavans, Martin Chodorow, and Nina Wacholder, "Building
     		a Knowledge Base from Parsed Definitions"
    10.  Jean-Louis Binot and Karen Jensen, "A Semantic Expert Using
    		an Online Standard Dictionary"
  },
  topic = {nl-processing;}
 }

@article{ jensen_rm-etal:2008a,
  author = {Rune M. Jensen and Manuela M. Veloso and Randal E. Bryant},
  title = {State-Set Branching: Leveraging {BDD}s for Heuristic Search},
  journal = {Artificial Intelligence},
  year = {2008},
  volume = {172},
  number = {2--3},
  pages = {103--139},
  topic = {binary-decision-diagrams;heuristics;search;}
  }

@book{ jenson_rw:1988a,
  author = {Robert W. Jenson},
  title = {America's Theologian: A Recommendation of {J}onathan {E}dwards},
  publisher = {Oxford University Press},
  year = {1988},
  address = {Oxford},
  ISBN = {0-19-504941-1, 0-19-507786-5},
  topic = {Jonathan-Edwards;}
 }

@inproceedings{ jeong_hs-chi_mth:2000a,
  author = {Heisawn Jeong and Micheline T.H. Chi},
  title = {Does Collaborative Learning Lead to the Construction
  		of Common Knowledge?},
  booktitle = {Proceedings of the Twenty-Second Annual Conference
  		of the Cognitive Science Society},
  year = {2000},
  editor = {Leila R. Gleitman and Arivind K. Joshi},
  organization = {Cognitive Science Society},
  publisher = {Lawrence Erlbaum},
  address = {Mahwah, New Jersey},
  rtnote = {In RHT collection.  Filed under Chi.},
  missinginfo = {pages},
  topic = {learning;cognitive-psychology;mutual-belief;mutuality;}
  }

@article{ jepsen:2004a,
  author = {Torsten Jepsen},
  title = {Review of \emph{{A} Companion to Philosophical Logic},
  	by {D}ale {J}acquette},
  journal = {Studia Logica},
  year = {2004},
  volume = {77},
  number = {3},
  pages = {439--452},
  xref = {Review of: jacquette:2002a.},
  topic = {philosophical-logic;}
  }

@article{ jeroslaw:1975a,
  author = {Robert G. Jeroslaw},
  title = {Experimental Logics and $\Delta^0_2$ Theories},
  journal = {Journal of Philosophical Logic},
  year = {1975},
  volume = {4},
  number = {3},
  pages = {253--267},
  topic = {experimental-logics;}
  }

@article{ jervell:2002a,
  author = {Herman Ruge Jervell},
  title = {Review of ``The Complexity of Linear Logic with
  	Weakening,'', by {A}lisdair {U}rquhart},
  journal = {The Bulletin of Symbolic Logic},
  year = {2002},
  volume = {8},
  number = {1},
  pages = {100--101},
  xref = {Review of: urquhart:2000a.},
  topic = {linear-logic;proof-theory;complexity-theory;}
  }

@incollection{ jeshion:2006a,
  author = {Robin Jeshion},
  title = {Soames on Descriptive Reference-Fixing},
  booktitle = {Philosophy of Language},
  publisher = {Blackwell Publishers},
  year = {2006},
  editor = {Ernest Sosa and Enrique Villanueva},
  pages = {120--140},
  address = {Oxford},
  topic = {reference;philosophy-reference;philosophy-of-language;}
  }

@article{ jeske:1993a,
  author = {Diane Jeske},
  title = {Persons, Compensation, and Utilitarianism},
  journal = {The Philosophical Review},
  year = {1993},
  volume = {102},
  number = {4},
  pages = {541--575},
  topic = {utilitarianism;}
  }

@article{ jespersen_b:2008a,
  author = {Bj{\o}rn Jespersen},
  title = {Predication and Extensionalization},
  journal = {Journal of Philosophical Logic},
  year = {2008},
  volume = {37},
  number = {5},
  pages = {479--499},
  topic = {type-theory;intensional-logic;}
  }

@book{ jespersen_o:1938a,
  author = {Otto Jespersen},
  title = {Growth and Structure of the {E}nglish Language},
  edition = {10},
  publisher = {University of Chicago Press},
  year = {1938},
  address = {Chicago},
  note = {With a foreword by Randolph Quirk.},
  ISBN = {0226398773 (pbk.)},
  rtnote = {UMich Undergraduate, PE1075 .J58 1982.},
  topic = {English-language;}
 }

@book{ jespersen_o:1961a,
  author = {Otto Jespersen},
  title = {A Modern {E}nglish Grammar on Historical Principles},
  publisher = {John Dickens and Company},
  year = {1961},
  address = {Northampton, England},
  note = {Seven Volumes.  (This work was originally published in 1909.)},
  topic = {descriptive-grammar;English-language;
  	linguistics-classic;}
 }

@book{ jespersen_o:1965a,
  author = {Otto Jespersen},
  title = {The Philosophy of Grammar},
  publisher = {W.W.~Norton},
  year = {1965},
  address = {New York},
  note = {(This work was originally published in 1924.)},
  rtnote = {semantics-course;},
  topic = {nl-semantics;philosophy-of-language;}
 }

@article{ jia:2009a,
  author = {Jiyou Jia},
  title = {An {AI} Framework to Teach {E}nglish as a Foreign
  		Language: {CSIEC}},
  journal = {The {AI} Magazine},
  year = {2009},
  volume = {30},
  number = {2},
  pages = {59--71},
  topic = {intelligent-computer-assisted-language-instruction;}
  }

@inproceedings{ jian-shi:1999a,
  author = {Wenpin Jian and Ziongzhi Shi},
  title = {Formalizing Agent's Attitudes with Polyadic
  	$\pi$-Calculus},
  booktitle = {Proceedings of the {IJCAI}-99 Workshop on
  	Practical Reasoning and Rationality},
  year = {1999},
  editor = {John Bell},
  pages = {21--27},
  organization = {IJCAI},
  publisher = {International Joint Conference on Artificial Intelligence},
  address = {Murray Hill, New Jersey},
  topic = {agent-attitudes;polyadic-pi-calculus;}
  }

@incollection{ jiang_yj:1994a,
  author = {Yuejun J. Jiang},
  title = {On Multiagent Autoepistemic Logic---An Exospectrive View},
  booktitle = {{KR}'94: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
  pages = {317--328},
  address = {San Francisco, California},
  topic = {kr;autoepistemic-logic;multiagent-epistemic-logic;kr-course;}
  }

@article{ jimenez-torres:2000a,
  author = {P. Jimenez and C. Torres},
  title = {An Efficient Algorithm for Searching Implicit {AND/OR} Graphs
  	with Cycles},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {124},
  number = {1},
  pages = {1--30},
  topic = {search;graph-based-reasoning;and/or-graphs ;}
  }

@article{ jimenezandlopez:2006a,
  author = {M. Dolores {Jim\'enez and L\'opez}},
  title = {A Grammar Systems Approach to Natural Language Grammar},
  journal = {Linguistics and Philosophy},
  year = {2006},
  volume = {29},
  number = {4},
  pages = {419--454},
  topic = {formal-language-theory;nl-syntax;autolexical-syntax;}
  }

@article{ jin_y-thielscher:2007a,
  author = {Yi Jin and Michael Thielscher},
  title = {Iterated Belief Revision, Revised},
  journal = {Artificial Intelligence},
  year = {2007},
  volume = {171},
  number = {1},
  pages = {1--18},
  topic = {belief-revision;}
  }

@incollection{ jing:1998a,
  author = {Hongyan Jing},
  title = {Usage of {W}ord{N}et in Natural Language Generation},
  booktitle = {Use of {W}ord{N}et in Natural Language Processing
  	Systems:  Proceedings of the Conference},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Sanda Harabagiu},
  pages = {128--134},
  address = {Somerset, New Jersey},
  topic = {nl-processing;WordNet;nl-generation;}
  }

@article{ jing:2002a,
  author = {Honyan Jing},
  title = {Using Hiddden {M}arkov Modeling to Decompose Human-Written
  	Summaries},
  journal = {Computational Linguistics},
  year = {2002},
  volume = {28},
  number = {4},
  pages = {527--543},
  topic = {text-summary;hidden-Markov-models;}
  }

@article{ jo-etal:2000a,
  author = {Geun-Sik Jo and Jong-Jin Jung and Jo-Hoon Koo and
  	Sang-Ho Hyu},
  title = {Ramp Activity Expert System for Scheduling and Coordination
  	at an Airport},
  journal = {The {AI} Magazine},
  year = {2000},
  volume = {21},
  number = {4},
  pages = {75--83},
  topic = {expert-systems;scheduling;}
  }

@book{ joachims:2002a,
  author = {Thorsten Joachims},
  title = {Learning to Classify Text Using Support
  	Vector Machines: Methods, Theory, and Algorithms},
  publisher = {Kluwer Academic Publishers},
  year = {2002},
  address = {Dordrecht},
  ISBN = {0-7923-7679-X},
  xref = {Review: basili:2003a},
  topic = {document-classification;statistical-nlp;machine-learning;}
 }

@article{ jobe:1985a,
  author = {Evan K. Jobe},
  title = {Explanation, Causality, and Counterfactuals},
  journal = {Philosophy of Science},
  year = {1985},
  volume = {52},
  number = {3},
  pages = {357--389},
  contentnote = {The idea that counterfactuals should be analyzed
  	in terms of subsumption to a law persists here.  Jobe
	characterizes counterfactuals linguistically; roughly,
	they are `had'-`would' conditionals.},
  topic = {conditionals;explanation;causality;}
  }

@incollection{ johansson_c:2000a,
  author = {Christer Johansson},
  title = {A Context Sensitive Maximum Likelihood Approach to
  	Chunking},
  booktitle = {Proceedings of the Fourth Conference on Computational
  	Natural Language Learning and of the Second Learning Language
	in Logic Workshop, {L}isbon, 2000},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  editor = {Claire Cardie and Walter Daelemans and Claire N\'edellec
  	and Erik Tjong Kim Sang},
  pages = {139--141},
  address = {Somerset, New Jersey},
  topic = {machine-language-learning;text-chunking;}
  }

@article{ johansson_i1:1937a,
  author = {I. Johansson},
  title = {Der {M}inimalkalk\"ul: Ein reduzieerter intuitionistischer
  		{F}ormalismus},
  journal = {Compositio Mathematica},
  year = {1937},
  volume = {4},
  pages = {119--136},
  topic = {minimal-logic;}
  }

@article{ johansson_i2:2003a,
  author = {Ingvar Johansson},
  title = {Performatives and Antiperformatives},
  journal = {Linguistics and Philosophy},
  year = {2003},
  volume = {26},
  number = {6},
  pages = {661--702},
  topic = {speech-acts;performative-analysis;}
  }

@incollection{ john:1996a,
  author = {Bonnie E. John},
  title = {Task Matters},
  booktitle = {Mind Matters: A Tribute to {A}llen {N}ewell},
  publisher = {Lawrence Erlbaum Associates, Inc.},
  year = {1996},
  editor = {David M. Steier and Tom M. Mitchell},
  address = {Mahwah, New Jersey},
  pages = {313--324},
  topic = {HCI;}
  }

@book{ johnslewis:1986a,
  editor = {Catherine Johns-Lewis},
  title = {Intonation in Discourse},
  publisher = {Croom Helm},
  year = {1986},
  address = {London},
  rtnote = {HILLMAN    P222 .I465 1986},
  topic = {intonation;discourse;}
}

@article{ johnson_b:1989a,
  author = {Bruce Johnson},
  title = {Is Vague Identity Incoherent?},
  journal = {Analysis},
  year = {1989},
  volume = {49},
  pages = {103--112},
  missinginfo = {number},
  topic = {vagueness;identity;}
  }

@article{ johnson_c1:2001a,
  author = {Christopher Johnson},
  title = {Review of \emph{{P}attern Grammar: A Corpus-Driven Approach
  	to the Lexical Grammar of {E}nglish}, by {S}usan {H}unston and
	{G}ill {F}rancis},
  journal = {Computational Linguistics},
  year = {2001},
  volume = {27},
  number = {2},
  pages = {318--320},
  xref = {Review of: francis:2000a.},
  topic = {descriptive-grammar;corpus-linguistics;}
  }

@book{ johnson_d-erneling:1997a,
  editor = {David Johnson and Christina Erneling},
  title = {The Future of the Cognitive Revolution},
  publisher = {Oxford University Press},
  year = {1997},
  address = {Oxford},
  topic = {cognitive-science-general;}
 }

@article{ johnson_de-lappin:1997a,
  author = {David E. Johnson and Shalom Lappin},
  title = {A Critique of the Minimalist Program},
  journal = {Linguistics and Philosophy},
  year = {1997},
  volume = {20},
  number = {3},
  pages = {273--333},
  topic = {syntactic-minimalism;}
  }

@book{ johnson_de-lappin:1999a,
  author = {David E. Johnson and Shalom Lappin},
  title = {Local Constraints Vs. Economy},
  publisher = {Center for Study of Language and Information},
  year = {1999},
  address = {Stanford, California},
  ISBN = {1575861836},
  rtnote = {UMich Undergraduate, P 128 .E26 J641 1999},
  topic = {nl-syntax;grammar-formalisms;minimalist-syntax;
  	constraint-based-grammar;}
 }

@article{ johnson_de-moss_ls:1994a,
  author = {David E. Johnson and Lawrence S. Moss},
  title = {Grammar Formalisms Viewed as Evolving Algebras},
  journal = {Linguistics and Philosophy},
  year = {1994},
  volume = {17},
  number = {6},
  pages = {537--560},
  topic = {semantics-of-programming-languages;evolving-algebras;
  	grammar-formalisms;}
  }

@article{ johnson_de-moss_ls:1997a,
  author = {David E. Johnson and Lawrence S. Moss},
  title = {Introduction},
  journal = {Linguistics and Philosophy},
  year = {1997},
  volume = {20},
  number = {6},
  pages = {571--574},
  contentnote = {Introduction to a special issue on mathematics
		of language.},
  topic = {mathematical-linguistics;}
  }

@article{ johnson_f:1994a,
  author = {Fred Johnson},
  title = {Syllogisms with Fractional Quantifiers},
  journal = {Journal of Philosophical Logic},
  year = {1994},
  volume = {23},
  number = {4},
  pages = {401--422},
  topic = {fractional-quantifiers;}
  }

@article{ johnson_f:1997a,
  author = {Fred Johnson},
  title = {Extended {G}ergonne Syllogisms},
  journal = {Journal of Philosophical Logic},
  year = {1997},
  volume = {26},
  number = {3},
  pages = {553--567},
  topic = {syllogistic;}
  }

@article{ johnson_k:2004a,
  author = {Kent Johnson},
  title = {Tacit Belief, Semantics and Grammar},
  journal = {Linguistics and Philosophy},
  year = {2004},
  volume = {27},
  number = {1},
  pages = {57--93},
  contenttnote = {Argues that some features of NL syntax and semantics
  		are implicitly available to native speakers.},
  topic = {philosophy-of-linguistics;foundations-of-syntax;
  	foundations-of-semantics;}
  }

@article{ johnson_k:2004b,
  author = {Kent Johnson},
  title = {On the Systematicity of Language and Thought},
  journal = {The Journal of Philosophy},
  year = {2004},
  volume = {101},
  number = {3},
  pages = {111--139},
  topic = {systematicity;philosophy-of-language;}
  }

@article{ johnson_k:2004c,
  author = {Kent Johnson},
  title = {Gold's Theorem and Cognitive Science},
  journal = {Philosophy of Science},
  year = {2004},
  volume = {71},
  number = {4},
  pages = {571--592},
  topic = {Gold's-theorem;language-learning;philosophy-of-cogsci;}
  }

@incollection{ johnson_k-lepore:2002a,
  author = {Kent Johnson and Ernie Lepore},
  title = {Does Syntax Reveal Semantics?  A Case Study of Complex
  	Demonstratives},
  booktitle = {Philosophical Perspectives 16: Language and Mind, 2002},
  publisher = {Blackwell Publishers},
  year = {2002},
  editor = {James E. Tomberlin},
  pages = {17--41},
  address = {Oxford},
  topic = {demonstratives;foundations-of-semantics;
  	philosophy-of-language;}
  }

@incollection{ johnson_m:1998a,
  author = {Mark Johnson},
  title = {The Effect of Alternative Tree Representations
     		on Tree Bank Grammars},
  booktitle = {New Methods in Language Processing and Computational
  		Language Learning},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {David M.W. Powers},
  pages = {39--48},
  address = {Somerset, New Jersey},
  topic = {probabilistic-grammars;statistical-parsing;}
  }

@unpublished{ johnson_m1:1987a,
  author = {Mark Johnson},
  title = {The Use of Knowledge of Language},
  year = {1987},
  note = {Unpublished manuscript, M.I.T.},
  rtnote = {In RHT collection.},
  topic = {parsing-as-deduction;competence;}
  }

@book{ johnson_m1:1988a,
  author = {Mark Johnson},
  title = {Attribute-Value Logic and the Theory of Grammar},
  publisher = {Center for the Study of Language and Information},
  year = {1988},
  address = {Stanford, California},
  topic = {feature-structure-logic;}
 }

@inproceedings{ johnson_m1:1990a,
  author = {Mark Johnson},
  Title = {Expressing Disjunctive and Negative Feature Constraints
  	With Classical First-Order Logic},
  booktitle = {Proceedings of the 28th Meeting of the Association for
  	Computational Linguistics},
  year = {1990},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  missinginfo = {Editor, pages, address},
  topic = {feature-structure-logic;}
 }

@article{ johnson_m1:1994a,
  author = {Mark Johnson},
  title = {Two Ways of Formalizing Grammars},
  journal = {Linguistics and Philosophy},
  year = {1994},
  volume = {17},
  number = {3},
  pages = {221--248},
  topic = {grammar-formalisms;definite-clause-grammars;
  	feature-structure-grammar;}
  }

@article{ johnson_m1:1998a,
  author = {Mark Johnson},
  title = {{PCFG} Models of Linguistic Tree Represenations},
  journal = {Computational Linguistics},
  year = {1998},
  volume = {24},
  number = {4},
  pages = {613--632},
  topic = {probabilistic-algorithms;
	probabilistic-grammars;}
  }

@incollection{ johnson_m1:1998b,
  author = {Mark Johnson},
  title = {The Effect of Alternative Tree Representations
     		on Tree Bank Grammars},
  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 = {39--48},
  address = {Somerset, New Jersey},
  topic = {corpus-annotation;grammar-learning;}
  }

@article{ johnson_m1:1999a,
  author = {Mark Johnson},
  title = {A Resource Sensitive Interpretation of Lexical
  	Functional Grammar},
  journal = {Journal of Logic, Language, and Information},
  year = {1999},
  volume = {8},
  number = {1},
  pages = {45--81},
  topic = {LFG;feature-structures;unification-grammars;
  		multimodal-logic;substructural-logics;grammar-logics;}
  }

@techreport{ johnson_m1-klein_e:1986a,
  author = {Mark Johnson and Ewan Klein},
  title = {Discourse, Anaphora, and Parsing},
  institution = {Center for the Study of Language and Information},
  number = {CSLI--86--63},
  year = {1986},
  address = {Stanford, California},
  rtnote = {In RHT collection.},
  topic = {anaphora;nl-interpretation;pragmatics;}
  }

@book{ johnson_m2:1993a,
  author = {Mark Johnson},
  title = {Moral Imagination: Implications of Cognitive Science
  	for Ethics},
  publisher = {University of Chicago Press},
  year = {1993},
  address = {Chicago},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {cognitive-psychology;ethics;}
 }

@book{ johnson_mr:1980a,
  author = {Marion R. Johnson},
  title = {Ergativity in {I}nuktitut (Eskimo), in {M}ontague Grammar
		and in Relational Grammar},
  publisher = {Indiana University Linguistics Club},
  year = {1982},
  address = {310 Lindley Hall, Bloomington, Indiana},
  rtnote = {In RHT collection.},
  topic = {ergativity;Inuit-language;Montague-grammar;}
 }

@article{ johnson_p-backstrom:1998a,
  author = {Peter Johnson and Christer B\"ackstr\"om},
  title = {State-Variable Planning under Structural Restrictions:
  	Algorithms and Complexity},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {100},
  number = {1--2},
  pages = {125--176},
  topic = {planning;complexity-in-AI;}
  }

@incollection{ johnson_r-lugner:1994a,
  author = {R. Johnson and R. Lugner},
  title = {{UD}, Yet Another Unification Device},
  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 = {525--534},
  address = {Pisa and Dordrecht},
  topic = {unification-of-FSs;}
  }

@article{ johnson_rw:1986a,
  author = {Rodney W. Johnson},
  title = {Independence and {B}ayesian Updating Methods},
  journal = {Artificial Intelligence},
  year = {1986},
  volume = {29},
  number = {2},
  pages = {217--222},
  topic = {probabilistic-reasoning;Bayesian-networks;}
  }

@article{ johnson_wl:1990a,
  author = {W. Lewis Johnson},
  title = {Understanding and Debugging Novice Programs},
  journal = {Artificial Intelligence},
  year = {1990},
  volume = {42},
  number = {1},
  pages = {51--97},
  topic = {intelligent-tutoring;novice-misunderstandings;}
  }

@article{ johnson_wl:1991a,
  author = {W. Lewis Johnson},
  title = {Review of \emph{Intelligent Tutoring Systems: Lessons
  	Learned} by {J}. {P}sotka, {L}.{D}. {M}assey and {S}.{A}. {M}utter},
  journal = {Artificial Intelligence},
  year = {1991},
  volume = {48},
  number = {1},
  pages = {125--134},
  topic = {intelligent-tutoring;}
  }

@article{ johnson_wl-valente:2009a,
  author = {W. Lewis Johnson and Andre Valente},
  title = {Tactical Language and Culture Training Systems:  Using
  		{AI} to Teach Foreign Languages and Cultures},
  journal = {The {AI} Magazine},
  year = {2009},
  volume = {30},
  number = {4},
  pages = {79--83},
  topic = {intelligent-computer-assisted-language-instruction;}
  }

@incollection{ johnsonlaird:1981a,
  author = {Philip N. Johnson-Laird},
  title = {Mental Models of Meaning},
  booktitle = {Elements of Discourse Understanding},
  publisher = {Cambridge University Press},
  year = {1981},
  editor = {Arivind Joshi and Bonnie Webber and Ivan Sag},
  pages = {106--126},
  address = {Cambridge, England},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;mental-models;}
  }

@article{ johnsonlaird:1982a,
  author = {Philip N. Johnson-Laird},
  title = {Procedural Semantics},
  journal = {Cognition},
  year = {1982},
  volume = {5},
  pages = {189--214},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {procedural-semantics;}
  }

@incollection{ johnsonlaird:1982b,
  author = {Philip N. Johnson-Laird},
  title = {Formal Semantics and the Psychology of Meaning},
  booktitle = {Processes, Beliefs, and Questions},
  publisher = {D. Reidel Publishing Company},
  year = {1982},
  editor = {Stanley Peters and Esa Saarinen},
  pages = {1--68},
  address = {Dordrecht},
  rtnote = {semantics-course;},
  topic = {nl-semantics;nl-semantics-and-cognition;}
  }

@unpublished{ johnsonlaird:1983a,
  author = {Philip N. Johnson-Laird},
  title = {Models of Conditionals},
  year = {1983},
  note = {Unpublished manuscript, MRC Applied Psychology Unit,
  	Cambridge, England.},
  rtnote = {In RHT collection.},
  topic = {conditionals;}
  }

@book{ johnsonlaird:1983b,
  author = {Philip N. Johnson-Laird},
  title = {Mental Models: Towards a Cognitve Science of
  	Language},
  publisher = {Cambridge University Press},
  year = {1983},
  address = {Cambridge, England},
  topic = {mental-models;}
 }

@incollection{ johnsonlaird:1985a,
  author = {Philip N. Johnson-Laird},
  title = {Reasoning without Logic},
  booktitle = {Reasoning and Discourse Processes},
  publisher = {Academic Press},
  year = {1985},
  editor = {Terry Myers and Keith Brown and Brendan McGonigle},
  pages = {13--49},
  address = {New York},
  topic = {mental-models;common-sense-reasoning;}
  }

@incollection{ johnsonlaird:1986a,
  author = {Philip N. Johnson-Laird},
  title = {Conditionals and Mental Models},
  booktitle = {On Conditionals},
  publisher = {Cambridge University Press},
  year = {1986},
  editor = {Elizabeth Traugott and Alice {ter Meulen} and Judy Reilly},
  pages = {55--76},
  address = {Cambridge, England},
  topic = {conditionals;logic-and-cognition;}
  }

@incollection{ johnsonlaird:1989a,
  author = {Philip N. Johnson-Laird},
  title = {Mental Models},
  booktitle = {Foundations of Cognitive Science},
  publisher = {The {MIT} Press},
  year = {1989},
  editor = {Michael I. Posner},
  chapter = {12},
  pages = {469--499},
  address = {Cambridge, Massachusetts},
  topic = {mental-models;}
  }

@book{ johnsonlaird:1993a,
  author = {Philip N. Johnson-Laird},
  title = {Human and Machine Thinking},
  publisher = {Lawrence Erlbaum Associates},
  year = {1993},
  address = {Hillsdale, New Jersey},
  ISBN = {080580921X},
  rtnote = {UMich Graduate Library, BF 444 .J641 1993.},
  topic = {cognitive-psychology;}
 }

@incollection{ johnsonlaird:1996a,
  author = {Philip N. Johnson-Laird},
  title = {The Process of Deduction},
  booktitle = {Mind Matters: A Tribute to {A}llen {N}ewell},
  publisher = {Lawrence Erlbaum Associates, Inc.},
  year = {1996},
  editor = {David M. Steier and Tom M. Mitchell},
  address = {Mahwah, New Jersey},
  pages = {363--399},
  topic = {deductive-reasoning;cognitive-psychology;mental-models;}
  }

@book{ johnsonlaird-byrne_rmj:1991a,
  author = {Phillip N. Johnson-Laird and Ruth M. J. Byrne},
  title = {Deduction},
  publisher = {Lawrence Erlbaum Associates, Inc.},
  year = {1991},
  address = {Hillsdale, New Jersey},
  ISBN = {0863771483},
  rtnote = {UMich Graduate Library, BC 71 .J72 1991.},
  topic = {psychology-of-deduction;}
 }

@article{ johnsonlaird-garnham:1980a,
  author = {Phillip N. Johnson-Laird and A. Garnham},
  title = {Descriptions and Discourse Models},
  journal = {Linguistics and Philosophy},
  year = {1980},
  volume = {3},
  number = {3},
  pages = {371--393},
  topic = {definite-descriptions;mental-models;}
  }

@article{ johnsonlaird-oatley:1992a,
  author = {P. N. Johnson-Laird and Keith Oatley},
  title = {Basic Emotions, Rationality, and Folk Theory},
  journal = {Cognition and Emotion},
  volume = {6},
  number = {3/4},
  pages = {201--223},
  year = {1992},
  topic = {emotion;folk-psychology;}
  }

@book{ johnsonlaird-wason:1977a,
  editor = {Philip N. Johnson-Laird and Peter C. Wason},
  title = {Thinking: Readings in Cognitive Science},
  publisher = {Cambridge University Press},
  year = {1977},
  address = {Cambridge, England},
  ISBN = {0521217563 (hardcover), 0521292670 (pbk.)},
  rtnote = {UMich Undergraduate Bf455 .T5341 1977},
  topic = {cognitive-science-general;}
 }

@article{ johnston_m1:1988a,
  author = {Mark Johnston},
  title = {The End of the Theory of Meaning},
  journal = {Mind and Language},
  year = {1988},
  volume = {3},
  number = {1},
  pages = {28--42},
  xref = {Discussion of schiffer:1987a.},
  topic = {philosophy-of-language;foundations-of-semantics;}
  }

@incollection{ johnston_m1:1989a,
  author = {Mark Johnston},
  title = {Fission and the Facts},
  booktitle = {Philosophical Perspectives 3:
  	Philosophy of Mind and Action Theory},
  publisher = {Ridgeview Publishing Company},
  year = {1989},
  editor = {James E. Tomberlin},
  pages = {369--397},
  address = {Atasacadero, California},
  note = {Also available at http://www.jstor.org/journals/.},
  rtnote = {In RHT collection.  Zip drive.},
  topic = {common-sense;personal-identity;}
  }

@incollection{ johnston_m1:1993a,
  author = {Mark Johnston},
  title = {Verificationism as Philosophical Narcissism},
  booktitle = {Philosophical Perspectives, Volume 7:
  	Language and Logic},
  publisher = {Blackwell Publishers},
  year = {1993},
  editor = {James E. Tomberlin},
  pages = {307--330},
  address = {Oxford},
  note = {Also available at http://www.jstor.org/journals/.},
  topic = {verificationalism;philosophical-realism;}
  }

@article{ johnston_m1:1997a,
  author = {Mark Johnston},
  title = {Manifest Kinds},
  journal = {The Journal of Philosophy},
  year = {1997},
  volume = {94},
  number = {11},
  pages = {564--583},
  topic = {natural-kinds;identity;individuation;}
  }

@article{ johnston_m2:2003a,
  author = {Michael Johnston},
  title = {Review of \emph{{M}ultimodality in Language and Speech
  	Systems}, edited by {B}jorn {G}ranstr\"om, {D}avid {H}ouse,
	and {I}nger {K}arlsson},
  journal = {Computational Linguistics},
  year = {2003},
  volume = {29},
  number = {2},
  pages = {321--324},
  xref = {Review of: granstrom-etal:2002a},
  topic = {multimodal-communication;}
  }

@inproceedings{ johnston_m2-etal:1997a,
  author = {Michael Johnston and Philip R. Cohen and David McGee
  	and Sharon L. Oviatt and James A. Pittman and Ira Smith},
  title = {Unification-Based Multimodal Integration},
  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 = {281--288},
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Somerset, New Jersey},
  topic = {nl-interpretation;multimodal-communication;}
 }

@incollection{ johnston_m2-etal:2002a,
  author = {Michael Johnston and Srinivas Bangalore and Gunaranjan
  	Vasireddy and Amanda Stent and Patrick Ehlen and Marilyn
	Walker and Steve Whittaker and Preetam Maloor},
  title = {{MATCH}: An Architecture for Multimodal Dialogue Systems},
  booktitle = {Proceedings of the Fortieth Annual Meeting of the
  	{A}ssociation for {C}omputational {L}inguistics},
  publisher = {Morgan Kaufmann Publishers},
  year = {2002},
  editor = {Eugene Charniak and Dekang Lin},
  pages = {376--383},
  address = {San Francisco},
  rtnote = {In RHT collection.},
  topic = {computational-dialogue;multimodal-communication;}
  }

@book{ johnstone:1994a,
  editor = {Barbara Johnstone},
  title = {Repetition in Discourse: Interdisciplinary Perspectives},
  publisher = {Ablex Publishing Co.},
  address = {Norwood, New Jersey},
  year = {1994},
  rtnote = {HILLMAN P302.82 R47},
  topic = {discourse-analysis;}
}

@inproceedings{ jokinen:1995a,
  author = {Kristina Jokinen},
  title = {Rationality in Constructive Dialogue Management},
  booktitle = {Working Papers of the {AAAI} Fall Symposium on
  	Rational Agency: Concepts, Theories, Models, and Applications},
  year = {1995},
  editor = {Michael Fehling},
  pages = {89--93},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {communications-modeling;agent-modeling;}
  }

@incollection{ jokinen:1996a,
  author = {Kristiina Jokinen},
  title = {Reasoning about Coherent and Cooperative System
  	Responses},
  booktitle = {Trends in Natural Language Generation, An Artificial
  		Intelligence Perspective, Fourth {E}uropean Workshop,
		{EWNLG} '93, Pisa, Italy, April 28-30, 1993, Selected
		Papers},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  volume = {1036},
  year = {1996},
  editor = {Giovanni Adorni and Michael Zock},
  pages = {168--187},
  address = {New York},
  rtnote = {In RHT collection.},
  topic = {nl-generation;discourse-planning;cooperation;coherence;}
  }

@incollection{ jokinen-etal:1998a,
  author = {Kristina Jokinen and Hideki Tanaka and Akio Yokoo},
  title = {Planning Dialogue Contributions with New Information},
  booktitle = {Proceedings of the Ninth International Workshop
  	on Natural Language Generation},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Eduard Hovy},
  pages = {158--167},
  address = {New Brunswick, New Jersey},
  topic = {nl-generation;discourse-planning;old/new-information;}
  }

@article{ jokinen-etal:2007a,
  author = {Kristina Jokinen and Michael McTear and James A. Larson},
  title = {Dialogue on Dialogues---Multidisciplinary Evaluation of
  		Advanced Speech-Based Interactive Systems:  A Report
		on the Interspeech 2006 Satellite Event},
  journal = {The {AI} Magazine},
  year = {2007},
  volume = {28},
  number = {2},
  pages = {133--136},
  topic = {computational-dialogue;}
  }

@book{ jokinen-mcroy_s:2002a,
  editor = {Kristina Jokinen and Susan McRoy},
  title = {Third {SIGdial} Workshop on Discourse and Dialogue:
  		Proceedings of the Workshop},
  publisher = {Association for Computational Linguistics},
  year = {2002},
  address = {New Brunswick, New Jersey},
  contentnote = {TC:
     1. Nate Blayblock and James Allen and George
     		Ferguson, "Synchronization in an Asynchronous Agent-Based
		Architecture for Dialogue Systems", pp. 1--10
     2. Sharon Chu, "The Prosodic Transcription of a Corpus of {H}ong
     		{K}ong {E}nglish---Collection Criteria, Transcription
		System, and Preliminary Findings", pp. 11--14
     3. Raquel Fernandez and Jonathan Ginzburg, "Non-Sentential
     		Utterances---A Corpus Study", pp. 15--26
     4. Kate Forbes and Bonnie Webber, "A Semantic Account of
     		Adverbials as Discourse Connectives", pp. 27--36
     5. Michael Glass and Barbara di Eugenio, "{MUP}---The {UIC} Standoff
     		Markup Tool", pp. 37--41
     6. Nancy Green, "An Experiment to Evaluate the Effectiveness of
     		Cross-Media Cues in Computer Media", pp. 42--45
     7. Iryna Gurevych and Robert Porzel and Michael
     		Strube, "Annotating the Semantic Comsistency of
		Speech Recognition Hypotheses", pp. 46--49
     8. Peter A. Heeman and Fan Yang and Susan E. Strayer, "Dialogue
     		View---An Annotation Tool for Dialogue", pp. 50--59
     9. Judith Hochberg and Nanda Kambhatla and Salim Roukos, "A
     		Flexible Framework for Developing Mixed-Initiative
		Dialogue Systems", pp. 60--63
    10. Markku Turanen and Jaakko Hakulinen and Jukka Kuusisto and
    		Krista Lagus, "Adaptive Dialogue Systems---Interaction
		with Interact", pp. 64--73
    11. Pamela Jordan and Kurt van Lehn, "Discourse Processing for
    		Explanatory Essays in Tutorial Applications", pp. 74--83
    12. Elena Karagjosova and Ivana Kruiijf-Korbayova, "Conditional
    		Responses in Information-Seeking Dialogues", pp. 84--87
    13. Simon Keizer and Reiks op den Akker and Anton
    		Nijholt, "Dialogue Act Recognition with {B}ayesian
		Networks for {D}utch Dialogues", pp. 88--94
    14. Krista Lagus and Jukka Kuusisto, "Topic Identification in Natural
    		Language Dialogues Using Neural Networks", pp. 95--102
    15. Staffan Larsson, "Issues under Negotiation", pp. 103--112
    16. Oliver Lemon and Alexander Gruenstein and Alexis Battle and Stanley
    		Peters, "Multi-Tasking and Collaborative Activities
		in Dialogue Systems", pp. 113--124
    17. Oliver Lemon and Prashant Parikh and Stanley Peters, "Probabilistic
    		Dialogue Modelling", pp. 125--128
    18. William Mann, "Dialogue Macrogame Theory", pp. 129--141
    19. Sebastian M\"oller, "A New Taxonomy for the Quality of Telephone
    		Services Based on Spoken Dialogue Systems", pp. 142--153
    20. Robert Porzel and Iryna Gurevych, "Towards Context-Adaptive
    		Utterance Interpretation", pp. 154--161
    21. Rashmi Prasad and Marilyn Walker, "Training a Dialogue Act Tagger
    		for Human-Human and Human-Computer Travel
		Dialogues", pp. 162--173
    22. Matthew Purver, "Processing Unknown Words in a Dialogue
    		System", pp. 174--183
    23. Ronnie Smith and Brian Manning and Jon Rogers and Brian Adams
    		and Mujibar Abdul and Amaury Alvarez, "A Dialog
		Architecture for Military Story Capture", pp. 184--187
    24. Atsue Takeoka and Atsushi Shimojima, "Grounding Styles of
    		Aged Dyads---An Exploratory Study", pp. 188--195
    25. Mary McGee Wood and Richard Craggs, "Rare Dialogue Acts in
    		Oncology Consultations", pp. 196--200
    26. Weiqun Xu and Bo Xu and Taiyi Huang and Hairong
    		Xin, "Bridging the Gap between Dialogue Management
		and Dialogue Models", pp. 201--210
    27. Ingrid Zukerman and Sarah George, "A Minimum Message Length
    		Approach for Argument Interpretation", pp. 211--220
  },
  rtnote = {In RHT Collection.  CL Workshop shelves.},
  topic = {computational-dialogue;}
 }

@incollection{ jolley:1982a,
  author = {Catherine A. Jolley},
  title = {On the {P}lains {C}ree Passive: An Analysis of Syntactic
  	and Lexical Rules},
  booktitle = {Grammatical Relations and Relational Grammar},
  publisher = {Linguistics Department, The Ohio State University},
  year = {1982},
  editor = {Brian Joseph},
  pages = {1--33},
  address = {Columbus, Ohio},
  topic = {Cree-languages;passive;}
  }

@incollection{ jones_aji:1986a,
  author = {Andrew J.I. Jones},
  title = {Toward a Formal Theory of Communication and Speech Acts},
  booktitle = {Reasoning about Actions and Plans},
  publisher = {Morgan Kaufmann},
  year = {1986},
  editor = {Michael P. Georgeff and Amy Lansky},
  pages = {141--160},
  address = {Los Altos, California},
  contentnote = {Influence from Dretske.  Formalization involves deontic,
  	epistemic logic.  It might be useful to compare this with Halpern's
	approach to communication.},
  rtnote = {pragmatics-course;},
  topic = {speech-acts;pragmatics;}
  }

@article{ jones_aji-porn:1985a,
  author = {Andrew J.I Jones and Ingmar P\"orn},
  title = {Ideality, Sub-Ideality and Deontic Logic},
  journal = {Synth\'ese},
  volume = {65},
  pages = {275--290},
  year = {1985},
  topic = {deontic-logic;}
    }

@inproceedings{ jones_b:1994a,
  author = {Bernard Jones},
  title = {Exploring the Role of Punctuation in Parsing Natural
		  Language},
  pages = {421--425},
  booktitle = {Proceedings of {COLING} '94},
  address = {Kyoto, Japan},
  year = {1994},
  topic = {punctuation;}
}

@techreport{ jones_b:1994b,
  author = {Bernard Jones},
  title = {Can Punctuation Help Parsing?},
  institution = {Cambridge University Computer Laboratory},
  year = {1994},
  type = {Acquilex-II Working Paper},
  address = {Cambridge, UK},
  number = {29},
  topic = {punctuation;parsing-algorithms;}
}

@book{ jones_c-sells:1984a,
  editor = {C. Jones and Peter Sells},
  title = {{NELS 14}: Proceedings of the Fourteenth Conference of the
  	{N}orth {E}ast {L}inguistic {S}ociety},
  publisher = {GLSA Publications},
  year = {1984},
  address = {Amherst, Massachusetts},
  note = {URL FOR GLSA Publications:
  	http://www.umass.edu/linguist/glsa-pubs.html.},
  topic = {linguistics-proceedings;nl-syntax;nl-semantics;}
 }

@book{ jones_ca-drake_fa:2002a,
  author = {Christopher A. Jones and Fred A. Drake, Jr.},
  title = {Python and {XML}},
  publisher = {O'Reilly and Associates, Inc.},
  year = {2002},
  address = {Sebastopol, California},
  ISBN = {0-596-00128-2},
  rtnote = {In RHT collection.},
  topic = {programming-manual;}
 }

@inproceedings{ jones_d-etal:1998a,
  author = {Dean Jones and Trevor Bench-Capon and Pepjin Visser},
  title = {Methodologies for Ontology Development},
  booktitle = {Proceedings of the {IT\&KNOWS} Conference of the 15th
  	{IFIP} World Computer Congress},
  year = {1998},
  publisher = {Chapman-Hall},
  missinginfo = {editor, address, pages},
  rtnote = {In RHT collection.},
  topic = {computational-ontology;}
  }

@book{ jones_gw:1990a,
  author = {Gregory W. Jones},
  title = {Software Engineering},
  publisher = {John Wiley and Sons},
  year = {1990},
  address = {New York},
  ISBN = {0471608823},
  rtnote = {UMich Media Union Library, QA 76.758 .J661 1990.},
  topic = {software-engineering;}
 }

@incollection{ jones_j-millington:1988a,
  author = {John Jones and Mark Millington},
  title = {Modeling {U}nix Users with an Assumption-Based Truth
  	Maintenance System: Some Preliminary Results},
  booktitle = {Reason Maintenance Systems and Their Applications},
  publisher = {Ellis Horwood, Ltd.},
  year = {1988},
  editor = {Barbara Smith and Gerald Kelleher},
  pages = {134--154},
  address = {Chichester},
  topic = {truth-maintenance;applied-nonmonotonic-reasoning;
  	user-modeling;}
  }

@incollection{ jones_ks:1989a,
  author = {Karen {Sparck Jones}},
  title = {Realism about User Modeling},
  booktitle = {User Models in Dialog Systems},
  year = {1989},
  editor = {Alfred Kobsa and Wolfgang Wahlster},
  publisher = {Springer-Verlag, Symbolic Computaion Series},
  pages = {341--363},
  note = {Also available as Technical Report 111, University of
  	Cambridge Computer Laboratory.},
  topic = {user-modeling;}
}

@techreport{ jones_ks:1989b,
  author = {Karen {Sparck Jones}},
  title = {Tailoring Output to the User: What Does User Modeling in
  	Generation Mean?},
  institution = {University of Cambridge Computer Laboratory},
  number = {158},
  year = {1989},
  topic = {nl-generation;user-modeling;}
}

@inproceedings{ jones_ks:1990a,
  author = {Karen Sparck Jones},
  title = {What's in a User?},
  booktitle = {Proceedings of the Eighth National Conference on
              Artificial Intelligence},
  year = {1990},
  editor = {Thomas Dietterich and William Swartout},
  pages = {1140--1141},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, CA},
  rtnote = {In RHT collection.},
  topic = {user-modeling;}
  }

@incollection{ jones_ks:1991a,
  author = {Karen Sparck Jones},
  title = {Tailoring Output to the User: What Does
     		User Modelling in Generation Mean?  },
  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 = {201--225},
  rtnote = {In RHT collection.},
  topic = {nl-generation;user-modeling;user-modeling-in-generation;}
  }

@incollection{ jones_ks:1994a,
  author = {Karen Sparck Jones},
  title = {Natural Language Processing: A Historical Review},
  booktitle = {Current Issues in Computational Linguistics: Essays in
  	Honour of Don Walker},
  publisher = {Giardini Editori e Stampatori and Kluwer Academic
  	Publishers},
  year = {1994},
  editor = {Antonio Zampolli and Nicoletta Calzolari and Martha Palmer},
  pages = {3--16},
  address = {Pisa and Dordrecht},
  contentnote = {This is a useful overview.},
  topic = {nlp-survey;nlp-history;}
  }

@article{ jones_ks:1999a,
  author = {Karen Sparck Jones},
  title = {Information Retrieval and Artificial Intelligence},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {114},
  number = {1--2},
  pages = {257--281},
  topic = {information-retrieval;text-summarization;}
  }

@article{ jones_ks:2007a,
  author = {Karen Sp\"arck Jones},
  title = {Computational Linguistics:  What about the Linguistics?},
  journal = {Computational Linguistics},
  year = {2007},
  volume = {33},
  number = {3},
  pages = {437--441},
  topic = {nlp-editorial;}
  }

@book{ jones_ks-galliers:1995a,
  author = {Karen Sparck Jones and Julia R. Galliers},
  title = {Evaluating Natural Language Processing
  	Systems: An Analysis and a Review},
  publisher = {Springer-Verlag},
  year = {1995},
  address = {Berlin},
  xref = {Review: walter:1998a, wilks:1999a.},
  topic = {nlp-evaluation;}
 }

@incollection{ jones_ma-mccoy_kf:1992a,
  author = {Mark A. Jones and Kathleen F. McCoy},
  title = {Transparently-Motivated Metaphor Generation},
  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 = {231--246},
  address = {Berlin},
  topic = {nl-generation;metaphor;}
  }

@book{ jones_na:1997a,
  author = {Neil A. Jones},
  title = {Computability and Complexity from a Programming Perspective},
  publisher = {The {MIT} Press},
  year = {1997},
  address = {Cambridge, Massachusetts},
  topic = {complexity-theory;art-of-programming;}
 }

@article{ jones_rm-wray_re:2006a,
  author = {Randolph M. Jones and Robert E. Wray},
  title = {Comparative Analysis of Frameworks for Knowledge-Intensive
  	Intelligent Agents},
  journal = {The {AI} Magazine},
  year = {2006},
  volume = {27},
  number = {2},
  pages = {57--70},
  topic = {large-kr-systems;cognitive-architectures;}
  }

@incollection{ jonker:1993a,
  author = {Catholijn Jonker},
  title = {Cautious Backtracking in Truth Maintenance Systems},
  booktitle = {Diamonds and Defaults},
  publisher = {Kluwer Academic Publishers},
  editor = {Maarten de Rijke},
  year = {1993},
  pages = {147--173},
  address = {Dordrecht},
  topic = {truth-maintenance;belief-revision;backtracking;}
  }

@inproceedings{ jonssen_a:1995a,
  author = {Arne J\"onssen},
  title = {Dialogue Actions for Natural Language Interfaces},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {1405--1411},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  rtnote = {In RHT collection.},
  topic = {discourse-management;pragmatics;nl-interfaces;}
  }

@article{ jonsson_ak-etal:2007a,
  author = {Ar\'i K. J\'onsson and Robert A. Morris and Liam Pedersen},
  title = {Autonomy in Space: Current Capabilities and Future
  	Challenges},
  journal = {The {AI} Magazine},
  year = {2007},
  volume = {28},
  number = {4},
  pages = {27--42},
  topic = {robotics;space-exploration;autonomous-agents;autonomous-vehicles;}
  }

@incollection{ jonsson_ak-ginsberg_ml:1996a,
  author = {Ari K. J\"onsson and Matthew L. Ginsberg},
  title = {Procedural Reasoning in Constraint Satisfaction},
  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 = {160--171},
  address = {San Francisco, California},
  topic = {constraint-satisfaction;search;}
  }

@article{ jonsson_hj-soderberg:2002a,
  author = {Henrik J\"onsson and Bo So\"derberg},
  title = {An Information-Based Neural Approach to Genetic
  	Constraint Satisfaction},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {142},
  number = {1},
  pages = {1--17},
  topic = {connectionist-models;constraint-satisfaction;
  	simulated-annealing;}
  }

@article{ jonsson_p-backstrom:1998a,
  author = {Peter Jonsson and Christer B\"ackstr\"om},
  title = {State-Variable Planning under Structural Restrictions:
  	Algorithms and Complexity},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {100},
  number = {1--2},
  pages = {125--176},
  acontentnote = {Abstract:
     Computationally tractable planning problems reported in the
     literature so far have almost exclusively been defined by
     syntactical restrictions.  To better exploit the inherent
     structure in problems, it is probably necessary to study also
     structural restrictions on the underlying state-transition
     graph.  The exponential size of this graph, though, makes such
     restrictions costly to test.  Hence, we propose an intermediate
     approach, using a state-variable model for planning and defining
     restrictions on the separate state-transition graphs for each
     state variable.  We identify such restrictions which can
     tractably be tested and we present a planning algorithm which is
     correct and runs in polynomial time under these restrictions.
     The algorithm has been implemented and it outperforms Graphplan
     on a number of test instances.  In addition, we present an
     exhaustive map of the complexity results for planning under all
     combinations of four previously studied syntactical restrictions
     and our five new structural restrictions.  This complexity map
     considers both the optimal and non-optimal plan generation
     problem.},
  topic = {planning-algorithms;complexity-in-AI;}
  }

@article{ jonsson_p-backstrom:1998b,
  author = {Peter Jonsson and Christer B\"ackstr\"om},
  title = {A Unifying Approach to Temporal Constraint Reasoning},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {102},
  number = {1},
  pages = {143--155},
  topic = {constraint-propagation;temporal-reasoning;}
  }

@incollection{ jonsson_p-etal:1996a,
  author = {Peter Jonsson and Thomas Drakengren and Christer B\"ackstr\"om},
  title = {Tractable Subclasses of the Point-Interval Algebra: A Complete
     Classification},
  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 = {352--363},
  address = {San Francisco, California},
  topic = {kr;temporal-reasoning;kr-complexity-analysis;tractable-logics;
  	interval-algebras;}
  }

@article{ jonsson_p-etal:1999a,
  author = {Peter Jonsson and Thomas Drakengren and Christer
  	B\"ackstr\"om},
  title = {Computatuonal Complexity of Relating Time Points
  	with Intervals},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {109},
  number = {1--2},
  pages = {273--295},
  topic = {temporal-reasoning;kr-complexity-analysis;complexity-in-AI;}
  }

@article{ jonsson_p-etal:2000a,
  author = {Peter Jonsson and Patrik Haslum and Christer
  	B\"ackstr\"om},
  title = {Towards Efficient Universal Planning: A Randomized
  	Approach},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {117},
  number = {1},
  pages = {1--29},
  acontentnote = {Abstract:
     One of the most widespread approaches to reactive planning is
     Schoppers' universal plans.  We propose a stricter definition of
     universal plans which guarantees a weak notion of soundness, not
     present in the original definition, and isolate three different
     types of completeness that capture different behaviors exhibited
     by universal plans.  We show that universal plans which run in
     polynomial time and are of polynomial size cannot satisfy even
     the weakest type of completeness unless the polynomial hierarchy
     collapses.  By relaxing either the polynomial time or the
     polynomial space requirement, the construction of universal
     plans satisfying the strongest type of completeness becomes
     trivial.  As an alternative approach, we study randomized
     universal planning.  By considering a randomized version of
     completeness and a restricted (but nontrivial) class of
     problems, we show that there exists randomized universal plans
     running in polynomial time and using polynomial space which are
     sound and complete for the restricted class of problems.  We also
     report experimental results on this approach to planning,
     showing that the performance of a randomized planner is not
     easily compared to that of a deterministic planner.},
  topic = {planning-algorithms;complexity-in-AI;reactive-planning;}
  }

@article{ jonsson_p-krokhin:2004a,
  author = {Peter Jonsson and Andrei Krokhin},
  title = {Complexity Classification in Qualitative Temporal Constraint
  		Reasoning},
  journal = {Artificial Intelligence},
  year = {2004},
  volume = {160},
  number = {1--2},
  pages = {15--51},
  topic = {temporal-reasoning;kr;kr-course;complexity-in-AI;}
  }

@article{ joos:1958a,
  author = {Martin Joos},
  title = {Semology: A Linguistic Theory of Meaning},
  journal = {Studies in Linguistics},
  year = {1958},
  volume = {13},
  number = {3--4},
  pages = {53--70},
  rtnote = {In RHT collection.},
  topic = {nl-semantics;}
  }

@article{ joos:1972a,
  author = {Martin Joos},
  title = {Semantic Axiom Number One},
  journal = {Language},
  year = {1972},
  volume = {48},
  pages = {257--265},
  missinginfo = {number},
  topic = {semantics;}
  }

@incollection{ jordan_mi-rosenbaum:1989a,
  author = {Michael I. Jordan and David A. Rosenbaum},
  title = {Action},
  booktitle = {Foundations of Cognitive Science},
  publisher = {The {MIT} Press},
  year = {1989},
  editor = {Michael I. Posner},
  chapter = {18},
  pages = {727--767},
  address = {Cambridge, Massachusetts},
  topic = {motor-skills;cognitive-psychology;action;}
  }

@incollection{ jordan_p-vanlehn:2002a,
  author = {Pamela Jordan and Kurt van Lehn},
  title = {Discourse Processing for Explanatory Essays in Tutorial
  		Applications},
  booktitle = {Third {SIGdial} Workshop on Discourse and Dialogue:
  		Proceedings of the Workshop},
  publisher = {Association for Computational Linguistics},
  year = {2002},
  editor = {Kristina Jokinen and Susan McRoy},
  pages = {74--83},
  address = {New Brunswick, New Jersey},
  topic = {computational-dialogue;explanation;intelligent-tutoring;}
  }

@inproceedings{ jordan_pw:1996a,
  author = {Pamela W. Jordan},
  title = {Using Terminological Knowledge Representation Languages to
  	Manage Linguistic Resources},
  booktitle = {Proceedings of the Thirty-Fourth Annual Meeting of the
  	Association for Computational Linguistics},
  year = {1996},
  editor = {Arivind Joshi and Martha Palmer},
  pages = {366--371},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco},
  topic = {description-logics;computational-lexicography;verb-classes;}
 }

@incollection{ jordan_pw:2003a,
  author = {Pamela W. Jordan},
  title = {Feature Sharing and Generation of Nominals in Dialogue},
  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 = {65--70 },
  address = {Menlo Park, California},
  topic = {nl-generation;computational-dialog

repository: sergiud/bibtex-spirit

repo_name: sergiud/bibtex-spirit