text:
}

@article{ smith_rw-gordon_sa:1997a,
  author = {Ronnie W. Smith and Steven A. Gordon},
  title = {Effects of Variable Initiative on Linguistic Behavior
  	in Human-Computer Spoken Natural Language Dialogue},
  journal = {Computational Linguistics},
  year = {1997},
  volume = {23},
  number = {1},
  pages = {141--168},
  topic = {discourse-initiative;corpus-linguistics;pragmatics;}
  }

@book{ smith_rw-hipp:1994a,
  author = {Ronnie W. Smith and D. Richard Hipp},
  title = {Spoken Natural Language Dialog Systems: A Practical Approach},
  publisher = {Oxford University Press},
  year = {1994},
  address = {Oxford},
  ISBN = {ISBN 0-19-509187-6},
  topic = {discourse;pragmatics;}
 }

@article{ smith_sjj-etal:1998a,
  author = {Stephen J.J. Smith and Dana Nau and Tom Throop},
  title = {Computer Bridge:  A Big Win for {AI} Planning},
  journal = {The {AI} Magazine},
  year = {1998},
  volume = {19},
  number = {2},
  pages = {93--106},
  topic = {hierarchical-planning;game-playing;}
  }

@book{ smith_sm-etal:1995a,
  editor = {Steven M. Smith and Thomas B. Ward and Ronald A. Finke},
  title = {The Creative Cognition Approach},
  publisher = {The {MIT} Press},
  year = {1995},
  address = {Cambridge, Massachusetts},
  ISBN = {026219354X},
  rtnote = {UMich Undergraduate, Bf 408 .C7451 1995.},
  topic = {creativity;cognitive-psychology;}
 }

@incollection{ smith_t-etal:2002a,
  author = {Trey Smith and Tuomas Sundholm and Reid Simmons},
  title = {Constructing and Clearing Combinatorial
		Exchanges Using Preference Elicitation},
  booktitle = {Preferences in {AI} and {CP}: Symbolic Approaches},
  publisher = {AAAI Press},
  year = {2002},
  editor = {Ulrich Junker},
  pages = {87--93},
  address = {Menlo Park, California},
  topic = {preferences;qualitative-utility;preference-elicitation;}
  }

@incollection{ smith_tc:1998a,
  author = {Tony C. Smith},
  title = {Learning Feature-Value Grammars from Plain Text},
  booktitle = {Proceedings of the Joint Conference on New Methods in
  	Language Processing and Computational Language Learning},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {David M.W. Powers},
  pages = {291--294},
  address = {Somerset, New Jersey},
  topic = {grammar-learning;}
  }

@article{ smolensky:1987a,
  author = {Paul Smolensky},
  title = {The constituent Structure of Connectionist Mental States:
  	A Reply to {F}odor and {P}ylyshyn},
  journal = {Southern Journal of Philosophy},
  year = {1987},
  volume = {26},
  pages = {137--159},
  missinginfo = {number},
  topic = {connectionism;foundations-of-AI;
  	foundations-of-cognitive-science;}
  }

@article{ smolensky:1988a,
  author = {Paul Smolensky},
  title = {On the Proper Treatment of Connectionism},
  journal = {Behavior and Brain Sciences},
  year = {1988},
  volume = {11},
  pages = {1--23},
  missinginfo = {number},
  topic = {connectionism;foundations-of-AI;sub-symbolic-representations;
  	foundations-of-cognitive-science;}
  }

@article{ smolensky:1990a,
  author = {Paul Smolensky},
  title = {Tensor Product Variable Binding and the Representation of
  	Symbolic Structures in Connectionist Systems},
  journal = {Artificial Intelligence},
  year = {1990},
  volume = {46},
  number = {1--2},
  pages = {159--216},
  topic = {connectionist-plus-symbolic-architectures;}
  }

@book{ smolensky-legendre:2006a,
  editor = {Paul Smolensky and G\'eraldine Legendre},
  title = {The Harmonic Mind:  From Neural Computation to
  		Optimality-Theoretic Grammar. Volume 1: Cognitive
		Architecture},
  publisher = {The {MIT} Press},
  year = {2006},
  address = {Cambridge, Massachusetts},
  ISBN = {0262196283},
  xref = {Review: idsardi:2006a.},
  topic = {neural-computation;optimality-theory;}
 }

@book{ smolensky-legendre:2006b,
  editor = {Paul Smolensky and G\'eraldine Legendre},
  title = {The Harmonic Mind:  From Neural Computation to
  		Optimality-Theoretic Grammar.  Volume 2:
		Linguistic and Philosophical Implications},
  volume = {2},
  publisher = {The {MIT} Press},
  year = {2006},
  address = {Cambridge, Massachusetts},
  ISBN = {0262196283},
  xref = {Review: idsardi:2006a.},
  topic = {neural-computation;optimality-theory;}
 }

@article{ smoliar:1987a,
  author = {Stephen W. Smoliar},
  title = {Review of \emph{{C}onceptual Structures: Information
  	Processing in Mind and Machine}, by {J}ohn {F}. {S}owa},
  journal = {Artificial Intelligence},
  year = {1987},
  volume = {33},
  number = {3},
  pages = {259--266},
  xref = {Review of sowa:1984a.},
  topic = {kr;cognitive-semantics;visual-reasoning;}
  }

@article{ smoliar:1988a,
  author = {Stephen W.  Smoliar},
  title = {Review of \emph{{T}he Robot's Dilemma: The Frame Problem in
  	Artificial Intelligence}, edited by {Z}enon {W}. {P}ylyshyn},
  journal = {Artificial Intelligence},
  year = {1988},
  volume = {36},
  number = {1},
  pages = {131--137},
  xref = {Review of pylyshyn:1996a.},
  topic = {frame-problem;philosophy-AI;}
  }

@article{ smoliar:1989a,
  author = {Stephen W. Smoliar},
  title = {Review of \emph{{L}ogical Foundations of Artificial
  	Intelligence}, by {M}ichael {R}. {G}enesereth and {N}ils {J}.
	{N}ilsson},
  journal = {Artificial Intelligence},
  year = {1989},
  volume = {38},
  number = {1},
  pages = {119--124},
  xref = {Review of: genesereth-nilsson_nj:1987a.},
  topic = {kr;AI-intro;AI-text;AI-and-logic;kr-course;}
  }

@article{ smoliar:1991a,
  author = {Stephen W. Smoliar},
  title = {Review of \emph{{H}ow to Build a Person: A Prolegomenon}, by
  	John L. Pollock},
  journal = {Artificial Intelligence},
  year = {1991},
  volume = {48},
  number = {2},
  pages = {253--256},
  xref = {Review of pollock_jl:1989a.},
  topic = {foundations-of-AI;foundations-of-cognitive-science;
  	philosophy-AI;}
  }

@article{ smoliar:1995a,
  author = {Stephen W. Smoliar},
  title = {Review of \emph{{A}rtificial Life}, edited by {C}hristopher {G}.
  	{L}angton, {C}harles {T}aylor, {J}. {D}oyne {F}armer and
	{S}teen {R}asmussen and of {\it Artificial Life {II}}, edited
	by {C}hristopher {G}. {L}angton},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {73},
  number = {1--2},
  pages = {371--377},
  topic = {artificial-life;}
  }

@article{ smoliar:1996a,
  author = {Stephen W. Smoliar},
  title = {Review of \emph{{M}usic, Mind and Machine: Studies in
  	Computer Music, Music Cognition and Artificial Intelligence},
	by {P}eter {D}esain and {H}enkjan {H}oning},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {79},
  number = {2},
  pages = {361--371},
  xref = {Review of desain-honing:1992a.},
  topic = {AI-and-music;}
  }

@techreport{ smorynski:1975a,
  author = {Craig Smorynski},
  title = {Consistency and Related Metamathematical Properties},
  institution = {Department of Mathematics, University of Amsterdam},
  number = {75--02},
  year = {1975},
  address = {Amsterdam},
  rtnote = {In RHT collection.},
  topic = {consistency-proofs;goedels-second-theorem;}
  }

@incollection{ smorynski:1975b,
  author = {Craig Smorynski},
  title = {The Incompleteness Theorems},
  booktitle = {Handbook of Mathematical Logic},
  publisher = {North-Holland},
  year = {1977},
  editor = {K. Jon Barwise},
  pages = {821--865},
  address = {Amsterdam},
  topic = {goedels-first-theorem;goedels-second-theorem;}
  }

@article{ smorynski:1981a,
  author = {Craig Smorynski},
  title = {Fifty Years of Self-Reference},
  journal = {Notre {D}ame Journal of Formal Logic},
  year = {1981},
  volume = {22},
  number = {4},
  pages = {357--374},
  topic = {self-reference;}
  }

@incollection{ smorynski:1984a,
  author = {Craig Smorynski},
  title = {Modal Logic and Self-Reference},
  booktitle = {Handbook of Philosophical Logic, Volume {II}:
  	Extensions of Classical Logic},
  publisher = {D. Reidel Publishing Co.},
  year = {1984},
  editor = {Dov Gabbay and Franz Guenther},
  pages = {441--495},
  address = {Dordrecht},
  topic = {goedels-second-theorem;semantic-reflection;provability-logic;}
 }

@book{ smorynski:1985a,
  author = {Craig Smorynski},
  title = {Self-Reference and Modal Logic},
  publisher = {Springer-Verlag},
  year = {1985},
  address = {Berlin},
  rtnote = {HILLMAN QA9.46 .S6 1985},
  topic = {semantic-reflection;provability-logic;}
 }

@techreport{ smorynski:1988a,
  author = {Craig Smorynski},
  title = {Hilbert's Programme},
  institution = {Department of Mathematics,
		University of Utrecht},
  number = {522},
  year = {1988},
  address = {Utrecht},
  rtnote = {In RHT collection.},
  topic = {Hilbert's-program;goedels-first-theorem;
		goedels-second-theorem;}
  }

@article{ smorynski:1991a,
  author = {Craig Smorynski},
  title = {Review of \emph{Intensional Mathematics}, by
  	{S}tewart {S}hapiro},
  journal = {Journal of Symbolic Logic},
  year = {1991},
  volume = {56},
  pages = {1496--1499},
  missinginfo = {number},
  xref = {Review of: shapiro_s1:1985a.},
  topic = {epistemic-arithmetic;}
  }

@article{ smullyan_a:1977a,
  author = {Arthur Smullyan},
  title = {Absolute and Restricted Concepts},
  journal = {Journal of Philosophical Logic},
  year = {1977},
  volume = {6},
  number = {1},
  pages = {83--91},
  topic = {property-theory;}
  }

@article{ smyth_b-cotter:2001a,
  author = {Barry Smyth and Paul Cotter},
  title = {Personalized Electronic Program Guides for Digital {TV}},
  journal = {The {AI} Magazine},
  year = {2000},
  volume = {22},
  number = {2},
  pages = {89--},
  topic = {user-modeling;preference-elicitation;}
  }

@article{ smyth_b-keane:1998a,
  author = {Barry Smyth and Mark T. Keane},
  title = {Adaption-Guided Retrieval: Questioning the
  	Similarity Assumption in Reasoning},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {102},
  number = {2},
  pages = {249--293},
  topic = {case-based-reasoning;foundations-of-induction;}
  }

@incollection{ smyth_c-poole:2004a,
  author = {Clinton Smyth and David Poole},
  title = {Qualitative Probabilistic Matching with Hierarchical
  		Descriptions},
  booktitle = {{KR}2004: Principles of Knowledge Representation and
  		Reasoning},
  publisher = {AAAI Press},
  year = {2004},
  editor = {Didier Dubois and Christopher A. Welty and Mary-Anne Williams},
  pages = {479--486},
  address = {Menlo Park, California},
  topic = {computational-ontology;abstraction;}
  }

@incollection{ snow:1991a,
  author = {Paul Snow},
  title = {Restraining the Proliferation of Worlds in Probabilistic
  	Logic Entailments},
  booktitle = {Symbolic and Quantitative Approaches for Uncertainty:
  	Proceedings of the {E}uropean Conference {ECSQAU}, Marseille,
	France, October 1991},
  publisher = {Springer-Verlag},
  year = {1991},
  editor = {Rudolf Kruse and Pierre Siegel},
  pages = {318--322},
  address = {Berlin},
  topic = {probabilistic-reasoning;}
  }

@article{ snow:1998a,
  author = {Paul Snow},
  title = {The Vulnerability of the Transferanle Belief Model to
  	{D}utch Books},
  journal = {Artificial Intelligence},
  year = {1998},
  volume = {105},
  number = {1--2},
  pages = {345--354},
  topic = {Dempster-Shafer-theory;Dutch-book-argument;}
  }

@article{ snow:1999a,
  author = {Paul Snow},
  title = {Diverse Confidence Levels in a Probabilistic
  	Semantics for Conditional Logics},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {113},
  number = {1--2},
  pages = {269--279},
  topic = {conditionals;probability-semantics;}
  }

@article{ soames:1974a,
  author = {Scott Soames},
  title = {Rule Orderings, Obligatory transformations, and
  	Derivational Constraints},
  journal = {Theoretical Linguistics},
  year = {1974},
  volume = {1},
  number = {1/2},
  pages = {116--138},
  topic = {nl-syntax;rule-ordering;}
  }

@unpublished{ soames:1974b,
  author = {Scott Soames},
  title = {On the Nature of Grammars and Linguistic Theories},
  year = {1974},
  note = {Unpublished manuscript, Philosophy Department, MIT.},
  rtnote = {In RHT collection.},
  topic = {philosophy-of-linguistics;}
  }

@article{ soames:1979a,
  author = {Scott Soames},
  title = {A Projection Problem for Speaker Presuppositions},
  journal = {Linguistic Inquiry},
  year = {1979},
  volume = {10},
  pages = {623--666},
  missinginfo = {number},
  rtnote = {pragmatics-course;},
  topic = {presupposition;pragmatics;}
  }

@article{ soames:1982a,
  author = {Scott Soames},
  title = {How Presuppositions Are Inherited: A Solution to the
  	Projection Problem},
  journal = {Linguistic Inquiry},
  year = {1982},
  volume = {13},
  pages = {483--545},
  missinginfo = {number},
  rtnote = {pragmatics-course;},
  topic = {presupposition;pragmatics;}
  }

@article{ soames:1984a,
  author = {Scott Soames},
  title = {Linguistics and Psychology},
  journal = {Linguistics and Philosophy},
  year = {1984},
  volume = {7},
  number = {2},
  pages = {155--179},
  topic = {philosophy-of-linguistics;}
 }

@article{ soames:1984b,
  author = {Scott Soames},
  title = {What Is a Theory of Truth?},
  journal = {Journbal of Philosophy},
  year = {1984},
  volume = {81},
  pages = {411--429},
  missinginfo = {number},
  topic = {truth;}
 }

@incollection{ soames:1984c,
  author = {Scott Soames},
  title = {Semantics and Psychology},
  booktitle = {The Philosophy of Linguistics},
  publisher = {Oxford University Press},
  year = {1984},
  editor = {Jerrold J. Katz},
  pages = {204--226},
  address = {Oxford},
  rtnote = {In RHT collection.},
  topic = {psychological-reality;philosophy-of-linguistics;
  	foundations-of-semantics;}
  }

@article{ soames:1985a,
  author = {Scott Soames},
  title = {Lost Innocence},
  journal = {Linguistics and Philosophy},
  year = {1985},
  volume = {8},
  number = {1},
  pages = {59--71},
  contentnote = {Critique of situation semantic representation of
  	propositions.},
  topic = {foundations-of-semantics;propositional-attitudes;}
  }

@article{ soames:1987a1,
  author = {Scott Soames},
  title = {Direct Reference, Propositional Attitudes, and Semantic
  	Content},
  journal = {Philosophical Topics},
  year = {1987},
  volume = {15},
  number = {1},
  pages = {47--87},
  xref = {Republications: in salmon-soames:1988a, soames:1987a2.},
  topic = {reference;foundations-of-semantics;propositional-attitudes;}
  }

@incollection{ soames:1987a2,
  author = {Scott Soames},
  title = {Direct Reference, Propositional Attitudes,
    		and Semantic Content},
  booktitle = {Readings in the Philosophy of Language},
  publisher = {The {MIT} Press},
  year = {1996},
  editor = {Peter Ludlow},
  pages = {921--962},
  address = {Cambridge, Massachusetts},
  xref = {Republication of: soames:1987a1.},
  topic = {reference;foundations-of-semantics;propositional-attitudes;}
  }

@incollection{ soames:1987b,
  author = {Scott Soames},
  title = {Substitutivity},
  booktitle = {On Being and Saying: Essays for Richard Cartwright},
  publisher = {The {MIT} Press},
  year = {1987},
  editor = {James J. Thomson},
  pages = {99--132},
  address = {Cambridge, Massachusetts},
  rtnote = {In RHT Collection.},
  topic = {foundations-of-semantics;propositional-attitudes;}
  }

@incollection{ soames:1988a,
  author = {Scott Soames},
  title = {Direct Reference, Propositional Attitudes, and Semantic Content},
  booktitle = {Propositions and Attitudes},
  publisher = {Oxford University Press},
  year = {1988},
  editor = {Nathan Salmon and Scott Soames},
  pages = {197--239},
  address = {Oxford},
  topic = {reference;foundations-of-semantics;propositional-attitudes;}
  }

@incollection{ soames:1989a,
  author = {Scott Soames},
  title = {Presupposition},
  booktitle = {Handbook of Philosophical Logic, Volume 4},
  publisher = {D. Reidel Publishing Co.},
  year = {1989},
  editor = {Dov Gabbay and Franz Guenthner},
  pages = {553--616},
  address = {Dordrecht},
  topic = {presupposition;pragmatics;}
  }

@incollection{ soames:1989b,
  author = {Scott Soames},
  title = {Semantics and Semantic Competence},
  booktitle = {Philosophical Perspectives 3:
  	Philosophy of Mind and Action Theory},
  publisher = {Ridgeview Publishing Company},
  year = {1989},
  editor = {James E. Tomberlin},
  pages = {575--596},
  address = {Atasacadero, California},
  note = {Also available at http://www.jstor.org/journals/.},
  rtnote = {In RHT collection.},
  topic = {foundations-of-semantics;philosophy-of-language;
  	psychological-reality;}
  }

@incollection{ soames:1989c,
  author = {Scott Soames},
  title = {Direct Reference and Propositional Attitudes},
  booktitle = {Themes from {K}aplan},
  publisher = {Oxford University Press},
  year = {1989},
  editor = {Joseph Almog and John Perry and Howard Wettstein},
  pages = {393--419},
  address = {Oxford},
  topic = {reference;foundations-of-semantics;propositional-attitudes;}
  }

@article{ soames:1989d,
  author = {Scott Soames},
  title = {Subject-Auxiliary Inversion and Gaps in {\it Generalized
  	Phrase Structure Grammar}},
  journal = {Linguistics and Philosophy},
  year = {1989},
  volume = {12},
  number = {3},
  pages = {373--382},
  topic = {GPSG;}
  }

@article{ soames:1991a,
  author = {Scott Soames},
  title = {The Necessity Argument},
  journal = {Linguistics and Philosophy},
  year = {1991},
  volume = {14},
  number = {5},
  pages = {575--580},
  xref = {Commentary on katz_jj-postal:1991a.},
  topic = {philosophy-of-linguistics;}
  }

@incollection{ soames:1994a,
  author = {Scott Soames},
  title = {Attitudes and Anaphora},
  booktitle = {Philosophical Perspectives, Volume 8:
  	Logic and Language},
  publisher = {Blackwell Publishers},
  year = {1994},
  editor = {James E. Tomberlin},
  pages = {251--272},
  address = {Oxford},
  note = {Also available at http://www.jstor.org/journals/.},
  topic = {propositional-attitudes;anaphora;}
  }

@article{ soames:1998a,
  author = {Scott Soames},
  title = {The Modal Argument: Wide Scope and Rigidified Descriptions},
  journal = {No\^us},
  year = {1998},
  volume = {32},
  number = {1},
  pages = {1--22},
  contentnote = {Considers (and considers inadequate) criticisms of
	kripke:1972a.},
  topic = {reference;modality;rigid-designators;}
  }

@incollection{ soames:1998b,
  author = {Scott Soames},
  title = {Facts, Truth-Conditions, and the Skeptical Solution
  	to the Rule-Following Paradox},
  booktitle = {Philosophical Perspectives 12: Language, Mind,
  	and Ontology},
  publisher = {Blackwell Publishers},
  year = {1998},
  editor = {James E. Tomberlin},
  pages = {313--348},
  address = {Oxford},
  rtnote = {In RHT collection.},
  topic = {rule-following;foundations-of-semantics;}
  }

@book{ soames:1999a,
  author = {Scott Soames},
  title = {Understanding Truth},
  publisher = {Oxford University Press},
  year = {1999},
  address = {Oxford},
  xref = {Commentary: robertson_t:2000a.},
  topic = {truth;philosophy-of-language;vagueness;}
 }

@book{ soames:2002a,
  author = {Scott Soames},
  title = {Beyond Rigidity:  The Unfinished Semantic
  	Agenda of {N}aming and {N}ecessity},
  publisher = {Oxford University Press},
  year = {2002},
  address = {Oxford},
  xref = {Review: hanks_p:2006a.},
  topic = {proper-names;common-nouns;natural-kinds;philosophy-of-language;}
 }

@incollection{ soames:2003a,
  author = {Scott Soames},
  title = {Understanding Deflationism},
  booktitle = {Philosophical Perspectives 17: Language and Philosophical
  	Linguistics, 2003},
  publisher = {Blackwell Publishers},
  year = {2003},
  editor = {John Hawthorne and Dean Zimmerman},
  pages = {369--383},
  address = {Oxford},
  topic = {truth;}
  }

@incollection{ soames:2006a,
  author = {Scott Soames},
  title = {The Philosophical Significance of the
    		{K}ripkean Necessary \emph{aposteriori}},
  booktitle = {Philosophy of Language},
  publisher = {Blackwell Publishers},
  year = {2006},
  editor = {Ernest Sosa and Enrique Villanueva},
  pages = {288--309},
  address = {Oxford},
  topic = {necessary-truth;a-priori;}
  }

@article{ soames:2008a,
  author = {Scott Soames},
  title = {Drawing the Line between Meaning and Implicature---and
  		Relating both to Assertion},
  journal = {No\^us},
  year = {2008},
  volume = {42},
  number = {3},
  pages = {440--465},
  topic = {implicature;}
  }

@article{ soames:2008b,
  author = {Scott Soames},
  title = {Why Propositions Cannot be Sets of Truth-Supporting
  		Circumstances},
  journal = {Journal of Philosophical Logic},
  year = {2008},
  volume = {37},
  number = {3},
  pages = {167--276},
  xref = {Commentary on: edelberg:1994a.},
  topic = {possible-worlds-semantics;propositional-attitudes;
  	intentional-identity;singular-propositions;}
  }

@article{ sobel_i:1974a,
  author = {Irwin Sobel},
  title = {On Calibrating Computer Controlled Cameras for Perceiving
  	{3-D} Scenes},
  journal = {Artificial Intelligence},
  year = {1974},
  volume = {5},
  number = {2},
  pages = {185--198},
  topic = {three-D-imaging;}
  }

@article{ sobel_jh:1968a,
  author = {Jordan Howard Sobel},
  title = {Rule-Utilitarianism},
  journal = {Australasian Journal of Philosophy},
  year = {1968},
  volume = {46},
  pages = {146--165},
  topic = {utilitarianism;}
    }

@article{ sobel_jh:1971a,
  author = {Jorden Howard Sobel},
  title = {Value, Alternatives, and Utilitarianism},
  journal = {Nous},
  year = {1971},
  volume = {4},
  pages = {373--384},
  topic = {utilitarianism;}
    }

@article{ sobel_jh:1976a,
  author = {Jordan Howard Sobel},
  title = {Utilitarianism and Past and Future Mistakes},
  journal = {No\^us},
  year = {1976},
  volume = {10},
  pages = {195--219},
  topic = {utilitarianism;predicted-behavior-and-obligation;}
    }

@unpublished{ sobel_jh:1984a,
  author = {Jordan Howard Sobel},
  title = {Towards a Theory of Rational Agency Based on Probable
  	Choice},
  year = {1984},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  topic = {foundations-of-utility;}
  }

@incollection{ sobel_jh:1985a,
  author = {Jordan Howard Sobel},
  title = {Not Every Prisoner's Dilemma is a {N}ewcomb Problem},
  booktitle = {Paradoxes of Rationality and Cooperation},
  publisher = {The University of British Columbia Press},
  year = {1985},
  pages = {263--274},
  address = {Vancouver},
  topic = {prisoner's-dilemma;}
  }

@inproceedings{ sobel_jh:1990a,
  author = {Jordan Howard Sobel},
  title = {Conditional Probabilities, Conditionalization, and {D}utch
  	Books},
  booktitle = {{PSA} 1990: Proceedings of the Biennial Meeting of the
	Philosophy of Science Association, Volume 1},
  year = {1990},
  editor = {Arthur Fine and Micky Forbes and Linda Wessels},
  pages = {503--515},
  organization = {Philosophy of Science Association},
  publisher = {Philosophy of Science Association},
  address = {East Lansing, Michigan},
  rtnote = {In RHT collection.},
  topic = {probability-kinematics;}
  }

@article{ sobel_jh:1991a,
  author = {Jordan Howard Sobel},
  title = {Non-Dominance, Third Person and Non-Action {N}ewcomb
  	Problems, and Metatickles},
  journal = {Synth\'ese},
  year = {1991},
  volume = {86},
  number = {2},
  pages = {143--195},
  topic = {Newcomb-problem;}
  }

@inproceedings{ sobel_jh:1992a,
  author = {Jordan Howard Sobel},
  title = {Kings and Prisoners (and Aces)},
  booktitle = {{PSA} 1992: Proceedings of the Biennial Meeting of the
	Philosophy of Science Association, Volume 1},
  year = {1992},
  editor = {David Hull and Micky Forbes and Kathleen Okruhlik},
  pages = {203--216},
  organization = {Philosophy of Science Association},
  publisher = {Philosophy of Science Association},
  address = {East Lansing, Michigan},
  rtnote = {In RHT collection.  This is a discussion over puzzles
  	having to do with the nature of update.},
  topic = {probability-kinematics;}
  }

@book{ sobel_jh:1994a,
  author = {Jordan Howard Sobel},
  title = {Taking Chances},
  publisher = {Cambridge University Press},
  year = {1994},
  address = {Cambridge, England},
  rtnote = {MATHEMATICS LIB QA279.5 S635},
  xref = {Review: gardner_r:2000a.},
  topic = {causal-decision-theory;}
 }

@article{ sobel_jh:1997a,
  author = {Jordan Howard Sobel},
  title = {Cyclical Preferences and World {B}ayesianism},
  journal = {Philosophy of Science},
  year = {1997},
  volume = {64},
  number = {1},
  pages = {42--73},
  topic = {preferences;causal-decision-theory;foundations-of-utility;}
  }

@book{ sobel_jh:1998a,
  author = {Jordan Howard Sobel},
  title = {Puzzles of the Will},
  publisher = {University of Toronto Press},
  year = {1998},
  address = {Toronto},
  contentnote = {TC:
  	1. Logical Fatalism
	2. Predicted Choices
	3. Free Will and Varieties of Determinism
        4. Newcomb Denuo, Omniscience and `Choiceless Freedom'
	5. Looking Back
   },
  ISBN = {0-8020-4326-7},
  rtnote = {UMich Graduate Library B105 .D47 S62 1998},
  topic = {(in)determinism;volition;}
 }

@article{ sobel_jh:1999a,
  author = {Jordan Howard Sobel},
  title = {Utilitarianism and Past and Future Mistakes},
  journal = {No\^us},
  year = {1976},
  volume = {10},
  number = {2},
  pages = {195--219},
  topic = {predicted-behavior-and-obligation;alternatives-for-action;}
  }

@article{ sober:1980a,
  author = {Elliot Sober},
  title = {Language and Psychological Reality:  Some Reflections
  	on {C}homsky's {\it Rules and Representations}},
  journal = {Linguistics and Philosophy},
  year = {1980},
  volume = {3},
  number = {3},
  pages = {395--405},
  topic = {psychological-reality;philosophy-of-linguistics;}
  }

@article{ sober:1999a,
  author = {Elliot Sober},
  title = {Testability},
  journal = {Proceedings and Addresses of the {A}merican
  	{P}hilosophical {A}ssociation},
  year = {1999},
  volume = {72},
  number = {2},
  pages = {47--76},
  topic = {confirmation-theory;empiricism;philosophy-of-science;}
  }

@book{ socherambrosius-johann:1997a,
  author = {Rolf Socher-Ambrosius and Patricia Johann},
  title = {Deduction Systems},
  publisher = {Springer-Verlag},
  year = {1997},
  address = {Berlin},
  xref = {Review: marx_m:1999a.},
  topic = {theorem-proving;resolution;}
 }

@inproceedings{ soderland-etal:1995a,
  author = {Stephen Soderland and David Fisher and Jonathan Aseltine
  	and Wendy Lehnert},
  title = {{CRYSTAL}: Inducing a Conceptual Dictionary},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {1314--1319},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  rtnote = {In RHT collection.},
  topic = {information-extraction;lexical-semantics;}
  }

@article{ sogaard-lange_m:2009a,
  author = {Anders S{\o}gaard and Martin Lange},
  title = {Polyadic Dynamif Logics for {HPSG} Parsing},
  journal = {Journal of Logic, Language, and Information},
  year = {2009},
  volume = {18},
  number = {2},
  pages = {159--198},
  topic = {HPSG;dynamic-logic;}
  }

@article{ sokolowski:2007a,
  author = {Paul Sokolowski},
  title = {Is the Pain in {J}ane Felt Mainly in Her Brain?},
  journal = {The {H}arvard Review of Philosophy},
  year = {2007},
  volume = {15},
  pages = {58--71},
  rtnote = {In RHT collection.  M&M course.},
  topic = {philosophy-of-mind;mind-body-problem;Kripke;}
  }

@inproceedings{ soller-etal:1999a,
  author = {Amy Soller and Alan Lesgold and Frank Linton and Brad
			Goodwin},
  title = {What Makes Peer Interaction Effective?
			Modeling Effective Communication in an Intelligent
			{CSCL}},
  booktitle = {Working Papers of the {AAAI} Fall Symposium on
  	Psychological Models of Communication in Collaborative
	Systems},
  year = {1999},
  editor = {Susan E. Brennan and Alain Giboin and David R. Traum},
  pages = {116--124},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  topic = {discourse;intelligent-tutoring;}
  }

@incollection{ solnon-rueher:1994a,
  author = {Christine Solnon and Michel Rueher},
  title = {Propagation of Inter-Argument Dependencies in
  	`Tuple--Distributive' Type Inference Systems},
  booktitle = {Logic Programming Synthesis and Transformation,
  	Meta-Programming in Logic: Fourth International Workshops,
	{LOBSTR}'94 and	{META}'94, Pisa, Italy},
  publisher = {Springer-Verlag},
  year = {1994},
  editor = {Laurent Fribourg and Franco Turini},
  pages = {199--214},
  address = {Berlin},
  topic = {logic-program-synthesis;}
  }

@article{ solomon_m:2003a,
  author = {Miriam Solomon},
  title = {Review of \emph{{P}athways to Knowledge: Public and
  	Private}, by {A}lvin {I}. {G}oldman},
  journal = {Philosophy of Science},
  year = {2003},
  volume = {70},
  number = {2},
  pages = {452--454},
  xref = {Review of: goldman_ai:2002a},
  topic = {epistemology;philosophical-psychology;}
  }

@book{ solomon_m:2005a,
  editor = {Miriam Solomon},
  title = {{PSA}04: Proceedings of the 2004 Biennial Meetings
  	of the Philosophy of Science Association, Part {I}:
	Contributed Papers},
  publisher = {Philosophy of Science Association},
  year = {2005},
  address = {Newark, Delaware},
  rtnote = {In RHT collection.  Philsci Shelves.},
  topic = {philosophy-of-science;}
 }

@book{ solomon_m:2005b,
  editor = {Miriam Solomon},
  title = {{PSA}04: Proceedings of the 2004 Biennial Meetings
  	of the Philosophy of Science Association, Part {II}:
	Symposium Papers},
  publisher = {Philosophy of Science Association},
  year = {2005},
  address = {Newark, Delaware},
  rtnote = {In RHT collection.  Philsci Shelves.},
  topic = {philosophy-of-science;}
 }

@article{ solomon_rc:2001a,
  author = {Robert C. Solomon},
  title = {Review of \emph{Alchemies of the Mind: Rationality and the
  	Emotions}, by {J}on {E}lster},
  journal = {The Philosophical Review},
  year = {2001},
  volume = {110},
  number = {1},
  pages = {104--107},
  xref = {Review of elster:1999a.},
  topic = {emotion;rationality;}
  }

@book{ solomon_rc:2002a,
  author = {Robert C. Solomon},
  title = {Not Passion's Slave:  Emotions and Choice},
  publisher = {Oxford University Press},
  year = {2002},
  address = {Oxford},
  ISBN = {0-19-517978-1},
  topic = {emotion;volition;philosophical-psychology;}
 }

@book{ solow:2001a,
  author = {Daniel Solow},
  title = {How to Read and Do Proofs:  An Introduction to Mathematical
  		Thought Processes},
  publisher = {John Wiley \&{} Sons},
  year = {2001},
  edition = {3},
  address = {New York},
  ISBN = {0-471-40647-3},
  rtnote = {UMich Science QA9 .S5771 2001},
  contentnote = {The author's organization of techniques is
  	idiosyncratic, he seems to know little logic.  The
	focus is on quantitative mathematics. --RT},
  topic = {proof-techniques;}
 }

@inproceedings{ soloway-etal:1987a,
  author = {Elliot Soloway and Judy Bachant and Keith Jensen},
  title = {Assessing the Maintainability of {X}con-in-Rime:
  		Coping with the Problems of a Very Large Rule Base},
  booktitle = {Proceedings of the Sixth National Conference on
             Artificial Intelligence},
  year = {1987},
  editor = {Kenneth Forbus and Howard Shrobe},
  pages = {824--829},
  organization = {American Association for Artificial Intelligence},
  publisher = {The {MIT} Press},
  address = {Cambridge, MA},
  rtnote = {In RHT collection.},
  topic = {kr;expert-systems;experimental-testing-of-kr-systems;
  	AI-system-evaluation;kr-course;}
 }

@incollection{ somers_hh:1998a,
  author = {Harold H. Somers},
  title = {An Attempt to Use Weighted Cusums to Identify
    		Sublanguages},
  booktitle = {New Methods in Language Processing and Computational
  		Language Learning},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {David M.W. Powers},
  pages = {131--139},
  address = {Somerset, New Jersey},
  topic = {sublanguages;machine-learning;}
  }

@article{ somers_hh:1999a,
  author = {Harold H. Somers},
  title = {Aligning Phonetic Segments for Children's Articulation
		Assessment},
  journal = {Computational Linguistics},
  year = {1998},
  volume = {25},
  number = {2},
  pages = {267--274},
  topic = {text-alignment;phonetic-alignment;}
  }

@book{ somers_hl:1991a,
  editor = {Harold L. Somers},
  title = {Working Papers in Computational Semantics, Dialogue and
  	Discourse},
  publisher = {Department of Mathematics, University of Oslo},
  year = {1991},
  address = {P.O. Box 1053-Blindern, 0316 Oslo 3, Norway},
  note = {{COSMOS} Report No. 19},
  contentnote = {TC:
  	1. Mike Rosner, "Dialogue Games and Constraints", pp. 1--4
  	2. Kjell Johan S{\ae}b{\o}, "Partition Semantics and Cooperative
		Response", pp. 5--22
  	3. Harold Somers, "Example-Based {MT} and Dialogue", pp. 23--32
  	4. Espen J. Vestre, "An Algorithm for Generating Non-Redundant
		Quantifier Scopings", pp. 33--51
  	5. David Sedlock, "Aggregate Functions", pp. 53--56
  	6. Hans Siggard Jensen, "Extension and Intension in Anaphora
		Resolution", pp. 57--62
  	7. Lieve Debille, "Anaphora Resolution in {MMI2}", pp. 63--71
  	8. David Sedlock, "Discussion of Anaphora Resolution in
		{MMI2}", pp. 72--73
  	9. C.J. Rupp, "Quantifiers and Circumstances", pp. 74--102
       10. Gregers Koch, "Preliminary Investigations of the Implementation
       		of {PTQ} by Use of Data Flow", pp. 103 --115
       11. Hans Sigurd Jensen, "Formal and Cognitive
       		Semantics", pp. 116--120
       12. Christine Michaux, "Discussion of Dataflow in {M}ontagovian
       		Semantics and Formal and Cognitive
		Semantics", pp. 121--123
  	},
  rtnote = {In RHT collection.  Reprint files, under "Somers".},
  topic = {nl-semantics;discourse;pragmatics;}
 }

@incollection{ somers_hl:1991b,
  author = {Harold L. Somers},
  title = {Example-Based {MT} and Dialogue},
  booktitle = {Working Papers in Computational Semantics, Dialogue and
  	Discourse},
  publisher = {Department of Mathematics, University of Oslo},
  year = {1991},
  editor = {Harold L. Somers},
  pages = {23--32},
  address = {P.O. Box 1053-Blindern, 0316 Oslo 3, Norway},
  topic = {machine-translation;}
  }

@incollection{ somers_hl:1998a,
  author = {Harold L. Somers},
  title = {An Attempt to Use Weighted Cusums to Identify
    		Sublanguages},
  booktitle = {Proceedings of the Joint Conference on New Methods in
  	Language Processing and Computational Language Learning},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Jill C. Burstein and Claudia Leacock},
  pages = {131--139},
  address = {Somerset, New Jersey},
  topic = {sublanguage-identification;statistical-nlp;}
  }

@incollection{ sommers_f:1976a,
  author = {Fred Sommers},
  title = {On Predication and Logical Syntax},
  booktitle = {Language in Focus},
  publisher = {D. Reidel Publishing Co.},
  year = {1976},
  editor = {Asa Kasher},
  pages = {41--53},
  address = {Dordrecht},
  topic = {nl-semantic-types;}
  }

@book{ sommerville:1989a,
  author = {Ian Sommerville},
  title = {Software Specification: A Comparison of Formal Methods},
  publisher = {Ablex Publishing Co.},
  year = {1994},
  edition = {3},
  address = {Norwood, New Jersey},
  ISBN = {1567500331},
  rtnote = {UMich Media Union Library, QA 76.758 .G371 1994.},
  topic = {software-engineering;}
 }

@book{ sommerville:1996a,
  author = {Ian Sommerville},
  title = {Software Engineering},
  publisher = {Addison-Wesley},
  year = {1996},
  address = {Reading, Massachusetts},
  edition = {4},
  ISBN = {0201427656 (alk. paper)},
  rtnote = {UMich Media Union Library, QA 76.6 .S6451 1996.},
  topic = {software-engineering-text;}
 }

@article{ son_tc-baral:2001a,
  author = {Tran Cao Son and Chitta Baral},
  title = {Formalizing Sensing Actions---A Transition Function
  	Based Approach},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {125},
  number = {1--2},
  pages = {19--91},
  topic = {sensing-actions;}
  }

@article{ son_tc-etal:2005a,
  author = {Tran Cao Son and Phan Huy Tu and Xin Zhang},
  title = {Reasoning about Sensing Actions in Domains with
  	Multi-Valued Fluents},
  journal = {Studia Logica},
  year = {2005},
  volume = {79},
  number = {1},
  pages = {135--160},
  topic = {sensing-actions;action-formalisms;}
  }

@incollection{ son_tc-tu_ph:2006a,
  author = {Tran Cao Son and Phan Huy Tu},
  title = {On the Completeness of Approximation
    		Based Reasoning and Planning in Action Theories with
		Incomplete Information},
  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 = {481--491},
  address = {Menlo Park, California},
  topic = {planning-formalisms;reasoning-about-uncertainty;}
  }

@article{ sondheimer:1978a,
  author = {Norman Sondheimer},
  title = {Reference to Spatial Properties},
  journal = {Linguistics and Philosophy},
  year = {1978},
  volume = {2},
  number = {2},
  pages = {235--280},
  topic = {spatial-language;nl-semantics;}
  }

@inproceedings{ song_f-cohen_r1:1991a,
  author = {Fei Song and Robin Cohen},
  title = {Tense Interpretation in the Context of Narrative},
  booktitle = {Proceedings of the Ninth National Conference on
              Artificial Intelligence},
  year = {1991},
  editor = {Thomas Dean and Kathleen McKeown},
  pages = {131--136},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {narratives;al-reasoning;nl-interpretation;}
  }

@article{ song_f-cohen_r1:1996a,
  author = {Fei Song and Robin Cohen},
  title = {A Strengthened Algorithm for Temporal Reasoning about Plans},
  journal = {Computational Intelligence},
  year = {1996},
  volume = {12},
  pages = {331--356},
  missinginfo = {number},
  topic = {temporal-reasoning;}
  }

@incollection{ song_ns:1998a,
  author = {Nam Sun Song},
  title = {Metaphor and Metonymy},
  booktitle = {Relevance Theory: Applications and Implications},
  publisher = {John Benjamins Publishing Co.},
  year = {1998},
  editor = {Robyn Carston and Seiji Uchida},
  pages = {69--104},
  address = {Amsterdam},
  topic = {relevance-theory;metaphor;metonymy;}
  }

@article{ soon-etal:2001a,
  author = {Wee Meng Soon and Hwee Tou Ng and Daniel Chung Yong Lim},
  title = {A Machine Learning Approach to Coreference Resolution of
  	Noun Phrases},
  journal = {Computational Linguistics},
  year = {2001},
  volume = {27},
  number = {4},
  pages = {521--544},
  topic = {anaphora-resolution;machine-learning;}
  }

@book{ sorabji:1972a,
  editor = {Richard Sorabji},
  title = {Aristotle on Memory},
  publisher = {Brown University Press},
  year = {1972},
  address = {Providence},
  topic = {Aristotle;memory;}
 }

@book{ sorabji:1980a,
  author = {Richard Sorabji},
  title = {Necessity, Cause and Blame: Perspectives on
  	{A}ristotle's Theory},
  publisher = {Duckworth},
  year = {1980},
  address = {London},
  ISBN = {0715613723},
  rtnote = {UMich Graduate Library, B491.E8 S72.},
  rtnote = {tmix-project;},
  rtnote = {Chapter 5: Tomorrow's Sea Battle.  In RHT Collection.},
  topic = {Aristotle;future-contingent-propositions;}
 }

@book{ sorabji:1983a,
  author = {Richard Sorabji},
  title = {Time, Creation, and the Continuum: Theories in Antiquity and
  	the Early Middle Ages},
  publisher = {Cornell University Press},
  year = {1983},
  address = {Ithaca, New York},
  ISBN = {0801415934},
  rtnote = {Umich Graduate Library, BD638 .S711 1983.},
  topic = {ancient-physics;philosophy-of-time;ancient-philosophy;
  	ancient-physics;}
 }

@book{ sorabji:1988a,
  author = {Richard Sorabji},
  title = {Matter, Space, and Motion: Theories in Antiquity and Their
    Sequel},
  publisher = {Duckworth},
  year = {1988},
  address = {London},
  ISBN = {0716522056},
  rtnote = {UMich Graduate Library, QC 9 .G8 S671 1988.},
  topic = {Aristotle;ancient-physics;ancient-philosophy;}
 }

@book{ sorabji:1990a,
  editor = {Richard Sorabji},
  title = {Aristotle Transformed: The Ancient Commentators and Their
    Influence},
  publisher = {Duckworth},
  year = {1990},
  address = {London},
  ISBN = {0715622544},
  rtnote = {UMich Graduate Library, B 485 .A675 1990.},
  topic = {Aristotle;}
 }

@book{ sorabji:1993a,
  author = {Richard Sorabji},
  title = {Animal Minds and Human Morals: The Origins of the {W}estern
    Debate},
  publisher = {Cornell University Press},
  year = {1993},
  address = {Ithaca},
  ISBN = {080142948X},
  rtnote = {UMich Graduate Library, PA 25 .C81 v.54},
  topic = {animal-cognition;}
 }

@book{ sorabji:1997a,
  editor = {Richard Sorabji},
  title = {Aristotle and After},
  publisher = {Institute of Classical Studies, School of Advanced
    Study, University of London},
  year = {1997},
  address = {London},
  ISBN = {0900587792},
  rtnote = {UMich Graduate Library, DE 2 .L851 no.68},
  topic = {Aristotle;}
 }

@article{ sorensen_ra:1982a,
  author = {Roy A. Sorensen},
  title = {Epistemic and Classical Validity},
  journal = {Journal of Philosophical Logic},
  year = {1982},
  volume = {11},
  number = {4},
  pages = {459--460},
  topic = {epistemic-semantics;}
  }

@article{ sorensen_ra:1990a,
  author = {Roy A. Sorensen},
  title = {Process Vagueness},
  journal = {Linguistics and Philosophy},
  year = {1990},
  volume = {13},
  number = {5},
  pages = {589--618},
  topic = {vagueness;}
  }

@incollection{ sorensen_ra:1997a,
  author = {Roy Sorensen},
  title = {The Metaphysics of Precision and Scientific Language},
  booktitle = {Philosophical Perspectives 11: Mind, Causation, and World},
  publisher = {Blackwell Publishers},
  year = {1997},
  editor = {James E. Tomberlin},
  address = {Oxford},
  missinginfo = {pages = {349--}},
  rtnote = {In RHT collection.},
  topic = {vagueness;}
  }

@article{ sorensen_ra:1998a,
  author = {Roy A. Sorensen},
  title = {Yablo's Paradox and Kindred Infinite Liars},
  journal = {Mind, New Series},
  year = {1998},
  volume = {107},
  number = {425},
  pages = {137--155},
  topic = {semantic-paradoxes;self-reference;}
  }

@article{ sorensen_ra:1999a,
  author = {Roy A. Sorensen},
  title = {Seeing Intersecting Eclipses},
  journal = {Journal of Philosophy},
  year = {1999},
  volume = {96},
  number = {1},
  pages = {25--49},
  topic = {philosophy-of-perception;}
  }

@article{ sorensen_ra:1999b,
  author = {Roy A. Sorensen},
  title = {Mirror Notation: Symbol Manipulation without
  	Inscription Manipulation},
  journal = {Journal of Philosophical Logic},
  year = {1999},
  volume = {28},
  number = {2},
  pages = {141--164},
  contentnote = {Idea is that you compute by changing your perspective
  	rather than the symbols with which you are computing.},
  topic = {foundations-of-computation;}
  }

@article{ sorensen_ra:2000a,
  author = {Roy A. Sorensen},
  title = {A Vague Demonstration},
  journal = {Linguistics and Philosophy},
  year = {2000},
  volume = {23},
  number = {5},
  pages = {507--522},
  topic = {vagueness;demonstratives;}
  }

@book{ sorensen_ra:2001a,
  author = {Roy A. Sorensen},
  title = {Vagueness and Contradiction},
  publisher = {Oxford University Press},
  year = {2001},
  address = {Oxford},
  ISBN = {0199241309},
  rtnote = {UMich Graduate Library, B 105 V33 S672 2001.},
  rtnote = {In RHT Collection.  LLP single author shelves.},
  topic = {vagueness;}
 }

@book{ sorensen_ra:2003a,
  author = {Roy Sorensen},
  title = {A Brief History of the Paradox},
  publisher = {Oxford University Press},
  year = {2003},
  address = {Oxford},
  ISBN = {0-19-517986-2},
  topic = {paradoxes;}
 }

@incollection{ sorensen_ra:2009a,
  author = {Roy A. Sorensen},
  title = {Epistemic Paradoxes},
  booktitle = {The Stanford Encyclopedia of Philosophy},
  editor = {Edward N. Zalta},
  url = {http://plato.stanford.edu/archives/spr2009/entries/epistemic-paradoxes/},
  year = {2009},
  edition = {Spring 2009},
  topic = {Fitch-paradox;knowability-paradox;Moore's-paradox;
  	paradox-of-the-preface;surprise-examination-paradox;}
  }

@incollection{ soria-etal:2000a,
  author = {Claudia Soria and Roldano Cattoni and Morena Danielli},
  title = {{ADAM}: An Architecture for {XML}-Based
		Dialogue Annotation on Multiple Levels},
  booktitle = {Proceedings of the First {SIGdial} Workshop on Discourse
  	and Dialogue},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  editor = {Laila Dybkjaer and Koiti Hasida and David R. Traum},
  pages = {9--18},
  address = {Somerset, New Jersey},
  topic = {computational-dialogue;corpus-annotation;corpus-tagging;}
  }

@incollection{ soria-ferrari_g:1998a,
  author = {Claudia Soria and Giacomo Ferrari},
  title = {Lexical Marking of Discourse Relations---Some Experimental
  	Findings},
  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 = {43--49},
  address = {Somerset, New Jersey},
  topic = {discourse-cue-words;discourse-structure;
  	empirical-methods-in-discourse;}
  }

@incollection{ soria-pirrelli:1999a,
  author = {Claudia Soria and Vito Pirrelli},
  title = {A Recognition-Based Meta-Scheme for Dialogue Acts
  	Annotation},
  booktitle = {Towards Standards and Tools for Discourse Tagging:
  	Proceedings of the Workshop},
  publisher = {Association for Computational Linguistics},
  year = {1999},
  editor = {Marilyn Walker},
  pages = {75--83},
  address = {Somerset, New Jersey},
  topic = {discourse-tagging;speech-acts;}
  }

@inproceedings{ soricut-marcu:2005a,
  author = {Radu Soricut and Daniel Marcu},
  title = {Towards Developing Generation Algorithms for Text-to-Text
  		Applications},
  booktitle = {Proceedings of the 43rd Annual Meeting of the
  		Association for Computational Linguistics (ACL'05)},
  month = {June},
  year = {2005},
  address = {Ann Arbor, Michigan},
  publisher = {Association for Computational Linguistics},
  pages = {66--74},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1009},
  topic = {nl-generation;machine-translation;text-summary;}
  }

@incollection{ sorin-demori:1998a,
  author = {Christel Sorin and Renato de Mori},
  title = {Sentence Generation},
  booktitle = {Spoken Dialogues with Computers},
  publisher = {Academic Press},
  year = {1998},
  editor = {Renato de Mori},
  pages = {563--582},
  address = {New York},
  topic = {nl-generation;}
  }

@article{ sosa_d:2001a,
  author = {David Sosa},
  title = {Rigidity in the Scope of {R}ussell's Theory},
  journal = {No\^us},
  year = {2001},
  volume = {35},
  number = {1},
  pages = {1--38},
  topic = {proper-names;definite-descriptions;Russell;rigid-designators;}
  }

@article{ sosa_e:1964a,
  author = {Ernest Sosa},
  title = {On Knowledge and Context},
  journal = {The Journal of Philosophy},
  year = {1986},
  volume = {83},
  number = {10},
  pages = {584--585},
  topic = {knowledge;context;}
  }

@article{ sosa_e:1967a,
  author = {Ernest Sosa},
  title = {Hypothetical Reasoning},
  journal = {The Journal of Philosophy},
  year = {1967},
  volume = {64},
  number = {10},
  pages = {293--305},
  topic = {conditionals;}
  }

@article{ sosa_e:1970a,
  author = {Ernest Sosa},
  title = {Propositional Attitudes de Dictu and de Re},
  journal = {The Journal of Philosophy},
  year = {1970},
  volume = {67},
  number = {21},
  pages = {883--896},
  topic = {propositional-attitudes;}
  }

@book{ sosa_e:1975a,
  editor = {Ernest Sosa},
  title = {Causation and Conditionals},
  publisher = {Oxford University Press},
  year = {1975},
  address = {Oxford},
  rtnote = {In RHT collection.  Shelf.},
  rtnote = {tmix-project;},
  topic = {conditionals;causality;}
 }

@incollection{ sosa_e:1984a,
  author = {Ernest Sosa},
  title = {Mind-Body Interaction and Supervenient Causation},
  booktitle = {Causation and Causal Theories},
  publisher = {University of Minnesota Press},
  year = {1984},
  editor = {Peter A. French and Theodore E. Uehling, Jr. and Howard
  	K. Wettstein},
  pages = {271--281},
  address = {Minneapolis},
  topic = {causality;supervenience;philosophy-of-mind;}
  }

@article{ sosa_e:1986a,
  author = {Ernest Sosa},
  title = {On Knowledge and Context},
  journal = {The Journal of Philosophy},
  year = {1986},
  volume = {83},
  number = {10},
  pages = {584--590},
  topic = {knowledge;propositional-attitudes;context;}
  }

@incollection{ sosa_e:1993a,
  author = {Ernest Sosa},
  title = {Abilities, Concepts, and Externalism},
  booktitle = {Mental Causation},
  publisher = {Oxford University Press},
  year = {1993},
  editor = {John Heil and Alfred R. Mele},
  pages = {309--328},
  address = {Oxford},
  topic = {internalism/externalism;ability;broad/narrow-content;}
  }

@incollection{ sosa_e:1993b,
  author = {Ernest Sosa},
  title = {{D}avidson's Thinking Causes},
  booktitle = {Mental Causation},
  publisher = {Oxford University Press},
  year = {1993},
  editor = {John Heil and Alfred R. Mele},
  pages = {41--50},
  address = {Oxford},
  topic = {mind-body-problem;causality;anomalous-monism;}
  }

@incollection{ sosa_e:1993c,
  author = {Ernest Sosa},
  title = {Epistemology, Realism, and Truth: The First
		Philosophical Perspectives Lecture},
  booktitle = {Philosophical Perspectives, Volume 7:
  	Language and Logic},
  publisher = {Blackwell Publishers},
  year = {1993},
  editor = {James E. Tomberlin},
  pages = {1--16},
  address = {Oxford},
  note = {Also available at http://www.jstor.org/journals/.},
  topic = {philosophical-realism;truth;}
  }

@article{ sosa_e:2000a,
  author = {Ernest Sosa},
  title = {Review of \emph{{P}apers in Metaphysics and
  	Epistemology}, by {D}avid {K}. {L}ewis},
  journal = {The Journal of Philosophy},
  year = {2000},
  volume = {97},
  number = {5},
  pages = {301--307},
  topic = {metaphysics;epistemplogy;}
  }

@book{ sosa_e-tooley:1993a,
  editor = {Ernest Sosa and Michael Tooley},
  title = {Causation},
  publisher = {Oxford University Press},
  year = {1993},
  address = {Oxford},
  topic = {causality;}
 }

@book{ sosa_e-villanova:2002a,
  editor = {Ernest Sosa and Enrique Villanueva},
  title = {Realism and Relativism},
  publisher = {Blackwell Publishers},
  year = {2002},
  address = {Oxford},
  rtnote = {In RHT Collection.  LLP edited shelves.},
  topic = {metaphysics;philosophy-of-logic;metaethics;}
 }

@book{ sosa_e-villanova:2003a,
  editor = {Ernest Sosa and Enrique Villanueva},
  title = {Philosophy of Mind},
  publisher = {Blackwell Publishers},
  year = {2003},
  address = {Oxford},
  rtnote = {In RHT Collection.  LLP edited shelves.},
  contentnote = {TC:
     1. Louise Antony, "Who's Afraid of Disjunctive
     		Properties?", pp. 1--21
     2. Akeel Bilgrami, "A Trilemma for Redeployment", pp. 22--30
     3. Paul Boghossian, "The Normativity of Content", pp. 31--45
     4. David J. Chalmers, "The Nature of Narrow Content", pp. 46--61
     5. Fred Dretske, "Experience as Representation", pp. 67--82
     6. Allan Gibbard, "Thoughts and Norms", pp. 83--98
     7. Frank Jackson, "Representation and Narrow Belief", pp. 99--112
     8. Brian Loar, "Qualia, Properties, and Modality", pp. 113--129
     9. William G. Lycan, "Vs. a New A Priorist Argument for
     		Dualism", pp. 130--147
    10. Colin McGinn, "What Constitutes the Mind-Body Problem?", pp. 148--162
    11. Brian P. McLaughlin, "A Naturalist-Phenomenal Realist
    		Response to {B}lock's Harder Problem", pp. 163--204
    12. David Papineau, "Could There Be a Science of
    		Consciousness?", Pp. 205--220
    13. Philip Pettit, "Looks as Powers", pp. 221--252
    14. Sydney Shoemaker, "Content, Character and Color", pp. 253--378
    15. Galen Strawson, "What is the Relation between an Experience, the
    		Subject of the Experience, nad the Content of the
		Experience?", pp. 279--315
    16. Stephen Yablo, "Causal Relevance", pp. 316--328
  },
 topic = {philosophy-of-mind;}
 }

@book{ sosa_e-villanova:2004a,
  editor = {Ernest Sosa and Enrique Villanova},
  title = {Epistemology},
  publisher = {Blackwell Publishers},
  year = {2004},
  address = {Oxford},
  rtnote = {In RHT Collection.  LLP edited shelves.},
  contentnote = {TC:
     1. Louise Antony, "A Naturalized Approach to the A Priori", pp. 1--17
     2. Robert Audi, "The A Priori Authority of Testimony", pp. 18--34
     3. Michael Bergmann, "Externalist Justification", pp. 35--60
     4. Bill Brewer, "Realism and the Nature of Perceptual
     		Experience", pp. 61--77
     5. Earl Conee, "Externalism, Internalism, and Skepticism", pp. 78--90
     6. Michael R. DePaul, "Truth Consequentialism, Withholding and
     		Proportioning Belief to the Evidence", pp. 91--112
     7. Catherine Z. Elgin, "True Enough", pp. 113--131
     8. Richard Feldman, "Foundational Beliefs and Empirical
     		Possibilities", pp. 132--148
     9. Richard Fumerton, "Epistemic Probability", pp. 149--164
    10. Peter Klein, "Closure Matters: Academic Skepticism and Easy
    		Knowledge", pp. 165--184
    11. Hilary Kornblith, "Does Reliabilism Make Knowledge Merely
    		Conditional?", pp. 185--200
    12. Jonathan L. Kvanvig, "Nozickian Epistemology and the Value of
    		Knowledge", pp. 201--218
    13. Adam Leite, "On Justifying and Being Justified", pp. 219--253
    14. Noah Lemos, "Epistemic Circularity Again", pp. 254--270
    15. Steven Luper, "Epistemic Relativism", pp. 271--295
    16. Ram Neta, "Skepticism, Abductivism, and the Explanatory
    		Gap", pp. 296--325
    17. Duncan Pritchard, "The Epistemology of Testimony", pp. 326--348
    18. James Pryor, "What's Wrong with Moore's Argument?", pp. 349--378
    19. Frederick F. Schmitt, "What Is Wrong with Epistemic
    		Circularity?", pp. 379--402
    20. Matthias Steup, "Internalist Reliabilism", pp. 403--425
    21. Jonathan Vogel, "Skeptical Arguments", pp. 426--455
    22. Michael Williams, "Scepticism and the Context of
    		Philosophy", pp. 456--475
    23. John Hawthorne, "Pr\'ecis of Knowledge and
    		Lotteries", pp.  476--481
    24. Stewart Cohen, "Knowledge, Assertion, and Practical
    		Reasoning", pp. 482--491
    25. Gilbert Harman and Brett Sherman, "Knowledge, Assumptions,
    		Lotteries", pp. 492--500
    26. Jonathan Vogel, "Speaking of Knowledge", pp. 501--509
    27. John Hawthorne, "Replies", pp. 510--523
  },
 topic = {epistemology;}
 }

@book{ sosa_e-villanova:2005a,
  editor = {Ernest Sosa and Enrique Villanova},
  title = {Philosophical Issues 15: Normativity},
  publisher = {Blackwell Publishers},
  year = {2005},
  address = {Oxford},
  rtnote = {In RHT Collection.  LLP edited shelves.},
  topic = {normativity;ethics;}
 }

@book{ sosa_e-villanova:2009a,
  editor = {Ernest Sosa and Enrique Villanueva},
  title = {Metaethics},
  publisher = {Blackwell Publishers},
  year = {2009},
  address = {Oxford},
  rtnote = {In RHT Collection.  LLP edited shelves.},
  topic = {metaethics;}
 }

@book{ sosa_e-villanueva:2000a,
  editor = {Ernest Sosa and Enrique Villanueva},
  title = {Skepticism},
  publisher = {Blackwell Publishers},
  year = {2000},
  address = {Oxford},
  rtnote = {In RHT Collection.  LLP edited shelves.},
  topic = {skepticism;}
 }

@book{ sosa_e-villanueva:2001a,
  editor = {Ernest Sosa and Enrique Villanueva},
  title = {Social, Political, and Legal Philosophy},
  publisher = {Blackwell Publishers},
  year = {2001},
  address = {Oxford},
  rtnote = {In RHT collection.  Contemporary Ethics Etc Shelves.},
  topic = {social-philosophy;political-philosophy;philosophy-of-law;}
 }

@book{ sosa_e-villanueva:2006a,
  editor = {Ernest Sosa and Enrique Villanueva},
  title = {Philosophy of Language},
  publisher = {Blackwell Publishers},
  year = {2006},
  address = {Oxford},
  rtnote = {In RHT Collection.  LLP edited shelves.},
  contentnote = {TC:
     1. Nicholas Asher, "Things and Their Aspects", pp. 1--23
     2. David Braun, "Now You Know Who {H}ong {O}ak {Y}un Is", pp. 24--42
     3. Herman Cappelen and Ernie Lepore, "Quotation, Context
     		Sensitivity, Signs and Expressions", pp. 43--64
     4. Delia Graff Fara, "Descriptions with Adverbs of
     		Quantification", pp. 65--87
     5. Richard G. {Heck, Jr.}, "Mac{F}arlane on Relative Truth", pp. 88--100
     6. James Higginbotham, "Sententialism: The Thesis that Complement
     		Clauses Refer to Themselves", pp. 101--119
     7. Robin Jeshion, "Soames on Descriptive Reference-Fixing", pp. 120--140
     8. Jeffrey C. King, "Singular Terms, Reference and Methodology in
     		Semantics", pp. 141--161
     9. Peter Ludlow, "From {S}herlock and {B}uffy to {K}lingon and
     		{N}oranthian Platinum Pieces:  Pretense, Contextualism,
                and the Myth of Fiction", pp. 162--183
    10. William G. Lycan, "The Meaning of `Water':  An Unsolved
     		Problem", pp. 184--199
    11. Robert J. Matthews, "Knowledge of Language and Linguistic
    		Competence", pp. 200--220
    12. Paul M. Pietroski, "Interpreting Concatenation and
    		Concatenates", pp. 221--245
    13. R.M. Sainsbury, "Understanding as Immersion", pp. 246--262
    14. Nathan Salmon, "Terms in Bondage", pp. 263--274
    15. Stephen Schiffer, "Two Perspectives on Knowledge of
    		Language", pp. 275--287
    16. Scott Soames, "The Philosophical Significance of the
    		{K}ripkean Necessary \emph{aposteriori}", pp. 288--309
    17. Timothy Wiliamson, "Indicative Versus Subjunctive
    		Conditionals", pp. 310--333
    18. Gilbert Harman, "Self-Reflexive Thoughts", pp. 334--345
    19. Christopher S. Hill, "Harman on Self-Referential
    		Thoughts", pp. 346--357
  },
  rtnote = {In RHT Collection.  LLP edited shelves.},
  topic = {philosophy-of-language;}
 }

@book{ sosa_e-villanueva:2007a,
  editor = {Ernest Sosa and Enrique Villanueva},
  title = {The Metaphysics of Epistemology},
  publisher = {Blackwell Publishers},
  year = {2007},
  address = {Oxford},
  rtnote = {In RHT Collection.  LLP edited shelves.},
  contentnote = {TC:
     1. John Campbell, "The Metaphysics of Perception", pp. 1--15
     2. Earl Conee, "Disjunctivism and Anti-Skepticism", pp. 16--37
     3. Brie Gertler, "Content Externalism and the External
     		Conception of Self", pp. 37--56
     4. John Greco, "The Nature of Ability and the Purpose of
     		Knowledge", pp. 57--69
     5. Sally Haslanger, "\,`But {M}om, Crop-Tops \emph{Are} Cute!
     		Social Knowledge, Social Structure, and Ideology
		Critique", pp. 70--101
     6. John Hawthorne, "Eavesdroppers and Epistemic Modals", pp. 92--101
     7. Christopher S. Hill and Joshua Schlechter, "Hawthorne's Lottery
     		Puzzle and the Nature of Belief", pp. 102--122
     8. Terry Horgan and Uriah Kriegel, "Phenomenal Epistemology:  What
     		Is Consciousness that We May Know It so
		Well?", pp. 123--144
     9. Hilary Kornblith, "The Metaphysical Status of
     		Knowledge", pp. 145--164
    10. Johathan Kvanvig, "Propositionalism and the Metaphysics of
    		Experience", pp. 165--178
    11. Alan Millar, "The State of Knowing", pp. 179--196
    12. Ram Neta, "Propositional Justification, Evidence, and the Cost
    		of Error", pp. 197--216
    13. James Pryor, "Reasons and That-Clauses", pp. 217--244
    14. David Sosa, "Perceptual Friction", pp. 245--261
    15. Crispin Wright, "New Age Relativism and Epistemic
    		Possibility: The Question of Evidence", pp. 262--283
  },
  rtnote = {In RHT collection.  LLP edited shelves.},
  topic = {epistemology;metaphysics;}
 }

@inproceedings{ souther-etal:1989a,
  author = {Art Souther and Liane Acker and James Lester and Bruce
  	Porter},
  title = {Using View Types to Generate Explanations in Intelligent
  	Tutoring Systems},
  year = {1989},
  booktitle = {Proceedings of the Eleventh Annual Conference of the
  Cognitive Science Society},
  pages = {123--130},
  topic = {nl-generation;explanation;}
}

@book{ sowa:1984a,
  author = {John F. Sowa},
  title = {Conceptual Structures: Information Processing in Mind and
  	Machine},
  publisher = {Addison-Wesley},
  year = {1984},
  address = {Reading, Massachusetts},
  xref = {Reviews: clancey:1985a, smoliar:1987a.},
  topic = {kr;cognitive-semantics;visual-reasoning;}
 }

@article{ sowa:1989a,
  author = {John F. Sowa},
  title = {Review of \emph{{L}ogical Foundations of Artificial
  	Intelligence}, by {M}ichael {R}. {G}enesereth and {N}ils {J}.
		{N}ilsson},
  journal = {Artificial Intelligence},
  year = {1989},
  volume = {38},
  number = {1},
  pages = {125--131},
  xref = {Review of: genesereth-nilsson_nj:1987a.},
  topic = {kr;AI-intro;AI-text;AI-and-logic;kr-course;}
  }

@book{ sowa:1991a,
  editor = {John F. Sowa},
  title = {Principles of Semantic Networks: Explorations in
  	the Representation of Knowledge},
  publisher = {Morgan Kaufmann},
  year = {1991},
  address = {San Mateo, California},
  topic = {kr;semantic-nets;kr-course;}
 }

@incollection{ sowa:1991b,
  author = {John F. Sowa},
  title = {Towards the Expressive Power of Natural Language},
  booktitle = {Principles of Semantic Networks: Explorations in
  	the Representation of Knowledge},
  publisher = {Morgan Kaufmann},
  year = {1991},
  editor = {John F. Sowa},
  pages = {157--190},
  address = {San Mateo, California},
  topic = {kr;nl-kr;kr-course;}
  }

@incollection{ sowa:1992a,
  author = {John Sowa},
  title = {Conceptual Graphs as a Universal Knowledge Representation},
  booktitle = {Semantic Networks in Artificial Intelligence},
  publisher = {Pergamon Press},
  year = {1992},
  editor = {Fritz Lehmann},
  pages = {75--93},
  address = {Oxford},
  xref = {Also published in Computers and Mathematics with Applications;
  	vol. 23; 1992; 75--93},
  topic = {kr;conceptual-graphs;kr-course;}
  }

@inproceedings{ sowa:1993a,
  author = {John F. Sowa},
  title = {Lexical and Conceptual Structures},
  booktitle = {Semantics and the Lexicon},
  year = {1993},
  editor = {James Pustejovsky},
  pages = {223--262},
  publisher = {Kluwer Academic Publishers},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  rtnote = {semantics-course;},
  topic = {lexical-semantics;nl-kr;kr-course;}
  }

@article{ sowa:1993b,
  author = {John F. Sowa},
  title = {Review of \emph{{B}uilding Large Knowledge-Based Systems:
  	Representation and Inference in the {CYC} Project}, by
	{D}.{B}. {L}enat and {R}.{V}. {G}uha},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {61},
  number = {1},
  pages = {95--104},
  xref = {Review of lenat-guha:1989a.},
  topic = {kr;large-kr-systems;kr-course;}
  }

@inproceedings{ sowa:1995a,
  author = {John Sowa},
  title = {Syntax, Semantics, and Pragmatics of Contexts},
  booktitle = {Formalizing Context},
  year = {1995},
  editor = {Sa\v{s}a Buva\v{c}},
  pages = {85--96},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {context;conceptual-graphs;}
  }

@article{ sowa:1995b,
  author = {John Sowa},
  title = {Top-Level Ontological Categories},
  journal = {International Journal on Human-Computer Studies},
  year = {1995},
  volume = {43},
  number = {5--6},
  pages = {669--685},
  rtnote = {In RHT collection.},
  topic = {computational-ontology;}
  }

@inproceedings{ sowa:1997a,
  author = {John F. Sowa},
  title = {Possible Worlds, Situations, Model Sets, and Contexts},
  booktitle = {Working Papers of the {AAAI} Fall Symposium on
  	Context in Knowledge Representation and Natural Language},
  year = {1997},
  editor = {Sa\v{s}a Buva\v{c} and {\L}ucia Iwa\'nska},
  pages = {161--172},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  topic = {context;logic-of-context;}
  }

@article{ sowa:1998a,
  author = {John Sowa},
  title = {Review of \emph{{L}anguage at Work:  Analyzing
		Communication Breakdown in the Workplace to
		Inform Systems Design}, by {K}eith {D}evlin and
		{D}uska {R}osenberg},
  journal = {Computational Linguistics},
  year = {1998},
  volume = {24},
  number = {4},
  pages = {649--651},
  topic = {miscommunication;}
  }

@book{ sowa:1999a,
  author = {John F. Sowa},
  title = {Knowledge Representation: Logical, Philosophical,
        and Computational Foundations},
  publisher = {Thomson Learning},
  year = {1999},
  address = {Stamford, Connecticut},
  xref = {Review: shapiro_sc:2001a.},
  topic = {kr-text;kr;}
 }

@article{ sowa:1999b,
  author = {John Sowa},
  title = {Review of \emph{{P}hilosophy in the Flesh: The Embodied
  	Mind and its Challenge to {W}estern Thought}, by {G}eorge
	{L}akoff and {M}ark {J}ohnson},
  journal = {Computational Linguistics},
  year = {1999},
  volume = {25},
  number = {4},
  pages = {631--634},
  xref = {Review of: lakoff-johnson_m:1999a.},
  topic = {metaphor;pragmatics;embodiment;}
  }

@article{ sowa:2006a,
  author = {John F. Sowa},
  title = {Worlds, Times, and Descriptions},
  journal = {Studia Logica},
  year = {2006},
  volume = {84},
  number = {2},
  pages = {323--360},
  topic = {possibility;philosophy-of-possible-worlds;}
  }

@inproceedings{ spaan_e:1990a,
  author = {Edith Spaan},
  title = {Nexttime is not Necessary},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
    Proceedings of the Third Conference ({TARK} 1990)},
  year = {1990},
  editor = {Rohit Parikh},
  pages = {241--256},
  publisher = {Morgan Kaufmann},
  address = {Los Altos, California},
  topic = {temporal-reasoning;distributed-systems;}
  }

@incollection{ spaan_e:1993a,
  author = {Edith Spaan},
  title = {The Complexity of Propositional Tense Logics},
  booktitle = {Diamonds and Defaults},
  publisher = {Kluwer Academic Publishers},
  editor = {Maarten de Rijke},
  year = {1993},
  pages = {287--307},
  address = {Dordrecht},
  topic = {algorithmic-complexity;temporal-logic;}
  }

@techreport{ spaan_m:1990a,
  author = {Martijn Spaan},
  title = {Parallel Quantification},
  institution = {Institute for Language, Logic and Information, University
  	of Amsterdam},
  number = {LP--93--01},
  year = {1990},
  address = {Faculty of Mathematics and Computer Science, Roeterssraat 15,
  	1018WB Amsterdam, Holland},
  rtnote = {In RHT collection.},
  topic = {branching-quantifiers;nl-quantifiers;}
  }

@article{ spade:1977a,
  author = {Paul Vincent Spade},
  title = {General Semantic Closure},
  journal = {Journal of Philosophical Logic},
  year = {1977},
  volume = {6},
  number = {2},
  pages = {209--221},
  topic = {semantic-paradoxes;}
  }

@incollection{ spanopulo-zakharov:1998a,
  author = {Vladimir V. Spanopulo and Vladimir A. Zakharov},
  title = {On the Relationship between Models of Parallel Computation},
  booktitle = {Advances in Modal Logic, Volume 1},
  publisher = {{CSLI} Publications},
  year = {1998},
  editor = {Marcus Kracht and Maarten de Rijke and Heinrich Wansing},
  pages = {237--248},
  address = {Stanford, California},
  topic = {modal-logic;concurrency;}
  }

@article{ sparckjones:1988a,
  author = {Karen Sparck Jones},
  title = {Fashionable Trends and Feasible Strategies in Information
  		Management},
  journal = {Information Processing and Management},
  year = {1988},
  volume = {24},
  number = {6},
  pages = {703--711},
  rtnote = {In RHT collection.},
  topic = {information-retrieval;}
  }

@incollection{ sparckjones: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;HCI;user-modeling;user-modeling-in-generation;}
  }

@article{ sparckjones: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;}
  }

@book{ sparckjones-etal:2000a,
  editor = {Karen Sparck Jones, Gerald Gazdar and Roger Needham},
  title = {Computers, Language and Speech: Formal Theories and
  	Statistical Data},
  publisher = {British Royal Society},
  year = {2000},
  address = {London},
  contentnote = {TC:
    1. Karen Sparck Jones, Gerald Gazdar and Roger Needham,
      "Introduction: Combining Formal Theories and Statistical Data
       in Natural Language Processing"
    2. Fernando Pereira, "Formal Grammar and Information Theory:
       Together Again?"
    3. Julie Carson-Berndsen, "Finite State Models, Event Logics and
       Statistics in Speech Recognition"
    4. Stephen Pulman, "Statistical and Logical Reasoning in
       Disambiguation"
    5. Harald Baayen and Robert Schreuder, "Towards a Psycholingistic
       Computational Model for Morphological Parsing"
    6. Yoshihiko Gotoh and Stephen Renals, "Information Extraction
       from Broadcast News"
    7. Ronald Rosenfeld, "Incorporating Linguistic Structure into
       Statistical Language Models"
    8. Mari Ostendorf, "Incorporating Linguistic Theories of
       Pronunciation Variation into Speech Recognition Models"
    9. Geoffrey Sampson, "The role of Taxonomy in Language
       Engineering"
    10. Hiyan Alshawi and Shona Douglas, "Learning Dependency
       Transduction Models from Unannotated Examples"
    11. Jon Oberlander and Chris Brew, "Stochastic Text Generation"
    12. Stephen Young, "Probabilistic Models in Spoken Dialogue
       Systems"
    13. Paul Taylor, "Concept-to-Speech Synthesis by Phonological
       Structure Matching"
    14. Kathleen McKeown and Shimei Pan, "Prosody Modelling in
       Concept-to-Speech Generation: Methodological Issues"
   },
  extrainfo = {Papers from a Royal Society/British Academy Discussion
  	Meeting},
  note = {Philosophical Transactions of the Royal Society, Series A:
  	Mathematical, Physical and Engineering Sciences, Volume 358,
	Issue 1769, April 2000.},
  topic = {nl-processing;speech-acts;}
 }

@article{ speaks:2005a,
  author = {Jeff Speaks},
  title = {Is There a Problem about Nonconceptual Content?},
  journal = {The Philosophical Review},
  year = {2003},
  volume = {114},
  number = {3},
  pages = {359--398},
  topic = {philosophy-of-perception;}
  }

@article{ speaks:2006a,
  author = {Jeff Speaks},
  title = {Is Mental Content Prior to Linguistic Meaning?},
  journal = {No\^us},
  year = {2006},
  volume = {40},
  number = {3},
  pages = {428--467},
  topic = {philosophy-of-language;philosophy-of-mind;}
  }

@article{ speaks:2006b,
  author = {Jeff Speaks},
  title = {Truth Theories Translation Manuals, and Theories of Meaning},
  journal = {Linguistics and Philosophy},
  year = {2006},
  volume = {29},
  number = {4},
  pages = {487--505},
  topic = {Davidson-semantics;foundations-of-semantics;}
  }

@techreport{ spector-etal:1990a,
  author = {Lee Spector and James Hendler and M. Evett},
  title = {Knowledge Representation in {\sc parka}},
  institution = {Computer Science Department, University of
  	Maryland},
  number = {CS--TR--2410},
  year = {1990},
  address = {College Park, Maryland},
  rtnote = {In RHT collection.},
  missinginfo = {A's 1st name},
  topic = {kr;inheritance-theory;}
  }

@article{ spector-hendler:1987a,
  author = {Lee Spector and James Hendler},
  title = {Review of \emph{{M}inimal Rationality}, by {C}hristopher
  	{C}herniak},
  journal = {Artificial Intelligence},
  year = {1987},
  volume = {39},
  number = {1},
  pages = {137--139},
  xref = {Review of cherniak:1986a.},
  topic = {limited-rationality;}
  }

@inproceedings{ spejewski:1996a,
  author = {Beverly Spejewski},
  title = {Temporal Subordination and the {E}nglish Perfect},
  booktitle = {Proceedings from Semantics and Linguistic Theory {VI}},
  publisher = {Cornell University},
  year = {1996},
  editor = {Teresa Galloway and Justin Spence},
  pages = {261--278},
  address = {Ithaca, New York},
  topic = {nl-semantics;nl-tense;perfective-aspect;}
  }

@incollection{ spelke:1990a,
  author = {Elizabeth S. Spelke},
  title = {Origins of Visual Knowledge},
  booktitle = {An Invitation to Cognitive Science.  Volume
  	2: Visual Cognition and Action},
  publisher = {The {MIT} Press},
  year = {1990},
  editor = {Daniel N. Osherson and Howard Lasnik},
  pages = {99--127},
  address = {Cambridge, Massachusetts},
  topic = {cognitive-psychology;human-vision;visual-reasoning;}
  }

@article{ spenader:2003a,
  author = {Jennifer Spenader},
  title = {Factive Presuppositions, Accommodation and Information
  	Structure},
  journal = {Journal of Logic, Language, and Information},
  year = {2003},
  volume = {12},
  number = {3},
  pages = {351--368},
  topic = {information-structure;(counter)factive-constructions;
  	presupposition;accommodation;}
  }

@article{ spenader:2005a,
  author = {Jennifer Spenader},
  title = {Review of \emph{{S}emantics in Generative Grammar}, by
  		{I}rene {H}eim and {A}ngelika {K}ratzer},
  journal = {Journal of Logic, Language, and Information},
  year = {2005},
  volume = {14},
  number = {4},
  pages = {476--478},
  xref = {Review of: heim_i-kratzer:1997a.},
  topic = {nl-semantics;}
  }

@article{ spencer:1971a,
  author = {Mary Spencer},
  title = {Why the `S' in `Intension'?},
  journal = {Mind, New Series},
  year = {1971},
  volume = {80},
  number = {317},
  pages = {114--115},
  contentnote = {The author ascribes the term to Hamilton, who got it from
  	Leibniz.},
  topic = {intensionality;}
  }

@book{ spencer:1991a,
  author = {Andrew Spencer},
  title = {Morphological Theory},
  publisher = {Cambridge University Press},
  year = {1991},
  address = {Cambridge, England},
  topic = {morphology;},
 }

@book{ spencersmith-torrance:1992a,
  editor = {Richard Spencer-Smith and Steve Torrance},
  title = {Machinations: Computational Studies of Logic, Language,
  	and Cognition},
  publisher = {Ablex Publishing Corporation},
  year = {1992},
  address = {Norwood, New Jersey},
  rtnote = {UMich Media Union Library, QA 76 .M2191 1992.},
  ISBN = {0893916552 (hdbk), 0893919098 (pbk.)},
  abstract = {This volume brings together a collection of papers
    covering a wide range of topics in computer and cognitive
    science.  Topics included are: the foundational relevance of
    logic to computer science, with particular reference to tense
    logic, constructive logic, and Horn clause logic; logic as the
    theoretical underpinnings of the engineering discipline of expert
    systems; a discussion of the evolution of computational
    linguistics into functionally distinct task levels; and current
    issues in the implementation of speech act theory. There are
    contributions to current debates within cognitive science,
    including PDP-based models of cognition; explanation-based
    learning as applied to game playing strategies; and the
    significance of the 4-card selection task for the mental reality
    of logic.  },
  topic = {logic-in-cs;foundations-of-cognitive-science;logic-and-cognition;}
 }

@incollection{ sperber:1994a,
  author = {Dan Sperber},
  title = {Understanding Verbal Understanding},
  booktitle = {What is Intelligence?},
  publisher = {Cambridge University Press},
  year = {1994},
  editor = {Jean Khalfa},
  pages = {179--198},
  address = {Cambridge, England},
  topic =
  {philosophy-of-mind;foundations-of-cognition;philosophy-of-mind;
  	foundations-of-linguistics;}
  }

@book{ sperber-etal:1995a,
  author = {Dan Sperber and David Premack and Ann James Premack},
  title = {Causal Cognition:  A Multidisciplinary Debate},
  publisher = {Oxford University Press},
  year = {1995},
  address = {Oxford},
  rtnote = {Langley BF311 C35 1995},
  topic = {causality;cognitive-psychology;}
 }

@book{ sperber-etal:1996a,
  author = {Dan Sperber and David Premack and James Premack},
  title = {Causal Cognition},
  publisher = {Oxford University Press},
  year = {1996},
  address = {Oxford},
  topic = {causality;cognitive-psychology;}
 }

@incollection{ sperber-wilson_d:1981a,
  author = {Dan Sperber and Deirdre Wilson},
  title = {Irony and the Use-Mention Distinction},
  booktitle = {Radical Pragmatics},
  publisher = {Academic Press},
  year = {1981},
  editor = {Peter Cole},
  pages = {295--318},
  address = {New York},
  rtnote = {In RHT collection.},
  topic = {irony;}
  }

@article{ sperber-wilson_d:1981b,
  author = {Dan Sperber and Deirdre Wilson},
  title = {Pragmatics},
  journal = {Cognition},
  year = {1981},
  volume = {10},
  pages = {281--286},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {pragmatics;}
  }

@incollection{ sperber-wilson_d:1982b,
  author = {Dan Sperber and Deirdre Wilson},
  title = {Mutual Knowledge and Relevance in Theories of
  	Comprehension},
  booktitle = {Mutual Knowledge},
  publisher = {Academic Press},
  year = {1982},
  editor = {N.V. Smith},
  pages = {61--85},
  address = {London},
  topic = {mutual-belief;discourse;relevance-theory;pragmatics;}
  }

@book{ sperber-wilson_d:1986a,
  author = {Dan Sperber and Deirdre Wilson},
  title = {Relevance: Communication and Cognition},
  publisher = {Harvard University Press},
  year = {1986},
  address = {Cambridge, Massachusetts},
  xref = {For critical comments, see gazdar-good:1982a.
  	Reviews: levinson_sc:1989.},
  rtnote = {pragmatics-course;},
  topic = {implicature;pragmatics;relevance-theory;context;}
  	}

@article{ sperber-wilson_d:1986b,
  author = {Dan Sperber and Deirdre Wilson},
  title = {Loose Talk},
  journal = {Proceedings of the {A}ristotelian Society},
  year = {1986},
  volume = {86},
  pages = {153--171},
  missinginfo = {specific topic},
  topic = {speaker-meaning;}
 }

@article{ sperber-wilson_d:1987a,
  author = {Dan Sperber and Deirdre Wilson},
  title = {Pr\'ecis of Relevance: Communication and Cognition},
  journal = {Behavioral and Brain Sciences},
  year = {1987},
  volume = {10},
  pages = {697--754},
  missinginfo = {number},
  contentnote = {Comments by:
  	1. Jonathan E. Adler
  	2. Kent Bach and Robert Harnish
  	3. Diane Blakemore
  	4. Robyn Carlson
  	5. Herbert H. Clark
  	6. Anne Cutler
  	7. Martin Davies
  	8. Richard Gerrig
  	9. Raymond W. Gibbs, Jr.
       10. Liliane Hagerman
       11. Ruth Kempson
       12. John MacNamara
       13. Ruth Garrett Millikan
       14. Jerry L. Morgan and Georgia M. Green
       15. Phillip Pettit
       16. Anne Reboul
       17. Fran\c{c}ois Rencanati
       16. Stuart J. Russell
       17. Pieter A.M. Seuren
       18. Carlota S. Smith
       19. N.V. Smith
       20. Yorik Wilks
  	},
  rtnote = {In RHT collection.  Prags Course Files.},
  rtnote = {pragmatics-course;},
  topic = {implicature;pragmatics;relevance-theory;context;}
  	}

@incollection{ sperber-wilson_d:1998a,
  author = {Dan Sperber and Deirdre Wilson},
  title = {Irony and Relevance: A Reply to {S}an},
  booktitle = {Relevance Theory: Applications and Implications},
  publisher = {John Benjamins Publishing Co.},
  year = {1998},
  editor = {Robyn Carston and Seiji Uchida},
  pages = {283--293},
  address = {Amsterdam},
  topic = {relevance-theory;irony;}
 }

@incollection{ sperbergmcqueen:1994a,
  author = {C.M. Sperberg-McQueen},
  title = {The Text-Encoding Initiative},
  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 = {409--427},
  address = {Pisa and Dordrecht},
  topic = {corpus-linguistics;text-encoding-initiative;}
  }

@book{ sperschneider-antoniou:1991a,
  author = {V. Sperschneider and Grigoris Antoniou},
  title = {Logic : A Foundation for Computer Science},
  publisher = {Addison-Wesley},
  year = {1991},
  address = {Reading, Massachusetts},
  ISBN = {0201565145},
  rtnote = {UMich Media Union Library, QA 76 .S67871 1991.},
  contentnote = {TC:
     I.  Predicate Logic
     1.  Syntax of Predicate Logic
     2.  Semantics of Predicate Logic
     3.  Proof Theory
     4.  Predicate Logic with Equality
     5.  Basic Concepts from Model Theory
     6.  Many-Sorted Logics
     II. Logic Programming and Prolog
     7.  Horn Logic
     8.  Steps Toward Programming in Logic
     9.  Verification of Logic Programs
     10. Procedural Interpretation fo Horn Logic and Steps toward Prolog
     III. Logic of Equations and Abstract Data Types
     11. Logic of Equations
     12. Algebraic Specification of Abstract Data Types
     13. Term Rewriting Systems
     IV. Program Verification and Hoare Logic
     14. Program Correctness
     15. Hoare Logic
     16. Completeness of Hoare Logic
     17. Recursive Procedures and Data Type Declarations
     18. Verification of Modules
    },
  topic = {logic-in-cs;logic-in-cs-intro;}
 }

@incollection{ spielman_da-teng_sh:2003a,
  author = {Daniel A. Spielman and Shang-Hua Teng},
  title = {Smoothed Analysis:  Motivation and Discrete Models},
  booktitle = {Proceedings of the 8th International Workshop on
  	Algorithms and Data Structures: {WADS} 2003},
  publisher = {Springer},
  year = {2003},
  editor = {J\"org-R\"udiger Sack and Muchiel Smid},
  pages = {256--270},
  address = {Berlin},
  topic = {complexity-theory;smoothed-analysis;}
  }

@article{ spielman_s:1976a,
  author = {Stephen Spielman},
  title = {Exchangeablity and the Certainty of Objective Randomness},
  journal = {Journal of Philosophical Logic},
  year = {1976},
  volume = {5},
  number = {3},
  pages = {399--406},
  topic = {randomness;}
  }

@article{ spielman_s:1976b,
  author = {Stephen Spielman},
  title = {Carnap's Robot and Inductive Logic},
  journal = {Journal of Philosophical Logic},
  year = {1976},
  volume = {5},
  number = {3},
  pages = {407--415},
  topic = {induction;}
  }

@incollection{ spies:1991a,
  author = {Marcus Spies},
  title = {Managing Uncertainty in Environmental Analysis:  An Application
  	to Measurement Data Application},
  booktitle = {Symbolic and Quantitative Approaches for Uncertainty:
  	Proceedings of the {E}uropean Conference {ECSQAU}, Marseille,
	France, October 1991},
  publisher = {Springer-Verlag},
  year = {1991},
  editor = {Rudolf Kruse and Pierre Siegel},
  pages = {323--327},
  address = {Berlin},
  topic = {reasoning-about-uncertainty;}
  }

@book{ spirtes-etal:1993a,
  author = {Peter Spirtes and Clark Glymour and Richard Scheines},
  title = {Causation, Prediction, and Search},
  publisher = {Springer-Verlag},
  year = {1993},
  address = {Berlin},
  topic = {causality;probabilistic-reasoning;}
 }

@book{ spirtes-etal:2000a,
  author = {Peter Spirtes and Clark Glymour and Richard Scheines},
  title = {Causation, Prediction, and Search},
  edition = {2},
  publisher = {The {MIT} Press},
  year = {2000},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-19440-6},
  topic = {causality;probabilistic-reasoning;}
 }

@article{ spirtes-scheines:2004a,
  author = {Peter Spirtes and Richard Scheines},
  title = {Causal Inference of Ambiguous Manipulations},
  journal = {Philosophy of Science},
  year = {2004},
  volume = {71},
  number = {5},
  pages = {833--845},
  note = {Philosophy of Science: Proceedings of the
  	2002 Biennial Meeting of the
	Philosophy of Science Association, Part 2: Symposia
	Papers.  Edited by Sandra D. Mitchell.},
  topic = {causality;ability;}
  }

@article{ spohn:1975a,
  author = {Wolfgang Spohn},
  title = {An Analysis of {H}ansson's Dyadic Deontic Logic},
  journal = {Journal of Philosophical Logic},
  year = {1975},
  volume = {4},
  number = {2},
  pages = {237--252},
  topic = {deontic-logic;}
  }

@article{ spohn:1977a,
  author = {Wolfgang Spohn},
  title = {Where {L}uce and {K}rantz Really Do Generalize {S}avage's
  	Decision Model},
  journal = {Erkenntnis},
  year = {1977},
  volume = {11},
  pages = {113--134},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {decision-theory;}
  }

@article{ spohn:1980a,
  author = {Wolfgang Spohn},
  title = {Stochastic Independence, Causal Independence, and
  	Shieldability},
  journal = {Journal of Philosophical Logic},
  year = {1980},
  volume = {9},
  number = {1},
  pages = {73--99},
  topic = {causal-independence;}
  }

@article{ spohn:1986a,
  author = {Wolfgang Spohn},
  title = {The Representation of {P}opper Measures},
  journal = {Topoi},
  year = {1986},
  volume = {5},
  pages = {69--74},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {primitive-conditional-probability;}
  }

@incollection{ spohn:1988a,
  author = {Wolfgang Spohn},
  title = {Ordinal Conditional Functions:  A Dynamic Theory of
  	Epistemic States},
  booktitle = {Causation in Decision, Belief Change, and Statistics,
  	Vol. 2},
  publisher = {Kluwer Academic Publishers},
  year = {1988},
  editor = {William L. Harper and Brian Skyrms},
  pages = {105--134},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {belief-revision;probability;}
  }

@incollection{ spohn:1990a,
  author = {Wolfgang Spohn},
  title = {A General Non-Probabilistic Theory of Inductive Reasoning},
  booktitle = {Uncertainty in Artificial Intelligence, Volume 4},
  publisher = {Springer-Verlag},
  year = {1990},
  editor = {Max Henrion and Ross D. Shachter and L.N. Kanal and J.F.
  	Lemmer},
  address = {Berlin},
  missinginfo = {pages},
  topic = {qualitative-probability;induction;}
  }

@inproceedings{ sportiche:1987a,
  author = {Dominique Sportiche},
  title = {A Theory of Floating Quantifiers},
  booktitle = {{NELS 17}: Proceedings of the Seventeenth Conference of the
  	{N}orth {E}ast {L}inguistic {S}ociety},
  year = {1987},
  editor = {Joyce McDonough and B. Plunkett},
  publisher = {GLSA Publications},
  address = {Amherst, Massachusetts},
  pages  = {425--449},
  topic = {floating-quantifiers;}
  }

@article{ sprevak:2009a,
  author = {Mark Sprevak},
  title = {Extended Cognition and Functionalism},
  journal = {The Journal of Philosophy},
  year = {2009},
  volume = {106},
  number = {9},
  pages = {503--527},
  topic = {embedded-cognition;functionalism;}
  }

@unpublished{ sproat:1975a,
  author = {Richard Sproat},
  title = {Constituent-Based Morphological Parsing},
  year = {1975},
  note = {Unpublished manuscript, Department of Linguistics and
  	Philosophy, MIT},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  topic = {parsing-algorithms;computational-morphology;}
  }

@book{ sproat:1992a,
  author = {Richard Sproat},
  title = {Morphology and Computation},
  publisher = {The {MIT} Press},
  year = {1992},
  address = {Cambridge, Massachusetts},
  rtnote = {In RHT collection.},
  topic = {morphology;computational-morphology;}
 }

@book{ sproat:2000a,
  author = {Richard Sproat},
  title = {A Computational Theory of Writing Systems},
  publisher = {Cambridge University Press},
  year = {2000},
  address = {Cambridge, England},
  ISBN = {0-521-663490-7},
  xref = {Review: beesley:2001a.},
  topic = {writing-systems;nl-processing;}
 }

@article{ sproat-etal:1996a,
  author = {Richard W. Sproat and Chilin Shih and William Gale
  	and Nancy Chang},
  title = {A Stochastic Finite-State Word-Segmentation Algorithm for
  	Chinese},
  journal = {Computational Linguistics},
  year = {1996},
  volume = {22},
  number = {3},
  pages = {377--404},
  topic = {finite-state-nlp;word-segmentation;Chinese-language;}
  }

@inproceedings{ sproat-riley:1996a,
  author = {Sproat and Riley},
  title = {Compilation of Weighted Finite-State Transducers from
  	Decision Trees},
  booktitle = {Proceedings of the Thirty-Fourth Annual Meeting of the
  	Association for Computational Linguistics},
  year = {1996},
  editor = {Arivind Joshi and Martha Palmer},
  pages = {215--222},
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann Publishers},
  address = {San Francisco},
  topic = {speech-recognition;weighted-finite-state-automata;}
 }

@article{ sproull:1980a,
  author = {Robert Sproull},
  title = {Review of \emph{{A}rtificial Intelligence and Pattern
  	Recognition in Computer Aided Design}, edited by {J}.{C}.
	{L}atombe},
  journal = {Artificial Intelligence},
  year = {1980},
  volume = {15},
  number = {1--2},
  pages = {125--126},
  xref = {Review of latombe:1978a.},
  topic = {computer-aided-design;pattern-matching;}
  }

@incollection{ spyns-etal:1997a,
  author = {P. Spyns and F. Deprez and L. van Tichelen and B.
                van Coile},
  title = {A Practical Message-to-Speech Strategy
		for Dialogue Systems},
  booktitle = {Interactive Spoken Dialog Systems:  Bridging
  	Speech and {NLP} Together in Real Applications},
  publisher = {Association for Computational Linguistics},
  year = {1997},
  editor = {Julia Hirschberg and Candace Kamm and Marilyn Walker},
  pages = {41--47},
  address = {New Brunswick, New Jersey},
  missinginfo = {A's 1st names},
  topic = {computational-dialogue;nl-generation;}
  }

@article{ srebro:2003a,
  author = {Nathan Srebro},
  title = {Maximum Likelihood Bounded Tree-Width {M}arkov Networks},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {143},
  number = {1},
  pages = {123--138},
  topic = {Markov-networks;machine-learning;complexity-in-AI;}
  }

@article{ sridhar:1990a,
  author = {S.N. Sridhar},
  title = {What are Applied Linguistics?},
  journal = {Studies in the Linguistic Sciences},
  year = {1990},
  volume = {20},
  number = {2},
  pages = {165--176},
  rtnote = {In RHT collection.},
  topic = {applied-linguistics;}
  }

@article{ srihari-bozinovic:1987a,
  author = {Sargur N. Srihari and Radmilo M.  Bo\v{z}inovi\'{c}},
  title = {A Multi-Level Perception Approach to Reading Cursive
  	Script},
  journal = {Artificial Intelligence},
  year = {1987},
  volume = {33},
  number = {3},
  pages = {217--255},
  topic = {computer-vision;computational-reading;}
  }

@unpublished{ srihari-burhans:1999a,
  author = {Rohini Srihari and Debra T. Burhans},
  title = {Visual Semantics: Extracting Visual Information
  	from Text Accompanying Pictures},
  year = {1999},
  note = {Unpublished manuscript, University of Buffalo.},
  rtnote = {In RHT collection.},
  topic = {visual-reasoning;multimedia-interpretation;Wordnet;}
  }

@article{ srihari-etal:2008a,
  author = {Sargur Srihari and Jim Collins and Rohini Srihari and
  	Harish Srinivasan and Shravya Shetty and Janina Brutt-Griffler},
  title = {Automatic Scoring of Short Handwritten Essays in Reading
  	Comprehension Tests},
  journal = {Artificial Intelligence},
  year = {2008},
  volume = {172},
  number = {2--3},
  pages = {300--324},
  topic = {automated-test-scoring;}
  }

@article{ srinivasan_a-etal:1996a,
  author = {Ashwin Srinivasan and Steven H. Muggleton and M.J.E.
  	Sternberg and R.D. King},
  title = {Theories for Mutagenicity: A Study in First-Order and
  	Feature-Based Induction},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {85},
  number = {1--2},
  pages = {277--299},
  acontentnote = {Abstract:
     A classic problem from chemistry is used to test a conjecture
     that in domains for which data are most naturally represented by
     graphs, theories constructed with inductive logic programming
     (ILP) will significantly outperform those using simpler
     feature-based methods.  One area that has long been associated
     with graph-based or structural representation and reasoning is
     organic chemistry.  In this field, we consider the problem of
     predicting the

license: MIT

license_type: permissive

branch_name: refs/heads/master

gha_license_id: MIT

extension: bib