text:
ehoshua Bar-Hillel},
  address = {Jerusalem},
  topic = {set-theory;foundations-of-set-theory;}
  }

@article{ scott_ds:1964a,
  author = {Dana S. Scott},
  title = {Measurement Models and Linear Inequalities},
  journal = {Journal of Mathematical Psychology},
  year = {1964},
  volume = {1},
  pages = {233--247},
  missinginfo = {number},
  topic = {qualitative-probability;measurement-theory;}
  }

@unpublished{ scott_ds:1966a,
  author = {Dana S. Scott},
  title = {A Proof of the Independence of the Continuum
  	Hypothesis},
  year = {1966},
  note = {Unpublished manuscript, Stanford University.},
  rtnote = {In RHT collection.},
  topic = {continuum-hypothesis;}
  }

@unpublished{ scott_ds:1966b,
  author = {Dana S. Scott},
  title = {A Logic of Commands},
  year = {1966},
  note = {Unpublished manuscript, Stanford University},
  rtnote = {In RHT collection.},
  topic = {deontic-logic;modal-logic;imperative-logic;}
  }

@unpublished{ scott_ds:1968a,
  author = {Dana S. Scott},
  title = {Formalizing Intensional Notions},
  year = {1968},
  note = {Unpublished manuscript, Stanford University.},
  rtnote = {In RHT collection.},
  topic = {intensionality;intensional-logic;modal-logic;}
  }

@incollection{ scott_ds:1970a,
  author = {Dana S. Scott},
  title = {Advice on Modal Logic},
  booktitle = {Philosophical Problems in Logic},
  publisher = {D. Reidel Publishing Co.},
  year = {1970},
  editor = {Karel Lambert},
  pages = {143--173},
  address = {Dordrecht},
  topic = {modal-logic;}
  }

@incollection{ scott_ds:1972a,
  author = {Dana Scott},
  title = {Semantical Archaeology: A Parable},
  booktitle = {Semantics of Natural Language},
  publisher = {D. Reidel Publishing Co.},
  year = {1972},
  editor = {Donald Davidson and Gilbert H. Harman},
  pages = {666--674},
  address = {Dordrecht},
  topic = {philosophy-of-logic;}
  }

@unpublished{ scott_ds:1974a,
  author = {Dana S. Scott},
  title = {Does Many-Valued Logic Have Any Use?},
  year = {1974},
  note = {Unpublished manuscript, Oxford University.},
  rtnote = {In RHT collection.},
  topic = {multivalued-logic;}
  }

@unpublished{ scott_ds:1977a,
  author = {Dana S. Scott},
  title = {Alternative Logics: Fact or Fiction?},
  year = {1977},
  note = {Unpublished manuscript, Oxford University.},
  rtnote = {In RHT collection.},
  topic = {philosophy-of-logic;}
  }

@unpublished{ scott_ds:1982a,
  author = {Dana S. Scott},
  title = {Domains for Denotational Semantics},
  year = {1982},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript, Department of Computer Science,
  	Carnegie Mellon University.},
  rtnote = {In RHT collection.},
  topic = {domain-theory;denotational-semantics;}
  }

@article{ scott_ds-suppes:1958a,
  author = {Dana S. Scott and Patrick Suppes},
  title = {Foundational Aspects of Theories of Measurement},
  journal = {Journal of Symbolic Logic},
  year = {1958},
  volume = {23},
  number = {2},
  pages = {113--128},
  rtnote = {In RHT collection.},
  topic = {qualitative-probability;measurement-theory;}
  }

@book{ scott_m-thompson_g:2001a,
  editor = {Mike Scott and Geoff Thompson},
  title = {Patterns of Text: In Honour of {M}ichael {H}oey},
  publisher = {John Benjamins},
  year = {2001},
  address = {Amsterdam},
  ISBN = {90-272-2572-9},
  xref = {Review: hirst_g:2002a.},
  topic = {corpus-linguistics;text-linguistics;}
 }

@incollection{ scott_s-matwin:1998a,
  author = {Sam Scott and Stan Matwin},
  title = {Text Classification Using {W}ord{N}et Hypernyms},
  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 = {38--44},
  address = {Somerset, New Jersey},
  topic = {nl-processing;WordNet;information-retrieval;
  	document-classification;}
  }

@article{ scottkakures:1997a,
  author = {Dion Scott-Kakures},
  title = {Self-Knowledge, Akrasia, and Self-Criticism},
  journal = {Philosophia},
  year = {1997},
  volume = {25},
  number = {1--4},
  pages = {267--295},
  topic = {akrasia;}
  }

@article{ scottkakures:2000a,
  author = {Dion Scott-Kakures},
  title = {Motivated Believing},
  journal = {No\^us},
  year = {2000},
  volume = {34},
  number = {3},
  pages = {348--375},
  topic = {belief;volition;wishful-thinking;self-deception;}
  }

@article{ scriven:1953a1,
  author = {Michael Scriven},
  title = {The Mechanical Concept of Mind},
  journal = {Mind},
  year = {1953},
  volume = {62},
  number = {246},
  pages = {230--240},
  xref = {Republication: scriven:1953a1.},
  topic = {foundations-of-AI;philosophy-of-mind;}
  }

@incollection{ scriven:1953a2,
  author = {Michael Scriven},
  title = {The Mechanical Concept of Mind},
  booktitle = {Minds and Machines},
  publisher = {Prentice-Hall},
  year = {1964},
  editor = {Alan R. Anderson},
  pages = {31--42},
  address = {New York},
  xref = {Republication: scriven:1953a2.},
  topic = {foundations-of-AI;philosophy-of-mind;}
  }

@article{ seager:1990a,
  author = {William Seager},
  title = {The Logic of Lost {L}ingens},
  journal = {Journal of Philosophical Logic},
  year = {1990},
  volume = {19},
  number = {4},
  pages = {407--428},
  topic = {epistemic-logic;propositional-attitudes;indexicals;}
  }

@book{ seager:1991a,
  author = {William Seager},
  title = {The Metaphysics of Consciousness},
  publisher = {Routledge},
  year = {1991},
  address = {London},
  xref = {heil:1993a},
  topic = {consciousness;philosophy-of-mind;}
 }

@book{ seager:1999a,
  author = {William Seager},
  title = {Theories of Consciousness},
  publisher = {Routledge},
  year = {1999},
  address = {London},
  ISBN = {0 415 18393 6 (Hb), 0 415 18394 4 (Pb)},
  topic = {consciousness;}
 }

@article{ searle:1962a,
  author = {John R. Searle},
  title = {Meaning and Speech Acts},
  journal = {The Philosophical Review},
  year = {1962},
  volume = {71},
  pages = {423--432},
  missinginfo = {number},
  rtnote = {In RHT collection.  Files.},
  topic = {speech-acts;pragmatics;expressivism;compositionality;}
  }

@article{ searle:1964a,
  author = {John R. Searle},
  title = {How to Derive `Ought' from `Is'\.},
  journal = {Philosophical Review},
  year = {1964},
  volume = {73},
  pages = {43--58},
  missinginfo = {number},
  rtnote = {In RHT collection.  Files.},
  topic = {speech-acts;pragmatics;}
  }

@incollection{ searle:1965a,
  author = {John R. Searle},
  title = {What is a Speech Act?},
  booktitle = {Philosophy in {A}merica},
  publisher = {Cornell University Press},
  year = {1965},
  editor = {Max Black},
  address = {Ithaca, New York},
  pages = {615--628},
  rtnote = {In RHT collection.},
  rtnote = {pragmatics-course;},
  topic = {speech-acts;pragmatics;}
  }

@incollection{ searle:1966a1,
  author = {John Searle},
  title = {Assertions and Aberrations},
  booktitle = {British Analytical Philosophy},
  publisher = {Routledge and Kegan Paul},
  year = {1966},
  editor = {Bernard O. Williams and A. Montefiore},
  pages = {44--54},
  address = {London},
  missinginfo = {E's 1st name.},
  contentnote = {This is a pre-Grice consideration of Austin's slogan,
  	"No modification without aberration."},
  xref = {Reprinted; see searle:1966a2.},
  topic = {JL-Austin;ordinary-language-philosophy;presupposition;pragmatics;
  	speaker-meaning;}
  }

@incollection{ searle:1966a2,
  author = {John Searle},
  title = {Assertions and Aberrations},
  booktitle = {Symposium on J.L. Austin},
  publisher = {Routledge and Kegan Paul},
  year = {1969},
  editor = {K.T. Fann},
  pages = {205--218},
  address = {London},
  missinginfo = {E's 1st name.},
  contentnote = {This is a pre-Grice consideration of Austin's slogan,
  	"No modification without aberration."},
  xref = {Reprinted from see nowellsmith:1960a2.},
  rtnote = {In RHT collection.},
  topic = {JL-Austin;ordinary-language-philosophy;presupposition;
  	speaker-meaning;pragmatics;}
  }

@article{ searle:1966b,
  author = {John R. Searle},
  title = {Review of {F}urberg's {\it Locutionary and Illocutionary
  	Acts: A Main Theme in {J}.{L}. {A}ustin's Philosophy}},
  journal = {Philosophical Review},
  year = {1966},
  volume = {75},
  pages = {389--391},
  missinginfo = {number},
  topic = {JL-Austin;speech-acts;pragmatics;}
  }

@article{ searle:1968a1,
  author = {John R. Searle},
  title = {Austin on Locutionary and Illocutionary Acts},
  journal = {Philosophical Review},
  year = {1968},
  volume = {77},
  pages = {405--424},
  missinginfo = {number},
  xref = {Reprinted in berlin-etal:1973a; see searle:1968a1.},
  topic = {speech-acts;pragmatics;JL-Austin;}
  }

@incollection{ searle:1968a2,
  author = {John R. Searle},
  title = {Austin on Locutionary and Illocutionary Acts},
  booktitle = {Essays on J.L. Austin},
  publisher = {Oxford University Press},
  year = {1973},
  editor = {Isiah Berlin et al.},
  pages = {141--159},
  address = {Oxford},
  topic = {speech-acts;pragmatics;JL-Austin;}
  }

@book{ searle:1969a,
  author = {John Searle},
  title = {Speech Acts: An Essay in the Philosophy of Language},
  publisher = {Cambridge Univesity Press},
  year = {1969},
  address = {Cambridge, England},
  rtnote = {In RHT Collection.  LLP single author shelves.},
  topic = {speech-acts;pragmatics;}
 }

@book{ searle:1971a,
  editor = {John Searle},
  title = {Philosophy of Language},
  publisher = {Oxford Univesity Press},
  year = {1971},
  address = {Oxford},
  topic = {philosophy-of-language;}
 }

@incollection{ searle:1975a,
  author = {John R. Searle},
  title = {Indirect Speech Acts},
  booktitle = {Syntax and Semantics, Vol. 3: Speech Acts},
  publisher = {Academic Press},
  year = {1975},
  editor = {Peter Cole and Jerry L. Morgan},
  pages = {59--82},
  address = {New York},
  topic = {indirect-speech-acts;speech-acts;pragmatics;}
  }

@incollection{ searle:1975b,
  author = {John R. Searle},
  title = {A Taxonomy of Illocutionary Acts},
  booktitle = {Language, Mind, and Knowledge.  {M}innesota Studies in
  	the Philosophy of Science, Vol. 7},
  publisher = {University of Minnesota Press},
  year = {1975},
  editor = {Keith Gunderson},
  pages = {344--369},
  address = {Minneapolis, Minnesota},
  topic = {speech-acts;pragmatics;}
  }

@article{ searle:1976a1,
  author = {John Searle},
  title = {A Classification of Illocutionary Acts},
  journal = {Language in Society},
  year = {1976},
  volume = {5},
  pages = {1--24},
  missinginfo = {number},
  xref = {Reprinted in searle:1979a, see searle:1976a2.},
  topic = {speech-acts;pragmatics;}
  }

@incollection{ searle:1976a2,
  author = {John Searle},
  title = {The Classification of Illocutionary Acts},
  booktitle = {Expression and Meaning},
  publisher = {Cambridge Univesity Press},
  year = {1979},
  pages = {1--29},
  address = {Cambridge, England},
  topic = {speech-acts;pragmatics;}
  }

@incollection{ searle:1978a,
  author = {John Searle},
  title = {Prima Facie Obligations},
  booktitle = {Practical Reasoning},
  publisher = {Oxford University Press},
  year = {1978},
  editor = {Joseph Raz},
  pages = {81--90},
  address = {Oxford},
  topic = {prima-facie-obligation;}
  }

@incollection{ searle:1978b,
  author = {John R. Searle},
  title = {The Logical Status of Fictional Discourse},
  booktitle = {Contemporary Perspectives in the Philosophy of Language},
  publisher = {University of Minnesota Press},
  year = {1978},
  editor = {Peter A. French and Theodore E. {Uehling, Jr.} and Howard
  	K. Wettstein},
  pages = {233--243},
  address = {Minneapolis},
  topic = {fiction;speech-acts;fictional-characters;(non)existence;}
  }

@article{ searle:1978c,
  author = {John R. Searle},
  title = {Literal Meaning},
  journal = {Erkenntnis},
  year = {1978},
  volume = {13},
  pages = {207--224},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {foundations-of-semantics;philosophy-of-language;}
  }

@book{ searle:1979a,
  author = {John Searle},
  title = {Expression and Meaning},
  publisher = {Cambridge Univesity Press},
  year = {1979},
  address = {Cambridge, England},
  topic = {speech-acts;pragmatics;}
 }

@incollection{ searle:1979b,
  author = {John R. Searle},
  title = {Intentionality and the Use of Language},
  booktitle = {Meaning and Use: Papers Presented at the Second
		{J}erusalem Philosophy Encounter},
  publisher = {D. Reidel Publishing Co.},
  year = {1979},
  editor = {Avishai Margalit},
  pages = {181--197},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {intention;intentionality;speech-acts;}
  }

@incollection{ searle:1979c,
  author = {John R. Searle},
  title = {Metaphor},
  booktitle = {Metaphor and Thought},
  publisher = {Cambridge University Press},
  year = {1979},
  editor = {Andrew Ortnony},
  pages = {265--277},
  address = {Cambridge, England},
  topic = {metaphor;}
  }

@incollection{ searle:1980a,
  author = {John R. Searle},
  title = {The Background of Meaning},
  booktitle = {Speech Act Theory and Pragmatics},
  publisher = {Reidel Publishing Company},
  year = {1980},
  editor = {John R. Searle and Ferenc Kiefer and Manfred Bierwisch},
  address = {Dordrecht},
  missinginfo = {E's 1st name, pages},
  rtnote = {pragmatics-course;},
  topic = {speaker-meaning;pragmatics;}
  }

@incollection{ searle:1980b,
  author = {John Searle},
  title = {Prima-Facie Obligations},
  booktitle = {Philosophical Subjects: Essays Presented to
  	{P.F.} {S}trawson},
  editor = {Zak {van Straaten}},
  publisher = {Oxford University Press},
  address = {Oxford},
  pages = {238--259},
  year = {1980},
  topic = {prima-facie-obligation;}
    }

@article{ searle:1980c1,
  author = {John R. Searle},
  title = {Minds, Brains, and Programs},
  journal = {The Behavioral and Brain Sciences},
  year = {1980},
  volume = {3},
  pages = {417--424},
  missinginfo = {number},
  xref = {Republished: searle:1980a2.},
  topic = {philosophy-AI;machine-intelligence;}
  }

@incollection{ searle:1980c2,
  author = {John R. Searle},
  title = {Minds, Brains, and Programs},
  booktitle = {Mind Design: Philosophy, Psychology, Artificial
  	Intelligence},
  publisher = {The {MIT} Press},
  year = {1981},
  editor = {John Haugeland},
  pages = {282--306},
  address = {Cambridge, Massachusetts},
  xref = {Originally Published: searle:1980a1.},
  topic = {philosophy-AI;foundations-of-cognition;machine-intelligence;}
  }

@article{ searle:1980d,
  author = {John R. Searle},
  title = {The Intentionality of Knowledge and Action},
  journal = {Cognitive Science},
  year = {1980},
  volume = {4},
  number = {1},
  pages = {47--80},
  rtnote = {In RHT collection.},
  topic = {philosophy-of-action;knowledge;intentionality;}
  }

@incollection{ searle:1986a,
  author = {John Searle},
  title = {Meaning, Communication, and Representation},
  booktitle = {Philosophical Grounds of Rationality},
  publisher = {Oxford University Press},
  year = {1986},
  editor = {Richard E. Grandy and Richard Warner},
  pages = {209--226},
  address = {Oxford},
  topic = {philosophy-of-language;speaker-meaning;Grice;pragmatics;}
  }

@article{ searle:1989a,
  author = {John R. Searle},
  title = {How Performatives Work},
  journal = {Linguistics and Philosophy},
  year = {1989},
  volume = {12},
  number = {5},
  pages = {535--558},
  topic = {speech-acts;}
  }

@incollection{ searle:1990a,
  author = {John R. Searle},
  title = {Consciousness, Unconsciousness and Intentionality},
  booktitle = {Propositional Attitudes: The Role of Content in Logic,
  	Language, and Mind},
  publisher = {Center for the Study of Language and Information},
  year = {1990},
  editor = {C. Anthony Anderson and Joseph Owens},
  pages = {269--284},
  address = {Stanford, California},
  topic = {consciousness;intentionality;philosophy-of-mind;}
  }

@incollection{ searle:1992a,
  author = {John Searle},
  title = {Conversation},
  booktitle = {(On) {S}earle on Conversation},
  publisher = {John Benjamins Publishing Company},
  year = {1992},
  editor = {Herman Parret and Jef Verschueren},
  pages = {1--34},
  address = {Amsterdam},
  rtnote = {In RHT collection.  See also searle:1992b},
  topic = {foundations-of-pragmatics;conversation-analysis;}
 }

@book{ searle:1992b,
  author = {John R. Searle},
  title = {The Rediscovery of the Mind},
  publisher = {The {MIT} Press},
  year = {1992},
  address = {Cambridge, Massachusetts},
  ISBN = {0262193213 (hard)},
  rtnote = {UMich Undergraduate, Bd 418.3 .S431 1992.},
  xref = {Review: batali:1995a.},
  rtnote = {In RHT Collection.  LLP single author shelves.m&mcourse;},
  topic = {philosophy-of-mind;philosophy-of-AI;}
 }

@book{ searle:1998a,
  author = {John R. Searle},
  title = {Mind, Language, and Society},
  publisher = {Basic Books},
  year = {1998},
  address = {New York},
  xref = {Review: blackburn_s:1999a},
  topic = {philosophy-of-mind;philosophy-of-language;}
 }

@book{ searle:2003a,
  author = {John R. Searle},
  title = {Rationality in Action},
  publisher = {The {MIT} Press},
  year = {2003},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-66135-7},
  topic = {rationality;philosophy-of-action;}
 }

@book{ searle-etal:1980a,
  editor = {John R. Searle and F. Kiefer and Manfred Bierwisch},
  title = {Speech Act Theory and Pragmatics},
  publisher = {D. Reidel Publishing Co.},
  year = {1980},
  address = {Dordrecht},
  ISBN = {9027710430},
  rtnote = {UMich Graduate Library, P95.55 .S631.},
  rtnote = {pragmatics-course;},
  topic = {speech-acts;pragmatics;}
 }

@book{ searle-vandervecken:1985a,
  author = {John R. Searle and Daniel Vandervecken},
  title = {Foundations of Illocutionary Logic},
  publisher = {Cambridge University Press},
  year = {1985},
  address = {Cambridge, England},
  xref = {Review: georgalis:1989a},
  topic = {speech-acts;pragmatics;}
 }

@incollection{ sebillot-etal:2000a,
  author = {Pascale S\'ebillot and Pierette Bouillon and C\'ecile
    	    Fabre},
  title = {Inductive Logic Programming for Corpus-Based
            Acquisition of Semantic Lexicons},
  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 = {199--208},
  address = {Somerset, New Jersey},
  topic = {machine-language-learning;inductive-logic-programming;
  	computational-lexicography;}
  }

@unpublished{ sedley:1980a,
  author = {David Sedley},
  title = {Personal Identity: Three Stoic Paradoxes},
  year = {1980},
  rtnote = {In RHT collection.},
  note = {Unpublished Talk Handout.},
  missinginfo = {Date is a guess.},
  topic = {personal-identity;Stoic-philosophy;}
  }

@incollection{ sedlock:1991a,
  author = {David Sedlock},
  title = {Aggregate Functions},
  booktitle = {Working Papers in Computational Semantics, Dialogue and
  	Discourse},
  publisher = {Department of Mathematics, University of Oslo},
  year = {1991},
  editor = {Harold L. Somers},
  pages = {53--56},
  address = {P.O. Box 1053-Blindern, 0316 Oslo 3, Norway},
  topic = {query-languages;database-queries;logic-and-computer-science;}
  }

@incollection{ sedlock:1991b,
  author = {David Sedlock},
  title = {Discussion of Anaphora Resolution in {MMI2}},
  booktitle = {Working Papers in Computational Semantics, Dialogue and
  	Discourse},
  publisher = {Department of Mathematics, University of Oslo},
  year = {1991},
  editor = {Harold L. Somers},
  pages = {72--73},
  address = {P.O. Box 1053-Blindern, 0316 Oslo 3, Norway},
  topic = {anaphora;anaphora-resolution;nl-processing;}
  }

@article{ seely:2000a,
  author = {R.A.G. Seely},
  title = {Review of \emph{{C}ategorial Logic and Type Theory},
  	by B. Jacobs},
  journal = {The Bulletin of Symbolic Logic},
  year = {2000},
  volume = {6},
  number = {2},
  pages = {225--229},
  xref = {Review of jacobs_b:1999a.},
  topic = {higher-order-logic;proof-theory;}
  }

@article{ seeskin:1971a,
  author = {Kenneth R. Seeskin},
  title = {Many-Valued Logic and Future Contingencies},
  journal = {Logique et Analyse, Nouvelle S\'erie},
  year = {1971},
  volume = {14},
  number = {56},
  pages = {759--773},
  rtnote = {In RHT collection.},
  rtnote = {tmix-project;},
  topic = {future-contingent-propositions;}
  }

@article{ seeskin:1974a,
  author = {Kenneth R. Seeskin},
  title = {Some Remarks on Truth and Bivalence},
  journal = {Logique et Analyse, Nouvelle S\'erie},
  year = {1974},
  volume = {17},
  number = {65--66},
  pages = {101--109},
  rtnote = {In RHT collection.},
  topic = {truth-value-gaps;}
  }

@incollection{ segal_g:2000a,
  author = {Gabriel Segal},
  title = {Four Arguments for the Indeterminacy of Translation},
  booktitle = {Knowledge, Language and Logic: Questions for {Q}uine},
  publisher = {Kluwer Academic Publishers},
  year = {2000},
  editor = {Alex Orenstein and Petr Kotatko},
  pages = {131--139},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {Quine;indeterminacy-of-translation;philosophy-of-language;}
  }

@article{ segal_je:1947a,
  author = {J.E. Segal},
  title = {Postulates for General Quantum Theories},
  journal = {Annals of Mathematics},
  year = {1947},
  volume = {48},
  number = {4},
  pages = {930--947},
  missinginfo = {A's 1st name},
  topic = {foundations-of-quantum-mechanics;formalizations-of-physics;}
  }

@unpublished{ segel:2003a,
  author = {Gabriel Segel},
  title = {How a Truth Theory Can Do Duty as a Theory of Meaning},
  note = {Unpublished Manuscript, King's College},
  url = {http://www.kcl.ac.uk/kis/schools/hums/philosophy/staff/truth.pdf},
  topic = {truth;foundations-of-semantics;}
  }

@incollection{ segerberg:1971a,
  author = {Krister Segerberg},
  title = {Some Logics of Commitment and Obligation},
  booktitle = {Deontic Logic: Introductory and Systematic Readings},
  publisher = {D. Reidel Publishing Company},
  address = {Dordrecht},
  year = {1971},
  editor = {Bengt Hansson},
  pages = {148--158},
  topic = {deontic-logic;commitment;}
    }

@article{ segerberg:1973a,
  author = {Krister Segerberg},
  title = {Two-Dimensional Modal Logic},
  journal = {Journal of Philosophical Logic},
  year = {1973},
  volume = {2},
  number = {1},
  pages = {77--96},
  topic = {modal-logic;tense-logic;indexicals;}
  }

@article{ segerberg:1980a,
  author = {Krister Segerberg},
  title = {Applying Modal Logic},
  journal = {Studia Logica},
  year = {1980},
  volume = {39},
  number = {2--3},
  pages = {275--295},
  topic = {modal-logic;}
 }

@article{ segerberg:1982a,
  author = {Krister Segerberg},
  title = {The Logic of Deliberate Action},
  journal = {Journal of Philosophical Logic},
  year = {1982},
  volume = {11},
  number = {2},
  pages = {233--254},
  topic = {action;stit;}
 }

@article{ segerberg:1982b,
  author = {Krister Segerberg},
  title = {A Deontic Logic of Action},
  journal = {Studia Logica},
  year = {1982},
  volume = {41},
  pages = {269--282},
  missinginfo = {number},
  topic = {action;deontic-logic;stit;}
  }

@techreport{ segerberg:1983a,
  author = {Krister Segerberg},
  title = {Towards an Exact Philosophy of Action},
  institution = {Department of Philosophy, University
		of Auckland},
  year = {1983},
  address = {Auckland},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  topic = {actions;dynamic-logic;stit;}
  }

@incollection{ segerberg:1985a,
  author = {Krister Segerberg},
  title = {Models for Action},
  booktitle = {Analytical Philosophy in Contemporary Perspective},
  publisher = {D. Reidel Publishing Co.},
  year = {1985},
  editor = {B.K. Matakak and J.L. Shaw},
  pages = {161--171},
  address = {Dordrecht},
  missinginfo = {E's 1st name.},
  topic = {action;stit;}
  }

@article{ segerberg:1985b,
  author = {Krister Segerberg},
  title = {Routines},
  journal = {Synth\'ese},
  year = {1985},
  volume = {65},
  pages = {185--210},
  missinginfo = {number},
  topic = {action;philosophy-of-action;}
  }

@techreport{ segerberg:1985c,
  author = {Krister Segerberg},
  title = {On the Logic of Small Changes in Theories {I}},
  institution = {Department of Philosophy, University
		of Auckland},
  year = {1985},
  address = {Auckland},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  topic = {belief-revisions;}
  }

@techreport{ segerberg:1985d,
  author = {Krister Segerberg},
  title = {On the Logic of Small Changes in Theories {II}},
  institution = {Department of Philosophy, University
		of Auckland},
  year = {1985},
  address = {Auckland},
  rtnote = {In RHT collection.},
  missinginfo = {Date is a guess.},
  topic = {belief-revision;}
  }

@unpublished{ segerberg:1986a,
  author = {Krister Segerberg},
  title = {Conditional Logic and the Logic of Theory Change},
  year = {1986},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.  Year is Uncertain.},
  topic = {conditionals;belief-revision;}
  }

@unpublished{ segerberg:1986b,
  author = {Krister Segerberg},
  title = {Talking about Actions (Abstract)},
  year = {1986},
  note = {Unpublished manuscript, Philosophy Department, University
  	of Auckland},
  rtnote = {In RHT collection.},
  topic = {action;action-formalisms;}
  }

@article{ segerberg:1988a,
  author = {Krister Segerberg},
  title = {Actions in Dynamic Logic (Abstract)},
  journal = {The Journal of Symbolic Logic},
  year = {1988},
  volume = {53},
  pages = {1285--1286},
  topic = {actions;dynamic-logic;stit;}
  }

@techreport{ segerberg:1988b,
  author = {Krister Segerberg},
  title = {Actions in {PDL} without Program Letters},
  institution = {Department of Philosophy, University
		of Auckland},
  year = {1988},
  address = {Auckland},
  rtnote = {In RHT collection.},
  topic = {actions;dynamic-logic;stit;}
  }

@article{ segerberg:1989a,
  author = {Krister Segerberg},
  title = {Bringing It about},
  journal = {Journal of Philosophical Logic},
  year = {1989},
  volume = {18},
  number = {4},
  pages = {327--347},
  topic = {dynamic-logic;action;STIT;}
  }

@article{ segerberg:1989b,
  author = {Krister Segerberg},
  title = {A Note on an Impossibility Theorem of {G}\"ardenfors},
  journal = {No\^us},
  year = {1989},
  volume = {23},
  pages = {351--354},
  missinginfo = {number},
  topic = {conditionals;belief-revision;update-conditionals;Ramsey-test;}
  }

@article{ segerberg:1990a,
  author = {Krister Segerberg},
  title = {Validity and Satisfaction in Imperative Logic},
  journal = {Notre {D}ame Journal of Formal Logic},
  year = {1990},
  volume = {31},
  pages = {203--21},
  missinginfo = {number},
  topic = {imperatives;imperative-logic;}
  }

@article{ segerberg:1992a,
  author = {Krister Segerberg},
  title = {Getting Started: Beginnings in the Logic of Action},
  journal = {Studia Logica},
  year = {1982},
  volume = {51},
  pages = {437--478},
  missinginfo = {number},
  topic = {action;stit;Aktionsarten;}
  }

@article{ segerberg:1993a,
  author = {Krister Segerberg},
  title = {Perspectives on Decisions},
  journal = {Proceedings of the {A}ristotelian Society},
  year = {1993},
  volume = {93},
  note = {Supplementary Series.},
  pages = {263--278},
  topic = {decision-theory;Newcomb-problem;}
 }

@incollection{ segerberg:1994a,
  author = {Krister Segerberg},
  title = {`{A}fter' and `During' in Dynamic Logic},
  booktitle = {Intensional Logic:  Theory and Applications},
  publisher = {The Philosophical Society of Finland},
  year = {1994},
  editor = {Ilkka Niiniluoto and Esa Saarinen},
  pages = {203--228},
  address = {Helsinki},
  topic = {dynamic-logic;}
  }

@article{ segerberg:1994b,
  author = {Krister Segerberg},
  title = {A Model Existence Theorem in Infinitary Propositional
  	Modal Logic},
  journal = {Journal of Philosophical Logic},
  year = {1994},
  volume = {23},
  number = {4},
  pages = {337--367},
  topic = {modal-logic;infinitary-logic;}
  }

@incollection{ segerberg:1995a,
  author = {Krister Segerberg},
  title = {Conditional Action},
  booktitle = {Conditionals: From Philosophy to Computer Science},
  publisher = {Oxford University Press},
  year = {1995},
  editor = {Gabriella Crocco and Luis Fari\~nas del Cerro and Andreas Herzig},
  pages = {241--265},
  address = {Oxford},
  topic = {conditionals;action;}
  }

@incollection{ segerberg:1996a,
  author = {Krister Segerberg},
  title = {The Delta Operator at Three Levels of Analysis},
  booktitle = {Logic, Action, and Information: Essays on Logic in
  	Philosophy and Artificial Intelligence},
  year = {1996},
  publisher = {Walter de Gruyter},
  editor = {Andr\'e Fuhrmann and Hans Rott},
  pages = {63--75},
  address = {Berlin},
  topic = {action;stit;dynamic-logic;}
  }

@incollection{ segerberg:1996b,
  author = {Krister Segerberg},
  title = {To Do and Not to Do},
  booktitle = {Logic and Reality: Essays on the Legacy of {A}rthur
  	{P}rior},
  publisher = {Oxford University Press},
  year = {1996},
  editor = {Jack Copeland},
  address = {Oxford},
  pages = {301--313},
  topic = {action;imperative-logic;}
  }

@article{ segerberg:forthcominga,
  author = {Krister Segerberg},
  title = {Irrevocable Revision in Dynamic Doxastic Logic},
  journal = {Mathematical Social Sciences},
  missinginfo = {year, volume, number,pages},
  note = {forthcoming},
  topic = {conditionals;dynamic-logic;}
  }

@unpublished{ segerberg-chellas:1986a,
  author = {Krister Segerberg and Brian Chellas},
  title = {Modalities in $KT^n4$},
  year = {1986},
  note = {Unpublished manuscript.},
  rtnote = {In RHT collection.},
  topic = {modal-logic;}
  }

@incollection{ segond-etal:1997a,
  author = {Fr\'ed\'erique Segond and Anne Schiller and Gregory
    	Greffenstette and Jean-Pierre Chanod},
  title = {An Experiment in Semantic Tagging Using Hidden {M}arkov
  	Model Tagging},
  booktitle = {Automatic Information Extraction and Building of
  	Lexical Semantic Resources for {NLP} Applications},
  publisher = {Association for Computational Linguistics},
  year = {1997},
  editor = {Piek Vossen and Geert Adriaens and Nicoletta Calzolari
  	and Antonio Sanfilippo and Yorick Wilks},
  pages = {78--81},
  address = {New Brunswick, New Jersey},
  topic = {semantic-tagging;}
  }

@article{ segre-elkan:1994a,
  author = {Alberto Segre and Charles Elkan},
  title = {A High-Performance Explanation-Based Learning Algorithm},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {69},
  number = {1--2},
  pages = {1--50},
  topic = {explanation-based-learning;}
  }

@article{ segre-etal:1996a,
  author = {Alberto Maria Segre and Geoffrey J. Gordon and Charles P.
  	Elkan},
  title = {Exploratory Analysis of Speedup Learning Data Using
  	Expectation Maximization},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {85},
  number = {1--2},
  pages = {301--319},
  acontentnote = {Abstract:
     Experimental evaluations of speedup learning methods have in the
     past used non-parametric hypothesis testing to determine whether
     or not learning is beneficial.  We show here how to obtain deeper
     insight into the comparative performance of learning methods
     through a complementary parametric approach to data analysis.  In
     this approach experimental data is used to estimate values for
     the parameters of a statistical model of the performance of a
     problem solver.  To model problem solvers that use speedup
     learning methods, we propose a two-component linear model that
     captures how learned knowledge may accelerate the solution of
     some problems while leaving the solution of others relatively
     unchanged.  We show how to apply expectation maximization (EM),
     a statistical technique, to fit this kind of multi-component
     model.  EM allows us to fit the model in the presence of
     censored data, a methodological difficulty common to experiments
     involving speedup learning.  },
  topic = {machine-learning;statistical-modeling;}
  }

@article{ segre-etal:2002a,
  author = {Alberto Maria Segre and Sean Forman and Giovanni Resta
  	and Andrew Wildenberg},
  title = {Nagging: A Scalable Fault-Tolerant Paradigm for Distributed
  	Search},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {140},
  number = {1--2},
  pages = {71--106},
  topic = {game-trees;search;}
  }

@article{ segre-gordon_g:1993a,
  author = {Alberto Segre and Geoffrey Gordon},
  title = {Review of \emph{{C}omputer Systems That Learn}, by
  	{S}holom {M}. {W}eiss and {C}asimir {A}. {K}ulikowski},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {62},
  number = {2},
  pages = {363--378},
  xref = {Review of weiss_sm-kulikowski:1990a.},
  topic = {machine-learning;}
  }

@article{ seidel:1977a,
  author = {Asher Seidel},
  title = {The Picture Theory of Meaning},
  journal = {Linguistics and Philosophy},
  year = {1977},
  volume = {1},
  number = {1},
  pages = {99--110},
  topic = {Wittgenstein;philosophy-of-language;}
  }

@article{ seidenfeld:1993a,
  author = {Teddy Seidenfeld},
  title = {Outline of a Theory of Partially Ordered Preferences},
  journal = {Philosophical Topics},
  year = {1994},
  volume = {21},
  number = {1},
  pages = {173--189},
  topic = {foundations-of-decision-theory;preferences;}
  }

@incollection{ sejenowski-churchland_p:1989a,
  author = {Terrence J. Sejenowski and Patricia Churchland},
  title = {Brain and Cognition},
  booktitle = {Foundations of Cognitive Science},
  publisher = {The {MIT} Press},
  year = {1989},
  editor = {Michael I. Posner},
  chapter = {8},
  pages = {301--357},
  address = {Cambridge, Massachusetts},
  topic = {neurocognition;}
  }

@article{ selden:2000a,
  author = {Johathan E. Selden},
  title = {On the Role of Impliation in Formal Logic},
  journal = {Journal of Symbolic Logic},
  year = {2000},
  volume = {65},
  number = {3},
  pages = {1076--1114},
  topic = {proof-theory;intuitionistic-logic;implicational-logics;}
  }

@article{ self:1977a,
  author = {John A. Self},
  title = {Concept Teaching},
  journal = {Artificial Intelligence},
  year = {1977},
  volume = {9},
  number = {2},
  pages = {197--221},
  acontentnote = {Abstract:
     The aim of this report is to illustrate some design principles
     for concept teaching systems in computer-assisted instruction.
     First, some empirical investigations of a concept learning
     program are described.  A comparison of program and human concept
     learning performance is then made.  Finally we consider how a
     concept learning program may be incorporated into a teaching
     system.  },
  topic = {computer-assisted-instruction;}
  }

@article{ selfridge:1986a,
  author = {Mallory Selfridge},
  title = {A Computer Model of Child Language Learning},
  journal = {Artificial Intelligence},
  year = {1986},
  volume = {29},
  number = {2},
  pages = {171--216},
  topic = {L1-acquisition;cognitive-modeling;}
  }

@incollection{ seligman_j-moss_ls:1996a,
  author = {Jerry Seligman and Lawrence S. Moss},
  title = {Situation Theory},
  booktitle = {Handbook of Logic and Language},
  publisher = {Elsevier},
  year = {1996},
  editor = {Johan {van Benthem} and Alice {ter Meulen}},
  pages = {239--307},
  address = {Amsterdam},
  topic = {situation-theory;}
  }

@incollection{ seligman_j-termeulen:1995a,
  author = {Jerry Seligman and Alice {ter Meulen}},
  title = {Dynamic Aspect Trees},
  booktitle = {Applied Logic: How, What, and Why?  Logical Approaches to
       Natural Language},
  publisher = {Kluwer Academic Publishers},
  year = {1995},
  editor = {L\'aszl\'o P\'olos and Michael Masuch},
  pages = {287--287},
  address = {Dordrecht},
  topic = {tense-aspect;}
  }

@book{ seligman_j-westerstahl:1995a,
  editor = {Jerry Seligman and Dag Westerst{\aa}hl},
  title = {Logic, Language and Computation},
  publisher = {Cambridge University Press},
  year = {1995},
  address = {Cambridge, England},
  topic = {situation-theory;}
 }

@inproceedings{ seligman_m-etal:1999a,
  author = {Mark Seligman and Jan Alexandersson and Kristiina
  		Jokinen},
  title = {Tracking Morphological and Semantic Co-Occurrences
  		in Spontaneous Dialogues},
  booktitle = {Proceedings of the {IJCAI}-99 Workshop on
  	Knowledge and Reasoning in Practical Dialogue Systems},
  year = {1999},
  editor = {Jan Alexandersson},
  pages = {105--111},
  organization = {IJCAI},
  publisher = {International Joint Conference on Artificial Intelligence},
  address = {Murray Hill, New Jersey},
  topic = {computational-dialogue;spoken-language-corpora;
  	corpus-tagging;}
  }

@book{ selkirk:1982a,
  author = {Elizabeth Selkirk},
  title = {The Syntax of Words},
  publisher = {The {MIT} Press},
  year = {1982},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-69079 (paperback)},
  rtnote = {In RHT Collection.  LLP authored shelves.},
  topic = {morphology;lexical-semantics;}
 }

@article{ sellars:1950a,
  author = {Wilfrid Sellars},
  title = {Quotation Marks, Sentences, and Propositions},
  journal = {Philosophy and Phenomenological Research},
  year = {1950},
  volume = {10},
  number = {1},
  pages = {24--31},
  topic = {direct-discourse;propositions;}
  }

@article{ sellars:1964a,
  author = {Wilfrid Sellars},
  title = {Presupposing},
  journal = {The Philosophical Review},
  year = {1964},
  volume = {63},
  pages = {197--215},
  missinginfo = {number},
  topic = {presupposition;pragmatics;}
  }

@article{ sellars:1964b,
  author = {Wilfrid Sellars},
  title = {Intentionality},
  journal = {The Journal of Philosophy},
  year = {1964},
  volume = {62},
  number = {24},
  pages = {665--665},
  topic = {foundations-of-semantics;intensionality;}
  }

@incollection{ sellars:1969a,
  author = {Wilfrid Sellars},
  title = {Metaphysics and the Concept of a Person},
  booktitle = {The Logical Way of Doing Things},
  publisher = {Yale University Press},
  year = {1969},
  editor = {Karel Lambert},
  pages = {219--252},
  address = {New Haven, Connecticut},
  topic = {personal-identity;}
  }

@article{ sellars:1970a,
  author = {Wilfrid Sellars},
  title = {Reflections on Contrary-to-Duty Inperatives},
  journal = {No\^us},
  year = {1970},
  volume = {4},
  number = {1},
  pages = {303--344},
  topic = {deonticlogic;prima-facie-obligation;}
  }

@incollection{ sellars:1978a,
  author = {Wilfrid Sellars},
  title = {Hochberg on Mapping, Meaning, and Metaphysics},
  booktitle = {Contemporary Perspectives in the Philosophy of Language},
  publisher = {University of Minnesota Press},
  year = {1978},
  editor = {Peter A. French and Theodore E. {Uehling, Jr.} and Howard K.
  	Wettstein},
  pages = {349--359},
  address = {Minneapolis},
  topic = {metaphysics;philosophical-ontology;nominalism;}
  }

@book{ sells:1985a,
  author = {Peter Sells},
  title = {Lectures on Contemporary Syntactic Theories},
  publisher = {Center for the Study of Language and Information},
  year = {1985},
  address = {Stanford, California},
  topic = {nl-syntax;},
 }

@techreport{ sells:1985b,
  author = {Peter Sells},
  title = {Restrictive and Non-Restrictive Modification},
  institution = {Center for the Study of Language and Information,
  	Stanford University},
  number = {CSLI--85--28},
  year = {1985},
  address = {Stanford, California},
  rtnote = {In RHT collection.  Shelf.},
  topic = {nl-semantics;discourse-representation-theory;
  	nonrestrictive-relative-clauses;pragmatics;}
  }

@article{ sells:1987a,
  author = {Peter Sells},
  title = {Binding Resumptive Pronouns},
  journal = {Linguistics and Philosophy},
  year = {1987},
  volume = {10},
  number = {3},
  pages = {261--298},
  topic = {resumptive-pronouns;syntactic-binding;}
  }

@article{ sells:1991a,
  author = {Peter Sells},
  title = {Disjoint Reference into {NP}},
  journal = {Linguistics and Philosophy},
  year = {1991},
  volume = {14},
  number = {2},
  pages = {151--169},
  topic = {disjoint-reference;}
  }

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

@phdthesis{ selman:1990a,
  author = {Bart Selman},
  title = {Tractable Defeasible Reasoning},
  school = {Computer Science Department, University of Toronto},
  address = {Toronto},
  year = {1990},
  rtnote = {Chapter 5 in RHT collection.},
  topic = {kr;inheritance-theory;tractable-logics;kr-complexity-analysis;}
    }

@unpublished{ selman:1990b,
  author = {Bart Selman},
  title = {Sketch Map Interpretation: A Complexity Analysis},
  year = {1990},
  note = {Unpublished manuscript, University of Toronto.},
  rtnote = {In RHT collection.},
  topic = {visual-reasoning;complexity-in-AI;}
  }

@unpublished{ selman:1990c,
  author = {Bart Selman},
  title = {Computing Explanations},
  year = {1990},
  note = {Presented at {AAAI} Spring Symposium on Automated Deduction},
  rtnote = {In RHT collection.},
  topic = {truth-maintenance;}
  }

@incollection{ selman:1994a,
  author = {Bart Selman},
  title = {Near-Optimal Plans, Tractability, and Reactivity},
  booktitle = {{KR}'94: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
  pages = {521--529},
  address = {San Francisco, California},
  topic = {kr;planning;computational-complexity;kr-course;}
  }

@inproceedings{ selman:1995a,
  author = {Bart Selman},
  title = {Stochastic Search and Phase Transitions: {AI} Meets Physics},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {998--1002},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  rtnote = {In RHT collection.},
  topic = {complexity-in-AI;stochastic-processes;}
  }

@inproceedings{ selman:1999a,
  author = {Bart Selman},
  title = {Blackbox: A {SAT} Technology Planning System (Abstract)},
  booktitle = {Workshop on Logic-Based Artificial Intelligence,
	       Washington, DC, June 14--16, 1999},
  year = {1999},
  editor = {Jack Minker},
  publisher = {Computer Science Department, University of Maryland},
  address = {College Park, Maryland},
  topic = {model-checking;planning-algorithms;}
  }

@inproceedings{ selman-etal:1992a,
  author = {Bart Selman and Hector J. Levesque and D. Mitchell},
  title = {A New Method for Solving Hard Satisfiability Problems},
  booktitle = {Proceedings of the Tenth National Conference on
              Artificial Intelligence},
  year = {1992},
  editor = {Paul Rosenbloom and Peter Szolovits},
  pages = {440--446},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  missinginfo = {A's 1st name},
  topic = {experiments-on-theorem-proving-algs;}
  }

@article{ selman-etal:1996a,
  author = {Bart Selman and David G. Mitchell and Hector J. Levesque},
  title = {Generating Hard Satisfiability Problems},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {81},
  number = {1--2},
  pages = {17--29},
  topic = {search;experiments-on-theorem-proving-algs;
  	computational-phase-transitions;}
  }

@incollection{ selman-hirst_g:1987a,
  author = {Bart Selman and Graeme Hirst},
  title = {Parsing as an Energy Minimization Problem},
  booktitle = {Genetic Algorithms and Simulated Annealing},
  publisher = {Morgan Kaufmann Publishers},
  year = {1987},
  editor = {Lawrence D. Davis},
  address = {Los Altos, California},
  rtnote = {In RHT collection.},
  missinginfo = {pages},
  topic = {parsing-algorithms;parallel-processing;simulated-annealing;}
  }

@incollection{ selman-kautz:1989a,
  author = {Bart Selman and Henry Kautz},
  title = {The Complexity of Model-Preference Default Theories},
  booktitle = {Non-Monotonic Reasoning},
  publisher = {Springer-Verlag},
  year = {1989},
  editor = {Michael Reinfrank and Johan de Kleer and Matthew L. Ginsberg},
  address = {Berlin},
  missinginfo = {pages},
  rtnote = {In RHT collection.},
  topic = {complexity-in-AI;nonmonotonic-reasoning;
  	nonmonotonic-reasoning-algorithms;}
  }

@article{ selman-kautz:1990a,
  author = {Bart Selman and Henry A. Kautz},
  title = {Model-Preference Default Theories},
  journal = {Artificial Intelligence},
  year = {1990},
  volume = {45},
  number = {3},
  pages = {287--322},
  acontentnote = {Abstract:
     Most formal theories of default inference have very poor
     computational properties, and are easily shown to be
     intractable, or worse, undecidable.  We are therefore
     investigating limited but efficiently computable theories of
     default reasoning.  This paper defines systems of propositional
     model-preference defaults, which provide a model-theoretic
     account of default inference with exceptions.
      The most general system of model-preference defaults is
     decidable but still intractable.  Inspired by the very good
     (linear) complexity of propositional Horn theories, we consider
     systems of Horn defaults.  Surprisingly, finding a most
     preferred model in even this very limited system is shown to be
     NP-hard.  Tractability can be achieved in two ways: by
     eliminating the ``specificity ordering'' among default rules and
     by restricting our attention to systems of acyclic Horn
     defaults.  These acyclic theories can encode acyclic defeasible
     inheritance hiearchies, but are more general.  },
  topic = {nonmonotonic-reasoning;inheritance-theory;model-preference;}
  }

@inproceedings{ selman-kautz:1991a,
  author = {Bart Selman and Henry Kautz},
  title = {Knowledge Compilation Using {H}orn Clause
		Approximations},
  booktitle = {Proceedings of the Ninth National Conference on
              Artificial Intelligence},
  year = {1991},
  editor = {Thomas Dean and Kathy McKeown},
  pages = {904--909},
  organization = {American Association for Artificial Intelligence},
  publisher = {MIT Press},
  address = {Cambridge, Massachusetts},
  rtnote = {In RHT collection.},
  topic = {knowledge-acquisition;approximation;}
  }

@article{ selman-kirkpatrick:1996a,
  author = {Bart Selman and Scott Kirkpatrick},
  title = {Critical Behavior in the Computational Cost of
		Satisfiability Testing},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {81},
  number = {1--2},
  pages = {273--295},
  topic = {search;experiments-on-theorem-proving-algs;
  	computational-phase-transitions;}
  }

@inproceedings{ selman-levesque:1989a,
  author = {Bart Selman and Hector J. Levesque},
  title = {The Tractability of Path-Based Inheritance},
  booktitle = {Proceedings of the Eleventh International Joint
  	Conference on Artificial Intelligence},
  year = {1989},
  editor = {N.S. Sridharan},
  pages = {1140--1145},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  rtnote = {In RHT collection.},
  xref = {Journal Publication: selman-levesque:1993a.},
  topic = {kr;inheritance-theory;kr-complexity-analysis;kr-course;}
  }

@inproceedings{ selman-levesque:1990a,
  author = {Bart Selman and Hector J. Levesque},
  title = {Abductive and Default Reasoning: A Computational Core},
  booktitle = {Proceedings of the Eighth National Conference on
              Artificial Intelligence},
  year = {1990},
  editor = {Thomas Dietterich and William Swartout},
  pages = {343--348},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {abduction;default-logic;nonmonotonic-reasoning;}
  }

@article{ selman-levesque:1993a,
  author = {Bart Selman and Hector J. Levesque},
  title = {The Complexity of Path-Based Defeasible Inheritance},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {62},
  number = {2},
  pages = {303--339},
  xref = {Conference Publication: selman-levesque:1989a.},
  topic = {kr;inheritance-theory;kr-complexity-analysis;kr-course;}
  }

@article{ selman-levesque:1996a,
  author = {Bart Selman and Hector J. Levesque},
  title = {Support Set Selection for Abductive and Default Reasoning},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {82},
  number = {1--2},
  pages = {259--272},
  topic = {abduction;default-logic;truth-maintenance;}
  }

@incollection{ sem:1984a,
  author = {Helle Frisak Sem},
  title = {Quantifier Scope and Coreferentiality},
  booktitle = {Report of an {O}slo Seminar in Logic and Linguistics},
  publisher = {Institute of Mathematics, University of Oslo},
  year = {1984},
  editor = {Jens Erik Fenstad and Jan Tore Langholm and Jan Tore L{\o}nning
	and Helle Frisak Sem},
  pages = {IV.1--IV.82},
  address = {Oslo},
  topic = {quantifier-scope;}
  }

@techreport{ sem:1988a,
  author = {Helle Frisak Sem},
  title = {Discourse Representation Theory, Situation Schemata,
  	and Situation Semantics, a Comparison},
  institution = {Department of Mathematics, University of Oslo},
  number = {COSMOS-Report No. 02},
  year = {1988},
  address = {Oslo},
  rtnote = {In RHT collection.},
  topic = {discourse-representation-theory;situation-semantics;}
  }

@techreport{ sem-etal:1990a,
  author = {Helle Frisak Sem and Kjell Johan S{\ae}b{\o} and Guri B.
  	Verne and Espen J. Vestre},
  title = {Bound Pronouns and Absorbed Parameters},
  institution = {Department of Mathematics, University of Oslo},
  number = {COSMOS-Report No. 17},
  year = {1990},
  address = {Oslo},
  rtnote = {In RHT collection.},
  topic = {anaphora;Norwegian-language;}
  }

@incollection{ semeraro-etal:1994a,
  author = {Giovanni Semeraro and Floriana Esposito and Donato Malerba
    		and Clifford Brunk and Michael J. Pazzani},
  title = {Avoiding Non-Termination when Learning Logical Programs: A
		Case Study with FOIL and FOCL},
  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 = {183--198},
  address = {Berlin},
  topic = {logic-program-synthesis;}
  }

@article{ sen_a:1977a,
  author = {Amartya Sen},
  title = {Social Choice Theory: A Re-Examination},
  journal = {Econometrica},
  year = {1977},
  volume = {45},
  pages = {348--384},
  missinginfo = {number},
  topic = {social-choice-theory;}
  }

@article{ sen_a:1985a,
  author = {Amartya Sen},
  title = {Well-Being, Agency, and Freedom},
  journal = {The Journal of Philosophy},
  year = {1985},
  volume = {82},
  number = {4},
  pages = {203--221},
  topic = {freedom;action;}
  }

@article{ sen_a:2000a,
  author = {Amarta Sen},
  title = {Consequential Evaluation and Practical Reason},
  journal = {The Journal of Philosophy},
  year = {2000},
  volume = {97},
  number = {9},
  pages = {477--502},
  topic = {consequentialism;}
  }

@article{ sen_ak-bagchi:1996a,
  author = {Anup K. Sen and Amitava Bagchi},
  title = {Graph Search Methods for Non-Order-Preserving Evaluation
  	Functions: Applications to Job Sequencing Problems},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {86},
  number = {1},
  pages = {43--73},
  topic = {search;scheduling;graph-based-reasoning;}
  }

@article{ sen_ak-etal:2004a,
  author = {Anup K. Sen and Amitava Bagchi and Weixiong Zhang},
  title = {Average-Case Analysis of Best-First Search in Two
  		Representative Directed Acyclic Graphs},
  journal = {Artificial Intelligence},
  year = {2004},
  volume = {155},
  number = {1--2},
  pages = {183--206},
  topic = {search;complexity-in-AI;}
  }

@article{ sen_s:2002a,
  author = {Sandip Sen},
  title = {Believing Others: Pros and Cons},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {142},
  number = {2},
  pages = {179--203},
  topic = {multiagent-systems;deception;artificial-societies;}
  }

@inproceedings{ sendra-winkler:1998a,
  author = {J. Rafael Sendra and Franz Winkler},
  title = {Real Parametrization of Algebraic Curves},
  booktitle = {Artificial Intelligence and Symbolic Computation:
	Proceedings of {AISC'98}},
  year = {1998},
  editor = {Jacques Calmet and Jan Plaza},
  pages = {284--295},
  publisher = {Springer Verlag},
  address = {Berlin},
  topic = {automated-algebra;}
  }

@incollection{ senellart:1998a,
  author = {Jean Senellart},
  title = {Tools for Locating Noun Phrases with Finite State
  	Transducers},
  booktitle = {The Computational Treatment of Nominals: Proceedings
  	of the Workshop},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {Federica Busa and Inderjeet Mani and Patrick Saint-Dizier},
  pages = {80--84},
  address = {New Brunswick, New Jersey},
  topic = {nominal-constructions;corpus-tagging;}
  }

@article{ seo-etal:2001a,
  author = {Masahiro Seo and Hiroyuki Iida and Jos W.H.M. Uiterwijk},
  title = {The $PN^*$-Search Algorithm: Application to tsume-shogi},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {129},
  number = {1--2},
  pages = {253--277},
  topic = {game-playing;search;iterative-deepening;}
  }

@article{ serafini-bouquet:2004a,
  author = {Luciano Serafini and Paolo Bouquet},
  title = {Comparing Formal Theories of Context in {AI}},
  journal = {Artificial Intelligence},
  year = {2004},
  volume = {155},
  number = {1--2},
  pages = {41--67},
  topic = {context;contextual-reasoning;logic-in-AI;}
  }

@incollection{ serafini-dona:2002a,
  author = {Luciano Serafini and Antonia Don\'a},
  title = {Updating Contexts},
  booktitle = {{KR2002}: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {2002},
  editor = {Dieter Fensel and Fausto Giunchiglia and Deborah
  	L. McGuinness and Mary-Anne Williams},
  pages = {251--262},
  address = {San Francisco, California},
  topic = {kr;belief-revision;context;}
  }

@inproceedings{ serafini-etal:2003a,
  author = {Luciano Serafini and Fausto Giunchiglia and John Mylopoulos and
    		Philip Bernstein},
  title = {Local Relational Model: A Logical
		Formalization of Database Coordination},
  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 = {286--299},
  address = {Berlin},
  topic = {context;knowledge-integration;}
  }

@inproceedings{ serafini-ghidini:1997a,
  author = {Luciano Serafini and Chiara Ghidini},
  title = {Context Based Semantics for Information Integration},
  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 = {152--160},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  topic = {context;knowledge-integration;logic-of-context;}
  }

@inproceedings{ serafini-ghidini:1997b,
  author = {Luciano Serafini and Chiara Ghidini},
  title = {Context Based Semantics for Federated Databases},
  year = {1997},
  booktitle = {Proceedings of the 1st International and
       Interdisciplinary Conference on Modeling and Using
       Context (CONTEXT-97)},
  address = {Rio de Janeiro, Brazil},
  pages = {33--45},
  note = {Also IRST-Technical Report 9609-02, IRST, Trento, Italy},
  missinginfo = {A's 1st name},
  topic = {context;logic-of-context;}
  }

@incollection{ serafini-ghidini:2000a,
  author = {Luciano Serafini and Chiara Ghidini},
  title = {Context-Based Semantics for Information Integration},
  booktitle = {Formal Aspects of Context},
  publisher = {Kluwer Academic Publishers},
  year = {2000},
  editor = {Pierre Bonzon and Marcos Cavalcanti and Rolf Nossum},
  pages = {175--192},
  address = {Dordrecht},
  topic = {context;knowledge-integration;federated-databases;}
  }

@article{ serafini-giunchiglia_f:2002a,
  author = {Luciano Serafini and Fausto Giunchiglia},
  title = {{ML} Systtems: A Proof Theory for Substructural Logics},
  journal = {Journal of Logic, Language, and Information},
  year = {2002},
  volume = {11},
  number = {4},
  pages = {471--518},
  topic = {context;logic-of-context;}
  }

@incollection{ serafini-roelofsen:2004a,
  author = {Luciano Serafini and Floris Roelofsen},
  title = {Satisfiability for Propositional Concepts},
  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 = {369--376},
  address = {Menlo Park, California},
  topic = {context;contextual-reasoning;}
  }

@incollection{ serebriannikov:1994a,
  author = {O.F. Serebriannikov},
  title = {Gentzen's {H}auptsatz for Modal Logic with Quantifiers},
  booktitle = {Intensional Logic:  Theory and Applications},
  publisher = {The Philosophical Society of Finland},
  year = {1994},
  editor = {Ilkka Niiniluoto and Esa Saarinen},
  pages = {79--88},
  address = {Helsinki},
  topic = {proof-theory;quantifying-in-modality;modal-logic;
  		first-order-modal-logic;}
  }

@article{ sereny:2001a,
  author = {Gy\"orgy Ser\'eny},
  title = {G\"odel, {T}arski, {C}hurch, and the {L}iar},
  journal = {The Bulletin of Symbolic Logic},
  year = {2001},
  volume = {9},
  number = {1},
  pages = {3--25},
  topic = {Goedel;Tarski;Church;semantic-paradoxes;history-of-logic;}
  }

@incollection{ sergot:1998a,
  author = {Marek J. Sergot},
  title = {Normative Positions},
  booktitle = {Norms, Logics and Information Systems.  New Studies in
		Deontic Logic and Computer Science},
  publisher = {IOS Press},
  year = {1998},
  editor = {Henry Prakken and Paul McNamara},
  pages = {289--310},
  address = {Amsterdam},
  topic = {deontic-logic;}
  }

@article{ sergot-etal:1986a,
  author = {Marek J. Sergot and F. Sadri and Robert A. Kowalski and
       F. Kriwaczek and P. Hammond and H.T. Cory},
  title = {The {B}ritish Nationality Act as a Logic Program},
  journal = {Communications of the {ACM}},
  year = {1986},
  volume = {29},
  number = {5},
  pages = {370--386},
  topic = {legai-AI;logic-programming;}
  }

@article{ sernadas:2000a,
  author = {Am\'ilcar Sernadas},
  title = {Review of \emph{Fibring Logics},
		by {D}ov {M}. {G}abbay},
  journal = {Journal of Logic, Language, and Information},
  year = {2000},
  volume = {9},
  number = {4},
  pages = {511--513},
  xref = {Review of gabbay:1999a.},
  topic = {fibred-semantics;modal-logic;}
  }

@article{ sernadas-etal:1997a,
  author = {Am\'ilcar Sernadas and Cristina Sernadas and
		Carlos Caliero},
  title = {Synchonization of Logics},
  journal = {Studia Logica},
  year = {1997},
  volume = {59},
  number = {2},
  pages = {217--247},
  topic = {combining-logics;temporal-logic;}
  }

@article{ serrurier-prade:2007a,
  author = {Mathieu Serrurier and Henri Prade},
  title = {Introducing Possibilistic Logic in {ILP} for Dealing with
  		Exceptions},
  journal = {Artificial Intelligence},
  year = {2007},
  volume = {171},
  number = {16--17},
  pages = {939--950},
  topic = {possibilistic-logic;nonmonotonic-reasoning;
  		inductive-logic-programming;}
  }

@article{ sesonke:1965a,
  author = {Alexander Sesonke},
  title = {Performatives},
  journal = {The Journal of Philosophy},
  year = {1965},
  volume = {62},
  number = {12},
  pages = {459--408},
  topic = {speech-acts;}
  }

@article{ sesonske:1965a,
  author = {Alexander Sesonske},
  title = {Performatives},
  journal = {Journal of Philosophy},
  year = {1965},
  volume = {62},
  pages = {459--468},
  missinginfo = {number},
  topic = {speech-acts;pragmatics;}
  }

@article{ setiya:2003a,
  author = {Kieran Setiya},
  title = {Explaining Action},
  journal = {The Philosophical Review},
  year = {2003},
  volume = {112},
  number = {3},
  pages = {339--393},
  topic = {philosophy-of-action;explanation;}
  }

@article{ setiya:2005a,
  author = {Kieran Setiya},
  title = {Review of \emph{{W}eakness of Will and Practical
  		Irrationality}, edited by {S}arah {S}troud and {C}hristine
		{T}appolet},
  journal = {The Philosophical Review},
  year = {2005},
  volume = {114},
  number = {1},
  pages = {131--135},
  xref = {Review of: stroud-tappolet:2003a},
  topic = {akrasia;intention;}
  }

@incollection{ seto:1998a,
  author = {Ken-Ichi Seto},
  title = {On Non-Echoic Irony},
  booktitle = {Relevance Theory: Applications and Implications},
  publisher = {John Benjamins Publishing Co.},
  year = {1998},
  editor = {Robyn Carston and Seiji Uchida},
  pages = {239--255},
  address = {Amsterdam},
  topic = {relevance-theory;irony;}
  }

@incollection{ seuren:1973a,
  author = {Pieter A.M. Seuren},
  title = {The Comparative},
  booktitle = {Generative Grammar in {E}urope},
  publisher = {D. Reidel Publishing Co.},
  year = {1973},
  editor = {Ferenc Kiefer and Nicolas Ruwet},
  pages = {528--564},
  address = {Dordrecht},
  topic = {comparative-constructions;nl-semantics;}
  }

@incollection{ seuren:1984a,
  author = {Pieter A.M. Seuren},
  title = {Logic and Truth-Values in Languages},
  booktitle = {Varieties of Formal Semantics},
  publisher = {Foris Publications},
  year = {1984},
  editor = {Fred Landman and Frank Veltman},
  pages = {343--364},
  address = {Dordrecht},
  topic = {truth-value-gaps;presupposition;}
  }

@book{ seuren:1985a,
  editor = {Pieter A.M. Seuren},
  title = {Discourse Semantics},
  publisher = {Blackwell Publishers},
  year = {1985},
  address = {Oxford},
  rtnote = {Hillman P325 .S42 1985},
  topic = {discourse;pragmatics;}
 }

@incollection{ seuren:1985b,
  author = {Pieter A.M. Seuren},
  title = {Anaphora Resolution},
  booktitle = {Reasoning and Discourse Processes},
  publisher = {Academic Press},
  year = {1985},
  editor = {Terry Myers and Keith Brown and Brendan McGonigle},
  pages = {187--207},
  address = {New York},
  topic = {anaphora-resolution;}
  }

@article{ seuren:1987a,
  author = {Pieter A.M. Seuren},
  title = {How Relevant?},
  journal = {Behavioral and Brain Sciences},
  year = {1987},
  volume = {10},
  pages = {731--732},
  missinginfo = {number},
  topic = {relevance;implicature;}
  }

@incollection{ seuren:1991a,
  author = {Pieter A.M. Seuren},
  title = {Pr\"asuppositionen},
  booktitle = {Semantik/Semantics: an International Handbook
  	of Contemporary Research},
  publisher = {Walter de Gruyter},
  year = {1991},
  pages = {286--318},
  editor = {Dieter Wunderlich and Arnim {von Stechow}},
  address = {Berlin},
  rtnote = {In RHT collection.},
  rtnote = {pragmatics-course;},
  topic = {implicature;pragmatics;}
  }

@article{ seuren:1996a,
  author = {Pieter A.M. Seuren},
  title = {Presupposition and Negation},
  journal = {Journal of Semantics},
  year = {1996},
  volume = {6},
  pages = {175--226},
  missinginfo = {number},
  rtnote = {Some pp. in RHT collection; see Journal of Semantics Misc
  	folder.},
  topic = {pragmatics;presupposition;negation;}
  }

@book{ seuren:1996b,
  author = {Pieter A.M. Seuren},
  title = {Semantic Syntax},
  publisher = {Blackwell Publishers},
  year = {1996},
  address = {Oxford},
  rtnote = {In RHT collection.},
  topic = {nl-syntax;nl-semantics;}
 }

@article{ seuren-etal:2001a,
  author = {Pieter A. M. Seuren and Venanzio Capretta and Herman
  	Geuvers},
  title = {The Logic and Mathematics of Occasion Sentences},
  journal = {Linguistics and Philosophy},
  year = {2001},
  volume = {24},
  number = {5},
  pages = {531--595},
  topic = {context;indexicals;foundations-of-semantics;}
  }

@incollection{ seville-ramsay:1999a,
  author = {Helen Seville and Allan Ramsay},
  title = {Reference-Based Discourse Structure for Reference
  	Resolution},
  booktitle = {The Relation of Discourse/Dialogue Structure and
  	Reference},
  publisher = {Association for Computational Linguistics},
  year = {1999},
  editor = {Dan Cristea and Nancy Ide and Daniel Marcu},
  pages = {90--99},
  address = {Somerset, New Jersey},
  topic = {reference-resolution;}
  }

@incollection{ seville-ramsay_a:1999a,
  author = {Helen Seville and Allan Ramsay},
  title = {Reference-Based Discourse
    		Structure for Reference Resolution},
  booktitle = {The Relation of Discourse/Dialogue Structure and
  	Reference},
  publisher = {Association for Computational Linguistics},
  year = {1999},
  editor = {Dan Cristea and Nancy Ide and Daniel Marcu},
  pages = {90--99},
  address = {New Brunswick, New Jersey},
  topic = {discourse-structure;reference-resolution;}
  }

@book{ sextusempiricus:1933a,
  author = {Sextus Empiricus},
  title = {Writings of {S}extus {E}mpiricus},
  publisher = {Loeb Classical Library},
  year = {1933},
  address = {Cambridge, Massachusetts},
  note = {R.G. Bury, translator.  Published 1933--1953 in
  	four volumes.},
  rtnote = {Reading notes on file.},
  topic = {ancient-philosophy;skepticism;}
 }

@article{ sgall:1972a,
  author = {Petr Sgall},
  title = {Fillmore's Mysteries and topic vs. Comment.},
  journal = {Journal of Linguistics},
  year = {1972},
  volume = {8},
  pages = {283--288},
  topic = {s-topic;pragmatics;}
}

@incollection{ sgall:1975a,
  author = {Petr Sgall},
  title = {Conditions on the Use of Sentences and a Semantic
  	Representation of Topic and Focus},
  booktitle = {Formal Semantics of Natural Language},
  publisher = {Cambridge University Press},
  year = {1975},
  editor = {Edward L. Keenan},
  pages = {297--312},
  address = {Cambridge, England},
  topic = {sentence-focus;s-topic;pragmatics;}
  }

@article{ sgall:1975b,
  author = {Peter Sgall},
  title = {Topic and Focus in Transformational Grammar},
  journal = {Papers in Linguistics},
  year = {1975},
  volume = {8},
  pages = {1--2},
  missinginfo = {number},
  topic = {s-topic;sentence-focus;pragmatics;}
  }

@article{ sgall:1977a,
  author = {Peter Sgall},
  title = {Sign Meaning, Cognitive Content, and Pragmatics},
  journal = {Journal of Pragmatics},
  year = {1977},
  volume = {1},
  pages = {269--282},
  topic = {pragmatics;foundations-of-semantics;}
  }

@article{ sgall:1980a,
  author = {Peter Sgall},
  title = {Case and Meaning},
  journal = {Journal of Pragmatics},
  year = {1980},
  volume = {4},
  pages = {525--536},
  topic = {thematic-roles;}
  }

@book{ sgall:1984a,
  editor = {Petr Sgall},
  title = {Contributions to Functional Syntax, Semantics, and
  	Language Comprehension},
  publisher = {Academia},
  year = {1984},
  address = {Prague},
  topic = {nl-semantics;}
 }

@incollection{ sgall:1994a,
  author = {Petr Sgall},
  title = {Dependency-Based Grammatical Information
   		in the Lexicon},
  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 = {339--344},
  address = {Pisa and Dordrecht},
  topic = {computational-lexicography;}
  }

@article{ sgall:2001a,
  author = {Petr Sgall},
  title = {Functional Generative Description, Word Order and Focus},
  journal = {Theoretical Linguistics},
  year = {2001},
  volume = {27},
  number = {1},
  pages = {3--28},
  topic = {word-order;s-focus;}
  }

@book{ sgall-etal:1973a,
  author = {Petr Sgall and Eva Haji\v{c}ov\'a and Eva Bene=9Aov},
  title = {Topic, Focus and Generative Semantics},
  publisher = {Scriptor Verlag},
  year = {1973},
  address = {Kronberg},
  ISBN = {3589000341},
  rtnote = {UMich Graduate Library,  Call No: 800.31 S523tp.},
  topic = {s-topic;sentence-focus;}
 }

@book{ sgall-etal:1986a,
  author = {Petr Sgall and Eva Haji\c{o}v\'a and J. Panevova},
  title = {The Meaning of the Sentence in its Semantic and
  	Pragmatic Aspects},
  publisher = {D. Reidel Publishing Co.},
  year = {1986},
  address = {Dordrecht},
  ISBN = {9027718385},
  rtnote = {Umich Graduate Library P325 .S441 1986},
  topic = {nl-semantics;pragmatics;sentence-focus;}
 }

@incollection{ sgall-hajicova:1992a,
  author = {Petr Sgall and Eva Haji\v{c}pv\'a},
  title = {Linguistic Meaning and Semantic Interpretation},
  booktitle = {Current Issues in Linguistic Theory},
  publisher = {John Benjamins Publishing Co.},
  year = {1992},
  editor = {Maxim Stamenov},
  pages = {299--310},
  address = {Amsterdam},
  rtnote = {In RHT Collection.},
  topic = {nl-semantics;}
  }

@article{ sgouros:1999a,
  author = {Nikitas M. Sgouros},
  title = {Dynamic Generation, Management, and Resolution
  	of Interactive Plots},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {107},
  number = {1},
  pages = {29--62},
  topic = {interactive-fiction;plot-management;}
  }

@article{ shachter_rd:1986a1,
  author = {Ross D. Shachter},
  title = {Evaluating Influence Diagrams},
  journal = {Operations Research},
  year = {1986},
  volume = {34},
  number = {6},
  pages = {871--872},
  xref = {Reprinted in shafer-pearl:1990a; see shachter:1986a2.},
  topic = {causal-networks;influence-diagrams;reasoning-with-diagrams;
  	decision-analysis;}
  }

@incollection{ shachter_rd:1986a2,
  author = {Ross D. Shachter},
  title = {Evaluating Influence Diagrams},
  booktitle = {Readings in Uncertain Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1990},
  editor = {Glenn Shafer and Judea Pearl},
  pages = {79--90},
  address = {San Mateo, California},
  xref = {Reprinted.  Original Publication is shachter:1986a1.},
  topic = {causal-networks;influence-diagrams;reasoning-with-diagrams;
  	decision-analysis;}
  }

@inproceedings{ shachter_rd-etal:1990a,
  author = {Ross D. Shachter and Brendan A. del Favero and
  	Bruce D'Ambrosio},
  title = {Symbolic Probabilistic Inference in Belief Networks},
  booktitle = {Proceedings of the Eighth National Conference on
              Artificial Intelligence},
  year = {1990},
  editor = {Thomas Dietterich and William Swartout},
  pages = {126--131},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, CA},
  topic = {probabilistic-reasoning;Bayesian-networks;}
  }

@book{ shachter_rd-etal:1990b,
  editor = {Ross D. Shachter and T.S. Levitt and L.N. Kanal
  	and J.F. Lemmer},
  title = {Uncertainty in Artificial Intelligence, Volume 4},
  publisher = {North-Holland Publishing Co.},
  year = {1990},
  address = {Amsterdam},
  missinginfo = {E's 1st name.},
  topic = {reasoning-about-uncertainty;}
 }

@book{ shackel:1981a,
  editor = {Brian Shackel},
  title = {Man-Computer Interaction: Human Factors Aspects of
  	Computers \& People},
  publisher = {Sijtoff \& Noordhoff},
  year = {1981},
  address = {Alphen ann den Rijn},
  ISBN = {9028609105},
  rtnote = {UMich Media Union Library, QA76.9.I58 N11 1976.},
  topic = {HCI;}
 }

@book{ shackel:1985a,
  editor = {Brian Shackel},
  title = {Human-Computer Interaction: {IFIP} Conference on
  	Human-Computer Interaction},
  publisher = {North-Holland Publishing Co.},
  year = {1985},
  address = {Amsterdam},
  ISBN = {0444877738},
  rtnote = {UMich Media Union Library, QA76.9.I58 I351 1984.},
  topic = {HCI;}
 }

@article{ shafer_g:1983a,
  author = {Glenn Shafer},
  title = {A Subjective Interpretation of Conditional Probability},
  journal = {Journal of Philosophical Logic},
  year = {1983},
  volume = {12},
  number = {4},
  pages = {453--466},
  topic = {probability-kinematics;}
  }

@book{ shafer_g:1997a,
  author = {Glen Shafer},
  title = {The Art of Causal Conjecture},
  publisher = {The {MIT} Press},
  year = {1997},
  address = {Cambridge, Massachusetts},
  rtnote = {MATHEMATICS LIB   Q335 S45 1996},
  rtnote = {In RHT collection.  Statistics Shelf.},
  topic = {causality;statistical-inference;probabilistic-reasoning;
  	foundations-of-probability;decision-trees;}
 }

@incollection{ shafer_g:1998a,
  author = {Glenn Shafer},
  title = {Causal Logic},
  booktitle = {{ECAI}98, Thirteenth European Conference on
  	Artificial Intelligence},
  publisher = {John Wiley and Sons},
  year = {1998},
  editor = {Henri Prade},
  pages = {711--718},
  address = {Chichester},
  topic = {causality;}
  }

@book{ shafer_g-pearl:1990a,
  editor = {Glenn Shafer and Judea Pearl},
  title = {Readings in Uncertain Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1990},
  address = {San Mateo, California},
  topic = {uncertainty-in-AI;}
 }

@inproceedings{ shafer_r:1995a,
  author = {Robin Shafer},
  title = {The {SLP}/{ILP} Distinction in {\em have}-Predication},
  booktitle = {Proceedings from Semantics and Linguistic Theory {V}},
  year = {1995},
  editor = {Mandy Simons and Teresa Galloway},
  pages = {292--209},
  publisher = {Cornell University},
  address = {Ithaca, New York},
  note = {Available from CLC Publications, Department of Linguistics,
  	Morrill Hall, Cornell University, Ithaca, NY 14853-4701.},
  topic = {nl-semantics;i-level/s-level;"have"-constructions;}
  }

@article{ shaffer:2001a,
  author = {Jonathan Shaffer},
  title = {Causes as Probability Raisers of Processes},
  journal = {The Journal of Philosophy},
  year = {2000},
  volume = {98},
  number = {2},
  pages = {75--92},
  topic = {causality;probability;}
  }

@article{ shaffer:2005a,
  author = {Jonathan Shaffer},
  title = {Contrastive Causation},
  journal = {The Philosophical Review},
  year = {2003},
  volume = {114},
  number = {3},
  pages = {327--358},
  topic = {causation;alternatives;context;}
  }

@article{ shafir-etal:1993a,
  author = {E. Shafir and I. Simonson and A. Tversky},
  title = {Reason-Based Choice},
  journal = {Cognition},
  year = {1993},
  volume = {49},
  pages = {11--36},
  missinginfo = {A's 1st name, number},
  topic = {cognitive-psychology;decision-making;rationality-and-cognition;}
  }

@article{ shah-velleman_jd:2005a,
  author = {Nishi Shah and J. David Velleman},
  title = {Doxastic Deliberation},
  journal = {The Philosophical Review},
  year = {2005},
  volume = {114},
  number = {4},
  pages = {497--534},
  topic = {belief;belief-revision;will-to-believe;}
  }

@article{ shahar:1997a,
  author = {Yuval Shahar},
  title = {A Framework for Knowledge-Based Temporal Abstraction},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {90},
  number = {1--2},
  pages = {79--133},
  topic = {temporal-reasoning;abstraction;krcourse;}
  }

@article{ shalkowski:1994a,
  author = {Scott A. Shalkowski},
  title = {The Ontological Ground of the Alethic Modality},
  journal = {The Philosophical Review},
  year = {1994},
  volume = {103},
  number = {4},
  pages = {669--688},
  topic = {modality;}
  }

@article{ shalkowski:2004a,
  author = {Scott A. Shalkowski},
  title = {Logic and Absolute Necessity},
  journal = {The Journal of Philosophy},
  year = {2004},
  volume = {101},
  number = {2},
  pages = {55--82},
  topic = {necessary-truth;philosophy-of-logic;}
  }

@book{ shalom:1998a,
  author = {Shalom Lappin},
  title = {Semantic Types For Natural Language: An Inaugural Lecture
    Delivered on 6 February 1997},
  publisher = {School of Oriental and African Studies, University
    of London},
  year = {1998},
  address = {London},
  ISBN = {0728602792},
  rtnote = {UMich Graduate Library, P 98 .L37 1998.},
  topic = {nl-semantics;nl-semantic-types;}
 }

@inproceedings{ shan_cc:2002a,
  author = {Chung-Chieh Shan},
  title = {A Continuation Semantics of Interrogatives that Accounts
  		for {B}aker's Ambiguity},
  booktitle = {Proceedings from Semantics and Linguistic Theory {XII}},
  publisher = {Cornell University},
  year = {2002},
  editor = {Brendan Jackson},
  pages = {246--265},
  address = {Ithaca, New York},
  topic = {nl-semantics;interrogatives;}
  }

@article{ shan_cc-barker_c:2006a,
  author = {Chung-Chieh Shan and Chris Barker},
  title = {Explaining Crossover and Superiority as Left-to-Right
  	Evaluation},
  journal = {Linguistics and Philosophy},
  year = {2006},
  volume = {29},
  number = {1},
  pages = {93--134},
  topic = {crossover;binding-theory;nl-quantifier-scope;}
  }

@incollection{ shanahan:1988a,
  author = {Murray Shanahan},
  title = {Incrementality and Logic Programming},
  booktitle = {Reason Maintenance Systems and Their Applications},
  publisher = {Ellis Horwood, Ltd.},
  year = {1988},
  editor = {Barbara Smith and Gerald Kelleher},
  pages = {21--34},
  address = {Chichester},
  rtnote = {In RHT collection.},
  topic = {truth-maintenance;logic-programming;}
  }

@inproceedings{ shanahan:1993a,
  author = {Murray Shanahan},
  title = {Explanation in the Situation Calculus},
  booktitle = {Proceedings of the Thirteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1993},
  editor = {Ruzena Bajcsy},
  pages = {160--165},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  rtnote = {In RHT collection.},
  topic = {situation-calculus;abduction;explanation;action-narratives;
  	temporal-reasoning;}
  }

@article{ shanahan:1995a,
  author = {Murray Shanahan},
  title = {A Circumscriptive Calculus of Events},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {77},
  number = {2},
  pages = {251--284},
  topic = {events;concurrence;frame-problem;temporal-reasoning;}
  }

@article{ shanahan:1995b,
  author = {Murray Shanahan},
  title = {Default Reasoning about Spatial Occupancy},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {74},
  number = {1},
  pages = {147--163},
  acontentnote = {Abstract:
     This paper describes a default reasoning problem, analogous to
     the frame problem, that arises when an attempt is made to
     construct a logic-based calculus for reasoning about the
     movement of objects in a real-valued co-ordinate system.  A
     number of potential solutions to this problem are examined.
     Particular attention is given to the interaction between the
     default reasoning required by these solutions and that required
     to overcome the frame problem, especially when the latter
     demands an ``existence of situations'' axiom.  },
  topic = {nonmonotonic-reasoning;spatial-reasoning;frame-problem;}
  }

@unpublished{ shanahan:1996a,
  author = {Murray Shanahan},
  title = {A Logical Account of the Common Sense Informatic Situation
  	for a Mobile Robot},
  year = {1996},
  month = {January},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript, Computer Science Department,
  	Queen Mary and Westfield College.},
  topic = {common-sense;foundations-of-robotics;}
  }

@incollection{ shanahan:1996b,
  author = {Murray Shanahan},
  title = {Folk Psychology and Naive Physics},
  booktitle = {Connectionism, Concepts, and Folk Psychology: The Legacy
  		of {A}lan {T}uring: Volume {II}},
  publisher = {Oxford University Press},
  year = {1996},
  editor = {Peter J.R. Millican and Andy Clark},
  pages = {169--180},
  address = {Oxford},
  rtnote = {In RHT collection.},
  topic = {common-sense-reasoning;folk-psychology;philosophy-AI;}
  }

@book{ shanahan:1997a,
  author = {Murray Shanahan},
  title = {Solving the Frame Problem},
  publisher = {The {MIT} Press},
  year = {1997},
  address = {Cambridge, Massachusetts},
  xref = {Reviews: gelfond:1998a, lifschitz:2000a, mccarthy:2000a,
  	sandewall:2000a.},
  topic = {kr;temporal-reasoning;frame-problem;krcourse;}
 }

@unpublished{ shanahan:1997b,
  author = {Murray Shanahan},
  title = {A Logical Formalisation of {E}rnie {D}avis' Egg Cracking
  	Problem},
  year = {1997},
  note = {Unpublished manuscript, Imperial College London.},
  url = {http://citeseer.ist.psu.edu/shanahan97logical.html},
  rtnote = {In RHT collection.},
  topic = {common-sense-reasoning;kr;macro-formalization;}
  }

@inproceedings{ shanahan:1999a,
  author = {Murray Shanahan},
  title = {Reinventing Shakey},
  booktitle = {Workshop on Logic-Based Artificial Intelligence,
	       Washington, DC, June 14--16, 1999},
  year = {1999},
  editor = {Jack Minker},
  publisher = {Computer Science Department, University of Maryland},
  address = {College Park, Maryland},
  topic = {cognitive-robotics;}
  }

@incollection{ shanahan:1999b,
  author = {Murray Shanahan},
  title = {The Event Calculus Explained},
  booktitle = {Artificial Intelligence Today},
  publisher = {Springer-Verlag},
  year = {1999},
  editor = {Michael Jl Wooldridge and Manuela M. Veloso},
  pages = {409--430},
  address = {Berlin},
  rtnote = {In RHT collection.  File drawers.},
  topic = {event-calculus;action-formalisms;}
  }

@article{ shanahan:2000a,
  author = {Murray Shanahan},
  title = {Solving the Frame Problem (Response)},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {123},
  number = {1--2},
  pages = {279--280},
  xref = {Response to reviews of: shanahan:1997a.},
  topic = {kr;temporal-reasoning;frame-problem;krcourse;}
  }

@incollection{ shanahan:2000b,
  author = {Murray Shanahan},
  title = {Reinventing {S}hakey},
  booktitle = {Logic-Based Artificial Intelligence},
  publisher = {Kluwer Academic Publishers},
  year = {2000},
  editor = {Jack Minker},
  pages = {233--253},
  address = {Dordrecht},
  topic = {logic-in-AI;cognitive-robotics;}
  }

@article{ shanahan:2001a,
  author = {Murray Shanahan},
  title = {An Attempt to Formalize a Nontrivial Benchmark Problem
  	in Common Sense Reasoning},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {153},
  number = {5--6},
  pages = {141--165},
  contentnote = {The problem is Davis' Egg-Cracking Problem.},
  topic = {common-sense-reasoning;macro-formalization;event-calculus;
  	common-sense-logicism;}
  }

@incollection{ shanahan:2002a,
  author = {Murray Shanahan},
  title = {A Logical Account of Perception Incorporating Feedback
  	and Expectation},
  booktitle = {{KR2002}: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {2002},
  editor = {Dieter Fensel and Fausto Giunchiglia and Deborah
  	L. McGuinness and Mary-Anne Williams},
  pages = {1--13},
  address = {San Francisco, California},
  topic = {kr;vision;perceptual-reasoning;cognitive-robotics;}
  }

@incollection{ shanahan-rundell:2004a,
  author = {Murray Shanahan and David Rundell},
  title = {A Logic-Based Formulation of Active Visual Perception},
  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 = {64--72},
  address = {Menlo Park, California},
  topic = {cognitive-robotics;abduction;vision;object-recognition;}
  }

@article{ shand:1897a,
  author = {Alexander F. Shand},
  title = {Types of Will},
  journal = {Mind},
  year = {1897},
  volume = {7},
  number = {23},
  pages = {289--325},
  rtnote = {A resource for Stout, which in turn is a resource
  	    for JL Austin.},
  xref = {Resource for: stout_gf:1896a},
  rtnote = {In RHT collection.  File drawers.},
  topic = {volition;}
  }

@incollection{ shands-chang_ck:1992a,
  author = {Deborah Shands and Chung-Kuo Chang},
  title = {Characterizing Distributed Systems Using Knowledge-Based
  	Models},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
  	Proceedings of the Fourth Conference ({TARK} 1992)},
  publisher = {Morgan Kaufmann},
  year = {1992},
  editor = {Yoram Moses},
  pages = {29--42},
  address = {San Francisco},
  topic = {epistemic-logic;distributed-systems;}
  }

@article{ shankar_cr:1989a,
  author = {C. Ravi Shankar},
  title = {Review of \emph{{P}rolog and Natural-Language Analysis}, by
  	{F}ernando {C}.{N}. {P}ereira and {S}tuart {M}. {S}heiber},
  journal = {Artificial Intelligence},
  year = {1989},
  volume = {39},
  number = {2},
  pages = {275--278},
  xref = {Review of pereira_f-shieber:1987a.},
  topic = {prolog;nlp-programming;nl-processing;}
  }

@article{ shankar_n-mcallester_da:1993a,
  author = {Natarajan Shankar and David A. McAllester},
  title = {{ONTIC}: A Knowledge Representation System for Mathematics},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {62},
  number = {2},
  pages = {355--362},
  topic = {kr;computer-assisted-mathematics;}
  }

@book{ shanker:1986a,
  editor = {S.G. Shanker},
  title = {Philosophy in {B}ritain Today},
  publisher = {State University of New York Press},
  year = {1986},
  address = {Albany, New York},
  rtnote = {In RHT collection.  Contemporary Philosophy Shelves.},
  topic = {analytic-philosophy;}
 }

@incollection{ shanker:1986b,
  author = {Stuart G. Shanker},
  title = {Computer Vision or Mechanist Myopia?},
  booktitle = {Philosophy in {B}ritain Today},
  publisher = {State University of New York Press},
  year = {1986},
  editor = {Stuart G. Shanker},
  pages = {213--266},
  address = {Albany, New York},
  rtnote = {This is a rare example of relatively intelligent
  	philosophy of AI.},
  topic = {computer-vision;philosophy-of-AI;}
  }

@book{ shannon-weaver:1963a,
  author = {Claude E. Shannon and Warren Weaver},
  title = {The Mathematical Theory of Communication},
  publisher = {University of Illinois Press},
  year = {1963},
  address = {Urbana, Illinois},
  rtnote = {In RHT Collection.  Statistics and information theory shelves.},
  topic = {information-theory;}
 }

@article{ shapira:1975a,
  author = {Zur Shapira},
  title = {Measuring Subjective Probabilities by the Magnitude
  	Production Method},
  journal = {Organizational Behavior and Human Performance},
  year = {1975},
  volume = {14},
  pages = {314--321},
  missinginfo = {number},
  topic = {probability;cognitive-psychology;}
  }

@book{ shapira:1995a,
  author = {Zur Shapira},
  title = {Risk Taking: A Managerial Perspective},
  publisher = {Russell Sage Foundation},
  year = {1995},
  address = {New York},
  topic = {risk;management-science;}
 }

@inproceedings{ shapira:1997a,
  author = {Zur Shapira},
  title = {On the Role of Summary Statistics and Extreme Events in
        Managerial Conceptions of Risk},
  booktitle = {Working Papers of the {AAAI} Spring Symposium on
  	Qualitative Preferences in Deliberation and Practical
	Reasoning},
  year = {1997},
  editor = {Jon Doyle and Richmond H. Thomason},
  pages = {81--84},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  topic = {qualitative-utility;decision-analysis;practical-reasoning;}
  }

@article{ shapiro_la:1993a,
  author = {Lawrence A. Shapiro},
  title = {Content, Kinds, and Individualism in {M}arr's
  	Theory of Vision},
  journal = {The Philosophical Review},
  year = {1993},
  volume = {102},
  number = {4},
  pages = {489--513},
  topic = {propositional-attitudes;representation;}
  }

@article{ shapiro_la:2000a,
  author = {Lawrence A. Shapiro},
  title = {Multiple Realizations},
  journal = {The Journal of Philosophy},
  year = {2000},
  volume = {97},
  number = {5},
  pages = {635--654},
  topic = {reduction;functionalism;}
  }

@book{ shapiro_la:2003a,
  author = {Lawrence A. Shapiro},
  title = {The Mind Incarnate},
  publisher = {The {MIT} Press},
  year = {2003},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-19496-1},
  rtnote = {In RHT Collection.  LLP single author shelves. m&mcourse;},
  topic = {philosophy-of-mind;mind-body-problem;}
 }

@article{ shapiro_s1:1981a,
  author = {Stewart Shapiro},
  title = {Understanding {C}hurch's Thesis},
  journal = {Journal of Philosophical Logic},
  year = {1981},
  volume = {10},
  number = {3},
  pages = {353--365},
  topic = {Church's-thesis;epistemic-arithmetic;}
  }

@book{ shapiro_s1:1985a,
  editor = {Stewart Shapiro},
  title = {Intensional Mathematics},
  publisher = {North-Holland},
  year = {1985},
  address = {Amsterdam},
  rtnote = {MATHEMATICS LIB QA9.46 .I57 1985},
  xref = {Review: smorynski:1991a.},
  topic = {epistemic-arithmetic;}
 }

@incollection{ shapiro_s1:1985b,
  author = {Stewart Shapiro},
  title = {Epistemic and Intuitionistic Arithmetic},
  booktitle = {Intensional Mathematics},
  publisher = {North-Holland},
  year = {1985},
  pages = {11--45},
  address = {Amsterdam},
  topic = {epistemic-arithmetic;intuitionistic-mathematics;}
  }

@article{ shapiro_s1:1987a,
  author = {Stewart Shapiro},
  title = {Principles of Reflection and Second-Order Logic},
  journal = {Journal of Philosophical Logic},
  year = {1987},
  volume = {16},
  number = {3},
  pages = {309--333},
  topic = {semantic-reflection;higher-order-logic;}
  }

@book{ shapiro_s1:1996a,
  editor = {Stewart Shapiro},
  title = {The Limits of Logic: Higher-Order Logic and the
  	{L}\"owenheim-{S}kolem Theorem},
  publisher = {Aldershot},
  year = {1996},
  address = {Brookfield, Vermont},
  rtnote = {HILLMAN BC135 L53 1996},
  topic = {higher-order-logic;lowenheim-skolem-theorem;}
 }

@book{ shapiro_s1:1997a,
  author = {Stewart Shapiro},
  title = {Philosophy of Mathematics: Structure and Ontology},
  publisher = {Oxford University Press},
  year = {1997},
  address = {Oxford},
  xref = {Review: tappenden:2001a.},
  topic = {philosophy-of-mathematics;}
 }

@article{ shapiro_s1:1998a,
  author = {Stewart Shapiro},
  title = {Proof and Truth: through Thick and Thin},
  journal = {Journal of Philosophy},
  year = {1998},
  volume = {95},
  number = {10},
  pages = {493--521},
  topic = {truth;foundations-of-semantics;philosophy-of-logic;}
  }

@article{ shapiro_s1:1998b,
  author = {Stewart Shapiro},
  title = {Incompleteness, Mechanism, and Optimism},
  journal = {The Bulletin of Symbolic Logic},
  year = {1998},
  volume = {4},
  number = {3},
  pages = {273--302},
  topic = {goedels-first-theorem;goedels-second-theorem;
  	foundations-of-cognition;philosophy-of-computation;}
  }

@book{ shapiro_s1:2000a,
  author = {Stewart Shapiro},
  title = {Thinking about Mathematics},
  publisher = {Oxford University Press},
  year = {2000},
  address = {Oxford},
  ISBN = {0-19-289306-8},
  rtnote = {In RHT collection.  Philsci Shelves.},
  xref = {Review: balaguer:2002a.},
  topic = {philosophy-of-mathematics;foundations-of-mathematics;}
 }

@article{ shapiro_s1:2002a,
  author = {Stewart Shapiro},
  title = {The Guru, the Logician, and the Deflationist:  Truth
  	and Logical Consequence},
  journal = {No\^us},
  year = {2002},
  volume = {36},
  number = {1},
  pages = {113--132},
  topic = {truth;logical-consequence;}
  }

@article{ shapiro_s1:2003a,
  author = {Stewart Shapiro},
  title = {Mechanism, Truth, and {P}enrose's New Argument},
  journal = {Journal of Philosophical Logic},
  year = {2003},
  volume = {32},
  number = {1},
  pages = {19--42},
  topic = {foundations-of-cognition;goedels-first-theorem;
  	foundations-of-computation;goedels-second-theorem;}
  }

@book{ shapiro_s1:2006a,
  author = {Stewart Shapiro},
  title = {Vagueness in Context},
  publisher = {Oxford University Press},
  year = {2006},
  address = {Oxford},
  xref = {Review: gross_s:2009a.},
  topic = {vagueness;context;}
 }

@article{ shapiro_s1:2008a,
  author = {Stewart Shapiro},
  title = {Reasoning with Slippery Predicates},
  journal = {Studia Logica},
  year = {2008},
  volume = {90},
  number = {3},
  pages = {313--336},
  topic = {vagueness;context;supervaluations;sorites-paradox;}
  }

@incollection{ shapiro_s1-wright_c:2006a,
  author = {Stewart Shapiro and Crispin Wright},
  title = {All Things Indefinitely Extensible},
  booktitle = {Absolute Generality},
  publisher = {Oxford University Press},
  year = {2006},
  editor = {August\'in Rayo and Gabriel Uzquiano},
  pages = {255--304},
  address = {Oxford},
  topic = {philosophical-ontology;unrestrictive-quantification;
  	set-theory;}
  }

@article{ shapiro_s2:2008a,
  author = {Stewart Shapiro},
  title = {Reasoning with Slippery Predicates},
  journal = {Studia Logica},
  year = {2008},
  volume = {90},
  number = {3},
  pages = {313--336},
  topic = {vagueness;sorites-paradox;}
  }

@inproceedings{ shapiro_s2-etal:1995a,
  author = {Steven Shapiro and Yves Lesp\'erance and Hector J. Levesque},
  title = {Goals and Rational Action in the Situation Calculus---A
  	Preliminary Report},
  booktitle = {Working Papers of the {AAAI} Fall Symposium on
  	Rational Agency: Concepts, Theories, Models, and Applications},
  year = {1995},
  editor = {Michael Fehling},
  pages = {117--122

repository: sergiud/bibtex-spirit

repo_name: sergiud/bibtex-spirit